-1 or i?
-1
Suppose 4*y + 2 = -2*a, -17 = 4*y + 2*a + 3*a. Let z(l) = l**3 + 1 - y*l**2 + l + 3*l**2 + l**2 - 3*l. Let b be z(-3). Which is smaller: b or 2?
b
Let v = 0.05 - 3.05. Let k = -11 - -10.8. Is v greater than k?
False
Let x be (-4)/(-2)*9/(-30). Let z = 1.1 - 0.1. Which is smaller: x or z?
x
Let f be (-1)/3 + (-2)/30. Which is smaller: f or 1?
f
Let a = -0.038 - 1.162. Is 2/7 less than a?
False
Let z be 3 - 7/(28/8). Is 1 smaller than z?
False
Let s be 58/(-4)*12/(-162)*-6. Which is smaller: s or -5?
s
Suppose -q - 7 = 2*h, -21 = -3*q + 2*q + 5*h. Which is bigger: 2/49 or q?
q
Let x(k) = -2*k + 15 + 0 + 4. Let d be x(9). Which is bigger: d or -1/12?
d
Let u = 22.4 - 28. Let l = -8.55 - u. Let d = -0.05 + l. Which is bigger: 2/5 or d?
2/5
Let w(t) = 8*t - 1 - t - t. Let c be w(1). Let u be 19/4 - (-2)/8. Is u != c?
False
Let j(g) = -g**3 - 13*g**2 - 11*g + 12. Let f be j(-12). Let z be 1 + f + (5 - 5). Which is bigger: -0.2 or z?
z
Let y = 4283 + -94207/22. Let r = y - 4/11. Let t = -0.2 - 1.8. Which is smaller: t or r?
t
Let a = -587/221 - -33/13. Let d be 1/(-6)*46/17. Let o = a - d. Does 0 = o?
False
Let j = -67/105 - 1/35. Is -1 bigger than j?
False
Let m be (-4)/(-14) + 12/7. Let f be 2/m*(-1 - -2). Let y be (-24)/(-18) + f/(-3). Which is greater: -0.2 or y?
y
Let a = 2 - 0. Let n = 1 + a. Is n equal to 3?
True
Let t = 1 + 2. Let k(s) = -s**2 + 4*s - 4. Let u be k(t). Let v = 108 - 110. Is u at least v?
True
Let m(y) = y**2 - 6*y + 5. Let r be 33/7 - 2/(-7). Let z be (2 - 1)*(0 + r). Let p be m(z). Is p at most as big as -2/7?
False
Let h(y) be the first derivative of y**4/4 - 2*y**3 + 1. Let t be h(6). Which is smaller: t or -2?
-2
Suppose 0*q - 3*q + 24 = 3*h, -8 = -4*h + 2*q. Let m be (-276)/(-60) - (-4)/10. Is h equal to m?
False
Let g be ((-4)/18)/((-580)/(-15)). Is g at least -0.1?
True
Let i = 124 + -122. Which is bigger: 7/6 or i?
i
Let l = 24 - 24.3. Is l less than or equal to 0?
True
Suppose 0 = 5*i - 106 - 14. Let y be (8/i)/((-2)/6). Which is greater: y or 1/6?
1/6
Suppose -j + 20 = 4*j. Suppose -j*n + 3 = -9. Is n less than or equal to 3?
True
Let o = 323/555 + 2/111. Let m be 0*-2*(-1)/(-4). Which is greater: m or o?
o
Let y(d) = 13*d. Let b be y(1). Suppose 4*x = 3 + b. Let r be (x/10)/(5/(-25)). Do r and -1 have different values?
True
Let w = 3 + -6. Let q be (-6)/w - 1/1. Which is smaller: 0 or q?
0
Let g = -10 - -10. Let u = -3 + 2. Let t(q) = -q**3 - q**2 + q. Let r be t(u). Is r at least as big as g?
False
Let c(p) = -p**2 + 5*p + 2. Let o be c(5). Let y be (-5)/(-2)*o/(-10). Suppose 4*d - 16 = 4*r, -4*r - 9 = -5*d + 7. Is d less than or equal to y?
False
Let n be (-36)/(-5)*25/2. Suppose 4*j + 16 = w + n, 5*j = 4*w + 87. Suppose -4 = -z, -3*x + 0*z + 4*z = j. Which is smaller: x or -2?
-2
Suppose 6*f - 9*f = 21. Is -6 equal to f?
False
Let m be -1 + 1 + 1 + -1. Suppose -p + 6 = 2*p. Suppose m = z + p*z. Which is smaller: 1/6 or z?
z
Suppose 0 = -w - 0*w + 1. Suppose -19 = -j - w. Let n be 10/j + (-6)/27. Which is smaller: n or 2?
n
Suppose 0 = h - 5, -3*p - 2*h - 14 = -6*h. Suppose -c + 9 = p*c. Suppose j = a - 0*a + c, j = -4*a - 17. Which is bigger: -1/7 or j?
-1/7
Suppose -b = 5*c - 15, -31 + 7 = -4*b - 2*c. Let r be 1 + 0 - 1/b. Let i be 0/(-1) + 2/1. Which is smaller: i or r?
r
Suppose -27 = 5*s + 3. Let p = s + 5. Which is smaller: p or -2?
-2
Let v = -360 + 17279/48. Which is greater: v or 0?
0
Suppose -16 = -5*o + o. Suppose 0 = -y - 0*y + h - o, -3*y + h - 6 = 0. Let g(b) = b**2 + 5*b - 6. Let v be g(-6). Which is smaller: y or v?
y
Suppose 2*m = 3*m. Let x be (10/(-4) + 3)*m. Is 3/4 at least x?
True
Let t be (1482/(-10))/((-126)/(-45)). Let j = 53 + t. Which is greater: j or 1?
1
Let w(i) = -39*i**2 - 2*i - 1. Let n(r) = 40*r**2 + 2*r + 1. Let z(o) = -4*n(o) - 3*w(o). Let q be z(-1). Let d be 16/q*(-6)/(-4). Which is bigger: d or -2?
d
Let n be 1/((-2)/((-60)/11)). Which is bigger: 3 or n?
3
Let y = 24/5 - 23/5. Let s be ((-10)/(-4) - -4)*-2. Let m = s - -13. Which is bigger: m or y?
y
Let o = 3532/5 + -709. Are o and -2 equal?
False
Let l = 55/1968 - -1/48. Let h = 45/82 - l. Suppose -g - 6 = -4*g. Is h at least g?
False
Let n = -259 - -65010/251. Let t = n - -495/1757. Is t smaller than 0.2?
False
Let s = 3.7 + -4. Which is bigger: s or 0?
0
Let j = -11/4 + 3. Let c = 3 - 3.2. Which is smaller: j or c?
c
Suppose -5*d - 8 = -9*d. Is 2/7 > d?
False
Suppose 5*s - 125 = -3*g, 5*s - 61 - 39 = 2*g. Which is smaller: s or 20?
20
Let j = 27 - 27. Which is greater: 3/4 or j?
3/4
Let j(d) = 4*d + 31. Let m be j(-7). Does 3 = m?
True
Let o = 71 - 66. Which is smaller: 1 or o?
1
Suppose 2*c + 66 = -c. Let s = 65/3 + c. Let u = -1/9 - s. Is u >= 1?
False
Let p = -1364351/87 + 15682. Let v = p - 4/29. Is v > 0.2?
False
Let a be ((-7)/3)/((18/(-6))/18). Are a and 14 nonequal?
False
Suppose 4*o - s = -266, -2*o + 6*o + 272 = -2*s. Let j = o + 401/6. Is j smaller than 1?
True
Let w = -5 + 5. Which is greater: w or 2/3?
2/3
Let f be (-4)/6 - 223/(-1680). Let b = 63409/240 + -1585/6. Let z = f - b. Is 0 at most as big as z?
False
Let l(u) = u**2 + 6*u. Let b be l(-6). Suppose 80 = 5*o - g - g, b = -g. Suppose -j - 5*t - 20 = -0*j, -o = 2*j + 4*t. Which is greater: j or 2/25?
2/25
Let y(r) = 35*r**3 + 1. Let l be y(1). Which is smaller: 38 or l?
l
Let v be (-1)/26*(-3)/6. Let k = v - -101/156. Let w be 1/(-3) + (-33)/(-18). Which is smaller: k or w?
k
Let u(v) = 2*v + 1. Let i be u(-2). Let y(j) = -j**2 + 4*j - 3. Let q be y(4). Are i and q equal?
True
Let j be -3 + 1 - (-6 + -2). Suppose 0 = 2*p + 2 - j. Let o be (-6)/(-9)*3/p. Do o and 1 have the same value?
True
Suppose 5*d + 9 = 4*d. Let v(i) = 5*i**2 - 33*i + 9. Let j be v(6). Is d bigger than j?
False
Let z = 0 + -8. Let n be (z/(-6))/((-2)/3). Let i be n/5 + 4/10. Are i and -2/23 equal?
False
Let z = -52 - -24. Let b = z - -24.2. Let q = b - -4. Which is smaller: q or 0?
0
Let d(o) = -13*o**2 + 20*o + 18. Let u(m) = 7*m**2 - 10*m - 9. Let v(k) = 6*d(k) + 11*u(k). Let j be v(11). Which is greater: j or 0?
0
Suppose n + 14 = -n. Let y = 8 + n. Which is bigger: y or -2?
y
Let r = 245 - 28. Let o = r - 1957/9. Which is bigger: -0.1 or o?
-0.1
Let r(d) = -d. Let t be r(-2). Let c be 10/(-6) + t/3. Let j be -1 - -1 - c/7. Is j less than or equal to 1?
True
Suppose 0 = 5*h - 0*h - 5*d - 40, -h - d + 10 = 0. Let p = -7 + h. Suppose -10 = -3*x + p. Is 2 at most as big as x?
True
Let i(w) = -21*w**3 + 1. Let t be i(1). Let h be (92/(-10) + 8)*(-100)/(-6). Is t not equal to h?
False
Let o(a) = 6*a. Let v be o(1). Let h be (-7)/v - 10/(-15). Is -1 greater than h?
False
Let g = -20/33 + 101/330. Let t be (-2 - (-5 + 2))/1. Which is smaller: t or g?
g
Let x be 3 - -13 - -3 - -1. Is 21 bigger than x?
True
Let v = -0.28 - -0.2. Let q = -1 + 0. Is q <= v?
True
Suppose 10*f = 244 - 74. Is 17 < f?
False
Let h(x) = x - 1. Let v be h(-1). Let n = v + 4. Suppose 0 = -2*y - 2*r, -5*y = r + 2*r - 2. Is y != n?
True
Let v = -30.58 + -0.42. Are 0 and v nonequal?
True
Suppose -3*b + 1 + 5 = 0. Suppose 3*d - 5*d + 3*p = b, d + 5*p = -1. Which is smaller: 0 or d?
d
Suppose -57 - 11 = 4*j. Let f = 21 + j. Is 2 != f?
True
Let k = 70 - 93. Which is bigger: k or -24?
k
Let k(b) = 3*b**3 + 11*b**2 + 10*b + 4. Let r(y) = y**3. Let o(v) = -k(v) + 2*r(v). Let t be o(-10). Which is smaller: t or -6?
-6
Let q = 0.7 - -0.3. Let u = -57 - -54. Which is bigger: u or q?
q
Suppose 0*m - m - 5 = 0. Do m and -1/2 have the same value?
False
Let q = -2.18 + 0.18. Which is bigger: -1/2 or q?
-1/2
Let z(b) = b**3 - 5*b**2 + 7*b - 12. Let p be z(4). Let u = 573/5 + -115. Is u < p?
True
Let q(a) = -4*a + 0*a - 2*a - a - 3*a**2. Let p(w) = -7*w**2 - 15*w. Let b(x) = -2*p(x) + 5*q(x). Let g be b(-5). Are g and 0 nonequal?
False
Let x = -0.08 + -0.22. Which is smaller: -0.4 or x?
-0.4
Suppose 2*i + r - 7 = -2*r, 3*r - 13 = -5*i. Let q be 6/11*4 - i. Which is bigger: q or 1?
1
Let a = 19/52 + -3/26. Let n be ((-2)/(-12))/((-1)/(-2)). Which is smaller: a or n?
a
Let n(r) = -2 - r**3 + 2*r - 4*r**2 - 2 + 3*r. Let k = 12 - 17. Let t be n(k). Is t bigger than -5?
True
Suppose 0 = -4*q - 178 + 230. Which is smaller: 3/10 or q?
3/10
Let n(k) = 3*k + 10. Let j be n(-6). Let x(g) = 3*g + 2. Let y be x(-3). Which is sm