 i and 3 have the same value?
False
Suppose -4*b = 5*w + 12, -4*b + 8 = 4*w + 20. Let i = 1 - b. Let l be (-11)/(-44) - 1/i. Which is smaller: -2/31 or l?
-2/31
Let g(a) = 50 + 3*a**2 - 4*a**2 - 37 - 11*a. Let k be g(-13). Do k and -14 have the same value?
False
Let y be (2/(-44))/(5 + (-6017)/1188). Which is greater: 2 or y?
2
Let v be 4 - 5/(-135)*-87. Is 1 at most as big as v?
False
Let d = -50474/445 - -566/5. Is -1 greater than d?
False
Suppose -3614 - 7736 = 25*m. Is -454 > m?
False
Let h = 11478/175 + -458/7. Which is smaller: -1 or h?
-1
Suppose 0 = -2*m + 4*m - 5*h + 137, -5*h = -3*m - 203. Let s = m - -67. Are s and 0.1 unequal?
True
Let j be 4/4 + 3*9. Suppose -266 = -16*q + 182. Is j at least q?
True
Suppose -6*m + 40 = -32. Let f = m - 11. Suppose -c = 2*a - 2, -6*c = -3*c - 3*a + 3. Are f and c non-equal?
True
Let n = 121 + -359. Do n and -238 have different values?
False
Let v be 13/(65/10) + 13. Are v and 9 nonequal?
True
Let g(v) = 6*v**2 - 33*v - 4. Let j be g(9). Is 185 at least as big as j?
True
Suppose 1800 = -25*z + 21*z. Is -450 at least as big as z?
True
Let a = 3.05 - -0.05. Let z = -3 + a. Which is smaller: 60 or z?
z
Let a = -256/979 - 1/89. Let b(i) = i - 3. Let p be b(7). Suppose w = p*w. Which is greater: a or w?
w
Let u = 52 - 48. Let w be u/4*(-1)/(-1). Is w <= 4/25?
False
Let h(t) = -15*t**2 + 2. Let g be h(1). Let c(y) = y**3 - 6*y**2 - y - 3. Let j be c(7). Suppose f - j = 3*o, -5*o + 4*f - 63 = 3*f. Which is greater: g or o?
o
Suppose -20*j + 161 = 1. Suppose 0 = -3*z + 5*m - 16, -5*z + 2*m - 48 - 4 = 0. Let w be z/(4 - j) + 0. Is 5 < w?
False
Suppose -2*q - f + 3*f - 32 = 0, -2*q = -f + 32. Is q greater than -16?
False
Let m = -299 - -326. Do 30 and m have different values?
True
Let m = -1 + 4. Suppose m*g - g - 10 = 0. Let o = 8 - 10. Which is smaller: o or g?
o
Suppose c = 3*j - c + 1, 4*j + 2*c - 22 = 0. Suppose -7 = -2*l + 5*i, j*i + i = 4. Does l = 7?
False
Suppose 0 = -3*z + 3*h + 126, 12*z - 8*z + 4*h - 144 = 0. Does z = 119/3?
False
Let l(y) = -y - 5. Let r be l(-9). Suppose -r*c - 320 = -8*c. Suppose -3*h - c = 2*h. Do -16 and h have different values?
False
Let g = 80 + -157/2. Is g greater than 8?
False
Let h = 24 + -8. Suppose h = 3*s + s. Suppose 0 = -0*t + 4*t + s. Which is greater: t or -3/11?
-3/11
Let q(d) = 6*d**2 + 4*d + 3. Let l be q(-1). Suppose 2*c - 4*u - 4 = 6*c, l = -c - 2*u. Is c bigger than -3?
True
Let x(b) = b + 8. Let c be x(-5). Let y(p) = -1 - 2 + 2*p**2 - 8*p + 10 - p**c + 4*p**2. Let i be y(5). Which is smaller: i or -6?
i
Let h = -2635 - -5513/2. Let s = -121 + h. Which is smaller: 1 or s?
s
Suppose -6*h = -2*h - 16. Let o be 2 - -1 - (-4)/(-1). Let p be 0 - (-4 + 5)*o. Which is smaller: p or h?
p
Suppose -4*m - 3*r - 1195 = 0, 19*r - 21*r = -6. Is -301 <= m?
True
Let s(q) = -2*q**2 + 16*q + 3. Let r be s(8). Let j be 4 - (143*(-3)/(-63) - r). Which is smaller: -1 or j?
-1
Let i(z) be the third derivative of 3*z**2 + 0*z + 0 - 1/2*z**3 + 1/24*z**4. Let r be i(5). Which is smaller: 1 or r?
1
Let v = 168/37 - 4320/1147. Are 2 and v equal?
False
Let p = -3.06 + 3. Let n = 4.09 - -203.91. Let l = -209 + n. Does l = p?
False
Let x = 7114/7 + -1330290/1309. Which is smaller: -1 or x?
-1
Let d be ((-18)/15)/((-6)/(-80)). Let m be 0 + (-812)/d - (-1)/4. Is m greater than 50?
True
Let k = 10519070/679 + -15492. Which is bigger: k or 1?
1
Let s be (-18)/10 + 4/(-20). Let b(v) = -v**3 + 2*v**2 - 3*v + 3. Let g be b(6). Let u be 4/14 - g/(-189). Is s bigger than u?
False
Let r be ((-6)/(-10))/(7/35). Let f be 4 - r*57/9. Is -16 less than f?
True
Let f(g) = 4*g**2 + 20*g - 14. Let z be 12/(-9)*((-28)/(-8) - -1). Let t be f(z). Which is greater: t or 8?
t
Let w = -2427/7 + 372. Is 24 at most w?
True
Let q = 160 - 111. Let t = 50 - q. Which is bigger: t or 13?
13
Let m = 117 + -116.887. Let n = -2.887 - m. Is -11 less than n?
True
Let t be 10/(((-16)/780)/(28/(-70))). Are t and 195 nonequal?
False
Let o be 8/(-4 + 8) + (-1 - 1). Which is smaller: -34/41 or o?
-34/41
Let z(f) = -8*f**2 + f. Let y be z(-1). Suppose -7*w - 34 = -104. Let q = w + y. Is 2/31 < q?
True
Let o = 145 + -161. Let p be (-3)/(-9) - 20/6. Is o < p?
True
Suppose 0 = 2*d + d. Suppose -4*c = -d*c - 16. Let x(b) = b**2 + b - 7. Let r be x(-4). Which is smaller: c or r?
c
Let p = -46/5 + 38/5. Is p <= -3?
False
Let y(i) = -i**3 - 17*i**2 + 6. Let c be y(-17). Suppose 3*q + 2*k - c = 7, 2*k = 10. Which is smaller: q or 3/7?
3/7
Let o = 20 - 16. Let m be 3*(2 - (-3 + o)). Suppose 0 = -4*b + 4, m*b - 2 - 5 = -4*c. Which is greater: c or -1/4?
c
Let k be (-20)/(-5) + 36/(-10). Let w be 1 + (2/(-7) - (-5)/(-7)). Are k and w nonequal?
True
Suppose -5*y + 0*y = -85. Suppose 3*d - y = 2*b, 0*b + 3*b = d - 36. Let g(f) = -5*f**2 + f + 6. Let a be g(2). Which is greater: b or a?
a
Let z = -563.43 - -606.6. Let f = z + -0.17. Let r = f - 65. Which is smaller: r or 1?
r
Let p be 6 - (-66)/(-4) - -3 - -8. Is p at most -632?
False
Let p be 3/(7 - (-132)/(-24)). Let l(x) be the first derivative of -x**3/3 + 2*x**2 + 1. Let q be l(4). Is p greater than or equal to q?
True
Let l = 6.57 + -6.5. Let x = -1.04 + -0.16. Let n = 0.2 + x. Which is greater: n or l?
l
Suppose 7 - 32 = -5*l. Let c be ((-25)/2)/l*2. Is -4 < c?
False
Suppose 0 = 4*a - 4*o - 648, 7*a + 2*o = 6*a + 150. Which is greater: 156 or a?
a
Suppose -3*w + 85 = -4*p, -5*p + 6*w - 3*w - 110 = 0. Let z = p - -203/8. Which is smaller: z or 0?
0
Let q(s) = s**2 - 20*s + 20. Let y be q(18). Let n = -0.03 + 0.03. Which is bigger: n or y?
n
Suppose 0 = 6*t - 5*t - 2. Suppose q = 3*f + 1 + t, -3 = -q + 4*f. Which is smaller: q or -2?
-2
Let z be (-3 - 0)*((-1138)/(-6) - -2). Let o be (30/z)/(1*2/(-5)). Is 1 smaller than o?
False
Let x = -2 - -7. Suppose 0 = x*o - 9 - 6. Let c be 1*2/o*-3. Is c bigger than -4?
True
Let x = 753 + -759.98. Let p = x + -0.02. Let v = p + 7.2. Is v less than -0.2?
False
Suppose 16 = -y - 3*y. Let p = 0.234 - -0.166. Which is smaller: p or y?
y
Suppose -2*n = 4*a - 28, a + 5*n - 30 = -a. Suppose 0 = -a*m + 5*f + 15, 2*m = 4*m + 3*f - 26. Which is smaller: m or 9?
m
Suppose m = 2*p + 5, -p + 2*m - 6 = -2*m. Which is smaller: p or -9?
-9
Let x be (-282)/9*(0 - (-41)/(-3)). Let p = x - 429. Which is bigger: p or -2?
p
Suppose -55 = -5*n + t, -5*n - 5*t - 8 = -33. Is 93/10 less than or equal to n?
True
Let k(o) = 0 + 2 - o - 4. Let y = 18 - 19. Let f be k(y). Is f > -2/11?
False
Let b = 2 - 2. Let s = 21.1 + -19.8. Is b at most s?
True
Suppose 3*u = 6 + 12. Suppose -u*w = -w - 2*j - 73, 4*j = 4*w - 56. Suppose g = -13*g + 182. Are w and g nonequal?
True
Let s(j) = -j**3 + 3*j**2 - 2*j. Let b be s(0). Which is bigger: b or 8/23?
8/23
Let b = -0.154 - 25.846. Is 0.1 less than or equal to b?
False
Let i = -273 - -324. Which is smaller: 53 or i?
i
Suppose 0 = -5*g - 2*g - 35. Which is bigger: g or -10?
g
Let m = 1/98 - -55/98. Suppose -4*h + 5*h + 16 = 0. Let d be (-6)/(-21) - h/42. Is d greater than m?
True
Let y be (11615/26 + 2)/(-61 + -2). Let k = y + 99/14. Is k greater than 1?
False
Suppose -1 - 25 = 13*r. Let v(b) = -b**3 + 9*b**2 - 6*b - 11. Let a be v(8). Suppose -l - a = -3. Are r and l equal?
True
Let y be 2 + 1414/132 + 6/(-11). Which is smaller: 11 or y?
11
Let j be (76/57)/((-4)/21). Which is bigger: 5 or j?
5
Let h = -91 - -98. Does 7 = h?
True
Let h = 159 + -158.9. Let z(c) = 4*c**3 - c**2 - 2*c - 3. Let y be z(-2). Is h bigger than y?
True
Let s = -3907 - -3232. Is -674 smaller than s?
False
Let y be ((-4)/3)/4*33. Let o(w) = w**3 + 10*w**2 - 12*w - 7. Let m be o(y). Which is smaller: 3 or m?
3
Let r(o) = 7*o + 3*o - 3*o + 3 - 3*o. Let h(v) = -17*v - 11. Let b(n) = 2*h(n) + 9*r(n). Let a be b(-5). Is -5 bigger than a?
False
Let u be 2/(-5)*(-10 + 600/56). Let y be 4 + -20 - 3*-1. Is u smaller than y?
False
Let b be ((-210)/224)/(188/(-88) + 2). Which is greater: 7 or b?
7
Let x(m) = 5*m**3 - 1. Let r be x(-1). Let g(n) = -n**3 - 6*n**2 + 5. Let f be g(r). Suppose -f*a + 2 = c, 2*a + 8 = -3*a + 4*c. Which is smaller: -4/3 or a?
-4/3
Suppose -o + 2*g = 157, -841 = 5*o + g + 3*g. Let k = -46 - -32. Let p be 4/k*(-11)/o. Is -1 greater than p?
False
Let g be 0 + (-548)/(-276) + -2. Which is smaller: g or 0?
g
Let q be ((-3)/(-48))/((-3352)/(-560) - 