be 1*5 - (-4)/2. Which is smaller: w or b?
w
Let f = -48 - -100. Let r = f + -138. Let d = -85 - r. Is d at least as big as 0.07?
True
Let v be (-3)/(-2)*(-28 + 162). Let y = v - 1211/6. Which is smaller: y or -1?
-1
Let s be (-396)/528*2/6. Is s bigger than 5/11?
False
Let l = -109 + 121. Suppose -3*m - 17*i + 5 = -l*i, i - 1 = -5*m. Is -1/84 equal to m?
False
Let k = 482 - 450. Suppose 2*b + 4*w = -3*b - 215, b + 3*w + k = 0. Is b at least as big as -48?
True
Let o be (-10824)/(-4) - 11/(-3 - 8). Is o bigger than 2707?
False
Let u(s) = -5*s**3 + 96*s**2 + 470*s + 2. Let a be u(-5). Is a >= 675?
True
Let n = 3.51 + -3.62. Is n at most 4/9?
True
Let o be 3 - -3*26/(-6). Let t(z) = 2*z**3 + 2*z + 15. Let j be t(0). Suppose -7*k = j + 20. Which is smaller: o or k?
o
Let h be -26*((-6)/4)/(-3). Let g = h + 15. Suppose -7 = g*p + 7. Is -8 at most p?
True
Suppose -8*f + 10*f - 14 = 0. Let v(p) = 13*p + 4. Let r be v(f). Let a = r - 87. Which is smaller: 7 or a?
7
Let w = -55562.9669 - -55556. Let r = 0.0331 - w. Which is smaller: -0.2 or r?
-0.2
Let h = 0.23411 + -0.03411. Is -294/11 at most h?
True
Suppose -34 + 44 = -5*n. Let u be (3/n)/(21/14). Which is bigger: 2/5 or u?
2/5
Let i = 132.6 - -42.4. Let g = 0.18 - 0.28. Which is smaller: g or i?
g
Let c be ((-4)/(-6))/(-3*(-210)/927315). Let k = -981 + c. Let w = -949/7 + 136. Which is smaller: w or k?
k
Let z be 6 - -1 - 12/(-23)*182/(-4). Is -0.1 at most z?
False
Let u = 2740208/237 - 11562. Which is smaller: 0 or u?
0
Suppose 0 = 26*j - 2*j - 384. Suppose 14 = -j*k + 23*k. Which is bigger: 12/17 or k?
k
Let a = -35.646 - 0.254. Let r = a + 36. Let x = -0.0151 - 91.9849. Are x and r nonequal?
True
Suppose 37 = -0*w - w - 2*o, 4*w = 3*o - 214. Suppose -5*s + 16 = -14. Suppose s*j = 4*j - 100. Do j and w have different values?
True
Let v = 230 - 228.7. Let r = v + 1.7. Let s = 1.7 + -0.8. Which is bigger: r or s?
r
Suppose 4*w - 936 = -9*w. Suppose -w*o + 80*o = 0. Is 15/22 < o?
False
Let q(f) = 49 + 8*f + 42 + 51 - 75. Let t be q(-7). Which is bigger: 7 or t?
t
Let o be (-1 + 4166/4170)/(12/1995). Let j = 1/139 - o. Is -4 less than j?
True
Let u = 1/5150 - -5378657/15450. Which is greater: u or 349?
349
Suppose -5*w + 0*z + 171 = 3*z, -3*z = -w + 45. Let l = w - 20. Suppose 0 = p - 2*p + 17. Which is bigger: l or p?
p
Let q be (-4)/(-6) - (-17)/(-12). Let u = -75.92 - -75.52. Do u and q have the same value?
False
Let j = 6/13 + -17/65. Let f = -2.35 + 97.35. Let i = f - 94. Which is greater: j or i?
i
Let c(w) = -w - 4. Let d be c(-4). Suppose -100*j - 4 = -101*j. Let q be (-68)/(-51)*(21/j + -3). Is d equal to q?
False
Let d = 0.19 - -13.81. Let k = d + -28. Let s = 197 + -198. Is k at least as big as s?
False
Let u be (35320/(-180)*(-1 - -2))/(4/24). Is -1177 smaller than u?
False
Let h be (97 + -5)/(-2)*9/2. Let q be (-24)/30 + 6186/(-30). Is h less than q?
False
Suppose -4654*l = -2*c - 4653*l + 68, 0 = c + 2*l - 64. Let r be (2/20)/(2/(-12)). Which is greater: c or r?
c
Let z = 716 - 711. Suppose 3*u = -2*i - 3, 4*u = -5 + 1. Suppose -5*a + 30 = 3*w, i*a - a = 2*w - 13. Which is smaller: z or a?
a
Suppose -545*u = -519*u + 2652. Which is smaller: u or -87?
u
Suppose 0 = -10*z - 10*z. Let l(v) = 2*v**3 - v**2 + 1. Let y be l(z). Which is smaller: y or 2/185?
2/185
Let k be (2/36)/((5/190)/(12/(-3))). Which is smaller: -9 or k?
-9
Suppose 0 = w - 4, 3*v - 42 = -w - 473. Let y = 433/3 + v. Is -3/59 != y?
True
Let h = -1236 + -177. Is -0.2 smaller than h?
False
Let w = 0.0578 + -289.0578. Let h = w - -344.8. Let u = 56 - h. Which is greater: u or -6?
u
Let q(w) = -w**2 - 7*w + 8. Let a be q(-4). Let f be (-5 - (1 + a*-13))/2. Which is smaller: f or 126?
126
Suppose -530 = -357*a - 887. Let d be (-4)/(-558)*(-6)/(-8). Which is smaller: d or a?
a
Let i be 2 + -2*(-7)/(-9). Let m = -11.27111 - -0.27111. Do i and m have the same value?
False
Let v be (-4)/10 - (-436)/(-10). Let d = 5.553 + -3.553. Is d bigger than v?
True
Let w = -150 - -208. Suppose -3*b + 5*v + 24 = w, b + 4*v = 17. Let i be (3 + 105/(-33))*21. Which is bigger: i or b?
b
Let f = -615 + 1329. Let j = f + -763. Is j less than or equal to -47?
True
Let i = -211 + 256. Are i and 45 non-equal?
False
Let i(x) = 219*x - 1972. Let u be i(9). Is u >= 2/8015?
False
Suppose -10*r = -36*r + 1274. Is 20 less than r?
True
Let k = -86.9 + 103. Let w = -16.5 + k. Is w smaller than 1/16?
True
Let t = 188 - 51. Suppose 11*d - 127 - t = 0. Suppose -5*w + 29 = 4*p, d = 4*p + 2*w + 2*w. Is p greater than or equal to 48?
False
Let r = 373 + -361. Suppose 11*t + 285 = -r. Is t >= -26?
False
Let d = -184 - -170. Let t be (36/d)/(((-1044)/(-168))/29). Are -14 and t non-equal?
True
Suppose 0 = 3*c + 3, 5*c + 608 = 639*l - 642*l. Do l and -20 have different values?
True
Let p = -377 + 462. Let i be (4/(-430))/(17/p). Which is smaller: i or -15?
-15
Let r = -0.86 + 0.36. Let b(g) = g**3 + 4*g**2 - 19*g - 138. Let t be b(-5). Are r and t equal?
False
Let b = -105/4 + 1791/92. Does -6 = b?
False
Suppose 20*o = 24*o + 812. Let m = -2538 + 2538. Which is bigger: o or m?
m
Let q(a) = -4971*a**2 - 37*a + 39. Let w be q(1). Is w equal to -4969?
True
Let c be 1*((-4)/(-30) + (-1326)/(-1530)). Which is smaller: c or 3/329?
3/329
Let a = -2763 + 286. Is 0 at most a?
False
Let w(m) = -14*m - 44. Let h be w(10). Let d = -319 - h. Let l be (3 + -6)/((d/(-10))/(-9)). Which is bigger: 0.06 or l?
l
Suppose -5*i - 52 = 23. Let j(x) be the first derivative of -2*x**2 + 54*x + 11. Let w be j(17). Is i smaller than w?
True
Let k be 2/2 - (8 + (-8485)/330). Let n = 204/11 - k. Which is smaller: n or -1?
-1
Let d be (-166)/(-24)*-3*1. Suppose 33*j + 15*j + 1260 = -12*j. Which is bigger: d or j?
d
Let f(z) = z**2 + 5. Let k be f(-5). Let u = k - 26. Suppose -2*p + 26 = y - 13, -16 = -u*p. Is y at most 32?
True
Let t be (-24)/(-5) + 20/100. Suppose -u = t*k + 2 - 19, 4*k + 2*u - 10 = 0. Suppose y - 2*y + k = 0, -96 = -2*m + y. Is 50 less than m?
False
Let j be (11 - 2765/250)/((-1148)/(-40930)). Let z = j - 3/820. Suppose 5*l = 19 + 1, -5*b - 21 = -4*l. Do z and b have the same value?
False
Let i = -5746 + 5749. Is i at most as big as 20/7?
False
Let l = 7948 + -7238. Which is smaller: 4 or l?
4
Let k be 5/10*0/2. Let j(l) = -2*l - 19. Let n be j(k). Suppose 6*u - 15 = -21. Is n > u?
False
Let k(x) = x**3 - 2*x**2 + 2*x - 14. Let j be k(0). Let v = j + 333. Which is greater: 318 or v?
v
Let p = -11 + 45. Let y = -965 + 1002. Let h = p - y. Is h at least as big as -12?
True
Let f(j) = j**3 - 2*j + 1. Let q be f(2). Suppose 3*c = q*b - 106, 5*b - 2*c = -6*c + 92. Suppose -407 = 7*p + b. Is -62 <= p?
True
Let b = -423 + 366. Let d = 44.069 - 0.069. Let a = d + b. Which is bigger: a or -2?
-2
Let x(r) be the first derivative of -4*r**3/3 - 3*r**2/2 + 2*r + 81. Let d be x(-2). Which is smaller: d or -33/5?
d
Let i be (-16)/(-42)*(-10 + (-484)/(-48)). Let d be 104/(-210) + (132/63)/22. Is i > d?
True
Let w be (4/30 - 44/(-120))*6. Let y(z) = -39*z + 19. Let g(c) = -40*c + 19. Let v(u) = -4*g(u) + 5*y(u). Let s be v(w). Is -85 not equal to s?
True
Let m be 55/22*(-32)/(-110). Let y = -106 - -532/5. Are m and y nonequal?
True
Let y = 5084 + -5084.02. Which is bigger: y or 120?
120
Let a(l) = -l**2 + 5. Let b be a(0). Suppose 2 + 5 = -b*z + 4*o, o = 5*z - 2. Let x be (-2)/(-3*(-3)/(-18)). Which is smaller: x or z?
z
Suppose -17*n = -13*n - 16. Suppose -n - 2 = -3*q - t, -2*q = 4*t - 4. Is q < 5/9?
False
Let t = 6659 - 6658.9. Is -1635 bigger than t?
False
Suppose -4*k + 2*k = k. Suppose -p - 3*p + 300 = k. Let a = -72 + p. Is a < 4?
True
Let w be 71/(-426)*(2 - 8). Is w less than or equal to 1/1326?
False
Let c = -35 + 38. Let s be ((-5)/3 - -1)*c. Let g be (2 + -8)/(-3) + s. Which is greater: g or 1/64?
1/64
Let i = -32267/2 + 16133. Which is smaller: 19.748 or i?
i
Let c be (56070/440 - (-5)/((-55)/2))*-12. Which is greater: c or 0.1?
0.1
Suppose 5*w + 0*w = 295. Suppose 498*z = 486*z + 708. Is z greater than or equal to w?
True
Let y(r) = 12*r - 239. Let u be y(20). Suppose 3*t + 10 = -2*i, -5*i - 30 = -5. Suppose -5*a + 6 + 4 = t. Which is smaller: u or a?
u
Suppose 342 = -4*t - 2*l, -t + 429 = -6*t - l. Let b be 6 - ((-8)/(-76) + 9754/114 + 6). Is b <= t?
False
Let m be 6/40 + 2/(