p**2 - 17*p + 2. Let b be l(-8). Suppose -y = -3*y + 18. Which is smaller: y or b?
y
Suppose 0 = 9*g + 16 + 20. Are g and 2 unequal?
True
Let p = -0.2 - -0.4. Let d be ((-36)/150)/((-6)/10). Is p bigger than d?
False
Let t be 2 - (2 + -1)*16. Does t = -15?
False
Let p = 2 - 1.99. Let z be -2 - (-1 + -2)/1. Is z at most as big as p?
False
Let g(n) be the third derivative of -5/6*n**3 + 0 - n**2 + 1/24*n**4 + 0*n. Let k be g(4). Is k at least as big as -1?
True
Let b = 295 + -167. Which is bigger: b or 0?
b
Let s = -4.9 + -0.1. Let c = s + 5.3. Let b = c - 0.3. Is b at most as big as 0?
True
Let a(f) = 6*f**2 - 6*f + 6. Let j be a(1). Is j smaller than -1/4?
False
Let s(l) = 2*l + 12. Let i be s(-7). Suppose -b = -2*f - 10, 4*f + b + 19 = -7. Let t be -2*(f/(-4) + i). Are 0 and t non-equal?
True
Let c = -14 - -13. Which is greater: c or -2/19?
-2/19
Suppose 14 = -u + 5. Which is smaller: u or -14?
-14
Let i be (20/1)/((-64)/32). Is -8 equal to i?
False
Let k = 1.03 + -1. Let z = k + -0.01. Are 0.1 and z non-equal?
True
Let z = 2 - 8. Let r = z + 4. Is -2/17 < r?
False
Let z = 58 + -59. Is 10 > z?
True
Let s = 2 - 2. Which is greater: s or 3/8?
3/8
Let i = 0.44 - 0.5. Let v = i - 2.94. Let j = -1 - -2. Which is greater: v or j?
j
Let n = 2.5 + -2.8. Which is smaller: 1/5 or n?
n
Let s = -0.37 + 1.37. Let v = 5.09 - 0.09. Is s < v?
True
Suppose 2*s - 4 - 12 = 0. Suppose 3*v - s = v. Let k(x) = x**2 - 3*x + 1. Let y be k(v). Is y smaller than 6?
True
Suppose 2*k = -3 + 9. Let q = -6 - -9. Suppose q*p + 0 = 6. Is p greater than or equal to k?
False
Let s = -6 - -11. Let i = -4 + s. Which is greater: i or -2/7?
i
Let q = -4 + 9. Suppose -q*y - 164 = 46. Let u be -4*(y/20 - -2). Is 1 at least as big as u?
True
Let x be (-2)/7 - 164/14. Let j be 4/(-10) - x/(-20). Is j at most -1?
True
Suppose 0 = -2*y - 3*j + 33, 0 = -2*y - 2*j + 3*j + 37. Which is smaller: 56/3 or y?
y
Let n be ((0/2)/(-1))/2. Suppose 7*l - 4*l = n. Is -0.1 at most l?
True
Suppose b = 2*u - 3*u + 17, 3*u - 9 = -b. Which is smaller: b or 22?
b
Let s = 12 + -15. Which is bigger: s or -2?
-2
Suppose -18*q + 19*q + 4*c - 15 = 0, -q = 2*c - 7. Let o be 1/51*(3 + -4). Does q = o?
False
Let d be ((-6)/(-2))/1*-1. Let h(o) = 3*o + 2. Let m be h(-2). Which is bigger: m or d?
d
Let f = 0.12 - 5.12. Let l = f - -8. Let h = 0.2 - 0.1. Which is smaller: h or l?
h
Suppose -2*p - 9 = 1. Let t be (-2)/p + 14/(-20). Is t greater than -1?
True
Let d(b) = -b**3 - 9*b**2 - 9*b - 4. Let k be d(-8). Suppose -31 = -2*f - 4*g - 5, -2*g = 5*f - 25. Suppose -f*l + 11 = 2. Is k < l?
False
Let l = -218/65 + 54/13. Which is bigger: 2 or l?
2
Let l = 66 - 14. Are 53 and l unequal?
True
Let m = 356 - 205. Let f = -1659/11 + m. Which is smaller: -1 or f?
-1
Let m = -101 + 99. Which is bigger: m or 40?
40
Let b = 7 - 4. Are 2 and b non-equal?
True
Let c(k) = -k**2 + 2*k + 1. Let g = 2 + 0. Let r be c(g). Let y be ((-4)/24)/(r/2). Which is smaller: y or -2?
-2
Let p = -20 - -18. Let v be p/(-6) - 9/189. Do v and 1 have the same value?
False
Let d = -3.1 + -2.8. Let m = d + 6. Which is smaller: m or 2?
m
Suppose 0 = o + 3, 2*o - 4 = -3*f + 5. Suppose 0 = -f*b, -w - 9 + 4 = b. Which is greater: w or -3?
-3
Let p = -14.68 - 0.52. Let b = -15 - p. Which is greater: b or -4?
b
Suppose 0 + 6 = 2*o. Let k(u) = 3*u - 7. Let g be k(4). Which is bigger: o or g?
g
Let s be (-76)/(-12) - 2/(-3). Suppose -4*y - 4*a + 22 = -2*a, 4*a = 3*y - 33. Let l be y - (-1 - 0/(-2)). Which is greater: l or s?
l
Let u(z) = z - 7. Let v be u(9). Is -0.2 less than v?
True
Let t(i) = -4*i + 27. Let r be t(7). Let x(d) = -5*d**3. Let z be x(-1). Suppose -z*o + 7 = 22. Is o greater than r?
False
Let t be 8/12 - 6/36. Let s = -3 - 0. Which is smaller: t or s?
s
Let y = 2.7 + 0.3. Let g = -1 + y. Which is smaller: -3 or g?
-3
Suppose 5*i - 3*y = 6, -5*i + 4 = y - 3*y. Let f(s) = 10*s - 7 + i*s**2 - 2*s**2 - 8*s**2 + s**3. Let d be f(9). Which is bigger: d or 0?
d
Let c be ((-11)/(-2))/((-7)/14). Let y = c + 7. Which is greater: -3 or y?
-3
Suppose c - 4*y + 4 = -4, 2*c + 7 = 5*y. Let h(f) = f + 1. Let v be h(c). Let q be 22/v + 2/(-5). Do 2 and q have the same value?
False
Let g be -5 - -1 - (-14 - -2). Is 8 > g?
False
Let q be 18/8*7*4/336. Which is smaller: q or -1?
-1
Let g = -1 - -1. Let u = 1 - g. Is 1 at least u?
True
Suppose 18 = -3*k + k. Let n(b) be the third derivative of -b**5/60 - 5*b**4/12 - 3*b**3/2 + 2*b**2. Let c be n(k). Is c <= 0?
True
Let k be 525/(-540) - 6/(-8). Is -0.2 != k?
True
Let p be ((-84)/(-9))/(-7)*9/2. Does -7 = p?
False
Suppose 2 = -2*t + 4. Is t less than 3/2?
True
Suppose 48*t + 50 = 53*t. Is 11 not equal to t?
True
Let p = -11 + 14. Suppose p*i + 3 = 4*i. Is 2 less than i?
True
Let h be (1 + -4)*(-30)/18. Suppose 0 = 5*i - 0*i - h. Let g be (1/2)/(2/(-2)). Is i > g?
True
Suppose -c = -2*c - 1. Let k = 15/4 + -71/20. Is c at most k?
True
Let q = -7/10 + 1/5. Which is bigger: -4/3 or q?
q
Let z(n) = -2*n. Let m be z(-3). Let u(h) = -h + 4. Let v be u(m). Let j(x) = x - 3. Let t be j(0). Which is smaller: t or v?
t
Let w = -252 - -503/2. Suppose 25 = -2*y + 5*o, -3*y = -4*y + 5*o - 25. Which is smaller: w or y?
w
Let i be 0/(1 - 4/(-4)). Let a = -33/2 + 16. Is i bigger than a?
True
Let t be (-2)/3*6/(-10). Let u = 0.9 + -1.6. Let z = -0.7 - u. Which is smaller: z or t?
z
Let w(u) = -u + 7. Let h be w(7). Suppose h*r = -r + 1. Is -0.1 equal to r?
False
Let q = 4 + -8. Let a be -3 + (0 - (2 + 1)). Which is smaller: q or a?
a
Let m(p) = p**2 - 6*p + 1. Let v be m(3). Let o be -1 + 3*v/(-36). Is -1 at least as big as o?
False
Let a = -104 - -85. Which is smaller: a or -18?
a
Let u be (-3)/12 + (-26)/(-40). Let g(j) = -2*j - 7. Let z be g(-6). Suppose -4 = -5*y - 2*o, z*o = 3 + 7. Which is bigger: y or u?
u
Suppose 2*c + 6 = -2*l - 2, 4*l + 5*c + 16 = 0. Let f(m) = -17*m**2 - 1. Let k be f(1). Let h be (l/9)/(12/k). Which is smaller: h or 0.06?
0.06
Let h be ((-98)/18)/((-9)/54). Let f = h + -32. Which is greater: f or 0.6?
f
Suppose m + 59 = 4*v, v - m = -0*v + 11. Suppose 0 = 4*r - 37 + 93. Let o be 4/r - v/(-7). Are 4 and o unequal?
True
Let w = 6.7 + 2.3. Let u = -8 + w. Which is smaller: u or -0.5?
-0.5
Let h = -150 + 753/5. Which is bigger: 0 or h?
h
Let q = 3 - 2. Let a = 10 + -9. Let m = a + -2. Which is smaller: q or m?
m
Let k be (10/(-4) + 0)*2. Let l be (k/(-15))/((-2)/(-12)). Which is smaller: l or 4/5?
4/5
Let r = -2/370913 + 834925193/5563695. Let m = -150 + r. Which is smaller: -1 or m?
-1
Let y = -2/797 - 1508/34271. Which is smaller: y or -0.2?
-0.2
Let f = 25 - -5. Let d be f/4*4/(-20). Is d at most -3?
False
Let a be 72/(-27)*(-6)/(-4). Let u be 2 - (a + (0 - -2)). Which is bigger: 2 or u?
u
Let v be (3 + 0)*2/(-6). Let q be -5 + v + 2 + 0. Does q = -5/2?
False
Let l = 2 + -2. Let y = 0 - l. Let w = -178 + 177. Which is smaller: y or w?
w
Let w = -140 - -982/7. Is 123 at least w?
True
Let v(j) = -j**2 - 2*j + 4. Let n be v(-3). Suppose -3*r + 2*x = -366, r - 135 = -0*r + 5*x. Let g = -477/4 + r. Is n != g?
True
Suppose 3*a + a = 3*q + 202, -10 = -5*q. Suppose 6 + 14 = 4*l, -4*g - 4*l = -a. Does g = 13/2?
False
Let o be ((-3200)/808)/2 + 2 + 0. Is o < -1/4?
False
Let o = -79/4 - -19. Which is greater: o or 0.09?
0.09
Let m(u) = u**3 - 4*u**2 + 3*u. Let j be m(3). Suppose 0 = 2*q - 3 - 15. Let g be 3*(-6)/q - -2. Is j > g?
False
Let h(z) = 3*z - 5. Let n be h(3). Suppose -5*k - 45 = 5*y, -4*y - 2*k = y + 33. Let b = y + 10. Which is smaller: b or n?
n
Let l = 0.2 - 0.3. Let u = 3 + -2.96. Let h = -1.96 - u. Which is smaller: l or h?
h
Let n be 65/(-26)*8/2. Is n at least -13?
True
Let y(l) = l + 3. Let h be y(2). Is 3 at most h?
True
Let x = 13 - 11. Let t = -5 - -6. Is x at most t?
False
Let o = 5 + -2. Let g(d) = -d**3 + 4*d**2 - 4*d + 3. Let v be g(o). Which is greater: v or 1?
1
Let s be (49/(-21))/((-3)/(-9)). Which is smaller: s or -8?
-8
Let t(z) = -z**3 + 2*z**2 + 2*z + 3. Let h be t(3). Suppose h*i + i - 17 = 0. Suppose 2*m = b + 3, 2*m - 2*b = -5*b - i. Which is smaller: m or -2?
-2
Suppose -5*b - 21 = l, -4*l + 3*b + 35 = l. Is 4 less than l?
False
Let z(a) = -a - 7. Let h be z(-13). Suppose 3*u + 3 - h = 0. Is 1/6 smaller than u?
True
Let r be 1593/3*(-4)/(-12). Let j = r - 4427/25. Which 