o 0?
True
Let n(h) = h**3 - 4*h**2 + h - 5. Let j be n(4). Let l = 6401/14638 + -8/563. Let k = -12/13 + l. Which is smaller: k or j?
j
Let c(x) = x**3 + 6*x**2 + 4*x - 7. Let y(t) = -t**2 - 2*t + 3. Let v be y(-4). Let o be c(v). Is -2 > o?
False
Suppose -c = -0*c. Suppose -r = -c*r - 4. Suppose 5*u - 19 = -r. Is u greater than or equal to 4?
False
Let x(o) = -10*o + 61. Let q be x(12). Which is smaller: q or -117/2?
q
Let g = -12/15851 - 2234571/554785. Let d = g - 6611/140. Let q = -51 - d. Which is greater: 0.2 or q?
q
Let y = -0.5 - 0.1. Let k = y + 0.8. Is k greater than 0.2?
False
Let s(p) = -p**3 - 4*p**2 - 4*p - 5. Let n be s(-4). Let f be ((-3)/n)/(18/12). Is f greater than 1?
False
Let i(m) = -m**2 - 6*m - 1. Let l be i(-5). Suppose 2*d = -0*d + l. Suppose -1 = r, 2*b + 2*r + d = b. Is b smaller than -2?
False
Suppose 4*i = -4*i - 2*i. Let s be (1/(-3))/((-46)/12). Which is bigger: s or i?
s
Suppose 4*n + 0*n - 5*c = -23, n + 4*c = -11. Which is smaller: 1 or n?
n
Let y = -12 - -14. Which is greater: y or -0.09?
y
Let l = 32 - 8. Suppose -v = -4*p + l, 4*v - 4*p = -38 - 10. Let c(n) = n + 9. Let r be c(v). Which is bigger: 0 or r?
r
Suppose 4*z + 0 = 5*q + 10, 20 = 2*z + 5*q. Let n(r) = -2*r + 9. Let c be n(z). Which is bigger: c or -1/9?
-1/9
Let u be 21/(-36) + (-2)/(-6). Let o(z) = -z - 3. Let x = -15 - -11. Let f be o(x). Is f smaller than u?
False
Let t = -37 + 34. Is t equal to -15?
False
Let g = -60 + 61. Is g greater than -1?
True
Let m be (-2)/(-9) + 49/(-126). Let t = -2 - -3. Let s be 0 + 2/3*t. Which is smaller: m or s?
m
Suppose 0 = 2*t - 3*t - 17. Let m = t - -28. Which is bigger: m or 10?
m
Suppose 0 = -3*w - w + 24. Is 4 < w?
True
Let r = 0 + 2. Suppose -b - r = b. Which is greater: 0 or b?
0
Let a be 72/(-30) + 4/10. Let n be ((-2)/5)/(a/(-10)). Is n <= -10/7?
True
Let a = -213 - -214. Which is smaller: -2/215 or a?
-2/215
Let z = -23 - -3. Let n be (1/(-4))/(5/z). Is 8 bigger than n?
True
Let h = -0.6 + -0.4. Suppose 4*k - k + 35 = 5*s, 4*s - k - 21 = 0. Let n be (5/(10/s))/4. Is n smaller than h?
False
Let p be (-6 + 7)/((-1)/1). Let n = -2 + p. Which is smaller: n or -4?
-4
Let p = 7 + -5. Let z = 113 - 112.9. Is p < z?
False
Let i = -0.28 + -1.72. Suppose 0 = -3*v - v + 4. Is v >= i?
True
Let m be (-4)/(-10) - 119/510. Is m < 0?
False
Let u(k) = -2*k + 3. Let j be u(-3). Let d = j - 19/2. Suppose 2*q = t + 4 - 0, -3*q = 3*t + 12. Is d at most as big as q?
True
Suppose 2*t + 2 = -0*t + 2*j, 9 = t + 4*j. Suppose t = s + 4. Is -3 at most as big as s?
True
Let c(d) = d**3 - 7*d**2 + 1. Let v be c(7). Let w be (-4)/v - 0/1. Is w equal to -1?
False
Let s = -2 + -32. Are s and -34 equal?
True
Let q = 7 + -10. Which is smaller: q or -2?
q
Suppose 0 = 3*z - 3*v + 12, -1 = -3*v + 11. Suppose 0 = -y - z*y + 5. Is 6 greater than or equal to y?
True
Let o be ((12/2)/(-3))/2. Let z = 4 + o. Let c be (-2)/(-4)*(z + -1). Is c at most -2/7?
False
Let u be (-3)/(-2 - -3) + 2. Suppose z = 3*z + 6. Which is bigger: u or z?
u
Let x be 3/(-2) + (-68)/8. Do -7 and x have the same value?
False
Suppose -25 = 5*n - 5. Let u be 1/n - (-3)/12. Let i(c) = c**3. Let f be i(0). Is u smaller than f?
False
Let y = 4 + -9. Let z = 5.05 + y. Which is smaller: z or 2?
z
Let o(a) = -a + 2. Let t(d) = -d**2 + 5*d + 7. Let p be t(7). Let m be o(p). Is m < 9?
False
Let n = 0 - 4. Let i be (-1)/n*(-2)/3. Which is bigger: i or -1?
i
Suppose -2*o = -3*u - 12, 4*u + 2 + 0 = -2*o. Which is bigger: u or -0.1?
-0.1
Let q(d) = d**3 - 4*d**2 - d + 4. Suppose o = -o + 8. Let r be q(o). Is r <= -1?
False
Let j be ((-2)/6)/(4/(-36)). Suppose -2*y + j*s - 7 = 1, s - 4 = 0. Which is smaller: 8/5 or y?
8/5
Suppose 0 = -2*v + 39 - 51. Let a(s) = -4*s**3 - 2*s**2 + 2*s - 1. Let b(j) = -j**3 - 2*j**2 + 3*j + 1. Let u be b(-3). Let d be a(u). Is v less than d?
True
Suppose 5*a + 1 - 11 = 0. Suppose -4*v - 3 - 14 = -3*q, -4*v = a*q + 22. Are q and -2/9 equal?
False
Let k = 1.11 - 1.2. Let g = 4.09 + k. Which is bigger: g or 1/4?
g
Let n be (2214/(-1113) - -2)/((-18)/21). Which is smaller: -1 or n?
-1
Let u = -73/28 - -20/7. Let p = -48.1 + 48. Which is smaller: u or p?
p
Let f = 29 + -14. Let c be (-20)/28*6/f. Suppose 9 = -5*x + l, 2*x - 2*l + 10 = -0*l. Is c less than or equal to x?
False
Let s(l) = -18*l**3 - 4*l**2 - 4*l - 4. Let i be s(-3). Let z = -11448/25 + i. Which is bigger: z or 1?
1
Suppose -3*l = -4*v - 37, -l + 0*l - 4*v - 9 = 0. Which is smaller: 9 or l?
l
Let n(w) = -w**3 + 6*w**2 - w + 8. Let t be n(6). Suppose 2 = 2*z - t. Is z greater than 1?
True
Let k = -33 - -32. Is k greater than -2/5?
False
Let i = -1.9 - -2. Is -3 < i?
True
Suppose -2*k = 3*t - 4, 3*t + t + k - 2 = 0. Let u(w) = w**2 + w + 1. Let r be u(-1). Let v be (0/(-2))/(-1*r). Is t equal to v?
True
Let q = 5.89 - -0.11. Let s = 3 - q. Is s less than 2?
True
Let g = 189 + -472/3. Let y = -32 + g. Is y greater than or equal to 0?
False
Suppose 0*j - 4*j = 4*d + 16, 0 = -j - 4. Suppose -5*r = -2*w - 9, -4*r + w - 5*w + 24 = d. Suppose 0 = -k + r. Which is greater: 2 or k?
k
Suppose -4*s = 3 + 5. Let l(t) = t**2 + 7*t + 6. Let d be l(-5). Let x be d/(-20)*10/(-4). Is s < x?
True
Suppose 0 = 5*l + 5. Which is bigger: -1/9 or l?
-1/9
Let a be (-7)/(-4) - (-19)/76. Let j = 3 - a. Let r be (6/33)/(2/3). Which is smaller: j or r?
r
Let i(v) = 5*v + 3. Let y be i(-4). Which is smaller: y or -18?
-18
Let c be (10/(-135))/((-4)/96). Is 2 equal to c?
False
Let m be (-7)/6510*-3715 + (-4 - 0). Which is bigger: -1 or m?
m
Let v be ((-5)/(-3))/((-4)/6). Let c = 3 + v. Which is greater: 0 or c?
c
Let g = 0.107 - 5.107. Let j = 0 - 0.1. Is g > j?
False
Suppose -d - 6*o = -o + 17, -2*d - 3*o - 6 = 0. Let h be 0 + d - (-58)/(-18). Are 1 and h non-equal?
True
Let s(d) = -d**2 - 10*d - 2. Let c be s(-10). Which is greater: 0 or c?
0
Suppose -5*z + 4*x - 2*x = -36, 5*z - 33 = x. Let t = -21 + 25. Suppose p = -t*h - h + 13, -4*p = -3*h - z. Does 0.2 = h?
False
Suppose -3*h + 8*z = 4*z - 3, -5*z = 5*h - 5. Suppose 0 + 2 = l - 2*n, 0 = 3*l - n - h. Suppose -4*y = -5*y - 1. Are l and y non-equal?
True
Let i be (1 - -7) + (9 - 11) - 2. Are 7 and i nonequal?
True
Suppose 0 = -2*r + 5*r - 5*u, 2*r = -u. Are r and -4/7 unequal?
True
Suppose -3*x = -8*x + 10. Let p be x/(-5) + (-16)/10. Let o be (0 - 0)/(p + -1). Which is greater: o or -1/5?
o
Suppose 4*n - 62 = -2*w - 4, 3*w + 15 = 0. Do 17 and n have the same value?
True
Suppose -5*o + 20 = -0. Suppose -o*g - 2*r + 13 = 31, -4*g - 4*r = 28. Let f be (-1)/g*(-2 + 2). Is f != -1?
True
Let j be 4/(-64)*14 - -1. Which is bigger: j or 0?
j
Let r be ((-113)/(-2))/(328/16) + -3. Which is smaller: r or -1?
-1
Let g = -93 + 49. Which is smaller: g or 1/4?
g
Suppose 3*a + 20 = -5*i, 0*a + 19 = -4*a + i. Let v be 1*a*32/20. Which is bigger: v or -7?
-7
Let t be -5*(-4)/40*(-2)/(-88). Is t > 0?
True
Let r = -169 + 841/5. Which is greater: -1 or r?
r
Let n = -0.06 - -0.06. Which is smaller: n or -1.2?
-1.2
Let x be 2/5 - (-250)/(-396). Let u = 1487/220 - 27/4. Let a = u + x. Which is smaller: a or 2/3?
a
Let a = 4.4 - -4.6. Is a at most as big as 0.6?
False
Suppose -2*a = -6, 4*l + 3*a - 16 = -a. Which is greater: l or 0.04?
l
Suppose -3*s + 15 = 2*s. Is s at most as big as -2/5?
False
Let b be (-2)/120*14/7. Which is bigger: 0 or b?
0
Let n(h) = -h**3 - 7*h**2 - h - 4. Let p be n(-6). Let f = 3465 + -13995/4. Let w = f - p. Which is smaller: 1 or w?
w
Suppose 0 = -2*m - m + 33. Let k(v) = -v**2 + 13*v - 17. Let f be k(m). Is f bigger than 4?
True
Let v = 18 - 11. Suppose -v - 1 = -4*u. Let i(p) = -2*p**3 - 2*p**2 - p. Let w be i(-1). Is u <= w?
False
Let v(s) = s**2 + 6*s + 4. Let j be v(-5). Suppose 5*i - 4*f - 11 = 3, -4*i = -5*f - 13. Let z = i + -1. Is z < j?
False
Let c = 0.1 - 1.1. Suppose -3*s = -0*s - 6. Let z be ((-48)/(-25) - s)*5. Which is bigger: z or c?
z
Suppose -2*o - 2*r = 3*r - 4, -4*r = o - 2. Let p be (-9 + 5)*o/(-12). Suppose -4*u - 5*q = -28, 5*u = u + 2*q. Which is bigger: u or p?
u
Let u be ((-2)/(-14)*-1)/(6/(-7)). Is -2/23 >= u?
False
Let b = 80 + -65. Which is bigger: 29/2 or b?
b
Let b = -165 - -2804/17. Is b smaller than 0?
True
Suppose 4*g - 3*g - 21 = 4*k, -28 = -4*g + 2*k. Suppose -t + 5*s = -6*t + 60, 0 = s - g. Is t at least as big as 7?
True
