igger: a or -17?
-17
Let f = -13 + 15. Let h be (6 + -5)/(0 + f). Which is greater: h or -3/11?
h
Let z(k) = 13*k**3 + k + 1. Let t be z(-1). Let b = 3 - t. Are b and 17 equal?
False
Suppose 5*r - 7*i + 10 = -3*i, -5*r = -5*i + 10. Let x be (r/(-10))/(5/(-10)). Which is greater: x or 1/6?
1/6
Let y = 2356 + -2355. Which is smaller: y or -13/101?
-13/101
Suppose 4*f = -y + 8, 2*y = 3*f - 0 + 5. Suppose y*n - 101 = -25. Is n greater than or equal to 18?
True
Let u = -48 - -75. Let x be ((-2)/(-4))/((-9)/u). Let s be (-4)/6 + (-2)/6. Which is bigger: x or s?
s
Let g(p) = p**3 + 9*p**2 - 9*p - 4. Let t(h) = h**3 + 9*h**2 - 8*h - 4. Let y(q) = 3*g(q) - 2*t(q). Let v be y(-10). Which is bigger: v or 8?
8
Let q(v) = -22*v**3 + 8*v**2 + 7*v - 14. Let j be q(10). Let z be (-30)/189*j/100. Let h = -234/7 + z. Is h < 0?
False
Suppose -2*i - 15 = 4*l - 1, -l = 1. Let k = -5 - i. Which is smaller: 14/23 or k?
k
Let t be 38190/912 + 2/(-16)*-1. Which is bigger: 48 or t?
48
Suppose 2*x - 3*x + 3 = 0. Suppose x*t = 11*t. Is 2/5 at least as big as t?
True
Let m = 33 - 47. Let o be (-4)/2 - 8/m. Let h be (-12)/20 - (8/10)/2. Which is smaller: o or h?
o
Let u = 2 - -6. Let w be ((-8)/(-3))/(16/6 + -2). Suppose 12 = w*n - u. Do n and 5 have different values?
False
Let p(l) = l**3 + 7*l**2 - 23*l - 12. Suppose 2*m + 5*z = 7, -4*m + m - 17 = 2*z. Let c be p(m). Does 33 = c?
True
Let n(x) = -2*x**2 - 3*x - 6. Let t(k) = 5*k**2 + 8*k + 17. Let d(l) = -8*n(l) - 3*t(l). Let i be d(-3). Let g be 7/(-3) + 18/i. Which is smaller: g or 0?
0
Let d be (-303)/210 - (-25)/(-125). Is d at least as big as -1?
False
Let t = 37 - 31. Suppose -t*s - 3*s = -4*s. Which is smaller: s or -0.3?
-0.3
Let s = 19 - 18.9. Which is greater: -42/23 or s?
s
Let f(w) = 4*w**2 - 9*w + 11. Let k(d) = -9*d**2 + 18*d - 23. Let y(v) = 7*f(v) + 3*k(v). Let p be y(5). Which is smaller: -14 or p?
-14
Suppose 5*k + 2*s = 8, k - s - 3 = -7. Which is smaller: k or 10/221?
k
Let q(s) = -s**2 - s + 5. Let n(k) = k + 4. Let v be n(-3). Let u(b) = -b. Let p(a) = v*q(a) - u(a). Let g be p(4). Does g = -11?
True
Let t = -2 + 10. Suppose -5*f + t = -f. Suppose 3*b - 5*u - 25 = 0, -4*u - 20 = b + f*b. Is 2/9 bigger than b?
True
Let m = -10 + 19. Let u = m + -11. Let a = 4 - 4.2. Which is smaller: a or u?
u
Let f = -120 - 197. Which is smaller: f or -316?
f
Let u = 241 + -273. Which is smaller: -35 or u?
-35
Let j be (-39240)/(-48)*(10/(-3))/5. Which is smaller: -2/3 or j?
j
Let t(g) = g**3 + 13*g**2 + 13*g + 17. Let r be t(-12). Let j(c) = -6*c + 22. Let l be j(r). Is l < -6?
True
Let j = 460/11 - -7149/55. Which is smaller: 173 or j?
j
Let o = -0.1619 - -0.0649. Which is bigger: -1/3 or o?
o
Let i = -1 + 4. Let c be 28/(16/(-4)) - -13. Let g be (c/(-102))/(2 - i). Is 1 less than or equal to g?
False
Suppose 30 = g + g. Let l = g - 33/2. Let s = 0.2 - 0.2. Which is greater: l or s?
s
Let j(q) = q**2 + 2*q + 1. Let x be j(-3). Let d be (1 - -3) + -6 + x. Let t = -6 + d. Is -4 less than t?
False
Suppose 0 = -26*i + 43*i. Which is smaller: i or 4/61?
i
Suppose 3*f - 9 - 18 = 0. Let b = f + -3. Suppose -b = 4*h - h, 5*g + 1 = 2*h. Do -2/7 and g have the same value?
False
Suppose 1 = 2*j - z, 5*z + 14 = -j - 2. Let p = -2/139 - -157/1251. Is j at least as big as p?
False
Let y = -136.107 - -0.107. Which is smaller: y or 0?
y
Let d = 17933/24 - 748. Which is greater: -2 or d?
d
Let i be 10/2 - (-4)/(-2). Suppose 3*y - 11 = 4*m, m - 7*y + 19 = -3*y. Which is smaller: m or i?
m
Let f = -0.62 - -0.72. Are -11 and f nonequal?
True
Let w be (-38)/4*2/1. Let f(b) = 31*b + 24. Let i(y) = 9*y + 8. Let v(s) = -4*f(s) + 14*i(s). Let g be v(w). Is g at least -23?
True
Let p be 41/(-6) - -3 - 0. Let l = p + 59/15. Is 1 != l?
True
Let a = -3.82 - 0.18. Let x = a - -3. Is x equal to 9/4?
False
Let n(s) = 51*s + 219. Let y be n(7). Which is greater: y or 575?
y
Let w(b) = -26*b + 90. Let o be w(3). Is 66/5 <= o?
False
Let l be (6/35)/(20/(-3650)). Is l != -31?
True
Suppose -c + 2 = -o + 1, -3*c + 2*o + 2 = 0. Let d = -8 - -109. Let f = d + -1920/19. Which is bigger: c or f?
c
Let s(q) = -q + 9. Let v(r) = r**2 - 16*r - 30. Let d be v(18). Let x be s(d). Is 4 at least x?
True
Suppose 3*a = 4*g + 48, 2*g - 3 = -a + 3. Suppose -a = -v + 4*v. Is -17/5 != v?
True
Let n = -21 + 48. Let x be 6/n - 4/18. Which is bigger: -3 or x?
x
Let h = -4922/3 + 1618. Suppose 2*n = -16 - 30. Let y = h - n. Is y >= -0.07?
True
Let p = 0.041 + 0.159. Does p = 0.65?
False
Suppose -5*k + 3 = -12. Let c(s) = s**3 - 3*s**2 - s + 2. Let u be c(k). Let w = -29 - -433/15. Are u and w non-equal?
True
Let v = 146 - 136. Is v <= 78/7?
True
Let r be 34/((-1)/(-7) + 0). Suppose -3*s = 5 + 1, 2*w + 5*s = -r. Which is greater: -113 or w?
-113
Suppose -70 = -14*y + 140. Is 202/13 smaller than y?
False
Let s = 21 - 26. Let h be (10/(-1875))/(1/s). Are h and -1 equal?
False
Let g(x) = x**2 + 7*x + 8. Let j be g(-4). Let s be 1/j*(6 - 8). Is 11 equal to s?
False
Let r be 116/12 + 2/6. Let c(i) = -i + 18. Suppose -4*h + 2 + 30 = 0. Let m be c(h). Is r <= m?
True
Let h be 61/3*3 - -3. Which is greater: 61 or h?
h
Let x = -271/5 - -53. Let w = -49/45 - x. Let u(m) = 3*m + 46. Let p be u(-15). Which is smaller: w or p?
w
Let h = 39 + -23. Is 4/7 >= h?
False
Suppose -6 = 3*c + 5*u - 2*u, 0 = 2*c - 2*u - 12. Suppose 0 = c*v - v - 1. Which is smaller: v or 1/106?
1/106
Let o = -0.049 - 0.951. Let j = -5.82 - -0.89. Let s = j + 5. Which is smaller: o or s?
o
Let o = 20/7 - 4474/1561. Let b = -1689578447/892 + 1894146. Let v = b + o. Which is smaller: 0 or v?
v
Let n(c) = c**3 + 6*c**2 - 7*c - 1. Let k be n(-7). Let u = 14243/20 + -712. Is k bigger than u?
False
Suppose -k - 4*y - 6 = 0, 5*y + 0*y + 39 = 4*k. Suppose k*i + 13 - 7 = 0. Is i bigger than 80?
False
Let u = -107 - -178. Let n(k) = -9*k**3 + 3*k**2 + 13*k + 14. Let b be n(-2). Is b > u?
True
Let n = -0.062 + 72.062. Let t = 72 - n. Is -1 <= t?
True
Let h = -9 + 21. Let g = -19.2 - -23.2. Is g != h?
True
Let c(z) = 10*z**2 + 8*z + 8. Let t be c(-4). Let r be (-1 + 2)*t/(-16)*-2. Is 9 greater than r?
False
Let l = 7914376/1407 + -5625. Which is bigger: l or 1?
1
Let y(l) = -2*l**2 + 14*l + 57. Let s be y(8). Which is smaller: s or 29?
29
Let b(s) = s**2 - 35*s - 259. Let o be b(45). Is 189 < o?
True
Let m = -6 + 3. Let a be (-2)/(5/3 - (-2)/6). Let z be a + ((-9)/4 - -3). Which is smaller: m or z?
m
Suppose 0 = q - 3*s - 3, s = 5*q + 2*s + 1. Let m = 0 + q. Which is smaller: -8 or m?
-8
Suppose 33*o = -532 + 202. Which is smaller: o or -3?
o
Let g = 99 + -101. Which is smaller: 19 or g?
g
Let j = 395 + -385. Is 10 at most j?
True
Let m(r) = 4*r**2 + 21*r - 40. Let c be m(2). Do 0 and c have different values?
True
Suppose -2*c = -2*q - 10, -c + 0 = q + 5. Let x be ((-5)/(-10))/(46/8). Which is bigger: c or x?
x
Suppose 8 + 14 = 2*n. Suppose 4 = -3*o - n. Which is greater: o or 3?
3
Let v(w) = 2*w + 24. Suppose -3*o = -6*o - 4*n - 14, -3*o - 50 = -5*n. Let i be v(o). Suppose 2*k - 4 = 0, i*x = 3*k - 5 - 9. Do x and 0 have the same value?
False
Let b(g) = g**2 + 29*g - 53. Let j(r) = -r**2 - 28*r + 55. Let n(o) = -4*b(o) - 5*j(o). Let q be n(-26). Which is smaller: 4 or q?
q
Let y be -2 + 2 + -7 - 0. Suppose -157*f + 150*f - 14 = 0. Let k = f - y. Is 3 bigger than k?
False
Let f(d) = d**3 - 27*d**2 - d + 19. Let s be f(27). Let o(u) = u - 1. Let r be o(2). Let g = r + -9. Is g less than s?
False
Let g(z) = z - 7. Suppose -t + 3 = -3. Let p be g(t). Let o = -385 + 384. Is o equal to p?
True
Let r be (-2 + 129/63)*3. Let w = -0.017 - -0.017. Are w and r equal?
False
Let n be (-2)/4*(-280)/20. Let y be 32/(7 + -3 - -1). Is y > n?
False
Suppose 8*v - 3*v + 536 = 4*d, 5*d - 661 = 4*v. Is d at least 128?
True
Let k = -24.64 + -1372.36. Are -2/5 and k non-equal?
True
Let r = -8.3 + 11.3. Let h = -4 + 6. Let b = h - r. Which is greater: 2 or b?
2
Let a = 1959 + -1981. Which is smaller: -5 or a?
a
Suppose -34 = u - 9. Let z = u + 22. Let t be 42/(-10) + 3 + -1. Is z >= t?
False
Suppose -32 = -6*p - 2. Let v be (1/4)/((-138)/(-24) - p). Is -14 greater than or equal to v?
False
Let c = -943/5 + 138641/735. Are 1 and c equal?
False
Let p = -555 + 559. Let i be (33/9*1)/1. Which is greater: p or i?
p
Let c(j) = j**2 + 6*j + 5. Let b b