r: -5 or i?
i
Let t be 1 + 1 - (-5 + 7). Which is bigger: t or 11?
11
Let q(n) = 4*n**3 + 8*n**2 + 3*n + 5. Let l be q(-6). Let f = 2513/4 + l. Let d = f - 39. Is -1 less than d?
True
Let b = -0.4 + 0.4. Let j = 0.1 + b. Let w = j + 0. Which is smaller: -1/2 or w?
-1/2
Let t(h) = 2*h - 1. Let w be t(9). Let a be w + (-2 + 2 - 4). Which is greater: a or 1?
a
Suppose a = -0*a + 2*a. Which is greater: a or -1/92?
a
Let y be (-4)/(-6)*3/6. Does 0 = y?
False
Suppose -i + 40 = 3*i. Let m be (-22)/i - 1/(-5). Is 1 greater than m?
True
Let o be (-3968)/(-198) - (-8)/(-36). Let w = -20 + o. Is w > -1?
True
Suppose g + s - 3 = 0, -5*g = -5*s - 20 - 45. Which is bigger: 7 or g?
g
Suppose -2*l - l - 3 = 0. Let a = 1 + l. Which is smaller: -2/21 or a?
-2/21
Suppose 0 = r + 2 - 1. Let a(j) = -11*j + 1. Let v be a(1). Let i be 8/v - (-1 + 0). Is r smaller than i?
True
Let m = 153 + -2909/19. Let w(y) be the third derivative of -y**5/60 - y**4/6 + y**3 + 3*y**2. Let n be w(-5). Which is smaller: m or n?
m
Let y(z) = -3*z**2 - 7*z. Let h be y(-5). Let d be (-16)/h - 2/5. Let u = 1 - 1.1. Which is bigger: d or u?
d
Let x = 6/113 + -5323/226. Let s = x - -97/4. Which is smaller: s or 1/3?
1/3
Let q = 0.07 - 0.67. Let a = 0.81 - 0.11. Let o = a + q. Is 1 less than or equal to o?
False
Let f be (-2)/3 - (-10)/6. Let j be (f/(-3))/(1/2). Is -3 at most j?
True
Suppose 18 = -6*w + 3*w. Let b(t) = -t - 5. Let z be b(w). Which is bigger: z or -1/5?
z
Let k = 9 - 25/3. Let z(f) = f**3 + 3*f**2 - 6*f - 6. Let v be z(-4). Is v smaller than k?
False
Let d = 0 + -0.1. Let c = -0.2 - d. Let g = c - -0.1. Which is smaller: 0.2 or g?
g
Let n be (-5)/(-9) + (-4)/18. Is -1/3 smaller than n?
True
Let z(u) = u + 10. Let i be z(0). Is i > -3?
True
Suppose -2*w = -w. Let n = w - 1. Is -1 at least n?
True
Suppose 10 = -5*u - 40. Let j be (4/78)/(u/(-15)). Which is smaller: j or 0?
0
Suppose g = -3*g - 8. Suppose 0 = 2*l - l - 5*i + 25, 3*i = -5*l - 13. Let d = l + g. Which is smaller: d or -6?
d
Let s = -2 - -1. Let c = -3 - -5. Is s < c?
True
Let n = 12 - 8. Suppose -4*b - b - 9 = 4*a, 2*b + 2*a = -n. Let y(z) = z**2 - 6*z + 6. Let l be y(4). Which is bigger: l or b?
b
Let d = -1.43 - -0.03. Let z = -0.4 - d. Let g = 1.6 + -1.55. Is g smaller than z?
True
Let v = -7 + 7.03. Let q = v + -0.13. Which is smaller: q or 0.9?
q
Let q = -2.5 - -0.5. Let o = 4.1 + -3. Let n = 0.9 - o. Which is bigger: q or n?
n
Let h be 46/(-4) - (2 - 1). Let f be 3 + 483/(-30) + 0. Let n = h - f. Is n at most 1?
True
Let v(c) = c**2 + 4. Let q be v(-4). Let d be (4/q)/(4/5). Let r = -0.03 + 0.13. Is d smaller than r?
False
Let p be 3/(2 + 2 + (-3 - 3)). Let b = -10 + 16. Suppose -2*v + b*v = -8. Which is bigger: v or p?
p
Suppose -61 = -8*w + 3*w + y, 3*w + 5*y - 31 = 0. Let l(r) = -6*r + 1. Let g be l(-2). Which is bigger: w or g?
g
Let l = -7 - -6.92. Which is smaller: -1/3 or l?
-1/3
Let n(v) = -v**2 - 8*v - 8. Let d be n(-7). Is -1/20 greater than or equal to d?
True
Suppose 0*q = -2*q + 4*c + 62, -5*c = -5. Is q at most 33?
True
Let g = -3.14 - -0.14. Which is bigger: 6 or g?
6
Suppose 9*m - 2 = 25. Which is smaller: 11/6 or m?
11/6
Let x(u) = -u**3 - 6*u**2 + 1. Let q be x(-6). Let a be (-13)/((-52)/24)*2/42. Is a less than or equal to q?
True
Let w = 0.08 + -0.18. Let c = 3 - 2.95. Which is bigger: w or c?
c
Suppose 0 = -2*w + 6, 4*w - 9 = -3*a + 3. Let n be 279/675 - 2/6. Let g = n + 17/100. Which is smaller: g or a?
a
Let x be 3 - 10/(-1) - 0. Which is bigger: 11 or x?
x
Suppose -4*q + 20 = -9*b + 4*b, -5*b - 3*q - 55 = 0. Is b not equal to -6?
True
Let z = 0 - 1. Suppose w - 1 + 2 = 0. Let q be (w + 0/1)*-1. Which is smaller: q or z?
z
Let q(w) = 2*w**3. Let r be q(-1). Suppose -2 = -t - 0. Let j = -5 + t. Is r less than j?
False
Suppose 5*j + 0 = 5*h - 50, 2*h - 44 = 4*j. Which is greater: -10 or j?
-10
Let u be (-4)/6*(-2 - 1). Let d = u + -2. Suppose 0*p - p + 20 = -4*s, p - 2*s - 10 = 0. Does p = d?
True
Let g be 100/(-8)*(-1)/4. Let i = g - 459/152. Is i at least -1?
True
Let w = 1.9 + -0.9. Let p = w - -5. Which is bigger: 1/4 or p?
p
Let h(l) = l**2 - 2*l - 12. Let j be h(-4). Which is bigger: j or 16?
16
Let o = -104 - -65. Suppose -5*y - 33 = -4*y. Let p be 2 - 1 - y/o. Is p at least as big as 0?
True
Let g be ((-6)/4)/((-2)/28*3). Is 7 greater than or equal to g?
True
Let t be (-10*(-6)/15)/17. Is 1 at least t?
True
Let m(b) = -b**3 - b**2 - 5. Let c be m(0). Suppose 5*u = -3*s + 10 + 16, 3*u - s = 10. Let k = c + u. Which is bigger: 0.3 or k?
0.3
Let o = -0.1 + 0.2. Let m = -15 + 31/2. Which is smaller: m or o?
o
Let r(a) = a**2 + 4*a + 1. Let q be r(-4). Let x(o) = -o**2. Let g(j) = 4*j**2 - 3*j + 3. Let k(f) = q*g(f) + 5*x(f). Let c be k(-3). Are -0.1 and c non-equal?
True
Let l(v) = v - 5. Let n be l(6). Let x(p) = -8*p + n - p**2 + 1 - 6. Let r be x(-7). Which is smaller: r or -1?
-1
Let v be 51/7 + 6/(-21). Which is smaller: v or -3?
-3
Let x = 0 + -0.07. Let m = -264 + 262. Is m at most x?
True
Suppose 3*j - 58 = 4*s, -4*j = -4*s - s - 76. Let d be (-8 + 5)*2/j. Which is bigger: 1 or d?
1
Let k be -1 - 4/((-280)/(-242)). Let t = k - -34/7. Are -2 and t unequal?
True
Let o = 4 - -5. Let g(j) = 2*j - o - 1 - j. Let y be g(8). Do y and -3 have the same value?
False
Let r = 1088 - 83777/77. Which is smaller: r or 0?
r
Suppose 0 = 15*g - g - 14. Which is greater: g or -1/75?
g
Let s be -1 + 8*1 + 0. Suppose -2*w + w = s. Let i(h) = h**3 + 6*h**2 - 6*h + 9. Let x be i(w). Is x < 2?
False
Let i = -1.1 + 1. Which is smaller: 0.7 or i?
i
Let x = 16 - 26. Let f = 9 + x. Is -3 >= f?
False
Suppose -2*n = q + n + 15, -2*n = 4*q + 10. Is q greater than 1?
False
Suppose 6*k - k = -10. Let y(c) = 2*c + 3. Let n be y(k). Which is bigger: -3/8 or n?
-3/8
Let k = 0 - -3. Suppose -k*l + 8 = -l, 19 = -5*v + l. Is -1 >= v?
True
Let k be (-1026)/475 - (-1 + 0)*2. Which is smaller: k or -1?
-1
Let m(d) be the first derivative of 5*d**2/2 + d - 1. Let s be 12/(1 - -2) + 0 + -3. Let k be m(s). Is 6 not equal to k?
False
Let x be 2/(-3) + 132/36. Suppose -5*g - 4 = 2*k, -10 = 3*g + 2*g. Let y be (4 - k) + (-4)/(-2). Is x greater than y?
False
Suppose -2*n = -0*n - 4. Let z be ((-7)/14)/(n/(-16)). Is 6 at least as big as z?
True
Let v = -4 + 5. Let k be (-1)/(0 + 0 - v). Let l be 2 - 3/(-1) - 4. Is k bigger than l?
False
Let y = -8 - -14. Which is bigger: y or 2/3?
y
Let q be 0 + 0 - (-7 + 5). Let t(h) = h**2 - 8*h - 5. Let v be t(7). Let s be -1*v/(-9) + 3. Which is bigger: s or q?
q
Let o = -9 + 9. Suppose 5*m - 2*w = 10, -7*w + 2*w - 25 = o. Is -1/3 <= m?
True
Suppose q + 3*i = 8, 0*q - 12 = -3*q - 3*i. Let p = q + -2. Let l be ((-4)/4 - -2) + 8/(-11). Which is greater: p or l?
l
Let d be ((-2)/10)/((-2)/10). Let p(n) = -n**3 + 5*n**2 - 4*n. Let r be p(4). Do r and d have the same value?
False
Suppose -5*p - 114 - 126 = 0. Let v be p/(-2170)*(-135)/10. Let u = v - -2/155. Which is greater: -0.2 or u?
-0.2
Let t = -1.6 - -3.6. Is t less than or equal to -8?
False
Let w = 24 - 12. Let c = -15 - -14.9. Which is smaller: w or c?
c
Suppose 4*a + 208 = -4*i, 4*i + a = 5*i + 58. Let c be 2/(-10)*i/(-44). Is -1 equal to c?
False
Let w be 1 - ((-1)/8)/((-2)/20). Which is bigger: 4 or w?
4
Let b(l) = -l**3 - 6*l**2 - 9*l - 7. Let k be b(-4). Let f = 1 - 2. Let q = 1 + f. Which is smaller: q or k?
k
Let q = -16 - -16. Does q = -3?
False
Suppose 0*d - 3*d = -66. Let y be d/24 - (-10)/(-15). Is y at least 5/6?
False
Let z = 149/595 + 3/85. Which is greater: z or 0.1?
z
Let s be (-1 - -3)*(-33)/2. Let d be s/(-21) - 8/14. Is 6 at least d?
True
Let o be 19/33 - 6/9. Suppose -5*m + 2*m = 3. Is m < o?
True
Let m(z) = -z - 4. Let g be m(-3). Let f be (g/1)/((-1)/(-2)). Suppose -2 - 4 = 3*j. Do j and f have the same value?
True
Let o(k) = k - 7. Let p be o(11). Suppose -3*m - 4*x = -17, m - 3*x = -p*x + 4. Let z = -201/8 - -25. Is m at most as big as z?
True
Suppose 2*q = 3 - 1. Let p be 4 + (-80)/22 - (-8)/(-44). Which is bigger: p or q?
q
Suppose -2*x + 12 = -8. Is 9 at least x?
False
Let k = 3 - 0. Let n = k + -2.9. Let d = n - 0. Are 2 and d equal?
False
Let q = 0.04 + 3.96. Let w = -0.7 - -1.3. Let y = 0.5 - w. Is q < y?
False
Suppose 4*c + 29 + 11 = 5*j, 0 = 4*c. Suppose j = 5*o + 3. Is o less than -2/5?
False
S