5.56 - -19.04. Let k = 2.52 - 3. Let d = x + k. Is 2 bigger than d?
False
Suppose 5*a = -217 - 1083. Let s = -264 - a. Which is bigger: s or -8?
s
Suppose 0 = 11*z - 10*z + 10. Suppose 43*y = 47*y + 44. Do z and y have the same value?
False
Let d be ((-595)/136*(-12)/(-3))/(-1 + 2). Is d <= -17?
True
Suppose 3 = -3174*s + 3177*s. Is s less than or equal to 2163?
True
Let p be (39/6)/(2/(-140)). Let x = -12869 + 53285/4. Let c = p + x. Which is bigger: -4 or c?
c
Let w = -1061 + 1163. Which is smaller: w or -58?
-58
Let g(j) = -2*j**2 - 59*j + 885. Let m be g(-40). Which is smaller: m or 403/9?
403/9
Suppose 5*l - 3*l = -3*a + 34, -3*a + 3*l + 24 = 0. Suppose 155*b = 137*b + 252. Let o be (204/b)/(3/2). Are o and a unequal?
True
Let d(g) = -g**3 + 125*g**2 + 148*g + 862. Let f be d(126). Is 3635 < f?
False
Suppose -5*m + 2504 = 3*p - 10687, 5*m = 0. Do 4397 and p have the same value?
True
Let b(f) = 12*f**3 - 5*f**2 + 40*f - 33. Let x be b(5). Does x = 1541?
False
Let z(d) = 6*d - 19. Suppose 4*s + 5*r - 70 = 0, -2*r + 76 = -32*s + 36*s. Let n be z(s). Is n < 103?
True
Suppose 0 = 3*s - t + 4, -150*s - 10 = -146*s - 2*t. Is s at most -1/1047?
False
Let u be 1482/95 - 4/1. Which is bigger: u or -13/4?
u
Let q = 19384 - 19562. Which is smaller: -152 or q?
q
Let d = 140 + -132.3. Let t = d - -52.1. Let u = t - 59. Which is smaller: 2 or u?
u
Let s(u) = u**3 + 2*u**2 - 13*u - 3. Let i be s(4). Let m(f) = -6*f + 27. Let x be m(-6). Suppose x = 10*o - 347. Is i at least as big as o?
True
Let i be ((-1)/(-221))/((-2)/(160288/12)). Let s = i + -160/663. Let t = s - -6667/221. Which is greater: 0 or t?
0
Let y(z) = -z + 12. Let s be ((-2)/6)/((-7)/(-21))*7. Let c be y(s). Let w be (c - -1)/(-5) + 214/52. Is -1 greater than or equal to w?
False
Let o = 107.55 - 109. Let z = o - -1.45. Is z greater than or equal to -73?
True
Let x = -209861/32 - -6557. Is x at most as big as -2?
False
Let w(o) = -o**3 - 21*o**2 + 26*o + 90. Let r be w(-22). Let f be r/(-12)*(-152)/2014. Which is bigger: f or -1?
f
Let m = -11342.3 + 11115. Do 0 and m have the same value?
False
Let w = 16 - 17. Let y = 1.26 - 2.13. Let b = y + 0.67. Which is smaller: b or w?
w
Let o = -672 + 702. Suppose o*z + 12 = 18*z. Is 1/576 <= z?
False
Let h be 4/14 - (-713)/1302. Suppose -4 = -4*q, 0*p - 2*q - 8 = -p. Suppose 5*b = -0*b + p. Is b greater than h?
True
Let r be 1/11 - (-10208)/242. Is r equal to 43?
False
Let d(l) = 2*l**3 - 5*l**2 + 14*l - 27. Let p(i) = -3*i**3 + 5*i**2 - 14*i + 30. Let f(j) = 5*d(j) + 4*p(j). Let u be f(-7). Is 2 equal to u?
False
Suppose 0 = 4*o + 5*r - 56, -2*o = -0*o - 2*r - 28. Let k be ((-1)/o)/((-2)/8). Let n = -141589.1 + 141588. Which is smaller: n or k?
n
Let h(f) = -2*f**3 + 3*f**2 + 7*f + 887. Let t be h(0). Which is smaller: -1 or t?
-1
Let z(p) = 23*p**2 + 3*p - 4. Let g be z(1). Let t = -25 + g. Let q be (7/(84/(-135)))/t. Is q greater than 5?
False
Let f(y) = y**2 + 35*y + 225. Let u be f(-27). Suppose u*b - 7*b - 6 = 0. Is b greater than 37?
False
Suppose 235*v = 270*v + 2520. Which is smaller: -32 or v?
v
Let z = 42 + -123. Let y = -16 - z. Is y greater than -2/7?
True
Let q = 141 - 199. Let u = q - -90. Let j be ((-1)/(-2))/(4/u) - 5. Is -2/23 != j?
True
Let c = 1.34 - 1.245. Let w = c + 1.005. Is w greater than -3?
True
Let h be ((-14)/4)/((-21)/6). Which is smaller: -17/279 or h?
-17/279
Let b(d) = d**3 - 5*d**2 - 153*d - 88. Let k be b(-10). Do k and -69 have different values?
True
Suppose 3*g - 658 = 38*v - 43*v, -g + 217 = 2*v. Which is smaller: 229 or g?
229
Let r be (2/(-3) + 2)/(((-28)/(-162))/(-7)). Which is bigger: -20/19 or r?
-20/19
Suppose 4 = -4*m + 5*i + 3, 0 = -3*i + 15. Let k be (-2)/m - 208/(-336). Is k at least as big as 3?
False
Let v(r) = r**2 + 21*r - 146. Let m be v(-20). Let l = m - -168. Is l greater than -2/3?
True
Let m(a) = -a**3 + 5*a**2 - a + 5. Let t be m(5). Let y = 180 + -174. Let q be y/44*96/(-72). Is q <= t?
True
Let l = 46 - -38. Let i = -367/16 - -363/16. Which is greater: l or i?
l
Let n(y) = -y - 14. Let l(w) = w + 15. Let t(v) = 3*l(v) + 2*n(v). Let b be t(-7). Let m = 1421/4 - 344. Is b greater than m?
False
Suppose 74 = 5*h - 56. Suppose 6*r - 30 = 3*r. Suppose -h = -r*z - 66. Is -3 < z?
False
Let t be 0*(3 - 48/18). Which is smaller: t or -13/1745?
-13/1745
Let k be (-2)/1 + (-23)/(-13). Let x(i) be the third derivative of i**6/120 - 3*i**5/20 + 7*i**4/12 - i**3/6 - 16*i**2. Let v be x(7). Is k bigger than v?
True
Let x = 3.351 + -16.351. Do x and -2 have different values?
True
Let z(k) = 42*k**2 - k - 9. Let t be z(2). Let v = -16.5 + 16.3. Which is bigger: t or v?
t
Suppose -3*u + 3 = 2*q + q, -u + 9 = 5*q. Let g be ((-105)/(-182))/(14/(-56)*-21). Which is greater: u or g?
g
Suppose -193 = 3*n - 196. Is n at most 4/181?
False
Let h be (-20 - -17) + 127*(1 - 2). Let m = h + 145. Suppose -3*s - 65 = -0*s + 5*t, m = -s - 3*t. Is -30 at most s?
True
Let i(l) = 4*l + 33. Let y be i(-8). Let z be ((-2)/(-66))/(y/(-30)*-3). Let n = z - 1/3. Is 0 smaller than n?
False
Let i = 142 + -49. Let m be ((18/i)/(-3))/(728/(-54836)). Let l = m + -1/403. Which is smaller: l or 4?
4
Suppose -65*q = 2*y - 52*q - 195, 345 = 3*y + 2*q. Is 82 <= y?
True
Let o = -168.993 - -169. Let b = -39.007 + o. Are b and 1 equal?
False
Suppose -24*q = -4*q - 560. Let h(j) = 6*j - 13*j + 4*j + 9. Let b be h(-7). Does q = b?
False
Let c(z) = 5*z**2 - 261*z + 323. Let i be c(45). Are -1294 and i non-equal?
True
Suppose 0 = -9*g + 4*g - 5. Suppose -66 = -3*v + 3*c, c = -0*v + 3*v - 64. Let u be (v/14)/(12/(-320)). Which is greater: g or u?
g
Let o(m) = 2*m + 88. Let v be o(-28). Let w be v/208 - (-32)/(-260). Which is greater: w or -1?
w
Let x(c) = 19*c + 105. Let k be x(-12). Let n = k + 107. Which is smaller: -17 or n?
-17
Suppose 0 = -2*u + 19 - 13. Let x be 2 + (u + 97)/4. Let f = x - 24. Is 5 not equal to f?
True
Let h(n) = 4*n**3 - 9*n**2 - 29*n + 8. Let c(w) = w**3 - 3*w**2 - 10*w + 3. Let z(r) = 17*c(r) - 6*h(r). Let g be z(-2). Let f = -251/4 + g. Is f > 5/8?
False
Suppose 5*t - t = 316. Is t at least as big as 77?
True
Suppose 4*o + 318 = -3*b, 4*b - 5*o + 137 = -256. Let s be (-2)/(-4) - b/4. Let g be (-13)/s*(-4)/(-22). Is -0.2 > g?
False
Let n = -2.95 + -0.05. Suppose 28*p = -78 - 62. Let y be -3 - (p - (-10)/(-2)). Is n bigger than y?
False
Let s = -19740 + 19744.55. Which is smaller: 1/17 or s?
1/17
Suppose -2*m = 4*h - 10, 14*m - 13*m + 1 = h. Suppose 0 = -5*y + 82 - 337. Let x = -613/12 - y. Is m equal to x?
False
Let q = 77.2 - 66. Let s = q + -24.2. Is s at most 4?
True
Let s(w) = -8*w**3 - 9*w**2 + 34*w - 36. Let h be s(3). Is h greater than or equal to 29?
False
Let d = -0.3 - 0.2. Let i(m) = 56*m**2 + 7*m - 22. Let k be i(4). Let j = -904 + k. Is d < j?
False
Suppose -128*x + 366 = -122*x. Is x not equal to 133?
True
Let q(y) = y**2 - 109*y + 319. Let d be q(3). Let z be ((-2)/8)/(3/(-21)). Is z less than or equal to d?
False
Let k(b) = 7*b**3 + b**2 + 3*b + 3. Let w be k(4). Let g = w - 19635/41. Is 0 at least g?
False
Suppose -987 + 5043 = -13*z. Let g = 224 + z. Which is bigger: g or -87?
-87
Let z = -1139.2 + 1046. Let d = z + 34.2. Is 4 greater than d?
True
Let y = 1 + 0. Let n be ((-4)/18)/1 + 80206/49725. Let u = n + -29/25. Is u bigger than y?
False
Let a = 71 + -102. Let p = -34 - a. Let s be (3 - 1)*(-16 + 0) - p. Which is smaller: s or -30?
-30
Suppose 5*u - 6*u = -45. Suppose 5*h = -3*z + u, -2*z - 5*h = 3*z - 75. Which is greater: z or 18?
18
Suppose -w = -4*i - 65 - 111, -3*i + 4*w - 132 = 0. Let d = i + 151. Does 108 = d?
False
Let c(h) = -5*h**2 + 5*h - 42. Let b be c(11). Let a = b + 584. Is a > -10?
True
Let f be 1 + (-1)/((-43)/(-37)). Let q = -26498 - -26498. Is q at most as big as f?
True
Let u(l) = 4*l**2 - 16*l + 10. Let j be u(6). Suppose -2*t - 4*p = j, 4*t + 3*p + 17 = -99. Which is smaller: t or -3/5?
t
Let p be -7*((-6)/(-60) + (-188)/(-120)). Which is smaller: p or 22?
p
Let o = 65 + -65.37. Let v = o + 27.37. Let u = v + -26. Which is smaller: u or 1/20?
1/20
Suppose -5*r + 3*c + 34 = 0, 3*c + 0 = 4*r - 29. Let d be 1/r*((-1 - -5) + -5). Is d <= 0.075?
True
Let i = 116/9 + -5174/171. Let n = 3070/133 + i. Which is smaller: 6 or n?
n
Let y = 321 + -318. Suppose -y*i - 503 = -530. Let l 