 = 5*n, 12*f - 2*n - 62 = 13*f. Is -62 bigger than f?
True
Let c = 778 - 838. Is -60 less than or equal to c?
True
Let b = -1022 - -1021. Is b >= 238?
False
Suppose 7*r - 14*r = 42. Which is smaller: r or 1?
r
Let v = -60 - -71. Suppose -4*b = 2*q + 15 - 39, 2*q = 3*b - v. Does 38/7 = b?
False
Let v(q) = q**3 + 25*q**2 + 24*q + 26. Let y be v(-24). Which is greater: y or -8/5?
y
Let v = -81662/195 - -1256/3. Let i = v - -4/15. Let g(p) = p - 3. Let d be g(4). Which is bigger: d or i?
d
Let o(p) = p**3 + 5*p**2 + 3*p - 5. Let x be o(-4). Let j = -260 + 257. Which is smaller: x or j?
j
Let x = 1038/7 - 1070/7. Which is smaller: 2/9 or x?
x
Suppose -v = -5*h + 375, 0 = 2*h - 4*v - 102 - 30. Is 75 >= h?
False
Let v(c) = 64*c - 129. Let r be v(2). Is r at least -56/65?
False
Suppose -3*r = -20 - 145. Suppose 115 = -r*f + 60*f. Is f at least as big as 22?
True
Let l = 419 - 379. Do -0.1 and l have different values?
True
Suppose -4*w - 135*m + 134*m - 35 = 0, 0 = w + 5*m - 15. Let h = 3 + -8. Which is bigger: h or w?
h
Suppose 306 = -3*g + 9*g. Let a = 92 + -41. Is g at least as big as a?
True
Let s be (168/70)/((-98)/(-10)). Which is smaller: -1 or s?
-1
Let i be (6/(-15))/(329/35). Suppose -2*b + f + 8 = 0, 3*f + 14 = 3*b + b. Suppose 4 = b*w - w. Are w and i non-equal?
True
Let d be (2 + 0)*39/6*-1. Which is smaller: -12 or d?
d
Let u = -34.71 - -0.71. Let s = u - -32. Which is smaller: -1 or s?
s
Let f = 325 + -580. Is -255 equal to f?
True
Let p = -346 - -422. Which is greater: -2/9 or p?
p
Let v = 79 - 17. Let q = 123/2 - v. Which is greater: q or -0.093?
-0.093
Let i = -1731 + 752983/435. Is -1 equal to i?
False
Let t = -117 - -584/5. Let q = -3 - -3. Which is smaller: q or t?
t
Let w be (-1 + 5)*426/72. Let l = 1064/45 - w. Which is smaller: 1 or l?
l
Let m(t) = 3*t - 17. Let x(g) = g - 8. Let c(s) = -3*m(s) + 7*x(s). Let p be c(-5). Suppose 0 = -3*u + 19 - 10. Is p != u?
True
Let y be (80/(-8) - -11)/(-1 + 0). Is y greater than 0.023?
False
Suppose -80*g + 75*g + 105 = 0. Suppose 60 = -5*r + 8*r. Is r bigger than g?
False
Suppose 0 = 3*f + q + 111, 0 = -16*f + 11*f - 4*q - 178. Are -38 and f nonequal?
False
Let u be -4 + (-30)/(-5) + -12. Let i(a) = -2*a - 18. Let p be i(u). Are p and 3 equal?
False
Let z(y) be the first derivative of y**3/3 - 5*y**2/2 - 2*y + 11. Let x be z(5). Is -3 equal to x?
False
Let u = -25.9 - -25.8. Is u greater than -959?
True
Suppose -k + 5*n + 2 = -27, 22 = 2*k + 2*n. Is 19 > k?
True
Let l = -7263 - -537481/74. Are 0 and l equal?
False
Let a = -6 - -14. Let p = -46 - -54. Let s = p - a. Is -0.1 equal to s?
False
Let d = 998/3 - 17056/51. Is -3 at most as big as d?
True
Let j = -66 - 18. Let n be (9856/30)/(-4) + -2. Let b = j - n. Which is greater: 0 or b?
b
Let j = 1851 - 1851.3. Let w = 3 + -1. Do j and w have different values?
True
Suppose k - 2*k = -2, 16 = 3*q + 2*k. Suppose g = -p + 3*g + 7, q*g = -4*p + 40. Let d(x) = -x + 10. Let w be d(p). Which is bigger: w or 2/5?
w
Let b be 165/(-525) - (-3)/5. Let t = -0.03 + 0.83. Is b at least t?
False
Let k(q) = -q**2 + 8*q - 6. Let y be k(7). Suppose 4 = 4*n, -2*w - 2*n + n = -y. Let d = 3503/165 + -106/5. Is d > w?
True
Let g be 1*((0 - 2) + 4). Let p = g - 3. Let l = 483 - 1448/3. Which is bigger: l or p?
l
Suppose 3*i = 2*i + 2. Let x(o) = -o**3 - 2*o**2 - 2*o + 4. Let u be x(i). Let l be (-4)/u*(1 - 0). Is 0.8 less than l?
False
Let h = -754 + 736. Which is bigger: h or 1?
1
Let d be (-3)/(-2 + (-2 - -3)). Let x(f) = f**2 + 6*f + 5. Let r be x(-6). Which is bigger: d or r?
r
Let v(f) = 9*f - 1. Let p be v(1). Suppose -16*i = -0*i - 32. Let w be ((-6)/i)/(p*1). Which is bigger: -1 or w?
w
Let w(l) = -10*l - 2. Let a be w(-2). Let p = a - 22. Is -4 greater than or equal to p?
True
Suppose 44*g + 110 = 54*g. Is g at least 2?
True
Let y(a) = 4*a + 32. Suppose 2*k + 50 = -5*f, -3*f - k - 39 + 10 = 0. Let i be y(f). Is i less than 10/9?
True
Suppose 0 = 2*b + 3*u + u - 1430, -2*b + 1418 = u. Is b bigger than 706?
True
Let n = 3 + -2. Let r = 13 + -19. Let s = r + 4. Is n > s?
True
Let z(n) = n**2 + 7*n + 15. Let q(r) = 2*r**2 + 14*r + 29. Let t(w) = 4*q(w) - 7*z(w). Let v be t(-3). Is -1/28 less than or equal to v?
False
Let r be 8/6*(-3)/10. Let y = 542 - 529.95. Let h = 12 - y. Is r less than or equal to h?
True
Let f(k) = 2*k**2 - 38*k + 125. Let v be f(14). Which is smaller: v or -9?
v
Let s be 1/5*(-10)/(-6). Is -56/3 greater than s?
False
Let a(u) = -u - 1. Let y(l) = l**3 - 3*l**2 - 2*l + 3. Let s be y(2). Let t(v) = -6*v - 11. Let g(c) = s*a(c) + t(c). Let r be g(-9). Which is greater: 2 or r?
r
Let m = -675 + 971. Are m and 892/3 unequal?
True
Let c be 4/(-5) + (-120)/1100. Let q(m) = 2*m - 50. Let v be q(24). Which is bigger: c or v?
c
Let k(g) = -g**3 + 12*g**2 - 11*g + 7. Let b be k(11). Let v be 6*(0 + (-2)/(-4)). Suppose 0 = v*o - 1 + b. Is -2 greater than or equal to o?
True
Let n be (-8)/2*(-54)/(-12). Let h be -3 - (1*n)/2. Let s be (h/(-15))/((-52)/10). Is s less than 0?
False
Suppose v = -v + 28. Suppose 5*a - 4*f = 26, -v = a + 2*a + 5*f. Suppose -2*s + 1 = -4*d - 17, -3*d - 14 = -a*s. Are 0 and s nonequal?
True
Let y = -958 + 955. Is y not equal to 11/6?
True
Let f = -253 + 95. Which is smaller: -2 or f?
f
Let s(h) = 2*h - 1. Let r be s(3). Suppose 3 = -r*z - 2. Let f be 1/(z*37/2). Which is smaller: f or 1?
f
Suppose 49*o + 45229 = 345. Is -915 bigger than o?
True
Let v be (((-1080)/117)/(-8))/(1/2). Are 2 and v equal?
False
Let k(h) = h**2 - 14*h + 62. Let j be k(20). Which is smaller: 183 or j?
j
Let q be (-2)/(-4)*(6 + 4). Is 96/17 at most as big as q?
False
Let f = -64/5 - -286/45. Which is smaller: -7 or f?
-7
Let l be -2*2*(0 - -1). Let p(h) = -2*h**2 + 159*h - 521. Let f be p(76). Which is greater: l or f?
f
Suppose 0 = -5*x + 2*u + 79, -x - 5*u + 5 = -0. Let g = 91 + -77. Which is greater: g or x?
x
Let g(h) = h**3 + 24*h**2 - 25*h + 5. Let y be g(-25). Let f be (7 - y)/((1 + -34)/(-3)). Which is smaller: -7 or f?
-7
Let t(q) = -q**2 - 5*q - 2. Let i be t(-4). Let p be 2/6*i/(-1). Let d = 133 - 133. Does p = d?
False
Let y = -13 - -18. Let i = -4 + y. Let m = -9 - -10. Is m less than i?
False
Let g(z) = z**3 - 19*z**2 + 20*z - 24. Let n be g(18). Let b be (3/n)/(54/(-120)). Is -2 bigger than b?
False
Let q = 17 - 15. Suppose 0 = 3*a + 3*a - q*a. Which is greater: a or -3/11?
a
Let r = 104 - 104. Is -5/9 >= r?
False
Let b be (1 - (-37)/4) + (-5)/20. Let m = b - 43. Are m and -33 equal?
True
Let s = 210 - 1472/7. Is 115 less than s?
False
Suppose -p + 120 = 3*v, v = -v - 2*p + 84. Suppose 43 = -4*n + v. Is -30 at least n?
False
Let o be 0*((-27)/(-25) - (-6)/(-75)). Which is bigger: -9 or o?
o
Let m(u) = -3*u**3 - 3*u**2 - u + 10. Let v(z) = z**3 + 4*z**2 - 3. Let q be v(-4). Let k be m(q). Is 68 not equal to k?
True
Suppose -c - 1 = -4. Let i be c*16/12 - 4. Which is smaller: i or -1/60?
-1/60
Let c be (-8)/286*1/(-2). Let u(y) = -4*y - 37. Let a be u(-9). Which is smaller: a or c?
a
Let x = 429/2 - 132. Let o = x - 1151/14. Let l = 83 - 497/6. Is o < l?
False
Let i = -0.07 + -0.39. Let l = -15.54 + i. Which is bigger: 1 or l?
1
Let z = -1439.01 + 1396. Let s = 43 + z. Is s greater than or equal to -1?
True
Let g = -1/1143 + 16033/35433. Is g less than 1?
True
Suppose 5*w + 12 = w - 4*v, 1 = -5*w + 2*v. Let d be ((-12)/(-3) - 38)/1. Let t be 6/9 - d/(-24). Which is greater: t or w?
t
Let b = 76 + -70. Let o(c) = -c + 9. Let a be o(b). Which is bigger: a or 7?
7
Let j be 3/(-1)*(7 + -4)/9. Is 1/90 >= j?
True
Suppose -2*z - 5 = t, -2*t + z = -5 - 0. Let d(p) = 39*p**3 - 2*p**2 - 2*p. Let k be d(-2). Let f = -2531/8 - k. Which is smaller: t or f?
f
Let w = 22/4405 - 1678789/96910. Let n = w - -35/2. Is 1 != n?
True
Let r = -1.5 + 5.5. Let f = r - 3. Let a = -3/65 + 1/5. Is a smaller than f?
True
Suppose -25 - 5 = -5*j. Suppose 20 = j*m - 2*m. Suppose -10 = m*p + 5. Which is smaller: p or -7?
-7
Let l(c) = -3*c + 36. Suppose 15*g - 13*g - 28 = 0. Let b be l(g). Is -0.3 smaller than b?
False
Let r be (1/20)/((-368)/(-80040)). Is r != 10?
True
Let h be (-2)/8 - (-13)/20. Let k be (32/20)/(-4)*(-2 + -3). Suppose 0*r + k*g = r, g = 5*r. Which is greater: h or r?
h
Let q = -0.24 - 0.06. Let n = q + 0.2. Let r = 191/56 - 25/8. Are n and r no