False
Let n = -0.6 + 0.4. Let d = -81/5 + 557/35. Which is greater: d or n?
n
Let x = -61 + 61.153. Let l = x - 0.053. Let z = -4 - -8. Do l and z have the same value?
False
Suppose 27*u - 26*u - 47 = 0. Let c(q) = 16*q - 2. Let y be c(3). Which is smaller: u or y?
y
Suppose 0 = 3*u - 5 - 13. Suppose -5*y + u - 11 = 0. Which is smaller: y or 2/61?
y
Let n be 7*54/3 - 0. Suppose -3*s - 4*z = 442, -3*s - n - 331 = z. Let r = 1696/11 + s. Which is greater: -0.2 or r?
r
Let j = 1243 + -1251. Is j not equal to 3/16?
True
Let q = 68 + -28. Let l = -24 - q. Let i = 43 + l. Which is smaller: i or -22?
-22
Let b(o) = -o**3 + 2*o**2 - o. Let v be b(1). Let y = 63 + -66. Let t be (412/136 + y)*6. Are v and t equal?
False
Let i(x) = -3*x + 24. Let v be i(9). Let j be (-3)/v*8/(-180). Suppose t = 5*t + 2*q, 3*t = 5*q. Which is bigger: j or t?
t
Let h = -59 - -234. Do 174 and h have different values?
True
Let d = -11 + 32. Let f = d + -17. Is f >= 2?
True
Suppose f - 4*o + 6 = 4*f, f + 3*o + 3 = 0. Suppose 7*c = 5*b + 5*c - f, -4*b = 3*c + 9. Let u be 1 - 0 - 61/59. Is u at most as big as b?
True
Let s(j) = j**2 - 10*j + 11. Let i be s(8). Is -18/5 at least as big as i?
True
Let s be 6/8 + (-9448386)/10260. Let v = -23005/228 + s. Let p = v + 1021. Are 1 and p non-equal?
True
Let l be ((-12)/1566)/((-6)/(-3)). Let d = -26314602728/22185 + 5930719/5. Let p = l + d. Is -1 bigger than p?
False
Let x be (-1)/1 - (-520)/442. Let j(i) = -3*i. Let h be j(1). Let y = h + 3. Is x > y?
True
Let c be -8*(-6)/(-20) + (-82)/(-205). Are -99 and c non-equal?
True
Let d = 769/18800 + -4/1175. Which is smaller: 0 or d?
0
Let f(g) = g**3 - 8*g**2 - 3*g - 3. Let d be f(8). Let b = d + 23. Is b bigger than -7?
True
Let k be (117/54 - (-3)/(-2))*267. Does k = 178?
True
Let t = -37.33 - -39.2. Let m = t + -2. Let h be (12/(-54))/((-4)/6). Is m not equal to h?
True
Let r = 46 + -29. Suppose 3 + r = 5*z. Which is bigger: z or -1?
z
Suppose -4*g - 92 = 3*w, -w - 114 = 3*w + g. Let o be (3/9)/((-14)/12). Is w smaller than o?
True
Let d be 1*-6*8/3. Let q(h) = -8*h**2 + 14*h. Let b be q(2). Let f be 0*b/d - 3. Which is smaller: f or -2?
f
Let z = 0.83 - 0.8. Let s(t) = t**3 + 7*t**2 - 10*t - 11. Let u be s(-8). Suppose 0 = -5*h + u*l + 10, -h - l - 2 = -0*h. Which is greater: h or z?
z
Suppose 20 = y + 21. Let s be (4/168)/(y/4). Suppose 2*k - 7 = -3*k + 4*u, 4*k + 19 = -5*u. Which is smaller: s or k?
k
Let i(s) = s**3 + 5*s**2 - 8*s - 9. Let u be i(-6). Let y be (-1 + 2)/(u/(-12)). Let x be y/(-14) + 2/(-7). Are -4/5 and x non-equal?
True
Let i be 3 + (-7 + 10)/(-1). Let f be (-4)/(-18) - (-35)/45. Let p be (-10)/35 - f/(-3). Which is smaller: i or p?
i
Let y be (-1)/84*-45 - 1/4. Which is bigger: -438 or y?
y
Let n(h) = -h**3 + 7*h**2 - 2*h - 3. Let c be n(6). Suppose -4*a + 4 - c = -5*y, -11 = y + 4*a. Let l = 25 + -27. Which is bigger: l or y?
y
Let n be 5/(15/12) + -1. Suppose -2*g - g + 2*m = -11, n*m + 10 = -2*g. Let v = 0.06 - 0.18. Which is smaller: v or g?
v
Let m = 0.196 + -0.096. Let x = 0.37 - -24.63. Which is greater: x or m?
x
Let j = -19.1 + 29.2. Let q = -1.9 - -2. Let y = q - j. Which is smaller: 2/5 or y?
y
Let a be (-35)/14 + (-12)/8. Let m = -4/1729 - 51826/19019. Which is greater: a or m?
m
Let b = -1 - -10. Suppose -b*l + 13*l = -12. Which is smaller: -0.3 or l?
l
Let b = -342.728 - -343. Which is greater: b or -1?
b
Let z = -691 - -704. Do z and 142/11 have the same value?
False
Let u be (-7 + 0 + 11)*(-6)/(-8). Let r(y) = -y**3 - 3*y**2 - y - 3. Let g be r(-3). Which is smaller: u or g?
g
Suppose 3*n - w = -145, -3*n + 2*w - 192 = n. Let v = 44 + n. Let g = -8529/1550 + 2/775. Is g bigger than v?
False
Let u be (-318)/12*(24 + -4). Which is smaller: -529 or u?
u
Let x = 10 + -13. Suppose 3*v = -24 - 0. Let c be 0 - (-4)/v - x. Is c bigger than 2?
True
Let m be (6 + 4)*(-2)/(-10). Are m and 4 non-equal?
True
Suppose 0 = 23*h - 94 + 2. Let u = -23 + 21.7. Are h and u equal?
False
Suppose 2*s + 5*t - 63 = 0, t + 198 = 5*s - 0*s. Suppose -a = -38 + s. Is -0.07 at most as big as a?
False
Let w be 40851/(-72) + -1*2. Let b = w + 568. Is b != 0?
True
Let a = 33/8 + -375/88. Let q = -10 - -10. Do q and a have different values?
True
Let i = 382.8 + -384.8. Let l = 59/7 - 4203/497. Which is bigger: l or i?
l
Let h(i) = -3*i**2 - 45*i + 1. Let k be h(-15). Suppose 3*v = 5*r - 11, -8 = 3*v - 2. Let z be (k + 2 + -2)/r. Are 5/9 and z unequal?
True
Suppose 18*h = h - 2397. Is -143 != h?
True
Let k(h) = -20 + 14*h + 9 + 9. Let y be k(1). Let o(f) = f. Let i be o(11). Which is greater: y or i?
y
Suppose -11*a + 8*a - 24 = 0. Let s = a + 11. Suppose 2*z + 3*w - 5 = 4*z, 1 = 2*z + s*w. Are z and -2 equal?
False
Let d = 0.491 - 3.491. Does d = 23?
False
Let k(w) = -w**3 + 5*w**2 - 3*w - 4. Let a = 7 + -5. Suppose 0*r - 2*r - a*s + 16 = 0, 28 = 4*r + 3*s. Let m be k(r). Which is bigger: -5 or m?
m
Suppose -14 - 86 = -4*c. Suppose f - c = 5*x - 2*f, 5*x - 5*f = -15. Let g be x/(-28) - (-5)/7. Is g equal to 11/5?
False
Let b(d) = d + 12. Let n be b(-13). Which is smaller: n or -17/8?
-17/8
Let g(c) = -c**3 + 55*c**2 - 110*c + 119. Let u be g(53). Which is greater: -92 or u?
-92
Let k = -3.86 - -4.66. Which is bigger: k or 27?
27
Let k = 7.5 - 9. Let w = 0.3 + k. Let v = -1.4 - w. Does 0.1 = v?
False
Let s = 19/7 - 71/21. Let t be 16/10 - 2 - (-3872)/(-20). Let z = t + 192. Which is greater: z or s?
s
Suppose 4*b - 3*b + 16 = 0. Let v = 11 + b. Let h(g) = 11*g + 5. Let l be h(-1). Which is bigger: v or l?
v
Let l = 11058/13 - 851. Let v = -3/26 + l. Is -1/43 >= v?
True
Suppose 5*q + 143 = -4*u + 116, 4*u + 24 = -4*q. Which is greater: -24/13 or u?
-24/13
Let b = -39.3 - -39.4. Let c be 2/((-20)/(-7)) + -2. Let s = -71/70 - c. Which is smaller: b or s?
b
Suppose -228 + 48 = 2*p. Is -91 less than p?
True
Let n(u) = -u**3 - 8*u**2 + 3*u + 5. Let q be n(-4). Is q > 0.1?
False
Let m be ((-18)/45)/((-1)/5). Suppose m*v = -3*w - 8, 6*v = 4*w + v + 3. Is w at least -2?
True
Let u be (-2 - 0)/(-4*(-5)/(-680)). Let b = u + -56. Is b greater than 12?
False
Suppose 0 = -p - 6*p + p. Suppose 0*g - g = -4*s - 23, 5*g - 3*s - 30 = p. Is g less than or equal to 13/6?
False
Suppose 3*v + 3 = -4*j + 2, -v = -j - 2. Suppose 15*g - 17*g + 16 = 0. Let s be 3/g*-2*(-1)/(-3). Is s > j?
True
Suppose 4*w - 21 = 19. Suppose -w*n + 4*n = -150. Let k = -22 + n. Which is smaller: k or 0?
0
Let x(c) = c**2 + 4*c + 4. Let l be x(-3). Let g be 275/180 - (0 - 1/4). Which is greater: l or g?
g
Let u be 4 + (6 + 2073)/9. Is 236 >= u?
True
Suppose 5*v - b = -13, 4*v + 2*b - 6 = -22. Suppose -20*j + 64 = -26 + 50. Which is bigger: j or v?
j
Let f(i) be the third derivative of -i**4/6 + 37*i**3/6 + i**2 - 7*i. Let o be f(12). Is o less than -12?
False
Let a be (-10)/8*198/90. Let s = a - 11/4. Which is smaller: s or -5?
s
Let v be ((-1)/(-1))/(1342/121 + -11). Let h be (-1122)/(-105) + 6/(-21). Which is smaller: h or v?
h
Suppose 9*c - 6 = 6*c. Is 1.5 <= c?
True
Let y be ((-2)/(-1))/(6/12). Suppose 82 = 16*d - 14. Are y and d unequal?
True
Let z = -79 - -121. Let s = 42 - z. Which is greater: 50 or s?
50
Let c(d) = d**3 - 9*d**2 + 8*d + 3. Let v be c(8). Let s be 108/66 - (v - 2). Is 0 bigger than s?
False
Let i be 30/(-2)*20/(-30). Suppose 5*l + 2*d = i, -4*d = 2*l - d - 4. Suppose 3*q - l = v - 3, 5*v = -10. Is -1 less than q?
False
Suppose -5*t = g + 80, 2*t = -3*g + t - 310. Is g > -114?
True
Suppose -3*j - n = j - 9, 10 = 4*j + 2*n. Let b(x) = x**2 + 8*x + 11. Let w be b(-7). Let t be w + 1*(3 + -7). Which is smaller: t or j?
t
Let h = 8 - 6. Suppose 0 = 2*c - 3*c - h. Let g = -15/4 + 59/20. Is c != g?
True
Let s be (6/9)/((-1)/(-3)). Suppose -s*w - 4*j = -20, -4*w + 2*j + 28 = 8. Which is bigger: 3 or w?
w
Suppose 5690 - 19010 = 72*d. Which is smaller: -2/7 or d?
d
Let l be 0 + (-1073)/77 + 9 + -9. Let k = l + 153/11. Which is bigger: k or -1?
k
Let x be ((2/8)/((-6)/(-72)))/(-3). Let p be 6/(-267) + 0/1. Which is smaller: p or x?
x
Suppose 4*z - 556 = -4*l, l + 79 = 2*z - 190. Is 135 at least as big as z?
False
Let g = -832 + 691. Is -142 not equal to g?
True
Let o = 772531/317 + -2437. Which is bigger: o or 0?
o
Suppose -192 - 208 = -8*j. Let o = j - 70. Which is smaller: -21 or o?
-21
Let z(r) = -r - 8. L