or -64/17?
-64/17
Let w(q) = q**3 - 6*q**2 - 5*q + 8. Let h be w(7). Suppose -5*j + 64 = 4*s, -s - 50 = -3*s + 2*j. Is h not equal to s?
True
Let g be ((-120)/(-152))/15*2/10. Which is greater: 0 or g?
g
Let x(o) = -o**3 - 13*o**2 - 33*o + 63. Let i be x(-7). Which is bigger: i or -43/29?
i
Let g be ((-166)/(-8))/((-48)/28 + 2). Which is smaller: 74 or g?
g
Let p = 3/322 + -1783/1288. Let c = 305/104 - p. Let t = c - -83/26. Is 7 at least t?
False
Suppose 4*s - 2 + 6 = 0. Let g be (0 + -11)/(0 - s). Does -10 = g?
False
Let p be 3 + 8/(-24)*(-1 - -8). Is 107 at least as big as p?
True
Let y(q) = -q**2 - 5*q + 6. Let f be y(-6). Suppose -4*k - 4*u = 16, -5*k + 2*u - 3*u = f. Let g = -318 - -317.7. Is g bigger than k?
False
Let h(a) = 2*a - 5. Let q(j) = j - 2. Let w(d) = 3*h(d) - 5*q(d). Let z be w(10). Suppose z*g + 4 = 3*g - 2*k, -2 = -g + 3*k. Which is smaller: 2 or g?
g
Let u be 6/(-14) - (-48711)/(-364). Let h = u - -135. Is 0 at most h?
True
Suppose -3*l - 2*x + 437 = 0, x - 3*x - 278 = -2*l. Which is smaller: l or 144?
l
Let g = 0.8 - 2.8. Let v = -3 - g. Let n = v + 4. Does 2/5 = n?
False
Let s = 19 - 13. Suppose -7*a - s = -5*a. Let o be -2 - 5/a - 1. Which is bigger: o or 0?
0
Let g = 7 - 4. Let s(i) = -g + 3*i - 4*i + 2*i + 0*i. Let t be s(4). Which is bigger: t or 0?
t
Suppose -13*g + 18 = -8. Suppose -3*z + g*z + 2*y - 2 = 0, 4*z - y + 1 = 0. Which is greater: 1 or z?
1
Suppose 0 = -4*x - 3 - 1. Let f be -2*2*4/16. Do x and f have the same value?
True
Let d be -19*1*(-9 + 80/(-10)). Is d at most 322?
False
Let z be (-15)/60*9*1. Let n = z - -5/2. Is n not equal to 43?
True
Let v(r) = 5*r - 84. Let d be v(17). Which is smaller: 12/29 or d?
12/29
Let t = 164 - 490/3. Is 201 > t?
True
Let y be 3/(-1) + 1 + 2. Let l(g) = -5*g + 53. Let i be l(11). Let s = y - i. Is 8/7 > s?
False
Let t(r) = -r**2 + 6*r + 75. Let j be t(-6). Which is greater: -1/2 or j?
j
Suppose -o + 3*g = 4*o - 216, 2*g - 96 = -2*o. Suppose h - o = 4*h. Is h greater than or equal to -18?
True
Let p = -472 - -8966/19. Let b = -68.6 + 68. Let g = 0.4 + b. Is p <= g?
False
Let c(u) = -u + 1. Let j be c(1). Let t(r) = r**3 - r**2 - 3. Let p be t(j). Let d = 0.2 + -0.7. Which is greater: p or d?
d
Suppose 217*g - 216*g = -396. Is g equal to -396?
True
Let i be ((-35)/10)/(2/(-4)). Suppose i*p = 24 + 11. Does 3 = p?
False
Let b = 0.84 - -6.16. Let w = b + -6.93. Is w <= 1/2?
True
Let j = -0.75 + 0.75. Let w = -2.733 + 0.033. Let t = w - 0.3. Which is bigger: j or t?
j
Suppose 73 + 1 = 2*i. Let x(s) = -21*s + 142. Let w be x(5). Is w > i?
False
Let h(j) = 2*j**2 - 41*j - 22. Let m be h(21). Which is smaller: -1/179 or m?
m
Let r = 15 + -361/24. Let m(l) = -l**3 - l**2 + 2*l + 2. Let c be 1*(3 - -1 - 5). Let q be m(c). Which is smaller: q or r?
r
Let n(i) = -i**3 + 11*i**2 + 28*i - 24. Let r be n(13). Is 3 less than or equal to r?
False
Suppose -9*n - 1360 = -2935. Is n >= 173?
True
Let a be (-2 + 0)/(9 - 11) - -4. Let q be 4/(-10) + 7/a. Is 2.8 smaller than q?
False
Suppose -3*w = -2*w - 20. Let b be ((-1)/(-2))/(w/(-40)). Is b bigger than -1/8?
False
Suppose 7*x = -0*x - 2205. Let y = -934/3 - x. Which is smaller: 5 or y?
y
Suppose 0 = -2*v - v - 96. Which is greater: -34 or v?
v
Let b be (-2)/(-45)*30/(-264). Is b smaller than 0?
True
Suppose 3*s + 2 = -46. Let n be (-4)/s - (-39)/(-60). Which is greater: n or -1?
n
Let i = 543.04 - 543. Which is smaller: 21 or i?
i
Let p(k) = -3*k - 37. Let u(o) = -o + 9. Let r be u(21). Let a be p(r). Is -9 at least a?
False
Suppose -5*h - 2*a + 20 = 2, -2*h = -2*a - 10. Let m be (-2)/(-3) - (-4701)/9. Let u = 1583/3 - m. Are u and h equal?
False
Suppose 2 = z, 4*h - 2*z + 5*z + 114 = 0. Let k = h + 26. Let a be (-34)/(-22) + k + 3. Is a <= 2?
True
Let d be (-231)/280*-4*(-24)/9. Which is bigger: d or -8?
-8
Suppose k + 0*z - 5*z - 220 = 0, -3*z = -5*k + 1100. Let p = 147 - k. Let b = -221/3 - p. Which is smaller: 1 or b?
b
Let u = 251 + -254. Which is greater: 0 or u?
0
Let i be -14*(26/(-4) - 0). Let g = -61 + i. Which is greater: g or -2?
g
Suppose 0 = 8*n + 2348 + 460. Is n at most -350?
True
Suppose 160 = -2*v + 5*o, 5*o - 4*o = 2. Is v at most as big as -75?
True
Let w(c) = c**2 + 7*c - 1. Let t be w(-7). Let p = -15 + 14.62. Let k = -0.28 - p. Which is greater: t or k?
k
Let n = -37 - 59. Is n less than -96?
False
Suppose 0*y = -4*y + 384. Let s be y/(-770) - (-2)/11. Let h = -28 - -28. Which is smaller: h or s?
h
Let y(h) = 2*h**2 - 2*h - 1. Let g be y(-1). Suppose -4*v - 2*j + j = -20, -5*v + g*j = -25. Let f = v + -1. Do 3 and f have different values?
True
Let z be (3 + 0 - 14)/1. Let u = z + 2. Let y be 0/(-1 + u/(-3)). Which is smaller: y or 4/9?
y
Let g(s) = s + 4. Let i be g(-2). Let u be (7 + -5)/(i/12). Which is smaller: 53/4 or u?
u
Suppose 5*j + 2*o - 22 = 4*j, 3*j + 5*o = 64. Suppose 2*q + 0 = -j. Is q at most -10?
False
Let a = 218 + -2404/11. Is a != -2?
True
Let m(a) be the first derivative of -a**2/2 + 4. Let c be m(5). Suppose -2*k = -5*t - 10, -1 = -2*t + k - 4. Which is smaller: c or t?
c
Suppose 0 = 2*v - b + 532, v + v + 536 = 2*b. Is v less than -264?
False
Suppose -2*p - 2 = -6. Let g be (-2)/1*(3 - p). Which is greater: g or -3?
g
Let m = 33 - 3. Suppose 0*q = -6*q + m. Let t = -14 - -12. Is t less than q?
True
Let t(u) = -3*u - 4. Let y be t(-3). Suppose -1 - y = 3*x. Let a be (((-4)/(-6))/2)/((-27)/(-81)). Which is smaller: x or a?
x
Suppose 0 = -r + 2*f + 11, 0 = f - 4*f - 12. Suppose k - 27 = -2*k + r*b, -b = -3. Which is smaller: 13 or k?
k
Suppose 0 = -8*a + 12*a - 2836. Let t = 429 - a. Let w be (1/2)/((-14)/t). Is w smaller than 9?
False
Let f = -6 - 19. Let i = f - -24. Which is greater: -4/5 or i?
-4/5
Let t = -848 - -847. Which is smaller: t or -8/115?
t
Suppose -12 = -3*j, 0 = -0*r + 2*r - 3*j + 54. Let u = -25 - r. Let l be u/(-10) - 36/(-15). Is 3 smaller than l?
False
Let r be (4/12 - 14254/4278)/6. Let n = r - -11/23. Is -1 at least as big as n?
False
Suppose 7*o - 16 = 40. Is o > 9?
False
Let u be -2*((-1)/2 + (-4)/8). Let p be (2 - -6)*u/(-4). Does p = -4?
True
Let b(w) = -w**3 + 3*w**2 - 9*w - 6. Let q be b(6). Let u be 6*4/q*-3. Which is greater: u or 2/5?
u
Let n(r) = -12*r - 7*r**2 + 6*r**2 - 1 + 3. Let y be n(-10). Let c be y/(-3)*(-5)/(-10). Which is smaller: -4 or c?
-4
Let z = 15443/12 - 2567/2. Let s = z + -11/3. Is -0.04 bigger than s?
True
Suppose 237*d - 241*d + 22 = 2*v, -3*v = -5*d - 33. Is 10 greater than or equal to v?
False
Suppose 2*g = 4*d - 4, d - 19 = -0*d - 4*g. Let l be (1/(2/(-126)) + d)*-1. Which is greater: 1 or l?
l
Let t(y) = -21*y + 127. Let c be t(6). Is 1/55 smaller than c?
True
Suppose -3*y + 9 = -0*y. Let v = 0 - y. Suppose 10150 = -7*c + 10143. Is v equal to c?
False
Let b(x) = -x**3 + x**2 + 4*x - 11. Let f be b(3). Is f at least -17?
True
Suppose 2*b - 65 = g + 15, -2*g - 4*b - 176 = 0. Let a be 18*(-8)/g - (3 + -1). Which is greater: -2 or a?
a
Let u = -17 + 25. Let r be (0/(-4))/(u/(4*-1)). Let w be 1/(-2)*(-12)/17. Is r smaller than w?
True
Let d = 5552/25 + -222. Let x(k) = -k**3 - 9*k**2 - 9*k - 4. Let j be x(-8). Let r = j + -3. Is r greater than or equal to d?
True
Let s be ((-2)/6)/(377/(-702)). Which is bigger: s or 0?
s
Let f(z) = z**3 + 6*z**2 + 2*z + 14. Let x be f(-6). Suppose -5*o - x = -6*o. Is o equal to -2?
False
Suppose -5*g + 28 = -4*k - 0*k, 2*k = g - 2. Suppose -2 = -g*w + 14. Which is bigger: w or -2?
w
Let t(n) = -n**2 - 2*n + 1. Let x(g) = g. Let i(l) = -t(l) - 2*x(l). Let b be i(0). Let q be (2/(-36))/((-1)/(-4) - 0). Which is bigger: q or b?
q
Let r(a) = -7*a - 19. Let u(c) = c + 3. Let x be u(-8). Let z be r(x). Suppose -3*m + 6 = -n, -2*n + 3*m = m + z. Is 0 smaller than n?
False
Suppose 25 = 21*b + 4. Is -1/5 < b?
True
Let n = -468 - -1038. Let d = -4575/8 + n. Is d at most as big as -3?
False
Suppose 0 = 7*f - 2*f + 480. Let b be (-1)/5*(-90381)/(-188). Let r = f - b. Which is bigger: r or 1?
1
Let a = -2/53089 - -38277179/265445. Let m = -145 + a. Let d = 0 - 0. Which is greater: m or d?
d
Suppose 32 = 5*p - 58. Let y be ((-2)/p*3)/12. Which is greater: y or -0.1?
y
Suppose -121*z - 1121 = -140*z. Which is smaller: 58 or z?
58
Suppose 9*v = 2*v - 455. Is -65 greater than v?
False
Suppose 2*f + 9 = -2*o + 5*f, 4*o - 37 =