t s = -0.4 - -0.4. Let q = -65/213 + -2/71. Which is greater: q or s?
s
Let p = 1 - 1. Let h = -184 + 184. Is p at most h?
True
Let s = 125 + -124.9. Which is smaller: s or 14?
s
Let p = -1686 + 11747/7. Which is smaller: p or -9?
-9
Let k = -48 + 52. Do 24/5 and k have different values?
True
Let i be ((-20)/3)/(-5) - 1. Which is bigger: i or -1/11?
i
Let l be 6/(-4)*104/6. Let h be (-2 - 0) + 49/(-2). Let s = l - h. Which is smaller: 2/11 or s?
2/11
Let l = -1.17 - -8.17. Let c = 2.9 + -3. Is c > l?
False
Suppose -4*s + 6 = -s. Suppose 2 + 2 = -q. Let d be (q/8)/(2/(-4)). Is s <= d?
False
Let d = -114 + 122.4. Is d > -1?
True
Let z = 1.979 - -0.021. Which is smaller: z or -4/3?
-4/3
Let z = -47 - -61. Is 8 at least as big as z?
False
Let x = -57 - -25. Do -33 and x have the same value?
False
Suppose 2*p - 3*o - 1 = -4*o, -5*p = 4*o - 7. Let g be p/4 + (-12)/16. Which is smaller: g or -2/3?
g
Let u = -26 - -20. Is u greater than or equal to -6?
True
Let n = -16 - -23. Let r = n + -7. Which is bigger: -2/5 or r?
r
Let g = 508 - 298. Let i be (-2)/5 + 934/g. Let z = 13/3 - i. Is z less than or equal to 2/3?
True
Let i = 8.3 + -8. Let y = 0.4 - i. Let b = -0.2 + y. Is b at least as big as 0.1?
False
Suppose 0*f + 2*f - 6 = 0. Suppose -16 = -f*v - 2*m, -4*m - 12 = 4*v - 36. Which is greater: 3 or v?
v
Let a = 10.85 + 0.15. Let i = a + -11.2. Which is smaller: 0.1 or i?
i
Suppose 3*q + 6 - 3 = 0. Let v = 3 + -3. Let o = v - q. Which is smaller: -1/3 or o?
-1/3
Let n = 0.2 - 3.2. Let i = -0.5 + 7.5. Let d = i + -6.9. Are n and d nonequal?
True
Suppose -4*g + 77 = 3*y, -g + 5*g - 82 = 2*y. Suppose -l - 4 = r + 1, -4*r = -4*l + g. Suppose l = 5*v - 4*z + 1, 2*z + z + 4 = -v. Which is smaller: v or -3?
-3
Suppose 7*d = -d - 56. Is d greater than -5?
False
Suppose 0 = -5*t + 2*b + 28, 4*t + 14 - 50 = 5*b. Suppose 4*y + 24 = 5*u, 24 = -t*y + 2*u + 2*u. Let s be (-1)/((-3)/y) - -6. Is s < 4?
False
Let s = -0.8 + -0.2. Let m = -10 + 10.1. Let p = 0.2 - m. Is p < s?
False
Let s be -4 + 3 + -1 + -3. Which is bigger: -3 or s?
-3
Let h be 1*-4 + 3 + 35/25. Which is bigger: h or 1?
1
Let o = -7 - -14. Suppose 0 = -a + o - 9. Which is greater: 1 or a?
1
Let j be (-6)/(-42) - 3/21. Which is bigger: j or 2?
2
Let h(v) = v**2 - 1. Let g(m) = m**2 - m + 2. Let r(k) = g(k) + 2*h(k). Let s be r(1). Let f be (-4)/2 + 2/s. Which is smaller: f or -2?
-2
Let c = -0.053 + -0.947. Let d be (-2 - 0) + (-102)/(-60). Is c < d?
True
Let c be 0 - (-2 - -1) - -3. Let p(b) = -b + 14. Let g be p(11). Is g at most as big as c?
True
Suppose -6 = p - 10. Is p at least as big as 4?
True
Let b be 6/5*10/4. Let l(s) = -3*s - 16. Let a be l(-6). Which is greater: a or b?
b
Let c be (-5 + 10)*(-1 - 0). Is c != -5?
False
Suppose -2*z = 2*l + 2, 0 = 4*z - 4*l - 39 + 3. Which is smaller: z or 33/8?
z
Let u = 0.19 + 3.11. Let z = 3 - u. Let f = 0.2 + z. Which is smaller: 2 or f?
f
Let k = -0.7 - 3.3. Let n = 0.048 - -3.852. Let z = n + k. Is z at most as big as 0.1?
True
Let t = -28 - -20. Is t <= 2?
True
Let x = -34 + 168/5. Which is smaller: 15/2 or x?
x
Let h(m) = -m**2 - m - 1. Let o be h(-1). Let l be (4/3)/(2/(-3)). Is o greater than or equal to l?
True
Let q(i) = i**2 + 5*i + 10. Let n be q(-5). Let p be (-24)/n - 2/(-5). Is p less than -3?
False
Let q be (-13)/2 + 9/(-6). Let v = 7 + q. Is v at least 1?
False
Let x be 84/20 - (-1)/(-5). Suppose -1 = 3*v - x. Which is greater: 7/4 or v?
7/4
Let r = -32 + 22. Let l = r - -5. Let b = l + 4.9. Which is smaller: 5 or b?
b
Suppose 20 = t - 5*l, 5*l - 3 = 3*t - 23. Which is smaller: 2/77 or t?
t
Suppose 4*z = 2*z + 6. Suppose 0*k + z*k = 3. Which is smaller: 1/4 or k?
1/4
Let p = 223/5 - 45. Let v = -20 + 24. Is p not equal to v?
True
Let j be (2/6)/(1/3). Let w be 0/j - (-16)/(-28). Let v be (-6)/(-8) - (-28)/(-16). Is w != v?
True
Let w be (-8)/4 - -4*3. Let i = -3 + w. Suppose -32 = 5*m - i. Is -5 smaller than m?
False
Let d = 0 - -2. Let k be 3*d/(-3) + 10. Suppose 15 = -k*q + 3*q. Which is bigger: q or -2?
-2
Let w = -6 + 13. Let s = -1.19 + 0.19. Is s bigger than w?
False
Let v = -13.1 + 13. Which is smaller: 4/3 or v?
v
Let q = -11/20 - -499/580. Is 0 less than or equal to q?
True
Let t(y) = y + 11. Suppose 5*x + h = -h - 54, 4*x = 2*h - 36. Let r be t(x). Suppose -5*q = -6*z + z + 20, -3*q - 2*z + 8 = 0. Which is smaller: q or r?
q
Let v be (1/1 + -1)/2. Let w be 1/((-17)/(-2) + v). Suppose -4*u + z = -0*u + 8, -13 = -3*u - 4*z. Is u bigger than w?
False
Let u = 0 + 1. Let x be ((-34)/(-4))/((-15)/90). Let h be u + (1 - x/(-24)). Which is bigger: 0 or h?
0
Let m = 3109/1764 - -3/196. Which is bigger: 2 or m?
2
Let k(q) = 8*q**3 - q**2 - q. Let z be k(-1). Do -46/7 and z have different values?
True
Let s = 3/37 - 175/333. Let t = 0.6 + -0.7. Which is smaller: t or s?
s
Let i = 0.5 - 4.1. Let b = 4 + i. Is -1 equal to b?
False
Suppose 5 = -0*y + y. Let a = y + -6. Which is bigger: -5/3 or a?
a
Let u be (4 - 0)/(8 - 6). Suppose q = 2*l - 5, 5*l + u = -3*q - 2. Is q greater than -1?
False
Suppose -3*j + 3*b = 0, j + 0*j = 4*b. Let p be -4*(-4)/((-320)/(-116)). Let l = -6 + p. Which is smaller: l or j?
l
Suppose 0 = 2*w - 4*v + 20, 2*w - 4 + 32 = 2*v. Let m be w/21*(-5)/(-10). Which is bigger: 3 or m?
3
Let g = -26 + 25.89. Let i = g - -0.11. Which is greater: 1/4 or i?
1/4
Let h = 0 + -2. Suppose n - 9 = 4*n. Let f be n/h + -2 + 0. Which is greater: f or -2?
f
Let l = 8 - 5. Suppose 7*n - l*n - 12 = 0. Let t(w) = -3*w + 4. Let s be t(1). Which is greater: n or s?
n
Let n = -12/227 + 2188/7037. Which is greater: n or 0?
n
Let q(s) = s**3 + 4*s**2 - 5*s - 1. Let b = 1 + -6. Let j be q(b). Is -2/9 smaller than j?
False
Suppose -y + 3 = -3. Is y >= 1?
True
Suppose 2*p = -0*p - 2. Suppose -3*n - 6 = -2*n. Let s be 6*(n/3)/20. Is p at least s?
False
Let p = 8 + -7. Which is bigger: p or -1/28?
p
Let x = -17/8 - -87/56. Is x equal to 0?
False
Suppose 2*v + 27 = 4*g - 9, 2*v = -4*g - 20. Let l be -2*v/(-4) - 2. Is -8 smaller than l?
False
Suppose -2*m = 2*m - 12. Suppose -m*h = -5*h - 32. Let r be 4/10 - h/60. Is r bigger than 0?
True
Let q = -124 + 137. Are q and -1 nonequal?
True
Let h(o) = -4039*o - 9. Let p be h(-7). Let t = -3250339/115 + p. Let w = 2/115 + t. Which is smaller: w or -2/5?
-2/5
Suppose 2*n - 50 = -4*s - s, -49 = -2*s + 5*n. Which is smaller: 2 or s?
2
Let b be 0 - 3 - (0 + 0). Let p be 12/(-8)*4/b. Suppose 0 = -5*k - p*q - 13, -k + 13 = 4*q + 30. Which is bigger: 0.1 or k?
0.1
Let o be (-34)/187 - -14*8/11. Is 11 greater than or equal to o?
True
Let t = 37/5 + -133/20. Suppose 7*o - 2*o = 0. Suppose -3*c + 3 + o = 0. Are c and t nonequal?
True
Suppose -4*f - 65 + 161 = 0. Let k = f + -19. Which is greater: 7 or k?
7
Let u = 0.7 - 4.7. Let x = -5 - u. Let c = x - -0.8. Is c != 0.2?
True
Let d = 3 + 1. Suppose 0 = -3*q - 3*j, 0*j = -d*q - 2*j. Which is bigger: q or 1/4?
1/4
Let x be 2/(-10) + 18841/97880. Let o = 19824089/22610280 + x. Let i = o - 2/165. Is 1 not equal to i?
True
Let m be 8/(-2)*(-6)/8. Suppose 2*s - 10 = 4*i, 5*i - 3 = 3*s - 17. Suppose 5 = 2*n - s. Is m less than or equal to n?
True
Let r = -1 + 7. Let f be (1/r)/(2/(-3)). Which is bigger: f or 3?
3
Suppose -7*x = -79 - 61. Which is smaller: x or 21?
x
Suppose 64 = -q - 73. Is -137 bigger than q?
False
Suppose 0 = -0*x + x - 5. Suppose -x*a + 3*a = -6. Let u = a + -3. Which is smaller: -2/13 or u?
-2/13
Let l = -12/6151 - -228463/449023. Let s = -296044/1095 - l. Let i = -271 - s. Are 0 and i nonequal?
True
Let t be (6/9)/((-60)/(-18)). Suppose 3*f + 4*b + 20 = 0, -4*f - 3*b = -0*b + 15. Is t less than or equal to f?
False
Suppose 2*y = 2*v + 2, 2*y + 1 = -3*v - 27. Let u be 15/50*4/v. Which is smaller: u or 0?
u
Let f = -17 - -42. Let r be f/(-4)*(-8)/(-20). Is -2 greater than r?
True
Let c = 7775 - 13916. Let u = 129226/21 + c. Let y = -37/3 + u. Which is smaller: 0 or y?
0
Let t(y) = -y + 4. Suppose 7*m = 2*m + 285. Suppose 4*f + 4*v = 8, 4*f - m + 17 = 4*v. Let k be t(f). Which is greater: k or -2/3?
-2/3
Let g(b) = -b + 1. Let s be g(-1). Suppose -5*w + 5*y = -110, w - 4*w + 5*y + 74 = 0. Let q = -33/2 + w. Which is greater: q or s?
s
Suppose 4*u = -2*b + 8, u + 2*b - 4 = -5. Let r be (-3)/((-3)/(-6)*u). Let j be (-3)/r - 14/20. Are 0 and j nonequal