se -30 = -3*j - 3. Let l be ((-8)/j)/(2/(-3)). Which is smaller: 0 or l?
0
Let d be (1 - 0)/((-1547)/(-898)). Let l = -337686/221 + 1528. Let n = l - d. Which is smaller: n or -2?
-2
Suppose -3*x = -8*x - 5. Is 2/65 less than x?
False
Suppose 0 = 4*m - 4*g + 32, -m - 3*g - 6 = 2*m. Which is bigger: -24/5 or m?
-24/5
Let v = -2 + 2. Let f = -4 - -2. Which is bigger: f or v?
v
Let m be (-115)/40 - (-3 + 0). Suppose -o = -5*o. Suppose 4 + o = -4*x. Does m = x?
False
Let q be 8/(((-6)/8)/(-3)). Suppose 8 = 5*k - q. Suppose l = 4*j - k, -2*j = l + 2*j. Are -3 and l nonequal?
True
Suppose -g - 2*g - 6 = 0. Let t = -118 + 115. Do g and t have the same value?
False
Let i be -1 + (-1 - (-4 + 2)). Suppose t + 0*t = i. Are 2/9 and t non-equal?
True
Let s be 16*-1*1/2. Let f be 19/(-44) - 2/s. Suppose -6*y = -21 + 27. Which is smaller: f or y?
y
Suppose 20 = 5*b - 5*i, -3*b - 4*i = i - 4. Suppose 2*u = -b*u + 15. Suppose x - u = -2*x. Is x not equal to 2/29?
True
Suppose 3*q - 4 = 2. Is 5 less than q?
False
Let b be 14/60 - (-18)/(-45). Let u = 11 - 8. Suppose 2*v = -5*z - 10, -2*v - 25 = -z + u*v. Is z less than b?
False
Suppose -2*k + 0*k = 10. Let w be -6*(2/(-6) + 1). Is w less than or equal to k?
False
Let o = 27/2 + -13. Let k(w) = w - 5. Let n be k(4). Let s = 1 + n. Which is smaller: o or s?
s
Let i = -0.05 - -0.15. Is 1 less than or equal to i?
False
Let w = 24 - 23.9. Let t = w + -20.1. Is -1 not equal to t?
True
Let i(w) = -w**2 + 8*w - 6. Let o be i(6). Let z be 1/(-2) - (-3)/o. Suppose 4*r + 2 = -2*t, -t = -2*t - 3. Is r at most as big as z?
False
Let u(l) = l**3 + 2*l**2 + 2. Let q be u(-3). Let j = -33 - -33. Suppose 2*o = -12 - j. Is o bigger than q?
True
Let a(b) = b**2 + 7*b + 4. Let n be a(-5). Is -5 greater than or equal to n?
True
Let c = -9 - -14. Let u be (-1)/c + 68/140. Is u greater than or equal to 0?
True
Let k = -360 - -1431/4. Is -2 > k?
True
Let c = 23 - 22. Is c less than -2/33?
False
Let l = 2857/6 + -475. Which is smaller: 2 or l?
l
Suppose -3*c + 15 = -0*c. Let v = -7 - -10. Suppose -c = v*p + 7. Which is bigger: p or -3?
-3
Let l = -13 + 6. Let j be (-12)/l - (-4)/14. Suppose -b - 1 = 3*c, -j*b - 5*c = -3*b - 1. Is 2/15 >= b?
True
Let n = 6609/7 - 937. Let a = -221/28 + n. Is a less than 0?
True
Let x be ((-6)/1)/((-63)/168). Is 16 smaller than x?
False
Let y be ((-6)/(-10))/((-2)/(-4)). Suppose 18*d = 12*d + 6. Are d and y equal?
False
Let b be (1/3 - 0)*9. Let z = 5 - b. Let p be z/70 - 2/(-5). Which is smaller: p or 1?
p
Let b(v) = 2*v**3 + 2*v**2 + v - 2. Suppose 0 = 2*l - l + 2. Let p be b(l). Is -12 >= p?
True
Let r(h) = -h**2 - 2*h + 1. Suppose -7*a - 12 = -3*a. Let i be r(a). Is i greater than -1/3?
False
Let d = 12 - 3. Suppose 0*r - 3*r + d = 0. Which is greater: r or 4?
4
Suppose -h = -4*h. Let d be 5 + (-6 - -1 - -1). Which is greater: d or h?
d
Suppose 2*a = -12 - 12. Let b be a/(-15) + 88/(-10). Which is bigger: b or -5?
-5
Let n be 0 - (-4 + 7)/(-6). Is 1.2 at most as big as n?
False
Let p = 5 + -6. Let d be p/(-4) + 6 + -6. Is d != -1?
True
Suppose 0*w + 10 = 2*w. Let o = -4 + w. Let q be (2/(-15))/((-14)/10). Is q > o?
False
Let z = 0 - 0. Let d = z - -0.5. Let s = d + -0.5. Which is smaller: 2 or s?
s
Let v = -0.921 - 0.079. Let t = -0.7 - 0.3. Is v at least as big as t?
True
Let a = -86/145 + -6/29. Which is smaller: a or -2/3?
a
Let h be (-7)/(-3) + 13/(-39). Is h bigger than 1?
True
Let r = 5.9 + 1.1. Let f = 0.3 - -0.7. Which is bigger: r or f?
r
Suppose 3*g - 3*n = n - 4, g + 8 = -2*n. Let i be (4 - (2 + 1))*-1. Let u be i/3*15/g. Is u smaller than 0?
False
Let y(u) = u**3 - 5*u**2 - u + 2. Let g be y(4). Let f = g - -56/3. Let i(m) = -m**2 - 7*m + 2. Let p be i(-7). Is p at most f?
False
Let n be -2 + (3/1 - -2). Suppose r = -n - 1. Let f = r - -8. Is 4 at least f?
True
Suppose 4*d - 200 = -80. Let j be (4/(-5))/(12/d). Is j less than -1?
True
Let q be ((-9 - -4) + 4)*-1. Is 8/9 less than q?
True
Let g be 433/(-6) + (-6)/(-9). Let h = g - -70. Is h != 1?
True
Suppose -7*m - 25 = -12*m. Let p(s) = s - 2. Let r be p(m). Let v = -7 - -11. Is v bigger than r?
True
Let f be -2 - (0/2 - 6). Suppose -f*i - 6 = 2. Is -1 equal to i?
False
Let t be -8 - -10 - 4/26. Which is greater: 3 or t?
3
Let c be (8/36)/((-8)/(-132)). Let p = -4 + c. Which is bigger: -1 or p?
p
Let f = 9 + -8. Do f and -3/7 have the same value?
False
Let x(z) = -z**3 - 6*z**2 - 7*z - 4. Let n be x(-5). Let m be n/(1/((-3)/(-6))). Suppose 5*f - 2 = m*f. Which is bigger: 0 or f?
f
Let h = 4 - 7. Is -3 less than or equal to h?
True
Suppose 8 = -0*f + f. Let c be (2 - 5) + f + -6. Which is bigger: c or 0?
0
Suppose -2*p - 5 = -4*p + 5*w, 2*p = -2*w + 12. Suppose j + 6 = 3*k - 2*j, -p*k = 3*j + 6. Suppose u - 4 = -3. Is k less than or equal to u?
True
Suppose -x + 0*x = 0. Let k(u) = u**2 + u + 1. Let o be k(x). Let b = 27/4 + -51/8. Is b bigger than o?
False
Let i be -1 + (1 - 1 - 2). Let o be -3 - (-3 + 1 + 4). Let l = i - o. Is 1 less than or equal to l?
True
Let x(v) = -v**3 - 10*v**2 - v - 10. Suppose 2*u + 13 = -3*y - 13, -4*y = u + 38. Let p be x(y). Is p > -1?
True
Let s(a) = -5*a + 24. Let u(b) = b - 1. Let c(r) = -s(r) - 6*u(r). Let n be c(-17). Is 0.3 less than n?
False
Let n = -2/33 + 13/33. Let f(r) be the second derivative of -r**5/20 + r**4/2 - 2*r**3/3 - 3*r**2 + 2*r. Let k be f(5). Does n = k?
False
Let v be -1*9/((-495)/(-2)). Which is greater: v or 1?
1
Let w = 28 + -85/3. Let u be -1 - 1 - (0 + -3). Which is bigger: u or w?
u
Suppose 17 = 3*g + 2. Let h(f) = -1 - 3 + g + 3*f. Let p be h(-1). Which is bigger: p or -0.1?
-0.1
Let l(t) = t**3 + 14*t**2 - 24. Let c be l(-14). Which is smaller: -22 or c?
c
Let y = 21 - 0. Suppose -3*d + 8 = -55. Is d less than or equal to y?
True
Let q = 117 - 120. Is q greater than or equal to -29?
True
Let t be (-4)/18*(-18)/(-60). Which is greater: t or -1?
t
Let j(h) = -h - 2. Let r be j(-3). Is r less than -1/6?
False
Let c = -1/173 - -361/2595. Let l = -1 - -6. Suppose -l*j = -2*j. Which is smaller: c or j?
j
Let n = 1 + 3. Suppose i - f = -i - 5, -3*i + n*f = 20. Suppose -2*c + 2*s - 6 = -0*c, 4*s - 12 = 5*c. Are i and c unequal?
False
Let p be 2 - (-5)/(-4) - 1. Let s = -6.24 + 0.64. Let y = -6 - s. Which is smaller: p or y?
y
Let b = 6 - -1. Let o = b + -9. Is o >= -1?
False
Let f = 2.3 + -0.3. Let p = -0.017 + -0.083. Does p = f?
False
Let r = 669 + -19399/29. Suppose 4*u = 2*u + 4. Suppose -4*d + 4 = u*v + 14, 4*d - 2*v - 2 = 0. Which is bigger: r or d?
r
Suppose -2*o + 38 = 4*b, -3*o = -0*o - 5*b - 35. Let j be (-2)/((-5)/(o/6)). Let t be ((-8)/70)/((-12)/(-30)). Is t greater than j?
False
Let v(i) = i**2 - 5*i + 5. Let o be v(5). Let k(t) = -t**2 + 5*t - 4. Let f be k(o). Is -4 < f?
False
Let j = -5.1 + 8.1. Let d = -1 - 38. Let v = d - -271/7. Which is greater: j or v?
j
Let i be -1 + 2 + (-1)/(-2). Let x = 1 - 0. Suppose -u = -0*u - x. Which is greater: i or u?
i
Suppose 3*u = -4*h - 0*h + 10, -u + 1 = -h. Let r be (-1)/2 + (h - 1). Let v = -209 + 208. Is r bigger than v?
True
Let q(h) = -h**3 + 6*h**2 - 7*h + 6. Let b be q(5). Let z be -2 - (-2 + 1)*-1. Which is bigger: z or b?
z
Let b(n) = n**2 + 5*n + 5. Suppose 2*a - 5*l = 14, 2*a - 5 = 3*l + 5. Suppose a*s - 3*s - 4 = 0. Let y be b(s). Is y != 2/3?
True
Let n = 5 - 3. Let u be n/(-3)*63/14. Which is smaller: u or -4?
-4
Suppose -4 = -2*a - 3*o - 25, 5*a + 49 = -4*o. Suppose 8*y = y - 56. Which is smaller: y or a?
a
Let x = 4.95 - -0.05. Let w = x - 5.2. Which is greater: -1/3 or w?
w
Let x(l) = -l + 3*l - 8*l**2 + 7*l**2. Suppose -2*p = -5*a + 9, 0 = -7*p + 2*p - 10. Let h be x(a). Is h equal to -1/4?
False
Suppose -7 = -2*d + 3*d. Suppose -z + 1 = 8. Are d and z equal?
True
Suppose -2*i - 2 = -2*c - 3*i, 0 = -5*i + 10. Suppose 4*q - 1 - 3 = c. Which is greater: 4 or q?
4
Suppose 8 = -3*o + 2. Let f = -3 - o. Is -1 less than or equal to f?
True
Let z = -3 - -10. Suppose -h = 6*f - 3*f + z, 2 = -f. Let x be -1 - (2/10 + -1). Is x at least h?
True
Suppose -1 = 4*z - 5. Let h be 0 + 146/(-114) + 2. Let n = -1/19 + h. Are n and z unequal?
True
Let z(p) = 5*p**3 - 2*p**2 + 1. Let o be z(1). Suppose -22 = -o*m - 2. Are m and 5 nonequal?
False
Suppose -3*l = -l + 176. Let z = l + 1846/21. Which is greater: z or 1?
1
Let m(g)