k at least as big as 27?
False
Let t = 2308 - 2324. Let y = -41 + 25. Let i = t - y. Is 4 <= i?
False
Suppose 3*f - 9 - 9 = 0. Let k be -3 + 4*(-3)/f. Let v = -2 + 1. Which is smaller: k or v?
k
Suppose -17*h + 133 = 1629. Let v be h/(-308) - 3*2/(-28). Is v at least 1/2?
True
Let y be (2/4)/((-5)/(-18390)). Let i = -119543/65 + y. Is 0 greater than or equal to i?
True
Suppose 41*s - 340 = 51*s. Let n(t) = -2*t**2 - 64*t + 146. Let l be n(s). Is l at most 13?
True
Let g(z) = z**2 + 9*z - 19. Let p be g(-11). Suppose -4*v + 2*u + 6 = -0*u, -3*v = p*u + 9. Which is smaller: v or 5/42?
v
Suppose 7*z + 4 = 9*z. Let m be ((-82)/z)/((-3)/(-6)). Let c = 84 + m. Which is bigger: c or -3/7?
c
Let u(w) = 2*w**3 - 10*w**2 - 7*w - 5. Let s = -21 - -27. Let y be u(s). Let f = y + -551/22. Does f = 0?
False
Let b = 3545 - 3493. Is 36 <= b?
True
Let t = -15.97302 + -0.02698. Which is greater: 6/277 or t?
6/277
Let n be 4/6 + (-612)/1134. Which is smaller: 0 or n?
0
Let b = -54 + 57. Let m be ((-4)/(8/b))/((-33)/(-44)). Let q be m/2 - -1 - 0. Is q smaller than -2/7?
False
Let j = 119 + -143. Let w be (-8)/(-12) - 968/j. Let r(b) = -b**3 - 10*b**2 - 3*b + 10. Let m be r(-10). Is w at least m?
True
Let a = -19 + 38. Suppose 0 = -3*u - a - 5. Let p be u/(-1) - (4 - 3). Is p not equal to 7?
False
Let g be 45*17/(-306)*(-8)/(-598). Are -2 and g nonequal?
True
Let p be (-95)/(-2)*(-46 + 42). Let d = p - -303. Which is greater: d or 111?
d
Suppose -3*y + q = -6, 2 = -y + 2*y + 2*q. Suppose 4 = -f + 3*o, y*o - 9 - 5 = -5*f. Let r be f + (-1 + 0)/((-13)/(-39)). Which is smaller: 4/29 or r?
r
Let x = -2549531/275 - -9271. Which is greater: x or 0?
0
Let a = 14799 + -14650. Which is smaller: 443/3 or a?
443/3
Suppose 0 = 2*c - 3*x - 1, -2*c + 2*x = -6 + 4. Suppose c*m = -4*f + 6, f - 3*f = 4*m + 18. Let s = -155/21 + 5/7. Which is greater: m or s?
s
Let b be 2167/253 - (-1 + 0). Let v = b + -18746/1955. Let g = -63 - -63. Is v greater than or equal to g?
False
Let h(q) = -q**2. Let m be h(-1). Let d = 120577/64222224 - -2/121633. Is m <= d?
True
Let i(j) = 8*j + 14. Let r be i(3). Let f be 228/r + 172/(-30). Is f smaller than -0.14?
False
Let f be ((-146)/(-4))/((-5)/(-60)*6). Suppose 0 = 4*i + 5*k + f + 141, 4*k = -2*i - 104. Let x = i + 56. Which is smaller: 9 or x?
x
Let u(s) = s**3 + 13*s**2 - 15*s - 319. Let g be u(-12). Is 47 bigger than g?
True
Let z be -2*(114/4)/(-3). Let s = z + -44. Let a = s - -25. Do a and -12/17 have the same value?
False
Let h be ((-30)/75)/((-2)/10). Suppose 0 = -h*m - 3*j - 5, 2*j = 5*m - 2*j + 1. Let b be (m/(-318))/(2/8). Are 1 and b nonequal?
True
Suppose 2*i + 16 = 3*b, 3*i - b + 18 = 2*b. Let u be i*4/342*(-9)/6. Let t be ((-4)/6)/(8/(-12)). Is u bigger than t?
False
Let p(z) = -31*z + 614. Let s be p(70). Which is greater: s or -1558?
s
Let u = -0.013 - -3.013. Let r = -94.9 + 8.9. Let c = r - -86.6. Which is smaller: u or c?
c
Let p = 78/5 - -44/5. Let k = -69/10 + p. Which is smaller: k or 17?
17
Let x be 0 - (4 + 136/(-38)). Let m = -42.21 + 42. Let r = 0.11 + m. Is r <= x?
False
Let b = -21647/123 + 176. Suppose 77*a - 78*a + 2 = 0. Suppose 5*n + 1 = a*x, -5*n - x - 4 + 12 = 0. Which is greater: n or b?
n
Suppose 5*q - 4*n + 109 = 2*q, -5*q + n - 193 = 0. Let o be (q/65)/(6/(-20)). Suppose o*v + 3*v = 100. Is v less than or equal to 20?
True
Let a be 4 - (954/1164)/((-6)/(-29)). Is 1 equal to a?
False
Suppose 17*x = 7*x + 1320. Let c be (1/9)/(x/(-42) - -3). Is -1 at most c?
True
Let w = 437 - 453. Let m be ((-40)/w - 0)*-30. Which is greater: -0.04 or m?
-0.04
Let d(s) = s**2 - 10*s + 1. Let r(v) be the first derivative of -v**3/3 - 8*v**2 - 33*v + 16. Let o be r(-13). Let l be d(o). Is l less than -23?
False
Let c = -949 + 8537/9. Suppose -4*n = 1 - 5. Suppose -2 + n = f. Which is bigger: f or c?
c
Let f = 28849 - 108904974/3775. Are 1 and f non-equal?
True
Let t = 5133 - 9401. Which is smaller: -4267 or t?
t
Let j = 42.5 + -124. Let k = j + 81.5. Is -0.03 greater than or equal to k?
False
Let m(p) = -89*p**2 + 1250*p - 28. Let g be m(14). Let b be (-1)/((-3)/(-9)) + 6. Let f be ((-56)/(-6))/(1/b). Is f bigger than g?
False
Let v be (-2899)/472 + 6 - (42/(-16))/21. Which is smaller: -1.2 or v?
-1.2
Suppose n = 3*n - 3*v - 13, -16*v - 127 = -47. Let h(m) be the second derivative of m**4/6 + m**2/2 - m. Let l be h(-1). Are n and l equal?
False
Let t = -2/977 - -75239/4885. Let r = -5636.1 - -5636. Which is greater: t or r?
t
Let h be 212/8*(-4)/(-10). Let v be (0 + 1)*(24 + 3 + -4). Let d be 278/v - (-2)/(-23). Which is greater: d or h?
d
Let m = 233 + -243. Let c(k) = -3*k**2 - 30*k - 20. Let w be c(m). Is w at least -19?
False
Let q = -928 - -865. Which is smaller: -61 or q?
q
Let u = -36 - -41. Suppose h - 3*v - u = 15, 3*v - 12 = -3*h. Let k(i) = -i**2 + 7*i + 14. Let y be k(h). Is 5 < y?
True
Let m(j) = 0*j**3 + j**3 - 5*j**2 - 13 + 7*j - 4*j. Let d be m(4). Let a = 11.8 - 12. Is a less than d?
False
Let r(u) = 22*u - 203. Let l be r(9). Which is smaller: l or 48?
l
Let j = 16559 - 8707. Which is bigger: j or 1?
j
Let i = -69.051 + 0.051. Let l = 65 + i. Let p = -5 - l. Are p and 6 nonequal?
True
Let u = 302.149 + -302. Let o = u - 0.039. Are o and 1 equal?
False
Let m = 1311 - 1311. Do 0.17 and m have different values?
True
Let y = -142 - -144. Let p be (-3)/(-7) + (-2104)/728 + y. Is p <= 1?
True
Let v be -2*(-6)/30*(-4 - -19). Suppose v*z + 110 = 338. Is z >= 5?
True
Let j be (1240/(-18))/(-4) - 22/99. Let p(r) = r**3 - 15*r**2 - 24*r + 37. Let a be p(j). Is 207 at least as big as a?
True
Suppose -393*p + 1314 = -394*p. Is p less than -1316?
False
Let h = 2370 + -2313. Which is greater: -79 or h?
h
Let v = 0.27 - 0.324. Let l = 0.2534 - 2.3074. Let y = v - l. Which is greater: 12 or y?
12
Let l(y) = 3*y**2 + 23*y + 160. Let h be l(-8). Let i = 190 - h. Is 27 at least as big as i?
True
Let z be 16/14 - (-2)/(-7). Suppose -2*u - 585 = -243. Let a = u + 171. Is z smaller than a?
False
Let j = -32 - -18. Let p = -3470 + 3457. Which is bigger: p or j?
p
Let y(s) = 2*s. Let o be y(-8). Let q be 1 + (-6)/(-4)*o/12. Let x = -1.35 - -1.05. Which is smaller: x or q?
q
Let p be (-680)/(-14) - (-60)/(-105). Suppose 0 = -42*m + p*m - 12. Which is smaller: m or 4?
m
Suppose -4*v = -2*x, -6*x = -x - 3*v - 21. Let t = x + 2. Which is smaller: 72/11 or t?
72/11
Let m = 30 + -121/4. Let o = 2793 + -2866. Is m smaller than o?
False
Let h = -10037 + 5962. Is h >= -4073?
False
Let r = 12 - 20. Suppose 5*z + 5*t = -15, -2*t = z - 16 + 18. Let d be -4*z/r*(-1)/2. Is d not equal to 1/20?
True
Let a(k) = -k**2 - 17*k - 63. Let x = 738 + -742. Let r be a(x). Suppose -u - 13 = -0*u. Which is smaller: r or u?
u
Let r = 5/4 - 31/12. Is 0.095 at most r?
False
Let z(v) = -139*v + 337. Let x be z(23). Which is greater: -2 or x?
-2
Suppose 5*k - 4*o + 73 = 0, -7*k - 3*o + 32 = -9*k. Let t be 5/(k + 8) + 2. Is 2/25 <= t?
True
Let w = 45/4 + -71/4. Let g(r) = r**3 - 10*r**2 + r + 2. Let n be g(10). Suppose s + n = 4. Which is smaller: w or s?
s
Let i be 10/25 - (3 + 44/10). Let x be (1 - (-8 - i))*205/(-2). Is x equal to -204?
False
Let n = 8.78 + -6.27. Is n at least as big as 2/9?
True
Let g = -907 - -547. Let y = g + 372. Let u = -13 - -26. Which is greater: u or y?
u
Suppose -140 = 18*w + 634. Is -333/8 <= w?
False
Let l = 3313 + -3285. Which is smaller: l or 6.1?
6.1
Let b = -0.4 - -4.4. Let f = b + -7. Let y be 24/(-150) + (-4700)/(-13750). Is f equal to y?
False
Let n(l) = -l**3 - 22*l**2 - 36*l. Let c be 3 + -4 + 57/(-3). Let m be n(c). Let r be m/(-45) + (-3)/(3/2). Which is smaller: 17/4 or r?
r
Let o = -0.1 + 0. Suppose 20*p = 22*p - 8. Let h be (18/p)/((-6)/6). Which is bigger: h or o?
o
Let d = 72 + -72.4. Let t = -4497547/60 - -298933/4. Let o = t + 226. Is o at most as big as d?
False
Let j be (-12264)/(-294) - 43 - (-4)/14. Is j at most as big as -3/1456?
True
Let s = 745.9 + -746. Which is bigger: s or 840?
840
Let n = 560.083 + 4.817. Let x = n + -566. Is x < 3?
True
Suppose -w + 7*w + 72 = 0. Let q be (-5)/3 + w/36 + 6. Is 1 greater than or equal to q?
False
Let w be -3 - (0 + -2)*2. Let k be 225/((-6)/(-2)) - (w - 2). Suppose -15*d = -11*d - k. Is 18 > d?
False
Let a = -191 + 384. Let l = a - 200. Are l and -102/13 equal?
False
