 + q - 4, -5*n + 5*q - y = 4. Suppose n = -4*r + 6*r + 14. Is r equal to -7?
True
Let a(p) = -138*p - 641. Let m be a(-7). Are 329 and m non-equal?
True
Let z(d) = 41*d**2 - 2*d + 1. Let u be z(1). Let m be (2 + 1/(-2))*(-448)/24. Let n = m + u. Is 12 bigger than n?
False
Let b be (-84)/(-798) + 88/(-475). Let a(h) = h**2 - 3*h. Suppose 12 = -i + 3*q, 3*q - 2*q = 3*i - 4. Let m be a(i). Is m at least b?
True
Suppose -304 = 7*q + 12*q. Suppose v + 21 + 7 = -2*x, 4*v - 2*x + 82 = 0. Are v and q nonequal?
True
Suppose -3*v = 2*s - 348 + 591, 2*v - s + 176 = 0. Do -68 and v have the same value?
False
Let h be -788*(-3)/18 + 376/24 + -15. Is h smaller than 141?
True
Let g(m) = 3*m**3 - 31*m**2 + 54*m - 722. Let s be g(11). Which is greater: 163 or s?
163
Let m be 4/((-2)/((3 - 1) + 0)). Let n be (-14)/77 + m/(-22). Let r(j) = j**3 - j**2 - j + 1. Let d be r(n). Is d at most 2/57?
False
Suppose -6 + 10 = 2*q. Let g be (-6)/(-3 - (-3)/q). Suppose -n - n = -g*j - 46, 2*n = j + 40. Is 18 greater than n?
False
Let f(i) = -344*i**3 - i**2 + 1. Let b be f(1). Let z = 39735 + -40079. Is b bigger than z?
False
Let c = 11939 - 12059. Is -951/8 <= c?
False
Let d = 0.4 - 0.26. Let q = d + -0.14. Let g = 6.5 - -11.5. Which is smaller: q or g?
q
Let r be 42/28*(-8)/6. Let k be 6/51 + 100/17. Let x be k/(-18) + r + -2. Which is bigger: x or -2?
-2
Let w(n) be the third derivative of -n**5/30 + 13*n**4/6 - 13*n**3/3 - 45*n**2. Let s be w(26). Is -26 not equal to s?
False
Let f = -18810 - -18809. Is 1/6299 <= f?
False
Let w = -64478/59 - -1093. Is 0 < w?
True
Let t = -1412 - -1410. Let r be ((-3)/(-2))/((-15)/80). Which is smaller: r or t?
r
Let p(m) = 24*m + 21*m + 8 - 68*m + 28*m. Let w be p(0). Suppose -5*b - 5*s - 10 = -b, -4*b - w = 4*s. Is b at least as big as 2/31?
False
Let b(p) = 6*p**2 + 2*p + 1. Let l be b(-1). Suppose -l*z + 5*w + 35 = 0, 0 = z + w + 3*w - 2. Let h be ((-50)/22 - -2)/(z/(-4)). Which is greater: 2/9 or h?
2/9
Suppose -214*t + 66407 = 1547929. Is t greater than -6923?
False
Let z = 2240 - 2181. Is 59 less than z?
False
Suppose 8*d + 0*d = -29994520. Let t = d + 33698137/9. Let y = 5072 + t. Which is bigger: -5 or y?
-5
Let q = -521/3 - -172. Suppose i - 1 = -3*u, 6618*u - 6621*u - 5 = 4*i. Which is bigger: i or q?
q
Let y be 0 - (0 - -2 - 1). Suppose 2*p = 1 - 11, -106 = -h - 4*p. Let f be (6/27)/((-3)/h*-2). Is y > f?
False
Let z(m) be the second derivative of 0 + 26*m - 1/6*m**4 - 1/20*m**5 - 1/2*m**3 - 1/2*m**2. Let y be z(-1). Is 1/46 smaller than y?
True
Suppose 0 = -6*v - 70*v - 11780. Let a be (-1546)/10 - 6/15. Is v not equal to a?
False
Let v be 64/(-4) + (4 - 12). Let y be (-54)/v + -8 + 7. Is y at most 1/4?
False
Let c = -24 + -16.4. Let n = c + -1.6. Let b = n + 41.9. Is -2/15 at most b?
True
Suppose -2*z + 130 = -5*o, o + 253 = 4*z - 25. Let q = 5.6 + 70.5. Let a = q - 76. Which is smaller: a or z?
a
Let n = -49041/80 + 613. Is n at most as big as -18?
False
Let d(u) = -160*u**2 + 3*u - 4. Let o be d(2). Let s = o - -579. Which is greater: -57 or s?
-57
Let x = -14 + 83. Suppose -2234*y + 2356*y = 8296. Is x at least y?
True
Let y = 13768 + -6340. Let d be (4/18)/(1736/y) + -1. Let c = -3/31 - d. Is 1 at most as big as c?
False
Let f(s) = 4*s + 22. Let g be 0 - 2 - -1 - 4. Let l be f(g). Let w be -3*l/(-12)*-4 + 19. Which is bigger: 16 or w?
w
Suppose -5*x - 2 = -3*w + 18, -5*w + 5*x = -20. Suppose -63*o + 54*o + 189 = w. Is 8 less than or equal to o?
True
Let o be (-3)/(-6)*(-12)/1. Let y = o - -4. Let c be 2/4*(210/(-9))/5. Which is greater: c or y?
y
Suppose 4*h + 1818 = -2*h. Let z = h + 300. Which is bigger: z or -0.6?
-0.6
Suppose 1100 = -12*c - 7132. Is c equal to 0.2?
False
Suppose -c = 4*c + 345. Let a = -481/7 - c. Suppose 2*r + 37 = 3*s + 55, -r = 2*s + 12. Which is smaller: r or a?
r
Let c = 586.3 - 1096.42. Let j = c - -510. Is 0.09 > j?
True
Let b be ((-96)/10)/(2*(-3)/30). Suppose 88 = 44*x - b*x. Let r = -21 - x. Is r equal to -17?
False
Let r = -28850 + 490312/17. Which is bigger: r or 3/4?
3/4
Let o be (-6)/(-10) - 910442/(-130). Let u = o - 133112/19. Is -1 != u?
True
Suppose 105 = -3*n - 3*k, -79*n + 43 = -80*n - 2*k. Which is greater: -1326/47 or n?
n
Let c = 3421/1060 + 6/265. Let d = -57/20 + c. Suppose -7*j - 5 = -2*j. Is d greater than j?
True
Let f(z) be the first derivative of -3*z + 27 + 1/4*z**4 - 4/3*z**3 + 5/2*z**2. Let t be f(3). Which is smaller: t or 20/13?
20/13
Let f(n) = 7*n**2 - 16*n - 39. Let s be f(-6). Let h = 507 - s. Do 198 and h have different values?
False
Let c = -2300 + 2299. Which is bigger: 346 or c?
346
Let r be 0/((-52)/(-44) - 1*(-4)/(-22)). Which is smaller: -98/69 or r?
-98/69
Suppose 263*y = 266*y - 24. Suppose -y*h = -h. Let m be (-6)/9*(-3)/11. Are m and h equal?
False
Let h = -20672.24 + 20670. Which is smaller: 28 or h?
h
Let o be (9/6)/((-2)/36*3). Let t be (-40)/(-224) - o/(-21). Let j = -248 - -154. Which is smaller: j or t?
j
Let v = -99.3 - -95. Let c = -3.3 - v. Let o = -1.7 - -0.4. Do o and c have different values?
True
Let c(j) = j**2 + 5*j + 1. Let b be c(-4). Let h(v) = -v**2 + 8*v - 10. Let q be h(5). Let o(w) = w**2 - 10*w + 24. Let p be o(q). Which is bigger: b or p?
p
Suppose b + 3*y = -73 - 36, b - 2*y + 104 = 0. Is b greater than -105?
False
Let m = 457898 + -457291.997. Let z = -1.003 + m. Are z and -1/2 equal?
False
Let c be (-4827)/42*53/(-1007) + (-6)/1. Is 1 >= c?
True
Let g = 260 - 711. Let b be 82/g + 422/143. Is b <= -1/2?
False
Let n = 91/1335 + -12/89. Suppose 7*z - 24 = z. Let j be 4 - (z + -4) - 3. Is j less than or equal to n?
False
Let u = 3403 + -3403. Is u >= -1/600?
True
Let g = 3452 - 2934. Which is greater: 519 or g?
519
Let q(k) = -k**2 - 9*k + 14. Let m be q(-10). Suppose -2*s - h = 2*s - 577, 0 = m*s - 5*h - 571. Is 144 at least as big as s?
True
Suppose 0 = 41*t + 1153 - 333. Let r = -24430 + 96971/4. Let s = -823/4 - r. Which is smaller: t or s?
t
Let u be ((-18)/(-12) + 0)*(-49)/(-42). Which is smaller: 1.18 or u?
1.18
Let j = 7173128 + -17025558. Let c = 285783783/29 + j. Let r = -2183 + c. Which is greater: r or 1?
1
Suppose 0 = 360*i - 323*i. Let u = -77/12 + 1381/204. Which is smaller: u or i?
i
Suppose t - 1365 = 5*c - 1342, -5*t - 3*c = -367. Let p be 1*(-2)/4*-134. Are t and p non-equal?
True
Let r(t) = t**2 - t + 1. Let u(k) = 3*k**2 - 8*k + 11. Let s(b) = -4*r(b) + u(b). Suppose -836*p - 65 = -823*p. Let w be s(p). Is w greater than 12/7?
True
Suppose 27 = 5*z - 3*s - 81, -s = -2*z + 44. Suppose 4*v - g = -0*g + 36, -z = -2*v - g. Suppose 8*c = v*c - 32. Are c and 15 equal?
False
Suppose 37 = 5*h - 4*t, 0*t - t = -2*h + 13. Let c be (((-25)/h)/15)/1. Is 136 < c?
False
Let x = 4812 - 4813. Which is smaller: x or 2/17799?
x
Let c = 568 - 1024. Let r = c + 444. Which is greater: r or 15?
15
Let w = -102532.6 - -102532.64. Suppose -2*j - 6 = j. Let f be (-1)/((-20)/j)*2. Which is smaller: f or w?
f
Let o = 1.4 + -0.4. Suppose 3*g - 9*g - 516 = 0. Let q = g - -93. Which is bigger: o or q?
q
Let f = 4517 - 4586. Is f equal to 0.1?
False
Let u be (-2)/(-28)*12/(-75). Suppose -2*l + 12*l = 0. Suppose -m - 1 = -l*m. Is u < m?
False
Suppose -44 = 10*t - 44. Let c(f) = -2*f**2 + 3*f - 2. Let u be c(t). Is 2.4 bigger than u?
True
Let x = -26336943024/841915961 + 317406/10141. Let m be 3 + (-20)/(-5) + 28578/(-4083). Let q = x - m. Which is smaller: q or 0?
0
Suppose -4*k = -3*j + 12 + 16, -j + 13 = -5*k. Are -2/22747 and k equal?
False
Let q be 1*-3 + (-173120)/88. Let n = q + 1969. Let f = -27 + 26. Which is bigger: f or n?
f
Let h be -4 + 287*72/9387. Is -3 smaller than h?
True
Suppose 0*l - 6*l = -288. Let y = -38 + l. Suppose -4*w = -k + y, w = -2*k + 2*w - 1. Which is smaller: -14/9 or k?
k
Let g = 101.1 + -107. Let t = -21 - -15.3. Let d = 5.6 + t. Which is smaller: g or d?
g
Suppose -6 - 234 = -5*s. Let l be s/(-15) + (2 - (1 - 2)). Suppose 5*n + 4*r - 15 + 0 = 0, 0 = -4*n + 5*r - 29. Which is greater: n or l?
l
Let t = -3.5 + 2. Let s = 5.5 - t. Let f = -25489 + 25489. Do s and f have different values?
True
Let a(d) = d**2 + 21*d - 7680. Let o be a(0). Let z be (-24)/10*o/(-896). Is z less than -22?
False
Let d = -6286 + 17815/3. Are d and -347 equal?
False
Let t(v) = -433*v - 3482. Let g be t(-9). Are g and 3740/9 un