Let o = 14.83 + j. Let t = o + -18. Is 2 smaller than t?
False
Let m(v) = 4*v**2 + 2*v - 1. Let u be m(1). Let f = 753 + -750. Is u != f?
True
Suppose 0 = 7*d - 12*d + 150. Which is smaller: 31 or d?
d
Let j be (-155)/(2/12*(-8 - -2)). Which is bigger: j or 154?
j
Let x(g) = -4*g + 29. Let s be x(12). Which is greater: s or -27?
s
Let m be 10/(1770/1179) - 7. Which is greater: m or -1?
m
Let c = -0.4 + -9.6. Let g = -136.79 + 139. Let k = g + -2.31. Is c at least as big as k?
False
Let g(w) = -w - 2. Let b be g(0). Let f be (b - 0) + (-2 - -4). Let a be (0 + -1)/1 - f. Is -6/5 > a?
False
Suppose -69 = -2*p + w, -5*p + 74 = 5*w - 121. Do p and 178/5 have different values?
True
Let s be -56*1*250/(-175). Which is bigger: 85 or s?
85
Suppose 0 = -2*i + 2 - 0. Let d be 710/30*(-2)/4. Let p = d - -12. Which is bigger: p or i?
i
Let i be ((-1)/6)/(1/(-44)). Which is greater: i or 0?
i
Let k = 0.03 + -2.03. Which is smaller: -18 or k?
-18
Suppose 0 = 3*a - 3*s - 15, 36*a = 31*a - 4*s - 20. Do a and -8.5 have different values?
True
Let z(r) = -6*r - 218. Let p be z(-33). Which is smaller: -222/11 or p?
-222/11
Let t = -3 - -6. Let b = t - -3. Suppose 0 = -i + 4*h - 19, 3*h - 20 = -54*i + 49*i. Is i not equal to b?
True
Let a(j) = -j**3 + j**2 - 1. Let r be a(-1). Suppose -n = 2*o - 2, o - r - 9 = -2*n. Which is greater: n or 1?
n
Let h(v) = -20*v**2 + 86*v + 34. Let p be h(10). Is p <= -1107?
False
Let z = 17.4 + -17.4. Is -9/25 equal to z?
False
Suppose -4*l + 2 + 22 = 0. Suppose l = -2*x, -x - 3 + 15 = -3*d. Which is smaller: -26/7 or d?
d
Let v = 4.69 + -4.7. Which is bigger: v or -1?
v
Let r(q) = q**3 + 10*q**2 - 4*q + 7. Let w be r(-10). Is 2 greater than w?
False
Suppose 4*j - 4 = 2*j. Let i = -3 + j. Are i and -4/7 nonequal?
True
Suppose -6*o - 93 = -483. Let l = o + -64. Which is smaller: l or 1/191?
1/191
Let u = -129 + 386/3. Is u not equal to -21/8?
True
Suppose 0*q + 3*h - 27 = -5*q, -11 = -2*q - h. Suppose -3*k + d + 38 - 12 = 0, 0 = -3*k - d + 22. Let a be k/q*(-7)/21. Is a greater than 1?
False
Let x = -4707 - -2565316/545. Do x and 0 have different values?
True
Let a = -511741/94 + 5444. Is a >= 0?
False
Suppose 4*x = 5*x + 4. Let d(u) = -u**3 + 7*u**2 + 10*u - 5. Let g be d(8). Suppose 0 = -2*b + 4*s - 14, -b - 2*b - 4*s = g. Are b and x non-equal?
True
Let o(d) = -d**2 - d - 1. Suppose 3*t = t - v + 14, -3*v - 12 = -3*t. Suppose -3*x - t = 0, -4*a + 3*x = x. Let q be o(a). Is -3 at most as big as q?
True
Let i(r) = 11*r**3 + 2*r**2 - 2*r - 2. Let w be i(2). Let q be (w/(-75))/(14/(-10)). Is q less than or equal to 1?
True
Suppose 0 = -2*o + 3 + 1. Suppose 5*b + o*q - 53 = 0, 2*b - 5 = 3*q + 1. Let w be ((3 - 0) + b)/1. Which is greater: w or 11?
w
Suppose -2*o + 12 = -2*r, -4*o + 4*r = -5*o + 1. Let u = -1472 + 7392/5. Is u smaller than o?
False
Let k(s) = -25*s - 62. Let v be k(17). Which is smaller: v or -486?
v
Let j = -63 - -71. Suppose -2*y - 5*l = 9, -4*y - l - 19 - j = 0. Which is smaller: y or -8?
-8
Let f = 4651/5 - 4917/10. Let i = f - 30703/70. Which is bigger: -1 or i?
i
Let b = 0.406 + -0.306. Which is bigger: -0.02 or b?
b
Let n be (-10)/(4 + -9) - (-2)/1. Suppose 5*x + 5 = 5*k, 2*k = -n*x + 3*k - 10. Suppose -4*r - 11 = 1. Are x and r unequal?
False
Let f = 711 + -710.9. Let b = 0.8 - -28.2. Is b <= f?
False
Let m(u) = -u**3 - 7*u**2 - 8*u - 7. Let v be m(-6). Suppose -v*f - b + 2 = 14, -4*f - 4*b = 16. Which is bigger: f or -9?
f
Let m = -72 - -74. Suppose o + 14 = m. Let j be (13/(-3))/(2/6). Is o <= j?
False
Let u = 143.723 - -0.277. Let r = 124 - u. Which is smaller: -0.1 or r?
r
Let q = -742.64 + 747. Is 1 less than q?
True
Let m = 2.5 - 2. Let r(a) = a + 12. Let o(u) = 1. Let b(t) = -3*o(t) - r(t). Let s be b(-14). Which is bigger: s or m?
m
Suppose 0 = 24*w - 23*w + 5. Let i = 4 + w. Let u = -37609/63 - -597. Which is bigger: u or i?
u
Let t = -40337 + 281643/7. Let z = t - -102. Is z != 2/11?
True
Let i(f) = -f**3 + 3*f**2 + 4*f - 7. Let v be i(4). Let g = v - -30. Which is greater: g or 24?
24
Suppose 5*i - 5*u - 135 = 0, -5*i = -2*u + u - 115. Let p be -10 + 9 - (-2)/i. Which is greater: p or -2?
p
Suppose -2*k - z = 0, z = 5*k + 6 + 1. Suppose w = 1 + 11. Suppose 8 - w = 4*l. Is l greater than k?
False
Let u be (585/26)/(-15)*(-38)/(-3). Let d = 5 + 22. Suppose -3*c - d = 27. Is u at most c?
True
Suppose 0*g + 2*g - 3*t = -751, g + 343 = -5*t. Let m be 4/14 - g/(-1092). Let x = 1.22 - 0.22. Is m at least x?
False
Let k(f) = 2*f**2 + 5*f - 4. Let i be k(1). Suppose -2*r - 2*b - 6 = -i*r, -b = -3*r + 8. Which is smaller: r or 11/14?
11/14
Suppose -5*v + 20*v = 6*v. Let c = 194/39 + -5. Is v at least c?
True
Let j(a) = a**3 - a**2 - a + 1. Suppose -4 = 3*v - 3*s - 16, -4 = 5*v + s. Let y be j(v). Is 1/57 at least y?
False
Let x(z) = 21*z**2 + 3*z + 2. Let s = -5 - -4. Let w be x(s). Suppose 0 = 2*l + 4*u + w, -l + 0*l = -4*u - 14. Is l > -1?
False
Suppose 2*t = 5*t - 15. Let z be (-34)/t + (-16)/(-20). Let h be z/12*0/1. Is 3 at least as big as h?
True
Let w be (-702)/2394 + 4/14. Let z = 652/1729 - w. Which is smaller: z or 1/3?
1/3
Let j = 1 - 13. Let y be (-20)/(-6) - j/18. Suppose y*n = -n. Are 0 and n unequal?
False
Let v be (4/(-10))/((-8)/60). Suppose -4*k - 2*z + 63 = -v*z, -2*z - 21 = -k. Let s be 6/(-38)*(-10)/k. Are s and 3 unequal?
True
Let f = 456.71 - 452. Is 1 <= f?
True
Let y be 5/2 - 3/(-6). Suppose -i + 72 = y*i. Let b = -55/3 + i. Which is bigger: -1 or b?
b
Let l(g) = -16*g**2 - g. Let h be -2 - -3 - 1 - -5. Suppose 5*f + y + h = -3*y, 4*f + 4 = -4*y. Let o be l(f). Is o > -15?
False
Let i be 4/(-18) + 14656/(-468). Let h = 55811225 - 38453912321/689. Let n = i + h. Is n at least -1?
True
Let k(x) = -2*x**2 + 21*x - 6. Let n be k(10). Is -4 greater than or equal to n?
False
Let x be (16 - 1)*8/(-10). Let z be (9/x)/(2 + 38/(-16)). Do z and 0 have the same value?
False
Suppose -19*c = -21*c - 4*p + 150, 3*c + 3*p - 219 = 0. Which is smaller: c or 68?
68
Let d = -17 - -8. Let m be -4 + (-1 - d) + 16. Let g = 21 - m. Is g < 3?
True
Let v = 113 - 43. Let o = v + -100. Let j be 12/10*o/(-9). Which is smaller: j or 3?
3
Let b(v) = v**3 - 12*v**2 + 2*v - 20. Let n be b(12). Suppose -5*h + n*z - 6 = 0, -4*h + 0*z + 4 = -z. Is 2 greater than or equal to h?
True
Let k(q) be the first derivative of -q**2 + 24*q + 1. Let f be k(12). Suppose 4*x + 12 = f, 0*g - g - 2*x - 5 = 0. Which is greater: -3 or g?
g
Let b = 59778/61 + -980. Is b at most as big as 1?
True
Let c = -475/2431 + 3/221. Which is greater: c or -26/3?
c
Let h(f) = 2*f**3 - 5*f**2 - 12*f + 5. Let d be h(5). Which is smaller: 72 or d?
d
Let r = 2231.06 + -2199. Let n = r + -32. Let l be 2/(-3) - (-5)/12. Which is greater: l or n?
n
Suppose -3*m + b = -m + 47, 3*b - 31 = m. Let i = m - -19. Let w be -2 + i + 84/16. Which is greater: 0.06 or w?
w
Suppose -12 = -4*l - 20. Let y be l - (-4 - (-45)/20). Is 3 smaller than y?
False
Let s be ((-6)/(-12))/((-6)/8 - -3). Is -37 equal to s?
False
Let f = -29 + -169. Is -198 not equal to f?
False
Let h = -1/56 + -107/280. Which is smaller: h or -2/23?
h
Let z(d) = -d**3 + 18*d**2 + 9. Suppose -4*r = -2*r - 30. Let i = 3 + r. Let y be z(i). Is 19/2 bigger than y?
True
Suppose 219*f = 221*f. Let m(p) = -p - 9. Suppose 3*r + 19 = -5. Let v be m(r). Which is greater: f or v?
f
Suppose -2*m + 9*g + 92 = 4*g, 0 = 2*m + 2*g - 92. Let y = 7 + 38. Do y and m have different values?
True
Suppose 2*z = 2*p + 162, -3*p - 5 = 1. Is -1 >= z?
False
Let n be -1 + ((-12)/(-3))/(-1). Let j = n + 7. Is 12/19 at most j?
True
Let u be (1/4 + (-6)/24)/(-2). Suppose 5*v + 61 + 39 = u. Is v greater than or equal to -20?
True
Let g = -1.92 - 0.08. Let s = -6 - -10. Let n = s + g. Which is bigger: -1 or n?
n
Let o = -0.1 + 1.1. Let d = 2 + o. Which is bigger: d or 2/7?
d
Let g = 242 + -969/4. Which is greater: -1 or g?
g
Let k be (-3 + 0)*(-1)/(-8). Do -4 and k have the same value?
False
Let z = -217.5 + 217. Let s = 2.5 - 2. Let m = z - s. Which is smaller: m or -1.1?
-1.1
Let i be -2 + -3 + (2 - -1). Let a be (-684)/(-4) - i/2. Let b be a/(-60) + (-4)/30. Is -3 > b?
False
Let o = 1169 + -1166. Suppose -5*q + 10 = -0*q. Is o >= q?
True
Let h be ((-16)/28)/2 + 260/(-560). Is h at least 4/15?
False
Let f be 196/(-6)*196/147.