1/73 not equal to u?
True
Suppose -5*c + 2*i - 97 + 300 = 0, -i = -3*c + 121. Is c equal to 40?
False
Let k(y) = -y**3 + 7*y**2 + 3*y - 8. Let a be k(7). Let l = -5 + a. Suppose -2*q - l = -3*q. Are q and 6 equal?
False
Let x = -0.06 + -0.02. Let h = -169/4 - -42. Are h and x nonequal?
True
Let q(w) = -4*w + 11. Let b be q(4). Are -21/5 and b equal?
False
Let d be 5/(-12)*(-168)/(-12). Which is greater: -7 or d?
d
Let w = -633 + 520. Are -113 and w unequal?
False
Let o(q) = -7*q - 21. Let s be o(-4). Are 7 and s non-equal?
False
Let d = -334/19 - 1267/76. Which is bigger: -35 or d?
d
Let n be 12*(216/(-32) + 6). Which is bigger: -8 or n?
-8
Let k = -418 - -687. Which is bigger: k or 268?
k
Let n = -1684 - -1318. Which is smaller: 0.1 or n?
n
Let r = -20.95 - -20.95. Is -2/71 smaller than r?
True
Let r = -40/571 + 209877/4568. Let h = 46 - r. Let f(c) = c**2 - 4*c - 4. Let i be f(5). Which is smaller: h or i?
h
Let u(x) = 0*x - 19 - 7*x + 4. Let s(o) = 3*o + 8. Let k(l) = 5*s(l) + 2*u(l). Let f be k(-10). Are f and 1 unequal?
True
Let k = -2.7 + 1.6. Let v = -64.84 + 64. Let z = v - -0.74. Is k at most as big as z?
True
Let a(f) = -f**2 - 2*f - 3. Let d be a(-2). Let o(u) = u + 5. Let s be o(d). Let r = -87 - -86. Which is greater: r or s?
s
Suppose 18812 = 98*x - 72230. Which is smaller: x or 928?
928
Let m = 0.063 + -2.963. Let f = -3 - m. Is -25 greater than f?
False
Let d = -6121 + 1364985/223. Are d and -1 non-equal?
True
Let d be (2 - 11)*1/(-3). Suppose 0 = 4*m - d - 17. Is m at most as big as 6?
True
Let f(o) = o**2 + o + 2. Let a be f(-3). Let p(g) = 80*g + 650. Let h be p(-8). Which is smaller: h or a?
a
Let p = -31/15 + 12/5. Is 0.075 less than or equal to p?
True
Let m = -9.2 + 11. Let w = -5.93 - -4.93. Is w greater than m?
False
Suppose -18 = -4*t + 2. Suppose -2*s = 5*s - 210. Let v be ((-12)/s)/(1/t). Which is smaller: v or -3?
-3
Let x(f) = -f**3 - 36*f**2 - 39*f - 73. Let t be x(-35). Is 66 less than t?
True
Let v be (2 - -4)*(-928)/174. Is -31 at least v?
True
Suppose 2*w = -8*w + 80. Let p be w + -6 + (-26)/16. Is p >= 0.6?
False
Let a be (2 - 1) + (-143)/195. Let j be 3*(-85)/60 - -4. Which is bigger: j or a?
a
Let q = -49.947 - 0.053. Let z = -25 - 3. Let g = z - q. Does 1/3 = g?
False
Let t be (-10 + (-3)/1)/(-1). Let f = -2 + t. Suppose -5*w + 10 = -4*w. Which is smaller: f or w?
w
Let l = -733.01 + 732. Which is smaller: l or 2?
l
Let y be ((-2)/12)/(4/(-9)). Let j(w) = 3*w**3 - 4*w**2 + 4*w - 1. Let h be j(3). Let z be 64/h + 1/(-7). Is y less than z?
True
Let z = -248669/936 - 3680/117. Let l = -296 - z. Which is bigger: l or 2?
2
Let j be (-65)/20 + (-5)/(-4). Are j and 4 equal?
False
Suppose -r = 3*b + 12, 2*r - 2*b = -2*r + 8. Are 15/29 and r nonequal?
True
Let v be (10/25)/((-12)/45). Let c = -7/4 - v. Let i = -11 + 10. Which is smaller: i or c?
i
Let h = -2 + 2.7. Let r = -49 - -29. Let w = r + 18. Is w != h?
True
Suppose 2 = 3*k - 10. Let s be 4/(-32)*16/(2/(-1)). Which is bigger: k or s?
k
Suppose -14*q = -5*q - 216. Let g(i) = -i**3 - 7*i**2 - 6*i + 4. Let n be g(-6). Suppose -c = z - 3, n - q = -5*z. Which is smaller: c or 0.1?
c
Let y(w) be the third derivative of 5*w**4/12 + 5*w**3 - 14*w**2. Let r be y(-7). Which is smaller: -41 or r?
-41
Let i(n) = n + 9. Let o be i(-7). Suppose -2*r + 77 - 17 = 0. Let c be (-20)/r - 1/3. Is c at most as big as o?
True
Let v = 577 + -322. Let y be (-2)/(-8) - v/(-20). Suppose 0 = 9*p - y*p. Is p at least 1?
False
Let j = 26/625 - 3151/78750. Do j and 1 have the same value?
False
Let m be ((-2)/(-3))/((-16)/(-72)). Suppose -12 = 4*z + 3*g + m, 5*z - 2*g = -13. Let s(t) = t**3 + t**2 - 5*t - 3. Let v be s(z). Is v < -4?
True
Let z = -10.4 + 10.4. Let h = -408/5 + 82. Which is bigger: z or h?
h
Let w(g) = g**3 - 7*g**2 - g + 10. Let m be (2 + (-45)/12)*-4. Let k be w(m). Suppose -k = -5*q - 103. Which is smaller: q or -21?
-21
Let z(s) = -6*s + 169. Let d be z(26). Which is bigger: d or 20?
20
Suppose -5*l + m = -2*m - 37, 0 = -4*l + m + 24. Suppose 2*h - 12 = 4*x + 5*h, 50 = -5*x + l*h. Let y be -4 + 4 + x/(-111). Is y less than or equal to -1?
False
Let c = -369.9 - -370. Are c and -0.101 equal?
False
Let u be ((19 - 60)/(-205))/(1 + 34/(-32)). Let b(w) = -w**3 - 4*w**2 + 6*w + 2. Let c be b(-5). Is u greater than c?
False
Suppose 2*h - 12 = -0*h. Let f be 828/135 - 8/60. Is h < f?
False
Let t be (-4)/(-10) + 247/95. Suppose -q = 3*f + 6, -8 + 2 = 3*q + t*f. Are 2/35 and q non-equal?
True
Let h = 3015/13 - 232. Suppose -s = -0 - 1. Which is bigger: h or s?
s
Let k = -35 - -20. Let r = k + 18. Let u be ((-4)/(-14))/(r/14). Is 1 smaller than u?
True
Let m(f) = f**3 + 4*f**2 + 5*f + 5. Suppose -2*x = -5*j - x - 12, 0 = -j + 5*x + 12. Let u be m(j). Is 1/7 not equal to u?
True
Suppose -4*k = -0*k + 240. Let v = 33 + k. Let y = -107/4 - v. Are -1 and y equal?
False
Suppose 19*n = 26*n + 161. Is n less than or equal to -24?
False
Let r(f) = -f**2 - 6*f + 11. Let d be r(-8). Let j be (-1)/2 + 36/8 + d. Which is smaller: j or 2/7?
j
Suppose -4*b = 2*u - 22, -3*b = 3*u - 20 - 4. Suppose -4*z - 24 = 4*j, 0 = 3*z + 4*j - 2*j + 17. Let m be b/2 + 10/z. Is m > 4?
False
Let m be (144/(-405))/((-1)/5). Let p = -134 + 137. Which is greater: m or p?
p
Let u = 9 + -10. Let b = -4898 - -1160828/237. Is b greater than or equal to u?
True
Let a = -113 - -563/5. Is -2 bigger than a?
False
Let s be -1*(-4 - 1) - (-25 + 24). Suppose 156 = s*h - 120. Is h at most 0?
False
Let g be (-150)/39 + 4 + 750/(-3185). Which is smaller: g or 2/23?
g
Let d = 3 + -2. Let f = 5 + d. Let x = f + -2. Is 0.1 not equal to x?
True
Let o = -2073 - -2074. Do -421 and o have different values?
True
Let u(w) = w**2 + 5*w + 3. Let q be u(-1). Is 3/1655 less than or equal to q?
False
Let v be ((-46)/46)/(1 - (-44)/30). Which is bigger: 1 or v?
1
Let g = 32 + -27. Let x be 10/g - (-2 - -889). Let k = x + 16821/19. Which is greater: k or 1?
1
Let i = -11 - -20. Let d(t) = -10*t - 1. Let r(h) = h**3 - 4*h**2 - 6*h + 4. Let x be r(5). Let a be d(x). Is i at least as big as a?
True
Let u = -43 + 29. Let x = 21 + u. Let h = -1 - 0. Which is bigger: x or h?
x
Suppose 12*u + 7 = -41. Let k = 6.12 + -0.22. Let i = -6 + k. Which is greater: u or i?
i
Let y = -21/22 - 17/11. Is y less than or equal to -2/7?
True
Suppose 24*h = 26*h - n + 622, 942 = -3*h - 3*n. Which is bigger: h or -311?
-311
Let q(h) = 8*h + 9. Let a(f) = 56*f + 64. Let n(j) = -3*a(j) + 20*q(j). Let v be n(-2). Is v not equal to 7?
True
Let k = 3186.6 + -3187. Suppose -5*x + 8 = 3. Which is bigger: x or k?
x
Let r = -124.2255 - -0.2255. Is r at least 0?
False
Let y = -1696 - -1716.91. Let h = y + -21. Let v = h - 0.31. Which is smaller: -0.1 or v?
v
Let p be -1 - (-7 - -3) - -42. Suppose -4*s - p = -9*s. Which is smaller: 10 or s?
s
Suppose 14 = -5*o + 3*f, 2*o + 2*f = -14 + 18. Is o greater than 5/37?
False
Let b be 5*(9 - (-651)/(-35)). Is -42 smaller than b?
False
Let i be -5 + 2/(212/522). Which is bigger: i or -1?
i
Let d(u) = -170*u**2 + u + 1. Let b be d(-2). Which is smaller: -680 or b?
b
Let i be 22/33*3*-6. Which is smaller: 20 or i?
i
Let w be 0*(28/(-8))/(-7). Suppose -9*v + 3*v = w. Suppose -2*a - 9 = g, -2*g - 2*a = a + 13. Which is greater: g or v?
g
Let f = 60 + -60.2. Is 35/3 greater than f?
True
Let z(g) = g**2 - 46*g + 520. Let v be z(26). Let d = 42 - 4327/103. Which is smaller: d or v?
d
Let a be 1 - (5 + -2 + -1). Let b be 1/a - (-3 + 0). Let q = -223 - -225. Is q bigger than b?
False
Suppose -2*y = -0*y + 12. Let a(k) = 4*k + 7. Let f be a(-5). Let x be ((-1)/(-7))/(f/(-91)). Which is greater: y or x?
x
Let c = 100 - 20. Suppose -5*f = -5*w - c, -f - 1 = -2*f - 4*w. Let n = -14 + f. Is 2 equal to n?
False
Suppose -3*v = -a + 21, 3 = -v + 6. Is 31 >= a?
True
Suppose -c - 21 = -s, -c + 12*s = 10*s + 23. Which is smaller: c or -58/3?
-58/3
Suppose 0 = 4*u, 4*d - 8*d = -3*u - 12. Which is smaller: d or 97?
d
Let r = -8.2 + -6. Let y = 1.2 + r. Let i be 4/(-10) + (-22)/(-30). Is i smaller than y?
False
Suppose -709*r = -712*r - 1434. Is r greater than or equal to -477?
False
Let d = 0.8 + 10.2. Let o = 0.2 + -10.8. Let m = o + d. Which is greater: -0.1 or m?
m
Let l = 23.9 - 23. Let f = -1.3 + l. Suppose -4*y - 5*o + 25 = 0, -7*y + 2*y - 20 =