t k be q(-1). Is k at least v?
True
Let y be (-26152)/(-17424) - 1*24/16. Which is smaller: y or 0?
0
Let r(q) = 2*q**3 - 31*q**2 + 13*q + 14. Let f be r(15). Is f at most as big as -17?
False
Let a(u) = u**3 - 4*u**2 - 3*u - 11. Let x be a(5). Which is bigger: -229 or x?
x
Suppose 0 = -k - 1 - 1. Let q(w) = -6*w**3 - 2*w**2 - 1 - 2 + 7*w**3 + 3*w. Let u be q(2). Do u and k have the same value?
False
Let n(r) = 3*r - 31. Let t be n(15). Let k = t + -13. Is k < -1?
False
Let v be 1/((-4)/(-3) - (-8)/(-8)). Let u be ((-4)/v)/(442/(-39)). Are -15 and u non-equal?
True
Suppose -2*k - 5*t = -15, -k + 5*t + 83 = 98. Which is greater: 2/10891 or k?
2/10891
Let b be (-11)/10*46606/(-49). Let w = 7545/7 - b. Let g = w + -32. Which is smaller: 0.08 or g?
g
Let o be (1/(-1))/((-2)/16). Suppose 13*n - 15 = o*n. Let f be (n/6)/(1 - 0). Is f at least as big as 11?
False
Let p = 27.2 + -27. Let s = -2.8 - p. Let a(z) = 2*z**3 + 2*z**2 - 1. Let j be a(-1). Which is greater: s or j?
j
Let o(l) be the third derivative of l**5/60 + l**4/6 - l**3 + 10*l**2. Let a be o(-5). Let c = 0.6 + -3.6. Which is greater: c or a?
a
Let c = -306 - -2145/7. Is 1 at least c?
True
Let l be ((-4)/((-16)/6))/((-3)/28). Let s = -18 + 7. Is s at least l?
True
Let i = 20 - 16. Suppose -i*d = -2*t - 56, 32 = -4*t - 3*d - 58. Let c be -2 + (t/9 - -4). Which is smaller: c or 0.2?
c
Let g(s) = -4*s - 5. Let p be 1/(2*3/24). Let k(v) = -3*v - 5. Let t(q) = p*g(q) - 5*k(q). Let d be t(4). Is d less than 3/7?
False
Let t(w) = w**3 + 13*w**2 + 2*w + 15. Let x be t(-13). Let m be ((-4)/3)/(4/(-6)). Suppose -m*d + 3*d + 10 = 0. Which is greater: x or d?
d
Suppose -116 = 3*z + r, -2*z - r - 22 - 54 = 0. Let v be 45/75 + -1 + (-6)/z. Which is bigger: v or 25?
25
Suppose 14833 = -13*o + 2379. Do o and -958 have the same value?
True
Let w = -0.0159 - -2.9059. Let z = -2.9 + w. Which is bigger: z or 6?
6
Let b = -0.357 + -14.743. Let l = b + -0.9. Let c = l - -17. Do 12 and c have the same value?
False
Let p be 1883/(-5) + 12/20. Let j = -2628/7 - p. Which is smaller: j or 0?
0
Suppose -5*s + 53 = 3*i, -5*s + i - 142 = -191. Suppose y = 6*y - 30. Which is smaller: s or y?
y
Let c = 296 + -296. Let f be 1 - (-2 + (-273)/(-93)). Is f greater than or equal to c?
True
Let o(y) = y**2 - 8*y + 18. Let g be o(4). Let s be 28/105*((-1)/(-1) + 8). Which is greater: s or g?
s
Suppose -25*f + 22*f - 201 = 0. Which is bigger: f or -65?
-65
Let w be (-4)/(-2) - 323/150. Let f = -8/25 - w. Let k = 380.9 - 381. Is f at most as big as k?
True
Suppose 150 = 5*b + 5*d, -340*d + 337*d - 38 = -b. Let k = -72 - -104. Is k at least as big as b?
True
Let o be ((-66)/(-372))/((-1)/2*1). Do o and -1 have the same value?
False
Let y(n) be the third derivative of -n**5/30 + n**4/3 + n**3/2 - 2*n**2. Let i be y(6). Let t = i + 149/7. Which is greater: t or 0.1?
t
Let h = 72 + 100. Let x = -170.99 + h. Let f = x + -0.01. Which is smaller: f or 9/2?
f
Let i(l) = l**3 - 3*l**2 + 5*l. Let a be i(2). Suppose 0 = 2*s - 1 - 5. Suppose -4*u - 34 = -s*k, 4*k + u - 17 - 3 = 0. Is a less than or equal to k?
True
Suppose 39 = -3*c - 30. Suppose 2*y - 3*u + 3 + 44 = 0, -4*y + 2*u - 98 = 0. Which is smaller: c or y?
y
Let c = -1090 - -1089. Let i be (-2)/(-1 - 17) - 0. Do c and i have the same value?
False
Suppose 4*s - 3*s = -1. Let q = -133 + 143. Let y be 25/q - (2 + -4 + 6). Is s at least y?
True
Suppose 14 = c + 3*z + 4, -2*c = -4*z + 30. Suppose -5*i = -3*s + 2, 6*s - 4*s = 3*i + 2. Let l = s - 7. Do l and c have the same value?
False
Suppose -2*w - 4*z = 18, -3*z = w - 4*z - 6. Let j be (-9)/(8/((-64)/84)). Which is greater: j or w?
w
Let i(d) = d + 2. Let p be i(-1). Let v be 2/(p/2*-4). Is v at least 3/14?
False
Let z = -1169 + 1170. Let b be (-1)/15*(-54)/4. Which is smaller: b or z?
b
Let l = 82/15 - 29/5. Which is greater: -7 or l?
l
Let i(c) = -c**2 + 29*c + 72. Let m be i(29). Which is smaller: m or 79?
m
Let n = -2845 + 5691/2. Which is bigger: n or -54.9?
n
Suppose 3*k = k + 10, o = 2*k - 9. Which is greater: -2/109 or o?
o
Let v(u) = -6*u + 35. Let k be v(6). Let s be 8 - 6 - (-8)/(1 - k). Do s and 8 have different values?
True
Let p = 233 + -100. Let m be 0 - 2*2/(-12). Is p at least m?
True
Let g be (3 + -1 + 0)/(120/(-1620)). Do g and -26 have different values?
True
Let h = -342 + 3759/11. Let a(n) = -n**3 - 2*n**2 + 2*n - 2. Let l be a(-3). Let c be (-1)/(1/1)*l. Which is greater: h or c?
h
Let i(d) = -d**3 - 4*d**2 - 4*d + 4. Let b be i(4). Let q = b + 289/2. Which is bigger: 6 or q?
6
Let b = -140592/65 + 2163. Suppose 0 = -66*y + 108*y. Is b less than or equal to y?
False
Let c(r) be the first derivative of -r**3/3 - r**2/2 + 13. Let s be c(1). Is -4 not equal to s?
True
Let n be 1 + (324/(-4) - 0). Let x = 239/3 + n. Let m be 6/(-33) + 0 + 0. Is x smaller than m?
True
Let a(m) = -6 - 3*m - 2*m + m + 5*m. Let r be a(15). Which is smaller: 10 or r?
r
Suppose -3*y + 8*y + 330 = 0. Let k = -63 - y. Are 15/4 and k equal?
False
Suppose -3*t - 39*b + 44*b = 726, -5*b = 0. Is t >= -243?
True
Let g = 6422/3 + -2140. Does -67 = g?
False
Let b(u) = u**3 - 5*u**2 - 5*u - 7. Let p be b(6). Let j be ((-80)/(-4))/(2/13). Let a be j/456 + 1/(-4). Is p not equal to a?
True
Suppose -5*s + 119 = 5*y + 24, -56 = -4*s + y. Let a be (-5)/3*24/s. Does -3 = a?
False
Let i = 11 + -8. Suppose -i*p - x = 42, 5*p = 2*x - 38 - 32. Let g = 8832 - 8846. Do g and p have the same value?
True
Let o = -996 - -996.03. Let r = -0.69 - -0.7. Let x = r - 0.01. Is x >= o?
False
Let i be (1 + -31)*9/((-56520)/16). Is i >= 1?
False
Suppose -2*p + 10 = 0, -4*p - 9 = h - 33. Let q be (-42)/(-16) - (h + -2). Let x = 38 + -37. Are q and x nonequal?
True
Let n be (5 + -3 - 0) + 18/(-9). Is -2/1185 != n?
True
Suppose 130 = 11*v - 35. Are 61/4 and v nonequal?
True
Let m(t) = -t**2 - 5*t + 3. Let q be m(-4). Let d be (-12)/42 - 124/q. Let l = d + 17. Is 2/5 smaller than l?
False
Let s = 0 + 1. Let j be 3120/8008*(-5)/4 - 3/(-6). Are s and j non-equal?
True
Suppose 0 = r - 5*l + 783, 5*r - 37*l = -39*l - 3942. Is r bigger than -788?
False
Let m = 5192927/246 - 21109. Let h = m + -7/164. Which is bigger: 0 or h?
h
Suppose 0 = 7*f - 7. Let v be (188/(-48) - -2 - -3)*f. Is 1 <= v?
True
Let i = 1 + 1. Let s be (0 + (-45)/42)/((-180)/105). Which is bigger: s or i?
i
Let a = -17 - -12. Let f(y) = y**2 + 19*y + 55. Let t be f(-15). Is t smaller than a?
False
Let g = -8.73 - -3.83. Is g smaller than -2/5?
True
Suppose 16 = -4*y, -y - 46 = -2*c - 5*y. Suppose 5*x - 55 = 95. Are x and c nonequal?
True
Let n = 926 + -34264/37. Which is smaller: 5 or n?
n
Suppose p + 99 - 365 = -3*q, -3*q = -p - 256. Let d be (-9)/(-24)*1/q. Is 0 at most d?
True
Let q = -4/105 + 4111/420. Let s = q + -10. Let o(m) = m**2 - 5*m - 6. Let u be o(5). Which is greater: u or s?
s
Suppose -3*n - 17 = k - 3*k, 0 = -k - 4*n - 19. Let d be (33/(-2))/((-1)/2). Suppose -d = 5*f + 12. Is k equal to f?
False
Let a be ((-10)/(-52))/(57/6). Let h = 205292/1729 - a. Let w = 119 - h. Which is bigger: w or 2/5?
2/5
Let j = -507.2 - -105.2. Which is greater: -3/2 or j?
-3/2
Let u = 12/3499 + -32871/402385. Let o = 1/46 - u. Is 1 at most as big as o?
False
Let n be (-88)/154*2/108. Which is greater: 1 or n?
1
Let q = -5/3 - -13/6. Suppose -3*n = 2*f + 6, 4 + 0 = 5*f - 2*n. Suppose 31*k - 35*k = f. Is k not equal to q?
True
Let f = 8 + -3. Let a = f - -2. Let o = a + -6. Is 0.04 at least o?
False
Let j(f) = 20*f + 151. Let y be j(-8). Are -53 and y equal?
False
Let s = 3.06 + 11.24. Let p = -2.3 + s. Which is bigger: p or 0.1?
p
Let i(j) = 64*j - 450. Let w be i(7). Suppose -4*o - 2*k + 21 = 3, -3*o + 4*k = 14. Suppose o = -3*c + c. Is w less than c?
True
Let n be 1/(-14 + -7 + 17). Do -0.022 and n have the same value?
False
Let v = -20 + 19.9. Let z be (8/(-6) + 2)*(-3)/7. Which is smaller: z or v?
z
Let x = -144.1 + 150.1. Let u = 1 + -0.9. Which is smaller: u or x?
u
Let h = 18.2 - 18.5. Is h > -1/9?
False
Let q(z) = z**3 + 7*z**2 + 10*z + 3. Let y be q(-3). Do y and -1/26 have the same value?
False
Suppose -2*p = 4*p - 5*p. Is p greater than or equal to -1/101?
True
Suppose 2*g - 4 = 8. Let k = g + -3. Suppose s - 19 = -k*u, -5*u - 9 = -3*s - 22. Which is smaller: s or 3?
3
Let d be 1*-2*1 + 1. Let h = -41