et u = -0.2 - 4.8. Let a = u - -5. Let l be (-475)/30 + (-16)/96. Is a bigger than l?
True
Suppose 176939 + 313909 = 236*r + 149592. Is r less than 1446?
False
Let j(f) = -2*f**3 + 39*f**2 + 46*f + 348. Let o be j(21). Is -16/7 bigger than o?
True
Suppose 0 = 7*y - 2782 + 8088. Which is bigger: -751 or y?
-751
Suppose 42*x - 40*x = 74. Suppose l - 4*b - 3 = 0, 3*l + 2*b - x = -2*l. Suppose -1 = -k + 5. Is l less than or equal to k?
False
Let s = -2.297 - -2.865. Which is smaller: s or 0.2?
0.2
Let v = 0 + 0. Let o = v + 20. Suppose 241*h = 6868 - 2289. Which is greater: o or h?
o
Let d = -198 - -202. Suppose 3*q + d*n = -5 - 5, 0 = -q - 3*n + 5. Let j be (22/(-4) - -1)*2. Is q < j?
True
Let i = -34.8247 + -0.1553. Let j = 35 + i. Let v = 25 + -27. Which is smaller: v or j?
v
Let s be (-57 + 17)*(-1)/(-2). Let g = 15 + s. Let o be (-2)/(-3) + ((-55)/(-3))/g. Is 0 at most as big as o?
False
Let n = 3/3160 + 291507/3160. Which is smaller: 93 or n?
n
Let b = 7 - 5. Let m be 4*(3/b - 2). Let u be 0/((-11)/55*5). Which is smaller: u or m?
m
Let r be (-14)/(-4)*(-28)/(-49). Suppose -r*y - 3*k = k - 28, -2*y = k - 25. Let f be 632/(-28) - y/28. Which is greater: -22 or f?
-22
Let o be 2/(-3) - 76/12. Let x be (9/2)/(-9) - 74/(-4). Suppose -x*h = -16*h + 22. Which is bigger: o or h?
o
Let b = -21 - -51. Let i be (-12)/b - 148/5. Let n = i - -30. Which is smaller: n or -4/5?
-4/5
Suppose -1690 + 52 = -63*j. Is -8 at least as big as j?
False
Let u(n) = 2*n**3. Let d(b) = -11*b**3 - 15*b**2 - b + 82. Let k(c) = d(c) + 5*u(c). Let p be k(-14). Which is smaller: p or 0.1?
p
Suppose -200*h = -87*h - 37403. Is h less than -12?
False
Let j = -0.5 + -1.5. Let n = -6832 - -27523/4. Let q = n + -49. Which is greater: q or j?
q
Suppose 69*x - 25*x + 88 = 0. Are x and -282 non-equal?
True
Let d(b) = b + 5. Let f be d(-1). Let i be (f - 45/10)*0. Is i smaller than -2/19?
False
Suppose -s - 3*q = -0*s - 2, 2*q - 20 = 4*s. Let h be (s + (-14)/3)/((-2)/(-15)). Does h = -63?
False
Suppose 0 = 8*t + 8*t - 96. Suppose 0 = -o - 3*v - 18, -t*o - 80 = -o + 5*v. Is -12 not equal to o?
True
Let l = -1 - 0. Let s = -220363 + 10797769/49. Which is smaller: l or s?
l
Let g(a) = 20 + 16*a - 24 - 2*a**3 + 25*a**2 - 36. Let i be g(13). Is 2/655 bigger than i?
True
Let q(v) = 14096*v**3 - 26*v**2 - 4*v + 4. Let n be q(1). Which is bigger: n or 14071?
14071
Let p = -57 - -54. Let j be (-28)/(-12) - 2/p. Let m(x) = -x**2 - 8*x - 6. Let i be m(-7). Is i less than or equal to j?
True
Let c = 2109 - 2047.72. Let p = c - 61.3. Which is bigger: p or -7?
p
Suppose -65*b = -67*b. Suppose d - 5 = -d - q, b = 2*q - 10. Let f be -1 + 1/(-64)*-74. Is d < f?
True
Let o = -6942 - -6952. Is o less than or equal to -1406?
False
Suppose 0 = -4*q - 4*i - 4432, 43*i + 4427 = -4*q + 44*i. Which is bigger: -1106 or q?
-1106
Let j = -4522 - 728. Are -5252 and j equal?
False
Let q = 0.979 + 432.021. Let a = q - 439. Let n = -5/6 - -3/2. Do n and a have the same value?
False
Let l = 0.0471 - 4.2171. Let q = l + 4.2. Let x = -65/3 + 64/3. Is q bigger than x?
True
Let g = -3173 + 15977/5. Suppose -5*q + 135 = 4*w, -17*q + 13*q - 2*w + 102 = 0. Which is bigger: g or q?
q
Let l(w) be the first derivative of -w**3/3 + 29*w**2 - 161*w - 92. Let g be l(49). Is -1 at least as big as g?
False
Let a(k) = 2*k**3 + 104*k**2 - 575*k + 133. Let s be a(-57). Let p = -119/6 + 39/2. Is s equal to p?
False
Let w(t) = t**3 - 8*t**2 - 6*t - 7. Let s = -236 - -245. Let a be w(s). Do a and 21 have the same value?
False
Let c = 419 - 460.4. Let p = -40 - c. Let n = -1.4 + p. Is n < -2?
False
Let w = 26902 + -26904. Let t be ((-8)/(-12))/((-2)/6). Let q be ((-2)/10)/(1/t). Which is bigger: q or w?
q
Suppose -5*d + 759 = -371. Let s = -231 + d. Is -9 at least s?
False
Let f = 1841 + -1856. Are f and 0.322 non-equal?
True
Let r be 13 + 2*(-44174)/6799. Is -1 less than r?
True
Suppose -30*z - 46*z - 120*z = 4704. Is z smaller than 0?
True
Let o = 4988 - 5538. Is o less than or equal to -6?
True
Let z = -87 - -86. Suppose 107 - 17 = 3*r. Let d be (r/45)/((-298)/6). Is z < d?
True
Let y(v) = -v - 12. Let i be y(-13). Let c(m) = -62 + 10*m - 6*m - 8*m + 21. Let f be c(-10). Which is smaller: i or f?
f
Let o = 1924 + -1646. Is o != 6?
True
Suppose -1162*r - 989106 = 239*r. Let d(x) = -19*x**2 - 5*x + 7. Let j be d(6). Which is smaller: r or j?
j
Suppose 2*z = -2*b + 4, 348*z - 351*z + 9 = 0. Which is smaller: 5/249 or b?
b
Let x(y) = 3*y**2 + 5 + 5 - 3 - 10 - 2*y**2. Suppose -z + 5 - 3 = 0. Let g be x(z). Which is greater: g or 1/38?
g
Suppose -201*p = -168*p + 4620. Is -418/3 >= p?
True
Let t be 5 + (3 - -251)*(-18)/60. Let k be 30/60 + (435/2)/(-3). Which is greater: t or k?
t
Let x = -2762/119 - -380/17. Suppose 0 = 5*u + 2*d - 54 + 3, -3*u = 5*d - 42. Let a be (-4)/3 + 3/u. Which is greater: x or a?
x
Let i = 0.367 + -0.3531. Is i <= -4?
False
Let y = -88 + 143. Let r = 0.01751 - 0.11751. Which is smaller: y or r?
r
Let h(y) = 3*y + 17. Let w(n) = -5*n + 3. Let v = 14 + -12. Let s be w(v). Let a be h(s). Is -3 not equal to a?
True
Let l = -1678 - -1677. Let m = -22.49 - 0.01. Do l and m have the same value?
False
Let v = -4/391 + 2833/9384. Let r = 57/101 - 153/808. Let x = v - r. Do 0 and x have the same value?
False
Suppose 54 = -2*l + 2*g + 388, 12 = 3*g. Suppose -178*a + l*a + 203 = 0. Which is bigger: a or 27?
a
Let r = 1/14832 + -1360837/14832. Does -91 = r?
False
Let p be (0 - -2) + 2274/(-1083). Let f = 8966/82669 + p. Suppose 0 = -2*r - 4*i - 4, 387*r - i = 383*r + 1. Is r greater than or equal to f?
False
Let u be ((-3 - 59)/(-1))/1. Let l(p) = 909*p - 3577. Let a be l(4). Which is smaller: u or a?
a
Let t = -1892 + 1681. Is t bigger than -194?
False
Let k be 6/(-62)*8/(-300). Let v = -2810 - -2809. Is k >= v?
True
Let r = -570493 - -3980936/7. Is r greater than -1788?
True
Let v = 1897/12 + -158. Let t = -5/12 + v. Suppose 17*c = 1685 - 1940. Is t smaller than c?
False
Let d = -0.001 - -0.001. Let n be (10 - 5) + (-3 - 2680/1370). Do d and n have the same value?
False
Let z be (315/30)/(6/(-8)). Let g be (6/(-12))/(z/6). Suppose h = 4*p + 4, -h - 2 = -3*p - 5. Is g < h?
False
Let i = 32009 + -31990.0218. Let d = i - 0.0582. Let j = -0.08 - d. Is j at least -0.2?
False
Suppose 0*j + 4*t - 40 = -5*j, 3*t - 3 = 3*j. Suppose -3*u + j*c + 16 = 0, -u = -3*u - 2*c + 6. Suppose u = n + 3*n. Which is smaller: -1/32 or n?
-1/32
Let l(t) = t**3 - 2*t**2 + 356. Let p be l(0). Let a be (-3 - (-328)/96)*32/20. Is a > p?
False
Let t(l) = -186*l**2 - 33*l + 106. Let d be t(3). Let y be 2*-1 + 28289/(-17). Let p = y - d. Which is greater: p or 0?
p
Let d(g) = g**2 + 22*g + 12. Let r(z) = -z**2 - 21*z - 14. Let n(y) = -5*d(y) - 4*r(y). Let o be n(-27). Which is smaller: -26 or o?
o
Let y be -3 - (0 + -8 - (49 - 115)). Is -60 less than y?
False
Let x = -1957/4 - -1951/4. Which is smaller: x or -31.5?
-31.5
Let q be 3*((-591)/6*408/10030 - -4). Which is smaller: q or -13?
-13
Let d be 13 + -1 + 2 + -7 + (-855)/70. Which is bigger: d or -5?
-5
Let r = 94 - 302. Let m = r + 208. Let i = 4426/11 + -402. Is m < i?
True
Let j be 1/((410/(-12))/(-5)). Let v be 18/30 + 16/40. Is j > v?
False
Let l be 48/8*(-64)/(-12). Let f be (l/(-7) + 5)*49/(-602). Is 0 > f?
True
Let x = -0.4 - -6.4. Suppose -7*n + 272 = 62. Let j = n - 35. Is x bigger than j?
True
Suppose -14*d = -10*d. Suppose 0 = v - c + 1, d = -4*v + 6*c - 11*c - 49. Let g be (-48)/(-22) - v/(-33). Is -6 greater than or equal to g?
False
Let x(r) = r**3 - 4*r**2 + 2*r - 4. Let p be x(4). Let f be (1/p)/((-18)/54). Is f < -7?
False
Suppose -3*f - 32050 = -4*v, -196*v = -201*v + f + 40057. Which is greater: v or 8013?
8013
Suppose -16*n = -5*n + 22. Let m be n/13 + (-17)/(-26). Let q = 8 + -6. Which is greater: m or q?
q
Suppose 9*t + 552 = 5*t. Let i be (-28)/(-35)*(-8 - (-987)/(-6)). Is t at least as big as i?
True
Let m(j) be the second derivative of 16*j + 0 - 23/2*j**2 + 1/2*j**3. Let q be m(11). Which is bigger: -1 or q?
q
Suppose -11*w - 231*w - 25410 = 0. Is -107 at most as big as w?
True
Let c = -2.74 + 207.74. Let v = c - 205.2. Is v at least as big as 0.08?
False
Let k(o) = 4*o**2 - 8*o - 26. Let d(l) = -8*l**2 + 18*l + 53. Let i(r) = -3*d(r) - 7*k(r). Let u be i(-3). Is u greater