/(-10) + 6/10. Let s = -2860.02 + 2913. Let t = -53 + s. Is t != b?
True
Suppose 0 = 7*w + 166 - 117. Are -4 and w unequal?
True
Let t = -0.2 - -3.2. Let i = -157/3 - -313/6. Is t equal to i?
False
Let w = 4061 + -101492/25. Does w = 1?
False
Let r = -202 - -184. Are r and -58/3 unequal?
True
Suppose -x - 5*i + 25 = 0, 3*i = 3*x + 5*i - 10. Let d = -3153 - -163959/52. Is d >= x?
True
Let o = 2384 + -4767/2. Which is greater: o or -741?
o
Suppose -2*l - 4*u + 12 = 0, -4*u + 7 = l - 1. Let w(g) = 1 + 0*g**3 - g**3 + 7 - l*g - 1 + 7*g**2. Let o be w(6). Which is smaller: 20 or o?
o
Let l = 1/12 - -701/12. Which is smaller: 59 or l?
l
Let k(m) = m + 7. Let d be k(-6). Let g be (2/d - 0) + (-1419)/704. Is -1 < g?
True
Let m = 4.5 + -16.5. Let y = m + 15.8. Are 0.2 and y non-equal?
True
Let s be 3/(-2) + (-55)/(-22). Let k be s + (-3 - -4) - 2. Does 5/7 = k?
False
Let r = -4333/190347 + 5/201. Is r < 1?
True
Let f be (-4 - -2) + 2 + 0. Let k = -15.8 + 15.17. Let v = 0.7 + k. Which is greater: v or f?
v
Let k be (0/(-2 - -1))/(-2). Suppose -7*i + 13 = -2*i + 2*w, -4*i - 2*w = -10. Let n be (-2)/i + (-4)/(-12). Are k and n non-equal?
True
Let j be 65/3 + 10/30. Suppose 5*t - 8 = j. Let x be (t/(-4))/(-4 + -2). Which is smaller: x or 2/5?
x
Let u be (-448)/48 + 8 - 2/(-2). Let p = -1.2 + -4.8. Let o = p + 5.4. Which is smaller: u or o?
o
Let y = -51073/9 + 5667. Which is greater: y or -9?
y
Let t = 1 + 2. Let i be -2 - -2 - (t/3 + 0). Which is bigger: 3/31 or i?
3/31
Let p = -100.5 - -21.5. Is p at most 1?
True
Let q = 1117 - 39098/35. Which is bigger: 0 or q?
0
Let k be -6*(174/12)/(12/54). Is -391 at most as big as k?
False
Let i be (-2)/355 - (17 - (-119)/(-7)). Which is greater: i or 0?
0
Let y = 336 - 689. Which is smaller: -354 or y?
-354
Let o = 237 + -237. Which is smaller: -6/31 or o?
-6/31
Let x = 0.2 + 0.3. Let m = -347 - -346.7. Let a = m + x. Is a greater than -2/17?
True
Let h be -2 + 0 - (-7 + (7 - 1)). Let w = -1 - -3. Suppose 2*s + 15 = -w*s + p, -2*p + 3 = s. Is s at most h?
True
Let g = -32 + 32. Let v be (g - 2)/((-12)/(-2) - -3). Which is smaller: 1 or v?
v
Suppose -16 = 2*y + 4*h - 68, 27 = y + 3*h. Let f = -17 + y. Which is smaller: 6 or f?
6
Suppose -18 = h + 2*c, 0 = 3*c - 7 - 2. Let o be 8/(h/3)*(1 - 1). Are -3/17 and o nonequal?
True
Let c = -78 - -703/9. Suppose 2*b - 4*v + 4 = -0*b, -3*b = -5*v + 4. Suppose 5*a - 5 = 2*o, 18 = b*a - o - 3*o. Which is smaller: a or c?
a
Suppose 2*u - 13 = -109. Let r be (3/2)/((-9)/u). Let j be (-5)/(-9) - r/36. Which is greater: j or 9?
9
Let v = 50 - 46. Let q be (-18)/(-8) - (-3)/(-12). Which is smaller: v or q?
q
Suppose 0 = 4*r - n + 67, 21 = -3*r + 2*r - 4*n. Let b = r + 17. Is b < 2/7?
True
Suppose z = 4*a - 20, -2*z - 20 = -3*a - 0*z. Let d(g) = -2*g + 2 + 10 - 4. Let p be d(a). Which is greater: 1/2 or p?
1/2
Let r = -986 + 4934/5. Which is greater: 5 or r?
5
Let z be (12/(-5))/(2/(-10)). Let w be ((-56)/(-294))/(30/(-35)). Is w less than or equal to z?
True
Suppose -62*a = -73*a - 33. Which is greater: a or -100/31?
a
Let b = -41.3 + 55. Let x = 5.7 - b. Which is smaller: 4 or x?
x
Let g = 4 + -4. Let l = -505 - -35347/70. Let z = -23/70 - l. Which is greater: g or z?
g
Suppose 2*q + 0*q = 18. Suppose m - 6*m - 5*b + 45 = 0, -4*b + 28 = 3*m. Which is smaller: m or q?
m
Let j(t) = -3*t + 36. Let h be j(15). Let a = 4 + h. Is -5 not equal to a?
False
Suppose 5*y + 8*h + 605 + 675 = 0, -2*y - 543 = -3*h. Which is smaller: y or -262?
y
Let i = -150 + 150.4. Do i and -9 have different values?
True
Let d = 490 - -181. Is -1 bigger than d?
False
Let t = 43 + -135. Let y be t/7 - (-3)/21. Let b = y + 14. Do -2 and b have the same value?
False
Let y = 25/4 - 553/88. Are y and -0.1 equal?
False
Suppose 33*d - 34 = 31*d. Is d greater than or equal to 39?
False
Let i(w) = 14*w - 71. Let r be i(5). Is r smaller than -11/15?
True
Let o(d) = -d + 1. Let s be o(0). Let f be (2/(-4))/(1/4). Let m be (-4)/f + (1/(-7) - 1). Is s at least as big as m?
True
Let x(m) = -5*m - 5. Suppose -5*l - 9 = 6. Let s be x(l). Let a(c) = c**3 - 11*c**2 + 11*c - 10. Let t be a(s). Which is greater: t or -6/7?
t
Suppose -7*w + 66 = 255. Which is smaller: -29 or w?
-29
Let m = 16 - 20.9. Is -2/5 at most m?
False
Let c = -0.2 - 0.7. Let g = 3 + -4. Let s = g - c. Is -7 bigger than s?
False
Let b = 6 - 4. Let s = 129.5 - 128. Which is smaller: b or s?
s
Let i = -106.1 - -106. Which is bigger: -83 or i?
i
Let d = 10 - 9.8. Is d at least 0.13?
True
Let d be (-25)/120*(-2778)/20. Let c = d - 29. Which is smaller: -1 or c?
-1
Let k = -22 - -22. Suppose 21 = 5*j - 2*a - k*a, 0 = 5*j - a - 18. Suppose -g + 42 = -j*g. Which is smaller: -20 or g?
g
Let b(k) = -k + 10. Let t be b(0). Suppose 3*y = -3*g + 3, g + t = -2*y + 2*g. Let a be 13 + (3 - 2) + y. Is a < 11?
False
Let b be ((4/(-6))/((-2)/6))/2. Let n be (12/27 - 1 - 0) + b. Which is bigger: 0 or n?
n
Suppose -111*q + 550 = -5. Which is smaller: 110/23 or q?
110/23
Let f = -12 + 15. Suppose -5*r - 2*n = -0*n - 14, -2*r - 1 = f*n. Suppose 0 = -r*l - l. Is l != 0?
False
Let y = 48 - 29. Let g = y - 13. Is -0.2 smaller than g?
True
Let k = 216 + -111. Let f = 131 - k. Is f greater than -3?
True
Let f(p) = p**3 + 39*p**2 - 1 - 30*p**2 - 2*p + 0 + 4. Let q be f(-9). Is q smaller than 23?
True
Let q = 29 + -147/5. Let g = -59908 + 538513/9. Let r = g - -73. Is r > q?
True
Let c = -0.03 - -0.43. Let i = -0.55 - c. Let b = -0.05 + i. Which is greater: 1 or b?
1
Let l = -5121 - -5104. Let c = -3 - -5. Suppose 0 = 3*b - 0*b + 4*n + 47, -c*b + 3*n = 37. Is b not equal to l?
False
Let y be (7 + 124/(-28))*-21. Which is bigger: y or -56?
y
Let j = -352 - -371. Which is bigger: 16 or j?
j
Let i be 84/8*2/3. Let s(k) = 3*k - 12. Let o = 22 - 16. Let z be s(o). Which is smaller: z or i?
z
Suppose 0 = -9*m + 59 - 14. Does 7 = m?
False
Let u(t) = -32*t + 872. Let p be u(30). Is p not equal to -71?
True
Suppose 3*n + 180 = -3*n. Let d = n - -34. Is d smaller than 16/3?
True
Suppose -51 = -n - 40. Which is smaller: n or 9?
9
Let o be -1 - (27/6)/((-24)/64). Let i = -28 + 39. Is i < o?
False
Let a be (-200)/52 + (16 - 12). Which is greater: a or 57?
57
Suppose -4*t - 48 = 72. Let a = -34 - t. Is 0 >= a?
True
Let k = 0.28 - 0.47. Let q = k - -0.24. Let z = 3.95 + q. Which is smaller: z or -2/9?
-2/9
Suppose -21*y - 73 + 94 = 0. Is 43/24 greater than y?
True
Let k(h) = 61*h - 8. Let o be k(2). Which is smaller: o or 0.1?
0.1
Let m be -11 + -568 + 11 - 3. Are -2/7 and m non-equal?
True
Let d be 8*(4165/(-28) - 11). Is -1278 >= d?
True
Suppose 3 = -4*c - 4*y - 1, -2*c - 5*y - 17 = 0. Suppose 4*v + 2*b - 190 = 0, -c*b = v - 0*b - 30. Which is smaller: v or 51?
v
Let t(a) = a**2 - 13*a - 13. Let s be t(14). Let r(c) = -2*c + 1. Let i be r(s). Which is smaller: i or -3?
-3
Let q = 12 - -4. Suppose -5*x - q = -x. Let g be (1/x)/(0 + -1). Which is smaller: 0.2 or g?
0.2
Let y = -64 + 94. Suppose 0 = 4*i - 9*i + y. Let r(s) = -s**3 + 5*s**2 + 5*s - 5. Let d be r(i). Which is smaller: d or -12?
-12
Suppose 0 = -351*v + 341*v + 10. Which is smaller: -2/61 or v?
-2/61
Let q = -1 - -2. Suppose 0 = 5*y - 9 - q. Which is bigger: y or -0.2?
y
Let u(g) = 5*g - 49. Let m be 8/(-1 + -1)*(-8)/4. Let x be u(m). Which is greater: x or -10?
x
Let q = 143 - 2005/14. Suppose 4*t - 5*z = 1, 2 = 4*t - 3*z - 5. Suppose -k - 7 = t*m, -14 = -5*m + 4*m + 5*k. Which is smaller: m or q?
m
Let j = 131 - 94. Let w = -2860 - -2861. Which is bigger: w or j?
j
Let i be -9 - (4 + -9) - -5. Which is bigger: 3/88 or i?
i
Let j = 1010 + -7080/7. Is j less than or equal to 12?
True
Let s = 62 - 41. Let a = s + -22. Let x be ((0 - a)*-7)/(-1). Is x less than 8?
True
Let o = 70 - 66.7. Let m = -105 + 105.7. Let w = o + m. Are w and 0 nonequal?
True
Let k = -32 + 42. Suppose 0*t - 40 = -5*t. Suppose 0 = 2*a - t + k. Is -3/2 at most a?
True
Let u = 93 + -89. Suppose 3*h - 20 = -5*t, u*t + 7 = 2*h + 1. Which is smaller: 70 or t?
t
Let h(y) = 2*y**2 - 31*y + 27. Let o be h(15). Is 8 at most as big as o?
True
Let l = -450.998 - 0.002. Is -1/4 <= l?
False
Suppose -3*c - 17 = 4*m + 19, 0 = 2*m. Let v(u) be the first derivative of -u**3/3 - 11*u**2/2 + 5*u - 1. Let y be v(c). Are -2/5 and y equal?
False
Let h = -17 - -29. Let g(f) = 13*f**2 