al?
False
Let r(g) = g**3 + 2*g**2 + 2*g + 3. Let v(u) = 2*u**3 - u**2 + 1. Let p be v(-1). Let k be r(p). Is k less than -3?
False
Let i = 0.11 + -4.11. Let l = -3.6 - i. Let z = 1.4 - l. Which is smaller: z or -3?
-3
Let i = 10.7 - 10.6. Which is bigger: i or -9?
i
Suppose -12*i - 143 = -i. Is -62/5 > i?
True
Let k be (4/(-42))/(9/(-21)). Which is smaller: k or 0?
0
Let i = 2 - 3. Let s = -2 - i. Let h be ((-3)/(-9))/(1/(-2)). Does s = h?
False
Suppose k + 2 + 3 = 0, -645 = 4*u - 3*k. Let d be 3 + (u/(-9))/(-5). Let v = -4 - -6. Are v and d nonequal?
True
Suppose 5*d - 110 = c, -34 = -4*d + 5*c + 54. Let r = 16 - d. Let t be r/(-2)*1/3. Which is greater: t or 2?
2
Let v = 7/2 + -2. Let x(g) = g**3 + 13*g**2 + 3. Let r be x(-13). Suppose -7*a + 2*a - 2*d = -13, d = a + r. Is v less than a?
False
Let s = -61 - -60. Is 21 at least s?
True
Let x = -11 + 13. Suppose x*p = 10, 4*a - 8 = -p - 3. Which is bigger: -2 or a?
a
Let w(o) = o**3 - o**2 + o + 12. Let d be w(0). Let n be (423/6)/(45/d). Let t = -19 + n. Which is smaller: 0 or t?
t
Suppose 3 = -z + 2*h + 10, 0 = z + 3*h + 8. Is z at most 3/22?
False
Let c be 2/(-16) + 1 - (155 - 153). Let o(f) = -f**3 - 2*f**2 + f. Let p be o(1). Which is greater: c or p?
c
Let p(b) = 4*b**2 - b + 2. Let w be p(2). Let d be (15/20)/((-2)/w). Let a be (-10)/d + 2/(-3). Is 1 smaller than a?
False
Let s = 17 - 28. Let q = s + 11.2. Is -2 at most as big as q?
True
Let x = -1 - -1.3. Let z = -0.1 + 0.5. Let p = x - z. Is 1 < p?
False
Let q = 21 + -23. Suppose -5*b + 3*o = -35, 2*b + 0*o - 5*o - 33 = 0. Suppose t = -b*t - 15. Which is bigger: t or q?
q
Suppose -5*q + 5 = 4*i, -5*q + 18 = i - 2. Let u(r) = -r - 2. Let o be u(i). Suppose o*p = -0*p. Are p and 1 non-equal?
True
Let f = -1.1 + 1. Let a be ((-8)/(-14))/(24/84). Suppose 0*u = -a*u. Is u greater than f?
True
Let l(p) be the first derivative of -1 + 3/2*p**2 + 1/3*p**3 - 4*p. Let w be l(-4). Is -1 > w?
False
Let c = -38 - -12. Is 2 < c?
False
Let q(b) = -b**2 - 3*b. Let z be q(-4). Let p be z - -4 - (-4)/2. Is p less than 0?
False
Suppose -3*g + g - 6 = 0, 5 = 5*h - 5*g. Is h greater than or equal to -2?
True
Suppose -22*g + 23*g = 4. Let w(j) = j**2 + 1. Let v(x) = -x**3 + 3*x**2 + x - 5. Let f(y) = v(y) + w(y). Let t be f(g). Is -1 != t?
True
Suppose 0 = 5*f + 7 + 8. Which is bigger: -1 or f?
-1
Let d be (-1)/(-3) - 340/(-6). Is d at most 57?
True
Let p be (-1)/(-113)*(-14)/7. Which is smaller: p or -1?
-1
Let d be 14/(-21) - (-82)/6. Suppose 0 = -m - 4*t - 7, 0*t - 5*t - d = -3*m. Let n = 4 - 6. Is n less than or equal to m?
True
Suppose 19 = -11*u - 47. Suppose r + r - 15 = -5*y, 3*r - 5*y = -40. Do r and u have different values?
True
Let z(s) be the first derivative of 3*s**2/2 + 6*s - 9. Let o be z(-3). Is o less than -20/9?
True
Suppose 0 = 8*q - 6*q - 4. Let d = q + 0. Let s(o) = o + 1. Let f be s(d). Is f less than 5/3?
False
Let g = 20 - 35. Let l be -1*(-5)/(g/9). Let h be 18/l*(-2)/3. Is -2/7 less than h?
True
Suppose -3*u + 0*u = -42. Let o be 58/(-56) - (-4)/u. Let x = 3 + -4. Which is greater: x or o?
o
Let s be 3/9 - (3 - 2). Which is bigger: s or -1?
s
Let h = 448 - 15231/34. Which is smaller: -1 or h?
-1
Suppose 0 = 3*n - 0*n - 6. Let a(q) = 3*q**2 - q - 1. Let z be a(-1). Suppose 0 = -2*k - z*k. Which is greater: k or n?
n
Suppose -3*z + 2*z = -30. Suppose -3*o + 0*o - 3*v + z = 0, 5*o = 4*v + 14. Let y be (o/2)/(12/(-8)). Which is smaller: -1/3 or y?
y
Let l = -5 - -8. Which is smaller: 5/6 or l?
5/6
Let v(s) = 4*s + 1. Let w be v(2). Suppose -5*u + 4*f + 12 = -2*u, -3*f - w = -3*u. Let b be (u - 0) + (-5 - -3). Is -3 bigger than b?
False
Let r be (-10)/(-5)*(-2)/4. Is -18/11 less than or equal to r?
True
Let d be 2/(-4)*(3 + -1). Let g = -16 + 19. Let p be (3/((-12)/8))/g. Which is smaller: d or p?
d
Let v(q) = -2*q - 10. Let w be v(-3). Are -17/4 and w equal?
False
Let l be (-4)/(-14) + 60/(-14). Let m be 4*6*l/(-6). Suppose -m + 6 = 5*y. Is -2 less than or equal to y?
True
Let s = -34 + 35. Suppose -5*k + 10 + 9 = 3*i, -k - 4*i + 14 = 0. Let c be (-1)/(-6) + 1/k. Is c bigger than s?
False
Let n = 6 + -9. Are -3 and n equal?
True
Let x = 0.89 + -1.1. Let d = -0.11 - x. Let l = 0.2 - -0.1. Which is smaller: l or d?
d
Let x be (-9)/(-21) - 104/(-84). Which is smaller: x or 1?
1
Let l(a) = a + 5. Suppose 0 = -3*h - 9 - 6. Let y be l(h). Let c = 55/3 - 403/21. Which is bigger: y or c?
y
Suppose -u = -3*v - 19, 2*u + 4*v + 8 = -u. Suppose -u*s + 3*s - 2*g = 1, 2*s = -g - 2. Is -2/15 bigger than s?
True
Let g = 7 + -21. Is -13 at most g?
False
Suppose 6*c = c - 30. Let d be c/(-4)*36/(-27). Which is smaller: d or -1/2?
d
Let j be (8/(-24))/(3/99). Do -13 and j have the same value?
False
Let b(j) = -j**3 + 6*j**2 + 7*j - 4. Let l be b(7). Let h(q) = q**2. Let s be h(0). Which is bigger: l or s?
s
Let l be -1 - (1 - 11/5). Let g be (-1 - 51/(-20)) + -2. Let c = g + l. Which is smaller: c or 1?
c
Let l = 34 + -9. Which is smaller: l or 2?
2
Let s be (0 + 0)/(-8 + 9). Suppose -9 = -2*o - 1. Suppose -3*x = 5*j - s*j + 23, -j = -o*x. Is 0 at most as big as x?
False
Let q be 3/2*(-70)/15. Let h(t) = -t - 16. Let a be h(q). Are -10 and a equal?
False
Let t = 2.4 + -3. Let f = -0.3 - t. Is f greater than or equal to -0.2?
True
Suppose r = v - 8, 4*r - 4*v - 7 = 3*r. Let l be (174/r)/((-105)/(-3)). Let h = -3/65 + l. Are 1 and h equal?
False
Let f = -4.4 - -6.7. Which is smaller: -3 or f?
-3
Let r = 119675/43 - 2783. Which is greater: -1 or r?
r
Suppose 0 = 5*r + 20, -5*r - 2 = 2*a + 10. Let u be (-10)/21 + a/12. Suppose t = 0, 0 = d + 2*t - t. Is u less than or equal to d?
True
Suppose 27 + 8 = d. Let s = d - 12. Suppose -5*a - s = -8. Is a equal to -2?
False
Suppose -5*s + 15 = -10. Suppose 4*y = 2 + 14. Which is bigger: s or y?
s
Let b = -12.8 - -13. Which is smaller: 4 or b?
b
Suppose -4*y + 16 = -0*y. Suppose 0 = -u - y*u + 90. Let n be ((-27)/30)/(u/(-15)). Are n and 0 equal?
False
Let h be ((1 + -1)/3)/(-3). Let j be 3/(-12) - (-26)/(-24). Which is bigger: h or j?
h
Let y = 4 - 3. Let g = -294 + 2937/10. Which is bigger: g or y?
y
Let d = -0.06 + -1.94. Let a = 0 + 1. Let f = d - a. Is -1 less than or equal to f?
False
Let y = 209 + -3970/19. Which is greater: y or 0?
y
Let p = -0.398 + 2.288. Let y = -2 + p. Let b = y - -0.01. Is 0 at least as big as b?
True
Let m(b) = b**3 + 2*b**2 - 2*b - 2. Let i be m(-2). Suppose 3*n = n + 6. Which is smaller: n or i?
i
Suppose 16 = -4*r + 8*r. Let b be (-12)/16 + 1/r. Let w = 5 + -5.1. Are b and w equal?
False
Suppose -4*g - 7 = 5*a, 2*a - 5*g - 14 = 3*a. Suppose 3*r - 4*h = -24, 5*h = -5*r + h - 40. Let o be (-3)/((-4)/(r/(-2))). Is o less than or equal to a?
False
Let m = -4 + 12. Suppose -w + 4*i - m = 7, -5*i = -15. Which is greater: -4 or w?
w
Let y(l) = -3*l + 7. Let a be -3 - (-1 - (-1 + 9)). Let h be y(a). Are h and 1 unequal?
True
Let u = 16/21 - 260/231. Suppose 13 - 16 = 3*n. Which is smaller: n or u?
n
Suppose 3*x = 2*x. Let h = 0 - x. Which is smaller: -2/21 or h?
-2/21
Let m = -9.3 - -9.4. Are -3 and m unequal?
True
Let t(i) = -i - 7. Let m be t(-5). Let l be 9/(-78) + -2 - m. Let v = l + 59/286. Is v < 0?
False
Let f be 1 - 1 - 26/26. Let x = 1/4 - 3/8. Which is smaller: f or x?
f
Suppose 5*s - 2 = 3. Let v be (s/(-2))/(1/(-4)). Suppose -14 = v*i - 4*m, 5*i - m - 1 = -9. Is -3/4 greater than i?
True
Let z = 152 + -141. Let g be 36/(-10)*20/(-6). Which is smaller: g or z?
z
Let p = 3 - 2. Let v = p - 1. Let c = -3 + 5. Is c less than v?
False
Let k(a) = -a**3 - a**2 + 1. Let h be k(1). Let q = -36 - -33. Which is bigger: q or h?
h
Let g(a) = 2*a + 3. Let j be g(-6). Let b = j - -11. Which is bigger: b or 3?
3
Let o be (2 - 1)*51/17. Is 8 greater than o?
True
Let n be (2/4)/(1/(-2)). Let o(j) = j + 1. Let m be o(0). Let d be m - (-1 - 5/(-3)). Which is smaller: d or n?
n
Let k be 5 - 0/(-2 - 1). Let h(p) = 2*p**2 + k - 1 - p**3 + 3*p - 5. Let v be h(3). Are -0.2 and v equal?
False
Let n = 9 + -2. Suppose 11*g - n*g + 36 = 0. Which is bigger: -10 or g?
g
Let v be (-3 + (-10)/(-3))/((-20)/12). Suppose 0 = 4*w - 3*w - 2*p - 8, -5*w - 5*p - 20 = 0. Which is smaller: w or v?
v
Let k be (-2 + 0 - -2)/(-1). Suppose k = 2*g + 2*g - 8. Do g and 2/15 have the same value?
False
Let c be 3/6 - (-3