Let n = -3 + y. Let r be o(n). Which is smaller: r or -4/9?
-4/9
Let j be (-858)/44 + (-2 - 26/(-16)). Is -21 bigger than j?
False
Suppose x - 5*n - 189 = -n, 5*x - 5*n = 990. Let y = 435/2 - x. Let m = y + -433/26. Which is smaller: m or 2/7?
m
Suppose 0 = -4*u - 13 - 7. Let n = -133 + 138. Is n smaller than u?
False
Suppose -3*j + 24 = -3*m, 4*m + 24 = -m - 3*j. Let t = -2 + m. Which is bigger: -4 or t?
-4
Let o(a) = a**3 - 15*a**2 + a - 3. Let d be o(15). Let c be (-3)/d + (-651)/(-140). Is 0 < c?
True
Suppose 0 = -5*m + 27 - 12. Suppose a = -4*n + 3 + 2, -5*n = -m*a - 19. Which is greater: 5 or n?
5
Suppose -2*j + 4*b - 82 = 10, -b + 104 = -2*j. Suppose 0 = 7*t + 218 + 167. Which is smaller: t or j?
t
Suppose -6*k = -0*k - 48. Which is smaller: k or -3?
-3
Suppose 0 = 2*z + 2*t - 2, -4*z + t - 1 = -0. Let b(l) = l**3 + l + 9. Let r be b(z). Let w be ((-12)/4)/(r/4). Is 0 <= w?
False
Let p = 6 + -2. Let g = p - 4. Let d be 9/(3 + g) + -10. Is d at most -8?
False
Suppose 0 = -z - 195 - 26. Is z equal to -218?
False
Let c = -1 + 4. Suppose 2*n - 1 = c. Let x be 1/5*(-5)/n. Is x != -1?
True
Let f = 0 + -1. Let h = -1469/51 - 77/17. Let k = h + 2906/87. Which is smaller: k or f?
f
Let q(z) = z**3 - 5*z**2 - 6*z + 13. Let f be q(6). Which is smaller: 7 or f?
7
Let i be 3/(-9) + 20/6. Suppose 0 = -0*y + i*y - 6. Suppose 0 = y*l - 5 + 3. Is l greater than or equal to 1/26?
True
Suppose 4*v + 20 = -4*q, -v - 7 + 0 = 3*q. Let n be q/1 - (-660)/615. Let l = n + 55/369. Is l <= 0?
False
Suppose q = 3*r + 3 - 15, 3*q - 3 = -4*r. Let y = 0 + 0.1. Is r > y?
True
Let a = 99 - 98. Let f be (-3)/20*10/(-15). Which is smaller: a or f?
f
Let f be -14*2*2/(-14). Let r = 4 - f. Suppose -2*j = -j. Is j bigger than r?
False
Let v(s) = s**3 - 2*s**2 - 2*s - 2. Let h be v(2). Let d be ((-112)/48)/(2/h)*1. Which is smaller: d or 10?
d
Suppose -3*s + 6 = 3. Suppose -20 = -2*n - 3*n. Suppose -4*f + 0 = 4*v - 48, 0 = 4*v - n*f - 32. Which is bigger: s or v?
v
Let q = 12.69 + 0.31. Let h = 19 - q. Let k be (6 - 5) + (-2)/(-2). Which is bigger: h or k?
h
Let h be 2 + (-2 - (-76)/728). Let m = h - -1/26. Is m at most 0?
False
Suppose -7*f = -4*f - 54. Let r be 1*(-94)/f + (-20)/(-90). Which is greater: -6 or r?
r
Let v be (6/12)/(2*(-4)/(-112)). Which is smaller: v or 14?
v
Let a = 4 + -9. Let q = 72 - 79. Which is bigger: q or a?
a
Suppose -j + 18 = -3*q, -5*q = -2*j - 7*q + 28. Suppose 0 = j*n - 103 - 92. Let y be (3 + -5)/((-1)/7). Which is smaller: y or n?
n
Let s = -2.23 - 0.27. Let z = -2.1 - s. Let j = 0.4 - z. Is 2/19 greater than or equal to j?
True
Suppose 3*k - 55 + 10 = 0. Let f(y) = 120*y**2 + 348*y - 19. Let s be f(-3). Is s greater than k?
True
Let n(v) = 2*v - 6. Let b be n(-12). Let g be 9/b*(-8)/6. Which is smaller: g or 0?
0
Let t = -1487 + 755397/508. Let l = 547/19812 - t. Which is smaller: 1 or l?
l
Suppose -5*k + 5 = -5. Let q(b) = 2*b + 1. Let c be q(k). Suppose c*u - 5*r = 0, r - 1 = 5*u + 7. Is u equal to -6/11?
False
Let m be -26 - ((-1)/4 + 5/20). Let r = m - -16. Let b be (-2)/1 + -6 + -1. Which is smaller: b or r?
r
Let d be (2/(-4))/(5/(-230)). Let x = d + -16. Let u = 4 - 5. Which is greater: x or u?
x
Let x(d) = -d**3 + d**2 - d - 1. Let r be x(0). Let u be ((-60)/(-630))/((-3)/(-21)). Is u bigger than r?
True
Let k(x) = 26*x + 104. Let t be k(-4). Which is smaller: t or 8/285?
t
Let c = 52 - 38. Suppose 2*g = -4 - c. Which is bigger: g or -28/3?
g
Let d = 16 + -16.13. Let v = 2.13 + d. Let j = -1 - 0. Which is smaller: v or j?
j
Let o = 583.8 - 584. Let y = -86/285 - -7/19. Which is bigger: o or y?
y
Let q = -4 + 7. Let k(o) = 130*o - 36. Let v be k(-6). Let a = v + 5730/7. Which is greater: q or a?
q
Let a be (284/(-46))/(-2) - (20 + -17). Let p = -5 - -4. Let w be (p - -2) + 1 + -3. Which is smaller: w or a?
w
Let y = -20 - -60. Let l be 18*((-68)/y + 2). Which is smaller: 6 or l?
l
Let a = 140 - 41. Suppose 8*l - a - 845 = 0. Is 118 < l?
False
Let o(f) = -1. Let w(a) = -3. Let p(x) = -11*o(x) + 4*w(x). Let r(j) = 3*j + 2. Let b(t) = -5*p(t) - r(t). Let v be b(2). Is -7 at most as big as v?
True
Let n(l) be the third derivative of -l**6/120 - 4*l**5/15 + 2*l**4/3 - 23*l**3/6 + 2*l**2. Let u = -134 + 117. Let g be n(u). Which is smaller: g or 0?
g
Suppose 4*b - 2*b = 0. Suppose 2*g = -3*o + 5, -8 = 5*o - g + 1. Let h be o*(-1 - 0/(-4)). Which is greater: h or b?
h
Let d be (-20)/(-25)*(-160)/2. Is -65 < d?
True
Let p be 3/(-3*(-2)/(-4)). Let d be (0 - 0/(-2)) + 2. Let n be 42/4*d/(-24). Is p bigger than n?
False
Let u be (8/(-10))/((-10)/50). Let p = -2 - -2. Let r(k) = k**3 + 3. Let t be r(p). Is u greater than t?
True
Let f be (-27 + -2)/(-1) + -3. Let p = f - 25. Is p at least -1/28?
True
Suppose v + 1 = -4*w + 4, -5*v + 2*w - 7 = 0. Let l be (-992)/(-330) + 5 + -14 + 6. Is v greater than l?
False
Let b(n) = 48*n - 135. Let j be b(8). Which is smaller: j or 247?
247
Suppose 4*a = 4*g + 120, 6*a = 7*a + 1. Is -222/7 smaller than g?
True
Let a(c) = -c**2 - 4*c + 61. Let f be a(-10). Are 1/2605 and f equal?
False
Let a(x) be the first derivative of x**3/3 - 2*x**2 - 2*x + 6. Let f be a(5). Suppose -5*j + 2*r + 19 = 3*r, -2*j - 5*r = -f. Is j less than -0.1?
False
Let h be 62/899 - (-40)/261. Let r = 0.07 - 5.07. Is h != r?
True
Let l = 287.9 + -332. Let p = 44 + l. Let s(n) = n**2 + n. Let m be s(-5). Is m greater than p?
True
Suppose 4*n - 3 = 2*n + l, -3*n + 2*l + 5 = 0. Let t be 6/(-21)*-1*n/2. Let z = -1.2 + 1. Is t < z?
False
Let a = 2466/7 + -352. Let j(h) = 6*h + 6. Let v be j(5). Is a > v?
False
Let h = -79 - -65. Let c be (-39)/5 + h/(-5) + -2. Are c and -8 unequal?
True
Let f(k) = -3*k + 42. Let t(z) = -z + 14. Let o(i) = 4*f(i) - 11*t(i). Let x be o(15). Which is bigger: -4 or x?
x
Let a = -4 + 6. Let u(i) = i**2 + 1. Let r = 26 - 25. Let o be u(r). Is o less than or equal to a?
True
Let a = 2407/8 + -13451/40. Are -36 and a nonequal?
True
Let r = -1 - -1. Let d = 548/7 + -78. Let p = d + -12/91. Which is smaller: p or r?
r
Let o be 2/3*(-4)/92. Is o greater than or equal to -1?
True
Suppose -2*x - 2*x = -5*z, -2*z = -4*x. Suppose 279*w - 276*w - 21 = x. Let g = 1 - 0. Which is bigger: w or g?
w
Let j(l) = -7*l**2 - 59*l - 457. Let n be j(-7). Are -387 and n non-equal?
False
Let w be -16 - 1 - 4/(-1). Suppose -3*k + 10 = -2*c - 5, -4*k = -5*c - 48. Which is greater: c or w?
c
Let s = 462 - 326. Let f = s - 108. Are f and 28 nonequal?
False
Let r = -801 + 801. Is -2/145 > r?
False
Let t be 2199/9*(-6 + 3). Let i = 182515/249 + t. Is 0 greater than or equal to i?
True
Let z = 199 - 177. Which is bigger: 19 or z?
z
Suppose 58*f + 4788 = -1476. Which is greater: -109 or f?
f
Let c be (-591)/(-8)*(-2)/3. Is -50 smaller than c?
True
Let v = -50.66 - -1.66. Is v bigger than 2?
False
Let d be (-73)/(-114) - 8/12. Let l be 21/7*(-2)/6. Which is bigger: d or l?
d
Let a = -13998172 + 3191588989/228. Let x = 101/4 - a. Is x < -1?
False
Let r(v) = 73*v - 292. Let h be r(4). Is -2/451 >= h?
False
Let k be 836/(-143) + 6 - 2/13. Which is smaller: -19/37 or k?
-19/37
Suppose 20 = 4*q - 0. Suppose 5*o = -0*o + 3*t - 31, 4*t + 52 = -q*o. Let f = o + 0. Which is smaller: -2/7 or f?
f
Let h = 1070 + -1039. Which is bigger: h or 129/4?
129/4
Let o = -171/11 - -491/33. Which is smaller: o or 0.0116?
o
Let w = 1.39 + -1.3. Let f = -0.29 + w. Is f at least as big as -8/3?
True
Let i be (3/14)/((-792)/32). Which is bigger: 0 or i?
0
Let u be -9 - -6*(-45)/(-27). Is u >= 4/1001?
True
Let c be (8/10)/(2/110). Let t(h) = -3*h - 2. Let z be t(-3). Suppose 21 = 3*q - f - z, -c = -5*q - f. Is q at most 8?
False
Suppose -55 = 4*n + n. Let l(f) be the third derivative of f**5/60 + f**4/2 + f**3/3 - 38*f**2. Let j be l(n). Does -10 = j?
False
Let f be ((-140)/30 + 4)*6/22. Is f less than 23?
True
Suppose 236 = 4*z + 68. Let q = -41 + z. Which is smaller: 4 or q?
q
Let k = -567 + 571. Is k > 11/4?
True
Let b(k) = 2*k + 6. Let l(j) = -j - 1. Let t(d) = -b(d) - 4*l(d). Let r be t(3). Suppose -r*v + 1 = -5*p - 10, 2 = 4*v - 2*p. Is v smaller than 3/8?
True
Let b be (-4874)/(-14) + (-318)/(-371). Is 347 not equal to b?
True
Let y = -3 + -1. Let h(s) = 3*s**2 + 2*s + 2. Let t be h(-1). Suppose 12 = -0*c - t*c. Is y > c?
False
Let d = 48 + -149. Let y = -78 - d.