 = 2*b**3 - 7*b**2 - 3. Let d be u(3). Suppose 0*p + 28 = -4*p. Let o be -3*6/21*p/d. Are o and 0.037 non-equal?
True
Let r be (56/(-210))/(14/924). Which is greater: 0.2 or r?
0.2
Suppose 6*g - 11 = -5*g. Let n(c) = 2*c**3 - c**3 - 8 + 10 + 3*c - 6*c. Let t be n(g). Is t smaller than -2/7?
False
Let v = -1105 - -3374/3. Suppose 73 = -35*j + 38*j + 2*q, 2*j - 3*q - 27 = 0. Is j at most v?
False
Let v(d) = -3084*d + 1893. Let q be v(2). Do -4275 and q have different values?
False
Suppose -3*b - 84 = b. Suppose 5*h - 4*f - 437 - 1213 = 0, -f - 1320 = -4*h. Suppose -20*v = -35*v - h. Is b at least as big as v?
True
Let c = -27 - -11. Let v(q) = q**3 + 2*q**2 + 5*q + 15. Let i be v(0). Let x be (-20)/i*(-2 + (-93)/(-42)). Do x and c have the same value?
False
Let t = 23392 - 23392. Which is bigger: t or -1/27810?
t
Suppose i = 34*w - 32*w + 14, 2*w + i + 22 = 0. Let c = -53 - -41. Which is greater: c or w?
w
Let b(s) = 5*s - 14. Let i be b(-10). Let u = -40621 - -81115/2. Is i greater than or equal to u?
False
Let q = 31 + -31.13. Let p = -0.063 + 6.063. Does p = q?
False
Let c = 6 - 5.9. Let i = 3019/10 + 54167/70. Let l = 1074 - i. Is l at least c?
False
Let y = 4.216 - 0.216. Let n = y + -3. Is -0.117 < n?
True
Let k be (-87552)/(-336) + (-12)/21. Which is smaller: 267 or k?
k
Let i = 5933671/94000 + -2967/47. Is i greater than 0.1?
False
Let a(m) = m**3 + 2*m**2 - 10*m - 11. Let j be a(-7). Let x be -6 + -3 + 3168/(-18). Is x greater than j?
True
Let j be (0 + 9)*(-5 - (672/(-108) - -1)). Is j at least -3021?
True
Suppose -5*l + c - 3540 = 0, -492 - 242 = l + 5*c. Let i = 709 + l. Does i = 2/793?
False
Let k = 6718975/12246 + -1/4082. Is k at most as big as 549?
True
Let t(s) = -4*s + 2. Let l = 46 + -47. Let q be t(l). Let v be (1/((-10)/q))/(9/(-10)). Which is bigger: v or 2/5?
v
Let j be 133/5 + 2/5. Suppose 6*q + 2828 = -4*v + 4*q, v + 725 = -5*q. Let z = v + 731. Is z at most j?
True
Let o = -19077 + 476923/25. Let x = -37/36 + 11/12. Which is bigger: o or x?
o
Let f(v) = -v**2 - 8*v + 10. Let j(r) = r**3 + 14*r**2 + 14*r + 4. Let u be j(-13). Let d be f(u). Let t be 5 + -6 - ((-24)/22 + d). Which is greater: t or -2?
t
Let x = -192 - -169. Which is greater: 1/68 or x?
1/68
Let y be 14 - (11 + -14 - 12509). Which is bigger: y or 12527?
12527
Let t = -3.95943 + -0.04057. Is t != 0.125?
True
Suppose 7*f = -35, 9*f = 3*p + 13*f + 17. Which is smaller: p or -9/127?
-9/127
Let j = -44 + 29. Let f = j + 15. Let p = 26 + -26. Do p and f have the same value?
True
Let u(w) = 2*w**3 + 7*w**2 - 49*w + 29. Let t be u(4). Which is greater: t or 65?
t
Let a be -3*((3 - 4) + 2). Let w be 4/3*24/16. Suppose 0 = -t + 3*d + 5, w*t - 50 = 6*t + 2*d. Is t > a?
False
Let u(p) = 3768*p + 98. Let d be u(7). Let a be (d/(-2730) - -10) + (-2)/6. Is a greater than 1?
False
Let u = 0.5995 - 0.2995. Which is smaller: u or 1/106?
1/106
Let n be ((-11)/22)/((-4)/440). Suppose -14*y + 41 - n = 0. Are y and -2/1527 equal?
False
Let f be (1/339*361)/((-1)/(-1233)). Let l = f - 1313. Which is smaller: l or -1?
-1
Let p = 22061/2052 + -1/1026. Suppose 40*s - 26 = 38*s + 6*r, 4*s - 37 = -3*r. Do p and s have the same value?
False
Let c = -53880040161308006/244695 - -220192648650. Let o = c - -2/7415. Is 0 greater than o?
False
Suppose 3*q - 2*l = -7 + 3, 3*q + 2*l = -8. Let v be (-1)/q*(10 - 4). Suppose -106 = 5*n - 3*d + 57, v*d = 3. Which is smaller: n or -30?
n
Let f = 453.1 - 75.1. Is f at least 2/29?
True
Let q = 34.39 - 1.39. Let k = -28 + q. Is k less than or equal to -12?
False
Let u = -97/24 - -14/3. Let r = 36 - 48. Let g = r + 14. Which is greater: g or u?
g
Let l be (-41)/5 + 4*7/140. Let k be 5/(-20) + 5 + (-2)/l. Suppose 2*g = -2*g - j + k, 0 = 3*g - 2*j - 1. Is g less than 5?
True
Let y = -342 + 370. Suppose y*t = 30*t - 372. Is 187 bigger than t?
True
Let z = 2538 - 2537. Is z bigger than -1/780?
True
Suppose 133 - 692 = -13*c. Suppose z - d + 16 = 3, 4*z - d + c = 0. Is z less than -10?
False
Suppose 0 = -2*y + 3*b - 10, -24 + 20 = -b. Is -1/4253 smaller than y?
True
Let q(v) = -2*v**2 - 39*v + 22. Let r(n) = -n**2 - 2. Let k(a) = q(a) - 5*r(a). Let p be k(13). Is 280/9 smaller than p?
True
Let t(l) = 171*l**3 - 7*l**2 + 297*l - 1452. Let f be t(5). Is f smaller than 21232?
False
Suppose 33 = -5*i + 16*i. Suppose -i*j - 68 + 488 = 0. Which is bigger: 141 or j?
141
Let w be (-2 + 27)/((-428)/(-10) - 12). Is 1 bigger than w?
True
Let l(i) = 4*i**3 + i**2 - i + 3. Let m(j) = j**3 - j**2 - j. Let h be m(2). Let g be l(h). Suppose -160 = -4*z - 2*u, u = -1 + 5. Which is smaller: z or g?
g
Let x = 13113/2 + -6555. Is x greater than or equal to 0.524?
True
Let f be (-9)/42*16/(-3). Let h = 414 + -408. Suppose h*n + 8 = 20. Do f and n have the same value?
False
Let s(z) = -5*z + 28. Suppose 60 = 6*w + 78. Let f be s(w). Is f not equal to 43?
False
Suppose -c + 3*k = 268, 0 = -k - 4*k. Let z = 2/8739 - 4675369/17478. Are c and z equal?
False
Let g = 14742 - 14741.847. Which is bigger: 2/7 or g?
2/7
Suppose 2*x - 5*x - 2*j = -3398, 4*j = -5*x + 5660. Is 1137 greater than x?
True
Let z = 588 + -861. Let m = z - -272. Is 127 at least m?
True
Let m be (148 - 146) + 4/6 - 2. Which is smaller: m or 9500?
m
Suppose 0 = -3*p - 2*x - 26, -x - x + 22 = -3*p. Let d = 9 + p. Which is greater: 2/1699 or d?
d
Let o = 2670 + -2680. Do o and 3 have different values?
True
Suppose -4*o + 351 - 20 = -5*c, -4*o - 272 = 4*c. Let v be (-2 + 26)/8 + (-1 - 71). Which is smaller: c or v?
v
Suppose 5859 + 6921 = -15*x. Which is smaller: -850 or x?
x
Let v = 85 + 70. Let r = 310 - v. Are r and 155 nonequal?
False
Let c(s) = 7*s**2 + 12*s + 4. Let v be c(-2). Let h be (242/(-363))/(-1 + v/(-6)). Are 44 and h equal?
False
Suppose -151802 + 31132 = 71*b + 141107. Which is bigger: -3688 or b?
b
Let p(w) = -2*w**2 - 52*w - 238. Let a be p(-20). Is 682 greater than or equal to a?
True
Suppose -5*g = -4*l - 1 + 21, -g - l - 4 = 0. Let y be 2*(4 - (-106)/112*g). Let k = 0.13 - 0.1. Is y >= k?
True
Suppose -7*p - 277 = q, 5*q - 517 + 732 = -5*p. Is -5.4 smaller than p?
False
Suppose -5*t - 3*t = 48. Let y be (-12 + 13)/(458/t). Are 1 and y nonequal?
True
Suppose -378 = -4*x + 574. Suppose 0 = 25*b - 11*b - x. Suppose s + 3 = v, 4*s - 5*v = 3 - b. Is -1 > s?
False
Let l be (1*-3)/(3/(-22)). Let j(a) = 19*a - 112. Suppose 100*s + 42 = 106*s. Let b be j(s). Is l >= b?
True
Let u = 10804 - 22127/2. Let s = u + 255. Let z(p) = p + 2. Let w be z(-6). Which is smaller: s or w?
s
Suppose 5*x = 9*v - 5*v + 416, v + 84 = x. Is x at least as big as 79?
True
Let m(c) = -c**3 + c**2 + 3*c + 3. Let k be m(-2). Let b be -2*((-4 - -3) + 0 + -3). Suppose -b*h = -k*h - 15. Is -13 less than h?
False
Let n(p) = -907*p - 139. Let b be n(-1). Is b smaller than 768?
False
Let c be -3 + 0 - (-4 - (49 + 2)). Suppose -42*m + 48 = 4*q - 38*m, -5*q = m - c. Which is greater: 30 or q?
30
Let f be (-564)/(-2068) - (72/22 - 3). Which is bigger: -29/354 or f?
f
Let c be -7 + 418/55 - (-126)/15*-89. Which is smaller: -749 or c?
-749
Suppose -3*b - 139 = 2*y + 2*y, -4*b = 2*y + 72. Are y and -0.05 equal?
False
Suppose 222 = 4*p - 4*m + m, -2*p + 98 = 5*m. Suppose 2*f + f = p. Let a = f - 19. Which is bigger: 1/19 or a?
1/19
Let p = 3294 + -3293. Which is bigger: -1/4876 or p?
p
Let j = -14 - -40. Suppose z = 3*z - 5*h + j, 5*h = 3*z + 29. Let y be (z - 55/(-15)) + (-28)/(-3). Which is smaller: y or 9?
9
Suppose -c - 5*a + 4*a - 3 = 0, -3*a = -4*c + 23. Suppose -4 = c*o + d, 0 = -4*o + 9*o + 5*d + 15. Let z be 19 - (o - 0) - -3. Is 23 at most z?
True
Let y(x) = 2*x**3 + 31*x**2 + 16*x + 9. Suppose 41 = -4*g - 19. Let u be y(g). Let w(q) = -q**2 + 8*q + 11. Let r be w(10). Which is smaller: r or u?
r
Let u(i) = 14*i**2 - 9*i - 60. Let s(p) = -3*p**2 + 1. Let m(o) = -4*s(o) - u(o). Let h be m(-4). Which is greater: -6 or h?
-6
Suppose 5*u - 5*c = -c + 31785, -4*u - 2*c = -25428. Let w = u - 50943/8. Which is bigger: w or -10?
-10
Suppose -742*r + 732*r = -115 - 65. Is r < 21?
True
Let h = -660/79 + 865181/103569. Do h and 2 have different values?
True
Let k = -18405 - -18140. Which is greater: k or -268?
k
Let m = -38 - -134. Let i = -177 + m. Let o = i + 74. Is o equal to -3?
False
Let q(y) = 9*y**2 - 12*y**3 + 13 - 9*y - 3*y + 0*y