 is greater: -0.02 or x?
x
Let d = -0.5 - -0.53. Let i = -0.23 + d. Which is bigger: 0 or i?
0
Suppose 10*j = 7*j + 18. Let s be -3*(-1)/j*2. Which is bigger: s or 0?
s
Let x be 12/(-6) + 4/1. Is x > 2?
False
Let q be 11 + -2 + (-1 - 0). Is q >= 7?
True
Suppose -19 = -3*d + 62. Is d smaller than 28?
True
Let x(m) = m**2 + 7*m - 4. Let t be x(-7). Is t at least -4?
True
Suppose -7*p + 2 = -9*p. Which is bigger: 1/16 or p?
1/16
Suppose 3*z + 30 = -2*z. Suppose 0 = -4*n + 4*h + 32, -6*n + n + 3*h = -36. Let v be (-1)/z + 2/n. Which is greater: v or 0?
v
Let f = -0.4 - -0.3. Which is smaller: f or -1?
-1
Let t = 22 - 21. Is 0.5 equal to t?
False
Let v = -6/23 + 64/69. Which is smaller: v or 0?
0
Let z = -0.7 + 0.65. Let n = -0.45 - z. Let r = -0.3 - n. Is r less than -0.1?
False
Let j be 345/(-6993) + 1/(-7). Let s = 3/37 + j. Which is smaller: 1 or s?
s
Let p = -716 - -20761/29. Let h = -85/261 - p. Which is smaller: h or 0?
h
Suppose -11 = -4*k + 5. Suppose -2*r + 0*r + 24 = 4*l, -3*l + 4*r = k. Is 2 greater than or equal to l?
False
Let z be 270/(-24) + (-6)/8. Let j(p) = p**2 - 8*p + 2. Let h be j(5). Are h and z equal?
False
Let i(t) = -t**3 + 18*t**2 + 20*t - 15. Let c be i(19). Which is smaller: c or 3?
3
Let j = -35.83 + 36. Is -0.1 > j?
False
Suppose -4*a - 58 = -3*s - 2*a, 5*s - 96 = 3*a. Suppose -s = -2*y - y. Let t be (-3)/y + 2/6. Which is bigger: 0 or t?
0
Let q = 351 - 336.9. Let t = 14 - q. Is t > -0.7?
True
Let u = 29 - 61. Are u and 1 nonequal?
True
Let w = 227/189 + -17/27. Is w bigger than -1?
True
Let v be (-3)/4 - 185/(-220). Is v greater than -1?
True
Suppose -3*o - 23 = 82. Let f = -177/5 - o. Which is greater: -1 or f?
f
Suppose -4*u - 15 - 1 = 0. Let q be ((-1)/(-25))/(u/10). Which is smaller: 1 or q?
q
Let o = -4 - -4. Let q be 2/3*(-51)/(-413). Let h = 12/59 + q. Which is smaller: o or h?
o
Let r = -79/216 + 7/24. Is r equal to 1?
False
Let z(v) = -19*v - 3. Let d be z(-5). Let i = -375/4 + d. Which is bigger: -3 or i?
i
Let w(g) = g**2 - 5*g - 1. Let f be w(7). Which is smaller: -0.2 or f?
-0.2
Let l = 25555540/63 - 405656. Let j = l + 110/9. Let z = 0 - 0.1. Does z = j?
False
Let b = 1735/6 + -292. Is b at most -3?
False
Let a = -3 + 3. Suppose 2*g = -a*g - 6. Let d be 1/g - (-22)/30. Which is bigger: d or 1?
1
Suppose 0 = -4*t - 7*l + 2*l + 17, -2*t + 1 = -5*l. Do 16/5 and t have different values?
True
Let z = -34 + 25. Does -11 = z?
False
Let g be 4 + (-5 - -2) - -1. Suppose -3*j - 3 = 0, g + 2 = 2*o + 2*j. Suppose 0 = -4*l - o + 15. Which is greater: 4 or l?
4
Let y be ((-2)/6)/(262/36). Let q be 45890/(-29475) + 6/15. Let x = q - y. Which is smaller: 0 or x?
x
Let h be -12*-1*(-4)/56. Which is smaller: h or -2?
-2
Let f(q) = -q - 3. Let a be f(-4). Let o be a/4 + (-72)/32. Let w be ((-1)/o - 1)*2. Are w and -2/5 equal?
False
Suppose 2*p + 5*h = h + 8, 1 = p + h. Let m be p/(-30) + 5/15. Which is smaller: m or -0.1?
-0.1
Suppose 2*r - 6*r - 5*o = -19, -31 = -5*r + o. Suppose 5*t = 24 + 6. Is t at most as big as r?
True
Let k be (-1428)/35 + 2/(-10)*1. Which is bigger: -42 or k?
k
Let f = 133 + -133. Which is smaller: f or -1/71?
-1/71
Let y be (23/2)/((-1)/4). Is y smaller than -46?
False
Let u(v) = -v**3 - 12*v**2 - 11*v + 4. Let r be u(-11). Which is greater: 1 or r?
r
Suppose -3*r = 2*r - 5*a, -28 = -3*r - 4*a. Let y = 2 - r. Does -2 = y?
True
Let f = -44937 + 225981/5. Let o = -260 + f. Is -1 greater than o?
False
Let c = 159798/67 + -2385. Which is smaller: c or -1?
-1
Suppose -14 = -5*x + 4*k + 31, 3*x = -2*k + 5. Let b be 3/(-6) + x/6. Suppose 0 = -2*l - 0 - 2. Is l at least as big as b?
False
Suppose 11 = -3*a + 2. Let o be a + -118*4/(-160). Is 0 <= o?
False
Let i = -10 + 10.09. Let r = i + 0.01. Are 3 and r nonequal?
True
Let y = 9 + -12. Is -1/3 <= y?
False
Let q = 22 + -6. Is q > 15?
True
Let i be (49/(-42))/(6/(-9)). Suppose -5*t = r - 41, 0 = 5*t - t - 2*r - 30. Suppose -5 = -t*l + 3*l. Which is bigger: l or i?
i
Let k(u) = u + 11. Let h be k(-8). Suppose 0 = h*c + 12, 0 = -m + 4*m - 3*c - 18. Which is greater: m or -1?
m
Let p = 1 + 0. Let s = p - 1. Let w = s + 2. Which is smaller: 2/7 or w?
2/7
Let t = -3/56 - -155/1848. Is -1 equal to t?
False
Suppose -4*x + x = -3. Let f = 18 + -18.18. Let c = -0.2 - f. Which is greater: c or x?
x
Let v be 36/(-6)*(4 - 3). Which is greater: 1/3 or v?
1/3
Let l(q) = 3*q + 1. Let y be l(2). Let g be 10/55 - (-344)/44. Which is smaller: g or y?
y
Suppose p - 132 = 13*p. Let n be (-6)/15 - 74/(-10). Let w = n + p. Which is smaller: w or -3?
w
Suppose -a = x + 5, 0*x = 2*x + 4*a + 20. Suppose 4 = 3*g - 11. Suppose -g = -t + 2*z, -4*t - 6 = -7*t + 3*z. Which is smaller: t or x?
t
Let p = 9 - 7. Suppose 5*z - p*j + 35 = 0, -4*z + 4*j - 18 = 10. Is -7 < z?
False
Let y be 26/8 + (-10)/40. Suppose -i + 4 = -y. Let d = i - 6. Which is smaller: 2/19 or d?
2/19
Suppose 2*z = 44 + 22. Suppose z = -3*x - 0*x. Is -11 greater than x?
False
Let z(r) = -13*r + 10. Let q be z(4). Is q greater than -43?
True
Let j = 0.02 + -3.02. Let b = j - -1. Is b greater than 0?
False
Let x be 0 - -2 - (3 - -2)/10. Is x <= 2/15?
False
Let j = 45.94 - 46. Let x = -5 + 9. Let a = x + -3. Are j and a equal?
False
Let u(z) = z - 3. Let c be u(3). Suppose -5*d + b + 9 = c, 3*b + 0*b + 9 = -3*d. Let x = -127 + 887/7. Are d and x equal?
False
Let w be 5*(-9)/22 + 2. Let v = w + -31/44. Let q = v + 5/12. Is q > 1?
False
Let p be 10/(-2) - (6 - 7). Let o = -1 - p. Suppose -5*v - 15 = 5*m, o*v + 3*m = 5*m - 29. Which is greater: v or -8?
v
Suppose -5*x + 5*c = -0*x + 10, 3*x = -5*c + 34. Let y be (-2)/4 + x/2. Do -0.2 and y have the same value?
False
Let y be (-14058)/105 + 2/7. Let l(f) = 2*f**2 + 6. Let z be l(8). Let h = y + z. Which is greater: h or 1?
1
Let w be (10/(-3))/((-2)/6). Suppose 4*z = 12, -4*j + z - w = -z. Let o be 1/(-2 + -4 + 2). Is o < j?
False
Let s = 0.2 + -0.5. Let z = -0.2 - s. Let j = 0.1 + 2.9. Is z != j?
True
Let i = 16 - 2. Let d(s) = -2*s**2 - 13*s + 4. Let o be d(-6). Let q = i - o. Are q and 4 unequal?
False
Suppose -4*r + 8 + 8 = 0. Suppose 20 = -r*v + 4. Which is bigger: 0.1 or v?
0.1
Let v be -1 + -2 + 2 - -1. Suppose -2 = -o - v. Let d be -1 - (-2)/2*o. Which is smaller: -1 or d?
-1
Let m(h) = h + 3. Let p(s) = 2*s - 1. Let d be p(-4). Let x = 7 + d. Let i be m(x). Which is bigger: 3 or i?
3
Let j be (-1 + 4 - -23)/2*3. Is 40 less than j?
False
Suppose -3 = l, 3*v - v - 5*l = 15. Let f be (-20)/77 + (-6)/21. Is v equal to f?
False
Let d be -1 - 3*(-2)/(-3)*-1. Which is greater: d or -2/13?
d
Let q = -17 + 52/3. Is 0.2 greater than or equal to q?
False
Let x(b) = -b**3 + 7*b**2 + 9*b - 5. Let l be x(8). Let g be l/(-6)*(-12)/(-3). Let a be (0/(-1 + 0))/g. Is -2/15 < a?
True
Let t = -30 + 29. Is t at least as big as -73?
True
Suppose -5*y + 14 + 46 = 0. Suppose -4*j = -5*u - 13 - 8, -4*u + y = 0. Is j less than or equal to 8?
False
Let c = 11 - 3. Let k be ((c/18)/(-1))/2. Let v(t) = -t - 2. Let h be v(-2). Which is smaller: h or k?
k
Let w(o) = o**3 - 10*o**2 + 2*o - 23. Let u be w(10). Which is smaller: u or -0.11?
u
Let z = -8 + 6. Suppose -d - 4 = -q - 3, 2*q + 2*d = 18. Suppose 1 = q*g + 6. Is z bigger than g?
False
Let o = 1 - 2. Suppose 0*k = 2*k - 28. Let h be 4/k - (-6)/(-21). Is o <= h?
True
Let u = 6 - 6. Are -2/5 and u nonequal?
True
Suppose 4*a + 21 + 36 = 3*h, 0 = 4*h - 2*a - 86. Which is bigger: 24 or h?
24
Let h = 115 - 113. Let r = -3 - -2. Let a = r + 1.3. Which is smaller: h or a?
a
Let z = 2.99 + -3. Let w = z + 2.01. Let y = -2 - -1. Is w bigger than y?
True
Suppose -5*q = -5*l, 0 = -2*q - l + 6*l. Which is bigger: 5/8 or q?
5/8
Let w(n) = -n**2 + 3*n + 5. Let x be w(4). Which is smaller: x or 2?
x
Let k be (6/(-5))/(9/(-30)). Suppose n + 3*f = 2*n, 3*f = k*n - 9. Which is bigger: n or 14/5?
n
Let f be 386/(-8) + 9/(-12). Let r = f - -199/4. Which is smaller: 2 or r?
r
Let v = 0 - 2. Let q be ((-2)/(-12))/1*v. Suppose -3*o = o. Which is greater: o or q?
o
Suppose 0 = 5*a - 3*c + 47, -4*c - 11 - 1 = 4*a. Let b = a + 0. Do -7 and b have different values?
False
Let y = -73 + 72.8. Do y and 0 have the same value?
False
Suppose 4*v + 4 = 2*v. Let t = -4 - -5. Let l be v/(3*1/t). Is 0 > l?
True
Let w be -5 - (-1 - (-19)/(-5)). Is -4 at most w?
True
Let l