er: 4 or s?
s
Let l be (-2961)/(-42)*(-20)/6. Is l < -235?
False
Let s = 14 + -11. Suppose i + 14 = n + 4*i, i - 10 = -s*n. Which is smaller: n or 0?
0
Let o be 9*((-44)/198)/(1/6). Which is smaller: o or -1?
o
Let j = -3 + 0. Let x = 1158 + -1156. Which is smaller: j or x?
j
Let s = 13 - 7. Suppose 7*u - s*u + 91 = -3*h, 0 = 3*h - 3*u + 111. Which is smaller: -63/2 or h?
h
Let v(y) = 4*y**2 + 3*y - 16. Let k be v(5). Let t = 76 - k. Is -23 > t?
False
Let s(w) = 4*w**2 + 5*w + 7. Let v(p) = 3*p**2 + 4*p + 8. Let m(h) = -5*s(h) + 6*v(h). Let o be m(3). Which is bigger: o or -6?
-6
Let f = -19 - -22. Suppose -4*c + f*c = -2. Is c greater than 16/5?
False
Let d = -2653 - -2666. Is d greater than -0.1?
True
Let i(z) = -z**3 + 4*z**2 - 2*z. Let u be i(2). Let j be ((-3)/(-6)*u)/(-1). Let n = -5 + j. Is n at most -8?
False
Let x(a) = -2*a**3 - 2*a**2 - 4. Let w be x(-2). Suppose -4*k + 172 = -0*k - 5*s, -5*k - w*s + 174 = 0. Is 39 <= k?
False
Let n be ((-34)/6)/(6/(22 + -4)). Let b(x) = -x**3 + 2*x**2 - 2*x - 3. Let j be b(3). Which is bigger: n or j?
n
Let f be 1/(((-45)/(-39693))/(1/2)). Let a = f - 441. Which is smaller: -1 or a?
-1
Suppose t = h - 0*t - 19, 2*t = -3*h + 37. Let d(k) = k**3 - 8*k**2 + 8*k + 2. Let i be d(7). Suppose 2*m - 19 = i. Is h less than m?
False
Let w = -97 + 111. Let i = w + -41. Which is smaller: i or 0?
i
Suppose 2*g - 15 = -3*g. Suppose o = g - 16. Which is smaller: -3 or o?
o
Let k be 220/(-78)*(25 - 28). Are k and 9 non-equal?
True
Let f(r) be the first derivative of -r**3/3 + r**2/2 + r - 2. Let p be f(0). Let t = -280/3 + 3634/39. Is p < t?
False
Let h be 28*((-9)/(-2) + (-13 - -9)). Is h <= 12?
False
Let i = -984 - -1622. Which is bigger: 635 or i?
i
Let u = -382 + 10739/28. Let k = u + -9/7. Let w be 2/(-9) - (-7)/(-9). Which is smaller: k or w?
w
Let s = -3.4 - -5.4. Let l = s + -1. Which is smaller: -6 or l?
-6
Let b(s) = -2*s - 10. Let z be b(-7). Suppose -p = z*p + 10. Let a be (-32)/20 + p/(-5). Which is smaller: 0 or a?
a
Suppose 11*c - 10*c = 2*h + 32, 4*h - 3*c + 60 = 0. Is 5 greater than or equal to h?
True
Let c be (-10 + (-702)/(-65))*(-5)/6. Which is bigger: c or 5/8?
5/8
Let a(z) = 3*z - 7. Let r be a(6). Suppose f = 2*v - r, 2*v + 3*f + 1 = -0. Let y(s) = -s**2 - 3*s + 12. Let p be y(-5). Are v and p nonequal?
True
Let k(n) = 3*n**2 + 20*n + 34. Let y be k(-10). Are y and 134 nonequal?
False
Suppose 0 = -u - 3, -44 = -p - 2*u - 2*u. Let v = p + -56. Is 2/13 at most v?
False
Suppose 7 = -4*b + 2*j + 3, 0 = -b - j - 7. Suppose 2 = -2*g + 4*y, 2*g - 2*y + 4 = 4*g. Suppose 7 = w + 2*h + g, 2*h - 12 = 2*w. Which is smaller: w or b?
b
Let m(k) = 2*k**3 + 39*k**2 - 15*k + 49. Let y be m(-20). Is y greater than or equal to -50?
False
Let u = -149 - -139. Is -7 < u?
False
Let f be -33*(-13 - -5 - -7). Which is smaller: 98/3 or f?
98/3
Let o be ((-19)/38)/((1/6)/1). Let r be 40/(-50) + (-2)/o. Is -3 greater than r?
False
Let m be (1 + -1)*1/2. Let i be (-17 + 17)*2/(-8). Suppose -b + m*b + 11 = i. Which is smaller: 10 or b?
10
Let g = 0.9 - -0.1. Let r = g + -6. Let k = 5 + r. Is k at least as big as 0?
True
Let z = 0.2201 - -0.1319. Is z equal to 4?
False
Let m(h) be the first derivative of h**3 + h**2 + 3*h - 3. Let b be m(-2). Let f = -9 + b. Is 1 < f?
True
Let j = -3 + 3. Let l(p) = -p**3 - 4*p**2 + 6*p + 21. Let o be l(-6). Let b = 46 - o. Is j at least b?
True
Suppose 5*g + 5 = 2*p + 18, 0 = -5*p - g + 35. Suppose -8 = -4*c + 3*n, 4*c - 2*n = p*c - 4. Is 13/5 bigger than c?
True
Let x = 155 + -281. Which is smaller: -124 or x?
x
Let s(o) = -10*o - 361. Let x be s(-36). Is -13 at least x?
False
Suppose 6*t - 5 - 7 = 0. Suppose -t*q + 9 = -11. Which is bigger: 0.1 or q?
q
Suppose 4*o + f - 7 = 0, 5*o + 25*f - 28*f + 4 = 0. Which is bigger: o or -10/33?
o
Let v = -59 + 70. Suppose -v*d + 14 = -4*d. Is d equal to 9/5?
False
Let t be ((-5)/2)/((-1)/2). Let z be t/20 + 6/8. Let o be (-140)/(-468) - 6/27. Which is bigger: z or o?
z
Let c = -380 + 380.2. Is c not equal to 17?
True
Let t be 72/517 + (-252)/1386. Which is greater: 1/3 or t?
1/3
Let r(z) = -z**2 + z + 20. Let o be r(-3). Which is greater: 29/4 or o?
o
Let y be (((-14)/6)/(-7))/(-1). Let f = 25 - 22. Let l = -4 + f. Which is smaller: l or y?
l
Let v be ((-119)/28)/((2/(-4))/(-1)). Let o = -45 - -35. Which is bigger: v or o?
v
Let b(d) = d**2 + 3*d + 1. Suppose g - 6 = -a - 0*a, -4*a - 2*g = -20. Suppose -3*u - u - a = 0. Let t be b(u). Is 3/7 >= t?
True
Suppose -9 = -5*d - 4*x, 1 + 2 = 3*x. Is 2/235 smaller than d?
True
Suppose 2*a - 197 = 49. Let v = a - 123. Is v != 2/27?
True
Let a = 5283 + -121468/23. Is 2 equal to a?
False
Suppose -3*o = 2*o - 45. Suppose 2*b = -3*b + 110. Suppose 0 = b*r - 27*r + 50. Does o = r?
False
Let o(f) = 2*f. Let w be o(2). Suppose 0 = c + 2*c + w*g + 11, 5 = -g. Let m be (21/4)/(c/(-12)). Which is smaller: m or -22?
-22
Let g = -10 + 19. Suppose 4*f + 3*h = -2*h + 21, -5*h + g = f. Let w(i) = -i**2 + 8*i + 3. Let o be w(8). Is f < o?
False
Let z = 324551/8 - 40502. Suppose -5*g - o = -6*o + 310, -g = -5*o + 42. Let h = g + z. Which is greater: -1 or h?
h
Let m = -0.47 - 20.53. Let r = m - -14. Let a = r + -2. Is 0 >= a?
True
Let k be (2*3/(-6) - -6)*-1. Let w be ((-13)/(-3) + k)/((-4)/30). Is 4 equal to w?
False
Let s(i) = -i**3 - i**2 - i. Let b be s(0). Suppose -4*h - 4*z + 28 = b, 5*h - 3*h = -5*z + 26. Suppose -c - 2*j - 2 = -5, -4*c + j = -12. Does c = h?
True
Let u = 160064833/236 + -678242. Let d = u + -4/59. Let s(o) = o**3 - o. Let l be s(0). Which is smaller: d or l?
d
Let q(n) = -n + 1. Let r be q(2). Let y(m) = 6*m - 25. Let j be y(5). Let v be (-6)/(-2) - j*r. Is v at least 7?
True
Suppose 2*c = 6*c. Let t be 7*(-1 + 9/7). Let r be (6/(-14))/((-3)/t). Which is smaller: r or c?
c
Let r = -1246 - -723. Which is smaller: r or 2/7?
r
Let o(r) = -r**2 - 10*r - 7. Let l be o(-9). Suppose a = -l*a. Let y = 67/533 + -2/41. Which is bigger: a or y?
y
Let v(c) be the second derivative of -c**4/12 + 3*c**3/2 + c**2 - 2*c. Let o be v(4). Suppose 3*j - 8 = -4*s, 0 = -2*s + j + 4*j - o. Is -16/7 < s?
True
Suppose 4*x - 7 = -3. Let r = -3 - -11. Let z be (-8)/(-10)*2/r. Do z and x have different values?
True
Suppose g = -0*g - 3*j - 31, 3*j = -4*g - 106. Is g at most as big as -18?
True
Suppose 4*t = -0*t - 100. Let i(q) = -q**2 - 27*q - 51. Let h be i(t). Which is greater: -3/43 or h?
-3/43
Let u be ((-6)/(-4))/((-1349)/76 + 11). Which is smaller: u or 846?
u
Suppose -z = 3*z. Let d = 25/37 + 195/259. Which is smaller: d or z?
z
Suppose -5*v + 55 = 5*a, 9*a = 5*v + 12*a - 45. Let y = 0.05 - -2.99. Let p = 0.04 - y. Are p and v equal?
False
Let x(z) = 8*z + 206. Let a be x(-26). Which is smaller: a or -38/11?
-38/11
Let r = -16 - -22. Suppose -o + 3 = r. Which is smaller: o or -4?
-4
Let l = 13.4 - 2.4. Let o = -6 + l. Let d = 34/7 - 61/14. Is d greater than o?
False
Let x = -30.64 - 13.36. Which is smaller: -1/2 or x?
x
Let k = -107 - -964/9. Are -1 and k equal?
False
Let y(x) = -3*x - 4. Let n(a) = 5*a + 1. Let r(q) = -6*q - 1. Let w(u) = -7*n(u) - 6*r(u). Let d(g) = -4*w(g) - y(g). Let i be d(10). Which is bigger: i or -3?
i
Let z = -94 + 87. Let l = 15 + -11. Let y = 5 - l. Is y > z?
True
Let b(v) = v**2 + 7*v + 12. Let a be b(-6). Let m be -9*(22/a - 4). Is -2/7 at least m?
False
Let b(o) = -o**2 + 12*o + 8. Let u = -26 + 40. Let m be b(u). Which is smaller: m or -22?
-22
Let t(j) = 2*j**2 - 3*j. Let z be t(2). Let v = 0.9 - -17.1. Let s = v - 16. Is z at least s?
True
Let k = 0.842 - -0.158. Let j = 1.1 + -3.5. Which is smaller: k or j?
j
Let h(n) = 8*n**2 - 43*n + 14. Let b be h(5). Is b bigger than -4/41?
False
Let p be ((-7425)/150)/((-6)/(-8)). Is -70 > p?
False
Let y = 0.884 - 0.93. Let v = y - -0.015. Is v >= 1/4?
False
Suppose 0 = b - 2. Suppose 0 = -b*z + 4*h + 2, 0 = -5*h + 26 - 11. Let n(g) = -g**2 + 5*g + 13. Let w be n(z). Which is smaller: w or -1/2?
w
Suppose -5*k - 35 = 4*v, 3*v + 4 = -4*k - 23. Which is bigger: -76 or k?
k
Let j be 29/(-5 + 5 + -1). Does -28 = j?
False
Let i(z) = -2*z - 11. Let d be i(-8). Suppose k + 10 = -d. Let c be -2 + 6/k*-5. Which is bigger: c or 1?
1
Let n = -25 + 27. Let u be (-4770070)/2490 - n/6. Let k = 1916 + u. Is k bigger than 0?
False
Let p(v) = v**3 - 23*v**