 z*y = 0. Is 2/7 < y?
False
Let n(z) = -z**2 + 5*z + 9. Let o be n(8). Let p = 44/3 + o. Which is bigger: -1/26 or p?
-1/26
Let r be (-4 + 62 - 4) + -3. Suppose r*f - 50*f + 2 = 0. Is f at least as big as -6?
True
Let r = 0.1951 + -0.0781. Which is greater: -2 or r?
r
Let l = -32.4 + 29.4. Let f be (6/4)/(3/4). Let d = 5 - f. Is l less than or equal to d?
True
Suppose -22 = -5*v + 4*m, 4*m + 10 = 2*v + 2*m. Suppose -2 = v*t - 0*t. Let u be (-36)/12 + t*1. Is -5 equal to u?
False
Let t = -4250.79 + 4281. Let u = 30 - t. Which is greater: -1 or u?
u
Let y = -128 - -43. Let s = 75 + y. Which is smaller: -9 or s?
s
Let g be (-45)/210*2*-301*1. Which is greater: 134 or g?
134
Let p = 221 - 221.7. Which is smaller: p or 3/25?
p
Let b = 82.035 - 0.035. Let q = 81.2 - b. Let c(m) = -m - 2. Let h be c(-3). Are q and h nonequal?
True
Let y = 23.45 + -23.4. Which is greater: y or -13/8?
y
Let s = -6889/7 - -984. Which is smaller: s or 6?
s
Let i be 29/(-87)*((-18)/(-3))/(-2). Which is bigger: -15/38 or i?
i
Let f(s) be the first derivative of -s**5/120 + 7*s**4/24 + s**3/3 - 1. Let d(o) be the third derivative of f(o). Let p be d(8). Is -1/2 less than p?
False
Suppose 3*i - 3*q - 306 - 933 = 0, -5*i = 3*q - 2065. Are i and 414 unequal?
True
Let c = -82 - -49. Which is smaller: c or -31?
c
Let j be 25*(-1)/5*(-26 + 25). Which is greater: j or 108/19?
108/19
Let d(j) = -j**3 + 12*j**2 - 18*j - 24. Let q be d(10). Suppose i + 3 + 1 = 0. Are i and q unequal?
False
Let u = 10/7 + -13/14. Is -7 > u?
False
Let k = 301 + -603/2. Which is greater: -150 or k?
k
Let v(x) be the second derivative of x**4/12 + x**3/6 - 13*x**2/2 + 19*x. Let z be v(3). Which is smaller: -1/102 or z?
z
Let r(u) = u**2 - 39*u + 108. Let o be r(34). Is o >= -63?
True
Let f be 2/(708/537) - 21/14. Which is greater: f or 0?
f
Let l = -18.76 - -21.3. Let k = l - 0.54. Which is greater: 8 or k?
8
Let f = -2/203 - 195/812. Let l = 1 + -0.3. Let i = l - 0.8. Is f greater than i?
False
Let f = -2593/15 - -173. Let v(m) = -44*m + 831. Let h be v(19). Is f smaller than h?
False
Let k = 96 + -98. Let z be 5/(-25)*(k + -8). Which is smaller: z or 36/13?
z
Let t be (64/(-80))/(394/10). Is t not equal to 0?
True
Let s(f) = f**3 - 6*f**2 - 8*f + 4. Let d be s(7). Suppose 3*z + 0*z = 27. Let v be (15/z + -1)*-3. Which is smaller: d or v?
d
Let m(y) = 8*y + 19. Let h be m(-5). Let n(p) = p + 11. Let j be n(h). Let a = -23 - -13. Do j and a have different values?
False
Let b(m) = -12*m - 8. Let z(j) = -j - 1. Let w(l) = -2*b(l) + 22*z(l). Let u be w(4). Let n(c) = -c**3 - 3*c**2 - 5*c - 2. Let v be n(-2). Is u bigger than v?
False
Suppose -9*y - 3 = -39. Suppose -4*v - v - 20 = -y*p, -p = -v - 5. Is v > 7/5?
False
Let q = -16/119 + 12/17. Let f(v) = v**3 - 7*v**2 + 2*v + 3. Let a be f(6). Let l be -1 + (-69)/a + (-2)/7. Which is bigger: l or q?
l
Let t = 25 - 11. Let m be (-156)/(-38) - (-10 + t). Does 0 = m?
False
Let h = 80 - 77. Suppose -4*s - 18 = -h*c - 2, 5*c + s = 42. Is 7 bigger than c?
False
Let b = -140.66 + 141. Is b at least as big as -1?
True
Suppose 4*q - n - 3 = 41, 3*n = -3*q + 48. Suppose 0 = -3*p + 4*o - q, 2*p = -p - 2*o + 6. Which is smaller: -2/17 or p?
-2/17
Let y(l) = 7*l + 12. Let d be y(5). Suppose -d = -4*f + i - 0*i, 85 = 5*f + 4*i. Which is smaller: 12 or f?
12
Let n(w) = -5*w + 18. Let i(f) = 4*f - 17. Let v(s) = -6*i(s) - 5*n(s). Let o be v(-13). Which is smaller: -0.6 or o?
o
Let a = -19 - -2. Let k = 10 + a. Let r be -1 - ((-84)/(-8))/k. Which is smaller: r or -0.3?
-0.3
Let v(x) = -3*x + 36. Let f be v(-6). Let k = 55 - f. Let d = 880 - 37838/43. Is k at most as big as d?
False
Let r(p) = -p**2 - 13*p - 44. Let y be r(-6). Let q = 27 - 31. Is y less than q?
False
Let q = -123 - -148.4. Let a = q + 0.6. Which is bigger: -1/3 or a?
a
Let v = 11.2 - 11.7. Let r = 33.1 - 33. Is r less than or equal to v?
False
Let h(o) = -5*o**3 + 5*o + 1. Let y be h(-2). Which is smaller: y or 89/3?
89/3
Suppose -3*j = -5*s - 37, -12 = 4*s - 0*s + 2*j. Suppose 190 = -5*i - 5*d, -5*i - 2*d - 2*d - 190 = 0. Let m = 33 + i. Is m > s?
False
Suppose -68*u + 4*s = -71*u - 13, -3*u + 2*s = -11. Let v be (-2)/35 - (0 - 0). Is u less than or equal to v?
False
Let c = 1341 + -1829. Which is smaller: c or 0.1?
c
Suppose 0 = -35*l + 41*l - 6. Is l greater than or equal to -3?
True
Let f = 37 + -110/3. Let g = 36 + -30. Which is greater: f or g?
g
Suppose 0 = 3*x + 4 + 119. Let q = x + 167/4. Let b be (-34)/200 + 1/4. Is q smaller than b?
False
Let l be (-9 - -9)/(1*2). Let o be l - 2 - 43/(-15). Let a = o - 8/15. Which is bigger: a or -1?
a
Let b = 70 - 50. Let l be (-12)/(5/(b/6)). Which is greater: l or -9?
l
Let g = 154 - 138.1. Let p = 17 - g. Let u = 4.1 - p. Which is bigger: 2 or u?
u
Suppose 2*p = -92 - 124. Let o be 3 + (p/7)/4. Let h be (0 - -1)*0/(2 - 0). Is h >= o?
True
Let y be (-8)/3 + (-16)/(-336)*-7. Let n = -0.9 - -1. Let k = n - -0.4. Which is greater: y or k?
k
Let i = -114 - -118. Is -3 < i?
True
Let y = 1/1412 + 33877/15532. Which is smaller: y or 0.1?
0.1
Let p = 186 - 192. Let k be ((-1)/6)/((-6)/(-8)). Which is greater: k or p?
k
Let v be (-18)/(-4)*(-33)/(-198). Is 0 less than or equal to v?
True
Suppose 5*h + 45 = -0*h. Let q = -79 - -46. Let u = -34 - q. Which is greater: u or h?
u
Suppose k + 3*k - 3*g = 21, k + 2*g - 8 = 0. Let w be (-2)/k - 21/(-9). Let f = -2 + w. Which is bigger: 2 or f?
2
Let h = -0.0647 - 1.9353. Let w = 0.11 - 0.07. Which is smaller: h or w?
h
Suppose 4*a + 25 = 5*q - 10*q, -4*q - 41 = -a. Let z = 11 - 20. Is z >= q?
True
Suppose 0 = -0*q - 4*q + 2*b + 660, -2*b = 3*q - 488. Let f be (-36)/306 + q/238. Which is greater: f or 2?
2
Let j be (-58)/(-180) - 4/18. Suppose 2*z - 12 = -4. Suppose 2*v + d - 3*d = 8, z = 2*v - d. Which is bigger: j or v?
j
Suppose 7*s - 769 = 736. Is s >= 216?
False
Let b = -87 + 144. Which is smaller: b or 3?
3
Let k be -1 + 4 + (608/(-12))/(-8). Which is smaller: k or 10?
k
Let x = 122 + -1580/13. Which is greater: 1 or x?
1
Let u = -1.73 + -7.27. Which is smaller: 0.2 or u?
u
Let k = -22.17 + 20.17. Is 35 <= k?
False
Let u = -1.651 - -1.43. Let b = u - 0.049. Which is bigger: 1 or b?
1
Suppose 22*u + 10*u - 12992 = 0. Do u and 406 have different values?
False
Let t be ((-6)/(-2))/(-1 + 0). Let c = 13 - 11.1. Let x = 1.1 + c. Are t and x equal?
False
Let b = 3622/5 - 724. Is 1 >= b?
True
Let m(t) = -2*t**2 + 114*t + 2. Let q be m(57). Which is greater: 47 or q?
47
Suppose 24 = 2*j + 3*i, -j + 32 = j + 5*i. Let f = -177/10 - -111/5. Is j < f?
False
Suppose 33 = 3*l - 3*r, 0*l + 2*l - 12 = -3*r. Let b = 3006 + -2995. Is l less than or equal to b?
True
Suppose -2*s + 0*s - 7 = h, h - 10*s + 19 = 0. Is -8 >= h?
True
Let s = -18.35 + 18. Let g = s + 0.55. Is g greater than 1/2?
False
Suppose 53 = u + v, 4*u - 52 = -3*v + 157. Let t = u + -56. Are -7 and t equal?
False
Let r(f) = 474*f**2 + 1 - f**3 - 489*f**2 - 27 - 15*f. Let c be r(-14). Which is bigger: 2/7 or c?
2/7
Let w = 6 + -4. Suppose 0 = -w*c - 39 - 3. Let i = -25 - c. Is 1/2 less than i?
False
Let t = 619 - 666. Is t less than or equal to -47?
True
Let b = -7 + 5. Let p be (-5)/((-5)/b) + 0. Let a be ((-54)/12)/(1/p). Which is smaller: a or -0.1?
-0.1
Suppose 5*k + 4*x - 13 = 0, 2*k - k = x + 8. Suppose -4*j + 62 = 5*b, -k*b + 2*j + 21 + 23 = 0. Let u = b - 8. Is u < 10/3?
True
Let r = 414 + -358. Is 55 greater than r?
False
Let n be (6/(-4))/((-2)/(-4)). Suppose 5*b + 14 + 16 = 0. Let a = n - b. Is a < 3?
False
Let b = -43 + 179. Suppose -4*y - p + b = 0, 4*p = 5*y - p - 170. Are y and -0.1 equal?
False
Suppose -1032 + 1020 = -6*w. Do w and 2/33 have different values?
True
Let r = -45 + 40. Let a be ((-5)/(-24))/(r/(-20)). Does a = 2?
False
Let l = -104 - -103. Let x = 3.1 + -2.99. Do l and x have the same value?
False
Suppose 7*r = 8*r + 2. Is r at most -46/15?
False
Let a(s) = 3*s**2 + 30*s - 6. Let q be a(-10). Which is smaller: -51/10 or q?
q
Let c(h) = 66*h + 464. Let j be c(-7). Let r = 0.2 + -0.3. Is r less than j?
True
Let x be 9/(-66)*((-91)/(-21) - 7). Is x at most 1?
True
Suppose 4*r + h = -15, h + 0*h - 21 = 5*r. Let d = 5.92 + 0.08. Is d smaller than r?
False
Let w be ((-247)/(-312))/(2/(-4)). Which is bigger: -3 or w?
w
Let y = 0.01 - 2.01. Let q = 45 