- 2*g**2 + 3*g - 20. Let l be y(-4). Which is bigger: l or p?
l
Let h = 0.688 + -0.68. Let k = h + 0.082. Which is smaller: k or -0.07?
-0.07
Let t be (-242)/8 - 5/(-20). Let p be t/(-15) + 42/4. Does p = 12?
False
Let m = -16367 + 16398. Let o be 59/2 - 1/(-2). Is m at least as big as o?
True
Let z = -339 + 338.81. Which is bigger: 8 or z?
8
Let a be (9/39)/((-18)/(-12)). Let n(c) = -c**3 + c + 1. Let m be n(0). Is m < a?
False
Suppose -2 - 4 = 2*b. Let c be (9/(-15) - 3)*10/b. Which is smaller: -1 or c?
-1
Let i(l) = 5*l - 12. Let k be i(2). Let d be ((-78)/15)/(2/10 - k). Which is bigger: d or -2?
-2
Let z(x) = 8*x + 3*x - 7*x + x - 28. Let g be z(5). Are g and -3 non-equal?
False
Let d be (-224)/(-24) - 1/3. Let y = 24 - 34. Let p = y + d. Is -3/4 less than or equal to p?
False
Let t = -3/1238 - 1307633/1857. Let r = -10337/12 - t. Let p = 156 + r. Is 0 > p?
True
Let y(t) = t**3 - 5*t**2 - 5*t + 7. Let v be y(6). Let o(h) = h**3 - 13*h**2 + 3*h + 17. Let u be o(v). Let b be (2 - (-60)/u) + -3. Which is bigger: b or 0?
b
Let k be (-726)/55 + 10 + 2*1. Which is greater: -4/3 or k?
k
Suppose 292 = -10*t + 14*t. Which is smaller: t or 361/5?
361/5
Let v(x) = 100*x + 696. Let p be v(-7). Let h be (-32)/14 + (-4)/(-14). Is p > h?
False
Let j = 0.3 - 0.25. Let v be 6/14 - 957/2037. Let h = v + 214/485. Is j < h?
True
Let x = -0.24 - -0.23. Let n = -29.7 - -33.7. Is x < n?
True
Suppose i + 2 = -2*v + 6, -4 = 5*v - i. Which is smaller: v or 356?
v
Let r be 6/(-27) - 24/54. Suppose 3*t - 5*t - 9*t = 0. Which is smaller: r or t?
r
Let d(q) = 31*q + 404. Let n be d(-6). Which is greater: n or 219?
219
Suppose 5*w - 12 = 23. Suppose -w = -4*z + z - f, -3*z + 2*f + 4 = 0. Suppose -21 = -u + 4*s, 0 = -z*u - 2*u + 2*s + 28. Which is bigger: u or 7?
7
Let o = -9.3 + 8.9. Which is bigger: o or -1/84?
-1/84
Suppose 0 = -7*g - 30 + 37. Which is greater: -7/19 or g?
g
Let x(d) = -d**2 - 131*d + 133. Let s be x(1). Which is smaller: 2/21 or s?
2/21
Let f(g) = -g - 1. Let o be f(1). Let b = 4 - 4. Suppose b = -y, -y - 2*y = -c - 4. Which is bigger: c or o?
o
Suppose a - 6*k = 70, 2*a + 0*k - 106 = -5*k. Is 58 < a?
False
Let d = -20.5 - 142.5. Let v = 173 + d. Which is bigger: 0 or v?
v
Suppose 18*l + 13*l = -31. Which is smaller: l or 1/800?
l
Let c = 82.2 - 91.2. Which is smaller: c or -0.1?
c
Let i(z) = -z**2 + 3*z + 1. Let s be i(4). Let t be (-1)/6*s - (-2)/4. Let f(j) = j**3 + 5*j**2 + 3*j - 3. Let n be f(-4). Is t != n?
False
Suppose 0 = 17*u - 25*u + 112. Suppose -15 = 5*r - 4*o, 0 = 4*r + 5*o - 43 + u. Does 1 = r?
True
Let b(j) = -3*j**2 + 7*j + 32. Let w be b(9). Which is smaller: -147 or w?
w
Suppose g + 5*u - 42 = 0, 5*u - 9 = 2*u. Which is smaller: g or 20?
20
Let l(u) = -2*u - 19. Let a be l(-9). Let r be a*-2*(-3)/11. Is r < -1?
False
Let y(b) be the first derivative of -b**4/4 - b**3/3 + b**2/2 + 3*b + 9. Let w be y(2). Which is smaller: -2 or w?
w
Let w = 69 + -125. Let k = w + 56.1. Let t = 12.07 - 12. Is k > t?
True
Let q = -57 - -50. Let m = q - -8. Is -0.01 not equal to m?
True
Suppose 3*b = 170 - 17. Suppose -5*w + 0*w = 4*y - b, -4*w = 2*y - 18. Suppose -s = 2*s - 60. Is y smaller than s?
True
Let i = -2597 + 7990/3. Which is smaller: i or 66?
66
Let m be (8/10)/(((-35)/125)/7). Let b be 5*(-8)/m - 2. Are b and 4/3 equal?
False
Suppose -4*q + 9 - 1 = 0. Suppose q*u = u - 4. Let j = -74 - -73. Is u at most j?
True
Let x = -1219 - -1158. Let h be 1/3 + (-362)/6. Is x less than h?
True
Let d(o) = 40*o**3 - 5*o**2 + o + 4. Let h be d(1). Is h bigger than -8?
True
Let z(u) = -u**3 + 25*u**2 - 25*u - 24. Let s be z(24). Let t be (3/(-44))/(2 + 102/s). Which is smaller: t or 0?
0
Let o be (-51)/(6/(-14) + 0). Does 119 = o?
True
Let l(w) = 24*w + 15. Let r be l(-2). Let i = r - -49. Is i greater than or equal to 17?
False
Let j be (-75)/(-30) + 442/(-164). Which is greater: j or 0?
0
Let c(b) = -3*b**2 + b + 32. Let j(p) = 7*p**2 - 2*p - 65. Let h(t) = -5*c(t) - 2*j(t). Let m be h(6). Is m <= 0?
True
Suppose 2*w = -0*o + 3*o + 15, -12 = -4*o. Let q be (-2)/((-8)/w) + (-3 - -1). Let j = 73 + -1315/18. Which is greater: q or j?
q
Let h = -20.13 - -20.2. Which is smaller: h or -5/2?
-5/2
Let o be -5*(-1 + 7/5). Let k = 3 + o. Let c = 505/4 + -126. Which is smaller: k or c?
c
Suppose 6*k - 4*k - 4*h - 16 = 0, 0 = -2*k - 5*h - 20. Which is smaller: 139 or k?
k
Let s be (-6 - -2) + (-14)/(-21). Let f = 3 + s. Let w = -0.4 + -0.5. Which is smaller: w or f?
w
Let f = 359 - 283. Which is smaller: f or 79?
f
Let l = 816 - 817. Is -4/533 greater than l?
True
Let g(r) = 12 - 4*r + 0*r - 4*r - 3*r - r**2. Let t be g(-11). Suppose 6*v - 9*v = t. Does v = -4?
True
Let j(f) = -f**2 - 15 + 16 + 5 + 5*f. Let t(c) = c**3 + 3*c**2 - 6*c - 2. Let h be t(-4). Let x be j(h). Is x greater than or equal to -1/6?
True
Let v = 1 + -1. Let f = -4.1 - -4.32. Let a = -0.02 + f. Is a at most as big as v?
False
Let n(g) = -g - 2. Suppose -4*c + 0 - 24 = 0. Let v be n(c). Are 5 and v equal?
False
Let r = -139 + 138.1. Which is bigger: -5 or r?
r
Let y = -17.9 - -17. Let z = 1 + y. Suppose -l = -2*n - 27 - 9, n - l + 20 = 0. Is z less than or equal to n?
False
Let b be (-10)/(-175)*(5 - (-5 + -10)). Are b and 0.2 equal?
False
Let f be (4 - (-252)/6) + 1. Which is smaller: f or 1?
1
Suppose -26*i = -2*o - 23*i + 567, 0 = -2*i - 2. Is 282 < o?
False
Let m(t) = t - 8. Let b be m(8). Let l be (-18)/8 + (b - -3). Suppose i = 3*i. Which is smaller: l or i?
i
Suppose 0 = -v - v + 2. Let f = v - -11. Is 10 at least as big as f?
False
Let z = 6/91 - 1341/16198. Is 1 >= z?
True
Let x be (-6)/(-6 - -4) - (-15)/3. Which is smaller: 1 or x?
1
Let x be (-2)/10*18/2. Let g(t) = -3*t - 28. Let f be g(-11). Suppose f*d + 5 = -w - 0, 4*d = -3*w - 4. Is x > d?
False
Suppose -3*b + 2 = 4*i + 22, -b = 5*i + 14. Let m be -10 + 40/(-48)*-6. Is m bigger than b?
False
Let s = -1.31 - -0.11. Let n = s - -0.4. Is 0 bigger than n?
True
Let s(a) = 15*a - 115. Let z be s(10). Is 37 != z?
True
Let m(w) = -46*w - 829. Let k be m(-18). Are 26/73 and k non-equal?
True
Suppose 3 = 4*b - 21. Suppose b*t + 0*t = 0. Suppose 3*u + 4 = 5*g, t = -g - g + 4*u + 10. Which is greater: g or 3/13?
3/13
Suppose -9 - 19 = -l + d, 4*d = -12. Is l equal to 22?
False
Let y(x) = 2*x - 13. Suppose 2*f - 3*f = 3*u - 4, -31 = -2*u + 5*f. Let c be y(u). Is -6 at most as big as c?
False
Let o = -11/358 + 786/5191. Let g = o + 229/986. Which is greater: g or 1?
1
Let m = 601 + -859. Which is bigger: m or -259?
m
Suppose 0 = -c - 2*c + 5*x - 14, -5*x + 30 = 5*c. Suppose 4*b - 4*l - 8 = 0, l = -4*b - c - 5. Which is smaller: b or -2/7?
b
Let x(b) = 18*b + 12. Let v = 10 + -12. Let r be x(v). Is r at most -25?
False
Let t = 51 + -49. Suppose 3*c - 27 = q, -t*c - 5 = -3*c - q. Is 8 greater than or equal to c?
True
Let v = 36.1 - 38. Let a = v + 6. Let m = a + -4. Is m != -0.2?
True
Let k be -4 - ((-3)/2 + 2/4). Suppose -2*a - 3 = -f - 4*a, f = 5*a + 3. Suppose 3 = -f*h + 3*j, 5*h + 3*j + 12 = -1. Which is greater: k or h?
h
Let d(o) = 4*o - 7. Let k be d(3). Suppose -p - 35 = k*h, -5*p + 18 = 2*h + 55. Let f = -24 - h. Are f and -18 equal?
True
Let y be 3*(-7)/(84/(-8)). Let d = -4 + y. Let m be -1 - (d - 1 - -1). Is m != 0.3?
True
Let g = 165 - 166.9. Let h = 9 + -7.2. Let z = h + g. Is -2 smaller than z?
True
Let o = 2 - 2. Let f = 713.5 + -714. Is f at least as big as o?
False
Let n be 247/(-19950)*(1 - 3/(-2)). Let w = n + -1/28. Which is smaller: -1 or w?
-1
Suppose 6 = -131*t + 137*t. Is t > 2/1017?
True
Suppose 9*l + 100 = 550. Suppose 2*g - l + 76 = 0. Which is smaller: g or -14?
-14
Let p(w) = -w + 11. Suppose 3*n + 5*n = 144. Let y be p(n). Let g = -13 - -8. Is g smaller than y?
False
Let t be (-6)/(-4) + -1 - 1. Suppose 1581 = 7*b - 4*q + 1655, 44 = -4*b + 4*q. Is b greater than t?
False
Let l be (-10)/(-15)*(-1 + 4). Let z(u) = 10 - 2*u - 14 + 7. Let s be z(l). Is 2/49 less than or equal to s?
False
Let w = -497 + 657. Do 162 and w have the same value?
False
Suppose 96*s = 26*s + 14770. Is 213 < s?
False
Suppose 14*l - 20*l - 18 = 0. Which is smaller: l or -26?
-26
Let h be (-86)/9 - (8 + -5 + -8). Is h greater than -6?
True
Let o be 172/(14/(-6) + -1). Suppose k = -5*g - 37, 4*g = 5*k + 68 + 204. Let v = k - o. Which is smal