 -19/14 + 55/7. Is n at most r?
True
Let q(c) = -c**3 + 6*c**2 + 8*c - 5. Let d be q(7). Let t be (2 + -2)*d/4. Let r be (6/414)/(-2*(-1)/12). Which is smaller: r or t?
t
Let z(g) = -11*g**2 - 104*g + 9. Let h be z(-9). Which is greater: h or 55?
55
Let g be 2/(-3)*1089/(-22). Is 36 equal to g?
False
Let j = -1.4 - -10.4. Let q = -38 - -37.8. Which is smaller: j or q?
q
Let z(n) = n**3 - 12*n**2 - 11. Let p be z(13). Let f = -1736/11 + p. Let h be 3*(-2)/(-2 - 4). Is h != f?
True
Let r = 134314/7 - 19227. Let y = -39 - r. Is y at least as big as -1?
True
Let c(y) = -y - 3. Let t be c(-5). Suppose w + t = -17. Let m = w + 22. Which is smaller: 1/2 or m?
1/2
Let g = -679 + 1007. Which is greater: 657/2 or g?
657/2
Let k be (-4)/(-12) - 199076/(-660). Let y = 302 - k. Which is smaller: y or -1?
-1
Let a(t) = t**2 - 18*t - 2. Let z be a(17). Let w = z - -18. Suppose -4*b - 3*d - 24 = d, 3*b + 8 = -d. Does b = w?
True
Let x = -3 + -3. Let v be 6 + 2*(x + 4). Let z be v/13 - (-98)/(-130). Which is bigger: z or 1?
1
Let y = -629/267 - -2/89. Which is smaller: y or -1/2?
y
Suppose -4*o - o + 35 = 0. Suppose o = -b - 5*c, b + 0*c = 5*c + 13. Let m be b/(-12)*4/9. Which is smaller: m or 0?
m
Let a(o) = o - 1. Let d be a(6). Suppose 2*u = -d*z + 32 - 7, 4*u + z - 41 = 0. Suppose -4*q - q = -3*g - 10, -g - u = -5*q. Which is smaller: -1.5 or g?
-1.5
Let a = -297.3 + 297. Is a <= 2/57?
True
Let a(x) = 5*x + 100. Let s be a(-43). Which is bigger: -117 or s?
s
Let u = -19 + 23. Suppose -u*f + 3*f - 32 = 0. Are f and -33 non-equal?
True
Let z = -275 + 283. Let f(a) = a**2 - 2*a. Let v be f(3). Let s = 10 - v. Which is bigger: s or z?
z
Let d = -309 - -308.9. Is 2/49 <= d?
False
Suppose 2*n - 4*v - 224 = 0, 3 = 3*v - 9. Is n at most 120?
True
Let i be (2 - -2) + (-1251)/297. Is i bigger than -1?
True
Let p = 309 + -317. Which is smaller: p or -7?
p
Let c = -73 + 69.3. Let x(t) = t**3 + 4*t**2 + 3*t + 1. Let y be x(-3). Is y less than or equal to c?
False
Let u = -3.9 + -1.1. Let s = u - -5.1. Let m = -52.6 - -53. Which is bigger: s or m?
m
Let r be 430/(-55) + (-4)/22. Let a = r - -10. Suppose a*f - 3*f + 13 = 0. Which is smaller: 12 or f?
12
Suppose -6*x + 10 = -5*x. Let m be ((-5)/1)/(1*(-35)/x). Is m at most as big as 1?
False
Suppose 0 = -2*t - 3*t + 25. Suppose 4 = -4*x + t*x - v, 0 = -3*x - 4*v - 2. Let i be (x/(-10))/((-12)/15). Which is smaller: i or -11?
-11
Let y = -3636 - -352687/97. Which is smaller: 0 or y?
y
Suppose 5*m + 15*n - 17*n + 59 = 0, 2*m - 3*n = -28. Is -2.3 bigger than m?
True
Let f be 56776/(-75900) - (-4)/(-22). Let i = f + 22/23. Suppose 0 = -2*s + 11*s. Which is smaller: s or i?
s
Let z = -24.042 + 0.042. Let t = z + 33. Is t > -2/7?
True
Let w = 649 - 648. Is -1/42 <= w?
True
Suppose 0 = t - 184 + 3737. Let w be 14174/t + 2 + 2. Which is smaller: w or 0?
0
Let r = 598 - 593. Which is smaller: r or 0.01?
0.01
Let k be (-4)/(-2) + 476/(-7). Let s = 60 + k. Which is bigger: -13/2 or s?
s
Let k be (177/(-34338))/((-1)/(-4)). Which is bigger: k or 1?
1
Let f = -4301/292 + -3/146. Is 1 greater than or equal to f?
True
Let i(n) = -6*n + 23. Let y(b) = b - 15. Let s be y(17). Let r be i(s). Are 9 and r equal?
False
Let t = 26 - 51. Let m be (-1)/(-2) - t/10. Suppose m*k = 0, -2*s + 5*k - 1 = 1. Which is greater: 4/9 or s?
4/9
Suppose 3*x = -2*x + 50. Suppose -4*h = h + x. Let c be h/5 + (-65)/(-225). Which is greater: -1 or c?
c
Let j = 151 + -158.3. Let q = -3.7 + j. Which is smaller: 2 or q?
q
Let p = -25 - -37. Let a = p + -20. Is -7 not equal to a?
True
Let k = 2 - 1. Let g = 14 + -14. Let r = k - g. Which is smaller: 2/7 or r?
2/7
Suppose 39 - 29 = -10*o. Which is smaller: -1/224 or o?
o
Let c = -243 + 251. Is -10 not equal to c?
True
Suppose -2*t - 3*y = 1, 10*t - y = 7*t + 4. Let s(j) = j - 1. Let h be s(2). Is h != t?
False
Let a(n) be the third derivative of n**6/40 + n**5/60 + n**4/24 + 2*n**2. Let z be a(-1). Let v be 4/(-30)*z/(-1). Are v and -2/9 nonequal?
True
Let i = -1 + -1. Let u be (4/16)/(2/(-12)). Is i < u?
True
Let r(b) = 7*b**2 - 51*b + 45. Let i be r(9). Which is smaller: i or 307/2?
i
Let s(u) = -u**2 - 5*u + 5. Let b be s(-5). Suppose -11 = -4*h + 1, 0 = -b*l + 3*h - 39. Let i = 3 + l. Is i < -3?
False
Let t be (-10)/(-3)*(-16)/2760. Let x = t + 1591/207. Which is greater: x or 7?
x
Let a = -1135 - -973. Does a = -162?
True
Suppose 2*a - 5 = 5*r, -26*a - r - 1 = -27*a. Is -430 greater than a?
False
Let y = 4 - 5.5. Let o = y + 1.5. Let l = 8 + -9.3. Which is smaller: o or l?
l
Let g = 2.143 + -0.103. Let b = -0.011 + -0.029. Let v = g + b. Which is bigger: v or -2/9?
v
Let w be (13/5)/(27/(-3195)). Is -309 at least as big as w?
False
Suppose -4*w + 417 = 93. Which is smaller: -2/7 or w?
-2/7
Let k = -845 - -436. Are -408 and k equal?
False
Let b(z) = -z**2 - 6*z - 7. Suppose -2*w = s + 2*s + 3, -2*w - 4*s - 2 = 0. Let t be b(w). Which is smaller: t or 1?
1
Suppose 0 = -3*o - o + 28. Let r be (-4 - (-10 - (-41)/6))*-9. Which is smaller: r or o?
o
Let d(f) = -f**3 - 2*f**2 + 2*f - 3. Let o = -4 - -1. Let x be d(o). Suppose 19*p - 4 = 15*p. Are x and p equal?
False
Suppose 159 = 10*s + 9. Suppose s = -4*p + 7*p. Is 29/6 less than p?
True
Let m(d) = 2*d**3 - 7*d**2 - 6. Let x be m(6). Suppose x = 29*r - 23*r. Is r equal to 29?
True
Suppose 0 = 2*b + 8, 4 = -5*y + y + b. Let c(l) = -l**2 - 11*l - 12. Let t be c(-8). Let j be (-2)/(-2*(-3)/t). Which is greater: j or y?
y
Let w(a) = -5*a + 8. Let v(o) = -6*o + 8. Let y be ((-2)/3)/(6/54). Let m(t) = y*v(t) + 7*w(t). Let q be m(-4). Which is smaller: q or 3?
3
Let w = 141 + -137. Suppose -w*v + 143 = -9. Which is greater: 37 or v?
v
Suppose -14 = -2*w - 2*z, -w - 3*z - 1 = -14. Suppose 2*y + 1 = 5*l + w, -y = 2*l + 3. Is l smaller than -6/11?
True
Suppose 48*p = 5*p. Which is smaller: p or -2/943?
-2/943
Let w = -132 + 32. Is -101 equal to w?
False
Let o = -2.5 + -0.06. Let f = 0.16 + o. Which is smaller: 2 or f?
f
Let w(o) = -o**2 + 9*o - 3. Let h be w(6). Let y be ((-4)/2)/(5/h). Let s be (-4)/y - 16/42. Which is bigger: s or 1?
1
Let r(h) = 23*h**3 - 9*h**3 - 2 - 15*h**3. Let b be r(-2). Suppose 0 = -3*v + u - 20, 0 = 3*v + b*u - u + 8. Is v greater than or equal to -1?
False
Suppose 0 = 5*k - 3*f + 9, -3*k - f - 9 = -4*f. Which is greater: k or -2/2225?
k
Let w = -331/5 + 66. Let a = 84 + -132.2. Let x = a - -48. Is x at most as big as w?
True
Let i(y) = y**2 + 32*y + 231. Let j be i(-11). Let h be (-4)/(-14) + (-12)/(-7). Let s = 3 - h. Which is bigger: s or j?
s
Let v = 20.38 - 21. Let t = 0.76 + v. Is t less than -1?
False
Let h be 37*((-9 - -5 - -3) + 0). Is h at least -2?
False
Let m = -3/382 + -58777/6494. Does m = -9?
False
Let w = -42.9 - -42.9. Which is smaller: w or -0.2?
-0.2
Let u = -17 + 17. Let p be (9/6)/(20/8). Which is smaller: u or p?
u
Let h = -119 + 118.91. Let w = 35/22 - 1/11. Which is smaller: h or w?
h
Let d = 2.61 - 2.06. Which is bigger: d or -2/9?
d
Let x(s) = 33*s - 1. Let c(u) = 11*u. Let q(r) = -17*c(r) + 6*x(r). Let i be q(2). Which is greater: 17 or i?
17
Let f = -9 - -11. Suppose -f*t + 5*u = 3*t - 85, -2*t = 2*u - 30. Let s = -22 + t. Which is smaller: -5 or s?
s
Suppose -r = -5 - 9. Let o be 74/r - (-6)/(-21). Let t be o/(390/(-4))*-9. Which is smaller: t or 0?
0
Let f be (16/(-6))/(5 - 17). Let x be (-4)/18 - (-22)/18. Let r = 2 - x. Which is bigger: r or f?
r
Let w(u) = 2*u**3 + u + 2. Suppose -3 + 7 = -4*f. Let c be w(f). Is 1/4 less than c?
False
Suppose 26 = 4*w - 2. Suppose 3*c + w - 34 = 0. Let i = -8 + c. Is i != 1?
False
Let d be ((-2)/(-8))/((-4)/3). Which is bigger: d or 5?
5
Let x(o) = o**2 - 6*o - 6. Let y be x(8). Let t be ((-4)/(-12))/(y/(-3)). Suppose 0 = p + 3*m + 5 + 3, 3*p = 5*m + 18. Is p > t?
True
Let p = -0.402 - -0.312. Are p and -2/7 nonequal?
True
Let t(i) be the third derivative of i**6/120 + 3*i**5/20 + 7*i**4/24 - 5*i**3/6 + 9*i**2. Let g be t(-8). Which is smaller: 16/5 or g?
g
Let d be -2 + 0/3 + -4. Let y be 6/4 + d/4. Is 2 less than or equal to y?
False
Let g = 14 - 9. Suppose g*a = 21 + 119. Which is smaller: 26 or a?
26
Let s = -24102/5 - -4794. Are s and -26 equal?
False
Let t be 13/((-39)/9) - (-124)/6. Is 18 >= t?
True
Let t = -19 + 23. Suppose -2*w + 5*l - 12 = 2*w, 0 = w - 4*l + 14. Let p(j