?
i
Suppose -2 = -5*z - 17. Suppose 0*h - h = -29. Suppose -2 + 0 = 4*m - 2*x, 3*m + h = -4*x. Is m <= z?
True
Suppose 4 = -a - 4. Which is smaller: a or -9?
-9
Let v = 0.65 + -0.31. Let a = -0.06 - v. Which is smaller: -0.1 or a?
a
Let z(b) = b**2 + 9*b + 2. Let p be z(-9). Let q be (1 - (p + -3)) + -5. Let c be 1 - (0 + q/3). Do c and 3 have the same value?
False
Let g = 5 + -4.7. Let f = -0.7 - g. Suppose -3*i = -3*x - i + 7, -2*x + i = -4. Are f and x equal?
False
Suppose -17 = 3*f + 4. Which is bigger: f or -8?
f
Let q be (1 + 0)*(0 + 29). Suppose 0 = -r + 5*j + q, -4*j - 29 = -9. Suppose t - r*t = 9. Do -3/2 and t have different values?
True
Let m be (-6)/(-4)*(-280)/(-30). Which is bigger: 13 or m?
m
Let h(l) = -l**3 + 3*l**2 + 4*l - 1. Let c be h(4). Let u be c/5 + (-44)/(-170). Are u and 1 non-equal?
True
Suppose 5*r + 10 = -2*x + 1, 3 = -5*r + x. Are -2 and r equal?
False
Let l(o) = -o**3 + 8*o**2 - 7*o + 2. Let f be l(7). Let j = f - -2. Is 4 at most as big as j?
True
Let w(c) = -2*c - 4. Let o be w(-4). Let z(l) = -3*l + l**2 + 0 + 4 + 14*l. Let f be z(-11). Is f at least as big as o?
True
Suppose -5*i + 3*g + 28 = 0, -2*i - 2*g + 5 = 3*g. Let l = i + 17/2. Let w = 79/6 - l. Is -1 greater than or equal to w?
False
Suppose 5*c + 46 = -3*z, 0 = -c - 3 - 2. Let k(j) = j**3 + 8*j**2 + 6*j - 3. Let r be k(z). Suppose 2*d = -2 + r. Which is smaller: d or -1/5?
-1/5
Let m = 0.02 + -0.02. Let q = 1 - m. Which is greater: q or 0?
q
Let n = -71/26 - -16/13. Is -1 != n?
True
Let y(n) = n**2 + n - 1. Let x be y(1). Let v be 3*(2 + (-12)/9). Let o = x - v. Which is smaller: 2/5 or o?
o
Let s be (-2 + 0)/(-8)*(-14 + 8). Is -13 at most s?
True
Let i = -5 - -3. Let b = -2 - i. Let v be ((-2)/(-6))/(1 - 2). Is b >= v?
True
Suppose g + 3*g = 8. Let j(k) = 2*k + 1. Let f be j(1). Suppose -f*r - 21 = 2*c + 2*r, 5*c - 25 = 3*r. Is c <= g?
True
Let p = -7 + 15. Suppose -y - 5*q - 18 = -0*y, 2*y = q + p. Let h be 1/(y - (-7)/(-4)). Is 3 not equal to h?
True
Let r be (11/(-66))/((-4)/6). Which is smaller: -1/2 or r?
-1/2
Let q = -11 - -12.3. Let g = 2.4 - q. Let y = g + -1. Is y equal to 0.1?
True
Let g = -3 + -3. Let f = 1 + g. Is f less than -1?
True
Let p = -3 + 2. Let y = p + 1. Let b = -0.1 - y. Which is smaller: -2/9 or b?
-2/9
Suppose 3*d + 2*d + 240 = 0. Let y = 143/3 + d. Let r = -0.2 - -0.3. Which is smaller: r or y?
y
Let u = -20 - -19.9. Is -0.5 greater than or equal to u?
False
Let q be 104/336 + (-4)/(-14). Let i = -2/21 + q. Is i bigger than 2?
False
Suppose 2*c + 176 + 111 = x, 2*x = -5*c - 713. Let d be c/110 - (-1)/(-5). Which is smaller: d or -2?
-2
Let f be ((-8)/(-310))/((-2)/5). Which is greater: f or 1?
1
Let x = 3 - 28. Which is bigger: -22 or x?
-22
Let p = -427/4 + 107. Which is smaller: 7/5 or p?
p
Let y(u) = -2*u**3 - 4*u**2 - 8. Let i(s) = -s**3 - 2*s**2 - 4. Let l(g) = 5*i(g) - 2*y(g). Let v be l(-3). Let h = 0 - v. Are h and -6 non-equal?
True
Let r(t) = t**3 - 3*t**2. Let c be r(3). Let y = 42 + 5. Let i = -241/5 + y. Does c = i?
False
Let i = 7 - 9. Let y be 0/((i/(-1))/(-1)). Is 0 > y?
False
Let w = 25.88 + -23.9. Let s = w + 0.02. Is 3 >= s?
True
Let i(o) = o + 1. Suppose -3*n - j = 4 + 9, 3*n + 7 = -4*j. Let v be i(n). Which is smaller: v or -6?
-6
Let r be (4/6)/(10/45) + 2. Which is smaller: r or 1?
1
Suppose 8*h = 9*h + 7. Are -3 and h non-equal?
True
Let m(u) = -u**3 - 5*u**2 - 3*u + 4. Let t(b) = -b - 13. Let s be t(-8). Let a = s - -1. Let j be m(a). Which is smaller: j or 1?
j
Let n(u) = u - 5. Let v be n(6). Let s be (3 - v)*1/5. Suppose 4 = m + 3. Do m and s have the same value?
False
Let j(d) = -d**3 + 3*d**2 - 2*d + 3. Let r be j(2). Suppose 4*m + 2*p = -6, -m + r*p + 6 = p. Is m at most as big as -2/19?
False
Suppose -5*f + 5 = -0*f. Suppose 0 = -5*x - t + 13, -8 = 5*t - t. Let k be 2/f - x - -1. Which is smaller: k or 1/2?
k
Let s = -3 + 10/3. Let c = -6 - -8. Suppose c*i - 3*i = 0. Which is bigger: s or i?
s
Let k(b) = -b**3 + 9*b**2 - 8*b - 6. Let l be k(8). Let y be ((10/l)/(-5))/(-14). Let n = -34/105 - y. Are n and 0 nonequal?
True
Let k = -8.106 + 0.106. Do k and -8 have different values?
False
Let k be (((-6)/5)/1)/(12/30). Let r = 53 - 32. Suppose 0 = 2*t - 6, -3*g + 3*t - r = -t. Is g greater than or equal to k?
True
Let n = 1 + 38. Suppose 0 = -2*o + 5*o + n. Which is smaller: o or -12?
o
Let y be 8/(-32) - 18/(-8). Suppose -5*r - z = -y*r + 16, -r - 2*z - 7 = 0. Let l be -2 + r/((-10)/4). Which is bigger: -7/5 or l?
l
Let t(l) = l**2 - 2*l + 2. Let h be t(2). Is 7/12 at least h?
False
Let o = 0.3 - -1.7. Suppose -3*u - x = -1, -4*x - 3 + 7 = u. Is o bigger than u?
True
Let f be (-9)/(54/(-4))*-60. Is f at most -40?
True
Let y = 1.91 - 2. Is y greater than or equal to 1?
False
Let j be (-2)/3 + (-10)/(-24). Does j = 0?
False
Suppose 2*x + 2 = -2. Let q = -1 - x. Let c = -10 - -10.2. Does q = c?
False
Let l(p) = p**2 + 7*p + 4. Let u be l(-7). Let w = -6 + u. Which is bigger: -2/3 or w?
-2/3
Let m be (12/(-10))/((-6)/20). Suppose 2*o + m = 0, -2*g + 3*o + 14 = -6*g. Is g > -2?
False
Let s(g) = 2*g - 7. Let v be s(3). Which is smaller: v or 2/79?
v
Suppose s - 3*a + 3 = 18, -5*s + 39 = -3*a. Let x = -9 - -16. Is s at most as big as x?
True
Let o be (-91)/7*1/(-1). Let g = -55/4 + o. Is g at most 0?
True
Suppose 0 = -4*l + 9 + 15. Let o = -4 + l. Let g = o - -1. Is g bigger than 2?
True
Let u(q) = q**3 + 3*q**2 + 1. Let t be u(-3). Are -6/17 and t non-equal?
True
Let x(g) = -g**3 - 2*g**2 - g + 2. Let r be x(-2). Suppose -3*z - r = -2*z. Which is smaller: -5 or z?
-5
Let j be (12 - 0/2) + 1. Is 13 >= j?
True
Suppose -2*a - 18 - 28 = -2*q, 39 = 2*q + 5*a. Let i be (q/143)/((-1)/(-2)). Which is smaller: -1/4 or i?
-1/4
Suppose -4*n = -12, 3*k - 4*n = -7 - 17. Let u = -1 - 3. Is k smaller than u?
False
Let s(y) = y + 41. Let r be s(-19). Is 0 at most as big as r?
True
Let t be -2 - (2 - (5 + -3)). Which is smaller: t or 1?
t
Let v(j) = 7*j + 2. Let u be v(-2). Let a be ((-1)/3)/((-4)/u). Let q be (-1)/(-3) - 1 - a. Is q <= 1?
True
Suppose 8 = -4*x - u - 7, 5*u = -5*x - 15. Let m be (x/6)/(182/(-21)). Which is smaller: m or -1?
-1
Suppose -3*x - 3*m = 48, -24 - 12 = x + 5*m. Which is bigger: x or -9?
-9
Let v be (-7)/(28/12) + 14. Is v != 8?
True
Let a be (-2)/(-5) + 14/(-10). Let k(v) = -v**2 + 9*v - 1. Let p be k(9). Let o = a + p. Is -3 greater than o?
False
Let q = 0.06 + 0.94. Which is greater: -1 or q?
q
Let z(s) = 5*s**3 - 2*s**2 - s - 4. Let f(x) = -6*x**3 + x**2 + x + 5. Let n(k) = -4*f(k) - 5*z(k). Let r be n(6). Are 11/2 and r nonequal?
True
Let p(s) = -s - 2. Let f be p(-5). Let x(l) = -l + 5. Let v be x(4). Suppose -4*j - v = q + 2, f*j - 4*q = -26. Which is greater: -1 or j?
-1
Let l = 99 + -991/10. Let r = -4 + 3. Is r smaller than l?
True
Let h = 0.35 + -0.25. Which is smaller: 0 or h?
0
Let m(p) = -p**3 - 3*p**2 - 3*p - 2. Let x be m(-2). Let s be (-21)/(3 - 6) + -3. Let k be s/14 + x + 0. Is 0.1 greater than k?
False
Suppose 2*r + 1 = r. Let d = r + 4. Is d smaller than 1?
False
Let h = 41 + -27. Suppose 5*o + 3*b = 15 + 26, -2*b + h = 2*o. Which is smaller: 9 or o?
9
Let v(n) = -n**3 - 5*n**2. Let a be v(-4). Does a = -16?
True
Let c = 47 - 33. Let x = -10 - -24. Does c = x?
True
Suppose 0 = -5*g - 3*f + 20, -3*f + 0*f + 8 = 2*g. Suppose 2 = 2*m, -2*m - 2 = -0*z + g*z. Is z < -2?
False
Let c = -2 + -5. Let n = c + 6. Is 2/23 greater than or equal to n?
True
Let w be 1 - 0 - 14/36. Let r = w - 7/9. Let m(g) = g**3 + 3*g**2 + 3*g + 2. Let b be m(-2). Is b at least r?
True
Let c be (0 + -3)/(18/(-12)). Let v be -28*2/(-30) - c. Which is smaller: v or 1?
v
Let p be 4/(-6) - 582/(-18). Let i = p + -32. Is i at most as big as 1?
True
Let b = 0.057 - -26.943. Let v = -26 + b. Is -5/2 not equal to v?
True
Let x = -8 - -1. Let w = 6 + x. Which is greater: -7 or w?
w
Let p = -2/19 - -33/133. Which is bigger: -1 or p?
p
Let k = -2.5 - -2.45. Which is greater: k or 1?
1
Let o = 23358/7 - 3330. Which is greater: o or 8?
8
Let x = -26/7 + 30/7. Which is bigger: x or -1?
x
Let d = -0.8 - 0.2. Suppose 97*l - 99*l + 12 = 0. Which is bigger: d or l?
l
Let u(v) = 2*v + 58. Let j be u(-35). Which is greater: -7 or j?
-7
Let t = 1029 - 87467/85. Let l = t - 47/170. Which is bigger: 1 or l?
1
Let f = 1