aller: o or 1?
o
Suppose -729 = -16*t - 6569. Are t and -364 unequal?
True
Let t(q) be the second derivative of -q**5/20 - 2*q**4/3 - q**3/3 - 19*q**2/2 - 2*q. Let i be t(-8). Which is greater: -1 or i?
-1
Let y be (1 - 4 - -114) + -1 + 2. Is 112 not equal to y?
False
Let d = 99 + -80. Suppose -d + 13 = -2*m. Which is greater: m or 1/3?
m
Let p(l) = -42*l + 83. Let s be p(4). Which is bigger: -87 or s?
s
Suppose 228 - 72 = 4*v. Suppose d + 2*y = v, 0 = 3*y - 0*y + 6. Let x = d - 89/2. Are x and -0.1 equal?
False
Suppose 0 = -0*u - u. Suppose j = i, 4*i = 2*j - 7*j - 45. Let h be 4 + i + u + 2. Which is smaller: h or -2/5?
-2/5
Suppose 0 = -30*r - 12*r + 7812. Is 186 != r?
False
Suppose -5*i - 6 = -2*j - 3*i, 2*j - 1 = -3*i. Let x be (1*j)/(-2) + 17 + -18. Which is smaller: -8/11 or x?
x
Let w(s) = 3*s - 31. Let g be w(12). Suppose 0 + 15 = g*v. Which is bigger: v or 10?
10
Let b be -3 + (-2)/((10/(-4))/5). Are b and 6/47 equal?
False
Suppose 5*c - 10 = -l, 4*l - c - 3*c = -8. Suppose -3*w + 3*f + f - 40 = 0, -3*w + 5*f - 44 = l. Which is smaller: -2 or w?
w
Let m(o) = -o**3 - 6*o**2 + 9*o + 6. Let h be m(-7). Suppose 0 = 2*b - b - 10. Let n be h/(-12)*1/b. Is -1 > n?
False
Let p = -1527/212 - 2929453/1908. Let r = p - -1541. Which is greater: r or -1/3?
-1/3
Suppose 14 = 2*s - 5*m, 2*s - 3*m - 16 + 6 = 0. Suppose s = -n + 2*n. Suppose -f - 3*d + n = 0, f + d = -0*d + 2. Is f greater than or equal to 11?
False
Let j = -96 + 99. Suppose 2*r - 14 = -j*i, -3*r + 4*r = 4*i - 4. Let l = -8 + 15. Is l at least r?
True
Let y = -36 - -54. Suppose y = 6*g - 3*g. Let p be (-8)/28 + 60/14. Is p greater than or equal to g?
False
Suppose 3*n + 12 = 0, -527 = -14*w + 11*w - n. Which is bigger: w or 178?
178
Let b = -3.1 + 3. Let y(k) = -2*k + 16. Let i be y(8). Let w(p) = p**2 + 1. Let t be w(i). Which is bigger: b or t?
t
Let w = -267 + 267. Is -96 equal to w?
False
Let f = -232 + 209. Suppose 0 = 2*v + 2 - 12. Suppose 2*w - 37 = 4*g + 57, 3*g + v*w + 77 = 0. Is g < f?
True
Let w = -14 + 17. Let a = 7 + w. Suppose -4*x - a = -i, -4*x + 0 = -2*i + 12. Which is greater: x or -7?
x
Let c = -1101 + 723. Is -377 >= c?
True
Let g = -362 - -443. Is g less than or equal to 83?
True
Let z(w) = -10*w**3 + w**2 + 2*w - 4. Let y be z(4). Let b = 8064/13 + y. Which is smaller: 1 or b?
b
Let f = 58865/276 - 853/4. Suppose -1 - 19 = -20*q. Which is smaller: f or q?
f
Let z = 65 - 62.7. Let f = z - 2.5. Which is bigger: -1 or f?
f
Suppose -5 = 4*q - 5*y, q + 3*y + 5 = -9. Which is smaller: 2 or q?
q
Let i(n) = -3 - 2*n - 2 + 4 - n. Let g be i(-2). Let c be 5 - g - 6/5. Is -1 at least as big as c?
True
Let y be 5/(-70) + (0 - 127398/(-168)). Is 759 less than y?
False
Suppose -3*j + 32 = -j. Let c = -6 + j. Let o be (-14)/28 + 7/c. Which is smaller: o or -1?
-1
Suppose -i + 3 = -g, i - 49 + 30 = 5*g. Is -1/83 greater than i?
True
Suppose -5*u - 70 = -5*v, -3 = -3*u - 18. Let k = 1.52 - -0.08. Let r = 0.6 - k. Which is greater: v or r?
v
Let d = 36 - 31. Let c = d - 7. Does c = 2/15?
False
Let r = -55 + 74. Let x = -10.24 - -0.24. Let t = x + r. Is t > -2/5?
True
Suppose -883 = -5*q - 838. Suppose 5*k - 45 = -0*k. Is k bigger than q?
False
Let p(i) = i**2 - 8*i + 7. Let l be p(7). Suppose -2*c + 2 = -l*c. Let z = 9.46 - 8.76. Which is smaller: z or c?
z
Suppose 2*z - 2 = 0, 3*v + 1 = 5*z + 5. Let r be 10/5 - 6/v. Is r equal to 3/28?
False
Let c be (-2*2/252)/(38/304). Is c at least as big as 0?
False
Let c be (12/(-15))/((-2)/60*-3). Let i be (-5)/(-2) - 2 - 66/c. Is 10 less than i?
False
Let n = -24 - -5. Which is smaller: -16 or n?
n
Suppose 0 = 2*o - 9 + 3. Suppose -o*k = 0, 2*c + 48 = -0*c - k. Which is smaller: -23 or c?
c
Let v = -0.1248 - -0.1348. Which is smaller: 9/4 or v?
v
Let s = 27 + -18. Let c be (s/6)/(3/(-8)). Let m be (c/(-21))/(2/(-3)). Which is greater: 0.08 or m?
0.08
Let p be (-7)/(-28) + (-1)/4. Let q(x) = x + 7. Let c be q(p). Let i = c - 8. Is i less than 1/11?
True
Suppose 0 = -2*g - 4 - 0. Let c(h) = h**3 - 4*h**2 - 2*h + 2. Let o be c(2). Let n be (-6)/((-7 - o)/(2*1)). Is g at most as big as n?
False
Suppose 2*b - b + 8 = 0. Let f(r) = -r**3 - 9*r**2 - 7*r + 8. Let k be f(b). Let z be 0 + -1*(-3)/(-21). Which is greater: z or k?
k
Let z = 152 + -132. Is z at most as big as 18?
False
Suppose -2*b + 6*b - 112 = 0. Let h = 12 - b. Is -16 > h?
False
Let j be -25*(16/24 - 4/15). Let p be 1/(2/(-22) - 0). Is j at least p?
True
Let u(a) = -4*a**3 + a**2 + a + 1. Let r be u(-1). Suppose 0 = -5*l + 2*i - i - r, -3*l - 3 = i. Does 4/13 = l?
False
Let h(j) = -j**3 + 7*j**2 - 12*j + 7. Let g be h(5). Which is smaller: -23/6 or g?
-23/6
Suppose 2*g = -3*g + 5*n + 10, -g = 3*n + 14. Suppose -30*r + 16 = -38*r. Let m be r - (g - 4/(-116)). Is 1 < m?
False
Let d = -111 + 171. Suppose 30 = 2*j + d. Which is smaller: -27/2 or j?
j
Let r(v) = -v**3 - 4*v**2 - 3. Let p be r(-4). Let b be 2/p*(1 + -4). Suppose -5*y = -5*n - 20, 2*y - b*n - 9 = -y. Is y <= 2?
True
Let h = -75.033 - -75. Let w = h + 0.003. Which is bigger: 0.1 or w?
0.1
Suppose 0 = n - 25 - 12. Suppose 0 = c - 7 + n. Is -31 greater than or equal to c?
False
Let v(z) = z**3 - 4*z**2 + 10*z - 15. Let t be v(2). Are -64/17 and t non-equal?
True
Let v(g) = g**2 + 2*g - 5. Let s be v(-4). Let u = s + -2. Let x = 8/125 + 694/875. Which is bigger: u or x?
u
Let x = -13 + 54. Let o = 40.887 - x. Is o equal to -0.1?
False
Let t = -7833/80 + 783/8. Suppose -4*x + 6 = -14, -x + 5 = 3*c. Which is smaller: t or c?
t
Let b(d) = d**3 + 7*d**2 + 11*d + 15. Let l be b(-4). Let g(u) = u**3 - 20*u**2 + 18*u + 19. Let k be g(l). Which is bigger: k or -1/12?
k
Suppose -2*g - 90 = -4*g. Let b = -32 + g. Let c be 6/(-2)*(-4)/1. Is b at most as big as c?
False
Let s = 29.138 + -0.038. Let j = -29 + s. Which is greater: j or 3/8?
3/8
Let z be (-2)/(-9) - (-38)/(-171). Let m be (2/(-5))/(85*1/75). Is m at least z?
False
Let x = 103 + 41. Suppose -x = 2*l + 6*l. Let p = l - -21. Are p and 4 unequal?
True
Suppose -1310 + 357 = 41*o + 1056. Suppose -4*i + 67 - 263 = 0. Is i >= o?
True
Let d = 74.6 + -72. Is -8 less than or equal to d?
True
Suppose -18 = 52*n - 70. Which is smaller: n or -3/976?
-3/976
Suppose 5*x + 3 = 6*x, 0 = o + x - 3. Which is greater: o or 3/220?
3/220
Let x(v) = -3*v**2 + 7*v + 12*v**2 + 13 - 8*v**2. Suppose -21 = -0*n + 3*n. Let m be x(n). Is 13 at least m?
True
Let y be 6/(-4)*(-5 - 1). Suppose -4*a - 5 = c, c - 4*a = -a + 30. Suppose 2*o - c = -5*s, 3*o + 3*s = -o + y. Which is smaller: o or 1/9?
o
Suppose -3*l = 3*m - 6, 0 = -3*l - 4*m - m. Is l at least as big as 35?
False
Let x be 2/6*(-5 + -1)/(-6). Let j = -6 + 5.9. Which is smaller: j or x?
j
Suppose -12*l + 11 = 3*u - 7*l, -4*l + 8 = 2*u. Let o(k) = 2*k - 6. Let t be o(5). Suppose -32 = 5*z + u*w, 21 = -t*z - 3*w + 6*w. Is z <= -6?
True
Let h be (-2622)/1695 - 2/5 - -2. Is 0 equal to h?
False
Let n be (-4)/(-7) - 31/(-7). Suppose 7 + 13 = n*i. Is i at most as big as 0?
False
Suppose 5*d = -10, 4*i + 5*d + 13 + 1 = 0. Let q(o) = 7*o - 17. Let z be q(-6). Let x = z + 237/4. Is x at least as big as i?
True
Suppose 30 = -23*x + 7. Which is greater: x or 8/83?
8/83
Let y(a) = -a**2 - 4*a + 7. Let j be y(-4). Suppose -14*l + 12 = 82. Is j at most as big as l?
False
Let c = -1.05 + -0.25. Let p = c - -11.3. Let h = p + -10.2. Which is bigger: 2 or h?
2
Suppose 18 - 14 = -2*y. Is -35/12 equal to y?
False
Let j = 60 - 66. Let h(s) = -5*s**3 + 1. Let i be h(-1). Let p = i + j. Which is smaller: p or 2/27?
p
Let s = -948 - -948.04. Is 15/7 at most s?
False
Let j = 43.4 - 43.6. Which is smaller: j or 2/11?
j
Let k(r) = 5*r. Let p be k(1). Suppose 3*o - 34 + 16 = 0. Is o less than p?
False
Let l(a) = 10*a - 192. Let b be l(19). Is b >= -5.3?
True
Let m = -161 - -161. Does m = -2/349?
False
Suppose 0 + 2 = t. Suppose t*u - 4 = -2*u. Suppose -4 = -5*f + u. Which is smaller: 3 or f?
f
Let f = -7.4 + 0.4. Let n = f - -5. Let x = n - -1. Which is smaller: x or -5/3?
-5/3
Let b = 22.3 - 24. Let z = 2 + b. Is z bigger than 4?
False
Let h be (49344/(-1024))/(6/8). Are -65 and h equal?
False
Let p = 1700.31 - 1701. Which is smaller: p or 0?
p
Let q = 36 - 26. Let v = -6 + q. Suppose -r - r - 12 = 3*k, -v*r + k = -4. Is -1/5 at least r?
False
Let q(g) = -6 - g**3 - 4*