 be (-8)/(-21) - n/(-35). Does -1 = y?
False
Let d = 8 - 5. Let f = d - 4. Let r = 7 + -7. Is r at least as big as f?
True
Let q = -14 + 16. Which is smaller: 6/11 or q?
6/11
Let p(x) = x**3 + 2*x**2 - 1. Let w be p(-2). Which is smaller: w or -2/17?
w
Let z be (0 - 1)/(2/6). Let v = 7 - 2. Suppose 0 = 4*i - 5*x + 31, -x + 14 + v = -4*i. Is i < z?
True
Let j be 0/(-3*(-5)/15 - -2). Let z = 1147/221 - 69/13. Do z and j have different values?
True
Let w = -891/91 + 118/13. Is w greater than or equal to -2?
True
Suppose i + 2 = 3*p + 5, 0 = -p + 5*i - 15. Let y = -1373/8 + 172. Which is greater: p or y?
y
Suppose 2*k = 3*k - 8. Let q be 272/9 - k/36. Suppose -q = 2*p + 3*p. Which is smaller: -5 or p?
p
Let r = -1 + 0. Let t = -1158/5 - -231. Are t and r non-equal?
True
Suppose y + 0*y = 3, 0 = -2*o + 3*y - 49. Let u be 7/14 - (-42)/o. Is u < -3?
False
Let l(g) = -3*g + 11. Let p be l(6). Let i = 2.1 - 2. Is i less than p?
False
Let q(b) = 3*b - 1. Let o be q(-2). Let l = 8 + o. Do l and 2/21 have the same value?
False
Let f be (8/(-6))/((-2)/3). Let o be f - (0 - -1) - 0. Let x(k) = k**3 + 3*k**2 - 6*k - 7. Let q be x(-4). Do o and q have different values?
False
Let n = 0.19 - 0.12. Suppose 0 = 13*g - 4*g. Is n greater than g?
True
Let n = 4 - 7. Let p = -5 - n. Let q = -54 + 54. Which is smaller: q or p?
p
Let i be 2/(-5) + 99/(-15). Let a(m) be the second derivative of -m**3/2 + 4*m. Let w be a(2). Is i at most as big as w?
True
Let t = 2.6 + -1.5. Let w = 1.2 - t. Which is smaller: -2/9 or w?
-2/9
Let t(m) = m**3 - 15*m**2 - 15*m - 20. Let n be t(16). Is -4 <= n?
True
Suppose 3*k - k = 6. Let y be (k - 3) + (4 - 1). Suppose y*o = 5*o. Which is greater: -5 or o?
o
Let l = 269 - 2149/8. Suppose -2*h - 4*c + 10 = 0, -7*h + 2*h = 3*c - 4. Which is greater: l or h?
l
Suppose -n - 3*p - 5 = 0, 5*n + 7 = -5*p + 2. Let t be ((-2)/(-40))/((-4)/10). Is n < t?
False
Let m(f) = 2*f - 3. Let y be m(-6). Does -16 = y?
False
Let f = -6 + 8. Suppose 4*k - h = 4, 3*k - 12 = -f*k + 3*h. Which is smaller: k or 5/7?
k
Let w be -46*(-6)/(-9) - 4/(-6). Is -31 not equal to w?
True
Suppose 2*t = -5*v - 58, -v = -4*t - 8 + 2. Let l = v - -15. Is l at least 0?
True
Suppose -4*u - w + 32 = -2*w, 4*w = -4*u + 32. Let j(i) = i - 9. Let f be j(u). Is -1 > f?
False
Let o be (-12)/(-8)*(-10)/(-3). Suppose 16 = 2*g + 2*s, 2*g + s + 4 = 4*s. Suppose g = k + o. Is 0 > k?
True
Suppose 2*h - d + 20 = 3*d, -5*h - 3*d + 15 = 0. Let p = -812/11 - -74. Is p > h?
True
Let i(o) = o**2 - 5*o - 6. Let r be i(6). Suppose f + r = -1. Which is smaller: f or 3?
f
Suppose 4*x + 63 - 3 = 0. Let p be x/(-25) + 24/(-65). Are p and 0 unequal?
True
Let j(a) = 12*a**2 - 11*a. Let s(h) = -h**2 + h. Let y(d) = 2*j(d) + 22*s(d). Let n be y(1). Suppose -n*i - i = 0. Is 1/3 != i?
True
Suppose 4*x = c + 2 + 6, 4*c = -3*x + 6. Let t(j) = -j**2 - 7*j - 2. Let f be t(-5). Let a be x/((-3 + f)*-1). Is a != 1?
True
Suppose -20 = -4*g, -6*g + 3 = n - 2*g. Let p be n/5 + 10/25. Let w be -3 - 4 - (1 + p). Is -5 at most w?
True
Suppose 108*w + 180 = 103*w. Which is smaller: -38 or w?
-38
Suppose 0 = -t - 4, -3*w + 0*t = 4*t + 13. Suppose 3*l - 9 + 3 = 0. Is l > w?
True
Suppose q - 4*q = 2*r - 5, 0 = 5*r - q - 4. Which is smaller: 1/39 or r?
1/39
Let j be 1/18*(-3 - 1). Suppose 9*u = 4*u - 4*i - 3, -5*i = -3*u + 13. Which is smaller: u or j?
j
Let j be (-4)/6*3 - -7. Suppose 3*a - 1 = -g, 3*a = 4*a + j*g - 19. Is a greater than 0?
False
Suppose -4*s + 2*y + 24 = 0, 2*s + 4*y - 18 = -s. Let c be 16/12*s/20. Is -4 > c?
False
Let i be 2/12*(-55 + 3). Let u = 9 + i. Is u at least as big as 0.04?
True
Let q = -7.9 - -8. Let p = -3.9 - q. Let v = p + 0. Which is smaller: -2/3 or v?
v
Let d be (2 + -4)/(-8)*-1. Is d <= 19/2?
True
Let j = -11.2 - -9. Let l = j + 0.2. Does 8 = l?
False
Suppose 2*q - 8 = b, 4*q = 3*q - 3*b + 4. Let v = 4 + -4. Which is bigger: q or v?
q
Let b = 62 + -247/4. Let g be 3 - (-1 - 1)/2. Let t be (g/(-4))/(1 - 0). Is t <= b?
True
Let f be (-4*1/(-2))/(-6). Let m = -177/4 - -44. Is m bigger than f?
True
Suppose 3*l + 0*l + 28 = 4*v, -v + 2*l + 2 = 0. Is 10 smaller than v?
False
Let o(a) = a**3 + 3*a**2. Let v be o(-3). Let k be 3/1 + 252/(-91). Which is greater: k or v?
k
Suppose -3*l = 4*t - 3 - 3, 0 = l - 2. Let h be t/(-2 + (-1 - -4)). Is 1/12 greater than or equal to h?
True
Let m be 11/1*(10 - 11). Let q = m - -10. Let o be (-3)/((-5)/(-2) + -1). Which is bigger: q or o?
q
Let p(m) = -m**3 + 3*m**2 - m - 1. Let i be p(2). Let v = 7 - 5. Let n = i - v. Is n at most as big as -3/5?
True
Let p = -0.04 + 0.04. Let b = -14.9 - -1.9. Which is smaller: b or p?
b
Let t be 9*(-1 + 3 + -1). Let r = -7 + t. Suppose -23 = o - 5*w, -o + 19 = -4*o + 5*w. Are r and o non-equal?
False
Let i = -19/12 - -4/3. Let u(j) = -4*j + 1. Let c be u(1). Let n be 11/c - 24/(-8). Is n greater than or equal to i?
False
Suppose 7*d + 2 = 6*d. Is d at least -3?
True
Suppose -2*t - 5*i = -23, -3*t - i = -6*i - 97. Let r = -117/5 + t. Which is smaller: 1/3 or r?
1/3
Let z be (-3 - (-9 - -4)) + 30/(-14). Is 2/7 <= z?
False
Let c(p) = p**2 - 18*p - 19. Let k be c(19). Is -2/13 >= k?
False
Let z = 3 + -7. Let h(a) = a**3 + 4*a**2 + 3*a - 2. Suppose 0 = 2*l - 1 + 7. Let b be h(l). Are z and b non-equal?
True
Let t be (2 + -7)/((-1)/1). Let u = -8 + t. Is u bigger than -3?
False
Let o be ((-5)/(-3) - 40/(-30)) + -3. Which is smaller: o or -7/33?
-7/33
Suppose -2*w = -3*w + 11. Is 4 greater than w?
False
Let z(t) = -t**3 + 2*t**2 + t - 1. Let w be z(2). Let l = -17 + 15. Which is bigger: w or l?
w
Let a = -80 - -562/7. Which is bigger: a or 1/3?
1/3
Let y be (-6)/(-16) + (-330)/624. Which is smaller: y or -1?
-1
Suppose -a + 3*a - 2 = 0. Which is smaller: -2/9 or a?
-2/9
Suppose 2*g + 4*f = 3*g, -5*f = 2*g - 26. Let l = g - 8. Is 1 greater than or equal to l?
True
Let k = -1.2 + 0.4. Let m = 1 + k. Which is smaller: 0.4 or m?
m
Let f = -0.52 - -0.62. Let p = 0.7 - -0.3. Are p and f non-equal?
True
Let q = 41/14 - 313/126. Let b = 7/36 - q. Which is bigger: b or 0?
0
Let d(k) = k**3 - 14*k**2 - k + 14. Let m be d(14). Let f be (-14)/(-4)*(m + -2). Is f >= -6?
False
Suppose 5*g + w = -3*w + 21, -g + 4*w = 15. Is 1 at most g?
True
Let l = -66 + 40. Which is smaller: l or 0?
l
Suppose 0 = 2*z - 7*z + 1390. Let j = z - 5284/19. Suppose -y + 2 = 1. Which is greater: j or y?
y
Let t be (-6)/(-4)*(-8)/(-6). Suppose t*u - 3*u + 5 = 0. Is u less than 3?
False
Let u be 40/10 - (-56 - 1). Let j = -1402/23 + u. Is 0 less than j?
True
Let o(b) = b**3 - 7*b**2 + b + 10. Let w be o(7). Suppose -c + 16 = -5*c, -2*c = 3*l + w. Let p be l - (2 - 51/9). Do 1 and p have different values?
True
Let l be -48*8*2/4. Let f = -46 - l. Let t = f - 1024/7. Is t smaller than 0?
True
Let d(c) = c**3 + c**2 + c - 2. Let u(p) = -p + 4. Let l be u(3). Let k be d(l). Which is smaller: 12/5 or k?
k
Suppose -3*z = z. Are z and -1/5 unequal?
True
Let i = -5 + 15. Let v = -10 + i. Which is smaller: v or -0.1?
-0.1
Let x = 1584/7 + -227. Which is bigger: x or 1?
1
Let n be (-1508)/(-8) + (-1)/(-2). Let p be (-4)/18 - 12/n. Let c = -84 + 83. Which is smaller: c or p?
c
Suppose 0*a = -3*a + 30. Suppose 0 = r - 6*r + a. Let f = r + -1. Are f and 0 equal?
False
Let w = 4 + -2. Let y(i) = 35*i**2 - 2*i + 1. Let x be y(w). Let k = 683/5 - x. Which is smaller: k or 1?
k
Let x(o) = -o**3 - 4*o**2 + 2*o + 7. Let d be x(-3). Is d less than -6?
True
Let g be 0*3/(9/3). Suppose g = 3*c - c + 2. Suppose 3*d + 0*d = 0. Is c > d?
False
Let y(i) = -i**3 + 10*i**2 + 2*i - 12. Let d be y(10). Which is greater: 11 or d?
11
Let u = 16 + 0. Do u and 15 have the same value?
False
Let n = 653/300 - 13/6. Is n less than 0?
False
Let r = 71 - 71. Which is greater: 1 or r?
1
Let f be 18/(-27) + (-14)/(-3). Is f less than 14?
True
Let y = 4 + -9. Let d be (y + 2)/((-6)/10). Does 5 = d?
True
Let s be (3 + -6)/9*8/212. Which is smaller: -1 or s?
-1
Let v(k) = -k**2 + 4*k + 1. Let g be v(3). Suppose g*i - 81 = 15. Let l be 2/3 + (-10)/i. Which is greater: l or -5?
l
Let l = -307/2 + 162. Which is bigger: 8 or l?
l
Let t = 1 - -4. Let r be (t + -1)*1/(-6). Let s = 11 - 13. Is s <= r?
True
Let n = 0.16 + -1.16. Let k = -0.8 - n. Are -0.4 and k unequal?
True
Let v(z) = z**3 - 4*z**2 - 2*z + 6. Let 