 p = -0.14 - 0.06. Let h = p + 9.2. Let o = 7 - h. Is o less than -1?
True
Let a = 17 + 1. Let i = -37/2 + a. Let q = 0.4 - -0.3. Is i smaller than q?
True
Suppose -4*p = 2*t - t + 103, 108 = -4*p + 4*t. Let c(j) = -j**3 - 3*j**2 - 6. Let w be c(2). Is w at least as big as p?
True
Suppose -40*p = -44*p - 8. Suppose -4*g + 16 = -2*m - 0*m, 3*m - 2*g = -4. Which is greater: p or m?
m
Let z(t) = t**2 + 3*t + 16. Let v be z(9). Let l = -125 + v. Do 3/35 and l have the same value?
False
Let q = 196 - 206. Which is smaller: q or -16?
-16
Let b = 0.047 + 23.253. Let g = -25 + b. Let x = 1.74 + g. Which is bigger: x or -1?
x
Let s = 2.2 - 2. Let z(r) = -7*r + 31. Let m be z(4). Which is bigger: m or s?
m
Suppose 3*h - 1 - 10 = c, 5 = 5*c + 5*h. Let x be 36/5054*199/2. Let d = -2/361 - x. Which is smaller: c or d?
c
Let r(g) = -g**2 - 3*g + 17. Let b be r(-6). Which is smaller: 2/89 or b?
b
Let o = 381.07 - 381. Do 0.29 and o have the same value?
False
Let k = -531 - -539. Which is smaller: 35 or k?
k
Let b be 412/(-854)*1 - 1. Let i be (-2 + 598/305)/(20/100). Let a = b - i. Is a < -1?
True
Let k = -1407 - -156179/111. Suppose -2*a = -2*y + 46 - 38, -4 = 5*y + 3*a. Is k at least as big as y?
False
Let l = 5917/3 - 1781. Let q(v) = -21*v**2 - 4. Let i be q(-3). Let y = l + i. Which is greater: -2 or y?
y
Suppose 8*k = 33 + 39. Which is smaller: k or 6/25?
6/25
Let u be 2/10 + 18/10. Suppose -327 - 203 = -u*k. Let t = k - 2917/11. Is t smaller than 1?
True
Suppose -l + 2*m + 8 = 0, -4*m - 4 = l - 0. Let r(u) = u**3 - 13*u**2 + 3*u - 9. Let k be r(13). Suppose 18 = -l*j - k. Is j bigger than -12?
False
Let y be 6/12*(-24)/(-356). Are 0 and y non-equal?
True
Let l(x) = 3*x**3 - x**2 + 1. Let w be l(-1). Suppose i - 3*c - 18 = -2*i, c = -3*i + 10. Let f be (2 - (-1 - -7)) + i. Which is smaller: f or w?
w
Let u = 2 + -2. Let r be 1 - -2 - 553/189. Let a = r + 19/108. Is u != a?
True
Let r(q) = -q**2 - q + 4. Let c be r(-3). Let x be (-3)/c + 242/10. Let s = x + -129/5. Which is smaller: s or 0?
s
Let h(u) = -u + 9. Let i(y) = -6*y + 55. Let j(n) = -34*h(n) + 6*i(n). Suppose 5*q - 49 = -4*k, -2*k - 3 + 22 = -3*q. Let f be j(k). Which is bigger: 7/10 or f?
f
Let s be (32/18 - (-9 - -14)) + 3. Which is bigger: -0.025 or s?
-0.025
Let i be 1081/(-13)*(-17)/(-374). Let x = -1645/88 + 119/8. Let w = x - i. Which is bigger: 1 or w?
1
Let m = 1 + -11. Let v = 4.9 + 8.2. Let f = 13 - v. Is m at least f?
False
Suppose 0 = 4*o - 2*h + 26, 2*o = o + 5*h - 11. Let m be (-78)/9 + 2 + 4/(-3). Let p(r) = r**3 + 8*r**2 - r - 8. Let y be p(m). Are o and y equal?
False
Let a = 2.1 - 2. Let b be (5/(-2))/((-6)/(-12)). Let c = -14/3 - b. Is a != c?
True
Suppose -8*s + 156 + 116 = 0. Suppose -j + s = 7. Is 27 > j?
False
Suppose 1225 = r + 4*r. Let g = -12003/49 + r. Which is smaller: 0 or g?
0
Let h be 1/(-3) - (-78)/153. Let m(c) = -2*c + 13. Let l be m(6). Which is greater: h or l?
l
Let b = -31 + 17. Suppose o = 3*o + 8. Let t be 407/77 - o/b. Are t and -2/7 unequal?
True
Let h = 1.8 - -0.2. Let p be (-7 + 9)/(0 + 9). Are h and p non-equal?
True
Suppose -5*a - 3*m - 3 = 5, 0 = -a - 4*m - 5. Let c = 8 - 10. Is c < a?
True
Let u(h) = h - 15. Let k be u(0). Let c be (-15)/(-10)*28/1. Let o = c - 58. Are k and o equal?
False
Let f = 36 - 22. Let w = f - 100/7. Let x = -5 + 5.09. Which is smaller: w or x?
w
Let d(x) = -x**3 - 8*x**2 + 7*x - 13. Let j be d(-9). Suppose -2*p = 5*s + 14, -5*s = j + 5. Let b = -80/3 - -542/21. Which is bigger: p or b?
b
Suppose 2*r - 4*j - 4 = 0, 0 = r - 5*r + 2*j + 8. Suppose 3*y - 102 = 5*q, -y = -r*q - 34 + 1. Suppose -5*t + y - 9 = 0. Which is smaller: 7 or t?
t
Let p be 4 + -3 + 1 - -3. Suppose i - 4 = -l, -i + 0*i = p*l - 12. Let d = 997 + -3981/4. Do l and d have different values?
True
Let y(w) = 4*w**3 + w**2 - 4*w - 5. Let d be y(-3). Let o = 70 + d. Let i(h) = -11*h. Let m be i(2). Is m at most as big as o?
True
Let o = 0.257 + -16.157. Let r = o - -16. Let w = 11 + -2. Is w != r?
True
Let l = 22 - 17. Suppose -5*c - l = -4*o - 0, 0 = -2*c + 2*o - 2. Is -1 != c?
False
Let t be ((-40)/6)/(20/(-30)). Let x = -10 + t. Let h be (18/10)/(6/4). Which is smaller: h or x?
x
Suppose -o + 8 = -7. Suppose p + 90 = -4*p. Let i = p + o. Which is bigger: i or -2?
-2
Let q = -69/4 - -1991/108. Which is smaller: 2 or q?
q
Suppose -3*c + 16 + 25 = 5*p, 0 = c + 5*p - 7. Is 127/8 > c?
False
Suppose 7*s = 2*s - 35. Let k(j) = j**3 + 7*j**2 + 2. Let b be k(s). Suppose 5 = -b*f + 39. Which is smaller: f or 0.1?
0.1
Let l(m) = -4*m - 3. Let r = 13 + -9. Suppose r*j + 4 = 0, 0 = 5*h + j - 0 + 11. Let p be l(h). Which is smaller: 1/2 or p?
1/2
Let i = 0.02 + -3.12. Let h = i - 7.9. Let d = 16 + h. Which is smaller: d or -2?
-2
Suppose -14*i + 56 = -23*i - 88. Suppose -5 = k + 6. Which is smaller: k or i?
i
Let x = 1 - -1. Let f = x + -2.06. Let u = f + 0.07. Which is greater: u or 0.2?
0.2
Let t = 26 + -16. Let r = t + -10.6. Let o = 0.2 + r. Which is greater: -2/9 or o?
-2/9
Let r(f) = -f**2 - 21*f - 50. Let y be r(-18). Let d = -6 - -13. Is y less than or equal to d?
True
Suppose i - 2*o + 8 = 14, -i = -o - 3. Which is smaller: i or -5/42?
-5/42
Let p = -3.09 - -3.29. Is -20 >= p?
False
Let p(f) = f**3 - f - 2. Let s be p(-3). Let n = -464 + 496. Let q = n + s. Which is smaller: q or 7?
q
Let j(x) = -x**2 - 5*x - 6. Let g be j(-4). Let q = 14 + -12. Let n = g - q. Which is greater: -7/2 or n?
-7/2
Let g = 28154/19 - 1481. Let d be (-6 - (1 + -7)) + 0. Is d >= g?
False
Let a = -1.96 + -0.04. Let r = 45.8 + -38.8. Which is smaller: r or a?
a
Suppose 0 = -147*h + 150*h + 6. Which is smaller: h or -11/12?
h
Let j = -3.52 - -5.07. Which is smaller: j or -0.1?
-0.1
Let t = 1 - 1.03. Let a = -0.1104 + 0.0404. Let y = t + a. Is y not equal to 1/3?
True
Let h be (226/24 - -3)/((-9)/36). Are 0.1 and h nonequal?
True
Let q = -9 - -12. Suppose q*s - s = 4*y, 0 = 4*y - 4*s + 8. Let l be 2/y*2/2. Is -2/5 smaller than l?
True
Suppose -4*b - 8 = 2*f, 3*b + 0 + 6 = 0. Suppose f = 8*h - 3 - 61. Let s be 5/2*h/10. Is 1 at least as big as s?
False
Let i = -251 - -1253/5. Are i and -2/35 equal?
False
Let x(o) = -o**3 - 2*o**2 + 6*o + 11. Let u be x(8). Let g be u/(-63) + (-4)/18. Let c be 3/(-2) - g/(-6). Which is bigger: -1/8 or c?
c
Suppose -120*p + 14*p = 11660. Does -114 = p?
False
Let r = -26 + -46. Let x = r + 76. Let u = -0.2 - -0.1. Is u >= x?
False
Let l = 2.84 + -3. Let d = 503 + -502.9. Which is smaller: l or d?
l
Suppose -3*u + 37 = 2*r, 5*r + 3*u - 98 = u. Suppose 0 = -2*x - r. Let p be (-16)/40 + 46/x. Is -5 at most as big as p?
True
Let c be ((-728)/(-16) - -11)*-38. Which is smaller: c or -2148?
-2148
Let i(j) = 6*j + 200. Let l be i(-37). Is 2 < l?
False
Let r = 19 - 17. Suppose y - r*m + 2 = 0, -m - 18 = 3*y - 47. Suppose 0 = -3*n - n - y. Is -2 != n?
False
Suppose -7*f + 124 + 86 = 0. Let i be f/5 + (-2 - 0). Suppose 3*w = 7*w - 3*z + 59, i*w + 5*z = -19. Are w and -9 nonequal?
True
Let r be (1 - 0)*0/(-2). Let m be 10/2 + (7 - (-12)/(-3)). Let l(y) = y**2 - 7*y - 11. Let g be l(m). Which is greater: r or g?
r
Let t = 25 + -24. Suppose -2*s - 12 = -4*y, 0 = 2*s + 5 - t. Suppose -4*a = b + 4, 2*b - 4*b - y = 2*a. Which is greater: b or -1/48?
b
Suppose 0 = 5*t - 2*s - 2, 1 + 7 = -4*t + 4*s. Let o be (t/(-6))/((-104)/(-4032)). Let p = 1098/91 + o. Which is smaller: p or -1/4?
p
Let m = -1900051/796 - -2387. Is m less than or equal to -1?
False
Let x be (-3 + 6)/(6 - 3). Let r(w) = -2*w**3 - w**2 + 3*w - 2. Let a be r(x). Is a bigger than -18/17?
False
Let s be ((-156)/(-10))/((-27)/(-90)). Suppose 4*d - w = -2*w + 29, 4*w = 5*d - s. Suppose 2*r + g + 3 = 0, -5*g - 2 = 5*r + d. Which is smaller: -1/4 or r?
r
Let q = -16 + 31. Suppose -q = -0*b + 5*b. Which is greater: b or -17/4?
b
Let f = 77 + -45. Let o = f - 44. Are o and -0.2 non-equal?
True
Let y = -88 + 89. Let p = -6 - -4. Let k be p/6 + (-5)/(-33). Is y at most k?
False
Let l = -10/33 + 18/11. Let t be 112/80 - 11/(-10)*(-352)/308. Which is smaller: l or t?
t
Let n = -84 - -34. Let q(d) = -d**2 + 10*d + 2. Let i be q(5). Let x = i + n. Do -22 and x have different values?
True
Let c = 13 - 22. Let u be 2/c + (-78)/(-108). Let x = 4 - 4. Is u bigger than x?
True
Let w be 3 - ((-964)/(-160) - 3). Suppose 3*r 