/((-1078)/980). Is o at least as big as 2?
False
Suppose -2*m + 4*m - 6 = 0. Let w be (-3 + m)/2*(-2)/(-4). Let u be 1 + 0 - 14/20. Is w != u?
True
Suppose 63 = -5*f - 67. Let t be (-94 + 0/(-2))*(-10)/(-36). Let a = t - f. Which is smaller: 0 or a?
a
Let r(c) be the third derivative of -c**5/60 - 3*c**4/8 - 10*c**3/3 - 23*c**2. Let h be r(-6). Are h and -11/8 equal?
False
Suppose 0*z = 2*u - 2*z + 28, -5*u + 2*z = 55. Which is smaller: u or -13?
-13
Let j = 530 - 298. Is j less than 233?
True
Suppose -2*h + 5*x + 325 = 0, 345 = 3*h - 2*x - 115. Suppose -3*f = 12*f - h. Which is greater: f or 39/4?
f
Suppose -58 = -10*v + 42. Is 28/3 > v?
False
Let j be 6*(-8 + 7)*(-73)/44. Let z = -10 + j. Is -1 less than z?
True
Let h(u) = u**2. Let l be h(0). Let g = -822 - -823. Which is bigger: g or l?
g
Let p be 68/85 - 55082/(-60). Let y = p - 913. Which is bigger: 6 or y?
6
Let a = -2171 - -1253. Which is smaller: -917 or a?
a
Let d = 22 - 42. Let x be 124/d + 6 + (-51)/20. Which is greater: -2 or x?
-2
Let l(q) = -q**3 + 5*q**2. Let z be l(5). Let s be 1*(-12)/(-9)*6. Let k be (-10)/s + 7/28. Which is greater: z or k?
z
Let a(z) = -z**3 - z**2 + z + 3. Let c be a(0). Let o be ((-15)/c - -7)/(2*-11). Suppose -5*r = 3*f - 14, -f + 5 = 4*r - 2. Is o < r?
True
Let y be (6/(-4))/(273/(-28)). Suppose 0 - 5 = -5*q. Is y greater than q?
False
Suppose -v + 8 = 3*v - 4*i, -v + 5*i - 2 = 0. Suppose -j = n + v + 1, 27 = 2*n - 5*j. Suppose 0 = 5*z + n + 4. Is -9 equal to z?
False
Let u = -1042 - -1042.2. Is u at least -4.6?
True
Let j be (-8)/4 + 6/1. Let a be 0 + -3 - (0 - 8). Suppose -5*o + 10 = a*h - 10, 2*h - 11 = -3*o. Which is bigger: j or o?
j
Let r be 2/(-4 + 2)*-12. Suppose s = -3*s + r. Suppose -2*w + s = -3. Is w at least as big as 4?
False
Suppose -5*k + 5*u - 3*u = -10, u = 0. Suppose 2*z = z - k. Let c = -0.13 - 6.87. Which is bigger: c or z?
z
Let y = 727/3 - 16694/69. Is 1 < y?
False
Let c = -2785 - -726887/261. Let k = c - -79/1044. Which is greater: -1 or k?
k
Let p = 312 + -336. Which is greater: -28 or p?
p
Let a = 49 + -52. Let q be (3 - 2)*(2 - 1). Which is smaller: a or q?
a
Let a be 6*(-100)/250*(-5)/(-4). Which is smaller: a or -44/17?
a
Suppose -5*w + 16 = -a - 9, 0 = w + 1. Let y(u) = -28*u**2 - 19*u - 20. Let f be y(-1). Which is smaller: f or a?
a
Let m = 381 + -334. Is 50 < m?
False
Suppose -5*t - 4 = -29. Suppose -t = l + 4. Suppose s + 4*f + 29 = 0, s + 3*f = -2*f - 34. Is l less than s?
False
Let g = 6 + -6.02. Let x = g - 0.98. Let a = -0.31 + 0.31. Is a at most x?
False
Let r = -13366/17 + 786. Are 2/13 and r equal?
False
Let j = 350 - 250. Is j smaller than 502/5?
True
Suppose -2*j - 5 = -3. Let f be j/1 - (-2 - 1). Let w be (f/4)/((-27)/(-12)). Which is smaller: 1 or w?
w
Let t = -10 - 4. Let s be t/(-4) - 2/4. Suppose 2*u - s*u = -10. Which is bigger: u or 11?
11
Let t(k) = k**2 + k + 1. Let o be t(0). Let m(f) = -3*f - 3. Let r(i) = -i + 1. Let q(v) = o*m(v) - 4*r(v). Let a be q(7). Does 3/5 = a?
False
Suppose 3*d = 5*d. Let k be (1 - 1) + (d - -1). Let v be ((-5)/(-5))/(3*k). Does 4 = v?
False
Suppose 51*h - 5*n = 53*h - 160, h = 5*n + 80. Which is greater: h or 87?
87
Suppose 56 = 3*h + z, -2*z + 57 = 2*h + 13. Suppose -x = 4*t - h, -x + 4*t - 23 = -0*x. Which is greater: x or 2?
2
Let i be ((-27)/(-6) + -4)*-4. Let t(f) = 8*f**2 + 10*f - 4. Let l(m) = 17*m**2 + 21*m - 9. Let v(p) = -6*l(p) + 13*t(p). Let g be v(i). Is 4 greater than g?
True
Let z(l) = l**3 - 4*l**2 + 7*l + 1. Let o be z(4). Let a = o + -28. Do a and -2/163 have different values?
True
Let c(u) = -u - 20. Let w be c(-15). Let r = 9 + w. Suppose -55 = 3*t - r. Which is smaller: -16 or t?
t
Suppose 2*u = -3 - 7. Suppose -3*c - 4*h = -5*c + 18, 6 = -3*c - 5*h. Suppose l + l + 14 = -4*b, -c = 3*l. Is b less than u?
False
Let h be ((-6)/(-24))/(1/1068). Are h and 266 unequal?
True
Suppose 4*a - 3*n = n + 140, 0 = -a + 2*n + 34. Let b = a - 5. Is 32 greater than b?
True
Let s be (-1 - 18/5) + 4. Let h = 1 + s. Which is smaller: -1/9 or h?
-1/9
Let x = 4 - -11. Let z be 9/x + (-438)/(-20). Is z not equal to 24?
True
Suppose -6*j = -o - 2*j - 3, 0 = -3*j + 6. Suppose -3*u + 9 = -o*l, 6*l = 3*u + 7*l - 27. Let m be 3*16/6*1. Does u = m?
True
Let u(s) = -3*s**2 + 4*s - 6. Let c(m) = 7*m**2 - 8*m + 11. Let v(f) = -2*c(f) - 5*u(f). Let w be v(7). Which is greater: 28 or w?
w
Let h(d) = -23*d**2 + 2*d + 1. Let t be h(-1). Let a = t - -23. Is a at least as big as -1/52?
False
Let q be -2 + (4 - 0) + -6. Let l be q*9/12*9. Let c be 312/(-189) + (-6)/l. Does c = -2?
False
Let w be ((-2)/(-1))/((-4)/(-6)). Let f be (-11)/(-33)*(-9)/2*6. Let v = w + f. Is v != 1?
True
Suppose 2*y = -6 + 24. Let s be ((-9)/12)/(y/(-24)). Which is smaller: 5/3 or s?
5/3
Suppose -2*i + 7*v - 38 = 3*v, -5*i + 4*v = 83. Let n = i - -22. Which is smaller: 5 or n?
5
Let c be (7 - 5)*(7/2 - 2). Let l be (-1)/c - (5 + (-40)/12). Which is bigger: l or -8/9?
-8/9
Suppose 0 = -20*u + 9*u + 33. Let g(k) = k**3 - 4*k**2 - 2*k + 16. Let i be g(u). Which is smaller: -1 or i?
-1
Let p = 7 + -3. Let a be (6/10)/(6/p). Is -1 < a?
True
Let h be (1/(-2))/(10/40). Let i be ((-4)/(-8))/(2/(-20)) + h. Which is greater: i or -29/4?
i
Suppose 3*o + 39 = -3*r + 4*r, -4*r + 129 = -3*o. Let x = -18 + r. Let h = -6 + x. Which is smaller: h or 4?
4
Suppose 8 = 3*g + 14. Let y = 27031/5 + -5459. Let m = y - -52. Is m less than g?
False
Let n(f) be the second derivative of f**3/6 + f**2/2 - f. Let s be n(6). Suppose 3*b - s*b = 4. Which is greater: -1/26 or b?
-1/26
Let d = 17 + -22.44. Let v = d - -0.44. Which is smaller: 0.1 or v?
v
Let y(l) = 4*l + 49. Let w be y(0). Suppose -2*s + 35 = f, 5*f - 3*s = -w + 185. Are f and 57/2 nonequal?
True
Let c be ((-14)/18 - -1) + (-10)/15. Let n = 1.01 - 1. Which is smaller: c or n?
c
Let i = 3 + -3. Suppose i = 5*g - 20 + 5. Let n be g/14 - (-14)/49. Which is bigger: -0.1 or n?
n
Let i(s) = s**3 - 17*s**2 + 18*s + 259. Let v be i(15). Is v bigger than 80?
False
Suppose 8*l - 4*l = 3*b + 10, -3 = 5*l + 4*b. Which is bigger: -4/21 or l?
l
Let f be (-6)/6*(-1 + (-31)/(-30)). Suppose -2*x - 1 - 1 = 0. Is f smaller than x?
False
Let z = 2603 - 923. Let t = z - 77277/46. Is t greater than 1?
False
Let t = -393 - -338. Which is greater: t or -8?
-8
Let g = 57 - 183. Let n = g - -126. Is 36 equal to n?
False
Let g be 3/(-8)*((-100)/18 - -6). Which is bigger: -40 or g?
g
Let c be (-15)/5 - (-11)/2. Suppose 4*f = q + 1, 4*f + 8 = -3*q + 21. Let o be f/(-4) - 9/(-4). Is o <= c?
True
Let a be -4 + (4 - 18/(-6)). Suppose -a*r + 3*i = 18 - 3, -r - 2*i + 10 = 0. Which is smaller: 2/189 or r?
r
Suppose 2*s = k + 469, -5*k - 2904 + 549 = -5*s. Does -472 = k?
False
Let g be 3255/(-30) - 2/4. Let c = 108 + g. Is -5/4 at least as big as c?
False
Let l be -2 + (1 - 0/2). Let w be (8/(-6))/((-666)/(-54)). Is l bigger than w?
False
Let b = -5 - -7. Suppose w - 27 = -b*w. Let z be (3/w)/(21/27). Is -1 at most z?
True
Let a = 1.562 - 0.562. Which is smaller: a or -2/3?
-2/3
Let s be (-108)/(-81) + (-1718)/(-6). Is 289 >= s?
True
Suppose 1 = -5*l + 2*r - r, 25 = -5*l - 5*r. Let g = 53 - 86. Let x = -362/11 - g. Is x less than l?
False
Suppose -4*i - p - 3*p + 8 = 0, -5*i = 3*p - 12. Suppose i*d + 20 = -22. Is d <= -14?
True
Let m = 1168 + -1211. Which is smaller: m or 2.4?
m
Suppose -w + 140 = 6*w. Let z = -21 + w. Let u = -168 - -1173/7. Which is bigger: z or u?
u
Let i = -0.08 - 2.52. Let t = i - -2.7. Which is smaller: t or 0.09?
0.09
Let o be 1770/(-3)*(-1)/(-2). Let l = 6197/21 + o. Are l and 1 nonequal?
True
Let j be 6/(-45) + (-35904)/720. Which is greater: j or -37?
-37
Let i = -58.7 + 58. Let m = -0.86 - i. Is m bigger than 0?
False
Let x be (-1)/1 - (3 + -6). Let t be -2 - (x + (-206)/52). Which is greater: -1 or t?
t
Let n(h) = -2*h**2 - h + 3. Let f be n(-3). Let t be f/16 + (-174)/(-8). Is t > 39/2?
True
Let k be 35/(-10)*(-16)/7. Suppose -5*q = k*f - 3*f - 90, 0 = -2*f + 8. Suppose -4*x + 5*t + 18 = -0*x, 0 = 5*x - 2*t - q. Is 2 less than x?
False
Let p(a) = a**2 - 11*a + 19. Let t be (-30)/9*36/(-15). Let n be p(t). Let b(w) = -w**2 + 2*w + 2. Let o be b(n). Which is smaller: -32 or o?
o
Let t = -32 - -30.08. Let z = -2 - t. Let u = 198 - 198.2. Which is bigger: u or z?
z
Let d be 2159/255