Which is greater: x or -26?
x
Let f(t) = -5*t + 2*t**2 + 3*t - 2*t + 2*t. Let s be f(-2). Let l be s/(-5) - (-8)/20. Which is bigger: l or -3?
l
Suppose -3*t + 1 - 13 = 0. Let w be (11 - -2)*(0 - -1). Suppose x = -3*g + w, g + 2*x + x = 15. Which is greater: g or t?
g
Suppose 3*s - 158 + 42 = -4*m, -2*m = 5*s - 44. Which is smaller: 34 or m?
m
Let m be 6*(1 - (-146)/16). Which is smaller: 61 or m?
m
Let z(q) be the second derivative of q**3/3 - q**2/2 + q. Let s be z(3). Suppose -s*t = -4*j - 30, -4*t - j - 12 = 3*j. Which is greater: 3 or t?
3
Suppose -14*a + 15*a - 15 = 0. Suppose 15*v = -0*v - a. Let w be (-4)/(-14) + 3/(-84). Which is bigger: v or w?
w
Let a = -79.6 - 2.4. Let k = a - -81. Is -11 > k?
False
Suppose 0 = -104*h + 108*h. Suppose -10*c + 2 - 42 = h. Which is bigger: 7 or c?
7
Let u = -0.1052 - 287.8948. Which is smaller: 1/4 or u?
u
Let v(h) = h**2 - 5*h - 8. Let j be v(-5). Let p = j + -42. Which is greater: 3/5 or p?
3/5
Suppose 0 = -3*o + p - 4, -p - 4 = -3*o + 4*p. Let d(u) = -2*u - 6. Let w be d(o). Which is smaller: w or 0?
w
Let h = 0.57 + -44.57. Let m = -41 - h. Which is greater: -0.1 or m?
m
Suppose -21 - 55 = q - 3*l, -l = 5*q + 348. Is q smaller than -70?
False
Let c(x) = x**2 - 5*x + 4. Let y be c(4). Suppose -v - 5 = 0, -4*k + v - 14 - 21 = y. Suppose -4*r = -4*o - 64, -r = o + 5 + 3. Which is smaller: k or o?
o
Let v = -0.044 + 0.464. Let o = 3.82 - v. Let a = -0.6 - o. Which is smaller: 2/7 or a?
a
Let u(w) = 3*w - 5. Let d be u(6). Let k = 132 - 197. Let v = -53 - k. Is d >= v?
True
Let a(y) = 12*y - 107. Let h be a(9). Which is greater: h or 2/817?
h
Let u(o) = -o**3 + 7*o**2 + 40*o - 232. Let c be u(9). Let b = -124 - -89. Is c at most as big as b?
False
Let u = 893 - 902. Which is smaller: -68/7 or u?
-68/7
Let f be (45/(-380))/((-3)/(-2)). Let d = -1098 + 1099. Which is greater: f or d?
d
Let h be ((-2)/4)/((-15)/(-8) - 2). Suppose 9*c - 5*c = h. Is c <= -0.07?
False
Let b = -32 - -29. Suppose 0 = -3*v - 9, -v = 2*x + 3*x + 18. Let h be ((-1)/x)/1 - 1. Is h greater than b?
True
Let x(d) = -d**2 + 1. Suppose -2*v - 2*v = 4. Let i(r) = 7*r**2 + 5*r - 7. Let w(f) = v*i(f) - 6*x(f). Let u be w(-5). Is 0 at least u?
False
Let u be (-2)/(-4)*16 + -5 + 8. Let c = -0.75 + 0.7. Let z = c - -1.05. Are u and z equal?
False
Suppose -o + 5 = 1. Let r = 6 - o. Suppose -3*s = r - 5. Which is smaller: s or 0?
0
Suppose 0*r - 2*r = -0*r. Let n be 4 - -77*(-4)/76. Is r greater than or equal to n?
True
Suppose -11*n + 22 = -13*n. Which is bigger: 1 or n?
1
Let h = -25 + 26.9. Let f = -14.1 - h. Which is smaller: f or 1?
f
Suppose 3*t = 4*o - 21, 0*t - 12 = o + 5*t. Let r(k) = 6*k - 4. Let d be r(o). Which is smaller: d or 13?
13
Suppose 16*g = 21*g + 3*l - 13, -4*l = g - 6. Is 45/16 at least as big as g?
True
Suppose -62*z = -16*z - 1564. Is 57 at most z?
False
Let y(k) = -k - 2. Let f be y(-6). Suppose 4*p - f = 2*p. Suppose p = 5*u - 3. Which is bigger: u or 2/53?
u
Let j be ((-35)/14)/(((-25)/4)/(-5)). Is j >= -21?
True
Let o = -16 - -27. Let b = o - 9.6. Let a = -0.6 - b. Which is bigger: a or -9?
a
Let s(f) = -62*f - 314. Let o be s(-5). Which is smaller: o or -9.1?
-9.1
Let h(s) = -22*s - 113. Let a be h(-23). Which is smaller: 394 or a?
a
Let c(d) = 3*d + 15. Let m(p) = -4*p - 7. Let r(g) = -g. Let s(q) = -m(q) + 2*r(q). Let h(f) = 3*c(f) - 5*s(f). Let z be h(10). Which is greater: z or -2/15?
z
Let c be ((-11)/((-770)/(-11960)))/(1 + -3). Which is smaller: 86 or c?
c
Let y = -593 + 593. Which is bigger: 5/82 or y?
5/82
Let w = -2.3 - 24.7. Let g = w - -2. Let x = g + 15. Which is smaller: 1/3 or x?
x
Let k be 7293/104 + (-2)/16. Do k and 72 have different values?
True
Let b(a) = 2*a**3 + 6*a**2 - 8*a - 9. Let h be b(-6). Let z be 2/(-2)*-2 + h/89. Is -1 greater than z?
False
Let y = 31 + -19. Let f be y/22 + 12/(-18). Which is bigger: 1 or f?
1
Let z(l) = l**2 - 7*l + 9. Let o be z(6). Suppose 2*i = -5*j + 29, -4*i + o*j + 28 = 7*j. Suppose -2*h - 2 + 14 = 0. Is i != h?
True
Suppose 0 = 2*a - 3*a + 7. Suppose 4 = g - 3*w, a = 4*w - 1. Suppose 0 = -g*p + 5*p - 30. Is p less than or equal to -6?
True
Let z be 24/(-16336)*20354/(-33). Let h = z - -3/1021. Is -1/4 greater than h?
False
Let h(j) = -60 - j**2 + 56 - 2*j**2 - 4*j + j**3 + 4*j**2. Let d be h(-2). Which is greater: d or -3/34?
d
Let h = 15/2 + -7. Let l(v) = -v**3 - 16*v**2 + v + 18. Suppose -2*u + 1 = d + 23, -d + 3*u = 7. Let i be l(d). Is h < i?
True
Let u = 5/129 - 5917/159315. Which is greater: 0 or u?
u
Suppose t + 66 = 65. Let c = 19 - 39/2. Which is smaller: c or t?
t
Let q = -88665/287 - -2160/7. Is q > 1?
False
Suppose r = -u + 107, 50 = u - 2*r - 42. Which is smaller: u or -7?
-7
Suppose 2*b = -2*b + 20. Suppose 40 = 13*z - b*z. Do -1 and z have the same value?
False
Let x(t) = t**3 + 4*t**2 + t + 2. Let s(i) = i - 1. Let g be s(5). Suppose 0 = -2*l - g*v - 18 + 2, -3*l = -v + 10. Let c be x(l). Are -2 and c equal?
True
Let h(n) = n**2 + 14*n + 2. Let z be h(-8). Let k = 47 + z. Is k greater than 1/2?
True
Let z = -0.1 - 32.7. Let y = z - -33. Which is bigger: y or -1?
y
Let c = -2917 + 2934. Is 0.13 at least c?
False
Let r = -33 + 22. Let v = 10.1 + r. Which is bigger: v or 0?
0
Let x = -40 - -48.07. Let q = x - 8. Let o be (-1)/((-18)/(-4))*-1. Which is greater: q or o?
o
Let v be 12/(-36) + (-710)/39. Which is greater: -19 or v?
v
Let j(b) = -3*b**2 - 16*b + 6. Let k be j(-6). Suppose -4*y - 4 = -3*y. Is y bigger than k?
True
Suppose -25 = -p + 3*g, 65 = 4*p - 2*g - 3*g. Which is smaller: 15 or p?
p
Suppose 0 = b - 9 - 0. Let n = b + -4. Let h = n + 1. Is 5 at least as big as h?
False
Let o = 2611/5 - 27004/95. Let f = -238 + o. Which is smaller: f or 1/4?
f
Suppose -28 = -7*m, -3*m + 106 = -k - 4*m. Which is greater: k or -109?
-109
Let d = 1.404 - 129.404. Is d at least -0.1?
False
Let h be 2/214*(19 - 17). Which is bigger: h or -1?
h
Let r = -111 + 115. Suppose -2*q = -r*w + 18, 11 = -5*q - w - 78. Which is greater: -16 or q?
-16
Suppose -141 = -2*v - 45. Suppose -6*b + 3*n + v = -3*b, 0 = 3*b + 5*n - 8. Let z(d) = -12*d**3 + d**2 + d. Let t be z(-1). Is t at least b?
True
Let p be (-4)/(-18) + -29*2/504. Which is bigger: 1 or p?
1
Let q = -6947/13 + 537. Which is smaller: 3 or q?
q
Let j be (-10)/5*(-2 - 4415/(-2205)). Is 0 at least j?
True
Let y(k) = k**3 + 4*k**2 + 3*k + 4. Let i be y(-3). Let q = 167/19 + -235/57. Which is smaller: q or i?
i
Let t = 94357/7 - 13432. Let w = -48 + t. Are w and -3 unequal?
True
Suppose -4*s + 4*l = -6 + 14, -13 = -4*s - 3*l. Which is smaller: -10/381 or s?
-10/381
Suppose -2*v - 5*q = -6*v + 56, 5*v - 70 = -q. Suppose -3*h = -4 - v. Do 9 and h have the same value?
False
Let b(a) = a**2 - 6*a - 10. Suppose h + 0*h - 8 = 0. Let k be b(h). Let m(v) = -v**3 - 4*v**2 + 5*v - 1. Let u be m(-5). Which is smaller: u or k?
u
Suppose 2886*u = 2878*u + 16. Suppose -3 = -w - 0*w. Suppose -x + 0*x = -w. Is x equal to u?
False
Let x be (10/(-15)*3)/((-8)/100). Do -6 and x have different values?
True
Let i = -8538 - -8572. Let h be -2 - -35 - (-1 - -1). Is h smaller than i?
True
Let s be 1/4 + 1507/(-44). Let l = s - -33. Is l at least as big as -2/7?
False
Suppose 5*k = 6*k - 5. Suppose -k*d + f = -45, -d - 6*f - 17 = -f. Let j = 12 - d. Which is greater: 17/5 or j?
j
Let n = 350 + -355. Which is greater: -43/11 or n?
-43/11
Let f be (11/(-4) + 2)*-12. Let z be ((-2)/(-3))/(32/f). Let c be -10*4/8*7/(-35). Is c greater than or equal to z?
True
Let b = 47 + -17. Let r be (12/(-15))/(3/b). Let a be (2/r)/(11/8). Is a < 3?
True
Let w = 23.2 + -26. Let x = 0.8 + w. Let z be (-2*2/4)/(-7). Is z >= x?
True
Let g(l) = 522*l - 1. Let k be g(6). Suppose -6*x - k = 1363. Let h = -6727/9 - x. Which is greater: h or 1?
h
Let f(c) = -c**2 + 14*c + 15. Let d be f(15). Suppose d = -3*v + 6*v. Which is bigger: v or 2/5?
2/5
Let h(d) = d**3 + 11*d**2 + 9*d - 8. Let t be h(-10). Suppose -40 - 58 = -t*l. Is 50 smaller than l?
False
Let f = 9 - 8.94. Let o = 0.26 - f. Let y = 0.3 - o. Which is greater: 0.5 or y?
0.5
Let z(k) = k**2 - 12*k + 5. Let j be z(10). Let g(r) = r**2 + 16*r + 16. Let c be g(j). Is c > 0?
True
Let l(j) = j**2 + j - 3. Let x be l(-3). Suppose -4 = x*u - 7. Let p be 58/(-18) + (-15)/(-5). Which is smaller: u or p?