 n - 1 = 0. Which is greater: -0.2 or q?
-0.2
Suppose -2*i = -2*q - 3*i - 5, -3*q = 4*i + 10. Let n be (-48)/(-21) + q/7. Are n and 2 unequal?
False
Let p(j) = -2*j - 1. Let l be p(20). Is l less than or equal to -41?
True
Let k(y) = 3*y - 11. Let u be k(5). Which is smaller: u or 14/3?
u
Suppose 2*l + 12 = -4*t, 2*t + 23 = -t - 5*l. Let s be (-2 + (1 - 0))*3. Let y = s + 3. Is y >= t?
True
Let n = -108/35 - -23/7. Which is smaller: 1 or n?
n
Suppose -9*a = -12*a + 27. Suppose -3*j = a, k + j = -j - 3. Is k less than or equal to 2/5?
False
Let d(f) = -2*f + 7. Let r be d(6). Let l(w) be the second derivative of w**4/12 + 2*w**3/3 - 3*w**2 + w. Let i be l(r). Which is bigger: i or 0?
0
Suppose -5*w + 5*v - 24 = 26, -10 = 5*w + 3*v. Is -1 less than w?
False
Let l(b) = 9*b. Let o be l(1). Let n be ((-2)/6)/((-3)/o). Which is smaller: n or -2/9?
-2/9
Suppose 3*i - c = 2*c + 12, 4*i = -c - 9. Which is smaller: i or -23/12?
-23/12
Let c be ((-165)/20 + 4)*8. Which is smaller: -0.2 or c?
c
Let d(g) = -g**3 + g**2 + g + 15. Let t be d(0). Suppose -t = -0*z + 5*z. Let k = -8 - -5. Do k and z have different values?
False
Let z = -7 + 11. Is 3 >= z?
False
Let l = -6 - -7. Suppose -l = -r - 0. Are 1 and r nonequal?
False
Let p = 64/273 - -2/39. Let t = 2/795 - -488/16695. Let v = -4/21 - t. Is v greater than or equal to p?
False
Let q = -91 + 78. Is q equal to 0.1?
False
Let b = 0 - 0. Suppose -2*r - 12 = -p, 0 = -2*p - 2*r - b*r - 6. Suppose 6*u = p*u. Which is smaller: 2/11 or u?
u
Let z = -10 - -11. Which is smaller: 2/3 or z?
2/3
Suppose -4*t + 5 = -7, -3*x - 4*t + 21 = 0. Is x less than 3?
False
Let w = -9 + 18. Suppose 3*d + 0 = w. Do 3 and d have the same value?
True
Suppose 2*s + 2*s = 0. Suppose n + 6 = -s. Do n and -6 have the same value?
True
Let u = -40/17 + 33/17. Which is greater: 1 or u?
1
Let i be (-6*(-2)/4)/(-1). Let o = 12 - i. Is 16 at least as big as o?
True
Let u(y) = -2*y + 4. Let o be u(0). Let x be 1/12*(48 - -2). Let r = o - x. Is 1 > r?
True
Suppose -3 = 2*y + 1. Let m(u) = -6*u**3 - u**2 + u. Let w be m(y). Let b be -18*(-4)/w + -2. Which is smaller: 1 or b?
b
Let l(o) = -o**3 - 8*o**2 - o + 2. Let x be l(-8). Let n(k) = -k**2 + 8*k + 10. Let r be n(x). Let s be r/25 + (-38)/(-20). Is 2 at most s?
False
Let w be 1/(-2)*2 - -1. Let d be 2/(-3)*(-3 + w). Let a be (5 + -2)*4/10. Which is greater: a or d?
d
Let l(s) = 3*s**2 + 3*s - 3. Let y be l(3). Suppose 0 = 3*p + y. Does p = -11?
True
Let j = 27 + -26. Let z(u) = -u**3 - 4*u**2 - u - 1. Let a be z(-4). Suppose 2*g + 3 = -a*y - 7, -5*g = y - 1. Is g > j?
False
Let a = 1.2 - -6.8. Let s = a - 7. Which is greater: s or -1?
s
Let n = -0.37 - -0.19. Let w = n + -0.02. Which is smaller: 1 or w?
w
Let i be 12/(-18) - 14/(-3). Let p be 2/((-5)/((-10)/i)). Let j be 1 + 1 + (-16)/7. Which is smaller: j or p?
j
Let t be -4 - ((-14)/(-3))/(-1). Is 2 less than t?
False
Suppose 2*c - 2 = 4*w, c - 9 = -3*w - c. Let q = -11.9 - -5.6. Let p = 6 + q. Is p not equal to w?
True
Let i = 0 + 3. Let u(a) = -a**2 + 4*a. Let m be u(i). Let l be ((-1)/(-2))/(m/(-6)). Which is smaller: 0 or l?
l
Let g = -5 + 22/5. Let j = -0.2 + 0.1. Which is smaller: g or j?
g
Let j(y) = -y - 8. Let a be j(-5). Is 5 > a?
True
Let v(f) = -3*f - 1. Suppose 3 = -q - 2*q. Let m be v(q). Is -1 less than m?
True
Let b = 24 - 97/4. Let w be 8/36 + 14/18 - 1. Which is smaller: w or b?
b
Suppose -m + 2 + 2 = 0. Suppose -2 = -2*u + m*g, 3*g = -7*u + 2*u - 21. Let z be 2/(-2) - (u + 2). Does 3/5 = z?
False
Let i be 2/8 + 35/4. Suppose 0 = -10*u + i*u. Which is smaller: u or -0.15?
-0.15
Let v = -25 - -377/15. Suppose 14*g + 3*r + 3 = 17*g, -5*g + 5 = -2*r. Are g and v equal?
False
Let c = 0.21 - -2.59. Let a = -3 + c. Let l = 0.3 + a. Which is smaller: -0.1 or l?
-0.1
Let z = 56 + -59. Suppose -8 = -3*d - n, 0*d - 4*d + 18 = 5*n. Let x = d - 4. Is z < x?
True
Let b = -312 - -137. Let p be (-2425)/(-14) + (-9)/(-6). Let h = b + p. Is h less than 1?
True
Let c be 0 + (-2 - 3/(-3)). Suppose -3*f - 2 = -f. Is c > f?
False
Let l = 30 + -34. Which is bigger: 1 or l?
1
Suppose -j + 3 = -1. Suppose -j*m = -0*m - 20. Which is greater: 4 or m?
m
Let q = 34 - 33.9. Does 1.5 = q?
False
Let c(o) = -o**2 + o + 8. Let k be c(0). Suppose -9 = 3*l - 6*l. Suppose -4*a + 7 = -l*a. Are a and k equal?
False
Let u be 64/(-16)*(-5)/(-2). Let p = u + 39/4. Is 2 equal to p?
False
Let d(o) = o**3 - o**2 + 2*o - 4. Let a be d(2). Suppose h = a*t - 6, -2*h + 4*h - 1 = -5*t. Which is smaller: h or 0?
h
Suppose -c = -2*g - 24, 3*c - 7*c + 4*g + 100 = 0. Which is smaller: 2/5 or c?
2/5
Let c = -11 + 10.9. Let s = c + 0.3. Which is smaller: s or -1?
-1
Suppose -6 = -3*k - 5*r, -3*k - 12 = 2*k + r. Let t = 2/137 + -143/411. Which is bigger: k or t?
t
Suppose -3 + 11 = 4*i. Let m be (-11 + -1)/((-3)/(-2)). Let r be (-2)/(-5) - m/(-20). Are r and i nonequal?
True
Let s be ((0 - -4) + -5)*2. Which is greater: s or -5?
s
Let r = 2 - 1. Let p = -0.9 + r. Let m = 7 - 6. Do p and m have different values?
True
Let a(g) = -6*g + 2. Let p be a(1). Let x be (((-8)/3)/p)/(-4). Is x <= -1?
False
Let n(s) = 6*s + 4. Let b be n(4). Suppose -b = -t - 3*t. Let v = t - 11/2. Which is greater: v or 2?
2
Suppose -5*s - 1 = -5*h - 11, 2*s - 4 = -4*h. Let t be h/(0 - (-3 + 5)). Is t smaller than -0.2?
False
Suppose -b = 3*h + 2*b + 9, -5*h = 2*b. Suppose x - 5*l = -23, -5 = x - 4*l + 5*l. Let w = 10 + x. Is w at least as big as h?
True
Let o = -0.04 + -1.96. Let p = -0.1 + o. Let w = p - -2. Which is bigger: w or -2?
w
Let p(k) = 3*k**2 + k - 1. Let l be p(1). Suppose 0 = 4*d - q - 1 - 18, 3*d + 4*q = 0. Is l bigger than d?
False
Suppose 0 = p - 5*g + 7, p + 4*g - 7 = 31. Suppose -a = 2*a - p. Are 6 and a nonequal?
False
Suppose -2*x + 5*m - 105 = 6*m, 4*x + 235 = 3*m. Do -53 and x have the same value?
False
Let u = -5 - -20. Let j be (-6)/u - 704/(-10). Let y be 2/10 - (-6)/j. Is 1 at least as big as y?
True
Let p(b) = -b**3 - 3*b - 1. Let i be p(2). Let x be 2/i + (-8)/30. Do -1 and x have the same value?
False
Let t(k) = k - 10. Let x be t(6). Do -5 and x have the same value?
False
Suppose -9*z - 18 = -5*z - 2*b, 5*z + b + 5 = 0. Which is smaller: z or -1/5?
z
Let l = 48 + -143/3. Let i = -1.1 + -1.6. Let m = 3 + i. Does l = m?
False
Let x = 440 + -3085/7. Is x at least 1?
False
Suppose 3*v = -1 - 2. Let o be -1 - (v - -1)/(-1). Is 0 != o?
True
Suppose 2*r = 4*a - 142, 75 = a + 5*r + 12. Is 39 < a?
False
Let s be ((-4)/222)/(6/18). Is s < -0.1?
False
Let x = -0.3 - -0.4. Is x >= -6?
True
Suppose 0 = -10*g + 9*g + 2. Let o = g - 10. Is -9 < o?
True
Let z be ((-28)/6)/2 - -2. Let o = 0.1 + -0.2. Is o smaller than z?
False
Suppose 2*a = 7*a - 20. Suppose o + o = 0. Suppose -4*d = 2*g, o = -a*d + 4*g + g. Which is smaller: d or 1/9?
d
Let f be (1*3/3)/(-1). Let c be f*1 + (-16)/(-40). Which is smaller: -1 or c?
-1
Let c(n) = n - 1. Let d be c(4). Suppose -d*h + 10 = 2*h - 5*r, 3*h - 5 = 2*r. Which is smaller: -0.2 or h?
-0.2
Let g be (-29)/(-510) + 4/(-10). Let h = g + 3/17. Let s be (-1 - -1 - -2) + -1. Is s > h?
True
Let r = 8 - 4. Suppose 5 = 3*c - 7. Let m = -3 + c. Which is greater: m or r?
r
Let u = 0.047 - 0.097. Does -1 = u?
False
Let a be (-19 + 19)/(-1 + -1). Which is smaller: a or 3/11?
a
Let h = -5.11 + 0.11. Let d = h + 5. Let l = -3 - d. Which is smaller: l or -2/5?
l
Let w be 8016/(-30240) - 1/9*-2. Which is smaller: -1 or w?
-1
Let s be 92/(-28) - (-4)/14. Let v(j) = j**3 + 6*j**2 - 6*j + 4. Let o be v(-7). Is s at least as big as o?
True
Let h(i) = -i**2 - 5*i + 7. Let k be h(-6). Let u be k - (3/(-6) + 2). Are -0.1 and u equal?
False
Suppose 2*p + 0*s + s = 0, -5*p = -5*s - 15. Suppose -7*o + p = -8*o. Which is smaller: o or 1/8?
o
Let b be (-2)/(-12)*3*18. Let u(x) = -x**2 + 9*x + 2. Let g be u(b). Which is smaller: 1 or g?
1
Let h = -10 + 4. Which is smaller: -8 or h?
-8
Let g(u) = 2*u**2 - 2*u. Let l be g(2). Let q(b) = -b**3 + 5*b**2 - 5*b + 3. Let n be q(l). Let i = 0 + n. Is i bigger than -1?
False
Let b = -27/16 + 31/16. Let w(i) = -i + 4. Let s be w(3). Suppose 2 - s = d. Which is smaller: b or d?
b
Let m be (0 - 0)/(-29 - -31). Which is bigger: 36 or m?
36
Let m be ((-6)/(-8))/((-3)/2). Which is bigger: 0 or m?
0
Suppose -5*k - 5 - 5 = 0. Let a be 10*(k