) = 639*w + 3504. Let l be i(23). Is l less than or equal to 18201?
True
Suppose -z - 5*j + 29 + 17 = 0, 188 = 5*z + 4*j. Let g = -95 - -14. Let m be (g/6)/((-63)/168). Are m and z equal?
True
Suppose -b + 291 = -4*z + 898, -4*b + 6*z - 2488 = 0. Which is smaller: b or -626?
b
Let l = 13.26 - -2.85. Let h = -1.11 + l. Suppose -6 = 4*r - 18. Is h < r?
False
Let x = -29998/15 - -35939/30. Is x greater than or equal to -802?
True
Let y be (-1 - 12/(-9))/(77/12705). Let o = -11 - -68. Is y != o?
True
Let d(s) = -s**2 - 11*s - 16. Let m be d(-9). Let h be 1/((2 + -4)/m). Let i be (-8)/(-45)*(-40)/(-16). Is h != i?
True
Let t = -12702 - -11965. Are -0.03 and t unequal?
True
Suppose -g - 2332 = -5*a + g, 3*a = -g + 1397. Let p = -949/2 + a. Let o(l) = -l + 4. Let k be o(12). Are k and p non-equal?
True
Let l be 0 - ((-439)/441 - -1). Let g be (332/(-147))/((-570)/304). Let i = g + l. Is 1 at least as big as i?
False
Let p be (-1 - 77/(-66))/(1/((-120)/(-7156))). Which is greater: p or -1?
p
Let h be (2 + (-144)/56)*-70*(-4)/80. Suppose a + 0*i = -2*i + 31, 5*a = 5*i + 185. Is h smaller than a?
True
Let f = 2.401 + -18.411. Let h = -30 + 14. Let g = h - f. Is 2 < g?
False
Let a = 86460809621789/1204 - 71811317071. Let h = 344385/28 + a. Let x = 1099 + h. Which is smaller: x or -1?
-1
Let z be (-6180)/(-110) + (-9)/(-11) + -1. Let f = -53 + z. Which is bigger: -15 or f?
f
Suppose 85*v + 46*v + 18221 = -2*v. Which is greater: v or -122?
-122
Let s be (-22 - -13) + (-2 - -16) + (-3315)/(-6). Do s and 557 have different values?
True
Let r be 2/(-4)*-4*2488/44. Is r less than or equal to 3?
False
Let i(p) = 4*p**2 + 47*p. Let x be i(0). Is x != -1/195?
True
Let o(r) = -r**2 - 3*r - 5. Let x be o(-4). Let p(n) = -n**2 + 4*n + 48. Let u be p(9). Let w be 4/((u - 1) + -3). Which is bigger: w or x?
w
Let i(b) = -8*b**2 + 6*b - 5. Let z be i(3). Suppose -3*o - 2*o = -a + 431, o - 4*a + 90 = 0. Let p = z - o. Is p less than 28?
True
Let i = -15081 + 15079. Which is bigger: 16/125 or i?
16/125
Suppose -97 = w - 51. Let a = 96 + -143. Which is smaller: a or w?
a
Let w = 100 - -59. Let a = w - 158.9. Which is bigger: -3/67 or a?
a
Let j be (1267/3)/((-6435)/(-198)) - 12. Is j >= 2?
False
Let f = -4/245 - 607/7840. Suppose -4*q = 3*m + 7, -2*m = -q - 3*m - 3. Suppose c - 35 = 5*v - 10, 3*c - q*v - 10 = 0. Do f and c have different values?
True
Suppose -3*h = a - 131, 2*h = 13*a - 16*a + 99. Suppose 2*p - 5*u = -u + 60, -p + u = -35. Is h equal to p?
False
Suppose 0 = 3*p - 4*s - 1772, 3*s = -4*p + 295 + 2101. Is 600 > p?
True
Let o(h) = 61*h + 36. Let i be o(0). Which is smaller: i or 515/14?
i
Suppose -120 = -6*a + 2*a. Let y be -1447 - 0 - (-7 + 10 + 0). Let q be 6/4*y/(-75). Is a equal to q?
False
Let v = -4723 - -20303/4. Do 353 and v have different values?
True
Suppose -5*q - 134 = -n - 8, -5*n - 5*q + 510 = 0. Let r = -39 + n. Is r <= 67?
True
Let n = 53 + -36. Let l(m) = -m**3 + 17*m**2 + 412*m + 786. Let v be l(-12). Is v greater than or equal to n?
True
Suppose -364 = 2*o - b, -36*o = -41*o + 3*b - 911. Which is smaller: o or -172?
o
Suppose 0 = 5*i - 306 + 31. Let n = i - 22. Are n and 32 unequal?
True
Let x be (8/2*-5)/(-2). Let q(z) = x*z**3 - 2*z**2 + 4*z - 9*z**3 + 6 - 4*z**2. Let w be q(5). Is w at most as big as 3/23?
False
Suppose -3*u - 5 = -17, 5*u + 13 = 3*h. Suppose -h*o = -15*o + 112. Is 28 at most as big as o?
True
Let b be 6/9 - (176/(-210))/(6/(-15)). Let u be 4*2/4 - 7. Let h be 4/10 - (-7)/u. Which is smaller: b or h?
b
Suppose 4*g = -3*k + 2*g + 5, 2*g = -10. Let h = 716 - 713. Suppose a - 168 = -4*y, k*a = h*y - 19 - 107. Is y smaller than 43?
True
Let i(k) be the third derivative of k**6/120 - 5*k**5/12 + 5*k**4/24 - 4*k**3 + 13*k**2 - 3*k. Let n be i(25). Is 101 at least as big as n?
True
Let y be 47/470 - (-57)/30. Suppose 0 = p - 5*p + 3*c + 32, p - 7 = c. Which is smaller: y or p?
y
Let z = -24 + -129. Let v = 12 + -18. Let u be ((-4)/v)/(6/z). Is -17 <= u?
True
Suppose -148 = -v - 3*v. Let i be (-2 - (-1 + -1) - 1)*3. Let z be 5 - i*(4 - -7). Is v less than or equal to z?
True
Let f = -28/11 + 568/33. Suppose -3*g + 55 = 4*w, 0 = -0*w + 5*w + 4*g - 68. Which is greater: f or w?
w
Suppose 55 = -2*r - 57. Let w = -23 - r. Let l be 1/(-1) + 54/w + -1. Which is bigger: -1 or l?
l
Let a = -56 - -17. Let s be 7/28 - (-121)/12. Let k = s - 293/6. Is a at least as big as k?
False
Let r = -7481/14 - -534. Which is bigger: 6 or r?
6
Let v = -114718024/4925 - -23293. Which is smaller: v or -1?
-1
Let h = -137536 + 1999910978/14541. Is -1 equal to h?
False
Let g = -582.8 + 579. Let v = -44 + 175/4. Is g >= v?
False
Let w = -1.55 + -0.75. Which is smaller: -5 or w?
-5
Suppose 7*y - 8*y - 92 = 3*n, -2*y + 2*n = 224. Let r = -159 - y. Is -51 smaller than r?
False
Let y = 4 + -22. Let s be 6 - (2 - -10) - (-1 + 2). Let j be 50/(-12)*((-8 - s) + 5). Is y != j?
True
Suppose 0 = 13*c - 69 - 139. Suppose -20*n + c*n + 372 = 0. Is 93 not equal to n?
False
Let f = 179 - 390. Let u = -215 - f. Which is bigger: -38/15 or u?
-38/15
Let c = -93 - -120. Let k = c - 31.6. Let r = 5.6 + k. Is r not equal to 8/3?
True
Let x be (-4)/6*45/(-6). Suppose 4*i + 4 - 75 = -c, 5*c = x*i + 305. Let j be ((-2)/(-3))/((-6)/c) + 2. Are -5 and j unequal?
False
Suppose -f - r - 104 = -4*r, 4*f = 4*r - 376. Suppose 117 = -16*s - 1323. Let b = f - s. Is b at most 2/3?
False
Suppose -11*q = -5*q + 36. Let c = 8 - 27. Let m = -27 - c. Is q greater than m?
True
Let h(c) = -c + 18. Let i be h(9). Suppose 0 = 2*t + f, 0 = 4*t - i*t + 4*f. Are -28/25 and t non-equal?
True
Let c(l) = -l - 5. Let o be c(-23). Let j be (-3 - o/4)/((-3)/(-18)). Which is bigger: -48 or j?
j
Let o = -42/913 - -22089/474760. Is o greater than 2/9?
False
Suppose 12*c - 23 + 35 = 0. Which is smaller: c or 4/33?
c
Let s(v) = -v**3 + 5*v**2 - 10*v + 48. Let x be s(5). Is -16/5 less than x?
True
Let v(h) = -3*h**3 - h**2 + 24. Let o be v(0). Let l = o - 26. Is 7 not equal to l?
True
Let x be 44/(-6)*(-3)/5*5. Let p be 209/x*(4 + -2 + 8). Is 95 bigger than p?
False
Suppose 5 = 6*y - y. Let k = -33/98768 + 1851507271/7012528. Let f = k + -264. Which is greater: y or f?
y
Let r = -74 - 92. Let g be r/(-68) + (-50)/20. Suppose 3*h + 3*x + 6 = 0, 0 = -h + 2*h - 2*x - 7. Are h and g unequal?
True
Let l = -7130 - -7297. Is 15 smaller than l?
True
Let t = -261 - -436. Let r = 176.545 - t. Let a = r + 0.055. Which is smaller: a or 4?
a
Let m be (32/(-8) + 5)/(1/134). Suppose -4*h + m = -6*h - 3*v, 4*v = -2*h - 130. Is -72 less than h?
False
Let d = 1613.16 + -1615. Let v = 0.2 - 0.04. Let j = d - v. Which is smaller: -2/23 or j?
j
Suppose -4*z = 28*r - 23*r - 177, 5*r - 5 = 0. Is 43 equal to z?
True
Let w be (-3)/24*6*284/(-639). Do 1679 and w have the same value?
False
Let a = 1891 - 1876. Let y = 64.1 + -68. Let h = y + 4. Which is bigger: a or h?
a
Let k = -2.1794 + 56.5794. Is k greater than 4/3?
True
Let x = -544 - -359. Let b = x - -187.62. Is 2/7 less than or equal to b?
True
Suppose 2*v - v = 4*t - 1156, v - 578 = -2*t. Let c = 288 - t. Is c greater than -0.26?
False
Let f(q) = -q**3 - 170*q**2 - 661*q + 567. Let x be f(-166). Let k = 37 - -30. Is k smaller than x?
True
Let m = 0.552 - 123.152. Let a = -123 - m. Let s = -21 - -29. Which is smaller: s or a?
a
Let l(u) = -18*u + 1227. Let f be l(70). Let j(r) = 4*r + 14. Let w be j(-11). Is f smaller than w?
True
Let t(j) = j**2 + j + 1. Let m(h) = 6*h**2 - h + 21 - 5 - 6 - 2*h**3 - 6. Let k(s) = -m(s) + 2*t(s). Let l be k(2). Is 3 at least l?
False
Let n(v) = 30*v - 15*v + 13 - 1 - 21*v. Let q be n(-8). Suppose 4*t = -1 + 9, -2*o + 3*t - q = 0. Is -28 equal to o?
False
Suppose -156 = -12*k - 252. Which is bigger: k or 0.003?
0.003
Let n = 14 - -28. Let m = n - 52. Let d(q) = q**2 + 14*q + 27. Let r be d(m). Which is bigger: r or -12?
-12
Let h = 0 + 1. Suppose 10 = -2*u - 0*u, u = -l + 9. Let d be (-2)/(18/63 + 626/l). Is h less than or equal to d?
False
Suppose 0 = -74*r - 3079 + 859. Let f be (-29)/1 - 2/(-6). Is r < f?
True
Let n = -0.0669 + 24.1169. Let m = -2.95 - n. Suppose -2*r = -0*f - 4*f + 22, 0 = -5*r + 2*f - 15. Which is smaller: m or r?
m
Let i = -68/49 + -2389/49. Let w = i - -25651/511. Is 0 smaller than w?
True
Let z be (-8)/6 + (-17)/((-153)