-32)/5 + l/(-5). Is -5 at most as big as x?
False
Let z = 481 - 196249/408. Do z and 0 have the same value?
False
Let g(f) = f**3 + 4*f**2 - 4*f + 1. Suppose 0 = -d - 4*d - 25. Let s be g(d). Let y be 30/75 + (-36)/10. Which is smaller: y or s?
s
Let g = 406 + -408.2. Which is smaller: -1/3 or g?
g
Let t = -13 + 24. Let i = -99 + 79. Let m = i + 20.2. Is t not equal to m?
True
Suppose 2*v + 7*m - 2*m + 65 = 0, -4*v - 2*m = 154. Is 2/5 at most as big as v?
False
Suppose -8*h = s - 3*h - 18, 2*h = 5*s - 9. Is -17 at most as big as s?
True
Suppose 9*x - 6*x = 24. Suppose -20 = -4*k + 5*q, 0*k - 2*k + 2*q = -x. Is 4/17 bigger than k?
True
Suppose 5 = r + 4*r. Let a be r*(1 - 3) + 1. Is -1 at most as big as a?
True
Suppose 2*t + 5*g + 1 = -t, -3*t = 3*g - 3. Let k be 2/22*58 - 2. Which is greater: t or k?
k
Let m = 459 + -392. Is m less than or equal to 77?
True
Let d = -32 - -33. Let v be (d*-5)/((-192)/24). Is v bigger than 1?
False
Let c = -6725/7 - -959. Is -2 smaller than c?
True
Suppose 1 = h - 1. Suppose -r + z = r - 8, 0 = -z - 2. Suppose -3*j - 5 = -4*c + 5, r*c + 3*j + 3 = 0. Is c equal to h?
False
Suppose 0 = -53*z + 58*z + 1610. Does z = -324?
False
Let c be -1 - 12/47*-4. Let a(k) = -k**3 - 9*k**2 + 9*k - 10. Let p be a(-10). Is p greater than c?
False
Let y = 47 - 46.59. Let m = 0.4 - y. Let k = -0.21 - m. Which is greater: -1/3 or k?
k
Let i(d) = d - 4. Let o be i(6). Suppose -2 = w - o*w - 2*l, 20 = 4*w + 2*l. Let m be 30/(-9)*w/4. Is m bigger than -5?
False
Let a be (-1 + 5 - 3 - 0) + -3. Suppose -2*n + 4 = -n. Let z be n/14 - 18/14. Which is bigger: a or z?
z
Let k = -327 + 455. Is k <= 129?
True
Let w = 30 - 31. Let y = w + 3. Is 3/4 <= y?
True
Let p(q) be the first derivative of -q**4 - q**3/3 - 3*q**2/2 - 5*q - 14. Let m be p(-2). Is 29 greater than m?
False
Let o = 0.227 + 19.633. Let z = -20 + o. Which is greater: -2/3 or z?
z
Suppose 0 = -9*d + 5*d + 16. Suppose -d*w + 2*c = -4 - 2, 3*w + 2*c = -6. Are 2 and w unequal?
True
Let x = 859 + -939. Which is bigger: -82 or x?
x
Let m = -115 + 695/6. Is m less than or equal to 0?
False
Suppose 0*o - 6*o = -6. Let a = o + 1. Which is smaller: a or 9/4?
a
Suppose -4*k = 3*p - 29, -6 + 0 = -k - p. Is k bigger than 11?
False
Let z be (-290)/8 - (-3 - -12)/(-36). Let n be (-15)/10*(44/z + 1). Which is bigger: 2 or n?
2
Let u be 8 + (1 - 10) - (-1299)/(-27). Which is bigger: u or -50?
u
Let k be 103 - 4*4/(-8). Suppose -3*n - 24 = 3*j - k, 0 = j - n - 17. Suppose 0 = r - 4 + j. Is -18 at least as big as r?
True
Let c = -179 - -250. Let p = c + -74. Which is greater: 0.03 or p?
0.03
Let i = -497.288 + 498. Which is bigger: i or -2/7?
i
Let d = -424.11 - -424. Which is smaller: d or 0.5?
d
Suppose 0 = -5*z - 13*a + 11*a + 13, 0 = -2*z + a + 7. Which is smaller: z or -49?
-49
Let p be 17209/4302 - (-24 + (2 - -26)). Is -1 greater than p?
False
Suppose 38*a + a + 39 = 0. Which is greater: -1/183 or a?
-1/183
Let g = -0.112 - 7.888. Let s = 1.96 - -0.04. Is g greater than s?
False
Let f = -1.4 + -14.6. Let c = -16.14 - f. Let j = 0.24 + c. Is -1/3 > j?
False
Let f be 13 + -10 + (-81)/28. Let l = -0.2 - -0.3. Does l = f?
False
Let w = 3316/9 - 368. Suppose 6 + 4 = z. Let m be (-9)/(-3) + z/(-5). Is m equal to w?
False
Let f be 3/(42/(-4)) - 4796/(-77). Which is smaller: f or 312/5?
f
Let l = 22 + -85. Let f = l + 62. Which is smaller: 4/19 or f?
f
Let f = 13.78 + 4.32. Let r = f - 18. Is -3/11 at least as big as r?
False
Let f = 2/5231 + 1009573/26155. Which is smaller: f or 40?
f
Let g = 103 + -40. Let s = -62.98 + g. Which is smaller: -2/7 or s?
-2/7
Let g = 1333/405 + 25/81. Let w be (3/6)/((-1)/4). Let k(y) = -3*y - 2. Let n be k(w). Is g bigger than n?
False
Let w = 13 + -9. Suppose 4*g + 3*h = w*h, h = -4*g. Is g less than or equal to 6/13?
True
Let t(l) = 9*l - 25. Let p(r) = 13*r - 38. Let a(v) = 5*p(v) - 7*t(v). Let z be a(8). Let h be (5 + -5)/(z*-2). Are h and -1/7 non-equal?
True
Let q be (-318)/212 - (-2)/5. Do -0.1 and q have different values?
True
Let a be -2*3/100*2. Suppose 3*y - 6 = -3*h + 3, y = 4*h + 3. Is a equal to h?
False
Let k(b) = 2*b**2 - 2*b. Let y be k(2). Suppose -3*a + a - 2*r = 0, 3*a = -y*r. Let p = 324 + -2587/8. Which is smaller: a or p?
a
Let n(f) = -f**2 - 15*f - 38. Let s be n(-3). Is -54 not equal to s?
True
Let o(z) = -2*z**2 - 2. Let m be o(3). Let s be (-123)/7 - 3 - (-3)/(-7). Is s at most as big as m?
True
Let a = 0.02 + 0.48. Let q = a + -0.6. Let b(j) = -j - 1. Let l be b(6). Which is smaller: q or l?
l
Let y = -12 + 28. Suppose 0 = t - 3*t - y. Which is smaller: t or -10?
-10
Suppose -29*c + 27*c + 4 = 0. Let t(n) = -8*n**2 - 39*n + 25. Let u(x) = -2*x**2 - 10*x + 6. Let o(p) = c*t(p) - 9*u(p). Let b be o(-6). Is b < -21/4?
False
Let x = -10 - -13. Which is greater: x or -18?
x
Suppose 10*b - 17 = -57. Is 102 not equal to b?
True
Let y be (10/20)/(10/(-12) + 1). Let m be (-11)/4 + y - 171/252. Suppose 0 = -0*u + u. Is u greater than or equal to m?
True
Let c = 4.21 + -5.21. Is c less than or equal to -156?
False
Let x(o) = -24*o + 23. Let j be x(1). Let m = -1076/57 + -376/19. Let c = m - -37. Which is smaller: c or j?
c
Let n(g) = -g**2 + 4*g - 3. Let w be n(3). Suppose 4*h - 6 = 14. Suppose -8 + 28 = h*d. Which is bigger: w or d?
d
Suppose -5 = r, 14*m - 12*m = -3*r - 15. Is 1/51 at least m?
True
Let r = -26.4 - -30. Let b = r + -3.59. Which is bigger: b or -1/3?
b
Suppose 0 = 4*f - 8 + 28. Let s be 2/f - (-918)/2220. Which is smaller: s or 0?
0
Let j be (-2)/(-3) + 6/(-9). Let o be (2 - (1 - j)) + 4. Let k = -2772 + 2778. Is k greater than or equal to o?
True
Suppose 10*f - 2176 = 6*f. Is f != 544?
False
Let n(z) = -z**2 - 6*z - 4. Let x be n(-4). Let l(q) = -130*q + 22 + 4 + 127*q. Let k be l(9). Which is smaller: x or k?
k
Suppose -2*y = -5*d - 7*y + 30, 20 = 4*y. Let j be 10/2*(92/(-20) + 5). Let i be (-3)/(1/(d - j)). Do 7/2 and i have the same value?
False
Suppose 0 = 4*h - 0*s - s + 8685, 3*h + 6504 = 4*s. Let t be h/(-7455) + (80/(-35) - -2). Which is smaller: 1 or t?
t
Let v = 5520/13 + -25369/52. Let q = -41753/660 - v. Is q not equal to -1?
True
Let k = 0.31 + -2.71. Let h = 1.4 + k. Which is greater: -4 or h?
h
Let r = -215.02 + 217. Let q = 0 + 0.02. Let s = q + r. Is s smaller than 0.01?
False
Let w be 2 - 0 - (5 - (-24)/(-8)). Which is smaller: w or -50?
-50
Let h = 190 - 78. Let f = h - 113.7. Which is bigger: f or -0.3?
-0.3
Let y(b) = -b**3 + 4*b**2 - 3*b + 2. Let j be y(3). Let v be (2 - 2) + j + 0. Suppose 3*r = -v*r. Is r smaller than -2/33?
False
Suppose 228 = 60*w - 64*w. Which is greater: -55 or w?
-55
Let c = 78 - 58. Let g be ((-135)/c)/((-3)/8) + -3. Which is greater: 11 or g?
g
Let a(b) = -b**3 + 5*b**2 - 4*b + 3. Suppose 5*c - 3*v - 17 = -2*v, 2*v = 3*c - 6. Let p be a(c). Let j = p + -13/4. Which is bigger: 0.2 or j?
0.2
Let c be (-10)/30*(-9)/21. Suppose -4 = -2*h, -3*h = -3*v - 5*h + 19. Suppose v*b - 2*b = 0. Which is bigger: b or c?
c
Suppose 0*q + 5*o = 5*q + 95, -o = 3*q + 57. Let m = q + 25. Let i(x) = -x + 4. Let w be i(m). Is -2/3 equal to w?
False
Let g(n) = -n**2 + 15*n - 44. Let r be g(11). Which is greater: r or -2/235?
r
Suppose 7 = -2*v - 5*j, -11 = 2*j - 5. Is v smaller than 55/16?
False
Let d be -2*-8*7/(-448). Is d less than 39.5?
True
Let l = -273 - -1095/4. Which is smaller: l or 2?
l
Let a = -56 - -52. Is 3/32 bigger than a?
True
Let r = 2.22 + 4.78. Which is smaller: r or 26?
r
Let o(j) = -j + 10. Let l be o(5). Suppose 2*z + l*g + 10 = 0, 5*z = g - 0*g + 29. Let x(b) = -b + 5. Let r be x(0). Is z less than or equal to r?
True
Let o(i) = 8*i - 59. Let k be o(8). Is -2 bigger than k?
False
Let o be (5 - 313/6) + (-4)/(-24). Is o greater than -46?
False
Let v be 601 + (-6 - -6)/(1 + 1). Which is smaller: v or 600?
600
Suppose -5*g + 3*g + 5*h = -11, -2*g + 18 = 2*h. Let p = 2 + g. Let x(d) = 2*d - 2. Let r be x(7). Which is smaller: p or r?
p
Suppose 0 = -0*j - j - 2. Let d be 3/2 - (-1)/j. Let y be 0 + 3 - 88/33. Are d and y equal?
False
Let a = -0.22 + -14.78. Let f = a - -15.03. Let q = f - 0.03. Which is smaller: q or 1?
q
Let u = -16657/3 - -4647305/837. Which is smaller: 1 or u?
u
Let z = -273 - -477. Are -0.1 and z unequal?
True
Let r(y) = -7*y**2 - 32*y - 3. Let z be r(-6). Is z < -6