. Is t < m?
True
Let m = -3.198 + 3.108. Are m and 0.06 nonequal?
True
Let d = -797893/9 - -88806. Let h = d - 151. Let p = 9 + -8.9. Is h less than or equal to p?
False
Let n be 570/(-1148) - 1/(-2). Let k = -6587170355/6888 - -5737957/6. Let d = k + n. Is d at least 0?
True
Let o = -61622/7 - -8849. Let l = o - 10579/231. Suppose 89*t = -16*t. Are t and l equal?
False
Let n = -1166 - -1169. Is n greater than -9/49?
True
Let x = 13173 - 39919/3. Is x != -134?
True
Let x(g) = -g**3 + 21*g**2 - g + 26. Let a be x(21). Suppose -2*d + a*q = 195, -7*d + 5*q = -10*d - 305. Which is smaller: d or -101?
-101
Let r = -11 + 14. Let s be -14 - r*(-2 - -1). Let i(q) = q**3 + 11*q**2 - q - 10. Let n be i(s). Is 4/5 bigger than n?
False
Suppose 3286 + 7274 = -24*j. Which is smaller: -0.3 or j?
j
Let f be (-6)/4 + 138/60. Let k be (2 - 1) + 1 + -2 + 0. Which is greater: k or f?
f
Suppose -5*b = -100 + 40. Are 12 and b unequal?
False
Let m be 124 - 2/(-2)*3. Suppose -4*b = -m + 35. Suppose -x - x - b = -5*f, -4*f + 21 = x. Which is greater: x or 3?
3
Let r(z) = -z**2 + z. Let y(u) = 9*u**2 - 6*u - 4. Let x(t) = 5*r(t) + y(t). Let v be x(-3). Is 36 less than or equal to v?
False
Let l = -2.75 - -2.85. Let q(s) = 2*s**2 - 4*s - 3. Let z be q(-4). Is z less than l?
False
Let p be (2 - -2)/((-380)/(-38)). Let g = -173 + 165.3. Let r = g - 0.3. Which is smaller: r or p?
r
Suppose 0 = 5*j + p + 51, -29 - 26 = 5*j + 5*p. Let g = 34 + j. Suppose -12 = 5*s - n - 2, 5*n = -s + g. Is s bigger than -4/7?
False
Let u(w) be the second derivative of w**5/20 - 5*w**4/12 + 3*w**3/2 - 3*w**2/2 + 18*w. Let z be u(4). Is z > 17?
False
Let c(v) = -13*v + 27*v - 2*v**3 + 2*v + v**3 - 13*v**2 - 9. Let p be c(-14). Which is smaller: p or -38?
-38
Let o be (10/(-3))/(2/(-186)). Suppose 0 = 5*v - o + 50. Let r be (-1)/5 + v/160. Which is smaller: 1 or r?
r
Let d = -30.4 - -5.4. Let x = -27 - d. Which is smaller: x or -0.7?
x
Let u = 11 + -6. Suppose -45 = 3*m - q + 113, 0 = -m + u*q - 34. Let z be (-1 - -16)*4/m. Which is bigger: z or -2?
z
Let a = 0.18 - -0.62. Let p = 0.3 - a. Let v be ((-1)/(-2))/(2/(-4)). Is v at most p?
True
Let o(k) = -9*k**3 + k**2. Let y be o(-1). Let l be 5/(-8) + 5/y. Which is smaller: l or 0?
l
Let u be (-63)/(-14)*(-4 - (-14)/5). Is u smaller than -5?
True
Let c(h) = -h**3 - 30*h**2 + 14*h - 9. Let k be c(-30). Which is smaller: k or -428?
k
Let t be 0 - 35*(-3 - (-43)/5). Let k = 3329/17 + t. Is k at most -1?
False
Let z be 1/(-2)*3/8. Let u = -16 - -23. Let k(o) = -o**2 + 7*o - 1. Let l be k(u). Is z <= l?
False
Let c be (948/(-1106))/((-1)/(-7)). Is c less than or equal to -69/10?
False
Let b = 12175 - 110365/9. Is -89 at most b?
True
Let l = -1272.157 + 1272. Which is greater: 6 or l?
6
Let c be (4466/(-7))/2 - -2. Do -320 and c have different values?
True
Let a = -36529/41 - -891. Let u be 1/(20/4 + -4). Which is bigger: a or u?
u
Suppose -38*t - 18 = -47*t. Is t smaller than 3?
True
Let v be (8 + -2 - 7) + 4. Is 23/12 > v?
False
Let y = -0.118 + -1.682. Is y less than or equal to -2/23?
True
Suppose 2*k = -0*k + 42. Let r = 16 - k. Let o be (0 - 0) + (-6 - r). Which is greater: o or -2?
o
Let n = 25 - 26. Let t be -2 + (-82)/(-26) + -1. Are t and n non-equal?
True
Let z = 738 + -672. Is z at most 337/5?
True
Suppose 4*b + 0*b = 160. Let m = -68 + b. Let i be (48/m)/((-1)/(-7)). Which is smaller: -13 or i?
-13
Let s = 82 + -159. Let k be (-2)/(-2 + 0) + 99/s. Which is smaller: -1 or k?
-1
Let o be (2/8)/(5/(-14)). Let x = -14308 + 14309. Does x = o?
False
Let a = -0.34 - 15.66. Let z = 13 - a. Let g = 28.9 - z. Is g bigger than -12?
True
Let z = -23.789 + 23.8. Is z < 0?
False
Suppose -f - 16 = -4*r + 75, 5*f = -15. Let g = 34 - r. Let o = 9 - g. Is -1/3 less than or equal to o?
False
Suppose 237 = 10*y - 43. Which is smaller: 24 or y?
24
Let c(o) = -o**3 + 5*o**2 + 4*o - 5. Let b be c(5). Let v = b + -8. Suppose 3*s - 5*x + v = 0, 2*s - 28 = -s - 2*x. Which is greater: s or 5?
s
Suppose 30*j + 411 = -1029. Which is smaller: -53 or j?
-53
Let h be (-190)/(-8) + (-1)/(-4). Let w = h - 11. Suppose 2*u - 20 + 23 = 31. Is w < u?
True
Let x = 3 + -331. Let h be 22/(-99) + x/(-18). Suppose -2*g - 10 = 0, 0*c = 4*c + 2*g - 58. Is c smaller than h?
True
Let c = 7 - 0. Let x(j) = j**2 - 5*j - 4. Let r be x(c). Let k be (-7)/((-28)/32) + 1. Is r <= k?
False
Let n be 2/(-6) - (-10)/(-15). Which is greater: n or -3/265?
-3/265
Let s be (-1)/(-3) + (-4)/12. Suppose 0 = 3*p - 29 + 89. Let o be (-8)/(-42)*5/p. Which is smaller: o or s?
o
Let i = 736 - 735. Is 56 greater than i?
True
Let y(a) = -3*a - 27. Let v be y(-10). Let n be (-190)/(-210) + v/7. Which is greater: n or 1?
n
Suppose 20*l = 31*l + 11. Is -3/22 smaller than l?
False
Suppose 4*v + 5*d = -7, 2*v + 0 = -3*d - 5. Suppose 7*r + v*r = 63. Which is bigger: 5 or r?
r
Let u = 30543/10 - 5975/2. Is u bigger than 1?
True
Let f = -1296 + 1307. Is f less than 18?
True
Let r(w) = -3*w + 9. Suppose 17 = p + 5*d - 12, 3*p = -4*d + 32. Suppose p*x + l - 29 = 0, x - 5*l = -4*x + 30. Let t be r(x). Which is smaller: -13 or t?
-13
Let c(y) = 6*y**2 - y - 1. Let p be c(1). Let n(f) = 2*f - 9. Let k be n(p). Is -4 equal to k?
False
Let x(k) = k**2 + 42*k - 651. Let c be x(-54). Which is bigger: c or -4?
c
Let o(q) = q**3 - q**2 + 1. Let s be o(-1). Does s = -4/15?
False
Let k = 2 + -8. Suppose 31*z + 41*z - 54*z - 36 = 0. Is k at least as big as z?
False
Let f be ((-6)/(-15))/((-2)/(-1640)). Let l be (-2)/(-5) - f/20. Let o = l + 9. Is o smaller than -6?
True
Let n = 766 + -296. Which is smaller: -2/9 or n?
-2/9
Let p = 1280 + -556. Which is bigger: p or 723?
p
Let t(b) = -3*b**2 - 55*b + 273. Let n be t(18). Is n equal to -1690?
False
Let b = -141/13 - -11. Let q(x) = -3*x + 12. Let u be q(8). Let o be u/18 + 2/(-6). Is b at least o?
True
Suppose -4*u + 4 = -3*y, 2*u - 2 = 4*y - 5*y. Let k be (-9)/(756/(-16)) - 30/36. Is k at least as big as y?
False
Let n(t) = t**3 + 4*t**2 - 3*t + 4. Let f be n(-4). Let q be (-76)/(-171)*(-6)/f. Which is smaller: q or -2?
-2
Let f = -38009/7 - -5445. Is 16 at most f?
False
Let d = 5.07 - 5. Let h = -334.93 + 329. Let k = h - d. Does 0.1 = k?
False
Let j be (-6 - (-6976)/1164)*(2 - -7). Let x be (1617/582)/(18/(-4)). Let q = j - x. Is q less than or equal to 0?
False
Let j = 118 - 82. Let x = 81 - j. Suppose c - 3*t = -c - x, -5*t + 105 = -5*c. Is -18 <= c?
True
Let z be 24/10 + -6 + 4. Is z not equal to 1/1814?
True
Let j = -47 + 49. Suppose g + g = j. Is 0.3 not equal to g?
True
Suppose -k + 761 = 5*i, 8*i = -k + 11*i + 753. Are 755 and k equal?
False
Suppose -3*q + 0*q + 18 = 0. Let u(r) = -5*r + 30. Let g be u(q). Which is smaller: -2/23 or g?
-2/23
Let y(s) = s**2 + 2*s + 13. Let t be y(4). Which is smaller: t or 27?
27
Suppose 367 + 2449 = 16*n. Is 178 smaller than n?
False
Let m(n) = n**3 - 8*n**2 - 10*n + 13. Let u be m(9). Suppose -34 = -6*t - u. Suppose -t*l - 3*j - 9 = -0, 0 = -3*l + 2*j + 6. Which is smaller: l or 2/43?
l
Suppose -440 = 127*u - 123*u. Is -109 greater than u?
True
Let o(x) = x**2 - x - 3. Let c be o(2). Let l be -3 + (-2)/c + (-3 - 0). Is -4 less than l?
False
Let l(g) = g**3 + 7*g**2 + 5*g - 2. Let w be -27*-1*1/(-3) - -3. Let o be l(w). Is -4/5 bigger than o?
False
Suppose 3*n = -2*a + 11, -4*a = 3*n - 6*n - 13. Suppose 5*r + 16 = -2*o - o, -2*r - 12 = 4*o. Let l be r/(-9) + 16/72. Is n less than l?
False
Let l(s) = -7*s**3 + s**2 - 9*s + 9. Let v(b) = 6*b**3 - 2*b**2 + 9*b - 8. Let y(x) = -5*l(x) - 6*v(x). Let n be y(7). Let u be (n/16)/5*4. Does -5 = u?
False
Let x(p) = 4*p**3 - 33*p**2 + 4*p - 2. Let n be x(8). Is n smaller than -30?
True
Suppose -4*t + 5*n + 4 = 0, -4*t = -8*t - 2*n + 32. Let j be -1*((-32)/(-12) + (-4)/t). Is 0 >= j?
True
Let w = 913/2 + -1837/6. Is 149 <= w?
True
Let s = -2341/11680 + 1/2336. Let v = 6/13 + -44/39. Which is smaller: v or s?
v
Let n be 21/(-12)*-4 - -108 - 6. Is n greater than 109?
False
Let n be (-722)/(-12) - 82/123. Is 60 < n?
False
Let r be (145 - 140) + ((-62)/20 - 2). Which is bigger: r or -13?
r
Let z = 25 - 25. Suppose z = 3*y + 7*y - 20. Let i = 1 + -1.5. Which is bigger: y or i?
y
Suppose -4*b = -2*b + 3*x - 44, 0 = -2*x. Let d be 0/2*11/b. Is d bigger than 2?
False
Let h be (-8152)/(-72) + (4/(-18) -