z = -25. Is 99 at most k?
True
Suppose 5*t + g - 45 + 12 = 0, 0 = 5*t + 2*g - 36. Suppose -2*k - 62 = -t. Is -28 equal to k?
True
Let n be 2/7 - 3/(-105)*-31. Let b = n + 11/10. Which is bigger: b or 2?
2
Suppose 0 = -2*x + 3*x - 3*x. Suppose -2*z + 3*g + x = 8, -8 = 2*g. Is -8 > z?
True
Let n(u) be the third derivative of u**6/20 - u**5/30 - u**4/8 + u**3/2 + 14*u**2. Let p be n(2). Are 37 and p unequal?
False
Let y = 179/40 + 25/8. Which is smaller: 7 or y?
7
Let v = 71 + -70.854. Let f = v - 0.046. Which is greater: -2/75 or f?
f
Let b = 668.7 + -669. Which is smaller: 0.235 or b?
b
Let r be ((-6)/21)/(-1 - 1). Let q(a) = -a**2 - 9*a + 3. Let b be q(-4). Let f = b - 24. Which is smaller: f or r?
f
Let o = 22 - 22.92. Let y = -0.18 + o. Let k = y + 1.12. Which is greater: k or -0.1?
k
Let j(g) = -g**2 + 16*g - 14. Let v(z) = z**2 - 17*z + 15. Let w(d) = -6*j(d) - 5*v(d). Let h be w(10). Suppose 8 = -2*r + 2. Is r at most as big as h?
True
Let a = 0.076 + -31.076. Let f = -48.1 + 48. Is a bigger than f?
False
Let w(z) = -5*z - 44. Let u be w(-8). Is u greater than -40/11?
False
Let t(h) = -3*h + 10. Let a(c) = c**2 - 15*c + 29. Let z be a(13). Let u be t(z). Let f = -45/43 + 1939/1935. Is f >= u?
False
Let i = -153 - -131. Let j = i - -28. Which is greater: -15 or j?
j
Let m = -300 + 326. Is 16 at most as big as m?
True
Suppose 40 = 2*l + 48. Let a be (-6)/((-30)/(-25)) - l. Which is bigger: 2/129 or a?
2/129
Suppose -528 - 108 = 6*c. Is -2 != c?
True
Let m be (-120)/(-366) + (-3)/9*1. Suppose 5*t - 12 = -s - 4, 0 = 5*t + 4*s - 17. Which is greater: m or t?
t
Suppose -117 = -46*l + 37*l. Is l at most as big as 14?
True
Let f(d) = -14*d - 6. Let u be f(4). Let b = -61 - u. Is 20 smaller than b?
False
Let p(m) = -80*m - 472. Let w be p(-6). Is 113/14 > w?
True
Let t be (6/4 - 1)*2. Let f be (t - -1) + (-1127)/23. Is f < 0?
True
Let i = 1925 + -36569/19. Which is smaller: i or 2/19?
2/19
Suppose 37*y = 99 + 49. Let k = -29 - -59. Suppose 5*c - 41 = -2*r, -c + y*c + 3*r = k. Which is smaller: -1 or c?
-1
Suppose 6 = -z + 10, 4*p + 2*z + 16 = 0. Let n = 17/13 + -233/39. Which is smaller: n or p?
p
Let y = -191 + 208. Which is smaller: 4 or y?
4
Let p be ((-15)/150)/((-4)/30*-3). Let w = 23/20 + p. Is 0 < w?
True
Suppose -249 = -w - y, -2*w + 0*y + 3*y + 473 = 0. Which is smaller: w or 243?
243
Let u be (0 - -1)/((-8)/144*-42). Let p = 1 + 0. Is p at most as big as u?
False
Let j = -28.85 - -28. Let b = -0.9 - j. Let y = 3.05 + b. Which is greater: 1 or y?
y
Suppose 5*z = 4*l + 28, -2 = -3*l - 3*z - 23. Let r = 2751/4 + -694. Which is greater: r or l?
r
Let a be (-10)/(24/27 + -1). Suppose -6*z + 9*z = a. Is z smaller than 30?
False
Let o be 5/((-350)/(-63))*(-20)/(-12). Which is smaller: -2/45 or o?
-2/45
Let h = 5507 - 5624. Suppose 0 = -m - 2, -2*m = 4*j + j + 584. Which is greater: j or h?
j
Let c(m) = -4*m + 12. Let k(u) = -u + 6. Let d be k(-6). Suppose -3*p + 9 = -d. Let x be c(p). Which is greater: x or -17?
x
Let c(m) = -10*m**3 - m**2 - 2*m - 3. Let r be c(-1). Which is greater: r or 4?
r
Let m = -19 + 131/7. Let r = -64/219 + -3/73. Is r greater than or equal to m?
False
Let i = 55861/4820 - 130/241. Let b = i + -45/4. Do -0.2 and b have different values?
False
Let d = 994/3 + -331. Is d at least as big as -47?
True
Let u = 14055/22 + -639. Is 6 >= u?
True
Let m = -2785 + 2427. Are -363 and m non-equal?
True
Let v = -0.37 + -0.08. Let c = v + -8.55. Is c equal to -3/4?
False
Suppose 4*m = a + 12, -3*a = -2*m - a. Suppose 3*r + m*d + 0*d = 0, 5*d + 3 = -3*r. Let v(y) = -y**2 - 5*y - 1. Let w be v(-4). Does r = w?
False
Let h = -20 + 22. Suppose 0 = -2*a + h*b + 12, 0*a - b = 5*a. Let d = -2.2 + 2. Are d and a unequal?
True
Suppose -4*q + 3*q - 130 = 5*m, -5*m - 10 = 0. Let y be (-1)/2*q/(-5). Is -12 greater than y?
False
Suppose -961 = -6*h + 371. Let n be ((45/10)/(-3))/(h/8). Let r = 1 - 0. Which is smaller: n or r?
n
Let f = -47/35 + 4447/210. Let z = f - 62/3. Suppose -1 + 8 = -4*h - q, -4*q = -4*h - 12. Is h bigger than z?
False
Let u = 634.2 + -631. Do u and 0.6 have the same value?
False
Let b(l) = l**2 + 2. Let i be b(0). Let g(u) = -2*u**i + 1 + 5*u**3 - 7*u**3 + 0*u**2. Let c be g(-2). Is c at least as big as 9?
True
Suppose 34*t - 20 = 29*t. Suppose t*l - g + 4 = 2*l, 0 = 2*l + 2*g + 4. Which is greater: 5 or l?
5
Let a(o) = -o**3 + 16*o**2 - 14*o - 13. Let n be a(15). Suppose x + n*x = -39. Is -13 less than x?
False
Let f(c) = 8 + 0 - c - 10. Let l be f(0). Let j be ((-2)/10)/((-14)/(-105)). Which is smaller: j or l?
l
Let t(f) = f**2 + 6. Let w be t(0). Suppose 0 = w*y - 2*y - 8. Suppose -y*z = 4 - 2. Which is greater: z or -3/5?
-3/5
Let i = 11 - 16. Which is bigger: i or -33/7?
-33/7
Let g be (-688)/16 - (-3)/1. Let l be (g/30)/((-2)/(-3)). Let n = l + -1. Is n less than or equal to -3?
True
Let r = -1030 + 1030. Is r greater than -0.004?
True
Let u be 35 + -43 + 222/28. Is -1/36 equal to u?
False
Suppose 5*r = -4*j - 80, 0 = 5*r - 0*j - j + 105. Suppose -5*u = g + 110, 11*u - 88 = 14*u + 5*g. Is r less than u?
False
Suppose -162 = -8*a + 38. Suppose a*u = 28*u - 27. Which is greater: u or 7?
u
Let d = -8729598 - -8406601939/963. Let w = d + -15/107. Let o = 0 + -1. Are o and w nonequal?
True
Let s be (2/4 + 0)*-2. Let p = s - -3. Let i be -7 - (-5)/25*39. Is p greater than i?
True
Let s = 5 - 3. Let g(i) = i**2 - 16*i + 29. Let n be 11 - (20 + -14)*(-2)/4. Let f be g(n). Is f greater than s?
False
Let y be 20/(-8) - 2/4. Let p be (-2)/6*y*-12. Let c = p - -16. Which is bigger: 2 or c?
c
Let f = 0.1606 + -1088.1606. Do f and 0 have the same value?
False
Let b = -379 - -380. Is 4/71 less than b?
True
Let m = -76 + 102. Is 26 smaller than m?
False
Let u = 611 - 543. Does 66 = u?
False
Let h = -570 - -10267/18. Suppose 139*u - 95*u - 44 = 0. Is u at most h?
False
Let c(b) = -2*b + 1 + 14 + 3 - 3. Let m be c(7). Let h(n) = n**2 + 5*n. Let q be h(-5). Which is smaller: m or q?
q
Suppose -2 = r - 2*r. Let z = -14 + 12. Let s = r - z. Which is bigger: s or 5?
5
Suppose 61*v = 62*v + 49. Is v less than or equal to -48?
True
Let r = 376 + -375.9. Do r and 70 have the same value?
False
Let l be (-4)/6 - (-42)/9. Let j = l + 0. Suppose 0*d + 3*d = j*p + 9, 3*d = p. Is 0 at most as big as d?
False
Suppose 5*h - n - 30 = 0, -3*h = 2*n - 10 - 8. Suppose 5*x = h*x. Which is smaller: -2/7 or x?
-2/7
Let j be (-1)/2 + 59/110. Let x be (-2)/3 + 10/10 + -1. Is x greater than j?
False
Let q = -106 - -97. Which is greater: -44/5 or q?
-44/5
Let k be (-1)/8*(6 - -1). Let u = -2.4 + 1.4. Which is smaller: u or k?
u
Let n(h) = 2*h**3 + h**2 + h. Let k(l) = l**3 + 3*l**2 + 3*l + 1. Let q be k(-2). Let y = -2 - q. Let f be n(y). Which is smaller: 4 or f?
f
Let s = -0.11 - -0.08. Which is greater: s or -27?
s
Let f = 2/3423 - 961873/17115. Let q = f + 57. Are q and 2/5 non-equal?
True
Let n = -6/48941 + 382082459/587292. Let f = -651 + n. Is f equal to 0?
False
Let p be (6/(-9))/((-7)/21). Suppose -2*b - 4*a = -8, -p*b + 5*a = -6 - 2. Are b and 6 nonequal?
True
Let x be (37/(-6697))/((-1)/7). Is 0 at least x?
False
Let y(w) = -w**2 + 53*w - 449. Let b be y(42). Is b < -10?
False
Let j(l) = -5*l + 7 - l**3 + 4 - 15*l**2 - 8*l. Let c(b) = b**3 + 14*b**2 + 25*b - 2. Let o be c(-12). Let a be j(o). Which is bigger: 2 or a?
2
Suppose 22*i = 19*i + 12. Let u be i/(-14) + (-321)/(-21). Do u and 18 have the same value?
False
Let l be -72 - -3 - (-30)/12. Are -66 and l unequal?
True
Suppose 0 = -7*a - 642 + 726. Suppose h + v = 23, 4*h - 2*v = 97 - 23. Suppose 0 = -a*s + 7*s - h. Is -6 smaller than s?
True
Suppose 0 = -12*t - 9*t + 4767. Is t < 227?
False
Let d = 28 + -27. Let q be ((21/(-12))/(d/4))/(-1). Is q bigger than 13?
False
Let r be 3/8*458/(-30). Let l = r + 28/5. Let f = 38.1 - 38. Which is smaller: f or l?
l
Let g = 4 - 3. Let c(w) = -3*w - 1. Let t be c(g). Let f be t/10 + 14/(-140). Which is smaller: 0 or f?
f
Let y = 2/2025 + -4204/155925. Which is smaller: y or 0?
y
Suppose -84 = -8*g + g. Let c be -4 - (g/66 - (-35)/(-11)). Which is smaller: -28/13 or c?
-28/13
Let f(p) = -57*p**3 + p**2 - 3*p + 3. Let g be f(2). Is -454 less than or equal to g?
False
Suppose a - 50 = -4*m, 0 = 3*m + 4*a - 44. Let f be m/(-3) - 4/(-1). Let i be 1/(1*8/(-