+ c. Let u = -5 - d. Which is bigger: 4 or u?
4
Let n = -57 + 56. Which is smaller: -1/8 or n?
n
Let n be (-9)/((-126)/(-4)) - (-195)/21. Is n at least as big as 11?
False
Suppose 0 = -4*j + 4*n - 8, 2*n - 1 = 9. Suppose 4*g - j = g. Which is greater: g or -2/25?
g
Suppose 0 = -5*l + 5. Let w(i) be the second derivative of i**4/12 - i**3/6 - 3*i. Let o be w(l). Which is bigger: o or -2?
o
Suppose 4*q - 5 + 1 = 0. Which is smaller: 3 or q?
q
Let p(l) = l**3 + 12*l**2 + 11*l + 7. Suppose 2*v - f = -20, -3*v = 2*v + 5*f + 65. Let w be p(v). Let j = w - 8. Are -1/3 and j non-equal?
True
Let d(a) = -4*a + 11. Let x(z) = -z + 1. Let s(y) = d(y) - 5*x(y). Let k be s(-8). Is k < -2?
False
Suppose -w + 9 = -0*w. Let j be (-3)/(-6)*(-3 + w). Suppose 0 = -2*x + j*x. Which is greater: 3/7 or x?
3/7
Let a = -53/30 - -3/2. Which is greater: a or -1?
a
Suppose 3*x - x = 0. Let b be (-1)/4 - (-26)/8. Suppose x = -b*m, 2*w - m - m = 0. Which is smaller: w or 0.3?
w
Let q(k) = k**2 - k + 4. Let o be q(0). Suppose -d - 2*d = o*u + 11, -5*u - 10 = 3*d. Is u >= -2/17?
True
Suppose -4*f + 8 = -6*f. Let d be 12/9 - f/6. Suppose -4*p + 2 = -d*p. Is p != 1?
False
Let d be (-3)/(3/((-2)/2)). Let o be 1*((-4)/(-6) - 1). Which is greater: d or o?
d
Suppose -5 = 2*r + 2*a + 3, 5*a = r - 2. Is 1 bigger than r?
True
Let b be (9/(-18))/(2/(-4)). Let o be (-2 - b - -1)*1. Which is bigger: -1 or o?
-1
Let h be (2 - 1)/((-2)/(-4)). Let a = 8 - h. Let q = -7 + a. Which is greater: 0 or q?
0
Let f = 9.3 - 10. Let u = -0.8 - f. Are 1/3 and u unequal?
True
Let l = 1 + 2. Suppose 5*o = 2*o + l. Let y be o - (0 + (2 - 4)). Which is bigger: y or 2?
y
Let j be 1/(-1) + 0*5/30. Which is smaller: j or -73?
-73
Let w be 4/(60/9) - 1. Let c be ((-14)/(-21))/(4/6). Is c <= w?
False
Let z = -2 + 3. Suppose h - 5*h - 2*l + 12 = 0, -5*h + 4*l = -15. Which is smaller: h or z?
z
Let d = -39 - -40. Do d and 3/23 have the same value?
False
Suppose 2*a - 4*s + 35 = -3*a, -21 = 3*a - 5*s. Let r = a - -12. Let d = 5 + -1. Is d smaller than r?
True
Let n = 9 - 9.1. Which is smaller: n or 19?
n
Let h = 6 + 13. Which is greater: h or 0?
h
Let g = -497/68 + 29/4. Is g smaller than 0?
True
Suppose -229*t + 35 = -222*t. Let h = -18 + 9. Let x = -4 - h. Do x and t have different values?
False
Let t(j) = -j**3 + 8*j**2 - 11*j - 4. Let p be t(4). Do 9 and p have different values?
True
Let j = 4.8 + -5. Let m = -4.2 - j. Let u = 3 - 3. Is u smaller than m?
False
Let n = -1 - -2. Is n less than or equal to 2?
True
Let j be (-164)/(-182) - (-4)/(-14). Let c = -19/52 + j. Let z = 134 + -137. Are z and c unequal?
True
Let y be (0 - 2)*(-1 - 0). Let k be (-1)/y - 6/(-4). Are -2/15 and k equal?
False
Let u be (-8)/60 + (-58)/15. Is -3 != u?
True
Let m(p) = -p**2 + 10*p + 13. Let x be m(12). Let z = -11 - x. Is z at most 1/7?
True
Suppose 6 = -z - 9. Let j be (-3)/(-5) + 3/z. Let l = -1.2 - -1. Is j greater than l?
True
Suppose 3*b + 2 = b. Let v be b + 5/(15/18). Which is bigger: 4 or v?
v
Let z(r) = -r**3 + r**2 - 1. Let d be z(0). Suppose -q = q. Suppose m - 3*s - 10 = -m, q = -m + 4*s + 15. Is m > d?
False
Let a be 11/((-99)/38) - -4. Is a < 9?
True
Let g = 11 + -10.9. Are -2 and g unequal?
True
Let q(p) = 7*p - 66. Let h be q(9). Let m = -1.3 + 0.3. Which is greater: h or m?
m
Let c be 1/(2/4)*3. Suppose -s - 8 = -4*b + 3*s, 3*s = -c. Suppose b*w - 1 = w. Do -1/2 and w have the same value?
False
Let w be (-86)/(-90) + (-1 - 0). Suppose -18*p = 16*p. Is w bigger than p?
False
Let p(d) = d**2 - 4. Let r be p(0). Let h(j) = j**3 + 4*j**2 + 1. Let i be h(r). Do i and 2/7 have the same value?
False
Let p = -2 - -3. Suppose -5*q = -o - 2*q - p, -9 = -4*o - q. Which is smaller: 3 or o?
o
Suppose 0 = -4*u + f, 4*u + 3*f = 16 - 0. Is u greater than or equal to -16?
True
Let t(z) = -z**2 - 3*z + 2. Let r be t(0). Suppose r*i - 5*i = -15. Let x(f) = -f**2 + 8*f - 3. Let w be x(7). Is i less than or equal to w?
False
Suppose 2*u + 2 = -0. Which is smaller: -2/13 or u?
u
Let g = 39.5 + -7.5. Let q = g - 36.4. Let y = 0.4 + q. Does 2/5 = y?
False
Let v(s) = s**2 + 2*s - 9. Let z be v(-4). Let i(q) = 8*q + 2. Let f be i(z). Which is smaller: -7 or f?
-7
Let l(y) = 2*y**2 - 4*y + 1. Let z be l(3). Let g = z - 13. Which is bigger: -5 or g?
-5
Let z = -5 - -4. Let y = -3 - -8. Suppose -u = 4*k + y, u + 2 = -4*k - u. Are z and k non-equal?
True
Let m = 7.4 + -8. Let i = -0.5 - m. Are i and -2/7 equal?
False
Suppose -12 + 37 = -5*n. Let q be 5/(-25)*n/3. Is 0 bigger than q?
False
Let l be (-8)/(-2) + (-2 - -5). Let d(m) = 6*m - 1. Let t be d(1). Which is bigger: l or t?
l
Let b(p) be the second derivative of 2*p + 1/12*p**4 + 1/6*p**3 + 0 + 1/2*p**2. Let j be b(-2). Is 3 != j?
False
Suppose -v = -3*m + 6, 5*v + 10 + 20 = -4*m. Is -3 equal to v?
False
Let k(w) = w + 2. Let h be k(2). Suppose 0 = -h*n - n + 5. Let c(t) = t**2 - t. Let x be c(n). Which is bigger: -1/6 or x?
x
Suppose -2*b - 5 + 3 = 0. Suppose -3 = -3*u - a - 13, -3*u - 5*a - 26 = 0. Which is smaller: u or b?
u
Let v(y) = y + 6. Let p be v(5). Let k = p + -6. Let n be k/(-12) - 3/(-4). Is n less than 0?
False
Let x be (-4 - 0) + (-68)/12. Which is greater: x or -1?
-1
Let i be (-102)/30 + 1 + 2. Which is smaller: i or 0?
i
Suppose -4*p - p - 19 = 2*j, -2*j - 13 = 3*p. Which is bigger: j or -6?
j
Let v = 0.17 + -2.07. Let z = -2 - v. Let o = 0 - z. Is o at most -3/2?
False
Let f = 132 + -131. Which is smaller: -1/16 or f?
-1/16
Suppose -2*b + 0*b + 2 = -4*t, -4*b - 2*t = -24. Suppose -b*n = -0*n - 5. Does n = 6?
False
Let z = -34 + 22. Let g be 1/3*18/z. Let y(t) = -3*t**2 + 1. Let d be y(1). Which is bigger: g or d?
g
Let a(w) = w**3 + 2*w**2 + 4. Let i be a(-3). Let p(u) = -u**2 - 5*u + 5. Let v be p(i). Let j = v - 2. Is 3 less than or equal to j?
True
Let d = 42043287/133736 - 4/16717. Let r = 72 + -386. Let o = r + d. Is o equal to 0?
False
Let f = -69.2 + 61. Let b = 8 + f. Is 0.2 smaller than b?
False
Suppose h + 15 = 5*d, -h - 9 = -0*h + d. Let z = h + 16. Is z not equal to 5?
True
Let i(v) = -6*v**3 - v + 1. Let r be i(1). Let t be 0/(r/(-3) - 1). Let f = t - 1. Are -1 and f unequal?
False
Suppose -12 = -k - 3*k. Let m be -3 + (3 - k) + 0. Which is smaller: m or -4?
-4
Let d = 0.82 - 1.82. Which is smaller: d or -21?
-21
Suppose -j + 3 - 47 = 0. Which is smaller: j or -43?
j
Let o = 0 - 7. Let h = 10 + o. Let w be 6/8*(-1)/h. Which is bigger: w or 0?
0
Let a(f) = f**3 + 26*f**2 + 27*f + 50. Let m be a(-25). Is 15 less than m?
False
Let j = 1/722 - 1459/10830. Let q(l) = -l**2 + 4*l - 4. Let n be q(3). Which is smaller: n or j?
n
Let q be 3*(-6)/7 - 0. Let c = q + 169/63. Is c >= 0?
True
Let d = 4 - 5. Is d <= -6/7?
True
Suppose 6*h + 29 = 95. Are h and -3/5 nonequal?
True
Suppose 3*g + 5*r + 16 = 0, -13*g + 2*r = -12*g - 13. Let u(t) = t - 4. Let f be u(6). Are f and g non-equal?
True
Suppose -2*m - 3*m - 22 = 2*b, -5*b + 3*m = -7. Is -7/3 < b?
True
Suppose -2*d + 3*d = 7. Let r be d/2 - (0 + 2). Is 2 < r?
False
Let i = -3.2 + 6.9. Let l = i - 4. Is l greater than -3/2?
True
Let h = 5 + -5. Let g be (-3)/(-6)*(h + 12). Suppose -3*b = -g*b. Is 2/15 smaller than b?
False
Let t = -1 + 0. Let b be (-12)/(-2) - (-5)/((-45)/27). Which is smaller: t or b?
t
Let z be (-4)/10 - 24/15. Let l = 16 + -18. Are z and l unequal?
False
Let h = 41 - 41.5. Is -1 less than h?
True
Suppose 3*h - 4*h + 4 = 0. Suppose -h*r = -r. Suppose 9 = 3*v + v + 5*s, r = -3*v + s + 2. Is 2/7 > v?
False
Let m = 0.2 + -0.1. Let u = 8.4 + -9. Let a = u - 0.4. Is m bigger than a?
True
Let q = 1.65 - 2. Let j = q - -0.05. Is j equal to -0.1?
False
Suppose -3*u + 56 = y, -9 + 91 = 4*u + 5*y. Let b = -19 + u. Let i(o) = o**2 + 5*o + 3. Let l be i(-4). Is b at most l?
True
Let m = 44/7 - 6. Is m at least -1/3?
True
Suppose 3*h - 5*y + 3 = -13, 0 = -5*h + 2*y - 14. Let x = 5 + -8. Which is bigger: h or x?
h
Let g = 4 + -3. Which is greater: g or -6?
g
Suppose 2*m - 4 = -14. Suppose -5*h - 3*c - 37 = 0, -6*h + 2*h - c = 24. Is h at most as big as m?
True
Let d = -0.16 - -0.06. Let v = -0.9 + d. Does v = -0.11?
False
Suppose -d - 43 + 9 = 0. Is -35 less than or equal to d?
True
Let i = 0 - -2. Let p be 6/(-2)*2/6. Let z be (p - 1) + -1 + i. Which is smaller: -3/2 or z?
-3/2
Let r(g) = g**2 + 7*g + 5.