r: -0.2 or g?
-0.2
Let l = 30 - 16. Suppose -5*c + l = w, w + 0*c - 11 = -4*c. Is -2 at most w?
True
Let g(u) = u**2 - 10*u + 12. Let q(m) be the first derivative of -3*m**2/2 - 9*m - 1. Let t be q(-6). Let n be g(t). Is 3 equal to n?
True
Let w be (-2)/(-3)*(-1)/5. Suppose 0*q - 9 = 3*q. Let n be 2*(14/4 + q). Which is bigger: w or n?
n
Suppose 0 = 2*q - q - 3, q = -2*n + 9. Suppose 9 - n = -3*f. Let k be 1*(-9)/(-3) + -4. Is k <= f?
False
Let s = -277637/57 + 4871. Is s greater than 1?
False
Let n be -1 + (-5)/1 + -1. Let f = n + 11. Is 4 greater than f?
False
Let p = 2/25 - 56/75. Let j = -13 + 3. Let u = 9.9 + j. Is p < u?
True
Suppose 4*y = -y + 30. Suppose -3*q = 2*o - 36, -o + 2*q - 68 = -y*o. Let b be o/(-104)*(0 - -2). Which is greater: b or 1?
1
Let m = -2 + -2. Let s be 30*((-10)/m)/5. Let l be (3/s)/((-2)/(-25)). Which is greater: l or 3?
3
Let z = -80885/78 - -1037. Which is bigger: z or 1?
1
Let s(k) = 3*k**2 - 10*k + 16. Let g(y) = y**2 - 3*y + 5. Let j(z) = 7*g(z) - 2*s(z). Let p be j(0). Suppose -p*i - 3 + 0 = 0. Are -3 and i nonequal?
True
Let m = -61.93 + 62. Let l = -0.9 + -0.1. Which is smaller: m or l?
l
Suppose 0*c + 4 = 2*c. Let y be c/(3 + 1 + 10). Let n(o) = -o - 2. Let l be n(-2). Which is smaller: l or y?
l
Let w = 0.03 - 0.09. Let r = 0.06 + w. Which is smaller: -1/3 or r?
-1/3
Let k = 12494095/104 + -120134. Let g = k - 15/13. Is g <= 0?
False
Let c be (0/(-1))/((-5)/5). Suppose 3*f = 2*f - 4*j + 18, c = 4*f + 4*j - 24. Which is greater: f or -1?
f
Let n(v) = -v**3 + 5*v**2 + 7*v - 5. Let f be n(6). Is f smaller than 0?
False
Let w(k) = k**3 - 9*k**2 - 2*k + 13. Let z be w(9). Let x be (-2)/(-4) - z/10. Which is bigger: x or 8/7?
8/7
Let x(t) = -t**2 + 5*t + 5. Let j be x(6). Let y = 491.7 + -490. Do y and j have different values?
True
Let d(u) be the first derivative of -u**4/4 + 2*u**3/3 + 3*u**2/2 - 3*u - 2. Let l be d(3). Does -1 = l?
False
Let i(a) = -2*a - 15. Let z be i(0). Which is bigger: -16 or z?
z
Let q = -20305 - -142953/7. Let c = 116 - q. Is 0 less than c?
False
Suppose -2*v = 0, 8*s - 3*s - 3*v = 0. Is 3/11 < s?
False
Let x(j) = -2 + 0*j**2 + 1 - 5*j**2 + 2*j + j**3 + 3*j**2. Let w be x(2). Suppose -4*c + 7 = w. Is c at most as big as 0?
False
Let g be (-3356)/(-24) + 1/6. Let k = 3639/26 - g. Do k and 1 have different values?
True
Suppose -3*x + 0*x - 9 = -w, 5*x + 31 = 3*w. Let y be (3/(w/(-8)))/1. Which is smaller: y or -2/3?
y
Let w = -173 + 152. Which is bigger: -19 or w?
-19
Let c = 4 + -6. Let r be 0 - (1 + -6)*1. Suppose r*s = s - 12. Is s < c?
True
Let f be 24/(-35) - (-4)/14. Let u = -241 - -246. Does f = u?
False
Let q(z) = -2*z**3 + 8*z**2 + 6*z + 11. Let k be q(5). Is -1 at most k?
False
Let d be ((-4)/(-7))/(2/(-20)). Is -0.1 less than d?
False
Suppose 3*c + 5*n = n - 1, 2*c + 19 = n. Let y(m) = 2*m**2 + 9*m - 7. Let g be y(c). Let j = -254/9 + g. Are j and 0 non-equal?
True
Let j be (-768)/(-2541) - (-2)/(-7). Is -1 smaller than j?
True
Suppose 48 = -6*o + 2*o. Let r be ((-2)/o)/((-57)/(-12)). Let x = 47/285 + r. Is 1 bigger than x?
True
Suppose 39 = -5*l - 2*s + s, -19 = l + 3*s. Let x = -11 - l. Which is greater: x or -2?
-2
Let p = 8 - 11. Are -5 and p equal?
False
Let p = 3.2 + -3.1. Which is smaller: p or 0?
0
Let k be -2 + ((-3)/4)/1. Let m = -29/12 - k. Which is bigger: m or 0?
m
Let o be 1 + 3/((-6)/(-3515)). Let p = o - 1693. Let d = p - 67. Which is bigger: d or 1/4?
1/4
Suppose 0*l = 3*l - 12. Suppose l*v + 0 = 12. Are 4 and v equal?
False
Let g = 8 - 16. Let o = g - -2. Is -6 >= o?
True
Let m(n) = n**3 - 4*n**2 - 5*n + 3. Let o be m(5). Let f be 3*(2 - o)*-1. Is 5 equal to f?
False
Let u = -89 - -89.46. Which is bigger: -0.2 or u?
u
Let b(y) = 2*y + 11. Let x be b(-10). Let s be (1 + 0)*0/x. Which is bigger: -1/19 or s?
s
Suppose -3*l - 13 = -0*n + n, -l - 2*n - 6 = 0. Let v be l/(-18) + (-70)/(-9). Is 8 bigger than v?
False
Suppose -5*d - 20 = -5*u, 2*u + 5 = d + 4*u. Which is smaller: d or 1/8?
d
Let r = 17.6 + -2.5. Let g = r - 15. Which is smaller: g or -4?
-4
Let s(n) = -2*n - 28. Let u be s(-15). Which is bigger: 7/6 or u?
u
Suppose 11 = 5*a - 9, -4*a = 5*w - 16. Suppose 0 = -0*n - n - 4. Is n < w?
True
Let b be 2 + 0 - (-9)/((-36)/8). Is -3/5 less than b?
True
Let y(o) = -o**2 + 9*o + 220. Let c be y(-11). Let g(d) = d + 8. Let b be g(-6). Is c < b?
True
Let f = -54 - -431/8. Is f greater than or equal to -2?
True
Let q = 2 - 2.2. Let s be 5/(-2) - (0 + -1). Is q < s?
False
Let l be (0 - (-2 - -2))/1. Suppose o - 3*y - 1 - 6 = l, -o = -5*y - 9. Suppose -f = -o*f. Which is greater: 4 or f?
4
Let j be ((-4)/(-4))/((-2)/12). Let d be (12/9)/((-4)/j). Suppose 16 = -2*l - 2*a, 0 = -d*a - 6 - 2. Which is greater: -5 or l?
l
Let d(p) = -p**2 - 16*p - 30. Let n be d(-12). Is -1 at most n?
True
Let t = 9 - 9.3. Let u = t + 0.3. Is u less than -1?
False
Let i = -3 + 4. Let q(s) = -2*s - 4. Suppose -9 = -u - 3*d, 0 = -5*u - 2*d - d - 3. Let l be q(u). Which is smaller: l or i?
i
Let v(l) = -l**3 + 13*l**2 + l - 13. Let w be v(13). Which is greater: 8 or w?
8
Let j = 33 - 65/2. Suppose 2*n + 1 = 4*l - 13, -4*n = 5*l - 24. Is n <= j?
False
Let z = -1 - 6. Which is smaller: -8 or z?
-8
Suppose -3*u = -5*u - 2. Let r be -2 + ((-3)/2)/u. Is -2 not equal to r?
True
Let z(p) = -p**2 + 8*p - 2. Let k be z(7). Suppose -k*u + 25 = 0, -5*o - 81 = -4*u + 54. Let g = o - -14. Which is smaller: -8 or g?
g
Let w be (-1 - 111)/(6/11). Let i = -207 - w. Are i and -2 equal?
False
Suppose 3*d + 15 = -3*i, -5*d - 45 = -3*i + 4*i. Which is smaller: 0 or d?
d
Let q = 2/119 + -19/119. Is q >= 0?
False
Let z = 39 + -42. Is z less than -2/7?
True
Suppose 3 + 1 = g. Let w(s) = -2*s**3 - 3*s**2 + s + 2. Let i be w(-2). Is i bigger than g?
False
Let m(c) be the first derivative of c**2/2 + 2*c - 6. Let z be m(-14). Are 1 and z unequal?
True
Suppose g + 4 + 2 = 0. Let m(v) be the third derivative of -v**4/24 - 7*v**3/6 + v**2. Let a be m(g). Which is smaller: -1/2 or a?
a
Let c be 3/4*(-14)/(-3). Suppose -m + 0*p + 5 = 2*p, 5*m - 5*p - 25 = 0. Is m not equal to c?
True
Let v be 1/2*2*1. Suppose -5*h + 2*n - 21 = -2*n, -h = -5*n. Let d(z) = -z**3 - 4*z**2 + 6*z + 7. Let g be d(h). Which is smaller: g or v?
v
Let r(k) = -k. Let l(v) = -12*v + 2. Let t(m) = -3*l(m) + 30*r(m). Let p be t(-6). Let w be (-18)/p - (-1)/(-1). Which is smaller: w or 0?
w
Let o = -0.06 + -0.04. Let p = -2.9 + o. Is p < 1/2?
True
Let d(b) = b**3 + 3*b**2 - 2*b + 2. Let j be d(-4). Let o = 5 + j. Which is smaller: o or 2/9?
o
Suppose -9 - 13 = 5*r + 2*l, -5*l + 11 = -4*r. Let n be 1 - (104/(-18))/r. Let m = 1/2 + 1/6. Is n equal to m?
False
Let i = 2.1 - 19.1. Is i > 1?
False
Suppose -3*v - 29 + 17 = 0. Is v < -11/4?
True
Let i = -61 + 677/11. Which is bigger: -1 or i?
i
Let j(g) = -2*g**2 - 11*g - 6. Let m be j(-5). Is -2/63 not equal to m?
True
Let f = -130 + 129. Which is bigger: f or -1/3?
-1/3
Let c(x) = x + 11. Suppose -4*n + 2*n = 16. Let s be c(n). Is 4 greater than s?
True
Let f = -608/7 - -87. Let p = -1.8 - -2. Let l = 0.4 - p. Which is smaller: l or f?
f
Let x be 21/(-12)*1 + 39/52. Which is bigger: x or 1/4?
1/4
Let q be 0 - 2 - (-688)/376. Let c = q - 109/188. Does c = 0?
False
Suppose 2*v = 5*h + 24, -2*v - 3*v + 3*h + 22 = 0. Are v and -0.8 unequal?
True
Let o be ((-12)/(-28) - (-444)/(-7)) + 0. Which is smaller: o or -0.1?
o
Let x = 9 - 5. Suppose -20 = y + x*y. Is -4 > y?
False
Let v = 1.1 + -2. Let f = -0.8 - v. Do f and 2/9 have the same value?
False
Suppose -20 = 3*w + t + 8, w + t + 12 = 0. Let l = -19 + 10. Is l != w?
True
Let a = -3 - -5. Suppose -a*o = -3*o - 1. Which is smaller: o or -2?
-2
Let c be (-20)/(-45)*(2 + 1). Is c greater than or equal to 1?
True
Let z = 0 - 0. Let b be (-4)/(64/300) - 3. Let q = b - -22. Is q <= z?
False
Let o be ((-48)/18)/(3/((-90)/(-4))). Which is smaller: -19 or o?
o
Let g be -2 + -12 + (-12)/4. Is g greater than -1?
False
Let i = 23/84 + -1/42. Which is greater: -1 or i?
i
Suppose -5*j - 3*c + 36 = 0, -4*c + 38 = 5*j - 0*c. Suppose -3*o + 0 = -j. Which is greater: 1/2 or o?
o
Let k = -3/7 + 71/84. Which is greater: 0 or k?
k
Suppose 1581 = -23*l + 132. Which is smaller: l or -65?
-65
Let p(h) = -2*h**3 + h**2 + 2*h + 1. Let t be p(-1). Suppose -t*c + 50 = -12. Suppose 