ppose 5*i - 2*l + 295 = 0, -2*i + 20*l - 99 = 23*l. Is -279/5 less than or equal to i?
False
Suppose 0 = 2*b + 4*h - 18, -2 = 3*b - 4*h - 9. Suppose 3*a + 73 - b = -q, -5*a + 2*q - 117 = 0. Which is greater: -24 or a?
a
Suppose 3 - 8 = 5*a - 5*q, -2*q = 2*a - 10. Suppose 2*n - x + a*x - 52 = 0, -4*n + 4*x = -116. Is n >= 26?
True
Suppose -5*f = -4*f - 10*f. Is f < -3/1315?
False
Let j = -190 - -272. Let z = j + -86. Which is smaller: z or -2?
z
Let u = 22/6025 + -375841/2277450. Let g = 1/54 + u. Which is smaller: g or 1?
g
Suppose -5*m - 4*c = -23, 20 = 3*m - 2*c - 7. Let g = m + 6. Are g and 13 nonequal?
False
Let o(w) = 4*w + 35. Let h be o(-8). Suppose -4*a = -a + h*m + 6, 4*a + 5*m = -5. Which is bigger: 0.02 or a?
0.02
Suppose 0 = 6*r - 2*r - 2*i, 0 = -2*r - 3*i + 8. Which is bigger: r or 19/20?
r
Let g = -88 - -58. Let y = g - -32. Suppose 3 = -4*b + 15. Which is bigger: y or b?
b
Let h = -1134 + 3319/3. Which is bigger: h or -29?
h
Suppose 4*o = -z - 2*z + 63, -z = 2*o - 31. Let x be 2/3 + (-325)/o. Let w be (-4)/(-2)*7/x. Is w bigger than -0.02?
False
Suppose -13*d - 127136 = 103*d. Is -1095 greater than or equal to d?
True
Suppose g = 4*c + 1, 3*g = 4*g - c - 16. Let w be 0 + g - (5 - 3). Let m(f) = -f**2 - 12*f + 14. Let i be m(-13). Which is greater: i or w?
w
Let j = -34 + 24. Let w = j - -9.3. Let k = -0.6 - w. Which is smaller: k or 1?
k
Let q be 0/(8 + (-45)/5). Which is smaller: q or -2/635?
-2/635
Let i(n) = 1. Let o(m) = m**3 + 2*m**2 - 3*m + 4. Let l(q) = -4*i(q) + o(q). Let d be l(-3). Let y be (6/18)/((-4)/(-12)). Is y != d?
True
Let x = -1218875/2046 - 100/1023. Let s = x - -590. Which is smaller: -7 or s?
-7
Let o = -0.05 - 10.95. Let f = 14 + -2. Let m = o + f. Is m >= 0.3?
True
Suppose 0 = -2*q - 4*n - 26, -q - 2*n - 3*n = -2. Is 1 at least q?
True
Suppose 0 = 4*z - 3*u - 20, -5*z - 5*u - 1 = -26. Suppose -k - 5 = z*o, -5*o - k = 3*k + 5. Let i be (-4 - o) + 1 + -2. Is i at least -3?
False
Let d be 2 - (8/28 - 1166/(-672)). Which is smaller: d or 0?
d
Suppose -5*j + 3*j + 3*j = 0. Suppose 2*m = 2*i - 3 + 1, 2*m - 4*i + 6 = j. Is 1/13 at most m?
True
Suppose 38*y - 35*y = -3*q - 3, 2*q = 3*y - 12. Suppose 5*m - 3*m - a - 51 = 0, -5*a = 3*m - 44. Suppose -2*o = -8, -m = -3*h - 5*o + 9. Is y < h?
True
Let n(f) = f + 9. Let g be n(-4). Suppose 0 = -4*j - 5*y - 19, j + g*y = -0*y - 16. Let a be -3 + 3 - 0 - j. Is a at least 1?
True
Let l = -0.04119 + 0.04119. Let w = 7/22 - -2/11. Which is smaller: w or l?
l
Let d be ((-2)/(-8))/(6552/(-1312) - -5). Which is smaller: d or 42?
d
Let z be -6*(-4)/8 + -8. Suppose 5*d = 5*h - 35 + 90, -7 = -3*h - 5*d. Is z greater than or equal to h?
True
Let o = -0.2 - -4.2. Suppose 52 = -8*q + 4*q. Let t = -37/3 - q. Which is smaller: o or t?
t
Suppose 2*f - 12 = -32. Let u = f + 10. Let s = u + -1. Which is bigger: -7 or s?
s
Let v(p) = 53*p**2 + 103*p - 5. Let i be v(-3). Is i > 164?
False
Let d(u) = u + 1. Let h be d(-8). Suppose 5*g + 4*b - 9 = -0*g, -g = 2*b + 3. Let s = g + h. Which is greater: s or 2?
2
Let p be 145/4 - (-2)/(-8). Suppose 23*v = 16*v + 238. Let b = v - p. Which is smaller: b or -3/4?
b
Let j = -13 - -8. Let x be (-2)/(((-10)/(-3))/(-5)). Suppose -4*z = -x*z + 5. Is z > j?
False
Let u = -59/78 - -12/13. Let o = -1.4 - 0.2. Let a = -1.3 - o. Are u and a nonequal?
True
Suppose 2*b = 4*a + 54, 11 = -4*a - 1. Let n be (184/14)/(2/b*3). Which is smaller: n or 1?
1
Let y = -5857/650 - -189/50. Is y at most as big as -1?
True
Suppose i = 3*p + 5*i + 21, 0 = i. Let j = p - -30. Let o = 14 - j. Are o and -10 non-equal?
True
Let z be (12/(-300))/(-2 - (-27)/6). Is -1 equal to z?
False
Let c = -1751 - -1750. Is c >= 1/317?
False
Let k(v) = -13*v**2 + 145*v - 24. Let i be k(11). Suppose -g = 2*b - 7*b + 2, -2*g - b = -7. Are g and i non-equal?
True
Suppose 0 = -5*p + 3 + 72. Let l be (-36)/(-48) - p/4. Is l <= -2?
True
Suppose g = z + 154, -z = -g - 2*g + 144. Do -160 and z have different values?
True
Suppose 0 = 3*p - p. Let i = -338 + 340. Is p at most as big as i?
True
Suppose -144 = 3*d - 3*a, -4*d + 5*a - 189 = 2*a. Which is smaller: -42 or d?
d
Let q be (-9 + 3)*(1 - (-1 + 4)). Is q greater than 12?
False
Let z = -1002 - -1025. Is z bigger than 19?
True
Let v be (-5420)/55 - (140/(-55) + 2). Is v smaller than -100?
False
Suppose -1 = 5*w - 16. Let y be (2/(-4)*w)/(-9). Let c(o) = 17*o - 69. Let a be c(4). Which is smaller: a or y?
a
Let q be (2/(-6))/(24/(-4104)). Is q < 59?
True
Let w = 558 - 553. Let y(v) = -v**3 + 3*v - 3. Let o be y(2). Is o <= w?
True
Let c = 3 + -2.9. Let a = -5.1 + c. Let v = a - -15. Which is bigger: v or -0.1?
v
Suppose g + 4*f = -2*g + 36, 3*f = -2*g + 24. Suppose -5 = 11*l - g*l. Are l and 6 unequal?
True
Let t be 10 - (-3)/2*-2. Let q be 32/(-14) - (-2)/t. Let h(c) = -4*c**2 - 2*c + 2. Let i be h(q). Is i <= -9?
True
Suppose -4*z - t + 181 = -184, -288 = -3*z + 4*t. Let g = 94 - z. Which is smaller: 7 or g?
g
Let g = -419 - -687. Is 267 >= g?
False
Let k = 37 - 37.04. Let b = 0.1 + k. Is -0.1 less than b?
True
Let n(l) = 2*l**3 + 11*l**2 - 6*l + 6. Let x be n(-6). Let q(j) = -j + 7. Let w be q(x). Is w <= 1?
True
Suppose 5*q = m - 12, q = -5*m - 0*q + 8. Let h be (2/(-6))/(m/(-6)). Let z = 25/7 - 40/21. Is h < z?
True
Let x(k) = -k**3 - 11*k**2 + 2*k - 5. Let m be x(-11). Let g be 11/308 - 2/(-8). Is g <= m?
False
Suppose 2*t - 846 = 3*c, 3*c = -t - 349 - 506. Let j be 3/(-1) + (-860)/c. Is j smaller than 0?
False
Let c = -17 - -21. Suppose c*n = -3*s - 7, -3*s + 3 + 18 = -3*n. Which is bigger: 12/5 or s?
s
Let k(b) = -b - 20. Let a(u) = -11*u. Let l be a(1). Let n be k(l). Let x = 26 - 33. Which is bigger: n or x?
x
Let m(o) = 5*o**3 + 3*o + 3. Let w be m(-2). Let l = 25 + w. Let q = l + 13. Which is greater: -1/4 or q?
-1/4
Let k = -0.9 - -0.1. Let c = 77.2 - 79.2. Is c >= k?
False
Suppose -9*m - 89 + 368 = 0. Let l(r) = -2*r**3 + 26*r**2 + 31*r - 10. Let a be l(14). Does m = a?
False
Let f be 5*-12*6/40. Which is smaller: f or -91/11?
f
Let i be (-3)/21 - 687/(-7). Let o be 12/220*i/(-3). Let f = o - -24/11. Which is greater: 0.7 or f?
0.7
Suppose -3*i - i - 4*l = 8, 5*i = -3*l - 8. Let r = 1 - -1. Suppose -r*q = 2*q + 4. Is q < i?
False
Suppose 3*s + 9 = -3*l - 15, 8 = -s - 5*l. Let n be (4/6)/(s/12). Let d = -0.0218 - 0.1782. Is d greater than n?
True
Let l = 10 - 7. Suppose -3*n = 3*r + 2*n - 74, 0 = -5*r - l*n + 134. Let t be (1 + -2)/(r - 1). Is t greater than 0?
False
Suppose d + 2*d = 0, 0 = -5*i - d + 190. Let b = i + -29. Which is bigger: 23/3 or b?
b
Suppose -h - 59 = -411*z + 408*z, 140 = -4*h - 4*z. Suppose 0*d - 5*d = 200. Which is greater: d or h?
d
Suppose 28*v - 22 = 6*v. Which is smaller: v or -1/4935?
-1/4935
Suppose 0 = 2*b + 6. Let m be (b/2)/(3/4). Let a be -6*1 - (-5 + 0). Which is greater: a or m?
a
Suppose 0 = 2*l + 2*l - 52. Suppose -2*p - 8 = p + 4*o, -5*o = 10. Let a = p + 13. Does l = a?
True
Let g = -46197/34 - -1359. Is 0.1 not equal to g?
True
Let v = -0.26 - -2.66. Let p be -7 + 4/(-3) + (30 - 22). Which is smaller: v or p?
p
Suppose -21*z = -42*z + 4662. Is z > 222?
False
Let h be 4/(3 + -1) - -2. Suppose 3*r + 13 = -h*i - 0*i, -r + i = -5. Let x be (0 - r) + (-81)/(-83). Does x = 0?
False
Let n = -15 - -37. Let t be -2 + 1 - (-3 - -2 - n). Are t and 22 equal?
True
Let j = 899/2150 + -9/25. Are j and 0 unequal?
True
Let b = -172 + 220. Is b greater than 52?
False
Let f = 48 - 161. Is -0.1 less than or equal to f?
False
Let w be 0/(1/((-2)/(-2))). Let z(j) = -3*j - 25. Let l be z(-8). Let y be (-6)/(-36) + 0/l. Does y = w?
False
Let g(d) = -402*d + 4. Let w be g(2). Let z be ((-8)/(w/(-15)))/(3/(-14)). Are z and 2 equal?
False
Let f(x) = x**3 + 30*x**2 + 52*x - 113. Let w be f(-28). Let u be 68/(-120) - 2/(-5). Which is smaller: w or u?
w
Let d = 9 - 39. Let a be -4 - (d/(-20))/(2/(-4)). Is a at most -4?
False
Let u(z) = z**3 - 4*z**2 - z + 8. Suppose -m + 16 = 3*r, -4*r = 7*m - 2*m - 36. Let o be u(r). Is 2/5 smaller than o?
True
Let h(d) = 52*d - 121. Let m be h(-9). Which is bigger: m or -0.1?
-0.1
Let k(l) = 42 + 2*l - 71 + 38. Let h be k(5). Let x(y) = -4*y - 5. Let q be x(-6). Is q greater than or equal to h?
True
Let r be (0/(-1))/(2 + 0). Let y(x) = -x**3 + x**2 - x - 2. Let l be y(r). Let d be l + 