
144
Suppose n - 3 = -2. Let g be (3/2)/((-51)/(-6)). Let i = g + -49/85. Is i less than or equal to n?
True
Let u = 223/3 - 71. Let d = 1388 - 1386. Which is smaller: d or u?
d
Let k be (-20)/30 + 136/6. Suppose k*j = 27*j - 15. Is 6 at most j?
False
Suppose 4*l = 6*l. Let a = -4.7 + -3.3. Which is smaller: a or l?
a
Let u = -125 + 85.9. Let m = u - -39. Is 3 bigger than m?
True
Suppose -o + 2*o = -2*j - 53, -3*o = 9. Which is greater: -26 or j?
j
Suppose -5*q = -5 - 20. Let n be 7/(-35) + 3/q. Is n less than -1?
False
Let k = -72 - -36. Let j = 231 + -268. Which is smaller: j or k?
j
Let k = -8425 + 8516. Let p(a) = a**3 + 8*a**2 - 6*a. Let r be p(-7). Is k > r?
False
Let w = 70 + -75. Suppose -5*p - 3*o - 1 = 0, -o - o = 2*p - 2. Which is smaller: w or p?
w
Let c = -5 + 6.7. Let q = 2.5 - c. Let y = -3.8 + q. Which is smaller: y or -4?
-4
Let x(k) = -2*k**2 - 17*k - 19. Let l be x(-6). Let n be l + (-3)/(-9)*6. Is 15 less than n?
False
Suppose 17*h = 3605 + 407. Is h bigger than 235?
True
Let z be ((1 + 11)/(-4))/(-1). Suppose -3*b = 2*o + 2*o + 30, 2*b - 5*o = z. Let n = 6 + b. Which is greater: n or 8?
8
Suppose 3*p + 3 = 5*d, 4*d + 5*p = 3*d + 23. Suppose -9*h = -8*h - 24. Let n = -23 + h. Is n at least as big as d?
False
Let v = -10637846082/235 + 45267663. Let h = 1164/5 - v. Which is smaller: -1 or h?
-1
Suppose b + 2*k + 538 = 6*b, -k = 4*b - 433. Let m be (b/(-30))/(4/10). Let h(w) = w - 8. Let d be h(0). Is m not equal to d?
True
Let y = -9/5 + 11/5. Let r = -0.18 + -0.05. Let a = -0.07 + r. Are a and y equal?
False
Let l be ((-1)/(-9))/((-2)/(-344451)). Let w = l - 19493. Let b = 358 + w. Which is greater: b or 0?
b
Let q = -96.7 + 97. Let j(d) = d**2 - 7*d + 1. Let c be j(7). Suppose 0 = -3*n - 9, -5*n - 10 = -3*l - c. Which is smaller: l or q?
l
Let m(y) = 6*y + 2. Let v be m(0). Suppose v*k - 24 = 5*k. Which is smaller: k or -9?
-9
Let l(z) = -z**3 - 11*z**2 + 10*z - 25. Let k be l(-12). Is k at least as big as -1/7?
False
Let r(f) = -f**3 + 9*f**2 + 2*f - 13. Let z be r(9). Let n be z - 14/4 - (3 + -1). Is 11 greater than n?
True
Suppose 3*a = 3*o, 5*a + o - 16 = 14. Let z(c) = c**3 - 6*c**2 + 7*c - 11. Let r be z(a). Which is bigger: -4/11 or r?
-4/11
Let w = -43/4 - -299/28. Let g be -1 + (-2)/(-1 + -1). Which is smaller: w or g?
w
Let z = -74 - -63. Which is smaller: -1/38 or z?
z
Let b = 136961687/35 - 3912230. Let t = 961 - b. Is t greater than 1?
False
Let f = -4 + 9. Suppose -25 = 5*p + 5. Let y = f + p. Which is greater: -10/7 or y?
y
Let p = -25525/264 - -1064/11. Is p less than -1?
False
Let h(o) = o**2 + 4*o - 16. Let j be h(-6). Let a be (-5)/(-4) + j/16. Is a equal to -1/18?
False
Let g = 2 - 9. Suppose 0 = j - 5*j - 2*u, 3*u - 9 = 3*j. Let o = j - 4. Which is smaller: g or o?
g
Let q(k) = -k**3 - 6*k**2 - 4*k - 2. Let n be q(-4). Let u be (-8)/n*3/(-18). Let x(m) = 3*m**2 + 24*m - 26. Let s be x(-9). Which is bigger: s or u?
s
Let k(l) = 6 + 2*l - 17*l + 5*l + 2*l. Let c be k(-3). Let w be 68/(-6) + (-20)/c. Is w equal to -13?
False
Let h = -211448/14671 - 50/863. Which is smaller: -13 or h?
h
Let x(m) = -m**2 + 25*m - 58. Let l be x(22). Let f be l/(-2)*(-1 - 135/(-138)). Does f = -1/3?
False
Let i be ((-5488)/44)/(-14) + -9. Is i at most as big as 10?
True
Let n = 5.2 + -6.42. Let s = n + 1.3. Let r be (6/15)/((-2)/(-10)). Is s > r?
False
Let i = 0.23 - 0.18. Let u = 0.464 + 0.536. Which is smaller: u or i?
i
Let w = 49 + -46. Let g(s) = -2*s + 6. Let f be g(w). Let k = -124 + 863/7. Is k at least f?
False
Let t be 1*(-6 - -2) - -2. Let y be ((-13 + 1)/3)/t. Suppose -2*k = 2*k. Is k smaller than y?
True
Let c(n) = n**3 + 14*n**2 + 5*n + 71. Let w be c(-14). Are w and -5/59 unequal?
True
Let f(w) = -4*w**3 + 5*w**2 - 3*w + 2. Let z be f(3). Is 3 > z?
True
Let t = 36 + -196. Which is smaller: t or -161?
-161
Let w be (-14)/(-21) + 314/(-6)*5. Which is bigger: w or -260?
-260
Let p be (-10)/15 + (-2)/(-3). Let f(q) = -10*q**3 - q. Let k be f(-1). Let t = 8 - k. Which is bigger: p or t?
p
Suppose 6*d - 4*d - 2*o = -8, -2*d - 3*o + 12 = 0. Suppose d = -2*i + 2*b + 26 + 30, i - 8 = -3*b. Which is bigger: i or 73/3?
73/3
Let s = 223 + -265. Is s not equal to 3?
True
Let t = 1678 - 1677.97. Is t at least -5/2?
True
Suppose 5*j - 108 = 527. Which is smaller: j or 126?
126
Let p = -3/1241 + 18693/32266. Which is smaller: 1 or p?
p
Let w(n) = -5*n**2 + 2*n + 3. Let g be w(-4). Let x be g/(-68)*(-3)/(-35). Is 0 less than x?
True
Let p = 1366.94 + -1367. Is -0.31 <= p?
True
Suppose -54*t = -49*t - 5. Is t at most -3?
False
Let k be (-1)/(-7 + 1 + 20 + -15). Is k != 2/107?
True
Let j = -5 - -5. Let f = 5 - j. Suppose 8 = f*m - 22. Which is smaller: m or 4?
4
Let f = 1707 + -1706. Is 24/71 equal to f?
False
Suppose 23*z = -z + 24. Is z at least 103?
False
Let n = -288 + 273. Which is greater: n or -2/7?
-2/7
Suppose 30*f + 90 = 29*f. Let g = f - -90. Which is smaller: g or -3/46?
-3/46
Let f(n) = n**3 - n**2 + 1. Let l be f(0). Let k = -3 - 0. Let h be (-1 - k) + (-84)/39. Is h smaller than l?
True
Let x be (-4)/(4*1/(-2)). Let d be (4 + -3)*x + -27. Let o = -45 - d. Which is smaller: -19 or o?
o
Let d = 137/4 + -261/8. Which is greater: d or 3?
3
Let v be (-11)/(-4) - (-12)/48. Suppose 0*a - v*a = 6. Let m = 0.21 - 1.21. Which is smaller: m or a?
a
Let o = 35 - 23. Suppose -4*b - o = 5*c + 158, -5*c + 4*b = 130. Which is smaller: -29 or c?
c
Suppose 4*j + 537 = -3. Is j <= -134?
True
Suppose -5 + 3 = h. Let o be 4/6 + h/(-6). Let p = -303 + 3033/10. Which is bigger: p or o?
o
Let c be (22 - 22)/(-2 - 1). Does -10/83 = c?
False
Let q(y) = -24*y - 153. Let f be q(-6). Is f <= -3?
True
Suppose 0 = -p - 2*p + 2*p. Let x(n) = -n + 10. Let s be x(10). Suppose 0 = -2*c + 5*g - s*g + 24, -5*c - 5*g - 10 = 0. Does c = p?
False
Let r = 65 + -124. Let v = r - -125. Which is bigger: v or 65?
v
Let q(n) = 7*n + 13. Let p be q(-7). Let w be (-24)/p - 2*5/(-3). Are -1 and w unequal?
True
Suppose k - 5*g = -11 + 33, k + g + 2 = 0. Suppose 2*d - y = -3*d + 40, -3*y = k*d - 16. Is d < 7?
False
Let i = 28425960 + -1449779750/51. Let f = -1094 - i. Let v = f - -62/357. Is -1 less than v?
True
Let a be 1/4 + (-9)/36. Let r = 11 + -6. Suppose 3*j = 3*g + r + 7, 3 = 3*j. Which is bigger: a or g?
a
Let a = 422/3 - 142. Let r(d) = -d**3 + 10*d**2 + 13*d - 5. Let m be r(11). Let s = 17 - m. Is s at most a?
False
Let p = -361 - -610. Is p at least 248?
True
Let o(t) = -t**3 + 5*t**2 - 1. Let j(z) = -z + 2. Let x be j(-3). Let u be o(x). Which is smaller: 6/25 or u?
u
Let x be ((-3)/(-18))/((-2)/12). Let q be 2/x*217/14. Which is greater: -32 or q?
q
Suppose -2 = -4*r + 6. Let k(s) = 3*s**2 + s**3 - 3*s**r - 3*s**2 + 4*s**2 - 7*s. Let j be k(-3). Are j and -2 equal?
False
Let k be (-27897)/119 - 3/(-7). Which is smaller: -2/7 or k?
k
Let m = 299 - 203. Suppose -3*f - 4*s + 78 = 3, 5*f - m = 3*s. Which is bigger: 23 or f?
23
Let m(t) = 2*t**2 - 4*t + 11. Let a be m(4). Suppose -a = 3*l + 18. Is -17 > l?
False
Let g = -2634 - -1432897/544. Which is smaller: g or -1?
-1
Let a = 2 + -6. Let y = -9 + 9.9. Let v = -1 + y. Which is smaller: a or v?
a
Let d = -274/3 - -88. Let y be (1/2)/((-8)/64). Is d less than or equal to y?
False
Let f be (0/(4 + -8))/(0 + 1). Suppose 0 = -3*w - 2*s - 15, -3*s = 9 - 0. Let c be (-21)/14 - w/2. Is c at most f?
True
Suppose -9 = 2*v - 5*v. Suppose 5*r + 4*s = 23, -v*r - 3*s + 3 = -4*r. Suppose -2*h - 7 = 4*a - r*h, -4*h = a - 11. Is 1/4 at most as big as a?
False
Suppose -3*c = -9*c + 402. Is c at least as big as 68?
False
Let w be 2 + 1/(25/(-1020)). Let o = 39 + w. Which is greater: 1 or o?
1
Let d(w) = w**3 - 7*w**2 + 8*w - 12. Let f be d(6). Suppose f = -9*g + 3*g. Let p be (0 - -3)/((-2)/4). Is p >= g?
False
Let c = -133 + 144. Is c at least as big as 0?
True
Suppose 9*h - 15 = 3. Suppose 4*j + 50 = h*l, 0 = 2*l + 2*l + 20. Are -14 and j equal?
False
Suppose -7*g + 443 = -2*g - x, 173 = 2*g + x. Is g >= 87?
True
Suppose -2*r = r - 30. Suppose r*o = 11*o - 7. Suppose 4*j = 7*j - 24. Which is greater: j or o?
j
Let x = -4 + 5. Let u be x*5 + -17 + 14. Is -24 bigger than u?
False
Suppose 4 - 40 = 2*j. Let t = -221.1 - -221. Which is greater: j or t?
t
Let w(i) = -i**3 + i**2 - i - 1. Let l be w(0). Which is smaller: l