m + q. Suppose -3*o + 1 = 31. Is o at least z?
False
Let x be (-4)/(-14) - (-216)/(-21). Let q(a) = 5*a**3 - 5*a**2 - a - 3. Let g be q(2). Let u = x - g. Is u at most as big as -2?
True
Let z be 34/1*1011/15*(-480)/(-192). Is z smaller than 5730?
True
Let c = 63 + -58. Suppose c*h + m = 27, m - 1 + 4 = 0. Let w = h - 7. Is -5/6 < w?
False
Let m = 473/3 - 14507/93. Which is smaller: m or 3?
m
Let y be (-14)/7287*32275505/(-94). Let m = y + 2/16309. Let i = 649 - m. Is i at most -11?
False
Suppose 5*i + 19 = 2*s + 11, 0 = 4*s + 4*i + 12. Which is bigger: 2/633 or s?
2/633
Let u = 151 - 153.54. Let w = u - 0.06. Let a = w + 0.2. Is 2 < a?
False
Let n = -21 - -372. Let l = n - 151. Are 200 and l unequal?
False
Let k = 43 - 46. Let d be ((-38)/k)/((-4)/18). Let o = 48 + d. Is o less than or equal to -7?
True
Suppose 7*k + 175 - 196 = 0. Suppose -x - k*x = g + 42, -3*x = -3*g + 39. Which is smaller: 5 or x?
x
Let b be (-6)/(-9)*(6 + -3) - 0. Suppose -4*u = 3*t + 149, -t = -b*u + 64 - 11. Do -50 and t have the same value?
False
Let h(f) be the second derivative of 4*f**3/3 - f**2 - 5*f. Let y be h(1). Let u be 2 - (-3 + 32/y). Which is greater: -10/9 or u?
u
Let a = 17998 - 4895433/272. Which is bigger: 1 or a?
1
Let w(g) = g**3 + 7*g**2 - 8*g. Let f be w(-8). Let t = -82087/31 + 2647. Which is bigger: f or t?
f
Let u = 5457797 + -196553191/36. Let p = -2014 - u. Which is smaller: p or 1?
p
Let g = 2 - 1. Let x = 259 - 183. Suppose -p - 5*d - 1 = 22, 4*p + 4*d = -x. Which is smaller: p or g?
p
Let k be 10/(-2) + (-9 - -10). Let g be 1/k - (-188)/(-16). Let c = 659 + -672. Which is greater: c or g?
g
Let k = -27255358/59 - -461966. Is 12 less than k?
False
Let h = -121 - -367. Let b = h - 240. Which is smaller: b or -20?
-20
Let v = -1157.07 - -1162. Let a = 1.93 - v. Which is smaller: 5 or a?
a
Suppose -3*m = -s + 259, -7*m + 6*m + 5*s - 105 = 0. Which is bigger: m or -80?
-80
Suppose 0 = -r - 261 - 327. Let b be 5/(-1) + (r/(-99) - 1). Let h be (2/(-2) - -2)*0. Is h equal to b?
False
Let j(c) = c**2 - 53*c + 30. Let v be j(18). Let w = v + 601. Is 2/123 less than or equal to w?
True
Let j = -448.1 + 446. Let i = -101/436 + -2/109. Which is smaller: j or i?
j
Let d = 148 - -490. Let m = d + -639. Is m != 319?
True
Suppose 0 = -3*t + t - t. Suppose 3*l = -2*l + 15. Suppose -1 = -2*w + l*w. Which is smaller: w or t?
w
Let z = -13 - 4. Let b = -18 - z. Suppose 6*l = 4*l + 2. Which is bigger: l or b?
l
Let g = 17680 - 19417. Which is smaller: g or 0?
g
Suppose 186*d = -166548 + 693672. Is d greater than 2833?
True
Let k = 336 + 28. Let t = 31687/110929 + 1/15847. Which is bigger: k or t?
k
Let l be 2/2 + (7 - -42). Let q = -10 - l. Let w be (-37)/q - (-4)/(-20). Do w and -2/7 have different values?
True
Let s be -51 - 3 - (1 + 1). Let a = 58 + s. Suppose 8 - a = -6*w. Do w and 1/11 have the same value?
False
Let h = -8 - -11. Let y be h*3*(2 - 5/3). Suppose 5*v - y*l = -l - 24, l = -v - 2. Is v at least -1?
False
Let r = 244.07 - 243. Let u = 2.74 + -2.74. Which is bigger: r or u?
r
Let k be (-2)/3 + 0/3. Let t = -51.61342 - 4.31588. Let q = 0.0707 - t. Which is smaller: k or q?
k
Suppose 3*n - 4*q - 118 = 0, 13*n - 17*n + 3*q = -155. Which is smaller: 39 or n?
n
Let w be ((-210)/1540)/((11/4)/(-1)). Let g = 5 - 5. Does w = g?
False
Suppose -2*b = p - 16, 0 = -5*b - 3*p - 0*p + 42. Let v be (-4)/((-8)/b)*(-2)/3. Let h be 3 - -3*(v - -1). Is h <= 2/51?
True
Let q = 10033 + -10033. Let n = -6.4 + 1. Let g = 4 + n. Is q smaller than g?
False
Let w(r) = -r**3 + 4*r**2 + r - 4. Let h be w(3). Let d be (36/(-8))/(2/h). Is -19 smaller than d?
True
Let p = 31216 + -19139. Is 0.1 at most p?
True
Let f(p) = -78*p - 320. Let h be f(-4). Is -47 equal to h?
False
Let x = 1116 - 1176.12. Let k = x - -1.12. Let r = -57 - k. Is -1 less than or equal to r?
True
Let z(r) = r**3 - 31*r**2 + 34*r + 44. Let s be z(30). Let f = s - 145. Let p = 4 - 6. Is f at least as big as p?
True
Let b = -1.526 + -793.474. Let n = b + 794.671. Let t = n + -0.071. Is t less than -12?
False
Suppose -18 = -14*z + 11*z. Let s be ((-4)/(-9))/(z/27). Let h be 4/(-18) + s + (-6)/(-27). Which is greater: 0 or h?
h
Suppose -25*h + 137 = -3*i - 26*h, 0 = 4*i + h + 180. Which is smaller: -20 or i?
i
Suppose -1099*k + 1052*k = -38 - 9. Which is greater: 4/3397 or k?
k
Let w be 4 - (-14)/(168/(-684)). Which is smaller: -0.02 or w?
w
Let g(i) = 8*i - 21. Let x be g(-7). Let t = -74 - x. Suppose t*o - 4 - 80 = 0. Is o greater than or equal to 28?
True
Let n be (-45)/60*(-2)/(-12). Let y be (-12)/24 + 1/(18/49). Which is greater: n or y?
y
Let p = 95 + -67. Let d = 83 + -89. Let n(w) = -w + 21. Let c be n(d). Which is bigger: c or p?
p
Let w = -114230613/1367 - -83563. Are 0 and w unequal?
True
Suppose 295 = -k + 3*v, 7*k - v + 1224 = 3*k. Let r = k - -304. Suppose -x + 4*x + 15 = 0. Which is smaller: x or r?
x
Let z = 35 + -16. Suppose -p = z - 20. Let o be 30*(-2 + (-8)/(-3)*p). Is 21 < o?
False
Let o = -1249 - -1246. Are 0 and o equal?
False
Let j(m) = m**2 + 5*m - 100. Let l be j(8). Let q(w) = w**2 - 2*w - 4. Let t be q(4). Suppose -l*k + 5*n = 108, -k - 2*n - 23 = t. Is k < -27?
False
Let v(m) = -2*m**3 - 2*m - 229. Let y be v(0). Let p be (2 - -227)*21/(-21). Is p greater than y?
False
Suppose 3*b + 32*v + 7120 = 31*v, -3*b + 3*v = 7128. Which is bigger: b or -2372?
-2372
Let b be (315/675)/((-7)/(-3)). Do -144 and b have different values?
True
Let j = 12 - 20. Suppose -8*c + 6*c = -6. Let v be (-8)/(-1 - c)*(-20)/8. Is v at least j?
True
Let s = 3 + -7. Let r = 214547/6 - 35762. Which is smaller: s or r?
r
Let c = 49 - 87. Let f = 37 + c. Let g = f + 0.74. Which is greater: 1 or g?
1
Let w(o) = 38*o**3 + 39*o**2 - 3*o + 30. Let d be w(6). Are 1 and d non-equal?
True
Let y = -969.9 + 970. Let m = 19 + -42. Let k = -20.9 - m. Is y <= k?
True
Let x = -166.9 - -164.9. Which is smaller: x or -1/11?
x
Let c = 853 - 856. Which is greater: 19.2 or c?
19.2
Let x = 0.0645 - -0.3695. Which is smaller: x or -2?
-2
Let v be -1 + 25 + (-6)/(-2). Suppose -b - 2*b = v. Let p = -20677/6 + 3438. Is b equal to p?
False
Let t = -1.73 - -0.53. Let r = t + 0. Is r not equal to 0.1?
True
Let l = 19450 + -758617/39. Let k = l + 11/6. Let q = -4 - -3. Is q equal to k?
False
Suppose 70*y - 1001196 = 186*y. Which is smaller: y or -8632?
-8632
Let u = -22.1 + 18.4. Let a = u - -3.7. Which is bigger: -38/7 or a?
a
Let k = -49.76 + -0.24. Let n = k - -49.7. Is n at least as big as 0?
False
Suppose -252 = 126*j - 9324. Which is greater: 24 or j?
j
Let m = 9 + -136. Let t = 86 + m. Let d = t + 41.1. Do d and -3.4 have different values?
True
Let p(x) = 7*x - 85. Let h be p(14). Let t(l) = 4*l**2 - 3*l**2 - 14 - 12*l + l**3 - 13*l**2. Let r be t(h). Is 1/58 <= r?
False
Let q = -7221 + 447701/62. Is 1 at least as big as q?
True
Let h be (-3 - -2) + ((-135)/(-12))/3. Suppose -5*s + 12 = 5*x - 3, 2*x - 12 = -4*s. Which is smaller: s or h?
h
Suppose -159*o + 195*o + 180 = 0. Suppose 0 = 2*i - 5 + 13. Is o equal to i?
False
Let b = 553/360 - 23417/40. Which is bigger: -585 or b?
b
Let w = 99/911 - 1621065/3644. Let s = w + 445. Which is bigger: -2/5 or s?
s
Suppose 0 = -22*v - 87 + 417. Suppose v*q + 66 = -339. Which is greater: -25 or q?
-25
Let f be 4/(-6)*(-977)/10 - 4. Let s = 2999 + -8798/3. Let y = s - f. Is 4 >= y?
False
Let z = 0.179 - 6.179. Let j = 5.7 + z. Which is smaller: 26 or j?
j
Suppose -a = o + 797, 43*a - 4*o = 45*a + 1610. Is -791 greater than a?
False
Let h be (198/27 - 7/21) + (3 - 7). Which is bigger: h or 319/92?
319/92
Let t(h) = 48*h - 16. Let i be t(4). Suppose 5*a - i = -56. Let u be (-17)/(-5) - a/(-40). Are 4 and u non-equal?
False
Let g = 2 - 2.3. Let p = -0.1 - g. Let w be (6/15 + 0)/(186/6045). Which is bigger: p or w?
w
Let n = 58591548/7 - 58298511937/6965. Let d = n + -9/199. Which is bigger: 10 or d?
d
Let g be 5 + 1385/275 - 60/10 - 4. Which is bigger: -2 or g?
g
Let j be (-10)/2 - (20 - 0)/(-5). Let c be 1*1/(-14)*-2*j. Which is greater: -2 or c?
c
Let g be (-8)/(-119) + -2*(-3)/21. Let j be (-3)/(-9)*(0 + 0/(-4)). Is g smaller than j?
False
Let o(r) = r**2 - 4*r - 7. Let s be o(5). Suppose -63 = -5*v - 68, -2*v = 5*w - 68. Let p be (w - (2 - s))/((-1)/2). Is -20 at most p?
True
Let x = -275