-5*m - 18. Let g(c) = -2*c**3 + 2*c**2 + 2*c - 4. Let j be g(2). Let u be k(j). Is u <= 21?
False
Let v = 104 - 103.9. Which is greater: -8/5 or v?
v
Let b = -132 + 137. Suppose -24 = 4*h + 4*x, -33 - 3 = h - b*x. Which is smaller: h or -2?
h
Suppose 5*r + 3*b = 25, -3 - 7 = 5*r - 4*b. Let y = -8 + 13. Suppose -2*f + 0 + 6 = 2*j, 3*j = -y*f + 17. Is j <= r?
True
Let o be -1 + 1*(-4 + 1). Which is greater: 3 or o?
3
Let o = 0.062 + -10.062. Which is smaller: o or 5/3?
o
Let t be 6/9 - (-46)/(-36). Let s = -2/117 - 1/26. Let j = t + s. Is j < 2/3?
True
Let u(i) = i**2 + 4*i - 4. Let v be (3 - (-30)/(-3))*1. Let t be u(v). Suppose a = -3*a + x - t, -4*a - 35 = 5*x. Which is bigger: -4 or a?
-4
Let v(q) = -q**2 + q + 1. Let f(x) = -x**3 - 15*x**2 - x + 22. Let u(k) = f(k) + 4*v(k). Let s be u(-19). Let i = s + 16. Is -15 smaller than i?
False
Let c be 303/1272 - (-2)/(-16). Which is greater: -1 or c?
c
Let h(f) = f**3 + 8*f**2 + 16*f + 5. Let r be h(-5). Let q = 1823/24 + -76. Which is smaller: r or q?
q
Let v = 5674/93 + -61. Which is smaller: v or -1?
-1
Let w(k) = 4*k - 28. Let g(d) = -3*d + 19. Let l(c) = 7*g(c) + 5*w(c). Let r be l(-8). Let v be 1/((27/(-15))/(-1)). Is r smaller than v?
False
Let k = -192.8 - -193. Let u be 1/2 + 14/(-44). Is u less than k?
True
Let s = -363 - -363.08. Is -15 at most as big as s?
True
Let p = -36 + 107. Which is smaller: p or 70?
70
Suppose -14*x = 16*x. Is x less than -5/62?
False
Suppose 0 = l + 3*o - 81, -2*l + 162 = -0*o - 2*o. Let y be ((-6)/8)/(l/120). Let t(g) = -2*g**3 + 4*g**2 + 2*g - 4. Let d be t(2). Which is smaller: d or y?
y
Let a = 93 + -60. Let s = 32.9 - a. Which is greater: -3/53 or s?
-3/53
Suppose 2*j - 125 = 3*w, 0*w - w + 3*j - 37 = 0. Let a = -3706 + 3662. Which is smaller: w or a?
a
Let f be 5/(-3) + (-4)/(-6). Let n = -0.21 + 9.21. Let h = n - 19. Does f = h?
False
Let u = 10.35 + -3.35. Which is greater: 15 or u?
15
Let n(h) = -h**2 + 12*h - 36. Let l be n(9). Is l at least as big as -9?
True
Let f = 4335 - 897343/207. Is -1/4 > f?
False
Suppose 0 = -6*z + 19*z - 39. Suppose -z*k + 22 = 2*w - w, -2*w - 5*k = -40. Which is greater: 0 or w?
w
Let t = -2063 + 4123/2. Let w = 0 - 0.2. Let z = -0.3 - w. Is z >= t?
True
Suppose 4*i = i + 3. Let d be 18/(-108) + 10814/(-60). Let f = d + 181. Is f != i?
True
Let n be -3 + 2 - 1/(-3). Let l = -395 + 393. Which is smaller: l or n?
l
Let j be (-4)/(-14) + (-59)/((-2891)/(-38724)). Which is bigger: -791 or j?
j
Let a(k) = 12*k**3 + 3*k**2 + 6*k + 3. Let s be a(-2). Let x = s - -163. Do x and 69 have different values?
True
Suppose -b - 128 = 2*s, -2*s - 170 + 36 = 4*b. Let v = s + 64. Let a = 3 + -2. Is v greater than or equal to a?
True
Let i = -25 - -25.08. Let c = 0.01 + -0.13. Let y = c - i. Is y greater than -0.1?
False
Suppose -4*g + 0*g - 12 = 0. Suppose 3*p + 0*p = 15. Suppose p*v + 0 = -15. Is g at most v?
True
Let k be (-1144)/33 - (-6)/(-18). Which is smaller: -33 or k?
k
Suppose -n + 0*n = -13. Suppose 0*i + n = i. Let t be 1102/95 - 4/(-10) - -1. Is i at most as big as t?
True
Let z be (-7)/12*1*1529/(-973). Which is smaller: z or 0?
0
Let y be (13/((-234)/414))/(1/2). Which is bigger: -139/3 or y?
y
Suppose -13*k - 294 = 8*k. Is -24 smaller than k?
True
Let z be ((-159)/(-2))/(12/(-16)). Let q = 1923.1 - 1923. Is z < q?
True
Let i(b) = b**3 + b + 1. Let v(z) = z**3 - 9*z**2 + 11*z - 5. Let a(c) = -2*i(c) + v(c). Let d be a(-10). Suppose d*g + 1 = -2. Does -8 = g?
False
Let o be (4/(-3))/(164/123). Which is smaller: -20/7 or o?
-20/7
Let i be ((-6)/(-2) - 0) + (-189)/45. Is i smaller than -7?
False
Let g be (-76)/(-18) - (-2)/(-9). Suppose i - 50 = -g*i. Let v(n) = n - 11. Let r be v(i). Is r at most as big as 2/5?
True
Let s be (12/126)/(236/(-12)). Which is bigger: s or 1?
1
Let s be 8*(1 - 0)*2. Suppose -s*u + 14*u = 6. Let m be 4/2 + u + 2. Which is smaller: m or -1?
-1
Let c = -20 - -30. Let m be c*(-1 - 18/(-10)). Suppose 0 = -4*r + 8*r - m. Are -2 and r unequal?
True
Let s(h) = 7*h**2 - 3*h. Let q be s(5). Let d be 6/5*q/12. Is 18 < d?
False
Let s = -41 - -44. Let k be (-3)/(-4)*2/s. Is 29 at most as big as k?
False
Suppose -6*i + 2*r + 5 = -3*i, i = 5*r + 6. Let j = 833952128/7196307 - 76668/661. Let f = j + -2/573. Is i smaller than f?
False
Let x = -1 - 0. Let z be 12/(-8) + 147/6. Let c = z - 185/8. Is c <= x?
False
Suppose 325*s - 2640 = 295*s. Which is greater: 87 or s?
s
Let y be 0 + ((-375)/6)/(22/44). Which is smaller: -495/4 or y?
y
Let c(q) = 16*q - 112. Let r be c(7). Is r at most as big as -5?
False
Let x be (0/1 + 4)/1. Suppose -2*l = -5*c + 3 - 2, 0 = -5*l - 15. Which is smaller: c or x?
c
Let z = -173 + 134.7. Let y = z + 38. Which is smaller: 3/11 or y?
y
Suppose -161*o - 58 = -190*o. Let w = 37 - 43.2. Let q = w + 7. Which is smaller: q or o?
q
Let m = -127 + 133. Is 35 less than or equal to m?
False
Suppose -3 = 5*b - 13. Suppose -7*n + 3*n = 5*z - 36, 4*z - 32 = -4*n. Let r be b/n*0/10. Is r bigger than 0?
False
Let i(r) = r**3 - r**2 - 3*r + 2. Let z be i(3). Let u = 1979 - 1967. Which is greater: z or u?
u
Suppose 0 = 5*y + 3*x + 1876, -5*y + y - 1494 = -x. Let b = 761 + y. Let g be (-2)/(-5) - b/(-45). Do g and 9 have the same value?
True
Let l be 6 + ((-24)/84 - (-653)/7). Which is greater: 195/2 or l?
l
Let l = -6232 - -18607/3. Let t(b) = b**3 + 8*b**2 + 5*b + 10. Let x be t(-8). Which is greater: x or l?
l
Let f = 15 - -4. Let o = -5 + f. Which is bigger: o or 0?
o
Let b = 588.1871 + -0.1871. Which is smaller: b or -0.1?
-0.1
Suppose 5*y = 3*y + 8. Let g be y/(-30) + (-22)/(-165). Let q = -41/8 - -5. Which is greater: g or q?
g
Suppose -4*r + 2*b = -4, -4*r + 6 = 5*b + 30. Let i be (-48)/(-33) - (r - -3). Let w = 1434 - 1435. Is i bigger than w?
True
Suppose -25*d + 34*d - 288 = 0. Is d at most 22?
False
Let q = 12538.035 - 12565. Let r = q + -0.035. Let a = -26.4 - r. Is a greater than -2/5?
True
Let i = -933 + 4667/5. Is i less than 187?
True
Let a(f) = -f**3 - 6*f**2 - 6*f + 1. Let w be a(-5). Let d be w/(-3)*1*4. Is d != -8?
False
Suppose -20*h + 2886 = 19*h. Which is smaller: 75 or h?
h
Let h = -87 + 98. Let s = -11.1 + h. Which is greater: -3.6 or s?
s
Let s(c) = -2*c - 2. Let y be s(-2). Suppose 4*j = -j + 2*k - 15, 0 = -4*j + y*k - 14. Which is smaller: 1 or j?
j
Let j be (-4)/(-14) - 2674721/(-3577) - 3. Let l = 745 - j. Is l greater than or equal to 0?
False
Let k = -3/2731 + -4871/538007. Which is greater: k or 0?
0
Let p = 24 - 24. Let h = -2208 + 311330/141. Is p at least as big as h?
False
Let t be ((-410)/30)/((-2)/6). Let n = 42 - t. Which is smaller: n or -15?
-15
Let g = 166 - 4481/27. Which is smaller: g or 1?
g
Let o be 1/(-2)*(-44)/14. Suppose -43*h = -69*h + 35*h - 9. Is h < o?
True
Let a = -1 + 0.9. Suppose 3*w - 206 = -2*u, -u - 2*u + 5*w + 290 = 0. Let x be -1 + (u/16)/5. Which is bigger: x or a?
x
Let v be (-474)/(2 + -1)*3/9. Which is smaller: -159 or v?
-159
Suppose -5*n + 3*w = -1166, w + 0 - 3 = 0. Let l = 109 - n. Let y = l + 507/4. Is y equal to -0.1?
False
Let j = 344 + -208. Is 137 smaller than j?
False
Suppose 0 = 10*r + 13 - 33. Let k be 2/(-3)*(0 - 9). Let c be 8*((-2)/(-2))/k. Which is bigger: r or c?
r
Let i = -375 + 654. Is i smaller than 0.1?
False
Let i = 3 - -27. Suppose 3*t = -4*f + 110 - i, -54 = -2*f + 2*t. Let m = f + -42. Is m less than or equal to -20?
False
Let s(m) = 3*m + 1. Let g be s(0). Let b = -32439/52 - -8880/13. Let p = -59 + b. Is p not equal to g?
True
Suppose 40 + 56 = 4*q. Let l = q + -25. Is 1/35 < l?
False
Let c be 0/3*(-1 + 4/6). Suppose d + 7*d - 24 = c. Is d equal to -18?
False
Let r = -0.1 - -2.1. Let p be 1/(-4) - 2/(-8). Suppose -4*z - z = 4*q + 18, 3*q + 5*z + 16 = p. Is r smaller than q?
False
Let t = 505 + -502. Is 60/17 <= t?
False
Let r = 88 + -53. Suppose 7*j = 2*j - r. Let y(s) = 8*s**3 + s + 1. Let g be y(-1). Which is greater: g or j?
j
Let c be 90/(-25) + 4 - 678/195. Which is greater: -3 or c?
-3
Let b = -23 - -23.13. Let k = b + -0.13. Let m = k + 0. Which is greater: m or 0.1?
0.1
Let s be 9/(-6) - (-4)/(-16)*-2. Is 121 not equal to s?
True
Suppose -z + 3 = -4*t, 0*z + 2*t - 21 = 3*z. Let i be (-12)/(-3) + 33/z. Is -11 at most i?
True
Suppose 0 = 7*m - 0*m - 140. Which is bigger: m or 16?
m
Let q = -79 + 317/4. W