. Let p = c + -1.8. Is -0.3 at least p?
False
Let v(l) be the first derivative of l**2/2 - 12*l - 2. Let t be v(8). Let r(h) = -h**3 + 4*h**2 - 4*h. Let c be r(3). Which is smaller: t or c?
t
Let a be ((-1)/5)/(8/(-20)). Is a at most 26?
True
Suppose 5*g = g - 24. Which is greater: -4 or g?
-4
Let z = -1 - 0. Let g be (z/6)/((-35)/(-14)). Which is smaller: g or 1?
g
Let h(r) = -2*r + 29. Let u be h(16). Which is smaller: u or -15?
-15
Let j = -40 + 57. Let l = j - 12. Let q be 5/(-1)*2/(-2). Is l bigger than q?
False
Let u = -110 + 111. Is u at least 5/8?
True
Let l = 4 + -1. Let g(u) = -u**2 - 3. Let j be g(0). Let t = j + l. Which is smaller: 2/7 or t?
t
Let c(i) = -i**2 + 8*i - 1. Let y be c(7). Let r = 10 - y. Suppose -r = 3*z - u + 5, -4*z + 5*u - 12 = 0. Which is smaller: -2 or z?
z
Let i be 6/4*(-4)/3. Let z be 0/(-4) + i/7. Are z and -1/5 equal?
False
Let i be -6 - -4 - (1 - 0). Let s be (-7 - (i - -2)) + -1. Does s = -7?
True
Let s = -31 + 32. Is 1 at most s?
True
Suppose f + 3*h - 8 = -3, -4*h + 28 = -4*f. Let c = -135 + 656/5. Which is smaller: c or f?
f
Let u = -35 + 43. Suppose 4*i + 5 - 27 = 5*v, -5*v = 4*i - 42. Does u = i?
True
Suppose 5*v + 12 + 8 = 0. Let i = 4 + v. Let c be (i - 2/2)/1. Is c >= -2/7?
False
Let a = -100917 - -909251/9. Let r = a + -111. Which is greater: 0.1 or r?
0.1
Let n = 3 + -2. Let d be (9819/39)/(6/4). Let h = -168 + d. Which is smaller: h or n?
h
Let z = -14 + 31. Suppose -25 = 4*i - z. Which is smaller: 3/4 or i?
i
Let v = -28 + 85/3. Which is smaller: v or -7?
-7
Let u(a) = 2*a + 14. Let n be u(-6). Let s be (-2 + 8)/n - 2. Let p = -1 - -1. Are s and p unequal?
True
Let k = 122564 + -607816/5. Let c = k - 1006. Let d = -177/35 - c. Are 0 and d non-equal?
True
Let r = 7 - 3. Suppose -2*p = -2*h - 6, -5 = r*p + h - 2. Let a be 2/(-9) - 16/9. Is p less than or equal to a?
False
Let m(f) = -2*f**2 + 13*f + 11. Let l(p) = -3*p**2 + 20*p + 17. Let n(i) = 5*l(i) - 8*m(i). Let c be n(5). Let z be (3 - c)/(1/1). Is 2 greater than z?
True
Let a = -6 + 4. Let i = 0.08 + -3.08. Is i > a?
False
Let z(b) = b**3 + 11*b**2 + 11*b + 10. Let v be z(-10). Suppose s + 1 - 4 = v. Let w be 2/(-3)*(-9)/3. Which is greater: s or w?
s
Let g be (-4)/10 + 39/(-65). Let j be (4 - 4) + g/(-1). Are -1 and j unequal?
True
Let i be (-183)/72 + 2/1. Let t be (-106)/240 + 8/20. Let q = i - t. Is -2 bigger than q?
False
Let i be (-12)/48*(0 - -3 - 3). Let l = -11 + 26. Let z = 74/5 - l. Which is smaller: z or i?
z
Let q = 14 - 15. Which is smaller: q or 1/3?
q
Let l(z) = z**3 - 8*z**2 - 8*z - 8. Let g be l(9). Do g and 4/3 have the same value?
False
Let t = 31 - 20. Which is smaller: 12 or t?
t
Let t = 5 - 6. Let h be t + 2/(-3) - -1. Which is smaller: -1 or h?
-1
Suppose -2*i - 2 = -0. Let z be 5 - (i + -1 + 1). Let p be (-4)/z*9/6. Which is bigger: p or 2/5?
2/5
Let w(c) = 12*c**2 + c + 1. Let o be w(-1). Let r be ((-1)/3)/(6/o). Which is bigger: -2 or r?
r
Suppose 0 = 3*d - 0*d - 6. Let q be (-3)/d*(-4)/6. Is q smaller than -1?
False
Let a = -4 - -9. Suppose -a*r + 5 = -0. Let u = 1.97 - -0.03. Is u less than r?
False
Let y(t) = -1 - 1 + 0*t + t - 2. Let b be y(4). Suppose -5*v + 9 + 6 = b. Is v at most as big as 3?
True
Let r be (-2 - (-9)/6)*8. Let m be (r/(-16))/((-1)/(-4)). Suppose v = -1 - m. Which is smaller: -3 or v?
-3
Let x be (3 + -3)/(1 - 0). Let m(z) = z - 10. Let d be m(6). Let j be (-4)/d*(2 - 1). Is j at most x?
False
Let z = 0.1 - 0.2. Let d = 837649/12730 - 3/2546. Let j = -66 + d. Is j not equal to z?
True
Let b = -2/47 + 100/141. Let y(a) = 4*a**2 + 0*a**3 + a**3 - 1 + 3. Let i be y(-4). Do i and b have the same value?
False
Let i = -46 - -45. Is 1 >= i?
True
Let r = -11 - -10. Let o be (2 + r)/(1/(-3)). Which is bigger: -2 or o?
-2
Let o = 62 + -61. Does o = -22?
False
Suppose 30 = -3*q - 9. Is q less than -25/2?
True
Suppose 3*b - 8 + 24 = 5*i, 2*i - 4*b + 2 = 0. Is 5 at most i?
True
Let t(c) = -2*c - 1. Let q be t(2). Let x = q + 10. Let h be 2/x - 3/(-5). Are h and 1 non-equal?
False
Suppose -3*h = h - 12. Suppose h*i = 9 + 9. Which is smaller: i or 5?
5
Let h(i) = i**3 + 4*i**2 + 2*i + 6. Let u be h(-4). Let p = 2 - 1. Let c = p - 1. Which is smaller: c or u?
u
Suppose -5*i = -4*b, 0 = -3*i + b + b. Let c be (-2 - i) + 3/3. Let z = -1 + c. Is -1 less than z?
False
Let u = 94 + -3852/41. Which is smaller: u or 0?
0
Let o be 37/5 - (-2)/(-5). Let x = -6 + o. Are -1/16 and x unequal?
True
Let r(a) = a**2 - 8*a - 1. Let h be r(8). Let n be -2 - h/2*5. Which is smaller: n or 0?
0
Let i = 10 - 6. Let o be 6/i*2/3. Which is greater: o or -4/9?
o
Suppose -4*t + 5*d = -0*t - 19, 4*d = 2*t - 8. Let m be 2/t + -4 + 4. Is m not equal to 4?
True
Let v be -1 + 2 + (-22)/18. Suppose 4*o - 1 = 5*o. Is o >= v?
False
Let b(h) = h**3 + 2*h**2 - 1. Let o be 2/9 - (-22)/(-18). Let s be b(o). Which is greater: 5 or s?
5
Suppose 2*x - 3*x - 2 = 5*p, x - 2*p - 12 = 0. Are -2/13 and x nonequal?
True
Suppose 0 = -a - 2*i - 7, -3*a - 5*i - 22 = -3. Is a at least as big as -2?
False
Suppose -8*s = -4*s + 5*s. Is -2/157 equal to s?
False
Let g(n) = -n**2 - 2*n - 1. Let b be g(-2). Which is bigger: -0.7 or b?
-0.7
Suppose 0 = -4*h + 360 - 104. Let b = h + -322/5. Which is greater: 0 or b?
0
Let m be 4/(-14) + 40/91. Let q be (12/45)/((-7)/(35/(-2))). Which is smaller: q or m?
m
Let b = -9.2 + 9. Let y = b - -0.8. Which is greater: 0 or y?
y
Let c = -2 - -4. Suppose -c*v = v. Do 1/4 and v have the same value?
False
Suppose -5*m = -3*b - 61 - 112, -2 = -2*m. Which is smaller: -55 or b?
b
Suppose -9 = 3*a - 3. Is 6 less than a?
False
Suppose -5*s = -y + 12, 0 = -0*y - y + 4*s + 10. Suppose 0 = -2*n + 2*x + 2, -5*n = -y*x + 1 - 15. Let f be n/(-33)*6/(-4). Which is bigger: f or -1?
f
Let r be ((-6)/15)/(87/15). Let k = r + -15/203. Let o be (6/(-9))/((-2)/(-3)). Is k at least as big as o?
True
Let f(a) = a**3 - 7*a**2 + 5*a + 8. Let l be f(6). Which is smaller: 3 or l?
l
Let v = 13172180611/3045 - 4325839. Let w = 921 - 400633/435. Let o = v + w. Which is bigger: -1 or o?
o
Suppose 3*x - 3*f = 27, -3*x - x - 4*f + 4 = 0. Suppose 4 = -2*j + 3*j, -2*m + x*j = 14. Suppose -m*o = -4*o - 1. Is o at least -1/4?
False
Let d = 12.1 - 12. Let r = 10 + -16. Is d at least r?
True
Suppose 0 = 15*j - 18*j - 3. Let p = -36 - -69/2. Which is smaller: p or j?
p
Let y = 28 + -27. Is y at most 1/49?
False
Suppose 3*c - 32 = -s - 3*s, -4*s = 2*c - 28. Suppose -6 - 6 = -c*j. Is j at most as big as 16/5?
True
Let w be 9/(-26)*12/(-9). Let x(n) = -n + 3. Let p be x(3). Is w smaller than p?
False
Suppose -3*p = -p. Suppose t - 2*n + 3 + 6 = p, 0 = -5*t - 4*n + 11. Let x = 5 - 14/3. Do x and t have the same value?
False
Let j be 10/1*2/(-4). Which is smaller: 2 or j?
j
Let j = 1.1 - 1.07. Is j less than or equal to 0.2?
True
Let i = 12 + -13. Is i > -5/8?
False
Suppose -2*p = -3*g + 3, 2*g - 5 = -2*g + 3*p. Suppose 4*s - 3*s = -5*c - 15, -3*c + 4 = -2*s. Which is smaller: c or g?
c
Let o be (2/14)/((-7)/14). Let d = -57/10 - -26/5. Let u = d - -1. Is o != u?
True
Let x(i) = -i + 9. Suppose -2*g = 2*u - 10, 2*g - 6*g = 5*u - 25. Let t be x(u). Suppose -2*n = -t*y - n, 2*y = -2*n + 10. Is -1/6 >= y?
False
Let v = 45 - 21. Let s = v - 25.7. Let t = s + 0.7. Do t and -1/5 have the same value?
False
Let p = 10 - 10. Let i be 39/(-12) + 0 + 3. Which is bigger: i or p?
p
Let a(o) = o**3 + 4*o**2 + 5*o + 4. Let r = 5 + -8. Let j be a(r). Let v = j + 2. Which is smaller: -1/4 or v?
-1/4
Let x be ((-5)/(-3))/(2/(-6)). Which is smaller: -7 or x?
-7
Let q = 191/3 + -64. Which is smaller: q or -1?
-1
Let p = 55/28 - 12/7. Do -0.09 and p have the same value?
False
Let t(j) = -j - 3. Let x be t(0). Let o be 172/(-276) + (-2)/x. Is o at most 0?
False
Let g = 4070/13 + -312. Let h = g + -240/247. Let k be 3/(-6)*0/(-2). Which is bigger: k or h?
h
Let n(s) = 29*s**2 - 4*s - 3. Let c be n(-1). Which is smaller: 31 or c?
c
Let f(p) = p**3 + 5*p**2 + 4*p - 1. Let w be f(-4). Which is smaller: 9 or w?
w
Let t = 1 - -1. Suppose -t*c + c - 1 = 0. Is 2/7 bigger than c?
True
Let b(v) = v**2 + 5*v + 5. Let y be b(-5). Let n = y - 4. Let d be (-2 - 1 - 0)/n. Is -4 equal to d?
False
Let c = 108 - 107. Is -64 < c?
True
Let y = 0.04 - 7.04. Let x = y + 8. Is x <= 4?
True
Suppose 2*w - 7*w 