ose 469 = -10*l + 3*l. Is l greater than or equal to -65?
False
Let a = -216 + 216. Let m = -15 + 11. Which is bigger: a or m?
a
Suppose 1 = -3*w + 7. Are 7 and w unequal?
True
Let y = 21 - 23.6. Let h = -0.6 - y. Let k = 1 - h. Which is greater: 3 or k?
3
Let c be ((1/58)/(-1))/((-2)/8). Which is greater: c or -2/5?
c
Suppose -2*g = -2*d, -27 = -2*d - 3*d - 4*g. Let q be -5 - (0 + (4 - d)). Which is smaller: -5 or q?
q
Let x = 304/5 - 62. Suppose 2*d + 0*d - 15 = 3*f, 25 = d - 5*f. Which is smaller: x or d?
x
Let w = 56 - 50. Do 7 and w have different values?
True
Let m = 16 + -8. Let q = m + -5. Let a = -12 - -14. Is q < a?
False
Let z be 1 - (-1)/((-2)/4). Let i = 1 + z. Let g be 266/76 + 2/4. Is g > i?
True
Let c be (0 - -20) + 11/11. Which is bigger: c or 22?
22
Let n = 0.5 - 2.5. Let q = n + 1. Let f = -0.2 + 3.2. Which is smaller: f or q?
q
Let p be (-1)/2 + (-13)/(-34). Let y = -11 - -17. Let h = y + -7. Which is smaller: p or h?
h
Suppose -2*y + 5*t + 69 = y, 5*y - 155 = -5*t. Let x = 77263/7 + -11066. Let o = y + x. Which is bigger: o or 0?
0
Let g = 509/11275 - -1/275. Is g < 1?
True
Suppose 3*s + 11 = -2*r, -4*s + 2*r - 3*r - 13 = 0. Which is greater: -4 or s?
s
Suppose -28 = -3*k + 44. Let l = -41 + k. Let w = l + 53/3. Which is smaller: 0 or w?
0
Let f = -0.09 - 0.03. Let z = f - -0.02. Is z at most 0.06?
True
Let z = 0.18 - -2.82. Let d = -2 + z. Let y = -4.6 - 0.4. Is y at least d?
False
Let t(f) = f + 4. Let y be t(-3). Let p = 3 - y. Suppose -4*c - 1 = -9. Does p = c?
True
Let t(k) = -6*k + 1. Let m be t(1). Let u = m - -10. Suppose -5*p - u = -15. Which is smaller: p or -1?
-1
Let y be (-6)/(-9)*-3 - (1 - 1). Is -2 equal to y?
True
Suppose -3*s - 11 = -8. Which is greater: s or -2/81?
-2/81
Suppose 15 = -5*s + 2*b, -4*s - 2*b = 18 - 6. Let q = -8 + 15/2. Is s <= q?
True
Let p(i) = i**2 - 2*i + 1. Let q be p(-3). Let y = q + -16. Let v = -8 - -23/3. Is v > y?
False
Suppose -i - 3 = -7. Let w = 6 - i. Is w at most -1/4?
False
Let t(g) = 7*g - 32. Let y be t(4). Let j(p) = p**3 + 5*p**2 + 1. Let i be j(-5). Let z = -3 - i. Is y greater than z?
False
Let v = -124 - -121. Which is smaller: v or -4?
-4
Let c be 2/(-3)*(-9)/(-8). Suppose m + 30 = 6*m. Suppose -2*f + m*f + 4 = 0. Which is bigger: f or c?
c
Let k be (0/2 - 13)/(4 + -5). Do k and 15 have different values?
True
Let f = -31384/15 - -2093. Is f bigger than 1?
False
Let r(i) be the third derivative of -i**5/60 - 5*i**4/24 - 2*i**3/3 - i**2. Let t be r(-5). Which is smaller: -2 or t?
t
Suppose -4*i - 28 = -2*z, -5*z - 40 = 3*i + 7. Which is greater: i or -10?
i
Let h = -8.95 - 0.05. Let f = 4.95 + 0.05. Let y = h + f. Is y less than or equal to -1?
True
Let q = 2033/7 - 287. Which is smaller: 3 or q?
3
Let a = 8 - 3. Suppose -3 = p - 3*v - 2, -a*p - 2*v - 22 = 0. Is -6 bigger than p?
False
Suppose 5*r = -2*d - 0*d + 26, 4*d - 5*r + 8 = 0. Suppose 3*p - g = p - 21, 0 = d*p + 5*g - 1. Which is smaller: p or -9?
-9
Let y be 4/(-16)*224/(-40). Suppose 0 = -3*t + 3*g - 6, -4*g + 6 + 2 = t. Is t != y?
True
Let m(f) = -f + 2. Let a be (0*3/6)/1. Let q be m(a). Which is smaller: 4 or q?
q
Let n be (8/(-10))/((-2)/5). Which is bigger: 1 or n?
n
Let a = 589/9 + -401/6. Let s = 5/9 + a. Suppose 0 = -0*x - x. Are x and s equal?
False
Let w be 13/18 + (-2)/9. Let s = -27.06 + 28. Let f = s + 0.06. Which is greater: w or f?
f
Let w = 0.4 - 0.39. Let p = w + -0.06. Is 0 > p?
True
Let m = 25/2 + -77/6. Let c(u) = u**2 - 3*u + 4. Let i be c(5). Let t be (-2)/(-7) - 4/i. Which is smaller: m or t?
m
Suppose -2*k = -3*k. Suppose k*s + 5*s = 2*q - 13, -q = 4*s. Which is smaller: 2/21 or s?
s
Suppose -3*o = 11 - 2. Let l = o - -8. Suppose 3*f + 2*f = -l. Is -1 greater than or equal to f?
True
Let c = -14 - -9. Let h = -5 - c. Which is greater: 1 or h?
1
Let g = 27/17 + 11/68. Are g and 3 non-equal?
True
Let l = -8 - -11. Suppose -4*y + 2*r + 16 = -0*y, -2*r + 26 = l*y. Which is smaller: 5 or y?
5
Suppose 3*f - 101 = -248. Is -2/7 less than f?
False
Suppose -g - 17 = -84. Let n = 203/3 - g. Let i be (6/(-3) - -2)*-1. Which is greater: i or n?
n
Let d = 1/2 + -1. Which is smaller: d or 0.12?
d
Let y(s) = -16*s**2. Let l be y(1). Let h be 0 - (2 - l/(-10)). Let u = -3 + 4. Which is smaller: u or h?
h
Let w = 32/105 - -2/21. Suppose -3 = -4*z + 13. Let x(l) = l**3 - 4*l**2 + 1. Let u be x(z). Is u bigger than w?
True
Let o be -2 + 2 - 1*5. Suppose 0 = s + 2, s = -2*y + 4*s - 4. Let k = o - y. Does 0 = k?
True
Let z = 349 + -9425/27. Which is smaller: z or -1?
-1
Let g = 0.11 + -0.03. Let y = g + 0.32. Which is smaller: y or -0.2?
-0.2
Suppose 0 = 2*w - 3*w + 4. Is 18/7 greater than or equal to w?
False
Let s = 8.3 + -6.3. Which is smaller: s or 0.2?
0.2
Suppose 4*k + 5 = -k. Which is smaller: -6 or k?
-6
Let o = 63 - 191. Let k = 472/3 + o. Let s = k + -29. Which is smaller: s or 1?
s
Let y = 37 + -38. Which is greater: 1/2 or y?
1/2
Let s = -13/2604 + -5/84. Suppose w - 3*g = -w + 9, 0 = -4*w + 5*g + 15. Which is smaller: s or w?
s
Let p be ((-1)/2)/(2/(-24)). Let c = -32 - -60. Let q be (-3)/(-9) - c/(-6). Which is smaller: q or p?
q
Let y be (-12)/(-10)*5/3. Which is smaller: y or -1?
-1
Suppose 10*m = 5*m - 85. Does -17 = m?
True
Suppose 3*k = -5*g + 95, -5*g - 4*k - 41 + 136 = 0. Is 18 less than or equal to g?
True
Let y = -30523/37 + 825. Suppose -2 - 3 = 5*j. Is j greater than or equal to y?
False
Let g(x) = -x**3 + 5*x**2 - 4*x - 4. Let r be g(4). Let h = -3 - r. Is h at most 2/3?
False
Let p = -36 + 35. Let b be ((-6)/(-15))/((-14)/(-10)). Which is bigger: b or p?
b
Let v = -54.4 + 54. Is -1/4 less than or equal to v?
False
Suppose c - 2*c - 4*l - 14 = 0, 3*l + 10 = -c. Let i be (6/(-10))/((-2)/30). Suppose -4*q - 5*f - 4 = -23, -3*f + i = 0. Is q at most c?
True
Let w = -31 + 32. Let u be 4/(-14) + 16/7. Which is bigger: w or u?
u
Let c be (-2)/(-4) - (-238)/28. Let r(p) = p**2 - 10*p + 13. Let f be r(c). Suppose -4*m = -3*g + 4 - 12, -6 = -3*m + 4*g. Is m at most as big as f?
True
Let x(u) = 5*u + 2. Let k(w) = 2*w + 1. Let r(d) = -8*k(d) + 3*x(d). Let t be r(-6). Suppose -3*c = 5*j - 5, 5*c + t = 4*j + 2*c. Which is bigger: 2 or j?
2
Let m be ((-1)/4)/(55/(-20)). Suppose -5*y - 3*x = -6*x - 20, -y + 2*x = -11. Which is smaller: m or y?
m
Let z = -0.4 - -0.2. Let j = 0.8 - z. Let b be (-2 + -1)/((-3)/(-2)). Is j at most as big as b?
False
Let f(b) = -1. Let p(r) = r + 5. Let q(a) = -3*f(a) + p(a). Let i be q(-7). Let j be (-8)/(-20) + (-32)/55. Which is smaller: i or j?
j
Suppose 9 = -r - 3*d, 2*r + 5*d = 3 - 18. Do r and -1 have the same value?
False
Let g = 1031/30 - 4607/30. Let u = 121 + g. Which is greater: 2 or u?
2
Let f(d) = 11 - 13*d + 3 - 1 - d**2. Let u be f(-14). Is u greater than -1?
False
Suppose 3*m + 5*x - x + 17 = 0, m - 5*x - 26 = 0. Suppose -m = i - 3. Suppose -7 = -4*y + 2*q + 3, 2*q = -i*y + 2. Is 2 not equal to y?
False
Let f = 19/9 - 200/99. Is 1 less than f?
False
Let i(z) = z**2 + 7*z - 13. Let d be i(-9). Suppose 0*h = d*h - 20. Let u be ((-4)/10)/((-6)/15). Which is smaller: u or h?
u
Let q(y) = -2*y + 2. Let d be q(4). Let f = d - -3. Does f = -3?
True
Let c(k) = k + 4. Let i be c(-9). Which is smaller: -3 or i?
i
Let z = -24 + -20. Are z and -44 nonequal?
False
Suppose -w - 13 - 3 = -5*i, 0 = -3*w + i - 6. Which is smaller: 3 or w?
w
Suppose 3*l = -l - v + 12, -l - 2*v + 3 = 0. Suppose 0*o = 4*o - l*a + 75, 4*a = o + 22. Let u be 9 + -6 - o/(-8). Is 0 less than u?
True
Let x(w) = -w**2 + 10*w - 10. Let d be x(8). Let k = -6 + d. Let c = 5/2 - 9/4. Which is greater: c or k?
c
Suppose 0*r + 3*r - 6 = 0. Suppose -t = 3 + r. Is -6 >= t?
False
Let x = 1/184 - -2203/920. Which is greater: 3 or x?
3
Suppose 0 = -o + 7 - 1. Suppose 2*i - 2 = -6, -3*i = -4*w + o. Suppose -5 = 4*q - 1. Are q and w non-equal?
True
Let p = 9984298/107 - 93312. Let s = p - -2/535. Which is greater: s or -0.1?
-0.1
Suppose 4*n = 2*j + 4, 4 = 3*n + n + 4*j. Let l = n + -2. Suppose 4*q + w - 7 = 4*w, -5*q - w = 15. Do q and l have the same value?
False
Let x(u) = u**2 + 5*u + 3. Let a be x(-5). Do -3 and a have the same value?
False
Suppose 3*t + 80 = 5*t - 4*j, -t + 44 = -3*j. Which is smaller: t or 131/4?
t
Let p = -114.1 + 114. Which is smaller: p or 0.89?
p
Let p = 211605/7 - 30137.