big as -3?
True
Let r be (6/2 + -13)/(-2). Which is smaller: 9 or r?
r
Let v = 0.07 - -1.13. Which is greater: v or 0?
v
Suppose -2*x = 6 - 4. Let q be x/(-6) - (-21)/(-18). Is -4/7 at most as big as q?
False
Let z = -14 - -18. Which is smaller: 5 or z?
z
Let h = 19 - 24. Let r = -10 + 7. Are r and h equal?
False
Let l = -9692/27 + 359. Do l and 0 have different values?
True
Let z be 40/18 + 8/(-36). Suppose -18 = z*r - 2*l, 8*r + 2*l + 17 = 3*r. Which is greater: r or -6?
r
Let r(u) = -u**2 - 7*u + 6. Let q be r(-5). Does q = 16?
True
Let v = -7.1 - -6. Let y = v + 7.1. Let t = y + -5.7. Which is smaller: t or -0.1?
-0.1
Let u = 18 + -9. Let b be (u + -1)*3/4. Let f = -5 + b. Is -2/29 greater than f?
False
Let m = 0.7 + -2.7. Which is greater: m or 5?
5
Suppose 0 = q - 2 + 1. Let r be ((-2)/24)/(q/(-2)). Let i(t) = -t**2 + 5*t + 5. Let h be i(6). Is h at least r?
False
Let j be 0/((8/2)/2). Let h(g) = g**3 - g - 2. Let u be h(j). Are -4 and u equal?
False
Suppose p + 2*p = 0. Let l be (-1 - (-3)/(-1)) + 80/19. Are l and p non-equal?
True
Let w be (-9)/6*129645311/657. Let v = w + 295994. Let z = v - -2/73. Is 0 at least z?
False
Let k = 2/345 - -224/1035. Is k less than -2?
False
Let q be 1/(1*(-2)/(-8)). Is 1 at least as big as q?
False
Suppose 119 = -5*f + 124. Is -0.41 bigger than f?
False
Let s = 2 + 0. Suppose 2*o + s*i - 4 + 12 = 0, 4*o - 2*i - 14 = 0. Suppose 5*a + 3*z = 9 - 2, 5*a = 3*z + 13. Are o and a non-equal?
True
Let a be (((-6)/354)/((-1)/(-2)))/2. Is a not equal to 1?
True
Let w be (195/25 + -7)/((-7)/(-5)). Which is bigger: 0 or w?
w
Let g(p) = p**2 - 4*p + 1. Let k be g(3). Let o be (-1)/3*k/5. Which is bigger: o or -1?
o
Let s = -2.7 - 8.3. Let w = s - -11.1. Which is smaller: 14 or w?
w
Let l(k) = k**3 - 11*k**2 + 1. Let o be l(11). Suppose 0 = 3*x + 2*c + o - 2, 0 = 2*x + 2*c. Let b(q) = -q + 4. Let g be b(2). Which is smaller: x or g?
x
Suppose 0 = -j + 28 - 29. Which is smaller: j or -8?
-8
Suppose 5*t - 100 = 2*x, x + 2*t = 2*x + 51. Are -54 and x equal?
False
Let v(r) = -r - 5. Let x be v(-6). Suppose -4*j + 8 = -0*j. Is x less than j?
True
Suppose 5*x + 2*d - 11 = 0, -2*x = d - 0*d - 5. Suppose 0 = -5*z, 12 + 0 = 4*s - 2*z. Suppose s*h = 7*h. Is x not equal to h?
True
Let h(n) = n**2 - 6*n + 5. Let m(i) = i - 3. Let k be m(8). Let v be h(k). Is v smaller than -1?
False
Let q = -6 - -4. Do q and -2/3 have the same value?
False
Let a be (2/2)/((-5)/10). Let d be 2/7 - a/42. Let u be 2/(-3) + 4/6. Are u and d equal?
False
Let o be (-8)/(-36) + (-32)/(-18). Suppose -3 = o*i + i. Which is bigger: 3/8 or i?
3/8
Let k = -59/6 - -21/2. Let j be 0 - 0 - 3/1. Let r be 2/(-6)*(j + 0). Is k equal to r?
False
Suppose -155 = 6*a + 73. Is a greater than or equal to -75/2?
False
Let k = 41971/5 + -8432. Let y = -38 - k. Let f be -4*(-1)/2 - 3. Is y at most f?
False
Let r = 3 - 9. Let a be (-2)/4*r/36. Is a equal to 1?
False
Let k be (60/(-525))/((-6)/7). Which is smaller: 0 or k?
0
Let d = 0.12 - 0.12. Which is bigger: d or -1/8?
d
Suppose 5*z + 3 = -2. Is 1/7 greater than or equal to z?
True
Let a be (3/(-3) - -3)*-2. Let m = -2 - a. Suppose m*x = x. Is -3 less than or equal to x?
True
Let o be 30/12*(-2 - -4). Suppose o*b + 9 = -16. Which is smaller: b or -7?
-7
Let m(a) = -a**3 + 4*a**2 + 2. Let w be m(4). Which is smaller: w or 3?
w
Let y be (-182352)/638085 + 2/7. Let t = 399867/6077 + y. Let f = -66 + t. Is -1 < f?
True
Let j(g) = -g - 5. Let t be j(-4). Is -2/7 at most as big as t?
False
Let k be (538/66 - 4) + -4. Let d = -2/11 - k. Which is smaller: d or -1?
-1
Let f = -109 + 113. Is f at least 5?
False
Let r(k) = -k**3 - 3*k**2 - 2*k. Let i be r(-2). Let l be (0 + (-1)/(-1))*i. Let v(o) = -o**2 + 7*o. Let y be v(7). Is y at most l?
True
Let j = -3/50 - -13/50. Is j greater than 3?
False
Suppose 11 = 5*f + 4*v, 2*f + 18 = 6*v - 2*v. Do -3/11 and f have the same value?
False
Suppose -2*v = -1 + 3. Is v > -7/6?
True
Suppose m + 0*w + 5*w = 19, -2*w + 34 = -4*m. Let y = m + 10. Suppose y = -0*p - 2*p. Is p less than or equal to -3?
False
Let f be (20/(-28))/(2/(-7)). Let j = -9/4 + f. Are j and 0 non-equal?
True
Let r = -36 + 190. Let n = -1696/11 + r. Is 1 at least as big as n?
True
Suppose -3*h - 39 = -4*l, -3*h + l + 1 = 31. Let v be h/(-18)*4/7. Is v greater than or equal to -1?
True
Let x(o) = o + 10. Let d be x(-5). Let v be 6/15 + 3/d. Which is smaller: v or 2/5?
2/5
Suppose -2*v = 4, -s - 3*v - 5 = -4. Suppose 0 = -3*y + 4*c + 9, -6*c + 15 = s*y - 3*c. Is y > 4?
False
Let h(p) = -p**2 - 2*p - 11. Let g be h(0). Which is smaller: -14 or g?
-14
Let a be (-2)/(-3)*21/2. Let b = 26 - 20. Is b equal to a?
False
Let s be (2 + 2)*(-3)/4. Suppose 5*v + 1 = -9. Which is smaller: s or v?
s
Let d be 8 + 0 + -3 + 3. Let c = 10 - d. Suppose 0 = 2*x - 6*x. Is c != x?
True
Let c be 1 + 16258/42 + 1. Let o = -389 + c. Suppose 4*h = 5 - 1. Which is smaller: o or h?
o
Let g = 1746 - 1763.07. Let j = -17 - g. Let h = j - -0.03. Is -0.1 >= h?
False
Let z = -4 - -4. Suppose 3*d - 17 - 7 = z. Suppose 5*f = f + d. Is 3 smaller than f?
False
Let l be ((-48)/20 + 3)*5. Is l less than or equal to 3/2?
False
Let h = -5/52 - 2/13. Which is bigger: h or -9?
h
Let a = -0.2 + 0.23. Let s = a - 2.03. Is -1 greater than s?
True
Let q = -64 - -52. Which is bigger: -23/2 or q?
-23/2
Let o = -3 + 3.01. Let a = o - -0.69. Let h = 0.6 - a. Are -2/5 and h unequal?
True
Let k = 2 + -1. Let h be (k - 7/4)*4. Suppose 19*d - 13*d + 12 = 0. Are h and d nonequal?
True
Let d be 898/3*222/(-268). Let n = d + 248. Let f = n - 143/201. Is f less than -0.1?
True
Let a(w) = w. Let x be a(4). Suppose -2*g - z - 2 = z, -2*z = -x*g + 2. Does 1/3 = g?
False
Let m = 10 - 8.2. Let y = m - 0.8. Is 1 less than y?
False
Suppose -3*v = -5*c - 5 - 3, -2*v + 2*c = -4. Is 0 >= v?
False
Let j = -2 + 5. Let c be j/(2 + (-2)/4). Suppose 0*t - 4*r + 8 = c*t, 2*t + 3*r = 6. Which is greater: t or -1?
t
Suppose 0 = -2*w + 3*g - 2, -2*w + 4*g = 2*w. Suppose 0*d - 1 = d + 2*n, -d + w*n = 5. Let m be (1 + d)*2/20. Is m at least -1?
True
Let q = 65 - 47. Which is smaller: 19 or q?
q
Let r = 71 - 74. Is r equal to -3?
True
Suppose -3*d = -9 - 24. Suppose 4*z - 7 = -z + p, -5*p = -2*z - d. Let w be (z/5)/((-8)/10). Is -2 less than or equal to w?
True
Let l(m) = m**3 - 4*m**2 - 5*m + 4. Let v be l(5). Let p be (v/(-6))/((-1)/3). Suppose -3*i - j = -5, -3*j + j = i. Is p <= i?
True
Let a be (5 + -2 + -2)*3. Which is greater: 5 or a?
5
Let u(t) = -t**3 + 5*t**2 - 5*t + 4. Let a be u(3). Suppose 0 = -a*q + 3*q + 4. Let y = -8795/19 - -463. Which is smaller: y or q?
y
Let b(h) = -h**2 - 2*h - 1. Let t be b(-1). Let g = 1 + t. Let m be -2 - (g + -5 - 0). Are 3 and m unequal?
True
Suppose -6*i + i + 25 = 3*h, 20 = 4*i - 2*h. Let r(w) = -w**3 - 7*w**2 + 3*w + 22. Let x be r(-7). Is x less than i?
True
Let g = 12/11 - 73/77. Which is smaller: g or -1?
-1
Let x = -175 + 1227/7. Are -0.114 and x nonequal?
True
Let y be 12/4 + 1/1. Suppose 5*l + 16 = -y. Let v = 6 + l. Is 2 equal to v?
True
Let k = 0.9 - 0.7. Let x = 0.8 + k. Let l(v) = -v**2 + 6*v + 1. Let r be l(5). Which is greater: r or x?
r
Let y = 32.9 - 32. Which is greater: -0.1 or y?
y
Suppose -4*c + c = -3. Let d be (-1)/(-3*(c - 2)). Which is greater: d or 1?
1
Suppose 0 = -6*f + 2*f - 4. Suppose 7*y - 9*y = 4. Do y and f have the same value?
False
Let g = -6982/6715 - -84/79. Is g less than -1?
False
Suppose 1 = 5*m - 9, 13 = 3*y + 2*m. Let g(k) = -k**3 + 2*k**2 - 3*k + 2. Let n be g(1). Suppose 4*c - 8 = -n. Is c >= y?
False
Let w = 1 + 2. Let c = w + -2.8. Let y = 11 - 13. Is c > y?
True
Let h = -492 + 9350/19. Suppose -5*q + 3 = -2*s, -2*q + s + 2*s - 1 = 0. Is h less than or equal to q?
True
Let b(f) = 15*f + 7. Let j be b(-6). Let w = j - -749/9. Suppose 9*g + 9*g - 13*g = 0. Which is smaller: g or w?
g
Suppose 0 = -5*w + 2*r + 20, -3*w + 35 = 2*w - 5*r. Let s be (-3)/(3*w/16). Let t = 9 + s. Is 0 not equal to t?
True
Let h = 4 - 1. Suppose 4*v - 5 = h. Suppose 0 = -v*n + 3*n. Does -3/2 = n?
False
Let q(d) = -d**3 - 6*d**2 - 10*d - 8. Let b be q(-4). Is b <= -101?
False
Let m be 5 + 0/(-1 - 1). Let n = m - 7. Which is smaller: -3/5 or n?
n
Let q(l) = l**2 - 11*l - 5. Let v(p) = 6*p + 3. Let o(r) = -4*q(r) - 7*v(r). Let a be o(2). Wh