3 + (-30)/18. Is -0.1 greater than p?
True
Let o = -124 + 124. Suppose -5*w + 2*c = 5, 2*c + 25 = -5*w - 0*c. Is o greater than or equal to w?
True
Let p = 5 + -6. Let k = 3 + -1. Which is greater: p or k?
k
Suppose 4*f + 4*m = 4, -5*m = 3*f - 0 + 1. Suppose f*r = 5*r. Which is smaller: -2/5 or r?
-2/5
Let l = 8 + -7. Let z be 1 - (-30)/52*-2. Is l less than or equal to z?
False
Let f be ((-2)/20)/((-4)/10). Let b(q) = 3*q - 4*q**3 + 3 - 2*q**3 + 3*q**2 + 5*q**3. Let k be b(4). Is k at most as big as f?
True
Suppose -825 = -5*r + 5*g, 388 - 1223 = -5*r - 5*g. Let b = r + -6808/41. Which is smaller: b or -1?
-1
Let y = -1.84 + -0.16. Is y greater than or equal to 0.04?
False
Let o = -3 - 3. Let h be (-4)/o*(-4 - -1). Is -2 < h?
False
Let x be (-63)/3 - (-3 + 1). Are x and -18 equal?
False
Let j be (-16)/(-4) + -1*2. Which is smaller: 0 or j?
0
Let j = 2 + -1. Let y be (-1 - j/1) + 1. Do y and -2/19 have the same value?
False
Let t(c) = -c + 17. Let v be t(17). Does 1/17 = v?
False
Let k be ((-6)/(-20))/((-6)/885). Let m = k - -1939/44. Let b = 4 + -4. Is m at most as big as b?
True
Let v be 22/(-165)*(-10)/26. Is v at least as big as -1?
True
Suppose -2*o + 3*y = 2*y + 2, -y = 0. Let p be (-6)/(-15) - (1 + 0). Is o <= p?
True
Let w = 0 + 1. Let j = 124/9 - 14. Is w < j?
False
Suppose 18 + 6 = 3*r. Which is smaller: 7 or r?
7
Let m be (-8)/(64/(-30)) + -4. Which is bigger: -1 or m?
m
Let d be 8/36 - 4972/18. Let f = 3590/13 + d. Which is smaller: 1 or f?
f
Let r(s) = -s**2 - s - 1. Let t(u) = 5*u**3 - 8*u**2 - 6*u - 5. Let d be ((-3)/2)/3*12. Let v(k) = d*r(k) + t(k). Let b be v(1). Is 2 greater than b?
False
Let w be (-5)/2*(-16)/(-20). Let s(l) = l**3 - 4*l**2 + 2*l - 6. Let t be s(4). Suppose -2*g - t*g - 14 = 3*o, -2*g + 2 = -3*o. Is w not equal to g?
False
Let i be -6 - (1 + 3 - 2). Suppose -4 = -5*a - 39. Which is bigger: i or a?
a
Suppose -3*r + 3 = -0*r. Let y be (-2 - r) + 1 - -1. Let j be 2/12*-2*2. Is j bigger than y?
True
Suppose 5*h + f + 25 = -4*f, 15 = 5*h - 3*f. Let r(y) be the third derivative of -y**5/30 + y**4/12 - y**3/6 + y**2. Let u be r(1). Which is bigger: u or h?
h
Let m = -0.077 - -3.377. Is -2/7 at most as big as m?
True
Let n = 12 - 18. Do -7 and n have the same value?
False
Let q(s) = -2*s**2 - 8. Let m(t) = 3*t**2 + t + 15. Let k(i) = -3*m(i) - 5*q(i). Let l be k(4). Which is bigger: 1/5 or l?
1/5
Suppose 5*v = p + 80, 300 = -11*p + 6*p + 5*v. Which is greater: -57 or p?
p
Let u(h) = -h**3 + h**2 - h - 1. Let w be u(0). Let g = -15 + 14. Is w less than g?
False
Let u(p) = p - 13. Let v be u(13). Let o = 2 - 2. Let s be 4/14 - o/(-3). Is s less than v?
False
Let j(t) = -t**2 + 2*t. Let g be j(1). Suppose -3*l + 8*l + 70 = -5*f, -2*f - 33 = 3*l. Let w = f + 14. Is w != g?
True
Let p be 54/20 - (-12)/(-4). Let r be (-4)/(-10) - 4/10. Is r <= p?
False
Suppose 0 = -d + 4*c - 5, 4*d - 3*d + 4 = 5*c. Which is greater: d or -5?
-5
Let r = -10 + 13. Suppose -2 = -w - 5*c, -w + r*w - c = 4. Is 0 < w?
True
Let l = -3/599 - -30555/1198. Let h = -24 + l. Which is smaller: h or 2?
h
Let y = -46 + 229/5. Which is smaller: -1 or y?
-1
Let d = -0.2 - -0.3. Let l = -1.78 + 1.74. Which is smaller: d or l?
l
Let d = 0.05 + 0.45. Let i = 0.2 - d. Is 2 smaller than i?
False
Let i = 7 - -13. Let g = 19.9 - i. Let o = -4 + 6. Which is smaller: g or o?
g
Suppose 3*b = 8*b + 5. Is b at least as big as 3/23?
False
Let s(c) = -c**2 + 3*c - 2. Let q be s(2). Let u be (-2)/(-6)*1*2. Which is smaller: u or q?
q
Let a = -0.03 - -3.03. Which is smaller: -2 or a?
-2
Let m(y) = y**2 - y + 3. Let z be m(0). Let r(t) = -t**2 - t + 4. Let i be r(0). Is z less than i?
True
Let l = 28 + -34. Which is smaller: -7 or l?
-7
Let i be 1 + 2/4*0. Which is greater: 2/21 or i?
i
Let a be 17/5 - (-1 + 3). Is 0 less than or equal to a?
True
Suppose -3*y - 64 = -7*y. Suppose 0*h - y = -4*h - 4*r, -3*h - r = -8. Let p = 0 - 0. Which is bigger: p or h?
h
Let s be 2 + 15/(-9) - 23/(-21). Which is smaller: 2 or s?
s
Let u be (-6)/(44/(-12) - -2). Which is bigger: u or 4?
4
Let a(k) be the second derivative of k**3/3 + 9*k**2/2 - 6*k. Let b be a(-4). Which is greater: -4/9 or b?
b
Let f(p) = -p - 3. Let r(k) = k**3 + 4*k**2 + k + 1. Let u = -10 - -6. Let m be r(u). Let i be f(m). Which is greater: 1 or i?
1
Let y(i) be the first derivative of i**2/2 - 1. Let w be y(-3). Let s = -7 + 3. Do s and w have the same value?
False
Let w = 14 + -14. Let a be (-18)/(-3)*1/4. Which is smaller: w or a?
w
Let d(x) = -x**2 + 5*x + 6. Let p be d(6). Let j = p - 0. Let q = 1/18 + -13/18. Is j >= q?
True
Let z = 10 + -10. Is z < -2?
False
Let w = 3 + -2. Let x = -2 + -6. Let m = x + 6. Is w > m?
True
Let k(m) = -m**3 - 3*m**2 + 15. Let y be k(-4). Which is smaller: y or 0?
0
Suppose 0 = -5*l - 258 + 3. Let t = 356/7 + l. Is t equal to -1?
False
Let m = 230/9 - 559/18. Do m and -7 have different values?
True
Let h be (-252)/(-20) - (-4)/10. Suppose -10 = -n - 4*r, 2*n = 2*r + r - h. Let z be n/(-2 - -1 - 1). Is z at most 1?
True
Let y = 12 - 8. Let s be (-4)/14 + y/14. Let b(p) = -p - 1. Let n be b(s). Which is bigger: n or 0?
0
Let j(a) = a**3 + 4*a**2. Let o be j(-4). Suppose -2*p + p = o. Is p less than or equal to 2?
True
Let s be 86/3 - (-8)/(-12). Suppose s = 5*w - 3*t, -5*t + 13 = 4*w - 2. Suppose d - 6*d - w = 0. Is 2 not equal to d?
True
Let b = 1 - 2. Let x be (-4)/(-10)*(b - -3). Is 0 <= x?
True
Let z = 50 - 48. Is z < 0.2?
False
Let b = 15.02 + -0.02. Let t = b - 15.1. Is t at least as big as 13?
False
Let w be (-30)/(-25)*(-10)/26. Which is bigger: 0 or w?
0
Let k be (-4)/(-1)*1/2. Let i be -3 - (-3 - 6/9). Which is bigger: i or k?
k
Let q(v) = -v**2 + 25*v + 20. Let f be q(26). Let z = -6 + 31. Suppose 2*o + z = -3*o. Which is greater: f or o?
o
Let y = 8 + -2. Suppose -4*p + 2*n - 6*n - 24 = 0, 2*n + y = 4*p. Let z be (p/3)/((-2)/18). Is 8/3 at most as big as z?
True
Let d be 0 - (754/(-420))/13. Let c = -1/35 - d. Are -1 and c nonequal?
True
Let v = 4.6 + -5. Which is smaller: v or -1/2?
-1/2
Let y = -40 + 44. Suppose k = -2*g - 2*k - 15, -5*g = -k - 5. Suppose -4*a = -3*d + 7, y*d - d + 4*a - 23 = g. Is d less than 5?
False
Suppose 3*k - 7*k - 124 = 0. Which is bigger: k or -30?
-30
Let a(n) = n**3 - n**2 + 9. Let m be a(0). Suppose -8 = 38*s - 42*s. Which is bigger: m or s?
m
Let m = -1 - 5. Suppose 0 = h - 4 + 1. Suppose -4*a = h*f + 36, -a - 26 = -0*a + 5*f. Does m = a?
True
Let r(i) = i**3 + 4*i**2 + 3*i - 2. Let c be r(-3). Let f be (3 - 1)/(4/22). Let h = -13 + f. Is c less than h?
False
Suppose 5*g - 4 = 3*y, g - y = -0*y. Which is bigger: 3 or g?
3
Let y(s) = -s - 16. Let g be y(-7). Is g less than -9?
False
Let g be -4 - (-2)/(0 + 1). Let u = 1 + g. Let v = -11 - -9. Is v equal to u?
False
Let r = -88 + 124. Let s = r - 43.4. Let t = s + 7. Which is bigger: t or 1?
1
Let d be (0 - -1)*(10 + 0). Let v(a) = a - 8. Let i be v(d). Is 2 at most i?
True
Let n be ((-6)/(-4))/((-6)/8). Let j be 24/(-16)*5/((-70)/(-16)). Is j at least as big as n?
True
Suppose g - 3*g + 2 = 0. Is -1 less than g?
True
Let q = 121 + -122. Suppose 3*r - 2*l - 15 = 3*l, r + l = -3. Suppose r = 2*k + 6. Which is greater: q or k?
q
Let i = -2 - -2. Let x = 10 + -6. Does x = i?
False
Let l = 0.1 - -1.9. Let a = -4 + l. Do -2 and a have different values?
False
Suppose -10 = 3*q + 2*q. Let u be (-5)/2 + (-1)/q. Which is smaller: 2 or u?
u
Suppose 5*h - 2*b = 31, -28 = -3*h - 2*h + b. Suppose 0 = 3*c - h*u + 55, 5*c + 27 + 42 = -3*u. Which is smaller: c or -16?
-16
Let l be (-1)/3*(18 + -21). Suppose 0 = -5*o - 2 - 3. Let j be o/3 + 5/9. Which is bigger: l or j?
l
Let p be 6/4 - 5/(-10). Suppose -b - 2*b = -6, 2*a + b = 6. Is p smaller than a?
False
Let a = 0.07 - -3.93. Let h = a - 6. Let j = h + 2. Which is bigger: j or -1?
j
Let h(v) = -v**3 - 9*v**2 - 8*v + 4. Let g be h(-8). Suppose a - 5 + 1 = 0. Do g and a have the same value?
True
Let w be (4/(-10))/((-5)/25). Let c = -1.9 - -2. Is c at most w?
True
Let m be 502/(-7) - (-58)/(-203). Which is smaller: m or -73?
-73
Suppose 0 = -2*z + 7 + 5. Let t be (-4)/6 + (-2)/z. Let o = -5 + 4. Is o >= t?
True
Let v = -2 + 4. Let q be (2 - -3)*(-1 + 4). Suppose -5*r - 3*b = -10 - 10, q = 3*b. Which is smaller: v or r?
r
Let n be ((-75)/(-20))/((-3)/