 -3*r + 4 = 2*x - 8. Let s be (2 + -1)/(-3 + r). Do -2/19 and s have different values?
True
Let k be (-8491)/(-609) + -13 - 1. Is 0 equal to k?
False
Let x = 17/42 - 1/14. Suppose 2653 = -18*t + 583. Which is bigger: x or t?
x
Let c be (-8*3 - -3) + 28/7. Is c greater than -14?
False
Let g(o) = -18*o**2 + 8*o - 1. Let h be g(2). Let n = -58 - h. Which is smaller: -3/26 or n?
n
Let s(x) = -x**2 - 4*x - 6. Let z be s(-6). Suppose w - 100*w = 1584. Is w >= z?
True
Let g(n) = -n**3 + 3*n**2 + 7*n + 7. Let f be g(5). Let l = -54 + 50. Is f less than or equal to l?
True
Let v = -1/26 + -49/78. Is v at least 296?
False
Suppose -4*v - 6*q + 4*q + 2572 = 0, 3215 = 5*v + q. Which is smaller: v or 642?
642
Let c(b) = 30*b + 111. Let z be c(-4). Which is bigger: z or -1/23?
-1/23
Let h be 2/2 + 138/(-147). Suppose -4*a + 5*d + 8 = d, -4 = 2*d. Which is smaller: h or a?
a
Let c = 2/399 - -115/56658. Let o = c - 147/710. Let r(n) = -n**3 - 5*n**2 + 5*n - 5. Let i be r(-6). Which is bigger: i or o?
i
Let o = -8.27 + -0.53. Let k = 12 + -3. Let b = o + k. Does 0.2 = b?
True
Let i(h) = -h**2 - 16*h + 192. Let k be i(7). Let r(l) = 2*l**2 - 5*l + 6. Let z be r(5). Is k bigger than z?
False
Suppose -5*v + 7 = -v + u, 2*v = -4*u + 14. Let y be -18 + v/(-3 - -4). Which is bigger: -19 or y?
y
Let d = -7 - -5.8. Let m = 140 + -138. Is d at most m?
True
Let p = 10.38 + -10. Let l = -0.48 + p. Which is smaller: l or -24?
-24
Let q be ((-135)/(-10))/(-3 - 5/(-2)). Suppose -56 = -t + 3*t. Is t less than q?
True
Let g be 1 - ((-2)/1 - 0). Suppose f = -2*f + g. Suppose 0 = -2*v - 16 + 4. Is v <= f?
True
Let l = -51 - -51.1. Is 140 greater than or equal to l?
True
Let w = -178 - -175. Let i = -60/7 - -58/7. Is w smaller than i?
True
Let s = 0.34 + 21.66. Let f = -57 + 26. Let k = f + s. Is k equal to -1?
False
Suppose -5*u = -405 + 130. Suppose u = 3*t + 7. Let z = 14 - t. Is z not equal to -2?
False
Let g = 47 + -51. Let r = -461/9 + 51. Is r less than g?
False
Let f be (-1)/((4/10)/(-2)). Suppose f*l = 25, 3*c + 3*l = -11 + 38. Suppose 0 = 8*a - 9*a. Which is smaller: c or a?
a
Let b be 2/6 - (-25)/(-3). Let h(t) = 2*t + 6. Let r be h(-5). Let k be ((-3)/(-2))/(r/b). Is 2 != k?
True
Let f(m) = -m**3 + 44 + 42 - 95 - 5*m**2. Let x be f(-5). Is -8 less than x?
False
Let c(h) = -3*h - 112. Let a be c(-37). Is -2/35 > a?
True
Let u = -0.43 + 0.03. Let c = -0.8 + 0.1. Let q = 0.8 + c. Is u equal to q?
False
Suppose -5*b + 247 = -5*d - 268, -2*b - 3*d = -211. Do 104 and b have different values?
False
Let m be 2/104*24/10. Let j be 48/(-9) + 7 + -2 - (-4)/3. Do m and j have the same value?
False
Suppose 5*l = a, -l - 2 + 11 = -2*a. Which is smaller: -5/38 or l?
l
Let l = -2.9 - 0.3. Let w = -2.8 - l. Let c be 6/4*2/6. Is c at least as big as w?
True
Let m = -1818 + 1819. Which is smaller: m or 1/2905?
1/2905
Let y = 41 - 40.15. Let h = y + -0.45. Is -1/5 smaller than h?
True
Suppose -z = -318 - 102. Let y be (-288)/z - 2/(-7). Which is greater: y or 2?
2
Suppose -k - 3 = -a - 2, -2*k = 5*a + 23. Let f(c) = -c**2 + 10*c - 5. Let i be f(9). Suppose 0 = -i*h + 10*h + 6. Is h less than a?
False
Suppose 15 = -3*b, -4*f + 2*f + 22 = 2*b. Let n = 13 - 0. Suppose n*k = f*k + 3. Is -2 != k?
True
Suppose 90 = 5*u - 0*u. Let x be 5/2 - 9/u. Are x and 7/6 unequal?
True
Let x be (-4)/(-26) + 7/(271908/(-6054)). Which is bigger: -1/4 or x?
x
Let s(l) = l**2 - 5*l + 5. Suppose -111 = -16*h - 15. Let o be s(h). Are 12 and o non-equal?
True
Let i(o) = o**2 + 2*o - 8. Let b be i(-5). Suppose 3 + 0 = v. Suppose -10 = -v*y + 11. Is b > y?
False
Let k(a) = a + 25. Let f be k(4). Suppose -3*o - f = 40. Suppose 5*u = b - 115, -2*b - 44 = 4*u + 62. Is u at least as big as o?
False
Suppose 3*r = v - 18, -4*v + 2*r + 4 + 18 = 0. Let u(k) = -k**2 - 4*k + 7. Let c be u(-5). Is v at most as big as c?
False
Let z = -0.2 - -0.3. Let v = -0.3184 + 0.1184. Let u = z + v. Is u at least as big as 0.23?
False
Let l be (-68)/16 - -4 - (-69)/(-12). Let a be ((-2)/l)/(11/(-165)). Is -5 at most as big as a?
True
Suppose -5*h + 3 = -3*f, -4*h - 17 = -5. Let s be (66/(-9))/(f/9). Suppose -13*l = -s*l. Which is smaller: l or 2/31?
l
Suppose -3*k + 4*k + 9 = 0. Let b(w) = 26*w - 34. Let j be b(2). Suppose -7*f - j = 45. Is f not equal to k?
False
Let c = 4/253 - -486/1265. Is c less than 436?
True
Let c be (-1 + 1)/(-1 + 2). Let h(z) = -14*z + 14. Let f be h(7). Let a be f/(-27) + 0 + -3. Which is smaller: a or c?
c
Let k(h) = h**2 + 7*h - 5. Let z be k(-8). Suppose 0 = z*b - 3, 7*c + 2*b = 2*c + 7. Let d = c + -3. Is 0 not equal to d?
True
Let t = 5379 - 5415.77. Let n = t + -0.23. Let l = 38 + n. Which is bigger: 0.4 or l?
l
Let d be 11*(-2 + -2 + (4 - 1)). Suppose 2*t = -r - 16, -r + 0*t = -3*t + 6. Which is greater: d or r?
d
Let o = 16 + -25. Let c = -10.6 - o. Which is bigger: c or -0.1?
-0.1
Let j = 37.73555 - 0.65655. Let i = -0.079 + j. Is -2/5 greater than i?
False
Let j be (2/4)/((-325)/(-30) + -1). Let y = j - -38/413. Let f(p) = -p + 1. Let r be f(0). Is r equal to y?
False
Let t(x) = 2*x**2 - 22*x + 22. Let f be t(10). Suppose f*r + 5*c - 7 = 0, 3*c = -5*r + 8*c. Which is greater: 6/7 or r?
r
Let z = 40263/134 - 601/2. Let l = z - 197/134. Which is bigger: l or -3?
l
Let g = -14095/19872034 - -1/12506. Which is greater: 0 or g?
0
Suppose 2*w - 56 = 9*w. Suppose 3*o = 3*z + 53 - 20, 5*z + 4*o + 73 = 0. Are w and z nonequal?
True
Let r be (-3)/(-9) + 1 + 181/(-3). Is r at most as big as -59?
True
Let t = -3 - -3.88. Let d = 1.17 + t. Let q = 0.05 - d. Which is smaller: q or -0.2?
q
Let q(w) = 3 + w**3 + 6 - 34*w**2 + 36*w**2 - 13*w. Let m be q(-5). Let g be 1/(-1 + 2/(-2)). Is m smaller than g?
True
Let m = 1.3 + -8.3. Let h = 7.03 + m. Let z be 1/(-10) + (-18)/180. Is z greater than h?
False
Let f = -44802 - -224003/5. Suppose 3*h - 4 = -1. Suppose 3*v + 2 + h = 0. Which is smaller: f or v?
f
Suppose 2*d - 1 - 1 = -i, d - 2*i + 4 = 0. Let a be -2 - (-2 - 6/10). Which is bigger: a or d?
a
Suppose 6 = -0*q + 3*q. Let z = 106 + -207/2. Are z and q non-equal?
True
Let g = -24 - -31. Let p = g - 7. Is 2/7 less than p?
False
Let i(d) = -1. Let r(z) = z + 5. Let j(g) = -3*i(g) - r(g). Suppose -m = 4*a + a + 15, 3*m - 19 = a. Let q be j(a). Which is greater: 5/3 or q?
q
Let w = 341 + -336. Is 5 <= w?
True
Let k = -25.042 - -0.042. Let f = -1.976 + -0.024. Which is smaller: k or f?
k
Let x = 8 + -1. Let n = x - 3. Suppose 3*a + 25 = -2*h + 6*h, 0 = 5*h + a - 17. Is h smaller than n?
False
Suppose -8*u = -10*u. Let m be (-34)/(-22) + -1 - (2 + -2). Which is greater: m or u?
m
Let o = -1.8113 + 1.871. Is o less than -1/2?
False
Let r(k) = k + 1. Let y be r(4). Let c be 77/35 + (-1)/y. Let d be (c/2)/((-3)/6). Which is bigger: d or -2/3?
-2/3
Let a = -1962 + 1940. Let k = -23 + 3. Which is greater: a or k?
k
Let f be 17 + (-770)/(-275)*(-5)/2. Let u be -1 + -1*1/(-4). Is f > u?
True
Suppose -3*u + 61 = -68. Suppose 15 = -2*y - y - 2*r, -4*y - u = -5*r. Let f = 75/11 + y. Is f smaller than 1?
True
Suppose -5*a = -4*v - 104, -50 = 2*v + a - 3*a. Let b be (42/(-56))/(v/16). Suppose -3*s = -3*l + 6, l = -3*l + 5*s + 8. Which is smaller: l or b?
b
Suppose q + 4*q = -5. Let r(n) = -n**3 + 5*n**2 - 2*n + 7. Let x(g) = g**2 - 16*g + 33. Let v be x(14). Let c be r(v). Which is greater: c or q?
q
Let f be (-20)/50*(-5)/(-68). Which is smaller: f or 0?
f
Let v(s) = 61*s - 20. Let p be v(1). Are p and 41 unequal?
False
Suppose -4 = -4*g - 4*c, 2*c = g - 12 - 4. Let s be (-3 + (-3)/(-2))*-2. Let i be (6/16)/(s/38). Which is greater: i or g?
g
Let j = 1068 + -370. Suppose -3*c = 4*y - 3937, 2*y - 5*c - 1303 = j. Let r = y - 40506/41. Is r < -1?
False
Let i be -3*((-20)/(-6) + -2). Let t be 2/i + (-1)/2. Let s be 3 - 0 - 1400/504. Which is bigger: t or s?
s
Let j = 34 - 33.4. Let s = j + -0.25. Which is smaller: s or 0.1?
0.1
Suppose -t - 3*f - 7 = 0, 4*f = 2*f - 2. Suppose 4*r + 0*r + 19 = 3*m, -2*m - 10 = 3*r. Is t smaller than r?
False
Let h(v) = -v**2 + 7*v + 17. Let o be h(9). Let a be (o/6*-3)/(3/20). Which is smaller: 4 or a?
a
Suppose 9*f = -4*t + 4*f - 32, 0 = t - 2*f + 8. Let h = -8 - t. Let u be (-4)/(-6)*3/(-13). Which is smaller: h or u?
u
Let r be (-222)/(-3219) + (-2548)/(-58). Do 42 and r have the same value?
Fals