29. Are v and k equal?
True
Let g = 8.9006 - 0.0006. Let r = 75.9 - g. Is -1 at least r?
False
Suppose -t - 4*p = -3*p - 164, -4*t - p + 656 = 0. Let a = -102 + t. Is a >= 0?
True
Let u(d) = 2*d**2 + 22*d - 1748. Let b be u(38). Is 1975 greater than b?
False
Let u = 3286 - 1475415/449. Is -20 < u?
True
Let f be (-6149)/(-130)*2544/(-898). Let d = f - 180/449. Let z = d + 7527/55. Which is greater: 3 or z?
3
Let d = -8660.1 - -9025. Let m = d - 365. Is m less than -328?
False
Let x = 287 - 1433/5. Let s = -26.653 - -0.523. Let b = -0.13 - s. Do x and b have the same value?
False
Let v = -0.516 - 0.054. Let q = v - 38.43. Let r = 0.16 + -0.06. Is r != q?
True
Suppose 36 = 4*w + 2*k, -4*w - 4*k + 9*k + 22 = 0. Let v(z) be the second derivative of 2*z**3/3 - 27*z**2/2 - 39*z. Let i be v(8). Are i and w unequal?
True
Let q be -6*1/9*(-76 + -2). Suppose 2*j - 4 = 0, -2*r + 4*j + 141 = 27. Let t = r - q. Which is smaller: 1 or t?
1
Let i = 41.46 + -36.46. Which is smaller: i or -13/6?
-13/6
Suppose h = -4*h + d, 0 = 3*h + d. Let z(i) = -9*i + 14 + 9*i + 6*i + 0*i. Let f be z(-3). Is f greater than or equal to h?
False
Let s = 19 - 39. Let c = s + 1. Let j(a) = -a**2 - 39*a - 92. Let k be j(-37). Which is greater: k or c?
k
Let u = 2059 - 1949. Which is smaller: u or 129?
u
Let m(g) be the third derivative of g**4/4 + 5*g**3 - 10*g**2. Let j be m(-6). Let x be -1 - 12/(-4) - (-2 + j). Which is greater: x or 1?
x
Let u be 1298/(-33) + -2 - (-2)/6. Let n be (4/u)/((-4)/34). Which is bigger: 0 or n?
n
Suppose -3*p + 69 = o, 0 = -141*p + 138*p + 2*o + 60. Which is smaller: p or 351/16?
351/16
Let m = -0.89 - 3.41. Let q = -0.8022 - -1.2022. Do q and m have different values?
True
Let p = 28 + 52. Let q = p - 83.3. Let v = q - -3.7. Is v less than 2/5?
False
Let c(j) = -11*j + 2. Let a be c(0). Let i be -5 - (-2)/a - -4. Let s = 953/17 - 56. Which is smaller: s or i?
i
Suppose k + 2*k = 9. Let h be -2*2986/(-1988) - k. Let j = h + -3982/1491. Which is smaller: j or -2?
j
Let g be ((-22)/66)/((-3)/(-3 + -24)). Let j be (459/51)/(g - -2). Which is greater: 1/3 or j?
1/3
Let u = 2 - 1.8. Let k = 30 + -36. Let h be -1*(21/(-18) - k/9). Which is smaller: u or h?
u
Let t = 98331760/2021 + -48655. Is t smaller than 1?
True
Let l be -6 + (12 - 4) - 3. Which is greater: l or 2/1183?
2/1183
Let s = -3654 - -3654.0712. Which is smaller: s or -1/4?
-1/4
Let t = 65 - 65.048. Let i = -5.066 + 7.066. Is t at most i?
True
Suppose -4*y - l + 2 = -2*y, 2*y + 8 = 4*l. Suppose -4*g - p + 4*p = -8, y = 3*p. Suppose g*o = -o - 6. Is -11/7 < o?
False
Let q(k) = -k**2 - 7*k + 18. Let r be q(-7). Suppose -3*h - r - 3 = 0. Let p = -4 + h. Is -13 not equal to p?
True
Suppose -z + 6*w + 30 = 10*w, w - 60 = -2*z. Suppose 35 = 13*o - 9*o - x, 2*o - z = -2*x. Is 0 greater than o?
False
Let f = -72 + 71.9. Let j = 39.4 + -0.4. Is j < f?
False
Let u be (4/(-20) - 4719334/(-1995)) + 4/14. Are u and 2366 nonequal?
True
Let b(k) = -4*k - 18. Let d be b(-5). Let i(h) = -4*h + 0*h - d*h + 19 + 12. Let v be i(6). Which is greater: v or -4?
-4
Let q = 1765 + -1856. Which is bigger: -96 or q?
q
Let h(k) = -14*k**2 - 167*k - 3. Let l be h(-12). Which is bigger: l or -20?
l
Let q(c) = -4*c + 74. Let l be q(9). Suppose -5*k + 4*d - l = 0, 32 = 3*k - 8*k + d. Is -4 equal to k?
False
Let c(i) = -35*i + 3. Let v(u) = 36*u - 4. Let t(n) = -7*c(n) - 6*v(n). Let a(r) = r + 3. Let q be a(-2). Let j be t(q). Is 32 at most j?
True
Let s(w) = w**3 - 5*w**2 + 13*w - 6. Let c be s(4). Let i = c + -89/3. Let u = 2 - 1. Is u equal to i?
False
Suppose -5*o = 4*x - 2, o - x - x - 6 = 0. Suppose 4595*s - 85 = 4612*s. Which is smaller: s or o?
s
Let q = -10191/9760 - -91/160. Is q <= -1?
False
Let a be 4/(6/36*6). Suppose a*x - 8 = -12. Is -1/48 greater than or equal to x?
True
Let f be (10 + (5 - 13))*(-6)/(-4). Suppose -13 = -y + 4*x + f, 0 = 3*y + 4*x + 16. Which is bigger: 6/151 or y?
6/151
Let t be (-2)/(-6) - (-539)/(-420). Let q = t - -13/12. Is q less than 0?
False
Suppose 3*q - 13 = -4*u, 4*q + 3*u = 4*u + 11. Let r(v) = v**2 - 4*v + 2. Let t be r(q). Is -2/1131 equal to t?
False
Let j(c) = 2*c**3 + 6*c**2 + 3*c - 3. Let g = 3 - 7. Let y be j(g). Let m be 35/20 + (-6240)/128. Is y >= m?
True
Let t(m) = m**2 - 2. Let i be t(-12). Let a be (-200)/234 - i/639. Which is bigger: a or 2/7?
2/7
Let c(l) = l**2 - 7*l + 11. Let i(j) = j**3 + 8*j - 12. Let q(m) = -4*c(m) - 3*i(m). Let a be q(-4). Is 105 >= a?
True
Let z = -74 + 1851/25. Suppose -4*f - 378 = -2*c, -f = 4*c + 2*f - 789. Suppose 0 = -181*b + c*b. Are z and b unequal?
True
Let w(c) = 1481*c + 5924. Let r be w(-4). Are r and 2/74027 equal?
False
Let u = -11480 - -436295/38. Which is smaller: 1 or u?
1
Let t = 287.05 + -287.15. Which is greater: 895/2 or t?
895/2
Let h = 15679/66 - 475/2. Suppose 5*w = 4 + 1. Is w at most h?
False
Suppose 4*m = 2*m + 22 - 36. Let g = 69 - 46. Is g > m?
True
Let d(l) = 65*l**2 + 1125*l - 17. Let i be d(-16). Is -1368 at least as big as i?
True
Let b = 0.583 + -1.257. Let g = b + 0.554. Is g at most -2/11?
False
Let o(x) = x**3 + 28*x**2 + 89*x + 12. Let r be o(-24). Suppose 170*h + 350 = r*h. Suppose -4*b - 96 = -3*z, 0 = 5*z - z - 5*b - 129. Which is smaller: z or h?
h
Let a(n) = -5*n**2 + 104. Let s be a(0). Let c be (-6)/32*s/(-1014). Is 0 at least as big as c?
False
Let r be (-21)/(-87)*72576/(-441). Which is smaller: r or -40?
-40
Suppose g = 2*i - 3, -g + 2 = 1. Let s be (-6)/261*12/i. Let t(o) = o**3 - 3*o**2 + 3*o - 28. Let v be t(4). Which is smaller: v or s?
s
Suppose 0 = -15*j + 309 + 201. Suppose -j = -p - 24. Suppose 0 = 13*t - p*t - 30. Is 12 at most t?
False
Let z be 1/2*3*(-68)/408. Let s be 90/(-19) - (-2 + -2). Is s less than z?
True
Let w be (9/8)/(151800/(-352)). Is w at least as big as -1?
True
Let v(h) = 5*h - 151. Let w be v(28). Let y be 2*w/55 - 44/(-10). Which is smaller: -1/7 or y?
-1/7
Suppose j = -2*b + 4, -14*b + 9*b + 4 = j. Suppose b*x = x + 15. Let s(m) = -7*m - 16. Let o be s(0). Which is smaller: x or o?
o
Let v be (-3480)/(-195) - (-2)/13. Suppose -8*g - 7*g = -v*g. Do g and -5/12 have the same value?
False
Suppose 6*f - 35 = -5. Suppose -f*o + 55 = -5*q, -2*o - 16 + 54 = -4*q. Let k be ((-4)/(-45))/(q/(-20)). Which is smaller: 1 or k?
k
Let v be 1250/35 + (-2)/(-7). Suppose 5*l - 15 = 35. Let x be l/12 + (-18)/v. Which is smaller: 1/2 or x?
x
Suppose 0 = -b - 0*h + 5*h + 177, -2*h = -4*b + 780. Suppose -b = -6*k + 253. Let r = 82 - k. Do r and 9 have the same value?
False
Let t(i) = -i**2 - 22*i - 91. Let u be t(-23). Let q be (32 - 27)/((-2)/u). Which is greater: q or 286?
286
Let w = -63 - -32. Suppose 0 = -2*c - 1040*u + 1037*u - 70, 0 = -5*c + 2*u - 137. Let p = w - c. Which is smaller: p or -9/4?
-9/4
Let k = 18305 - 8523. Is k greater than 9782?
False
Let m = -32 - -29. Let h be 5346/(-140) - (-10)/35 - m. Let v = h - -35. Does -1 = v?
False
Let g = 5.09 + -0.09. Let v = 3 - g. Let r = -2400 + 2403. Which is smaller: v or r?
v
Let u = 5164.338 + -9.338. Is -0.1 <= u?
True
Let s = 1/170 + 503/1190. Suppose 5*u - 22 = 3. Suppose 0 = -7*o + 37 + u. Do o and s have the same value?
False
Suppose 99*f + 227155 = 239*f - 95545. Which is smaller: f or 9221/4?
f
Let v = -530 + 396. Let s = v + 130. Is s < 2?
True
Let f be 2/(-13) - 1503/117. Let o = f + 21. Suppose -h + 3*h + 6 = 0, 3*x - 4*h = 15. Is o at least as big as x?
True
Let m be ((-24008)/858)/4 - -7. Let i = 54 + -53. Which is smaller: i or m?
m
Let d be (2 - 5) + (2 - -1087). Let s = -43443/40 + d. Let q(b) = -b**3 + 6*b**2 + b - 5. Let g be q(6). Which is smaller: g or s?
s
Let r = -370.935 - -369. Let l = 360 - 360.065. Let s = l + r. Which is smaller: s or -24?
-24
Let t = -12.7 - -11. Let v = t - 3.8. Let g = v + 1.5. Which is smaller: -14 or g?
-14
Suppose 35*r = 38*r - u + 5, -5*r - 2*u = -10. Which is greater: r or 2/1391?
2/1391
Let f(d) = d**2 + 10*d + 1. Let i be f(-7). Suppose 2*k = -3*t + 2*t - 44, -3*t - 84 = 4*k. Which is bigger: k or i?
i
Suppose 0 = -z + 2*q + 6147, 5*q - q = -12. Do z and 6142 have different values?
True
Suppose 2*h + 10 = 4*h. Suppose 0 = h*i + 10 - 0. Let x be i*1 + (-36)/(-20). Is x not equal to -1?
True
Let n = -22229 - -22281. Is 1203/23 >= n?
True
Suppose 64*w + 156029 = -190211. Is w n