 1 - -1). Is -1/41 greater than v?
False
Let j be (4*(-2)/4)/((-8)/148). Suppose 5*k - 4 = -29, j = -3*l - 5*k. Which is smaller: l or -1?
l
Suppose 3*q + 12 - 24 = 0. Suppose -o - 1 = -q. Suppose -16 = -z - o*z. Is 9/2 bigger than z?
True
Suppose 3*p = 4 + 17. Suppose 4 = p*o - 24. Suppose -4 = 3*q - b, -5*b = -o*q + 11 + 2. Which is smaller: q or 0?
q
Suppose -15*r = -10*r - 25. Let q be (r/40)/(7 - 0). Which is bigger: q or 1?
1
Suppose -517*k + 506*k = 0. Which is bigger: k or 29/22?
29/22
Suppose -3*i - 3*l = -0*i - 12, 5*i - 2 = 4*l. Suppose i = -3*r + 11. Let o be r/2*(6 - 4). Is 4 smaller than o?
False
Let n = 207 + -1028/5. Let t = -1/10 - n. Which is bigger: 16 or t?
16
Let x be (-3)/15*(-130)/(-8). Suppose 0 = -3*j + j - 6. Which is greater: x or j?
j
Let r = 102.1 - 102. Suppose 3*a + 26 + 40 = 0. Which is smaller: a or r?
a
Let d = -0.43 + 68.43. Let t = 68.35 - d. Which is greater: 0 or t?
t
Let x(m) = 3*m + 81. Let c be x(-25). Which is smaller: 8 or c?
c
Suppose -328*q + 326*q = 26. Is -14 < q?
True
Let l = 0 + -8. Suppose -4*p = -a + p - 4, -3 = 3*p. Let y be (a + 0)/(3/2). Is y at most as big as l?
False
Let i(a) = 3*a + 34. Let z be i(-11). Is z > 8/73?
True
Suppose 2*g = -2*g + 4*f - 32, 0 = 3*f - 9. Let k(l) = l**3 + 4*l**2 - 5*l + 1. Let t be k(g). Which is bigger: 3 or t?
3
Let z = 0.9 + 0.1. Suppose l + 4*o = -22, 4*l + o + 88 = -3*o. Is z >= l?
True
Let i = -2007 + 1190. Which is smaller: -818 or i?
-818
Let k = -1620/11 + 147. Which is greater: -1 or k?
k
Let z be (32/(-8) - -2)*11. Do z and -21 have different values?
True
Suppose -q + 3 = 3*w, 5*q = 2*w - w + 15. Suppose 5*p + 0*p = w. Which is smaller: p or 2/13?
p
Let x = -1343 + 1343. Let u = 2607/10 + -261. Is x at least u?
True
Let q be 2 - (17/(-8))/(-1). Let b be (2 + 4)/(9/6). Suppose -5*k - 9 = b*o, -3*o - 3*k + 2 = -8*o. Which is bigger: o or q?
q
Let s = 52 - 46. Let m be (-10)/(-15) + 44/s. Is m at most as big as 13/2?
False
Let i = -50 - -73. Suppose 5*s = 3*t + 120, 2*s + 3*t = 8*t + 48. Is s bigger than i?
True
Let z(m) = 2*m + 5. Let l be z(9). Let a(h) = 8*h**2 - 3*h - 8. Let w be a(-2). Let i = l - w. Is -7 greater than i?
False
Let i = -3.3 + 0.5. Let r = i + 1.7. Let a = 0.9 - r. Which is bigger: a or 0.4?
a
Let f = -626.2 + 626. Which is greater: -27 or f?
f
Let g(b) = b + 16. Let q(w) = 3*w + 47. Let m(t) = 11*g(t) - 4*q(t). Suppose 3*j + 31 = s, 0 = j + 5*s + 18 + 3. Let u be m(j). Is u >= -2/3?
False
Suppose -i + 5*p - 31 = 2*i, -3*i - 11 = -p. Let l(f) = -8*f**2 - 2*f - 2. Let u be l(i). Let w be 20/u - (-55)/(-3). Which is bigger: -18 or w?
-18
Let f be (10/4)/(3/(-6)). Let n be 15/7 - (f - -8). Which is smaller: n or -1?
-1
Suppose 2*z - 13*o + 8*o - 17 = 0, 0 = z - 4*o - 13. Let d be ((-5)/16)/1 + 0. Do d and z have different values?
True
Suppose c + 6 = 10. Is 0.8 at most c?
True
Suppose 0 = 12*k - 22*k + 970. Is 98 equal to k?
False
Let l(z) = z**2 - 20*z + 14. Let f be l(12). Let r = f + 86. Are 10 and r nonequal?
True
Let d = 539 + -672. Is d < -135?
False
Suppose 3*s = -98 - 40. Let w = 54 + s. Does 8 = w?
True
Suppose 10*q = 5*q + 20. Suppose 0*d = 5*s + 2*d - 61, -29 = -4*s + 5*d. Let r(x) = x - 7. Let f be r(s). Is f >= q?
True
Let n = -1411 - -1432. Let o = 0.3 + -0.3. Which is smaller: n or o?
o
Let j be (6/10 - 0)/((-259)/(-185)). Which is greater: 1 or j?
1
Suppose -196*b = -191*b - 20. Which is smaller: 35/11 or b?
35/11
Let x = 0 - -0.02. Let k = -4.02 + x. Let c = 5 + k. Which is greater: c or 0.1?
c
Let n = -1.21 + 0.48. Does n = -1?
False
Suppose 0*q + q = 0. Suppose h + 15 = -3*p - 34, -3*p - 61 = -5*h. Let k = p + 33/2. Which is bigger: q or k?
q
Let p = 21 - 13. Is p != 9?
True
Suppose -2*k = 3*o + o - 2, 4*k = -5*o + 10. Suppose 4*g = g - 171. Let x = -60 - g. Which is smaller: x or o?
x
Let r be (-9 - (-10 - 9/(-10)))*(0 + 18). Suppose 0*q = q + 6. Let s = q + 9. Is r equal to s?
False
Let b = 62 - 63. Let k = -5.9 + 5.9. Which is greater: b or k?
k
Suppose -2 = -2*a, 0 = d + 3*a - 2 + 1. Let s = 10012082/127705 - 2/25541. Let x = s + -80. Is x bigger than d?
True
Let g(c) = 2*c**3 + 2*c**2 - 7*c - 5. Let d be g(-2). Which is bigger: -1/496 or d?
d
Let q be (-12)/(-16)*(-1 + 5). Suppose 6*t + 4*v - 50 = t, -3*t - 5*v + 30 = 0. Let w = t - 6. Are w and q non-equal?
True
Let s = -204.5 + 203.5. Which is greater: s or 547?
547
Suppose -4*z - c - 469 = 0, -10*c = 4*z - 6*c + 484. Suppose 4*k + 226 = -2*i, -3*i = 2*i - k + 587. Is i less than z?
True
Let l(c) = 2*c**2 + c. Let p be l(-1). Let j = -163/1241 + 1/73. Which is smaller: p or j?
j
Let i(f) = -f - 1. Let d be i(-3). Let z = -324 - -327. Suppose 0 = 2*y - 3*w + 2*w - 2, 0 = -d*y + z*w + 2. Is y at most 6?
True
Let f = 34 - 30. Suppose 21 + 3 = f*g. Let v be (12/40)/(g/(-8)). Which is bigger: -0.1 or v?
-0.1
Let k = -1915 + 1915.4. Let q = -1 + 0.7. Is k smaller than q?
False
Suppose 4*l = 3*t - 115, -3*l - 60 = -t + 25. Is -29 < l?
True
Let s(v) = -v + 3. Let n be s(6). Suppose 41*m + 1386 = 525. Which is bigger: m or n?
n
Let r = -1.2 + 4.2. Let c = 17 + -17.11. Are c and r equal?
False
Let m be 1/2*-10 + 0. Let c(p) = p + 3. Let g be c(m). Let i be g/(-3) - 2/3. Which is bigger: i or 1?
1
Let c = -332 + 1327/4. Is -14 < c?
True
Suppose -18 = -2*c + 2*s - 26, 0 = c - 3*s - 2. Let j(n) = -2*n + 7. Let q be j(6). Are q and c nonequal?
True
Let a = -3029 - -9092/3. Is -21 >= a?
False
Suppose 2*i + 65 = 219. Let p = -71 + i. Which is greater: -1 or p?
p
Let a = -218 - -217.9. Is a less than or equal to -2/263?
True
Let g = 33.1 - 36.1. Let d = 17 - 47. Let q be 2/(-7) + d/(-56). Which is smaller: q or g?
g
Let s = 181 + -309. Let i = -144 - s. Is -17 > i?
False
Let x be 1464/708 + (-6)/3. Which is greater: x or 0?
x
Let o be (25/(-250))/((-2)/(-1132)) + -1. Is o bigger than -57?
False
Let w = -58 - -58. Suppose w = -m + 29 + 35. Which is greater: 65 or m?
65
Let g = 76 + -81.1. Let u = -5 - g. Let y be -1*((-40)/12 - -4). Which is bigger: y or u?
u
Let v = 52 - 46. Suppose -2*p + 100 = 5*s, -5*s + 3*p + 115 = 8*p. Let f = s - 11. Is f <= v?
False
Let q = -233 + 230. Suppose 0*z + 317 = n + z, 5*n + z - 1589 = 0. Let t = 1578/5 - n. Is q < t?
True
Suppose 3 = d - 0*d. Let n(a) = 15 + d*a + 9 - 5. Let i be n(-6). Is i equal to 0?
False
Let g = 3511/159385 + 2/1255. Which is bigger: -1 or g?
g
Let l be 4/6*18/4. Suppose l*h + 3*c = 8*h - 84, -3*h = -3*c - 48. Suppose -4*b + h = -b. Is 5 greater than b?
False
Let o(b) = b**2 + b - 2. Let s be o(0). Suppose -5*c = -5*h - 20, h - 5*h + 2*c - 10 = 0. Which is smaller: h or s?
s
Let m = 1 - 1. Let u(x) = -x + 1. Let q be u(9). Let s be 2*(1 + 12/q). Which is smaller: s or m?
s
Let m(z) = 22*z - 111. Let n be m(5). Let j(d) = d**2 + 5*d - 1. Let c be j(-5). Is n greater than or equal to c?
True
Let i(w) = -w**3 + 6*w**2 - 6*w + 7. Let f be i(5). Suppose 3*z + f = -1. Which is smaller: 1 or z?
z
Let w = -46 - 1. Let i = w - -187/4. Is i greater than 2?
False
Let v = 0 + -3. Let g be 1/v*18/(-12). Which is greater: g or 0.01?
g
Suppose 0 = 2*t + 22. Let p = t + 8. Let f be (-2)/(105/(-33) - p). Is 12 greater than f?
True
Let w = 264 + -261.4. Which is greater: 2/57 or w?
w
Let p(o) = -o**2 - o + 9. Let c(q) = q**3 + 6*q**2 + q + 6. Let m be c(-6). Let u be p(m). Let k be (-33)/u + (-4)/(-6). Which is smaller: k or -0.1?
k
Let f be (-99 - -101)/((-1022)/(-1042) + -1). Which is greater: f or -105?
f
Let w = 0 + -2. Suppose 0 = -4*k - 281*m + 278*m - 27, 4*k = -2*m - 30. Is w at most as big as k?
False
Let q be (2 + 4)*(-2)/(-1). Suppose 0 = 8*t - q*t. Let b = -2 + 2. Do t and b have the same value?
True
Let g(u) be the second derivative of -u**3/6 - 18*u**2 - 10*u. Let w be g(13). Which is greater: -47 or w?
-47
Let y be (-48)/84*(2 - (-129)/(-48)). Which is smaller: 0 or y?
0
Let l = 121 + -100.4. Let d = -20 + l. Let u = d + -0.57. Are u and 1 nonequal?
True
Suppose 4*a = -3*w + 8, -5*a + 12 = -3*w + 2. Suppose -a*x = -6*x + 20. Suppose 0 = 4*m + 1 - x. Is -4/15 at most m?
True
Let x = 6880/5423 - -2/493. Is 0 at least as big as x?
False
Suppose -5*m - 4*d + 152 = 0, 3*m = 5*d - 0*d + 106. Suppose 3*s = -s - m. Let y = s - -10. Which is bigger: -1 or y?
y
Let b(r) = -r**2 - 9*r - 6. Let t be b(-8). Let a = 2 - t. Let i be 