4. Let a = t - 6. Is a < c?
True
Suppose -179 = -9*a - 170. Are 2/797 and a equal?
False
Suppose -9*a + 48 = 3. Let d be (-966)/(-1884) - ((-10)/(-4))/a. Is d equal to -1?
False
Let h(n) = n**3 + 3*n**2 - 2*n + 8. Let s be h(-4). Suppose s = 2*d - 4, -9 = i - 5*d + 2. Is -9 <= i?
True
Suppose 5*w - 3*p - 37 = 0, 4*w - 4*p = -0*w + 36. Suppose 0 = -5*t + 5*j + 25, -2*t - 3*j + w = -t. Let n be (-70)/8 - t/20. Is 0.1 at most as big as n?
False
Let b = -196 + 170. Are -180/7 and b equal?
False
Let y(t) = t + 9. Let i be y(-6). Suppose 6 = i*b + 2*f, -2*b = -3*b + 5*f - 15. Let u = -2 + -4. Is b > u?
True
Let c be 1/5*((-122)/(-22) - 6). Which is smaller: -20 or c?
-20
Let n = 59 + -91. Let h = n + 29. Is -0.1 less than h?
False
Let n = 6 + -7. Let k = -1 + 8. Let q = -9 + k. Which is bigger: q or n?
n
Let z = -1955/99 - -183/11. Let k = z - -178/63. Suppose -3*j - 3 = w, -w + j = -3*w - 1. Which is greater: w or k?
w
Let w = 2941/9 - 327. Let q be (1 + (-1 - 0))/2. Is w at least as big as q?
False
Let s be 45/((-54)/(-6)) + -376. Is -370 > s?
True
Suppose 5*y - 735 - 945 = 0. Is 338 not equal to y?
True
Suppose -5*f + 21 = 2*l, -3*f + 12 = 2*l - 3. Suppose -s = -3*q + f*s - 19, -5*s = -2*q - 22. Is -4/19 not equal to q?
True
Suppose 0 = -2*x - 3*p - 2*p - 26, -p = -2*x - 2. Let f be -1*(0 + x) + 65/(-5). Which is greater: -4 or f?
-4
Suppose -5*u + 48 = k - 36, 2*u + 4*k - 48 = 0. Let c be u + -20 + 227/57. Which is smaller: -1 or c?
-1
Let q(b) = -5*b**2 - 6*b - 6. Let f be q(-4). Let t = f + 104. Let w be (t/30)/(6/(-10)). Is -2 > w?
True
Let j = 58 - -169. Suppose -j = 3*y - 53. Which is greater: -59 or y?
y
Let w = 88 - 86. Suppose -3*s = -4*x + 7, 6*x - w*x - 8 = 4*s. Is s less than 6/25?
True
Let j = 0.11 + -0.11. Let w = j + 11. Let z = 12 - w. Is z at least 2/7?
True
Let d be (-1 - 1)*(-1 - (-16)/14). Let g(y) = y**3 - 3*y**2 - y - 1. Let w be g(4). Does w = d?
False
Let m be (-19 + 36)/((-44)/(-24)). Which is smaller: m or 9?
9
Let s(x) = -x**3 + 5*x**2 - x - 8. Let b be s(4). Suppose 3*h = 5*y - 73, -y - b*h - 60 = -5*y. Which is bigger: 13 or y?
y
Let u be 4*(1 + 0) + -7. Let t(x) be the third derivative of -x**4/24 - x**3/2 + 3*x**2. Let b be t(0). Is b greater than or equal to u?
True
Let l(g) be the first derivative of g**3/3 + g**2/2 - 4. Let m(t) = 8*t**2 + 5*t + 1. Let q(i) = 4*l(i) - m(i). Let j be q(-1). Which is smaller: j or 0?
j
Suppose -3*x + a - 19 = 5*a, -5*a = 20. Let k = 57 + -53.2. Let b = -3.8 + k. Is b <= x?
False
Let x = -57 - -55. Which is smaller: 1.9 or x?
x
Let q = -0.03 + -2.97. Let w = -7 + q. Let g = -53/95 + 3/19. Is g greater than w?
True
Let s(r) = -150*r**3 + 7*r - 8. Let z be s(1). Are z and -150 equal?
False
Let l(m) be the second derivative of -m**5/20 - m**4/2 - 7*m**3/6 - 5*m. Let k be l(-5). Let a be 192/k + (-4)/20. Which is greater: a or 20?
20
Let z = -10 - -10. Let w = -2 + z. Let f be ((-10)/40)/(w/52). Which is smaller: f or 8?
f
Suppose 4*p = 5*t + 18, -4*t + 4*p = 10 + 2. Let y = 9 - -27. Let b be (-150)/y - 3/6. Is b > t?
True
Let i = 24.9 - 4.9. Does i = 0.03?
False
Suppose 3*z = 6*z - 24. Let j be ((-2)/z + -1)*2. Suppose 3*q - 1 = 4*n - 3, -5*q - 58 = 7*n. Which is smaller: j or n?
n
Let p = 78 - 563/7. Which is bigger: -2 or p?
-2
Let x(i) = i**2 + 7*i - 8. Let t be x(-6). Let c = 16 + t. Let g be 3/(9*c)*-4. Is 0 at most as big as g?
False
Suppose 0 = 5*s - 5*y + 5, -2*y = -4*s - 0 - 8. Let o = 14 - 18. Which is smaller: s or o?
o
Suppose 9*a + 139 = 8*a. Which is smaller: -135 or a?
a
Let y be 94/(-24) - 4/48. Let o be 100/(-21) + 4/(-6). Which is smaller: o or y?
o
Suppose 530 - 196 = -2*r. Let h = r + 1501/9. Let l = -1 - -0.8. Which is bigger: l or h?
l
Let o be 18/((2/(-12))/((-4)/24)). Suppose 0 = -124*c + 126*c + o. Which is smaller: -5 or c?
c
Let h = 0.22 + -49.22. Let t = -49.1 - h. Is t <= 17?
True
Let l = 7 + -8. Let t be (6/5)/(27/90). Suppose 0 = -3*w + 5*m + 12, t*w - 3 = 2*m - 1. Is l smaller than w?
False
Let z = 3/41 + 108/205. Let p = 5 - 5.01. Let o = p + -1.99. Which is greater: z or o?
z
Suppose 5*q - 15 = -2*x - 0*q, 5*x - 3*q = 53. Suppose -g - 3*f = -23, 3*g + 5*f - 2*f = 45. Is g at least x?
True
Let c = -5 + 5.5. Let m = c - 5.5. Let k = 4 + m. Which is smaller: 3/2 or k?
k
Let q(m) = -m**2 + 66*m - 67. Let y be q(64). Which is smaller: 59 or y?
59
Let s = 5.9 - 4. Let z = s + -0.9. Let f = -1 + 1.1. Which is bigger: f or z?
z
Suppose -4*z - 12 = 4*y, 4*z + 15 = 3*y + 3. Suppose u = -2*n + 113, 5*n + u = 3*u + 278. Let w be 164/n + 2 + -5. Is y at most w?
False
Let b = -62 - -993/16. Which is smaller: -1 or b?
-1
Let y = -48 - -21. Let o = -30 - y. Suppose 1 + 11 = -2*n. Is o less than or equal to n?
False
Let s be 17408/2880 - (-2 + 7 + 1). Which is greater: -3/11 or s?
s
Let h = 368 + -386. Suppose 101 = -5*n - k, 4*n = 3*k - 2*k - 79. Which is smaller: n or h?
n
Suppose -4*n - 10 = 6. Let f = -8 - n. Let t = -116/3 - -541/15. Is f != t?
True
Let h(w) = -w. Suppose -2*c = 5*i + 10, -3*c + 41 = -4*i + 2*c. Let z be h(i). Is z greater than 5?
False
Suppose 9*c = 154 + 179. Which is smaller: c or 43?
c
Suppose 0 = -2*y - 3*v - v - 20, -4*y + 2*v = -10. Let h = -1/407 - 3656/2849. Is y bigger than h?
True
Let k(v) = 2*v - 7. Let a be k(5). Suppose 10*u - 12 = 4*u. Suppose 4*i = 5*s + 1, -5*s + u*i - 7*i + 35 = 0. Is a at least as big as s?
True
Let f be ((-882)/(-4))/(-9)*(-36)/(-54). Is f smaller than 0.1?
True
Let t be (-9 - (-3 + -2)) + -1. Suppose 4*j + 12 = -16. Which is smaller: j or t?
j
Let c be (-16)/(-36)*-30 - (-20)/4. Is -9 not equal to c?
True
Let n = 25 + -17. Let g be -1*(n/10 - 1). Which is smaller: g or 1?
g
Let g be (-370)/(-45) + (-2)/9. Suppose g - 2 = -z. Let o be (-30)/(-12)*z/5. Is -15/4 less than o?
True
Let r(y) = -4*y. Let i be r(5). Suppose 3*f + 50 - 6 = 4*n, -5*n = -3*f - 40. Is f < i?
False
Let g be ((-3)/2)/3*84. Suppose -4*l - 82 = 2*i, -12*i + 17*i + 216 = l. Which is bigger: g or i?
g
Suppose 17 - 33 = -16*j. Which is bigger: 17/15 or j?
17/15
Let c = -42 + 41. Let m = 1043/216 - 100/27. Is m < c?
False
Let b(m) = -m**2 + 4*m - 5*m - m + 7*m - 4. Let p be b(3). Is p at most as big as 27/8?
True
Let h = -81.3 + 93.3. Is h less than -120?
False
Let o = -368 - -367. Let p = 16/9 - 329/180. Which is greater: p or o?
p
Let q = 0.39 - -10.61. Let z = 10.95 - q. Which is greater: -2 or z?
z
Let h be 99/(-3*1)*7. Let q = 183931/639 + -4020/71. Let x = h + q. Which is smaller: x or 0?
0
Let w be (2/(-4))/(3/(-6)) - 0. Let t be 7/(7/(-10))*w. Which is greater: -8 or t?
-8
Let c = -752 - -558. Which is greater: c or 1?
1
Let t be 3/21 - (1795386/483 + 3). Let i = t + 3720. Is i bigger than 0?
False
Suppose 2*t - 9 = -t. Let u be (t - (0 + -1)) + 49. Which is greater: u or 54?
54
Let f = -940 - -939. Let d be 6/17*(-2)/4. Is f at most as big as d?
True
Let t(o) = -o**2 + 20*o + 224. Let b be t(-8). Which is smaller: b or -62?
-62
Let x(p) = -p**3 - 6*p**2 + 10. Let f be x(-6). Let h be (-8)/f*10/4. Let y = 2 + -2. Which is smaller: h or y?
h
Suppose 4*l = -9 - 7. Let m = l - -9. Suppose 4*u + 4*z + 20 = 0, 0 = -2*u - m*z - 9 - 13. Which is bigger: -1/2 or u?
-1/2
Suppose p + 28 = 4*b, -5*p - 4*b - 4 = -2*p. Let r be ((-6)/(-32))/(2/p). Let u = -4 + 4. Which is bigger: u or r?
u
Let n be 28/154 - 5*(-252)/(-33). Which is greater: n or -33?
-33
Suppose 1235 = 4*q + 9*q. Which is bigger: 93 or q?
q
Let z = -588 - -657. Are 1/2 and z non-equal?
True
Let d(a) = 5*a - 4. Let w be d(2). Let m = 7 - w. Let v = -15/56 + 1/8. Is m >= v?
True
Let u(n) = n + 13. Let k be u(18). Which is bigger: k or 34?
34
Let a = -91/36 - -11/4. Let u = -349/3 + 116. Which is greater: a or u?
a
Let u be 3 - (-1 - (-4 - -4)). Suppose 3*w + 5*v + 15 = 2, -4*v = u*w + 20. Let b be 14*(1 + (-3)/2). Are w and b unequal?
True
Let y be (-1)/(15/9 - 2). Let u be 3 + 1*y/(-6)*2. Is u smaller than 16/15?
False
Let f = 189.2 - 189. Is f bigger than 1.7?
False
Let b be 0 + 2 - (-2 + -15). Let r be (-12)/10*125/10. Let c = b + r. Which is smaller: c or 0?
0
Let q = -21 + 18.8. Let v = q + 0.2. Are 2 and v non-equal?
True
Let x = 90 - 72. Suppose 0 = 5*y - c + x, -c + 6*c = 5*y + 30. Which is greater: y or -5?
y
Let o(s) = 4*s - 4. Let j be o(0). Let q be j + (78/20)/1. Is q 