t b(g) = -g**2 + 16*g - 13. Let l be b(13). Let u = l + n. Is u greater than or equal to 11?
True
Let o = 6.9 - 10.5. Let w = -14.5 - -18. Let q = o + w. Is q bigger than 4?
False
Suppose 23*s - 15*s - 368 = 0. Which is greater: 2/3 or s?
s
Let z = 45.95 + -46. Let d = 2.24 + -1.24. Which is smaller: z or d?
z
Let x = -349 + 338. Let w = 81/35 + -13/5. Is w equal to x?
False
Let t = 3 + -19. Let q be ((-4)/(-5))/(t/80). Which is smaller: -5 or q?
-5
Let j = 6 + -6. Let m = -8451/28 + 1273/4. Let x = m + -17. Is j smaller than x?
False
Suppose 3*z - 3*y + 0 + 9 = 0, 5*y = 3*z + 9. Let q = 3 + z. Let a be (-6)/4*(-4)/(-36). Does a = q?
False
Let s be 6 + -3 + 0 + 3. Let x be s/(-4)*(-8)/6. Suppose -2*y + 10 - 4 = 0. Which is smaller: x or y?
x
Let n = 2740 - 2738. Which is greater: -27.2 or n?
n
Let s = -0.3 - -0.1. Let x(y) = -3*y**3 + 2*y + 4*y**3 + 5*y**2 + 4*y. Let z be x(-4). Do z and s have different values?
True
Suppose -14 = 6*v + 16. Let i be -4*v/(-15)*12. Which is smaller: -18 or i?
-18
Let j = 6.2 + -6.2. Suppose -26*u = -18*u - 104. Is u != j?
True
Let o be ((-16)/(-18))/4 - (-24321)/27. Is 901 less than or equal to o?
True
Let s = 67.837 - 68. Which is greater: 2/7 or s?
2/7
Let d be (-1326)/7 + (-63)/(-147). Which is bigger: d or -188?
-188
Let t = 263/3 - 89. Let m(a) = 6*a + 0*a + a - a**2 - 8*a + 4. Let v be m(-3). Is t at least v?
True
Let m = 4 + -2. Let y be (m/(-3))/(2/6). Let k = 8.541 + -8.551. Which is bigger: k or y?
k
Suppose 3*j = 4*f + 211, -2*f = j - 17 - 50. Which is smaller: 64 or j?
64
Let b = 14 + -20. Let y(m) = m**2 + 6*m + 8. Let g be y(b). Suppose 0*i = i + t + g, -32 = 5*i + 3*t. Which is smaller: 0.2 or i?
i
Let f(z) = z**3 - 7*z**2 + 2*z - 9. Let j be f(7). Suppose j*r - 11 = 4. Suppose -r*q - 2*a - 2 = -a, 21 = q - 4*a. Which is smaller: 3/4 or q?
3/4
Let k = -2676.22 + 2651. Let z = k + 0.22. Is z at least -0.1?
False
Let t = 720 - 719. Let p be 1/2*2*3. Are p and t equal?
False
Suppose -23*s + 4*d + 1295 = -28*s, s + 2*d + 265 = 0. Which is smaller: -252 or s?
s
Let r = -159 + 92. Which is smaller: 0.5 or r?
r
Let x = 271 + -272. Is x less than -0.98?
True
Suppose -6*w + s - 28 = -2*w, 0 = 2*w + 3*s + 14. Let j be (-54)/21 - 4/w. Let t be 80/(-12)*j/(-16). Which is smaller: -2 or t?
-2
Let q be 0/(-1)*(-1)/(-3). Let x(u) = -u + 5. Let h be x(4). Let r be (7 - 3) + -3 - h. Do r and q have the same value?
True
Let w be 39 - (2/11 - 636/(-132)). Which is smaller: w or 33?
33
Let c = -937 + -947. Let o be c/(-21) + 4/14. Let z be ((-3)/5)/((-3)/o). Which is smaller: 17 or z?
17
Let o = 71/27 + 1/27. Let d(y) = -3*y - 12 + 5*y + 5*y - 5*y. Let u be d(7). Which is smaller: o or u?
u
Let g = 167 - 166.11. Let c = -1.19 + g. Is c less than or equal to 2?
True
Let f = -592 + 4160/7. Let l = -17 - -18. Is f at least l?
True
Let h = 837 - 1340. Is -503 smaller than h?
False
Let p be (132/18)/(4/6). Suppose -3*k + x = -p, -2*k - 3*x = -k + 3. Suppose -8*w + 4*w + 2*v = -10, 2*v - 6 = -4*w. Which is bigger: w or k?
k
Let f = 211.8 - 190.8. Is 9 > f?
False
Let n = 12/5 + -49/10. Let d be (4 - (-8)/(-4))*-1. Is d bigger than n?
True
Suppose 1 + 2 = -3*p. Which is smaller: p or 4/47?
p
Let c = -30.2 + 30.3. Which is smaller: c or -209/6?
-209/6
Let u = -8873 + 35777/4. Let w = u - 72. Let a be 62/(-155) + (-6)/10. Is a greater than or equal to w?
False
Suppose 88 = -4*v - 4*b, -8*v + 6*v = -b + 38. Is v at most as big as -29?
False
Let a = -1265 - -1266.2. Is a greater than or equal to 4.7?
False
Let v = -2411 - -2408. Let m be ((-18)/4)/((-3)/(-6)). Is m > v?
False
Suppose -3*k + 0*k + 2*x = 3, -2*x = 3*k + 3. Is k not equal to -4?
True
Let n = 469 - 468. Is 2/39 at most as big as n?
True
Let o = -146 + 729/5. Let r = 2 - 3. Let s = r + 2. Is s equal to o?
False
Let n be -9 - -3 - (1 - -1) - -1. Let j be (-3)/n - ((-22)/(-7) - 3). Are 1 and j unequal?
True
Let b = 2677/5 - 358733/670. Which is bigger: b or -1?
b
Suppose -2*f - 10*q + 7*q = 53, f - 4*q + 32 = 0. Is f greater than -26?
False
Suppose 0 = 4*p + 2*r - 10, 10*p = 5*p + 4*r + 6. Suppose p*c + 20 = 2*a + 6, -5 = -c. Let m be 2 + (1 - 0) + 10. Is m at most as big as a?
False
Let i(b) = 3*b**2 + 13*b - 70. Let m be i(8). Do m and 226 have different values?
False
Let r = -122 - -122. Are r and -1.35 non-equal?
True
Let m be (-2)/(4*(-1)/4). Are m and -15 nonequal?
True
Let c be 9 - (-9 - 876/(-49)). Is -1 at least as big as c?
False
Let c = -2.04 + 0.04. Let a = 1.8 + c. Is 7/3 greater than or equal to a?
True
Let r be 14/10 + 4/(-10). Suppose r = -2*j - 1. Let a be (-32)/(-280)*(-2)/(8/(-14)). Which is smaller: a or j?
j
Let p = -8.8 - -7.8. Which is smaller: p or 119?
p
Let f = 1.72 - 1.4. Let k = f + -0.53. Let q = k + -2.79. Is 0 bigger than q?
True
Let f = -2 - -4. Suppose 5*n - f*n = -3. Is -0.14 less than or equal to n?
False
Let m be (4 - 2) + 3*(-2)/3. Suppose t + t = m. Which is smaller: -2/45 or t?
-2/45
Let o(w) = w + 12. Let p be o(-10). Suppose -p = h - 1. Let l be h/(-52)*(-1 + 5). Which is smaller: l or 1?
l
Let r be -1 + (-24)/(-18) + (-1)/3. Which is greater: r or -2/35?
r
Let c(p) = p**3 - 29*p**2 - 3*p + 71. Let q be c(29). Suppose 68 - 13 = -5*d. Is d at least as big as q?
True
Let d be (16/(144/(-675)))/(1/2). Is -153 bigger than d?
False
Suppose 12 - 2 = 2*z. Suppose z*c - 13 = 57. Suppose -n + 0 = -15. Is c less than n?
True
Let c(w) be the second derivative of w**6/360 + w**5/20 - w**4/6 + 7*w. Let b(p) be the third derivative of c(p). Let v be b(-5). Is v equal to -5?
False
Let o(g) = 25*g**2 - g. Suppose 0 = 4*i - 4*p - 16, -4*i - 7 = 3*p - 2. Let q be o(i). Suppose 2*j - 4*h = -q, -j - 17 = -2*h - h. Which is greater: j or 0?
0
Let n = -282 + 237. Which is bigger: 0 or n?
0
Suppose 0 = -3*g + d + 73, -g - d + 0*d + 23 = 0. Let v be 4/2*((-13)/g)/13. Which is smaller: 0.2 or v?
v
Let m = 11/9 + -37/18. Is -36 greater than or equal to m?
False
Let r be 6/(-9)*(-12)/2. Let x(y) = -y**2 + 2*y. Let k be x(r). Let v(w) = 19*w - 46. Let l be v(2). Are l and k unequal?
False
Let k be -4 + (-26 - (4 + -1)). Let d be (4/10)/(-1 + 504/510). Is d greater than or equal to k?
False
Suppose -5*t + 3*c - 20 = -31, -5*t + 1 = 2*c. Which is greater: t or 10/139?
t
Let p be 6/81 - 1315/135. Is p at least as big as -9?
False
Let o(i) be the first derivative of 2*i**3/3 - 4*i**2 + 5*i + 22. Let q be o(8). Which is greater: 68 or q?
q
Let u be (2/33)/(711/180). Let i = -6/79 + u. Let f(h) = -h**2 + 3*h + 4. Let x be f(4). Which is smaller: x or i?
i
Let v be (-25)/30 + 76/84. Let k(w) = w + 4. Suppose -5*f - 10 = 10. Let i be k(f). Is v != i?
True
Let a = 13 - 8. Let m = 30 + -32. Which is greater: a or m?
a
Suppose -2*j = 2*l + 26, -2*j - 7*l - 6 = -9*l. Which is smaller: -40 or j?
-40
Let m = 3 + 4. Suppose -2*l + 3*c = -11, 0 = 4*l - 8*c + 3*c - 19. Let u be l + (3 - (0 + 4)). Is m less than u?
False
Let a be ((-112)/84)/(-1 - 130/(-6)). Let q = 1 + 4. Let r = -5 + q. Is r equal to a?
False
Let n = 8.9635 - -0.0965. Let t = n + -9. Let g = t - -0.94. Which is smaller: g or 0.02?
0.02
Suppose 4*y + f - 54 = 0, -y + f = -19 + 3. Which is smaller: y or -6?
-6
Let d = -58/5 - -1692/145. Suppose 4*i = q + 5, 4*q + 3 + 2 = i. Which is bigger: i or d?
i
Let u be (-4435)/(-17) + -6 + (-728)/(-119). Which is greater: u or 260?
u
Let f be (-1645)/6272 + 4/14. Let p = 215/3712 - f. Is p at most 1?
True
Let w = -1951 - -2292. Are w and 339 unequal?
True
Let u(m) = -2*m + 3. Let q be u(2). Let l = -26 + 25. Let r be l/4 + 56/(-32). Which is smaller: q or r?
r
Let r be (-2)/7 + (-516)/(-42) - 0. Let k be -1*5*(-3 - 1). Suppose 0 = -5*z + 40 + k. Are z and r non-equal?
False
Let d(m) = m**2 + 9*m. Let j be (-9)/1 - 0/8. Let y be d(j). Which is greater: y or 2/29?
2/29
Let o be (1 - -2) + (-8 - 1760/(-370)). Is o less than -1?
False
Let o be -6*(-3 - (1 + -3)). Let m be (-2)/o - 8/(-60). Is m smaller than 4?
True
Let h = 596 + -4166/7. Which is smaller: h or 1/3?
1/3
Let o = 31 + -17. Suppose -4*x = p + 3*p - 52, -3*x - 5*p + 35 = 0. Which is bigger: x or o?
x
Let l = -56 - -38. Let d = -3 - l. Let r = -11 + d. Which is smaller: r or -0.1?
-0.1
Suppose 7*w - 9*w + 236 = 0. Which is greater: 119 or w?
119
Let n = -2.4 + 3.4. Let f = -89.7 + 92. Are f and n non-equ