. Is q equal to j?
False
Let c = 0 + -3. Suppose 7 = -5*g - 8. Is c at most as big as g?
True
Let n(m) be the first derivative of -m**4/4 - 4*m**3/3 + 3*m**2 + 5*m - 2. Let l be n(-5). Which is smaller: l or 1/10?
l
Let t(z) = -z**3 + 4*z**2 + 5*z + 4. Let i be t(5). Suppose -x - 4*b = 3, -x + b + i = 2*x. Let w be x/11*(6 - 3). Does 0 = w?
False
Let b(g) = -g - 3. Let t be b(-3). Let z = t + -1. Which is smaller: 2/9 or z?
z
Let r(w) = w**2 + 12*w + 1. Let n be r(-12). Does 1/10 = n?
False
Let i be -2*(33/(-6) + 4). Suppose 0 = -3*b - 2*h + 5*h - i, -b + 5 = 2*h. Which is bigger: 1/3 or b?
b
Let w(d) = -9*d + 3. Let y be w(-3). Suppose -5*f + y = -3*f. Let g be 5/f*(-6)/(-4). Is 0 > g?
False
Suppose -2*q - 11 + 1 = 0. Let z = q - -10. Is 5 at most as big as z?
True
Let s be 22/(-8) - (-13 - -11). Which is greater: -1/4 or s?
-1/4
Let g(q) = -q**3 + 2*q**2 + 5*q. Let t be g(4). Let o be (-116)/80 + (-3)/t. Which is smaller: o or -2?
-2
Suppose -8 = 2*p, 0 = 2*r - 5*p - 30 + 2. Which is greater: 3 or r?
r
Let v be (2/4)/((-4)/(-8)). Let t(p) = -p**3 - p**2 + p + 40. Let r be t(0). Let d = 122/3 - r. Is v bigger than d?
True
Let g be ((-1)/2*-1)/(10/(-20)). Which is smaller: g or -8/7?
-8/7
Let a = 0.21 - 0.14. Let m = -0.03 - a. Let u = -1 - 0. Which is bigger: u or m?
m
Let j be -1*4*1/(-2). Let z be j/((-4)/34) - -2. Is z at most -16?
False
Let c = 111 + -103.1. Let o = 9 - c. Is o smaller than -1/2?
False
Suppose 4*f - 33 = -1. Let j be 9/4 - 2/f. Let k(z) = -z**2 - 9*z + 12. Let d be k(-10). Is j less than d?
False
Suppose -5*u = -15, 3*d - 4*u + 15 = u. Which is greater: -1 or d?
d
Suppose 3*y - 3 = -18. Suppose -6*r - 20 = -r. Which is smaller: r or y?
y
Let z = 20 - 321/16. Let i = 13/48 - z. Which is smaller: i or 1?
i
Suppose 0 = 7*j - 3*j. Suppose 2*c - 4 = 2*b, 3*b + 29 = -3*c - b. Let r be ((-2)/(-14))/(c/(-18)). Which is smaller: r or j?
j
Let c(q) = q**3 + 6*q**2 + 6*q + 5. Let y be c(-5). Let b = y - -5. Let h = b + -6. Is h <= -3?
False
Suppose 4*h - 5*h = 0. Let l(d) = -d**2 - 4*d - 2. Let k be l(-3). Let y = k + -3. Which is bigger: y or h?
h
Let i be (-68)/20 + 1 + 6/(-10). Is i <= -22/5?
False
Let f = -0.21 + 0.23. Is -0.2 >= f?
False
Let x be 24/(-8) - (-32)/10. Is x at most -1?
False
Suppose 0 = -3*w - 4 + 13, 5*x + 4*w + 13 = 0. Let u = -118/25 - -4/75. Is u at most as big as x?
False
Suppose -3*z + 72 = -0*z. Let q be (-12)/(-18) - 22/z. Does 0 = q?
False
Let g = -49 + 52. Which is greater: 13/4 or g?
13/4
Suppose -1 = -g - 3. Does g = -10/3?
False
Let o be (-916)/(-10)*4/(-8). Let p = o + 46. Let q = -4 - -5. Is p at least q?
False
Suppose 0 = 2*j - 0*j - 12. Suppose -k = q - 6, 2*q = -3*k - 2*q + 18. Let r = j - k. Is 1/4 not equal to r?
True
Suppose 6*z - 22 = -16. Do z and -3/65 have the same value?
False
Let b(d) = -d**2 - d - 3. Let k = 2 - 2. Let l be b(k). Is -4 less than or equal to l?
True
Let q be (-4)/(-8) - 3/(-2). Suppose 0 = 4*l + l - q*i + 5, 5*l - 4*i = -5. Let z = -1 + 1. Is z < l?
False
Let g(j) = -2*j - 4. Let n be g(-2). Is 4/19 at least n?
True
Let a = 265/3 + -87. Which is greater: a or -0.06?
a
Let h = 14 + -17. Is -0.1 >= h?
True
Let u(j) = j**3 + 6*j**2 + 4*j - 1. Let n be u(-5). Suppose n*y = -y. Is y less than -4/9?
False
Let r = -38 + 54. Let t = r - 10. Let q = t - 5.8. Is -2 equal to q?
False
Let s = -16 + 19. Let u = 3.91 + 0.09. Is u != s?
True
Suppose 2*d - 14 = -2*c, 0 = -0*d + d + 2*c - 4. Let q = -10 + d. Let u be 2/(1 + 0 + -20). Which is greater: u or q?
q
Let b = -0.36 - 2.64. Is b != 4?
True
Suppose 0 = -i + 8. Let x be 6 + 4/(i/(-6)). Is 3 not equal to x?
False
Suppose 0 = a + 5*m - 0 - 21, 5*a = 5*m - 15. Let b be a/10*-4 - -1. Is b >= 2?
False
Let a(l) = l + 7. Let p be a(-4). Let j be p/2 - (-130)/(-60). Which is bigger: -3 or j?
j
Let m = 10 - 8. Which is smaller: m or 3/2?
3/2
Suppose 0 = -0*q + q. Let p be 2/(2/(-4) - q). Which is smaller: -3 or p?
p
Let r = -2.273 - -0.073. Are r and 2 equal?
False
Suppose -1 = -m - 0. Let o be m/(-2 + (-2)/1). Which is smaller: o or 0?
o
Let w = -4443/13 - -342. Which is greater: 1 or w?
1
Let n = -13 + 4. Which is bigger: n or -10?
n
Suppose 5*q + 4*v = 3, 3*q + 1 = -v - 0. Let h = -1/20 - 1/5. Which is greater: h or q?
h
Let p be (-9)/36 + 34/8. Suppose -5*q - p*a = 0, 5*q + 0*a = 4*a. Is 3 at least as big as q?
True
Suppose 0 = -2*c + 8 - 4. Let x be 3 - (1 - (-12)/5). Which is smaller: x or c?
x
Let u = 7/219 - 4627/876. Is u smaller than -5?
True
Let x be (-6)/27 + (-20)/396. Which is greater: 1 or x?
1
Suppose -5 + 2 = -m. Let t be 79/(-116) - m/(-4). Is 0 <= t?
True
Let p = 36 - 19. Let k = p - 17.1. Which is bigger: -7 or k?
k
Suppose 2*b = -3*q - 2 + 3, q = 1. Which is smaller: -1.6 or b?
-1.6
Let k be 102/120 - 1/4. Let a be ((-4)/(-6))/((-2)/(-6)). Suppose a*h - 10 - 5 = -5*d, 20 = 4*h. Are k and d unequal?
True
Let q be ((-6)/(-4))/(4/8). Suppose 0 = -q*l + 2 + 1. Let h = l + -3. Is h equal to -5?
False
Suppose 2*m - 1 = -3. Suppose 1 = -f + 2*f. Suppose -3*s = 2 + f. Is m less than s?
False
Let s(b) = b**3 + 4*b**2 - 2*b - 9. Let r be s(-4). Which is smaller: -20/11 or r?
-20/11
Let m = 469/4 + -118. Let s(h) = h**2 + 9*h + 10. Let f be s(-8). Suppose f*v = 4*v. Which is bigger: m or v?
v
Let t(a) = 3*a + 12. Let h(i) = -5*i - 18. Let v(y) = 5*h(y) + 8*t(y). Let k be v(-4). Let r be (4/(-3))/(k/(-3)). Is r smaller than 1?
True
Let l = 281 - 3097/11. Which is greater: l or -1?
l
Let a = 29 + -33. Which is smaller: a or -1?
a
Suppose 15*t = 17*t + 92. Is t not equal to -45?
True
Let w be -6*1/1 - -1. Let x be (w/5)/(1/(-2)). Is x greater than 2?
False
Let g = -1 - -6/5. Let h = -32 - -20. Let k = -11.9 - h. Is k less than g?
True
Suppose -4*q - 52 + 13 = -n, 0 = -3*n - 3. Let m be (-18)/210 + 4/q. Let b = 2/7 + m. Is -1 greater than or equal to b?
False
Let l = 4 + -8. Suppose -3*f - 7 = -2*a, 8*f - 5 = 3*f - 5*a. Let v = -2 + f. Which is smaller: l or v?
l
Suppose -3 = -3*l + 3*m, 4*m + 24 = -3*l + 55. Let o = 5 - 0. Are l and o equal?
True
Let p = 3 - 16. Let o = 25/2 + p. Which is greater: -2 or o?
o
Suppose 3*b + 2*b = -10. Which is greater: -9/8 or b?
-9/8
Let j(w) = -w**2 - 4*w - 3. Let a be j(-2). Let l be 2/(-2) - -6*a. Which is bigger: l or 4?
l
Let f(v) be the first derivative of -v**4/4 + 2*v**3/3 + 2*v**2 - 4*v - 1. Let b be f(3). Let s be -1 + -1 - 27/(-15). Is s >= b?
True
Let o be (-42)/21 - 14/(-8). Which is greater: -1 or o?
o
Let r be -1 - ((-1 - -1) + -3). Suppose 0 = -g - 3*g + d - 250, 0 = 2*g + 5*d + 136. Let u be g/(-60) - 2/8. Is u at least as big as r?
False
Let c = -2.2 + 16.2. Let d = c + -14.2. Which is greater: -1/4 or d?
d
Suppose g + 15 = 4*g. Suppose g*v - 27 - 13 = 0. Do -2/7 and v have different values?
True
Let c be (3/(-2))/(8/(-32)). Suppose 0 = -p - p + c. Suppose -s - p*i + i = -7, 3*i = s + 13. Which is greater: s or -3?
s
Let p = -27/5 + 4. Let i be 0 - 1/((-5)/(-10)). Is p equal to i?
False
Suppose 4*d - 11 = -19. Is d equal to -13/4?
False
Suppose 0 = -3*f + f - 10. Which is greater: -9 or f?
f
Let g = -293/5555 + 9/101. Is 0 != g?
True
Suppose 3*q - 2*d = 0, -2*q - q = 3*d. Is q > 0?
False
Let p(x) be the first derivative of x**4/4 - x**3 + 2*x**2 - 3. Let w be p(3). Suppose 12 = -4*t - w. Is -5 greater than or equal to t?
True
Let r(u) = 2*u**3 - 6*u**2 - 18*u + 1. Let m be r(-4). Which is greater: 0 or m?
0
Let g = -11 + 9. Let l = -43/3 - -289/21. Which is bigger: l or g?
l
Let x(p) = -p - 6. Let y be x(-4). Do y and -4 have different values?
True
Let m = 150 - 152. Let w = 5 - 7. Let z = w + 2.2. Is m less than z?
True
Suppose 0*t + t = 5*j + 62, -t + 36 = -3*j. Let s be (-24 + 3)/(12/8). Which is smaller: s or j?
s
Let n be (0 + (-1)/3)/(59/177). Is 3/25 greater than n?
True
Suppose 2*m = -2*m. Let q = 1 - m. Which is greater: q or 3/2?
3/2
Suppose 7*u - 4*u + 48 = 0. Are -16 and u equal?
True
Let i(c) = c**2 - 10*c. Let m be i(10). Let f = -18 - -12. Let b be (0/1)/(f + 4). Is m smaller than b?
False
Let b(a) = a**2 - 4*a. Let y be b(4). Suppose y = r - 2 - 2. Suppose 0 = r*f - 6*f. Is f less than or equal to 1?
True
Let g be (-2)/((3 - 2)*-2). Is g > 1/3?
True
Let q be (-2)/(-1 + -1 - -1). Suppose 0 = q*y - 2*v, -4*y - v - 12 = y. Let b be (1 - 4)*6/18. Is b smaller than y