s 0 < u?
False
Suppose 0 = -n - 3*n - t - 83, -4*n - 65 = -5*t. Let f be -2*(-6)/n - 0. Which is smaller: -1 or f?
-1
Let u = -16 - -8. Which is smaller: u or -9?
-9
Let v be (-4 + 2 - -2)/(-2). Let z = 19 - 5. Let f be (-1)/(-4) + z/8. Is v bigger than f?
False
Let i = 0.97 + 0.03. Which is smaller: -1 or i?
-1
Let t(i) = 8*i. Let k be t(-3). Let f be k/9*3/(-2). Suppose -f + 24 = 5*w. Which is greater: 5 or w?
5
Let n = 1.3 + -7.3. Let v = -9 - n. Let i = v - -2.9. Which is bigger: i or 1?
1
Suppose 2*s = -s + 9, 2*w + s - 7 = 0. Suppose z - 106 = w*i + 128, 0 = -i - 4*z - 126. Let x = i - -1179/10. Which is smaller: x or 1?
x
Let i be -4 + (-5*41)/(-5). Which is greater: 38 or i?
38
Suppose -2*x + 5*x - 3 = 0. Let u be (0 - 2) + x - -2. Suppose 0 = y + 3 + u. Is -4 smaller than y?
False
Let s = -0.33 + 0.03. Let i be (1/4)/(4/252). Let y = i + -16. Which is bigger: s or y?
y
Let a be ((-6)/(-10))/((-2)/10). Let j(r) = r**2 - 4. Let p be j(0). Let n be (-2)/(-2)*p + 2. Is a > n?
False
Let w = -14 + -6. Let i be (w/(-25))/((-1)/(-5)). Suppose i*s = -s. Is s less than -1?
False
Suppose -2*k = -k - 1. Let h(b) = -b**2 - 8*b - 6. Let y be h(-7). Are y and k equal?
True
Suppose -3*j + 4*x - 16 = -6*j, x - 4 = 0. Let z = 32 - 33. Which is bigger: j or z?
j
Let d = -29/40 + 1/8. Is 1 equal to d?
False
Let p = -6 - -5.6. Let v = -1.9 - -2. Is p > v?
False
Let g be 0 - 0 - 0/1. Let t be (-3)/5 + (-4)/10. Let u be (2 + (-18)/10)/t. Which is smaller: g or u?
u
Suppose -5*h = -0*h - 5. Let b be ((-10)/12)/(h/(-1)). Suppose -4*v = -u - 7, -21*v - 4 = 2*u - 24*v. Which is greater: b or u?
u
Let k(n) = -n**3 + 5*n**2 + 5. Let h be k(5). Suppose -a = 2*a - 4*z - 16, h*z = 5*a - 25. Let i = -7 - -10. Are a and i equal?
False
Let u = 46 + -44. Are u and 6 equal?
False
Let n be 6*1/4*4. Let f(j) = -j**3 + 7*j**2 - 5*j - 5. Let t be f(n). Do t and 0 have different values?
True
Let c = -769.02 + 780. Let v = -0.02 - c. Which is smaller: 0 or v?
v
Let n be 4 - ((-1 - 0) + 6). Let m = 2 - 2. Is m at least n?
True
Let b be (6/(-5))/((-10)/25). Let v = 15 - 11. Is b at least v?
False
Let t be 10/(-3) + 4 + -1. Is t smaller than -1?
False
Let h be (6/231 - -1) + -1. Which is smaller: 1 or h?
h
Let t = 417 + -237. Which is smaller: -1/4 or t?
-1/4
Let p = -27 - -27. Which is smaller: -2/51 or p?
-2/51
Let v = 13 + -13.09. Which is smaller: -2/7 or v?
-2/7
Suppose -5 + 45 = 4*x. Let q = x + -7. Let a be (6/28)/3*-4. Which is smaller: a or q?
a
Let h(b) = b + 2. Let s be h(0). Is 5/8 equal to s?
False
Let y(o) = -o**3 + 2*o**2 + 4*o - 4. Let r be y(3). Let a be 3/1 + 1/r. Let l be (-2 - 2)/(a + -4). Is l at most as big as 1?
False
Let v = 6 - 5. Let b = 286/389 + 353727/1945. Let o = b - 182. Are v and o non-equal?
True
Let r(k) = 2*k + 6. Let y be r(-4). Let d be y/(-1) + 9/(-18). Which is smaller: d or 2?
d
Let s = -783/1375 - -3/125. Which is bigger: s or 1?
1
Let s = 18 - 18. Let k be (-35)/123 + 2/6. Is s at least as big as k?
False
Let j = -62 + 53. Which is greater: 2/9 or j?
2/9
Let p be ((-6)/4 - -1)*0. Suppose -4 = -4*v - 4*h, 0 = -4*v + 3*h - 3 - p. Suppose v = 3*o + o + 4. Which is smaller: o or 1/15?
o
Let c = -0.4 - -0.46. Let t = -0.09 + c. Does t = -2?
False
Let l be (6/(-9))/((-2)/3). Suppose 2*m + 2*m - 3*c = -3, 0 = 3*c - 15. Is m greater than l?
True
Suppose -6 = -0*k - 2*k. Let h be 28/(-7)*(k - 1). Is -8 at most h?
True
Let a = 1.2 + -2.4. Let b = 1.6 + a. Which is greater: 2 or b?
2
Let r = 0.03 + -5.03. Let m = -4.9 - r. Let d = 0.08 + 0.22. Which is bigger: d or m?
d
Let j be (-2)/8 + 3 + -3. Is -1 >= j?
False
Let y be 3/4*(11 + -12). Is -1 <= y?
True
Suppose 2*z + 2 = -4*k - 60, -4*k + 49 = -z. Which is bigger: -35 or z?
-35
Let l = 29 + -17. Let h = 9 - l. Let z = 2.9 - 3. Which is smaller: h or z?
h
Let p = -20 + 17. Let j be (5/(-10))/(p/6). Are -1/3 and j equal?
False
Suppose -2*x + 14 = 2*g, 29 = 2*x + g + 4*g. Suppose j = -0*j. Suppose 2*s + j*s - 3*n = 18, 0 = 3*s + 2*n - 1. Is x equal to s?
False
Let i = 19 + -19. Suppose -t + 4 + 2 = 0. Let s(v) = v**2 - 7*v + 6. Let n be s(t). Is n at least as big as i?
True
Let w = -5 - -5.3. Let f = 0.1 - w. Let u = 79/160 - 3/32. Which is bigger: f or u?
u
Let b = -18 + 12. Let p = -8 - b. Let z be (1 - -2)*p/(-9). Which is greater: 3 or z?
3
Let v be 0 + -2 - 36/(-21). Suppose -5*x = 5*t - 45, t = 2*x - 3*t. Suppose x*p - p = 0. Which is smaller: p or v?
v
Let v = -7 - -1. Let f(q) = 52*q. Let g be f(v). Let m be 4/(-6) - g/414. Is m > 1?
False
Let g be ((-146)/(-150) + -1)/(3/15). Which is bigger: g or 1?
1
Let p be (2 - -13)*6/(-65). Which is smaller: p or -2?
-2
Let a = 0 + 4. Let v = a - 4. Let q = -0.3 + 0.2. Which is greater: v or q?
v
Let u = 21.9 - 23. Let s = 0.1 + u. Is s at most as big as 0?
True
Let r = 2 - 0. Suppose a = -3*q + r + 2, -3*q = -4*a + 16. Let y = 2/7 + -11/14. Is q at least as big as y?
True
Let c = -2.97 + -0.03. Let a = 3.01 + c. Let n = 12 - 13. Is n at least a?
False
Let x = 61 - 62. Which is bigger: x or 2/343?
2/343
Let a = -2 + 3. Suppose 4*o + a = 5*o. Let q = 21.2 - 21. Which is bigger: o or q?
o
Let b be (-21)/(-7) + 1*-9. Let y = -33 - -59. Suppose -w + 18 = -3*p - 1, -4*p - y = -w. Is b != p?
True
Suppose -k + 8 = -0. Is k <= 8?
True
Let f = 16.89 + -17. Let o = -0.11 - f. Let x = 0.1 - -0.1. Is x equal to o?
False
Suppose x = 2 - 4. Let d be (3 + x)*(2 - -1). Suppose -d*w = 5*k - 19, 5*k = 1 + 24. Are w and -2 unequal?
False
Let b be (2 + (-5)/3)*45. Let z be (-5)/(-25)*b/(-12). Let x = -283 - -4247/15. Which is bigger: z or x?
x
Let d = -4 - -2. Let c = 2 - -3. Suppose -c*u - 2*j = 8, -2*u - j = -0 + 4. Which is greater: d or u?
u
Let u = 0.6 + -0.9. Let q be (-1)/((-2 - -1)*-6). Is u at most q?
True
Let g(i) = 3*i + 3. Suppose 4*q = -v - 8 - 0, 5*v = -2*q + 14. Let m be g(q). Is -6 <= m?
True
Let k = 0.85 - 0.8. Let v = 115.95 - 119. Let f = k + v. Is 0 less than f?
False
Let u = 227/5 - 45. Is u less than or equal to 2?
True
Let y = -0.02 - -1.02. Let m = 80 - 80.17. Which is smaller: m or y?
m
Let k be 1/(-2) - 5/10. Suppose 20 = -5*c + c, -2*y - 4*c - 20 = 0. Which is bigger: y or k?
y
Let x(i) = i**2 + 24*i - 24. Let p be x(-25). Is -2/609 at least p?
False
Let a = 47.2 + -47. Which is greater: a or -3.1?
a
Let l = 4.1 - 5. Let k = l + 0.5. Which is bigger: k or 0?
0
Suppose 0*b = -b. Suppose b = -2*f - 0*f - 2. Which is smaller: f or 0?
f
Suppose 0 = -5*w - 26 - 4. Is -6 at most w?
True
Suppose 40 = -h + l, 2*h + 5*l + 0*l = -45. Which is greater: -0.2 or h?
-0.2
Suppose 3*d = 4*l + d + 20, d = l + 7. Let a = 2 - 1.9. Let u = a + -0.2. Is l > u?
False
Let o be 1*3*8/24. Let v be (2 + 108/(-57))*-1. Is o less than v?
False
Let t = 6 - 5. Suppose 5*m = 4*m - 3*w + 2, -m + t = 2*w. Let v be (0 + -3 - m)*1. Is v >= -2?
True
Let c(y) = y**2 - 7*y - 6. Let p be c(4). Is p less than or equal to -1/3?
True
Let c = -5 + 8. Suppose 4 = m - c*m. Let u = -13.7 + 14. Is u at least as big as m?
True
Let c = -3 - -5. Suppose -c*r - 5 = 3*r. Are -1/8 and r non-equal?
True
Let y be 33/(-2)*20/3. Let b be (-5)/25 + 38/y. Which is greater: b or -2?
b
Let z = -38373/4570 + -3/914. Suppose 2*y + 0*y = -16. Let g = y - z. Which is bigger: g or -1?
g
Let g = 22 - 20. Is g greater than or equal to 2?
True
Suppose 17 - 7 = 5*k. Is k smaller than 1?
False
Let z be 8/2 + (-4 - (-7)/(-21)). Do z and -0.7 have different values?
True
Let w(n) = -3*n - 65. Let b(j) = j + 22. Let l(i) = 11*b(i) + 4*w(i). Let t be l(-15). Is t at most as big as -2?
True
Let x be 40/90*1/(-6). Is 2 greater than or equal to x?
True
Let l = 27 - 27.19. Let m = 6.19 + l. Is m < 1?
False
Let u be (-1 - 0)/(1 + 0). Let s = -1/4 - 1/4. Which is smaller: u or s?
u
Let j(d) = -d**2 - 15*d - 41. Let t be j(-5). Suppose -7 = -2*p + 3*a, -p = -0*p + 3*a - 17. Which is greater: t or p?
t
Let g = -52 - -23. Let w be g/(-52) - (-10)/(-40). Is w at most as big as -1?
False
Suppose j + 4*r = 6*j + 23, 4*j - 4*r = -16. Let t = 18 + -8. Let s = j + t. Is s >= 4?
False
Let f = -242 + 179. Is f smaller than -62?
True
Let t(o) = o**2 - o. Let j = -2 + 2. Let v be t(j). Let f = 8 - 23/3. Which is bigger: v or f?
f
Let z be (-4)/8*(-4)/(-6). Let g(s) = s**2 + 8*s + 6. Let w be g(-8). Suppose -w = -4*x + 2. Which is sma