s 2 bigger than n?
True
Let n = -28 - -550. Does 522 = n?
True
Let p be ((-3)/(-12240))/(2 + (-72)/30). Are -1 and p non-equal?
True
Suppose 12 = -4*c, -5*t + 78 = -11*c + 10*c. Which is smaller: 99/7 or t?
99/7
Let p(d) = 4*d**3 - 10*d**2 + 6*d + 13. Let o be p(4). Is 135 at most o?
False
Let a(z) = z**2 + 6*z + 9. Let q be a(-4). Let t be (-1395)/480 - q*-3. Which is smaller: 0 or t?
0
Let w be (-2)/(-10)*(91 + (-12)/(-3)). Is 16 at least as big as w?
False
Let t = 18.4 - -41. Which is greater: t or 0?
t
Let g = 0.535 + 0.465. Which is greater: g or 212?
212
Let j(y) = -y**2 + 9*y + 6. Let p be j(9). Suppose p = 5*g - 9. Suppose 3*s - 3 = -3*u + 6, s = 2. Is u at most as big as g?
True
Let n be (0 + -2)*(-133)/(-14). Let f(w) = -w**3 + 2*w**2 - w + 1. Let s be f(-2). Let t = s + n. Is 0 smaller than t?
False
Suppose 4*k + 2*r + 50 = 9*k, -9 = 2*k + 5*r. Suppose 0 = 3*i + x - 7, 0*i + i + 1 = 3*x. Suppose 3*g + i*u = 16, 2*u = -2*g - 3*u + 7. Is k greater than g?
True
Let z = -4 - -3. Let a = 2/899 - -833/29667. Do a and z have the same value?
False
Let p(i) = -5*i - 11. Let c(v) = -5*v - 11. Let h(d) = 5*c(d) - 6*p(d). Let y be h(-5). Is 0 equal to y?
False
Let d = 5.6 - -1.4. Let b = d + -7.01. Let j = b - -1.01. Which is smaller: 8 or j?
j
Let x = 265.856 + -268. Let w = x - 0.156. Let h = 8/39 - -38/195. Is h greater than w?
True
Let k(y) = y + 2. Let m be k(0). Suppose 0 = -3*a + v + 14, a - m*a + 8 = -v. Is a bigger than 8?
False
Let w be (38 - 32)*7/86. Is -0.2 at least as big as w?
False
Let g = -96/7 + 97/7. Let o(c) = -2*c - 19. Let q be o(-10). Which is greater: g or q?
q
Let i be 2*(-5)/(-10)*(1 + 8). Suppose -3*v + 2*v = 20. Let l be ((-16)/v)/(4/50). Is i bigger than l?
False
Let d be (7/(-14))/(1/(-2)). Suppose 0 = 3*s - 12 + 9. Is d < s?
False
Suppose -138 = -21*o - 2*o. Let t be (-8)/18 - 2/9. Does o = t?
False
Let v be ((390/(-12))/5)/((-1)/2). Suppose 0 = -y - 5*h + 4*h - v, -2*y + h - 11 = 0. Is -4 greater than y?
True
Let o(z) = -z**3 - 20*z**2 - 18*z + 6. Let d be o(-19). Which is greater: 1 or d?
1
Let b = -74 + 78. Suppose -7*u + 3*u = 8, 3*o = b*u + 119. Which is greater: 36 or o?
o
Let n = 0 - 1. Let t(v) = -2*v**3 - 2*v**2 + 3*v + 2. Let f be t(-2). Let l be 4*(f/16)/(-1). Is l bigger than n?
False
Let c be (30/45)/(2/762). Which is smaller: 253 or c?
253
Let w(q) = 2*q + 5. Let r be w(5). Suppose d + o = -4*o - r, 2*d = -4*o. Let v = 9 - d. Which is greater: -1/3 or v?
-1/3
Suppose 0*f = -5*f + 10. Let z be (-47)/(282/36) - 114/(-16). Which is smaller: z or f?
z
Suppose 4*u = 135 + 61. Let d be (-4 - -7 - -5)/(-10 + (-549)/(-54)). Which is smaller: u or d?
d
Let p(k) be the third derivative of -k**5/60 - k**4/4 - k**3/2 - k**2. Let v be p(-3). Which is smaller: v or 8?
v
Let f = 15.4 + -13. Let o = -1.5 + f. Let y = 0.96 - o. Which is bigger: y or -1?
y
Let g = -408 - -395. Suppose -m + 54 = -4*q, q + 62 = -3*q - 3*m. Which is smaller: q or g?
q
Let u = 40.64 + -10.52. Let i = u + -30. Is 1 smaller than i?
False
Let v = -1547 + 1546.87. Which is greater: v or 0.08?
0.08
Let s = 310.04 - 310. Which is bigger: s or 9?
9
Let v be ((-43)/(-2) - 2)*(-2)/(-3). Let h(j) = 5*j + 1. Let b be h(3). Suppose 3*c + b = 58. Is v at least c?
False
Let o be ((-1)/(-3))/((-2)/24). Let g be (-2 - 336/(-164))/o. Is 0 greater than g?
True
Let h = -4553386/227 + 20059. Is 1 <= h?
False
Let y = -0.2 + -0.6. Let z = y - 0.2. Let l(r) = r - 8. Let u be l(4). Is z greater than or equal to u?
True
Let b(g) = -41*g - 6. Let y be b(4). Let j be (8/y)/(-1) + 2/(-5). Which is bigger: j or -1?
j
Let b(r) = r + 11. Let z = -24 + 14. Let x be b(z). Suppose 4 = v - x. Is v > 5?
False
Let r = -13 - -15. Suppose 4*m = -0*m + 12. Suppose -m*b + 3*u = 6, 4*b - 5*u + 6 + 6 = 0. Is r < b?
False
Let t = -8823 + 644081/73. Suppose 0 = -2*x - 5*c + 23, -c - c = -5*x - 15. Which is bigger: x or t?
t
Let g = 78 + -986/7. Is -63 >= g?
False
Let r = -0.046 + -26.954. Let x = 27.5 + r. Which is smaller: x or 2/9?
2/9
Suppose 5*a - 38 = 5*b - 8, 3*a = -3*b. Which is smaller: -12 or a?
-12
Suppose 592 = 3*z + 4*g, -796 = -3*z - z - 2*g. Let q be (-104)/z + (4/(-2))/(-4). Which is smaller: 1 or q?
q
Let a be ((-25)/(-10) - 2)/(2/(-32)). Let m be -3 + 3 - (-40)/(-6). Is m < a?
False
Let c = 128 + -1918/15. Let q(m) = 4*m - 2. Let v be q(3). Let w = -10 + v. Do w and c have the same value?
False
Suppose -5*l + 3*b = -b - 16, -5*l - 5*b = -25. Let q(j) = -j**2 + 3*j + 2. Let w be q(l). Let x be ((-1)/2)/(w/(-6)). Which is greater: x or 1/5?
1/5
Let w be 3*55/60*-4. Let c = -13 + 19. Let r = c + w. Is -4 equal to r?
False
Let v(u) = -4*u**2 - 4*u - 39. Let j be v(6). Which is bigger: 0.1 or j?
0.1
Let k(c) = -3*c + 18. Let j be k(4). Suppose -h = 2*i + 3*i + 18, 0 = -4*h + 2*i - j. Which is smaller: -21/11 or h?
h
Let r = -64.8 - -10.8. Let h = -56 - r. Is h greater than or equal to 2?
False
Suppose 4*p - 4 = -4*j, -4*p + 5*j - 40 = -8. Let a = -24 + 14. Let k be (10/4)/(5/a). Is p != k?
True
Let t be (-2)/(-8) - 12/(-16). Let g = 50744/85 - 597. Is t > g?
True
Let d be (9 - 273/35)/((-3)/(-10)). Suppose -o - 3*y = -3, o + 2*y - 9 = -2*o. Suppose -20 = 4*s + s, -o*s = -d*t - 28. Which is greater: t or -11?
t
Let g(v) = -v + 5. Let x be g(-5). Suppose -7*i = -5*i - x. Suppose -4*w = 6*y - 2*y + 12, 4*w - i*y = 15. Which is smaller: w or 2/37?
w
Let k be (332/(-104) + 4)*-14. Which is smaller: k or -10?
k
Let i be -1 - (-7)/9 - (-5269)/99. Is 52 equal to i?
False
Suppose -116 = 3*w + w + n, -5*n = 0. Which is bigger: w or -138/5?
-138/5
Let h = 7.94 - 8. Let q = 14.26 + -14. Let t = h + q. Is 1 smaller than t?
False
Suppose 2*s + 3*x - 8 = -3*s, -2*s = -3*x + 1. Let y be (1 + 0)/(s*-3). Let m = 9.64 + -4.64. Is y at least m?
False
Let j = -0.118 - -0.014. Let w = j - -0.004. Is 7 at most as big as w?
False
Let s(l) = -l - 3. Let m be s(-2). Suppose -r + 108 = -5*i, -3*i - 6*r + 2*r = 51. Let q be 6/2 + (204/i - -6). Is m at most q?
True
Let g = -2.1 + 1.2. Let m = -47 - -48.9. Let c = m + g. Is c less than or equal to 4?
True
Let m(f) be the second derivative of 0 + f**4 - 7*f + 1/20*f**5 + 5*f**2 + 1/6*f**3. Let v be m(-12). Which is smaller: v or -5/7?
v
Suppose 5*a = 0, -2*q + 4*a - 7*a - 2384 = 0. Is -1191 smaller than q?
False
Let i = -5137/5 - -1027. Which is smaller: 0.0121 or i?
i
Suppose -2524 = 69*d + 5825. Which is greater: -119 or d?
-119
Let q be 2/((-11)/(-4) + -3). Let h(f) = 2*f. Let g be h(q). Is -15 less than or equal to g?
False
Let j = 2.15 + -2. Suppose 20 = -5*q, -4*n + 16 = -3*q - 4. Suppose -2*g = 4*o - 6*o - 8, -n*o + 20 = 5*g. Is o greater than j?
False
Let s be (-5)/(-51)*6/15. Let d be 34/(-10) + 4/10. Let x = 2 + d. Which is bigger: x or s?
s
Let h = 3/712 - 2507/3560. Let q = h + 1/30. Let y be (1 + -2)*(-2 + 0). Which is smaller: y or q?
q
Let l = 151/12 + -37/3. Suppose d + 12 = -c, -3*d = c - 2*c + 28. Is d at least l?
False
Suppose 0 = -1039*g + 1040*g - 129. Is g > 130?
False
Let l(z) = -2*z - 25. Let y(h) = h + 13. Let x(n) = -3*l(n) - 5*y(n). Let s be x(-5). Suppose 0 = s*q - 2*q. Which is smaller: q or 1/2?
q
Suppose -62*t - 5 = -57*t. Let n be 2/(-8) - (-177)/4. Let x be 2/(-4) - n/40. Is t at least x?
True
Let b be ((-12)/45)/(17/340). Which is bigger: -5 or b?
-5
Let s(y) = -4*y**2 + 22*y - 4. Let r be s(7). Suppose 0 = -4*w - 4*o - 84 - 92, 5*w + 232 = -o. Do w and r have the same value?
False
Let h be (-2)/4*(-1)/(-2). Let j(n) = n + 14. Let k be j(0). Suppose 0 = 9*r - k*r. Which is smaller: h or r?
h
Suppose -c - 498 = 5*q, -4*c + 3*c + 2 = 0. Let y be 99/q - 3/9*-3. Is y bigger than 1?
False
Let g = 12 - -6. Suppose -g = 3*t + 6. Let n be 2/(-20)*20/t. Which is smaller: -1 or n?
-1
Suppose 0 = 4*o - 2*t + 18, -2*o - 2*t = -3*o - 3. Let n be 140/(-350) - (-16)/(-10). Which is greater: o or n?
n
Let r(b) = -b + 3. Suppose k = 5*m - 12, 0 = -m + 4*m + 3*k. Let w be r(m). Let j be (-2)/(-3)*12/8. Is j > w?
False
Let i(r) = -28*r**3 - 18*r**2 + 31*r - 1. Let q be i(2). Which is greater: -232 or q?
-232
Let q = -70 + 60. Let m = 11 - 11. Which is smaller: q or m?
q
Let p(f) = -17*f - 7. Let d be p(-1). Let b be 1/2 + (-111)/(-12). Is d smaller than b?
False
Let b be 3 + 0 - 70/25. Let w = 203 + -204. Is w <= b?
True
Let a = -0