 = 4*w - 7*q - 1. Suppose 2*a + 2*f + 38 = 0, 0*a - 64 = w*a + f. Let h = 21 - 36. Are h and a equal?
True
Let o be 21/(-14) + 2*(-283)/4. Let a = o - -140. Is a > -3?
False
Let j be 16/2 - 0*(-3)/15. Is 11 smaller than j?
False
Let w(a) = 25*a**3 + 3*a**2 + 3*a. Let l be w(-2). Which is greater: -193 or l?
-193
Let z = 12.1 - -37.9. Let d = -51 + z. Let c = -9.5 + -0.5. Is d <= c?
False
Let z = 80 + -117. Let q = -36 - z. Which is greater: 28 or q?
28
Let l be (-17 - 4/2) + -111 + 105. Which is bigger: -28 or l?
l
Suppose -14*i + 5*i - 1035 = 0. Which is bigger: -116 or i?
i
Let o = 2 + -3. Let f = 1.02 + 0.97. Let h = f + -2. Which is smaller: h or o?
o
Let s(h) be the third derivative of h**5/60 + h**4/12 - h**3/2 + h**2. Let g be s(2). Suppose -c + g = -9. Are 14 and c non-equal?
False
Let c(m) = m**3 + 7*m**2 - m - 5. Let b be c(-7). Let z = 23 + -18. Suppose -z*g - b = -12. Do 7/4 and g have the same value?
False
Let u be -1 + ((-379)/(-3))/((-7917)/(-63)). Do 1 and u have the same value?
False
Let m = 0.17 + 0.14. Let v = m - 8.31. Is 0 smaller than v?
False
Let w be 45/(2 + (-208)/97). Suppose -b + 187 + 125 = 0. Let c = w + b. Do c and 0 have the same value?
False
Let f = 19 - 10. Let l = f - 17. Let s = l + 7. Is s > -2/3?
False
Let l(j) = j**3 - 10*j**2 + 20*j - 32. Let f be l(8). Which is bigger: f or -1/677?
f
Let z = 14 - -12. Let g = z + -49. Which is greater: 1 or g?
1
Let d = 10151/180 - 282/5. Is 1 bigger than d?
True
Let x = 745/3888 + -3/16. Which is smaller: 1 or x?
x
Let i = -1055 + 1035. Let u(v) be the third derivative of -v**5/20 + v**4/12 + v**3/6 - 2*v**2. Let h be u(3). Are h and i equal?
True
Suppose 0 = 3*k + 6*w - 2*w - 718, 2*k + 4*w - 476 = 0. Is 243 greater than or equal to k?
True
Let b = 121.073 + -121. Which is greater: b or 0?
b
Suppose 13*v = 9*v + 48. Let j be 15/v*(-12)/(-10). Is 3/8 != j?
True
Suppose 17*k - 671 - 1301 = 0. Is k != 116?
False
Let y = 0.308 - 6.978. Let v = y - 1.33. Do 1/2 and v have the same value?
False
Let r(m) = -2*m**3 - m**2 - m. Let c be r(-1). Let k be 1/(-9)*c + 7900/(-90). Is k not equal to -88?
False
Let n = -57 - 80. Is 0 at most n?
False
Let g be (-4)/2222*(-3454)/(-33). Let u = 2/303 + g. Do u and 0 have the same value?
False
Suppose 637 = 9*d - 173. Which is greater: 92 or d?
92
Let a = 1471/39 + -70/13. Is 32 at least a?
False
Let q be (-3)/((11/(-8))/(1/(-396))). Which is bigger: q or -1?
q
Suppose -3*c = 7*c - 980. Are c and 100 equal?
False
Let a(t) = -7*t**2 - 3*t - 2. Let w be -1*(0 - -2 - 0). Let j be a(w). Let l be (-2)/j*-3*-4. Is l > -3?
True
Let t = -32 + 34. Let b(g) = -3 + 7 - g**t + g**3 + 8*g + 9*g**2. Let a be b(-7). Which is smaller: a or -4?
-4
Let q = 52.1 - -1.9. Let d = q - 54.1. Is 29 not equal to d?
True
Let d be (-6)/(-8)*-6*2. Let j = 1/2026 + -125619/14182. Do d and j have different values?
True
Suppose -2*j - 4 = -5*g, 0 = 4*j - 0*g - g + 8. Let c = 0.8 + -0.1. Which is bigger: j or c?
c
Let d(u) = 18*u - 8*u - 3*u + 3 - 4*u. Let h be d(3). Suppose 36 = 3*g - z - 3*z, -2*g = 3*z - 24. Is g at most as big as h?
True
Let g be -18*(8/(-28) - 34/28). Is g > 20?
True
Let w = 7555 + -45473/6. Is w at most as big as -24?
False
Let a(i) = -i**2 - 4*i + 1. Let c(f) = 3*f**3 - 2*f**2 - 3*f - 2. Suppose 4*j = 5*r + 1, 3*r - 5*j = 4*r + 6. Let x be c(r). Let p be a(x). Is 2 greater than p?
True
Suppose -2430 = 4*l + 2*l. Let c be (36/l)/(1/(-22)). Let g = c + -14/9. Which is greater: 0 or g?
g
Let v be 118/(-5)*1190/28. Is -1004 <= v?
True
Suppose -13*y - 7080 = -8*y. Is -1415 <= y?
False
Let a = 66 + -4. Let k = a + -62.6. Is k equal to -1?
False
Suppose k = -3*k. Let b be 6/2 - (8 + 5). Let r be (b/(-15))/((-32)/30). Is r less than k?
True
Let u be (-4)/(-6)*(-35)/70. Which is bigger: -56/3 or u?
u
Let k(p) = p**3 + 5*p**2 + 3*p - 19. Let l be k(-7). Is l >= -138?
True
Let l(i) = -8 + 0 - 6 + 3 - i. Let p be l(-12). Let f = 9212/313053 + -2/4537. Is f less than or equal to p?
True
Suppose 4 = 3*m - 5. Let n be (0 + 3)/(m/2). Let c(w) = 2*w - 58. Let h be c(28). Which is smaller: n or h?
h
Suppose -28 = -7*h + 3*h. Suppose -4*l + h = -0*l - 5*x, 2*l - x = 5. Let s = 0 - -2. Is l equal to s?
False
Let g = 297489/131 + -2271. Which is bigger: g or 0?
0
Let l be ((-6)/4)/(9/(-12)). Let g be l - (-4 - (-248)/42). Is 2/9 not equal to g?
True
Let h = 6.68 - 6.78. Which is bigger: 0.0516 or h?
0.0516
Let q = 438 - 441. Which is greater: q or -11?
q
Let m be (-124)/315 - (-1)/2. Let h be (-3)/(2025/(-6))*20. Let r = m - h. Is 0 equal to r?
False
Let s be ((-1)/1)/(8/(-32)). Suppose -2*t + 2 = 2. Suppose t = -s*h + h. Is h at least as big as -1/24?
True
Let s = -16.41 - -0.41. Let c = s + 16.3. Let z = 0.04 + 0.16. Which is smaller: c or z?
z
Let g(m) = -m**2 - 2*m - 3. Let i be g(11). Let j be 2*i/20 - (-2)/(-5). Is -15 less than j?
False
Let r be (10 + 138/(-12))*2. Let p(c) = c**3 + 4*c**2 + 3*c - 2. Let o be p(-3). Which is smaller: o or r?
r
Let b(z) = -2*z - 15. Let i be b(-10). Suppose -2*x = 3*v - 0 - 11, -3*v + 23 = i*x. Which is smaller: v or 18/13?
v
Let q(f) = f**3 - 6*f**2 + 4*f - 4. Let b be q(5). Let n = b - -44. Is 34 != n?
True
Suppose -285 = -3*m - 4*w, 4*m - w - 393 = -2*w. Let y = 60 - m. Which is greater: -37 or y?
-37
Suppose 0*z - 5*r = 2*z - 11, 5*r - 20 = -5*z. Let n be (z - 0)*-1 + -4. Let g(x) = -2*x - 14. Let m be g(n). Is m at least as big as -1/13?
True
Let o be (-4)/18 + (-4)/63. Let b = 167.093 + -167. Let s = 0.023 - b. Which is smaller: o or s?
o
Let s = -606 - -605.913. Is -0.7 less than s?
True
Let v = 1 - 0. Let d be (v/(-3))/((-70)/6). Is d greater than 0?
True
Let s = -0.292 + -0.028. Let x = -14.22 + 14. Let c = s - x. Which is greater: -0.23 or c?
c
Let z(q) = -7*q**3 - q**2. Let g(x) = -x**2 - 4*x - 4. Let l be g(-3). Let i be z(l). Let v = 17 + -12. Which is smaller: v or i?
v
Let i be ((-20)/250)/((-2)/(-10))*-55. Suppose -5*c = -s + 7, 2*s - 2 = c - 3*c. Suppose 3*y = 3*g + 78, -s*y = -5*y - 5*g + 38. Is y less than i?
True
Let j(a) be the first derivative of -a**2 - 11*a + 11. Let w be j(-8). Let k = w - -8. Which is smaller: 14 or k?
k
Suppose -56 = -4*k - 5*f, -13*k + 5*f + 28 = -11*k. Let q(j) = j + 2. Let r be q(0). Which is smaller: k or r?
r
Let f = -66.27 + 66. Let x = 0.3 + f. Is 1/3 smaller than x?
False
Let x(u) = u - 9. Let h = 21 - 8. Let k be x(h). Suppose 3*b + b = -5*g - 29, -k*b = -4*g - 16. Do -6 and g have the same value?
False
Suppose -3*o = 4*v - 2018, 0 = 23*o - 18*o + 3*v - 3356. Is 670 <= o?
True
Let t(i) = -i**2 - 3*i + 1. Let h be t(-5). Let m be 1*(-6)/h*-12. Let w be 2 - (-4)/18*m. Which is bigger: w or 1?
1
Let d = 54.08 + -55. Let r = -2.78 + d. Let g = r - -1.7. Which is bigger: 1 or g?
1
Let z be 8/(-36) - (-107659)/(-15885) - -7. Which is smaller: z or -1?
-1
Let c be -1 - (-1 - -1 - -4). Let y be (-512)/(-70) + ((-48)/(-20) - 2). Let b = 71/21 - y. Is c greater than b?
False
Let t(j) = j**3 - 13*j**2 + 3*j - 2. Let s be t(13). Which is smaller: 71/2 or s?
71/2
Let g(b) = -b**2 + 12*b - 30. Let v be g(6). Let n be v/(-8) + (8 - 7). Which is greater: -1 or n?
n
Suppose -4*j - 5 = -3*j. Let y be j - (-2)/((-6)/(-15)). Is -62 >= y?
False
Let t be (-6)/(-21) - 5/((-175)/(-360)). Suppose -m - 25 = -6*m. Let z = t + m. Which is bigger: z or -3?
-3
Let j be (-1 + 1/(-4))*-4. Let y = 15027 + -15024. Which is bigger: y or j?
j
Let d(f) = f**3 + 2*f - 1. Let l be d(1). Let r be -6 + 116/16 + l/(-8). Is 52 <= r?
False
Suppose 7*m - 64 + 29 = 0. Which is bigger: 42/11 or m?
m
Let h be (-180)/(-22) + -2 + 60/33. Suppose 22 = -v + h. Which is smaller: v or -71/5?
-71/5
Suppose 5*n + 5*g + 23 - 8 = 0, 21 = -n + 5*g. Let z(k) = -k**3 - 6*k**2 + 2*k + 8. Let c be z(n). Is c equal to 6?
False
Let r be (-82)/(-26) - 3 - (-60)/(-52). Which is smaller: r or -8/163?
r
Suppose 4*k - 3*o - 57 = 88, 2*k - 3*o = 77. Which is greater: k or 33?
k
Let s be 0/((-1)/(-1) + -2). Let q = 157 - -23. Let o be (-3)/((q/8)/(-5)). Which is greater: o or s?
o
Suppose -x - 34 = x + 4*s, 5*x + 5*s + 105 = 0. Let t be 2/(6 - 4)*49. Let w = -75 + t. Which is bigger: x or w?
x
Suppose -834*l = -829*l - 5. Is l greater than 27?
False
Let b = 11 - -17. Let h = 22 - b. Which is bigger: -1 or h?
-1
Let w = 0 + 7. Suppose -4*r + 2