re 26 and k unequal?
True
Let k be 160/(-42) - (-4)/6. Suppose 69 - 87 = 9*j. Is j >= k?
True
Suppose c + 32 = 5*g, -4*g + 34 = -0*c - 2*c. Let w(q) = q**2 + 9*q + 7. Let d be w(c). Let i = 6 + d. Is i >= -2/15?
False
Let i = -59 + 107. Suppose 4*q + 195 = 3*z, -51 - i = 2*q - 3*z. Let s be q/(-315) - 2/(-15). Which is greater: 4 or s?
4
Let g = 412/11 + -41519/1100. Let c = g + 1/25. Let f = 16 - -1. Which is bigger: f or c?
f
Let a(h) = -h**2 - 35*h - 305. Let w be a(-37). Are w and -379 equal?
True
Let i be (0 + 0)/(-9 - -8). Let k = 22 + -19. Suppose -k*d + 8 + 4 = i. Is 3 at most d?
True
Suppose -13 = z - 2*y, -z - 23 = -82*y + 85*y. Which is greater: -31 or z?
z
Let v = -79 - -78.8. Let z = -13 + 6. Let x = -7 - z. Which is smaller: x or v?
v
Suppose 8*x + 17 = -71. Let k be (-242)/x + -4*1. Is k >= 18?
True
Suppose 2*h - 183 = -35. Suppose -h + 102 = 4*p. Let d = 17 + -11. Which is bigger: p or d?
p
Let d be 2*((-3)/(-2))/1. Suppose k + k - 8 = 4*a, d*a - 2*k + 8 = 0. Let j be ((-3)/15 - a)*2. Which is bigger: j or -3/5?
j
Let u be (-2 - 3959/(-21))*(-27)/18. Let b = -280 - u. Suppose d + 0*d = 0. Do d and b have the same value?
False
Let o(k) = -k - 9. Let x(i) = 3*i - 9 - 2*i - i**2 + 2 - 1. Let h be x(0). Let w be o(h). Is w > -3/8?
False
Let x(w) = -w**3 - 7*w**2 + 14*w + 20. Let g be x(-7). Which is bigger: -79 or g?
g
Let f be (-20)/(-5) - (14 + 0). Let v be 0*((-5)/f + 0). Which is smaller: v or 2?
v
Suppose -j = -2*o - 2, 6*o - 3*o + 2 = j. Let q be (2/j + (-51)/45)*-5. Which is smaller: q or -8?
-8
Let c = -666 + 666. Is -6/313 equal to c?
False
Suppose -3*z + 15 = 0, -x + 2*z + 0 = 10. Suppose 3*u + 2*a = -x*a - 3, 0 = -u + 5*a - 1. Is 2/39 > u?
True
Suppose 50 = 5*r + 25. Let j be r/1 - (-7 - -8). Is 33/8 at least j?
True
Let y = 8 - 4. Suppose -y*s - 6 = -3*k, -2*k + 5*s + 7 = 3. Which is greater: 1.3 or k?
k
Let t(i) = i**3 + i**2 + 6*i - 6. Let r be t(1). Is 75/22 greater than r?
True
Let h = -15 + 20. Let j = h - 7. Which is smaller: j or 0?
j
Let t be (2/1)/((-16)/6). Let j(l) = 10*l**2 - 3*l + 22 - 3*l**3 + 4*l**3 + 8*l - 27*l. Let r be j(-12). Which is bigger: t or r?
t
Let v be 3/(75/40)*-505. Which is bigger: v or -809?
v
Let o be (-24)/(-268)*60/45. Is -1/4 > o?
False
Suppose 9 - 2 = a. Suppose -a = -3*f - 34. Let q be (-4)/2 - (-21)/f. Which is greater: q or -4?
-4
Let b = 3625/78 - 38/39. Suppose 13*w - 10*w = -129. Let o = w + b. Is o < 2?
False
Suppose 168 = -2*w + 228. Is 33 != w?
True
Let f be ((-4)/6)/(4/156 + 0). Is f >= 44?
False
Let b = -1208 + 95430/79. Which is smaller: 0.4 or b?
b
Let i(k) be the second derivative of k**3/6 + 3*k**2/2 + 17*k. Let z be i(-2). Does z = 16/7?
False
Let x = 0.294 - -0.006. Which is smaller: x or 3/4?
x
Let f be 12/9 + 4/(-6). Let a be (6 + -12)*(-3)/21. Which is bigger: f or a?
a
Let k(q) = q**3 - 12*q**2. Let r(u) = -u**3 + 19*u**2 + 22*u - 28. Let t be r(20). Let c be k(t). Let f be (-2)/23*(3 - 2). Are c and f unequal?
True
Suppose 17*q + 4480 = 502. Which is smaller: q or -232?
q
Let q = -0.063 - 0.127. Is 14 smaller than q?
False
Suppose -y - 17 = 1. Let f be (-27)/(((-225)/(-10))/15). Is y greater than f?
False
Let r = 19 + -17. Let d = -1.5 + r. Let a = 0.5 - d. Do a and 6 have the same value?
False
Let w be (234/(-195))/((-3)/5). Is w less than or equal to 5/4?
False
Suppose -3*t + 25 = 2*t. Let r(m) = -4*m**2 + 16 - 6 - 17*m + 4 + t*m**2. Let k be r(14). Does -28 = k?
True
Let r be 54/(-10)*60/24. Let o = -13 - r. Let g = o - 5/14. Are 0 and g equal?
False
Let g be (-11)/(-2) + (-3)/2. Suppose g*x - 3*m = -1 - 62, 5*m - 3 = x. Which is smaller: -19 or x?
-19
Let a = 2076/11 + -189. Which is smaller: 0 or a?
a
Let r be (-7)/14 + 223/(-2). Let x be 97/(-8) - 14/r. Let o be (1/x)/((-30)/80). Does -8 = o?
False
Let t be (3 - 2) + (-3699)/12. Let k = 305 + t. Is k >= -1?
False
Let z = -19/21 - 17/7. Let m = -2594 - -2594. Is z less than or equal to m?
True
Let c be 2/(84/(-8) + 10). Which is smaller: -93/19 or c?
-93/19
Let p(b) = b**2 + 10*b - 16. Let x be p(-12). Let n be 3/6 - (-37)/6. Which is smaller: x or n?
n
Let g = 115/2784 + -3/58. Which is greater: g or 1?
1
Let y be ((-4)/(-7))/((-4)/(-1846)) - -2. Let n = 265 - y. Which is greater: 1 or n?
1
Let q = 299 - 212. Which is smaller: q or 88?
q
Let v(p) = -p + 3. Let h be v(6). Let o = h - -11. Let l = o - 6. Which is bigger: 3/2 or l?
l
Let z be (14/2)/(-4 - -5). Suppose -z*d + 4*d + 27 = 0. Let n = d + -16. Is n greater than or equal to -8?
True
Suppose -2116 = -11*t - 2127. Let m = 701102/171 - 4100. Is t at most as big as m?
True
Suppose -2*h - h = -36. Suppose 0*k - h = -k. Let q be (8/6)/(10/k). Which is smaller: 2 or q?
q
Let v = 5191/5 - 1038. Let l(f) = -f + 2. Let b(o) = -1. Let h(x) = 4*b(x) - l(x). Let a be h(6). Is v greater than or equal to a?
True
Let d = -26 - -36. Let l be d/(-6) - (-1)/(-3). Let u be -1*3/6 + 9/(-90). Are u and l equal?
False
Let q = 13 + -13. Suppose -3*h - 4*h = q. Let l = -131/342 - -5/18. Which is smaller: l or h?
l
Suppose -2*q - 4*m = 7 - 43, -54 = -3*q - 5*m. Let n be (q/(-16))/((-6)/(-8)). Let y = 2 + n. Which is bigger: 0 or y?
y
Let x(j) = 1 + 0 - 8*j**2 + 13*j**2. Let a be x(-1). Let q be 0/(-6) + 2/a. Which is bigger: -1 or q?
q
Let r be (-5)/(-10) + (-5)/2. Let n be (-5)/r*(-1)/25. Let q(s) = s**3 - 3*s**2 - 4*s. Let f be q(4). Is f <= n?
False
Let t = 91689305/1397 - 65633. Which is smaller: 1 or t?
t
Let q = -0.038 - 6.962. Let v = 7.2 + q. Is 2/5 greater than v?
True
Let i be (-6 - 228/16)/((-3)/(-8)). Is -53 <= i?
False
Let x = 9/316 + -233/553. Let v = x - -863/2268. Let s = v + -26/81. Which is smaller: s or -13?
-13
Let a = -31.3 + 26.3. Is 7 at most a?
False
Let r be 6*(-4)/(-15)*(-5195)/(-50). Suppose -5*i - 815 = -3*d, 0 = -5*i - d - 277 - 558. Let o = r + i. Is -1 smaller than o?
True
Suppose 2*n - 7 = 3. Suppose -2*t + 86 = 2*p, -2*p - 247 + 18 = -5*t. Suppose -n*v - t = 40. Which is smaller: v or -15?
v
Let t be (22 + -3)/((-300)/76 + 4). Which is smaller: 360 or t?
360
Suppose -4*l + 2*l = -u, u + l - 3 = 0. Let v be ((-8)/144)/(u/(-16)). Is v at most as big as 3?
True
Let u(w) = 5*w - 2. Suppose -2*z - 2 = -4. Let n be u(z). Let s = n + -3. Which is smaller: s or 1/5?
s
Let p be ((-16)/5 + -4)*10. Suppose 605 = -24*u - 1099. Is u at least as big as p?
True
Let g = -877 - -876.92. Which is smaller: g or 5?
g
Let j(s) = -s**3 + 10*s**2 - 7*s + 17. Let q be j(10). Let z = 96 + q. Which is smaller: 45 or z?
z
Let l = -8 - -9. Let t be (3/(-9))/l*6. Let v be 6/(-81)*(-1 + t). Is 1 at least as big as v?
True
Suppose -4*c - 10 = c. Let s be 15/(-10) - 11/c. Let h be -3*s + -1 - -1. Is h at least as big as -13?
True
Let d = -1059 - -1238. Which is greater: d or -2?
d
Let r be (1 - -1)*(-6)/4. Is r less than or equal to -3?
True
Let l be 157 + -142 - (-178)/(-12). Let r = -2.9 - -3. Let j = r + -0.2. Which is bigger: j or l?
l
Suppose 0 = 3*b - 4*b + 3*o + 11, 0 = -2*b + 5*o + 17. Let v be -2 + b/(-2) + 2. Suppose -8 = 4*h + t, -h + v = 3*t + 4. Is h at most as big as -2?
True
Suppose -7 = 5*l + 4*h, -l = 103*h - 100*h + 8. Which is greater: l or 0.03?
l
Let t be ((-3)/(-30))/(-1 - (-1 - -1)). Is -1/3 bigger than t?
False
Let a be (-22)/(-2) + -1 + 64/(-8) + -2. Let p be (-164)/(-255) - 2/3. Is a less than or equal to p?
False
Let l = 19 - 15. Suppose -3*p - 4*i = -39 - 44, -l*p = 3*i - 113. Is p smaller than 28?
False
Let b be 27 + 1 + (-9 + 11 - -4). Which is greater: b or 29?
b
Suppose 2*d + 70 = -q, 132 = -5*d + d - 4*q. Let f = d + 43. Suppose -4 + 11 = k. Is k at least as big as f?
True
Suppose -8*c = 14*c + 1782. Which is bigger: -79 or c?
-79
Let q(u) = 2*u + 1. Let b be q(-3). Let z(v) be the third derivative of v**4/24 + 2*v**3/3 - 4*v**2. Let c be z(b). Does c = -3/13?
False
Let r(o) = o**3 + 7*o**2 + 7*o + 6. Let a be r(-6). Is a != -3/179?
True
Let u be 766/(-6)*(-6)/10. Suppose 3*v - 261 = -30. Let y = v - u. Which is smaller: 1 or y?
y
Let l = -64.1 + 55. Let p = l + 0.1. Let q = p - -9.2. Is 1 bigger than q?
True
Suppose -4*h = 4*j + 20, -j - 5*h - 13 = 8. Suppose 3*f = -9, -2*p + 50*f - 55*f - 11 = 0. Is j greater than p?
False
Let g = -7 - -6.54. Let p = g - 0.54. Which is smaller: p or -24?
-24
Let b(y) = -3*y**2 + 65*y + 6. Let a be b(