 be (8 - 3)*8/(-620). Which is smaller: 0 or b?
b
Let y(p) = -3*p - 6. Let m be y(-9). Suppose -b - m = -4*b. Let w(c) = c**3 - 6*c**2 - 7*c + 4. Let j be w(b). Do 5 and j have the same value?
False
Let l = -0.1 + 0. Suppose -11*c - 115 = -5. Which is smaller: l or c?
c
Let k = 7 + -4. Let g = -5.5 + 0.5. Let y = g - -4.9. Which is smaller: y or k?
y
Let g(s) = s + 13. Let i be g(-15). Let k = 0 - i. Is k at most 1?
False
Let s(x) = 7*x + 9. Let q(j) = -8*j - 10. Let i(k) = -5*q(k) - 6*s(k). Let c be i(4). Let p be 3*(c/(-27) - 1). Is -1 greater than p?
True
Let h(j) = j**3 + 5*j**2 - 8*j - 13. Let m be h(-6). Which is bigger: -3 or m?
m
Let f = -0.3 + 0.1. Let b = f - 3.8. Let l = 2/39 + 8/13. Which is smaller: l or b?
b
Let t = -88 - -91. Is 13/6 at least as big as t?
False
Let j(g) = g + 16. Let f(h) = h + 8. Let b(w) = -5*f(w) + 2*j(w). Let q be b(-6). Let m be 4/q - (-3)/(-20). Is 2/3 not equal to m?
True
Suppose -x + 3*x + 2 = 0. Let s be 2/3 + x/(-3). Are 2/9 and s unequal?
True
Let x be (17/(-18) + 1)/(18/36). Which is smaller: x or 1?
x
Let r be 10/(-24)*15/(-100). Let m(s) = s - 2. Let g be m(2). Is r > g?
True
Let b(s) = s**3 + 4*s**2 + 8*s + 16. Let m be b(-3). Is m at most 5?
True
Suppose -5*h = -4*n - 6, 0*h - 1 = 2*h - 5*n. Let v be h/(-10) + (-8)/(-15). Are v and 0.2 nonequal?
True
Suppose -4 = -p, -w + 2*w - 2*p = -6. Suppose 4*x = -4*s, 4*x = -w*s + 1 + 3. Suppose x*t + t = 3. Which is smaller: t or 0.1?
0.1
Suppose 7*b - 2*b = -185. Which is bigger: -38 or b?
b
Let j = 18 - 18. Which is smaller: 4/5 or j?
j
Suppose -4*m = 5*h - 112, -3*h - 50 = -m - 5. Does m = 65/2?
False
Let b(c) = -c**2 - 8*c - 2. Let l be -12*(-1 + (-6)/(-4)). Let q be b(l). Suppose 0 = 4*r + q + 2. Is r at least 2/7?
False
Let n be 8/(-12) + (-92)/60. Which is greater: n or -3?
n
Let q(j) = 2*j + 11. Let s be q(-5). Let i = 9/38 + -245/874. Which is smaller: s or i?
i
Let c = -0.2 + 0.2. Let i be 24/(-5) + (-32)/(-40). Is c greater than i?
True
Let h(z) = 3*z + 3*z - 5*z - 6. Let g be 38/8 + 3/12. Let w be h(g). Is 2/7 smaller than w?
False
Let a = 84 + -94. Which is greater: a or -7?
-7
Let c(v) = -6*v**2 + 2. Let y be c(2). Which is greater: y or -23?
y
Let p be (-8)/110*(-560)/32. Which is smaller: p or 2?
p
Let c = 95 + -82. Which is smaller: c or 15?
c
Let o be (5/70)/(2/16). Which is smaller: 1 or o?
o
Let y = -35 + 42. Is y smaller than 7?
False
Let t be (-3)/6*0 - 0. Is t at least as big as -3?
True
Let c = -9/266 - 1/14. Which is smaller: c or -2?
-2
Suppose 0 = -0*o - 4*o - 8. Let q(m) = m**3 - 4*m**2 + 2*m - 2. Let g be q(4). Let n be -3*(g/27 + 0). Which is smaller: o or n?
o
Suppose 0 = 4*a - b + 17, -2*b + 3 = -3*b. Let v = a + 3. Suppose 2*m + 4*o + 2 = m, 4*o - 2 = m. Are v and m unequal?
False
Let q(i) = 3*i + 12. Let j be q(-6). Which is bigger: j or -7?
j
Let p be 1/((-2)/(-6)*1). Let l = 2 + p. Suppose l*w + 26 = s + 2*s, 0 = -3*s - 4*w - 10. Which is smaller: 1 or s?
1
Let t = 0.39 - 0.49. Do -23 and t have different values?
True
Let j(h) = h + 1. Let d be j(-4). Let b be 4/(-10) + (-118)/5. Let s be ((-2)/d)/(4/b). Which is greater: s or -3?
-3
Let y(l) = -l**2 - 3*l + 5. Suppose -2 - 2 = t. Let w be y(t). Which is greater: w or -1/6?
w
Let t be (16/(-14))/2 + (-4)/(-7). Is 3/10 at least as big as t?
True
Let t = -1086/7 + 154. Which is smaller: t or -1?
t
Let h = -56 - -64. Which is bigger: h or 6?
h
Let n = -88 - -70. Is -0.2 != n?
True
Let q be (6 - (-1 - 1))/2. Suppose q = 4*n + 12. Which is smaller: -1/5 or n?
n
Let a be 3/(-103)*10/165. Let z = -14721/4532 + a. Which is smaller: -4 or z?
-4
Let m = 0.112 + 1.888. Is m smaller than -0.9?
False
Let h = -53/35 + 1/70. Suppose -u = 2*u - 15. Suppose -u*w + 3*g = 6, -3*w - g = 1 + 11. Is h > w?
True
Let q be (15/6)/(((-2)/(-4))/1). Which is bigger: 7 or q?
7
Suppose p + 6 = 3. Let m = -6.3 - -6. Let o = m - -0.2. Which is greater: p or o?
o
Let r be (-14)/(-21) + 1/(-6). Which is smaller: r or 0?
0
Let k be ((-268)/(-8))/(6 - 0). Let r = k + -17/6. Which is smaller: r or 4?
r
Let b = 7644 + -46091/6. Let y = -77/2 - b. Which is greater: -2 or y?
y
Let i(o) = 2*o**2 + 4*o + 3. Let t be i(6). Let p be 6/27 + (-31)/t. Let a = -24 + 24. Are p and a unequal?
True
Let k = 30/221 + -1/17. Which is greater: k or 1?
1
Let w = 51 + -106. Which is bigger: w or -54?
-54
Let q be (-21)/(-6)*8/14. Let m(a) = a**2 - 3*a + 3. Let i be m(q). Which is smaller: i or 3/2?
i
Let m = -4 + -5. Are -9 and m unequal?
False
Let u = 91 + -92. Which is smaller: u or 0?
u
Let y = 6 - 5. Let m be (-5)/(-4) + y + -2. Are m and -3/7 nonequal?
True
Let u = 0.03 + 0.97. Let p = -1.1 + u. Is 2 at most p?
False
Let v(g) = g**2 + 9*g + 9. Let r be v(-7). Do -5 and r have different values?
False
Let z = 6.5 + 0.5. Let f = -9 + z. Is 0.2 >= f?
True
Let y(r) = -r**3 - 4*r**2 + r + 4. Let a be y(-4). Let s = -55 + 52. Is a != s?
True
Let w = -4 - -3. Let c = 1 - w. Is 2 not equal to c?
False
Let q = 8 + -5. Suppose 2*f = -q*l + 9, 3*l = -5*f + 8*l + 10. Suppose 2*c - f = -y, -c = 2*c. Which is smaller: y or 2?
2
Let u be (5 - 4)/(-1 - -2). Let a(g) = -7*g**2 + 5*g + g**3 - 1 + g + 2 + 0*g. Let y be a(6). Is u less than y?
False
Let x be -1 + -1 - (-1 - 2). Let q be (2/1 - 1)*x. Suppose -4*a + 0 = -4*n - 4, 4*a - 9 = -n. Is n equal to q?
True
Let q be (-5)/(-10) - 3/(-6). Let t be 4/((-4)/q) + -4. Let g be ((-3)/2)/((-3)/(-8)). Which is smaller: g or t?
t
Suppose 7*u - 2*u - 45 = 4*z, -2*u + 4*z = -30. Is 4 < u?
True
Let s = -28 - -57/2. Let i be 16/24 - (-8)/6. Is i greater than s?
True
Suppose 2*y - 10 = -3*y. Let f be 8/(-16) + 1 + -4 + 4. Is y greater than f?
True
Let d(w) = -w**2 - 7*w + 7. Let i be d(-6). Suppose -4*g + 11 + i = 0. Let f be ((-4)/g)/(6/9). Is -3/5 != f?
True
Let a(o) = -o**3 - 6*o**2 - 9*o - 3. Let d be a(-4). Is -4/31 at most d?
True
Let h = 1 + -0.9. Let y = 0.2 + 0. Which is bigger: y or h?
y
Let a(q) = -q**3 + q**2 + q + 30. Let b be a(0). Is b > 31?
False
Let b be (0 + -1)/(0 + (-1)/(-65)). Do -65 and b have the same value?
True
Let z = -4.85 + -0.15. Let a = z + 16. Which is greater: 0.1 or a?
a
Let q be (1/(-3))/(20/(-36)). Is 2 bigger than q?
True
Let q = -17 + 10. Suppose 0 = 4*y + y + 40. Which is greater: q or y?
q
Suppose -4*v = -0*v + 16. Which is smaller: v or -2?
v
Let v be ((-52)/(-20) - 2) + (-423)/555. Is v > 0?
False
Let i = -36 - -35. Which is smaller: 6 or i?
i
Let h be 4/6 - 2169/135. Let q = -179/10 - h. Is q at most as big as -4?
False
Let u = 10 + -32/3. Which is smaller: u or -2?
-2
Let c(x) = x**2 + 9*x - 9. Let v be c(-10). Suppose -t - 5*a = -3*t + v, -2*a + 2 = -2*t. Is -1 != t?
True
Suppose 13*i + 14 + 25 = 0. Is -12/5 equal to i?
False
Suppose g = -4*g. Let x = 17 + 116. Let l = 2529/19 - x. Is l less than or equal to g?
False
Let k be -1 - 2 - 81/(-36). Is k < 5/6?
True
Let m = -85/3 - -28. Which is smaller: m or 0?
m
Suppose -3*h = -4*u + 29, 6 = u - h - h. Which is smaller: -2/5 or u?
-2/5
Let u = -535/11 - -49. Is -1 equal to u?
False
Let w(s) = -s**3 - 11*s**2 - 10*s - 1. Let f = 15 + -25. Let n be w(f). Let d be ((-2)/28)/(1/2). Is d bigger than n?
True
Suppose d + 14 = 2. Which is greater: d or -11?
-11
Let h be 1/(-1)*(1 - 2). Let r(a) = -2*a + 12. Let q be r(6). Which is smaller: q or h?
q
Suppose -2*i = -3*k + 1 - 0, -4*i = -4*k. Are i and 6 unequal?
True
Suppose 0 = -h, b + 5*h + 67 = 6*h. Are -67 and b nonequal?
False
Let j be 1 - (27/6)/3. Suppose 3*a = 5*a - 6. Suppose a*k = -6, k + 0 + 2 = -5*m. Which is smaller: m or j?
j
Let k be 12/(-39) - (1 - 1). Let u = 18/631 - 4956/41015. Let x = u + k. Is x less than or equal to 0?
True
Suppose 0*o - 3*o - k = 26, -2*k - 3 = -o. Let b = o + 7. Is b at most as big as -1?
False
Let c(g) = -g**2 + g + 1. Let i be c(2). Let s = 0.5 - -0.6. Which is smaller: i or s?
i
Suppose -2*y - 2 + 4 = 0. Suppose -3*o + 3*m - 7*m = 0, -y = o + m. Let w be 3/6 - 2/o. Which is bigger: w or 0?
w
Suppose 6 = -r + 9. Is 3 at least r?
True
Let s be 14/((-1)/2*-6). Let c be (8/(-20))/(12/(-150)*1). Which is smaller: s or c?
s
Suppose 0 = -5*n + 4*m + 33, -m - 22 = -2*n - 2*n. Let y(w) = w**2 + 2*w. Let b be y(-2). Is b not equal to n?
True
Let k = 89/1768 - -1/136. Which is bigger: -1 or k?
k
Suppose -5*k + 10 = -n - 0, 4 = -2*n 