 Do a and m have the same value?
False
Let q be (-16)/(-6)*1/28. Let x be ((-346)/20 + 4/(-20))*2. Let z = x - -34. Which is greater: z or q?
q
Let z = 95 + -122. Let q be 212/7 - (-2)/(-7). Let f = q + z. Which is greater: 0 or f?
f
Let l = -2.29 - 47.71. Which is smaller: l or -2?
l
Suppose 4*n - n = -3*u + 3, 5*n = -3*u + 5. Let w be -4*n/12 - (1 - 1). Is w <= 8/3?
True
Suppose -49 = -5*m - 4*j, -4*m + 4*j - 17 = -49. Let g(y) = -3*y - 16. Let f be g(m). Let h = f - -23. Are h and -19 equal?
False
Let r(m) = m + 7. Let d be r(13). Let i = 4 + -1. Let c be (-132)/d + i/5. Which is greater: -5 or c?
-5
Let i = -6 + 6. Let q = -75 - -107. Let s = q + -1121/35. Which is bigger: i or s?
i
Suppose 18 = 5*j - 2. Suppose -6 - j = -5*c. Let b be c/12 + (-441)/54. Do b and -6 have the same value?
False
Let q = 33 + -19. Suppose 4*t = -0*v - 2*v + 8, -4*t + v = -q. Suppose -w = -4*w - t. Is 0 < w?
False
Let d = 9293981/473 + -19649. Let t = d - -9424/4257. Is -1/2 not equal to t?
True
Let a(q) = q**2 - 14*q. Let g be a(14). Let r be (-1983)/(-792)*2 - 5. Is g less than r?
True
Let w = -2 - -1.7. Let k = 412 - 821/2. Is w at least k?
False
Let l = -57.76 - 1.24. Let v = l - -69. Which is bigger: -1/3 or v?
v
Let o = -18.628 - 0.372. Is o > -14?
False
Suppose 18*b - 771 + 1071 = 6*b. Suppose 0 = -4*y + 4, -2*y = -5*q + y - 128. Is b at most q?
True
Let p = -0.7 - -0.5. Suppose -k - 39 = -5*o - 15, 3*o - 3*k - 24 = 0. Let h be (o/(-10))/((-3)/5). Which is smaller: h or p?
p
Suppose u - 5 = -k, -3*u + 3 = 4*k - 5*k. Let t(i) = i**2 - 3*i + 1. Let w be t(u). Let j be (1 + -1)/(-3 - -2). Are w and j equal?
False
Let x = 1367 + -2731/2. Suppose 4 = a + 1. Suppose -2*j = 3*h - 17, -a*j + 8 = -j. Which is smaller: h or x?
x
Let d be 1*((-7)/1)/(-7). Is 8/39 >= d?
False
Let b be -2 + 1 + (-2)/(-2). Suppose b*i = -2*n - 3*i + 14, -n - 4*i + 7 = 0. Let k(d) = d**3 + d**2 - 4*d + 3. Let z be k(2). Is z >= n?
True
Let l be -1 - 0 - (0 + 2). Let r be 1 + (-2060)/(-16) - l. Let b = 134 - r. Which is smaller: b or 0?
0
Let n = 857 + -878. Let c = 2.4 - 2. Is c < n?
False
Let u = -165 + 179. Let t = -1 - -17. Suppose 4*k = 3*s + 54, 2*s = -2*k + t + 18. Is u > k?
False
Let g(f) = -f**2 - 14*f - 11. Let v be g(-12). Suppose -8*s - 15 = -v*s. Let w be 14*(-2)/(-24)*2. Which is smaller: w or s?
w
Suppose -2*f + 0 = -3*c + 13, 4*c = -2*f + 8. Suppose -2*a - 4 = -2*r, -3*a + 6*a + c*r = 0. Which is smaller: a or 1/153?
a
Suppose 24 = 3*d + 2*d + 3*q, 4 = d + q. Let j be (3/d)/(3/(-36)). Let f be 2 - (-3)/6*j. Which is greater: f or -0.4?
-0.4
Let b = -328 + 329. Which is smaller: b or -37/5?
-37/5
Let b be (1 + -5)/(-3*5). Let y(s) be the first derivative of -3*s**2/2 - 2*s + 7. Let x be y(-1). Is b < x?
True
Let x be (-70)/595 - 6/(-51). Is x at least as big as 1/638?
False
Suppose -4*u + 19 = -5*y, 0*u = -u - 5*y - 14. Let v be 0*-1*u/2. Let f = -1 - v. Is f > -2?
True
Let o be (-16)/(-18) + 0 + -1. Suppose -k = -4*p + 34 - 10, 2*p + k - 6 = 0. Suppose -5*h + 5*a = -5, 3*a = 3*h - a - p. Which is greater: o or h?
o
Suppose -3*f - 820 = -817. Which is bigger: -30/113 or f?
-30/113
Let p = -42100/1397 + 171299012/135509. Let f = 1234 - p. Is f != 0?
True
Let t(i) = -11*i - 6. Let j(y) = -y - 1. Let m(n) = -5*j(n) + t(n). Let g be m(-1). Suppose 8 = -2*r, 3*r + 31 = 5*s - 1. Which is bigger: s or g?
g
Let u = -264 - -272. Which is smaller: u or 0.6?
0.6
Let r(w) = 35*w**3 - 2*w**2 + 2*w. Let q be r(1). Let m = q + -69/2. Is -10/7 at least as big as m?
False
Suppose 0 = 59*c - 74*c + 25605. Which is smaller: 1706 or c?
1706
Let q be 3/((-9)/(-12)) - 1. Suppose 12 = 4*m - m + q*n, 16 = m + 4*n. Let c(l) = l**3 - 7*l**2 + 7*l - 7. Let b be c(6). Is m at most as big as b?
False
Let s(n) be the third derivative of -9*n**4/8 + n**3/3 - 6*n**2. Let x be s(1). Let o = x + 73/3. Which is greater: o or -2?
o
Let g(p) = -p**3 - p**2 - p + 1. Let b(s) = -2*s**3 - 10*s**2 - 3*s + 21. Let u(l) = -b(l) + 3*g(l). Let k be u(6). Let a = k + -11. Is a > 7?
False
Let c = -63/2 + 313/10. Which is bigger: -813 or c?
c
Let p be (-6)/(-10) - (-4 - 151/(-35)). Which is greater: p or 231?
231
Let i be (2 - 1) + (-7 - -5). Which is greater: -2/1661 or i?
-2/1661
Let s = -6 + 10. Let u(i) = 4*i**3 + i**2 - 10*i. Let q(o) = -o**3 + o**2 + o. Let f(z) = 5*q(z) + u(z). Let r be f(s). Is 12 > r?
False
Let o(i) = -i**3 - 4*i**2 - 5*i - 6. Let f be o(-3). Which is smaller: f or -3/7?
-3/7
Let w = 4 + 0. Let n be (3/(-15) - 1)/((-18)/(-60)). Let i be 2/n*(4 + -3 + -7). Which is smaller: i or w?
i
Let t be 0 + 0/(-1 - -3). Let x be (5/(-4))/(-5)*t. Suppose x = -0*i + 5*i. Which is smaller: -0.9 or i?
-0.9
Suppose 380 = 54*m - 592. Which is smaller: m or 16?
16
Suppose -5*n - 4*c = -143, 2*c - 2 = c. Let u = n - 14. Let s = 7 + 6. Is s < u?
False
Let u = 1421 + -1423. Is u greater than or equal to -2/2081?
False
Let f(w) = w**3 + 2*w + 393. Let m be f(0). Let o be 137/m - (2 + (-15)/9). Is o at least 0?
True
Let q = 99/7 - 3. Which is greater: 1/2 or q?
q
Suppose 0 = 3*a - 0*a - 30. Let f be (-4)/3*-4*6/(-16). Let d be 25/a - 1/f. Which is smaller: 5 or d?
d
Suppose -15 = -n + 13. Suppose 0 = -4*a - 64 + n. Which is greater: a or -10?
a
Let r = 1422 + -15654/11. Let n = -182 - -181. Which is bigger: n or r?
n
Suppose 4*k - 33 = 15. Suppose w = 5*w - k. Let o = 306 + -301. Is o at least as big as w?
True
Let u be 4/(-12) + (1492/345 - 4). Are u and 0 non-equal?
True
Let i be (-1 + -6)/(3/3). Let h be 35/14*-6 + 7. Which is smaller: i or h?
h
Let s = 6.6 + -7. Let x = -29 + 143/5. Do x and s have the same value?
True
Let w = -828 - -827. Is w at most 4/261?
True
Let o = 18587 - 130355/7. Let t = o + 36. Suppose 0 = s + 4*s. Is t at least as big as s?
True
Let y = -25 - -29. Suppose o - y*o = -4*o. Which is smaller: -1/45 or o?
-1/45
Let s = -165/58 + 23029/7830. Is 1 at most s?
False
Let h(u) = -u**2 + 6*u + 4. Let r be h(6). Suppose 1 = -t - r. Let n be (0 + t/(-10))*-8. Is -8 equal to n?
False
Let o(b) = -b**2 + 5*b - 1. Let m be o(4). Let n be (-1)/m - (-98)/42. Is n at most as big as 1?
False
Let d be -4 + 152/36 - (-148)/(-18). Let v be 187/204 - (-2)/d. Which is smaller: -2/3 or v?
-2/3
Suppose 5*j - 5*k = -15, 5*k - 4*k = 3*j - 1. Suppose 0 = 4*i - 2*u + 6, -i + u + 3*u = 12. Suppose f - j + 5 = i. Is -2 not equal to f?
True
Let s be 247/(-780) - 4/(-10). Let w(o) = o**2 - 5*o - 5. Let n be w(6). Which is greater: n or s?
n
Let x = -7332/7 - -1047. Which is greater: 7 or x?
7
Let j = 0.7 - -0.4. Let u = j - 0.4. Let o = -67 + 66.7. Which is smaller: u or o?
o
Let f = -17329/413 + 293/7. Let v be 4636/(-5124) - (-4)/(-42). Is v at least f?
False
Let q = -26 + 30. Let g = -3.9 + q. Let n = -0.3 + 0.23. Is g at least n?
True
Let l(t) = t + 4. Let w be l(-6). Suppose -4*g = -4*a - 12, -2*g = -5*a - 7*g - 45. Let u be 1*(3 - (w - a)). Which is bigger: u or -6/17?
-6/17
Let g(k) = -k**2 + 21*k + 22. Let l be g(22). Is 2/825 at least l?
True
Suppose 33*l = 50*l + 17. Let o = -370325/4696 - 9/587. Let g = o + 79. Are g and l non-equal?
True
Let h(l) = -2*l**3 - 4*l**2 - 2*l**3 + 3*l**3 - 3 - l. Let r be h(-4). Let m = -643/63 - -88/9. Is r greater than m?
True
Let j = -4.93 + -0.07. Let s = j - 6. Let f = -10.8 - s. Are f and -6 nonequal?
True
Suppose -3*p + 16 = -2*r, 2*p = -2*p - 5*r + 6. Suppose 4*y + 3*f + 36 = 0, 9*y - p*y - 2*f + 22 = 0. Let o be (-5)/(-3) - 2/y. Is o greater than or equal to 2?
True
Suppose k - 183 + 185 = 0. Is -13/16 smaller than k?
False
Let v = -416 - -398. Is v < -0.08?
True
Let p be -24 - -29 - (-646)/(-1). Is p greater than -640?
False
Let m(y) be the second derivative of -5*y**3/6 + 7*y**2 - 13*y. Let g be m(3). Is g < -5/29?
True
Let c be ((-480)/78 + (6 - 0))*-18. Which is smaller: -3 or c?
-3
Let j(n) = n**3 + 7*n**2 - 8*n + 5. Let b be j(-8). Suppose b*m - 7*m = -2. Which is greater: -2/43 or m?
m
Let j = 54 + -63. Let k be (-1)/60*24/j. Which is bigger: k or -1?
k
Suppose w + 3*w + 2*b - 10 = 0, 2*w - 3*b = -15. Let y be ((-2)/6*w)/(-1). Let n = -2/131 - -163/2096. Which is smaller: y or n?
y
Suppose c = 2*c - 2. Let f = 73 - 12. Let h = f + -61.3. Is c less than or equal to h?
False
Let g = -39 - -43.8. Let j = g - 4.7. Which is smaller: j or -3?
-3
Let b = 26 + 95. Let 