is bigger: -57/7 or c?
c
Let o = -4897/866203 - 3/2897. Suppose -134 = 9*j - 125. Which is greater: o or j?
o
Let u = -1.3 - 38.7. Let f = 39 + u. Are f and 7 equal?
False
Let k(i) = 2*i**3 + 9*i**2 - 10*i - 31. Let n be k(-8). Is -399 < n?
False
Let i be 9 + 4 + -8 + 1. Is i > 6?
False
Let m = 71 - 70.97. Let b = 13.9 - 15. Let u = b - -0.1. Is m at least as big as u?
True
Let q = 3113/489744 - -2/3401. Are 2/3 and q equal?
False
Let m(o) = o**2 + 17*o + 3. Let l be m(-7). Let u be 1 - 5 - l/16. Is u greater than 0?
True
Let j be (0 + 4/3)/(15/(-45)). Suppose -3*z = -z + 42. Let w be (-11)/44 + z/j. Which is bigger: 1/3 or w?
w
Let w be 2/11 + 1513/(-8602). Which is smaller: 0 or w?
0
Let a = -2.62 + -12.03. Let j = 2.29 - 2.64. Let w = a + j. Is 1 < w?
False
Let w = -401 + 1999/5. Suppose -z + l - 10 = -2*l, 0 = -3*z + l + 2. Let u be (-2)/(-4)*z*-1. Which is smaller: u or w?
w
Let g = 395 - 394. Which is greater: 2/59 or g?
g
Let p = -2 + 2. Suppose 2*h - 4*m = 10, -h - 9 = -p*h + 5*m. Let i = -4 + 6. Is h at most i?
True
Let i(j) = j**2 + 18*j. Let z be i(-18). Which is smaller: -9/16 or z?
-9/16
Suppose 2*y + 5*y + 140 = 0. Let a = 21 + y. Let n = -73/4 + 39/2. Is n > a?
True
Let u = -27.942 + -0.058. Let k = u - -39. Which is smaller: 1/2 or k?
1/2
Suppose -3*k + 270 - 273 = 0. Is 56 > k?
True
Let v be (-878)/294 - (-21)/7. Let o be ((-1)/5 - 1) + (-13)/(-65). Which is smaller: v or o?
o
Let w = 203132/19 - 10696. Let b = w + 3258/665. Is -1 > b?
False
Suppose 4*u - u = 3. Let v(h) = -7*h**2 - h. Let w be v(u). Let x = w + 22/3. Are 0.8 and x unequal?
True
Suppose 3*f - 25 = -7. Let y be -2 - -1 - 10/f. Let u = -418 + 415. Which is smaller: u or y?
u
Let z = -8 - -8. Let t = 506 - 493. Which is greater: z or t?
t
Let z be 0 - (-4 - -3) - 2. Let h be 6/(-45)*(-10)/(1 - z). Which is greater: -1/8 or h?
h
Let s be (91/(-39))/((-1)/3). Suppose -s*u = -2*u. Suppose -k - 4*d = k - 6, -3*d = 3*k - 6. Are k and u equal?
False
Let n be (-2 - (0 - 1)) + 21. Suppose 0 = 7*a - 2*a - n. Is 4 smaller than a?
False
Suppose 40*u = 47*u - 7. Is 10/63 > u?
False
Suppose -z + 5 + 13 = 0. Suppose 28*n = 34*n - 102. Is z <= n?
False
Let x = -3 + 2.7. Let f = -108/317 - -749/1268. Which is greater: x or f?
f
Suppose 0 = 2*z - 1 + 7. Suppose 0 - 4 = x, 11 = 3*u - 5*x. Is u smaller than z?
False
Let v = 20 + -16. Suppose -k + v*t = 2*k + 120, 0 = 2*k - 4*t + 84. Is -36 greater than k?
False
Let z = 19.2 - 21.62. Let o = 0.02 - z. Let a = -2.4 + o. Is 1/4 greater than or equal to a?
True
Suppose 6*w + 151 + 47 = 0. Which is smaller: w or -31?
w
Let x(w) = 60*w + 113. Let z be x(6). Do z and 472 have different values?
True
Let n = 138 + -150.7. Let x = n + -3.3. Let c = x + 15. Is c >= -27?
True
Suppose 31*k = 109*k - 156. Let r be 5/4*(-8)/(-14). Is r at least as big as k?
False
Let j be (-1)/4 + 17/4. Suppose -45 = 8*t + 139. Let d = 29 + t. Is j greater than or equal to d?
False
Suppose 51*f = -f + 5980. Is f not equal to -0.1?
True
Let o(q) = q**3 + 20*q**2 + 52*q + 45. Let w be o(-15). Is 390 < w?
False
Let b be (1/6)/(1/57). Let i = -53/6 + b. Are 53 and i equal?
False
Suppose -3*n - 3*z - 33 = 0, -16*n - 3 = -13*n - 3*z. Let r(s) = s**2 - 7*s + 4. Let w be r(5). Is n at most w?
True
Let g = 257 + -257.04. Is g less than -17?
False
Let y(u) = u**3 + 7*u**2 - 2*u - 5. Let s be y(-7). Let k = -9 + s. Let m be (-16)/(-30) - (-3)/(-9). Which is bigger: k or m?
m
Suppose -24*r + 21*r = 5*y - 23, -r - y = -5. Is r equal to 2/451?
False
Suppose -3*k + 2*o = -0*k - 72, -5*o = -5*k + 125. Suppose -4*n = -y - 2*y - 23, -n + 4*y + k = 0. Let g be (10/20)/(-4 + n). Which is smaller: -5 or g?
-5
Suppose 0 = 4*q + 5*b - 2*b + 745, 5*q - 2*b = -937. Which is smaller: 0 or q?
q
Let d be (-12)/(-21) - (-15)/35. Which is smaller: -3/79 or d?
-3/79
Let q be (-7)/2*(3 - 40/14). Let w = 0.8 + -0.4. Which is greater: q or w?
w
Suppose 7 = y + 2*s, 0*s - 9 = -y - 4*s. Suppose 3*p - y*p - 2 = 0. Is -1/26 bigger than p?
True
Let v = 126 + -211. Let n = v - -43. Let k be 6/(-9) + (-22)/n. Is k at most as big as 1?
True
Let j be 2/32*(1 + 7 + -4). Which is greater: j or 16?
16
Let c(a) = -a**3 - 20*a**2 - 33*a + 54. Let r be c(-18). Which is smaller: r or -7?
-7
Suppose -d - 3*y = -538, -2*y - 296 = d - 837. Which is bigger: d or 548?
548
Let n = -781/6 - -391/3. Which is smaller: 0.1 or n?
0.1
Let s = -5 + 6. Let z be 6/9 - 47/3. Let x be (-1 - 0) + (-9)/z. Which is greater: x or s?
s
Let l = 20174438/15 + -1344425. Let k = l + -537. Is 1 > k?
True
Suppose -427*o = -428*o + 15. Let n(f) = f**2 - 13*f - 11. Let v be n(o). Is 35/2 smaller than v?
True
Let n = 0.21 - 0.11. Let h = 0.2 - 1.3. Let g = n + h. Which is smaller: g or -0.04?
g
Let x(h) = 2*h + 5. Let y be 3 - 1/((-4)/12). Let t be x(y). Is t bigger than 15?
True
Let x = -1/9067 - -11306551/18134. Which is smaller: x or 625?
x
Let a(r) = -16*r + 12. Let o(z) = z. Let x(u) = a(u) + 20*o(u). Let v be x(-3). Does -2/69 = v?
False
Suppose 5*t + 3*f + 2*f + 800 = 0, -3*t + 4*f - 508 = 0. Does -164 = t?
True
Let u be (-45)/((-247)/(-130) + (-6)/15). Is -280/9 smaller than u?
True
Suppose -4*h = -2*l + 5*l + 4, 3*h + 3 = l. Which is smaller: 95/6 or l?
l
Let t(w) = -16*w**2 - 1. Let u be t(1). Let j(p) be the first derivative of p**2/2 + 16*p - 4. Let i be j(u). Are i and 1 non-equal?
True
Suppose y + 104*w = 109*w + 26, 4 = 2*y - 2*w. Let s = -8 - -3. Is s >= y?
False
Suppose 5*v + 5*a = 40, -a - 15 - 1 = -5*v. Suppose 34 = -v*q + 46. Is q smaller than 13/5?
False
Let w = 2834 + -2823. Is 0.043 at most w?
True
Let u be (135 - (4 - 3)) + 8/4. Let z be (-6)/3 + u/32. Which is greater: 1/2 or z?
z
Let r = -237 - -247. Which is smaller: r or 11?
r
Suppose 27*b = 292 + 1355. Is 61 < b?
False
Let v = -0.528 - -0.49. Let c = v - 0.062. Which is smaller: c or -0.3?
-0.3
Suppose 5*h = -16 + 86. Let b(d) = 4*d - 62. Let a be b(h). Is a <= -3?
True
Let z be (-88)/(-396) + (-968)/(-18). Which is smaller: 5 or z?
5
Let b = -4 - -6. Let f be (3 - -1 - -15)*b. Suppose -3*y - 11 = -f. Which is greater: y or 10?
10
Suppose -7*i + 8 = -13. Suppose 0 = -i*s - s - 92. Is -24 bigger than s?
False
Let n be (-88)/(-246) - (-5)/(-15). Let t = -1602.1 - -1602. Is t >= n?
False
Let x = 7 - -6. Let b be -1*x/(-6) - 2. Let j be (4/(-4))/((-7)/7). Which is smaller: j or b?
b
Let h(n) = -n**3 + 9*n**2 - 17*n + 31. Let y be h(7). Let p(d) = -3*d - 12. Let w be p(-6). Is w > y?
False
Suppose 3*t + 47 = 32. Is -13 greater than t?
False
Let j be (-1)/(-5) + (3784/9660)/(-2). Do 1 and j have the same value?
False
Let g be (-1)/(1 + -2 - 0). Let m(p) = -2*p**3 - p**2 + p - 1. Let y be m(g). Let f be -1 + y + 1 - -3. Is f equal to 2?
False
Suppose 0 = -91*j + 18*j + 1460. Which is smaller: j or 21?
j
Let q(k) = -2*k**2 + 130*k - 2. Let r be q(65). Which is bigger: r or -48/17?
r
Suppose x - 15 = -18. Let b = -3 - x. Which is greater: b or -1/118?
b
Suppose 2*f = k - 14, -27 = 4*f - 7. Suppose -k = -p + 2*p. Let v = -1253 - -1251. Which is bigger: v or p?
v
Let b = -296 - -4438/15. Let p(c) be the third derivative of -c**6/120 - 7*c**5/30 - c**4/24 - 13*c**3/6 + 14*c**2. Let q be p(-14). Which is bigger: q or b?
q
Let i = 2.9 - 3. Let b = 7475/2 - 3664. Let s = -76 + b. Is s at least as big as i?
False
Suppose -s + 3 - 2 = 0, 5*z - 16 = -s. Suppose -16 = -4*b, z*v - b + 1 = -0*b. Is v != 1?
False
Let p(a) = -a**2 - 7*a - 6. Suppose -18 = 5*z - 2*z. Let c be p(z). Suppose c = 4*s - s. Is 0 bigger than s?
False
Let a = 11 - 3. Let t = a + -9.6. Let h = -3.6 - t. Which is bigger: -0.1 or h?
-0.1
Suppose 2790 = -104*m + 99*m. Is -559 greater than m?
False
Let g(d) = -d**3 - d**2 + 26. Suppose 2*x - 6*x = 0. Let j be g(x). Suppose -j + 82 = -4*a. Is -25/2 bigger than a?
True
Let x = -6 - -8. Let b be (-2)/(-4) - -2 - 2/8. Which is smaller: b or x?
x
Suppose -2 = 14*t + 26. Which is greater: t or 3?
3
Let a = 1/3515 - 101967/112480. Does -2 = a?
False
Let x = 298/39 - 56684/7449. Is x at least -1?
True
Let g = 507 - 507.2. Which is bigger: g or -1/3?
g
Let l be ((-3)/(-2))/(2/12). Suppose 2*q + 7 = l*q. Is q less than or equal to -1/30?
False
Suppose 2*w = 0, -p + 2*w + 1 = 6*w. Let l = 109 + -44. Let x be (39/l)/((-11)/(-5)). Is p < x?
False
Let z(s) = -4*s**2 - 10*s -