 0.7488. Is -293 at least as big as y?
False
Let p = -0.211 + -0.059. Let w = -287 + 286.9. Is w at least as big as p?
True
Let c = 11 - 10. Let n be 4*(c + (-9)/12). Let i = 65 - 521/8. Which is smaller: n or i?
i
Suppose -4*y - 7 = -s, s - 5*y - 6 = 4. Let g be 2/(-5) + (-366)/(-15). Let x be (10/4)/(g/(-60)). Is x greater than s?
False
Let l(o) = -o**2 + 4*o - 7. Let m be l(3). Let z = m - -7. Suppose 8 + 4 = -z*s. Which is smaller: -3 or s?
s
Suppose 2*y + 2*y + 312 = -b, -4*b - 142 = 2*y. Let o = 79 + y. Which is smaller: -3/43 or o?
-3/43
Let z be (-2)/(2*5/(-25)). Suppose -5*r + j + 19 = 0, 19 + 1 = -z*j. Let a be 6/18 - 6/(-9). Which is greater: r or a?
r
Let i be (1/4*1)/1. Let t = -8 - -5. Let g be 0 + (t - -3) + 1. Which is smaller: i or g?
i
Let q be (69/25 - 3)*2. Is 0 bigger than q?
True
Let s = 4 + -4. Suppose -44 - 4 = 4*k. Let v be 3 + 1 - (-47)/k. Is v less than or equal to s?
False
Let x = -1.6 + 1. Let g be ((-5)/(-4) - 1)/(585/(-520)). Which is greater: g or x?
g
Let n(u) = -u**3 + 15*u**2 - 17*u + 9. Let s be n(15). Let c = 155 + s. Is c at most as big as -91?
True
Let t be 4/(-7) + 6/((-168)/(-44)). Is -2/473 at most as big as t?
True
Suppose 3*p - 3*s = 1 - 7, 5*s + 15 = 0. Suppose 2*i + 3*i = -3*c + 4, -2*c = -5*i - 11. Which is greater: p or i?
i
Let y be (-19)/(3762/(-36)) - 37/143. Suppose -4*h = -0*h - 16. Suppose h*c = c. Which is bigger: c or y?
c
Let m = 58.916 - -0.084. Let b = 60 - m. Suppose -g + 2*g = -1. Which is smaller: b or g?
g
Let v = 70 - 68. Let x be -4 - (-26 + 8/v). Which is smaller: 20 or x?
x
Let s = -4 - -9. Suppose 2*n - 14 = -4*j, -s*j + 4*n + 0*n = -37. Let b be -15*(-2 - (-12)/j). Which is greater: b or 2?
2
Suppose 2*w - 5*g + 22 = 0, 3*g = w - 4*w + 9. Let n(d) = d**3 + 16*d**2 - d - 20. Let z be n(-16). Which is greater: z or w?
w
Let c = -742 + 687. Is c >= -52?
False
Let t be -1*4/5 + 48/360. Let v = -0.1 + -1.1. Which is smaller: v or t?
v
Let d(b) = b. Let w be d(4). Suppose -w*m - 186 = -5*o - 60, -3*o - 2*m = -80. Let t = -51/2 + o. Is 1 equal to t?
False
Let b = 42/1595 + -4/319. Which is smaller: 0 or b?
0
Let s = -621 - -631. Do s and -11 have the same value?
False
Let w be 5/(7 - (13 + -3)). Is w at least as big as -0.01?
False
Let c be ((-6)/(-15))/(((-8)/(-20))/(-2)). Let y be 4/c*3*16/(-348). Do y and -1 have the same value?
False
Suppose 3*g - 5*d - 20 = -4*d, -2*g - 2*d + 8 = 0. Let l(z) = -z + 10. Let s be l(g). Suppose -s*o - 62 = -18. Which is greater: -10 or o?
-10
Let a be (-2)/(-17) - (457/(-17) + 5). Suppose -m + a = -26. Do 46 and m have the same value?
False
Let i = 3/2 + -21/10. Let o = -12319 + 61833/5. Let b = 48 - o. Which is greater: i or b?
b
Suppose -2*p + 202 = 6*m, -m = 3*p + 12 - 59. Which is smaller: 30 or m?
30
Let r(d) = d**3 + 5*d**2 - 5*d + 8. Let g be r(-6). Suppose -g*o - 14 = -q - 206, -1 = o. Let j = q - -395/2. Is 0.1 equal to j?
False
Suppose 13*o = 12*o + 13. Let z = o + -16. Is z at least -17/4?
True
Let m = -0.2 - -0.15. Let i = 2031 - 2031. Which is smaller: m or i?
m
Let v = 10.6 + -10.7. Which is smaller: v or 9/8?
v
Let i be (-1)/3 + (-2)/3. Suppose 9*b - 5*b = 0. Is b less than or equal to i?
False
Let m be (640/(-100))/((-2)/10). Let f = 0.02 - -0.08. Which is greater: m or f?
m
Let f = 12 - 8. Suppose -5*a - w - f*w = 15, 2*w + 4 = 0. Is a greater than 0?
False
Suppose 0 = -2*q - 956 + 228. Is q not equal to -364?
False
Let f = 54 + 202. Let b = 2830/3 - 1203. Let w = f + b. Does w = -3?
False
Let k = -428 - -341. Which is smaller: k or -257/3?
k
Let r be 6/(-30)*-3 + (-2894)/(-10). Is r greater than or equal to 289?
True
Let o = 24.178 - 24.2. Is -2 <= o?
True
Let z = 45 + -43. Suppose -3*a + z*w + 37 = 0, 3*a - 2 = -w - 4*w. Is -3 less than or equal to a?
True
Let t = -116 - -26. Is -88 greater than t?
True
Let o be (91/5 - 3/15) + 3. Suppose -o = -x + 11. Is 32 at most x?
True
Let m = 52651 + -2369192/45. Let f = 12/5 - m. Suppose 0 = 5*b - 25, 6 = -4*g + 4*b - 2*b. Which is greater: f or g?
g
Suppose -70*k = -73*k - 231. Let o = k - -58. Are -16 and o non-equal?
True
Suppose 7 + 2 = 3*k. Let g(c) = 2*c**3 + k - c**3 + 10*c**2 - 2. Let n be g(-10). Is 2/31 at least n?
False
Let k(c) = -10*c + 97. Suppose -f - 6 - 19 = -2*l, 0 = l - 3*f - 25. Let b be k(l). Let o(n) = n**3 - 7*n**2 + 5*n + 2. Let j be o(6). Which is bigger: b or j?
b
Let r(l) = l**3 + 7*l**2 + 7*l + 6. Let k(y) = -8*y + 10*y + 2 + 6. Let x be k(-7). Let u be r(x). Is u greater than -1/6?
True
Let r = 9913/6 - 1647. Let a(w) = 8*w - 35. Let g be a(5). Which is bigger: g or r?
r
Suppose -20 = -11*w + 7*w, 3*w = -2*x - 21. Which is smaller: -21 or x?
-21
Let s = -0.185 + 13.185. Is -0.12 equal to s?
False
Let t = -6.6 - -9.7. Let b = t + 4.9. Let j be 1/1 - (-21)/(-15). Is b at most j?
False
Let f = -85 - -87. Suppose 3*w - n + 1 - 18 = 0, -17 = -5*w - 4*n. Suppose c + w = f*c. Is 5 greater than or equal to c?
True
Let r = -1.243 - -0.043. Let o = -0.1 - r. Is 0.1 at most as big as o?
True
Let r be (-2)/(-8)*(-28)/(-7). Is r <= 1/280?
False
Let f(s) = 3*s**2 + 8*s + 9. Let p be f(-4). Suppose -p*q - 38 = -27*q. Let c = q - 4. Is 16 less than or equal to c?
False
Let a be (-2)/((-88)/(-20) - 4). Let t be 3 + -1 + -2 - 2. Let g = t + -2. Is a bigger than g?
False
Let y = -1 + 0. Let h be (18/(-27))/(4/6). Let g be ((-7)/182)/((-1)/12*h). Which is greater: y or g?
g
Suppose 3*b + 2228 = -3*f + 107, 3*f - 5*b = -2081. Is -702 less than f?
False
Let n = 192/4601 - -3/107. Let w(f) = 3*f**2 - 19*f + 6. Let i be w(6). Are i and n nonequal?
True
Suppose 5*s = 3*y + 41, -22*s - 4*y = -19*s - 13. Is 5 not equal to s?
True
Suppose 0 = -3*s - 6 - 24. Suppose 25 = 3*k - 4*u, -4*u = -3*k - u + 21. Suppose j + k*o - 2*o = -5, -4*j - 2*o = 30. Is s greater than j?
False
Let s = -2.14 - -0.24. Let t = -52.83 + 51. Let a = t - s. Do a and -1 have different values?
True
Let g be (-3)/(-30) - (-1 + 724/760). Is -1 != g?
True
Let o = 6551/3 - 2181. Which is greater: 2/5 or o?
o
Suppose 0 = 2*a - 5*i + 16, 5*a - 3*i + 1 = -1. Suppose 12*f = 14*f - a. Are f and 2/17 unequal?
True
Let n be 191/7*(-2)/(-19). Let x = -164/133 - -584/133. Let w = x - n. Is w less than 0.1?
False
Let h be ((-2)/(-6))/(8/144). Suppose 2*r - 25 = -d, -4*r - 2*d + 32 = -h*d. Which is greater: r or 10?
r
Suppose 10 + 1 = -p - 2*h, 3*p + 28 = -5*h. Let a be ((-8)/(-66))/(1/3). Let r = a + -1/33. Which is greater: p or r?
r
Let x = 30.26 - 30.46. Let n = -0.6 + -0.2. Let q = n + -0.2. Which is smaller: x or q?
q
Let m be (-4)/(-2) - (-4 - -4). Let d be 22 + -2 + -2 - 2. Suppose -18*k + d*k + 2 = 0. Which is smaller: k or m?
k
Let p = 161.63 + 0.37. Let l = 166.95 - p. Let y = 0.05 + l. Is 1/4 != y?
True
Suppose -145*t + 143*t - 1372 = 0. Is -686 at least t?
True
Suppose -2*i = 17 - 5. Let d(u) = -29*u + 315. Let j be d(11). Let a be j/i*(-27)/(-18). Is 5/12 less than or equal to a?
True
Suppose -4*j + 3*y + 3 = -0, -22 = -j + 5*y. Let z be (-4)/6*12636/2160. Is j greater than or equal to z?
True
Suppose 0*t = -2*t + 4. Suppose -2*q + 9 = f, 4*q + 5*f = -7 + 34. Suppose -5*a - q*k + t = -k, 5*a = k - 1. Is 1/8 <= a?
False
Let o(q) = -q**3 + 4*q**2 - q + 4. Suppose -4 = -4*l - 3*y + 3, 4*l - y = 19. Let j be o(l). Let t be 8/(528/54) + -1. Is t less than or equal to j?
True
Let o be (-6)/(-15) - ((-12)/(-5) + 6). Suppose 5*c + 132 = 2*n, -c + n - 3 = 21. Let m be o/c - (-4)/(-63). Is 0.07 less than m?
True
Let x be ((-12)/28)/(-1)*-1. Let b = -17.6 + -0.4. Let o = b + 16. Is o > x?
False
Let a = 858 - 857.017. Let o = a + 0.017. Which is bigger: 13 or o?
13
Let o = -9/16 + 113/144. Let q = -0.03 + 1.03. Which is greater: o or q?
q
Let x be 6996/(-45) + ((-24)/20)/6. Let w = x - -156. Which is greater: w or 0.063?
w
Let y be (-26)/65 - (82/(-5) + -3). Is y >= 14?
True
Suppose 5*p - 3*g = 82 - 26, -2*p = 5*g - 10. Let a = 12 - p. Let z be (-4)/16 + 10/8. Which is smaller: a or z?
z
Let q = -1375 + 1372. Which is greater: q or 2?
2
Let t be 2 + 0 - (-4 + 5). Let d = t + 7. Which is bigger: 9 or d?
9
Let t = 102213 - 102962.89. Let a = 739 + t. Let j = -0.11 + a. Which is smaller: j or 0?
j
Suppose 9 = 4*g + 1. Let z be ((-14)/4)/1*g. Let o be 2/(-3)*9/42*2. Which is smaller: o or z?
z
Suppose -5*c + 15 = 5*i, -1 = i + 