e 21/(-6) + (-2)/(-3). Let c = o - -7/3. Does c = x?
False
Suppose -5*l = -4*d + 62, -d = -l + 2*d - 19. Let x = l + 11. Which is smaller: 10/9 or x?
x
Suppose -u + 2*b + 10 = 0, 2 = 2*u + 7*b - 2*b. Suppose -u*f + f - 5 = 0. Let a = f + 4. Is a at least 2?
True
Let k = 61/280 - 3/40. Which is bigger: k or -1?
k
Let f(t) = -t**2 + 6*t - 5. Suppose -4*k - 2*a + 2 = -6, -14 = -2*k + 4*a. Let s be f(k). Is s at most as big as 2?
False
Let o = 17 + -15. Which is greater: 14/5 or o?
14/5
Let x be (-2)/7*(-7)/9. Let m = -10 + 17. Suppose -5*q = p - 1, 2*p = m*p - 3*q - 5. Is p bigger than x?
True
Let v = -43 + 44. Are v and 2/109 nonequal?
True
Suppose -w = -0*w - 5. Suppose 25 = w*c - 10. Does c = 0?
False
Let y = 0.046 + 4.254. Let d = y - 0.8. Let k = d + -4. Which is smaller: k or 1?
k
Let c be 910/(-8) - 6/(-12). Let u = c - -115. Which is greater: 2 or u?
2
Let r = 12 + -11.99. Let t = 1.91 - 0.9. Let h = t - r. Do -1 and h have different values?
True
Let u = 1 - 1. Let d = -35 + 37. Suppose u*p - 6 = -d*p. Is 1 <= p?
True
Let u(s) = s**2 - 8*s + 8. Let p be u(7). Let w(c) = 1. Let a(d) = d + 1. Let z(y) = p*a(y) + 6*w(y). Let f be z(-4). Which is bigger: -1 or f?
f
Let v(j) = 6*j**2 - 1. Let g be v(1). Suppose 4 = -i + u + 9, 16 = 2*i - g*u. Which is bigger: 9 or i?
9
Suppose 2*g - 1 = -3. Is -1/3 > g?
True
Let j = -2 + 1. Let c be (3/(-21))/(3/(-6)). Is j smaller than c?
True
Let c = 126.7 - 127. Is -10/9 less than or equal to c?
True
Let o be (-4)/6*(-348)/(-860). Let c = o + 3/43. Is -1 != c?
True
Suppose 0 = h + 2*h. Let k = -3 - h. Let o be (-2)/(-6)*2*-6. Is o less than k?
True
Let w = 83 + 127. Let b be (-4)/(-22) - w/(-55). Suppose -r + d - b = 0, -4*r - 4*d + 11 = d. Is -1/4 greater than r?
True
Suppose 0 = v - 2 + 1. Is 10/7 less than v?
False
Let a(t) = t**3 - 7*t**2 + 7*t - 5. Let b be a(6). Let w(l) = -3*l + 7. Let h be w(4). Let i = h + 4. Is b at least i?
True
Let m(v) = -v**2 + 2*v + 4. Let u be m(4). Let w be -1 + u - (1 - 1). Let l be 4/(-20) - 1/w. Which is smaller: 1 or l?
l
Let b be 1*(5*9)/3. Suppose -3*c + 8*c = b. Let x be (0/(c - 4))/1. Which is greater: -2/9 or x?
x
Let l be 1/((-4)/(16/(-4))). Let n = 45.3 - 48. Let j = n - 0.3. Which is smaller: j or l?
j
Let k = -94/285 - 4/57. Suppose 3*l = -2*d + 5, l + 6 = 3*l + 2*d. Is k smaller than l?
False
Suppose 2*k - 4 = -5*s, -8 = 3*s - 4*s + 2*k. Let p be (0/s)/1 - -2. Is p equal to 1?
False
Let u be 2/8 - 11/(-4). Let c = 2 - u. Let p = 65 - 197/3. Which is greater: c or p?
p
Suppose 3*h - 2*y + 0*y + 11 = 0, y = h + 5. Let g = -2 - 1. Is g equal to h?
False
Suppose 9*c + 2 = 8*c. Which is greater: -0.4 or c?
-0.4
Let j = -2.07 - -2. Let x = -0.12 - j. Which is greater: x or -0.2?
x
Suppose 3*w + 48 = 3*h, -2*w - 3*w - 2*h = 73. Is w equal to -15?
True
Let z = 155/63 + -17/9. Let t = -12 + 18. Let a = -7 + t. Which is bigger: z or a?
z
Suppose -3 = -3*w + 2*w. Let n = w + -4. Let k = 30 + -29. Which is greater: n or k?
k
Let f = -23 - -22. Which is smaller: -3.5 or f?
-3.5
Suppose 0*u - 3*u = 0, 4*p - 3*u = 12. Suppose -5*d = -20, -29 = 3*o - p*d - 8. Suppose 0*f = -2*f + q - 3, -4*q = 2*f + 18. Are f and o unequal?
False
Let v(f) = 17*f + 5. Let i be v(-4). Let x be 0 + 4 - (-234)/i. Is x >= -1?
True
Let k(o) = -3*o**2 + o. Let p be k(1). Let l be p - (5 - 0/1). Let g(y) = -6*y + 48. Let q be g(9). Which is smaller: l or q?
l
Suppose -3*j = -a - 6, 6*a + j = 4*a + 9. Suppose -k - a = -2*k. Let s be (k - 3)*2/(-2). Which is smaller: 0.1 or s?
s
Let x be (2 - (-2 + 3))*2. Suppose -5*p = 4*s - 4, 3*s - p - 1 = x*s. Which is smaller: 3/4 or s?
3/4
Let i = 21 - 20. Do 4/9 and i have different values?
True
Let v = -61/28 + 17/7. Is v less than 0.092?
False
Let h = 133817607079071/1554607145 + 8/44417347. Let f = 86096 - h. Let j = 91/5 - f. Which is bigger: j or 2/17?
j
Suppose -2*y + 2*m + 12 = 0, y + 16 = 6*y + 2*m. Suppose 4*u - c - 1 = -4, y*c + 2 = 2*u. Which is greater: 1 or u?
1
Let z = 263/68 - 50203/884. Let i = z - -53. Is -1 not equal to i?
True
Suppose -3*d = 5 - 8. Is 1 >= d?
True
Let f = 14.4 + -21.4. Let g = -49/15 - -11/3. Which is smaller: f or g?
f
Let r = -0.07 - 0.03. Let l(q) = 3*q - 3. Let u be l(2). Suppose 0*k + u = -3*k. Is r less than k?
False
Let q = -143 + 22735/159. Let g = q + 646/795. Is 2 greater than g?
True
Let v = -3 - -3. Suppose z = 3*i + 3, 3*z + i + v = -1. Is 0 <= z?
True
Suppose 3*b - 6*b + 6 = 0. Suppose -13*o = -12*o + b. Is 0 greater than o?
True
Let q(l) = -8*l - 1. Let z be q(-1). Let c = z - 13. Let n be (-1 - c)*(-8)/60. Which is bigger: n or 1/6?
1/6
Let r = 225/4 - 56. Is r > -18?
True
Let b be (12/(-10))/((-2)/5). Suppose 3*g + b = -h, 2*h + 7 = -2*g + 1. Suppose g = -3*x + x - 4. Which is greater: -1 or x?
-1
Let w be 1*3 - (1 - 3). Let i be (w - 3) + (-19)/8. Are i and 0 unequal?
True
Let y be ((-7)/14)/(1/(-52)). Is y <= 26?
True
Let i = 16 - 12. Let f be 300/44 - i/(-22). Is f < 8?
True
Let m(v) = v**3 + 4*v**2 + 5*v + 7. Let l be m(-3). Let y = -1 - -1. Is l greater than y?
True
Let q be -4 + 4 - (0 - 5). Suppose -q*n = -4*n + 4. Let x = 4 + n. Is 2/7 not equal to x?
True
Let h = 4.7 + -9.6. Let m = -5.1 - -0.1. Let d = m - h. Which is smaller: d or -0.3?
-0.3
Let j = 2 + 0. Suppose -j = -d + 8. Let z be 7/(-40) + (-2)/d. Are -1 and z non-equal?
True
Suppose -b = -5*f - 1715, f + b = -b - 332. Let c be -5*(-2 + f/(-165)). Which is greater: -1 or c?
c
Let t = -0.36 - 0.24. Is t < 0?
True
Suppose -4*m + 12 = -2*a - 0*a, 5*a + 3*m = -4. Let f(h) = -h**2 + h + 685. Let k be f(0). Let d = k + -7541/11. Is d not equal to a?
True
Let o(z) = 14*z**3 - 2*z + 1. Let u be o(1). Suppose -g + 13 = -2*q + 2*g, g = 5*q + u. Which is smaller: q or -3?
-3
Let m be (-2)/5 - (-36)/(-60). Does -2/97 = m?
False
Let q(z) = z**2 - z - 1. Let h = -2 - -2. Let s be q(h). Let r be s + 0 - -3 - 2. Is r less than or equal to 0?
True
Let h be 12/(-4) + 1*2. Suppose 4*i - 21 - 3 = 0. Let r = i + -31/5. Which is smaller: r or h?
h
Let l = -12 + 12.11. Let z = -3.89 - l. Let x = 31 - 30. Which is smaller: x or z?
z
Let s(c) = -c**3 - 8*c**2 - 6*c + 7. Let r be -1*(0 - -1)*13. Let u = 6 + r. Let k be s(u). Which is smaller: 1 or k?
k
Suppose -3*o - k + 24 = -2*k, -2*o = 3*k - 16. Is o bigger than 8?
False
Let k(p) = -3*p + 5*p + 1 - 2. Let v be k(1). Is 0.3 smaller than v?
True
Let y(x) = x**2 + 9*x + 6. Let s be y(-9). Suppose -22 + s = -4*v. Let g be v/(-6)*6/4. Is 4 != g?
True
Let f = -0.6 - -0.65. Let s = 2.85 - 3. Let n = s - f. Is 0.2 at most n?
False
Let w be (-1)/3 - (-32)/(-12). Is w bigger than -22/5?
True
Let a = -702/5 + 139. Is a at most as big as -2?
False
Let s be ((25/5)/(-20))/(17/(-40)). Is 2 < s?
False
Let f = 7.5 - 7.72. Which is smaller: f or -0.1?
f
Let w be (-8)/(-12) - (-5)/(-3). Let o = 0 + 0. Which is greater: w or o?
o
Let y = -20 + 19.9. Let l = y + -2.9. Which is smaller: l or 1?
l
Let w be 1 + (-52)/(-7) + 0. Let a = 517/63 - w. Which is greater: 0.3 or a?
0.3
Let n be 1 - 5 - -1 - 371/(-112). Are -1 and n equal?
False
Suppose -5*u = 2*p - 3, 4*p - 4*u + 6 = -2. Which is greater: 2/7 or p?
2/7
Suppose -4*z + 43 = 143. Let v be 2/(-5)*z/(-20). Which is smaller: v or 0?
v
Let z be (-76)/(-3) - (-3)/(-9). Let p = z - 25. Which is greater: p or -2/27?
p
Suppose 5*n - 17 = 3*j, j = n + 2*j + 3. Which is smaller: 7/6 or n?
n
Let q be 2/(-4)*18/9. Is q greater than -4?
True
Let o(n) = n**2 - n + 3. Let s be o(3). Suppose -2*b + 32 = 2*b. Is b greater than or equal to s?
False
Suppose 5 = 4*y + 9. Which is smaller: -16/13 or y?
-16/13
Let b = -4.7 - -5. Let d = 0.29 - 0.19. Which is smaller: b or d?
d
Let u(v) = -v**3 - 5*v**2 - 6. Let g be u(-5). Let r = g - -6. Suppose 5*h - 5*b = r, 0*h - h + 4*b = -12. Is -3 at least as big as h?
True
Suppose 3*k = -1 + 16. Suppose -j - 5*n - 7 = -k*j, 2*j - 4 = 2*n. Which is greater: 7 or j?
7
Let w be 0*-4*1/(-12). Are w and -1/3 equal?
False
Let i(d) = 2*d - 25. Let o(p) = -p + 13. Let m(f) = 4*i(f) + 7*o(f). Let l be m(7). Let r = 2.9 + 0.1. Is r greater than or equal to l?
True
Let f = -0.16 + 0.06. Is 2/99 bigger than f?
True
Let g = 3.5 + -3.51. Is -2/9 less than or equal to g?
True
Let p = 4.9 + -5. Let z = 0.2 + p. Is 10 bigger than z?
True
Let u(h) = 10*h**3 + h - 1. Let o(j) 