+ 5*u - 3*u. Let r be q(3). Suppose a - r = -1. Does 7 = a?
False
Let m = 174969952/3 + -671009792548/11505. Let t = m - -2/295. Does -1 = t?
False
Suppose -39 = 5*x - 54, 5*x = -i + 13. Which is smaller: i or 0?
i
Let r(d) = -d**3 + 4*d**2 - 5*d + 3. Let v = -2 + 7. Suppose -2*i + v = -1. Let y be r(i). Which is smaller: y or -1?
y
Let c be 2/4 - 1878/252. Let f = c + 20/3. Which is bigger: f or 6?
6
Let y(l) = -l + 4. Let o be y(-3). Let a(r) = -r**3 + 8*r**2 - 8*r - 4. Let p be a(o). Is p greater than or equal to -10?
False
Let d be (-2 - 1)*646/51. Are d and -37 equal?
False
Let v be (-19)/2 + 1/2. Suppose -5*n + 4*p + 27 + 13 = 0, 0 = -4*n + 5*p + 23. Suppose 0*u - n = -3*u, 1 = w + 2*u. Is v <= w?
True
Let y be (-2 - -9) + -1 - 0. Suppose 0 = -y*u + u + 15. Suppose -u*k = k. Which is smaller: k or -4/9?
-4/9
Let y = 113 + -64. Let v be y/(-46) - (-11 - -10). Is 0 less than or equal to v?
False
Suppose -3 = 2*m + 3. Let u be -3 - m*(-2)/(-3). Let f be (-4)/21*12/40. Which is smaller: f or u?
u
Let m be 6 - ((3 - 12) + 22). Which is smaller: 2/5 or m?
m
Let i be (1 - 4 - -1)*2. Let v be (-28)/7*3/i. Suppose -2*h + 2*g = 6, v*h - 6*g + 5*g + 5 = 0. Is -8 at most h?
True
Let o(q) = q**3 + 3*q**2 - 5. Let p be o(-4). Let g = -7 - -19. Let k = -33 + g. Is p != k?
False
Let w = -6 - -3. Let r = -3461 - -3454. Does w = r?
False
Suppose 0 = 8*f - 13*f - 20. Suppose 3*k + 2*u - 1 = -37, 3*u + 19 = -k. Let m = k + 5. Is f at least m?
True
Let g = -22 - -10. Suppose 0 = -96*v + 99*v + 12. Let y be g/14*42/v. Is y >= -1/4?
True
Let a(d) = 17*d**3 + 5*d**2 - 3*d + 6. Let p be a(-3). Which is bigger: -397 or p?
-397
Let i = 111 + -113. Let l be (i/12)/((-8)/(-32)). Are l and -47 non-equal?
True
Let q be -1 + 7 - 151528/25246. Which is smaller: q or -1?
-1
Let y be 2/11 + 450/(-55). Let x = -8 - y. Suppose 5*u + 2 = 22. Which is smaller: x or u?
x
Let r = -27 + 29. Suppose -6*m + r*m = 4. Let h = 1599 - 107135/67. Which is greater: h or m?
h
Let z = -2015 - -2065. Which is greater: 99/2 or z?
z
Let w be (-2)/(-7) - (-79)/(-7). Let y be (2/8)/(w/44). Let m be (3 + (-5)/2)/(36/(-56)). Which is greater: y or m?
m
Let d = 0.072 + 5.728. Let t = 0.8 - d. Let f = t - -6. Which is bigger: 1/3 or f?
f
Suppose -2*k + 2*l + 6 = l, -5*k + 22 = l. Let t be (-110)/605 - 290/(-22). Suppose -3*n - 11 = -2*d, d - k*n - t = -0*n. Is d at least 1?
True
Let o be (-4)/(-22) - (-576)/220. Let n be (-14)/10 - (-8)/8. Which is smaller: n or o?
n
Let z be 0 + (-5 - -9) - (-3)/(-1). Which is smaller: -1/13 or z?
-1/13
Suppose 4*v + 4*w = 2*v - 44, -3*w - 43 = 2*v. Let z be 2/(-4)*v*-2. Let s be (-62)/z - (3 - 0). Which is smaller: s or 0?
0
Let p(s) be the second derivative of s**5/20 - s**4/4 - s**3/6 - s**2/2 - 2*s. Let a be p(4). Is a less than 8?
False
Let x = 0.38 + -17.38. Let w = 15.9 + -16. Which is smaller: x or w?
x
Suppose -c + 3*j + 12 + 4 = 0, c = -5*j - 16. Suppose w - 4*w + 32 = f, -w + c*f = 11. Suppose -4 = -w*q + 10*q. Which is greater: q or -10/3?
-10/3
Let j = -506 - -506.2. Are j and -99/2 unequal?
True
Let c = 1.04 + -0.04. Are -1/633 and c equal?
False
Let y = 1318 + -1887. Is -569 at most y?
True
Suppose -22*r = 9*r + 5394. Which is greater: -173 or r?
-173
Suppose 0 = 4*v - 4*i + 16, -4*v = -0*i + 5*i - 11. Let x = 3/3875 - -15437/81375. Which is smaller: x or v?
v
Let n = -705 - -705. Is 1/594 equal to n?
False
Suppose 2*g + 109 = -467. Is -288 at least g?
True
Let c = 0.474 - 0.42. Let t = c - -0.046. Which is smaller: t or -3?
-3
Let j be 6*1*14/(-4). Let y be (1 + -4)/j - (0 - 0). Let f be 0 - ((3 - 1) + -3). Is y at most f?
True
Let r be (-2)/(-8) + 86*4/(-64). Which is smaller: r or -5?
r
Suppose -8 = -g - 1. Let t = -756 + 760. Which is bigger: g or t?
g
Suppose 0 = -2*g - 5 - 1. Suppose 8 - 12 = -4*f. Suppose -7 = 2*x + f. Are x and g non-equal?
True
Suppose 3*z = 4*y - 496, 0*y - y = -5*z - 804. Let v be (-2)/(-3) + z/15. Which is bigger: -8 or v?
-8
Let a(z) = -z**3 + 8*z**2 - 9*z + 5. Let l be (-30)/(-40)*(-28)/(-3). Let x be a(l). Is x greater than or equal to -9?
True
Let w = -5 - 0. Let p = 77 - 71. Let o be (-2 - w)/(27/p). Which is smaller: o or 0.3?
0.3
Let b = -2038 + 2040. Is b equal to 46.1?
False
Let s = 14 + -11. Let x be s/(-15) - 4/10. Let d be ((-10)/(-15))/(4/(-6)). Are x and d non-equal?
True
Let u be (0 - 2/6)*(-72 + 73). Are u and 0.05 non-equal?
True
Let h = -8 - -12. Let i be (-6 + 3)*h/(-3). Let s = 11/3 - i. Is 0 > s?
True
Let q = 0.246 + -0.346. Is -2/19 < q?
True
Let p = -45.475 - 0.525. Which is greater: 19 or p?
19
Let s(c) = -c - 2*c**2 + c**2 - 6*c + 10 + c. Let q(h) = h**2 + 6*h - 11. Let o(m) = 6*q(m) + 7*s(m). Let k be o(-6). Are -1 and k equal?
False
Let l = -2.976 + -0.024. Suppose -5*m - 45 = 5*f, -2*m = 4*f - f + 23. Let y = f - -6. Is y less than l?
False
Let u(h) = -h + 2. Let q be u(0). Let n be q/3 - (-3)/9. Let y = 12/355 - 866/4615. Is y > n?
False
Suppose -2*y + 4*y = 6. Let x be (-16)/(-6)*y/2. Let t be 61/(-95) - x/(-5). Which is smaller: -1 or t?
-1
Let b(o) = 2*o - 4*o + 3*o - 3. Let s be b(5). Let q(n) = n**2 + 9*n + 16. Let y be q(-7). Is y smaller than s?
False
Suppose -2*v = -2*j + 16, -j = -6*j + 4*v + 40. Is j at least 8?
True
Let n = 0.9 + -0.6. Let o = -14403 + 14394. Is o equal to n?
False
Let g(b) = -12*b + 25. Let c be g(2). Let w(k) = -174*k + 8. Let z be w(-8). Let h = -43394/31 + z. Is h at most c?
True
Let h be 7/2*(-20)/(-35). Suppose 6 + h = -8*n. Which is greater: -34 or n?
n
Let j be (9 + -5 - 4)/(-4 + 2). Is -23.5 greater than or equal to j?
False
Let q = 479 + -478.972. Which is greater: q or -0.1?
q
Let w be 1/(-5) + (-1507)/4290. Let h = 2/39 + w. Which is bigger: h or -7?
h
Let h(o) = -2*o + 4. Let g be h(1). Let t be 6 - 860/152 - g/4. Which is smaller: -1 or t?
-1
Let t be ((-132)/30)/(6/(-15)). Let v(i) = i**3 - 10*i**2 - 9*i + 5. Let x be v(t). Is 27 at least x?
True
Let b(f) = -f**2 - 23*f + 25. Suppose -4*l - 44 = 52. Let t be b(l). Is t less than -71?
False
Let a = -14/369 + 12289/2952. Let q = -611/152 + a. Suppose 5 = 4*o - 11, 4*o - 18 = 2*j. Which is smaller: q or j?
j
Let v = 928149/215 - 4317. Let u = v + 664/8385. Is 1 <= u?
False
Let l = 170 - 103. Let t = -69 + l. Let h = 1.8 - 2. Are t and h equal?
False
Let h(k) = -k**2 - 8*k - 9. Let v be h(-7). Let j be ((0 - 0)*-1)/v. Let n = 154 + -1082/7. Does j = n?
False
Let k(r) be the second derivative of -r**4/12 - 8*r**3/3 + 17*r**2/2 - 9*r. Let b be k(-17). Let p = -4 - b. Is -3 at least p?
True
Let r = -0.0368 + 1.4268. Which is greater: r or -1/4?
r
Let h be 2*1/(-15)*(-225)/42165. Which is smaller: h or -1?
-1
Suppose 0 = 43*s + 47*s. Let r(b) = -b**2 + 2*b - 3. Let i be r(2). Let o be i/(-2)*4/51. Is o smaller than s?
False
Let i = 8.6 - 7.6. Let v = 4.9 + -5. Let b = v - 0.2. Which is smaller: i or b?
b
Suppose 92*d - 9 = 101*d. Is -1/373 <= d?
False
Let i = 10 + -6. Let p = -77 + 64. Let l(b) = 2*b + 30. Let u be l(p). Is u < i?
False
Let o = -4701 - -4703.2. Let h = -3 - -3.1. Which is smaller: o or h?
h
Suppose -2*o + 26 = 5*c, 3*c + 23 = 35. Is o greater than -10?
True
Let b be 754*(-3)/(-1530) - 1. Let x = b + -4/51. Is x greater than or equal to 0.11?
True
Let k(r) be the third derivative of -1/6*r**3 + 0*r - 4*r**2 + 1/60*r**5 + 0 - 1/24*r**4. Let q be k(-1). Are -5 and q unequal?
True
Let h(z) = -z**2 + z - 1. Let c be h(-4). Suppose 24*f + 86 = -394. Which is greater: c or f?
f
Suppose -4*i + 45 = -3. Let w(y) = -5*y - 5. Let c(j) = 9*j + 11. Let o(k) = 6*c(k) + 11*w(k). Let d be o(i). Does d = -7/5?
False
Let y = -3 - -3. Let f be (-1)/(910/(-114)) + 10/(-65). Which is greater: f or y?
y
Let h = -215 + 1076/5. Is h greater than 3/2?
False
Suppose -6*v + 1552 = 10*v. Suppose -1 = -7*k + v. Which is bigger: 15 or k?
15
Suppose 18*j - 11 = 43. Is 3 > j?
False
Let m = 23 + -13. Let d = m + -7. Let h = d - 3. Do 1 and h have different values?
True
Let a be 4/5 + ((-6516)/70 - 5). Suppose -5*d + 0*d - 184 = -2*k, k + 4*d - 105 = 0. Let s = k + a. Is s bigger than -1?
True
Let y = -2713 - -2709. Which is greater: 30 or y?
30
Let w = -113 + -26. Let y = w - -133. Is y smaller than -8?
False
Let t = -5777/462 - -1/231. Which is smaller: t or -1?
t
Suppose 24*d + 11 = 59. Which is smaller: d or 13/25?