?
False
Suppose 2*x = -2, 5*h = 5*x - x - 11. Let t(o) = 2*o + 6. Let s be t(-4). Which is smaller: s or h?
h
Suppose 5*i - 3 - 17 = 0. Let w be (-2)/(i/8*2). Is w at least as big as -3?
True
Let g be -1*(1/(-1) - 0). Suppose b - 5*b + u + 61 = 0, -5*b = 4*u - 50. Let h be b/10 + g + -2. Are h and -3 equal?
False
Suppose 0*a - 3*a + 3*c = -24, 3*c + 27 = 4*a. Suppose 5*u - 1 = 2*g, 5*u - 5*g = a*u - 8. Let z be (-12)/16 + (2 - 1). Which is greater: z or u?
u
Let d = 1.23 + -1.3. Let x = 0.37 + d. Which is greater: x or 0.2?
x
Let u = -0.3 + 5.3. Let l = 6 + -1. Let b = u - l. Is 2/5 at least as big as b?
True
Suppose -25*r + 28*r = -141. Is r bigger than -45?
False
Let y be (0 - -1)/(49/(-63)). Is y smaller than 0?
True
Suppose -4*m + 4 + 4 = 0. Suppose -m*s + 12 = -4*t, 0*s + 2*s = -5*t + 3. Is t >= 1/28?
False
Let g(y) = -y**2 + 4*y - 2. Let h be g(6). Let w be (h/8)/(1/(-4)). Suppose -2*u - 5 = -w*u. Which is greater: 2/11 or u?
u
Let h be 4/14 + 60/(-112). Is h != 1?
True
Let q(i) = -i**2 - 3*i + 7. Let v be q(-5). Let t = 6 - v. Let z = t - 6. Which is smaller: 2 or z?
2
Let a = 790/11 + -72. Is a greater than or equal to -0.1?
False
Let l be (-5)/15 - 235/(-3). Let o be l/(-21) - (-8)/(-28). Is -5 > o?
False
Let p = 111.7 + -106. Let s = p - 6. Let u = 1 - 1.1. Are s and u non-equal?
True
Let y = -3011 + 36367/12. Let i = y - 61/3. Let q = -8 - -7. Which is smaller: i or q?
q
Let k = -2387/12 - -749/4. Let w = k - -12. Which is bigger: -1 or w?
w
Let g = 19 + -22. Are g and 0.5 equal?
False
Suppose -2*f = j - 6, 4*f + 8*j - 6 = 3*j. Suppose 12*g - 21 = 5*g. Are g and f non-equal?
True
Suppose -5*w = -5*p + 30, -5*p + 3 - 1 = 2*w. Let z be p + 6 + (0 - 3). Are 0 and z equal?
False
Let a = 55.08 + -53. Let k = -2 + a. Is k < -2/7?
False
Let f = 9 - 2. Let v = f - 5. Suppose 0 = p - v*d + d + 1, -2*d = -p - 2. Does p = -2/5?
False
Suppose 0 = 3*d + 5*d - 160. Is d smaller than 18?
False
Let k(z) = z**2 - 16*z - 6. Let u be k(16). Let g(i) = 2*i + 8. Let c be g(u). Which is greater: -14/3 or c?
c
Let d = 10 - 15. Let l be (-1)/d*(-2 + 0). Which is smaller: l or 2?
l
Let f(p) = -p**2 - 17*p - 14. Let j be f(-16). Which is smaller: 12 or j?
j
Let c be (-1)/(-2) + 3/(-2). Which is smaller: -2/31 or c?
c
Let s = -1376836/4693 - 2334/361. Let h = -300 - s. Is h equal to 0?
False
Let v = 16 - 11. Suppose 0 = 5*r - 10*r + v. Let o(j) = -j**2 + j. Let u be o(1). Which is smaller: r or u?
u
Let u = 4 + 0. Let h be u/6*(-2)/3. Which is smaller: h or 0?
h
Let x be 7/5 + 4/(-10). Let i be (-2 + 4)*(1 + 0). Suppose -i*r - 4*n - n = 15, 2*r + 3 = -n. Which is smaller: r or x?
r
Suppose 0 = -4*x + 45 - 5. Let g be (-6)/(-14)*2/(-3). Is x < g?
False
Let r = -0.13 - -2.13. Do -3 and r have different values?
True
Suppose -5*c + 3 = -2*x, 4*c + x = 4*x + 8. Let m = 10 - 10.3. Which is smaller: c or m?
c
Let p = -2 - -1. Let d = 378/101 - -4829/4242. Let b = d - 33/7. Is b at most as big as p?
False
Let f = -24 + 18. Is -6 greater than f?
False
Suppose 0 = -3*u + 6*u - 15. Suppose -2*b + u = 4*n + 21, -4*n = b + 18. Let k be b/3*9/6. Is 3/4 > k?
False
Let n = -1968 + -6353. Let y = n + 41449/5. Let g = -31 - y. Is g not equal to 0?
True
Let h = 1 - 1. Let s be (h - -1)/(26/4). Let k(f) = f - 5. Let q be k(4). Which is bigger: s or q?
s
Let f(t) = -t**2 - 1. Suppose -o - o = 0. Let n be f(o). Which is bigger: n or -2/9?
-2/9
Let b = 0.3 + -0.4. Which is smaller: b or -12?
-12
Let f(s) = s**3 + 4*s**2 - 6*s - 4. Let q be f(-5). Suppose -100 = 2*a - 4*j, -4*a - 127 = 5*j + 34. Let n be (-14)/a - (-4)/(-8). Are n and q non-equal?
True
Let v = 0.06 + -0.26. Let r = v + -0.8. Which is smaller: -0.03 or r?
r
Let q = 3 - 4. Let g(s) = -181*s**2 - s. Let x be g(q). Let z be -1*(2 - x/(-87)). Do z and -1 have different values?
True
Suppose 0 = q - 0 - 4. Let t = 35 + -31. Suppose -t*b - 16 = -8*b. Is q at most as big as b?
True
Let z be ((-6)/(-4))/(3/4). Let x be 2 + 0/3 + -2. Suppose x = i + q + 2, 17 + 3 = -4*q. Is i != z?
True
Let a = -40/7 + 6. Let h = 0 - -1. Which is bigger: h or a?
h
Let v = 8.29 + -8.3. Which is smaller: -1 or v?
-1
Let z = 33 + -24. Is 9 smaller than z?
False
Let h = -682/5 + 137. Is 12 >= h?
True
Let a = 0 - -2. Let f = 2.06 - a. Let g = 4.06 - f. Which is smaller: -1 or g?
-1
Let a = -37 + 51. Suppose 0 = 5*b + v - 7, -2*v + a = 4*b + 3*v. Suppose 0 = -2*s - 3 + 11. Is s != b?
True
Suppose -4 - 4 = -2*y. Let f = y - -2. Let p be 4/f*1/2. Which is greater: p or 1/2?
1/2
Let f = -7234/11 - -656. Which is bigger: -1 or f?
-1
Let u be (-3)/((-21)/(-7)) + -4 + 1. Let m(f) = 2*f + 7. Let i be m(-5). Which is greater: u or i?
i
Let s = -0.06 - -0.03. Let z = -181.97 + 181. Let w = s + z. Is w < 5?
True
Suppose -5 = 5*m - 20. Suppose -p = -m*t + 9, -5*p - 1 = 3*t + 8. Suppose -2*q - 4*s + 26 = 8, q = 3*s - 16. Which is bigger: q or t?
t
Suppose y - 11*y = 10. Is 2/43 less than or equal to y?
False
Let c = -1364/5 + 824/3. Let s = c - 338/165. Let u = 0.09 - 0.19. Do s and u have the same value?
False
Let j be (-78)/24 + (-1)/(0 - 4). Suppose -4*p = 3*q - 11, -7*p + 32 = -4*q - 3*p. Is q greater than j?
False
Let i = -0.46 + 0.55. Which is smaller: 2 or i?
i
Let b be ((-168)/(-14))/(-1 - 0). Is -8 <= b?
False
Let k = -3 - -11. Let a(c) = -c**3 + 8*c**2 + 6. Let x be a(k). Let y be ((-2)/6)/(4/x). Which is greater: y or -2?
y
Let f = 8 - -4. Let v = 119/10 - f. Is v >= -1/4?
True
Let c(y) = y**3 + 2*y**2 + 2*y + 2. Let q be c(-2). Let p be (q*1)/(8/52). Let g be p/(-21) + 4/(-14). Which is greater: g or 0?
g
Let h = 18 - 11. Let p = h + -8. Which is bigger: p or -3?
p
Suppose 0*g - 4*g + 2*t - 16 = 0, t + 34 = -5*g. Let p = g - -5. Which is greater: p or -1/10?
-1/10
Let p be (-2)/7 - (-1133)/(-77). Which is greater: p or -16?
p
Let m(b) = -b**2. Let y be m(-1). Let h = -4 - y. Is -3 != h?
False
Suppose -2*w - 143 = -5*b, 3*w + 6*b + 203 = 2*b. Are -69 and w unequal?
False
Suppose -7 = -2*g - 15. Let r = -5 - g. Is r <= 6?
True
Let s be 1/(-2) - (-2)/4. Suppose 5*n - 3*y = 12, 5*n + 5 = -3*y + 23. Suppose h = -3, n*h + h + 10 = -2*c. Is c > s?
True
Let c be 1/1 + 1 + -5. Let p be (-6)/(-5)*10/c. Which is smaller: p or -2?
p
Let l be 2/7 + (-35)/(-49). Is 1/9 at least l?
False
Suppose -r = -2*x + 5 + 4, 5*r = -4*x - 3. Let s be (x/6)/((-18)/8). Let m be ((-2 - -2) + 2)*1/2. Is s != m?
True
Suppose -5*a - 60 = 10. Does -14 = a?
True
Let x = 324/13 - 28. Which is bigger: x or -3?
-3
Suppose 2*k - 2 = k, 5*s + 69 = -3*k. Which is smaller: s or -2/5?
s
Suppose b = -5*r + 4, 0 = 3*b - 2*b + 4*r - 4. Suppose -g = b*g. Which is bigger: g or -1/8?
g
Let m(v) = 2*v + 3. Let q be m(0). Which is smaller: 2 or q?
2
Let n = -633 - -33547/53. Which is bigger: n or 0?
0
Let c = -4 + 7. Suppose 2*u = 1 + c. Let p be (u/4*-1)/(-2). Is -1 > p?
False
Let j = 0.02 - 0.22. Suppose 3*b + v = 31, 0*b = -3*b + 5*v + 61. Suppose -p + 7 = -5*y, 9*p = 2*y + 4*p + b. Which is greater: j or y?
j
Let y(t) = t**2 + 2*t + 1. Let h be y(-3). Which is smaller: 0.2 or h?
0.2
Suppose -5*z + 4*z = 0. Is -3/4 greater than z?
False
Let u(g) = -g**2 - 6*g - 8. Let a be u(-7). Suppose 0*z = -z + 9. Let s be 2*(a/z)/5. Which is smaller: 2 or s?
s
Let j = -13 - -10. Do j and -5 have the same value?
False
Let q(o) = -4*o**2 + 2*o - 2. Let f be q(2). Let i be f/(-4) - 2/4. Suppose -3*a = -a - 4. Is a less than i?
True
Suppose -i + 8 + 4 = -4*w, 3*i + 8 = w. Let q be (-8)/16 + 6/i. Is q at least as big as -2?
True
Suppose -v - 8 = -1. Which is smaller: v or -10?
-10
Suppose -p + 5 = -0. Let f = 11 + -7. Which is bigger: p or f?
p
Let q = 53 + -32. Do 21 and q have different values?
False
Suppose 5*k + 12 = k. Let p be (-1 - 31/(-7)) + k. Which is bigger: p or 0?
p
Let n = -0.04 - -0.74. Let o = n + -0.8. Which is smaller: o or 0.2?
o
Let t = 1 - 1. Let b(y) = -2*y - 2 + 0 + 1 + 0. Let q be b(-1). Which is bigger: t or q?
q
Let x = -25 + 6. Suppose 3*m + 48 = -2*c, -5*m + 5*c - 16 = 89. Are m and x non-equal?
True
Suppose -65 = -6*s + 37. Is s at most as big as 33/2?
False
Let y = 7 - 3. Let v(o) = o**3 - 4*o**2 - 2. Let i be v(y). Let n be (-5)/(-7) + 2/i. Is n < 1?
True
Let t = 12 + -10.8. Let s = 8.2 - t. Let f = s + -6.8. Which is smaller: f or -2?
-2
Suppose -5*r = -2*r - 9. Suppose -4*o +