ig as o?
False
Let h = -1575 - -20493/13. Let o(v) = -v**3 + v**2. Let g be o(-1). Is g less than or equal to h?
False
Suppose 0 = -5*i + 2*h - 5, 41 = -4*i - 4*h + 9. Let w = -11 - -7. Which is smaller: w or i?
w
Let l = -1303 - -793. Are 0.1 and l non-equal?
True
Let r = 1.3 - 1.39. Let s(u) = 24*u - 240. Let w be s(10). Which is smaller: w or r?
r
Let o be (-1 - 0)/((-110)/(-7590)). Which is smaller: o or -67?
o
Let g be -1*(-10 - (-15 + 0)). Let w = 0 - -0.7. Is w greater than g?
True
Let u be (2/(-215))/(216/(-135)). Which is bigger: 0 or u?
u
Let u(p) = -11*p - 43. Let f be u(-4). Which is greater: f or 2/215?
f
Suppose -5*i + 25 - 5 = 0, 4*b - 3*i = -36. Let o be ((-4)/3)/(2/24). Which is smaller: o or b?
o
Let p = 238 - 3088/13. Suppose -q - 1 = -0. Is p at most q?
False
Let g be (((-56)/246)/(-7))/((-4)/12). Is -1 equal to g?
False
Let y(c) = 3*c - 9. Let b be y(4). Suppose -22*k + 25*k - b = 0. Let g be k + 1 + (11 - 14). Which is bigger: 6 or g?
6
Let t be (-1)/2 - (-244)/(-8)*5. Which is smaller: -307/2 or t?
-307/2
Let u be ((-32)/3)/((-2)/3). Suppose 3*a - i - 16 = -0*a, -5*i = a - u. Suppose 24 = -0*s - a*s. Which is smaller: s or -2?
s
Let r = -54 + -94. Let o = r + 150. Is o not equal to 14?
True
Let f = 0.35 - -0.05. Let k be (0 + (-2)/(-7))/((-40)/(-56)). Is k bigger than f?
False
Suppose -25 = 8*t - 41. Let o be 6/(-20)*9/(-54). Let m = 4/5 - o. Is m smaller than t?
True
Let y = 4298 + -1863. Is y <= 2436?
True
Suppose -7*v + 2*v - 35 = 0. Suppose 8*z + 2*z = -90. Let l = v - z. Is l smaller than 2?
False
Let h = -23 + 26. Suppose 2*x = -h*x + 60. Let f be (x/(-4) + 3)*1. Is 1/12 bigger than f?
True
Let b = 4 - 18. Let m = 1.4 + -1.3. Which is greater: m or b?
m
Let y be 16/6*(-1368)/32 - 0. Is y != -112?
True
Suppose -4*j = 4*g + 680, 3*g + j + j + 508 = 0. Let v be (-43)/3*(g/(-35))/(-8). Which is smaller: 9 or v?
v
Let o(w) = 2*w**2 - 9*w - 12. Let j be o(6). Let t be (0 + (-3)/j)/1. Which is greater: t or -9/5?
t
Let k = -269 - -1344/5. Let r = 3 - -1. Which is smaller: k or r?
k
Let y be -1 + (-3)/(9/(-3)). Suppose y*b = -3*b. Let d = -3 - b. Is d at most as big as -1?
True
Suppose 65 = v + 5*s, v + 4*s - 7 = 62. Let f = v + -76. Which is greater: f or 7?
f
Let q = -769 + 768. Which is smaller: q or 1/292?
q
Let o = 28 + -15. Suppose -o = -2*k - 5. Let r be (-21)/6*((-320)/(-84))/(-4). Which is bigger: k or r?
k
Let v = 91 - 85. Suppose v*f = 7*f. Is -1/36 bigger than f?
False
Let b(x) = -2*x**3 - 8*x**2 - 4*x + 7. Let h be b(-3). Which is bigger: -10/173 or h?
h
Let r = -255 + 261. Let s be 81/15 - 4/10. Is r at least as big as s?
True
Let b be 3 + (812/(-1272) - 4). Let f = b - 3/106. Which is bigger: -3 or f?
f
Let y = -11 - -12. Let i = -0.2 - y. Let k = 1.3 + i. Is 7 equal to k?
False
Let f be (-20)/(-8) - 4 - (-110)/4. Suppose 27*u - 1 = f*u. Which is bigger: -2/47 or u?
u
Let w(m) = 4*m - 12. Let i be w(8). Let v = -7 + i. Let j(l) = -l**3 + 36*l + 12. Let o be j(6). Are v and o non-equal?
True
Suppose -5*x + 96 = 4*t - 2*t, -3*x = t - 57. Let k be x/(-72) - 3/(-2). Is k smaller than -1?
False
Let b(g) = 23*g - 12. Let j be b(-6). Let h be 2/4 - j/12. Suppose -54 = -4*q - z - z, -2*z - 72 = -5*q. Is h smaller than q?
True
Let k = -56 + 30. Let o = -17 - k. Which is bigger: 10 or o?
10
Let f = -446 + 3116/7. Is -5 less than or equal to f?
True
Let d(y) = -y - 14. Let g be (-8)/(-2) - 6/2. Let u be (g - 2) + -3 - 10. Let k be d(u). Which is smaller: k or -2/27?
-2/27
Let o = 12.57 + -12.47. Which is greater: o or 377?
377
Let q be (-686)/196 - (3 - (1 - 0)). Suppose -2*w - 18 = -6. Which is smaller: q or w?
w
Let l = -18 - -18. Let o = -12.69 + 13. Which is smaller: o or l?
l
Let y = -899 - -883. Which is smaller: y or 12?
y
Let a(q) = q**2 + 4*q - 1. Let c be a(-5). Suppose 2*x = r - 62, -c*x = 2*r - 21 - 87. Is r equal to 59?
False
Let i be (-48)/5 + (-4)/10. Which is smaller: i or -6?
i
Let i = 20 - 17. Let c be 8/2 - 9/i. Let z = -6 + c. Do -3 and z have the same value?
False
Let d = -0.93 + 0.47. Let j = d - 29.54. Let s = j + 13. Are -1 and s nonequal?
True
Let t be (-414)/110 - 10*7/(-175). Which is smaller: -3 or t?
t
Let o(x) = 18*x - 8. Let h be o(8). Is 136 not equal to h?
False
Let j = 18 + -15. Suppose -4*b = r - 13, j*r + 1 = -4*b - 0. Which is smaller: r or -8?
-8
Let q(w) = -20*w - 32. Let v be q(-3). Is v greater than or equal to 30?
False
Let j = -58 - -122. Let v = 92 - j. Which is bigger: 2/5 or v?
v
Suppose 0 = -39*o + 5*o - 374. Which is smaller: o or -21?
-21
Let f = 337 - 358. Which is bigger: f or -83/4?
-83/4
Let i = 6 + -6. Suppose 0 + 7 = j. Let k = j - 11. Which is bigger: i or k?
i
Let c(s) = -s**2 + 39*s - 8. Let p be c(40). Is -13 bigger than p?
True
Let r(f) be the third derivative of -f**4/8 - 4*f**3/3 + 2*f**2. Let j be r(-3). Is 1/76 < j?
True
Let r = 0.6 - 0.06. Let h = r - 0.52. Which is smaller: h or -5?
-5
Let r = 20 + -11. Let w = 14 - r. Let u = 4 - w. Which is smaller: 1 or u?
u
Let z be (-2)/1 + (-6 + 8)/1. Is -10/137 >= z?
False
Let t(h) = -h**2 + 42*h + 11. Let l be t(0). Suppose -4*c - 8 = -0*c. Is c greater than l?
False
Let v be (3*1/6)/(-2). Let z be 258/30 + 4/10. Let q = -10 + z. Which is smaller: q or v?
q
Let k(b) = -b**3 + 15*b**2 + 124*b + 42. Let y be k(21). Which is smaller: 1/783 or y?
y
Let l(t) = -t**2 + 3*t + 4. Let r be l(4). Let z = r - -1. Suppose 4*i + 6 = 5*j, 9 = 4*j - i + 2. Which is smaller: z or j?
z
Suppose -3*v - 68 = -4*v. Let g = v - 32. Is g equal to -1?
False
Let d = 0 - 0.05. Let t = d - -1.35. Let v = -5.3 + t. Is v smaller than 1?
True
Let m = 67.89 - 68. Is 2 greater than m?
True
Let n be (1/(-2))/(5/180). Let a = -1 - -10. Let h be (1/a)/((-3)/n). Are h and 2 unequal?
True
Suppose 10*m = 25*m. Which is greater: m or 6/437?
6/437
Let s = 15 - 13. Let a = -3.34 - -1.34. Which is smaller: a or s?
a
Let f = 1372 - 1378. Which is smaller: f or 131?
f
Let m = -1 + 1. Suppose -9 = -m*l + l - 4*b, b - 3 = l. Let r = -4 + l. Is -5 at least r?
True
Suppose -2*j - 2*j = 20. Let r(w) = -3*w**2 - 4*w. Let n(x) = -7*x**2 - 8*x - 2. Let k(p) = -2*n(p) + 5*r(p). Let g be k(j). Which is smaller: -1/14 or g?
g
Suppose -1 = -3*u - u + 5*c, 0 = -3*u + 2*c - 1. Which is bigger: -16/21 or u?
-16/21
Let y(m) = -52*m - 1262. Let f be y(-22). Which is smaller: f or -117?
f
Let c = 1/163 - -91073/7172. Let y = -1811 + 7195/4. Let z = c + y. Which is smaller: z or -1?
-1
Let z = -1005 + 1010. Let u be (-2)/(-6)*3 - -37. Suppose -a - 3 + 23 = 3*p, 4*a - u = -5*p. Which is smaller: z or p?
z
Let s = 29.67 + -29.57. Let f(n) = -n**2 + 10*n + 7. Let k(x) = x. Let y(p) = f(p) - 5*k(p). Let a be y(7). Are a and s unequal?
True
Let l = 1/78 - -37/156. Let t = -11/12 + l. Let o be (-6)/15 - 4/(-15). Is t less than or equal to o?
True
Let l = -52 - -53. Let i be (l + 0)/(11/495). Which is bigger: i or 44?
i
Let m = -270 + 269.9. Which is greater: 103 or m?
103
Let t = 14.23 + -14. Let u = t - 0.83. Is u not equal to -1/3?
True
Let d = 30 - 31. Let y be -4 + 3 + -1 - d. Is -1 at most y?
True
Let x = -722 - -722. Does -438 = x?
False
Suppose 9*q + 756 = 747. Which is smaller: q or 1/530?
q
Let x(i) = 14*i - 11. Let s be x(-4). Let v = s - -64. Is v greater than -38/9?
True
Let t(h) = -h**2 - 6*h - 6. Let v be t(-7). Suppose 0 = 832*u - 821*u + 143. Is v less than u?
False
Let h = 89 + -24. Suppose -55*u + 50*u + h = 0. Are u and 14 nonequal?
True
Let l(y) be the second derivative of -y**4/4 - 3*y**3/2 - y**2 + 43*y. Let j be l(-6). Are -56 and j nonequal?
False
Let u be 28/10 + 5/25. Suppose -u*z = 2*z - 40. Suppose l + 18 = 5*w - 3*w, 4*w = 3*l + 36. Is w bigger than z?
True
Let a = -31 - -30.83. Let i = -2.17 - a. Let o = 7 - -7. Is o smaller than i?
False
Suppose 0 = -x + r + 2*r + 23, -2*r - 50 = -5*x. Let m be (15/(-10))/(42/x). Is -5/4 < m?
True
Let b = 4 + -23. Let q = b + 31. Let u = -10 + q. Which is smaller: u or -5?
-5
Let g(a) = -a**3 - 8*a + 6. Let l be (-2 + (-4)/(12/(-7)))*9. Let m be g(l). Is m at least -45?
True
Let t = 22.4 + 0.6. Let k = t + -24.6. Which is smaller: 0.1 or k?
k
Let z be (-56)/(-30)*(6 + 36/(-8)). Is z less than -9/13?
False
Let n be (-9)/10 + (-2)/(-4). Let j = 4 + -19. Which is bigger: n or j?
n
Let h = 0.1 + 0.9. Let q = 0 + h. 