t b(z) = 2*p(z) - 3*w(z). Let d be b(7). Let g be (336/30)/(-4) + 8/2. Which is smaller: g or d?
d
Suppose 2*o - 1 - 3 = 0. Suppose 0*w - 6*w = -12. Let x be (2/(-4))/(w/8). Which is smaller: x or o?
x
Let x = -2797 + 25141/9. Suppose 11 = c + 16. Which is greater: x or c?
x
Let y = 4037 - 117075/29. Let p(o) = o**2 + 5*o + 5. Let l be p(-4). Which is smaller: l or y?
y
Let s be (1 + (-2005)/10)*(-5 + 3). Does s = 400?
False
Suppose -2*v - 214 + 1834 = 0. Let p be v/(-75) - 2/10. Which is bigger: p or -10?
-10
Let m be (-18)/(-3) + (-2 - -1). Let q = m - 0. Let t be (-3)/q + (-6)/15. Is -1 greater than t?
False
Let p be 28600/500 + 8/10. Let c = -141 + 399/2. Which is smaller: c or p?
p
Let p be 2 + -2 - (34 + -33). Suppose -11 = -n - 1. Let w be (n/(-16) - p)/(-3). Is 3 bigger than w?
True
Let t(z) = 211*z**2 + 3*z + 5. Let l be t(-1). Which is smaller: 212 or l?
212
Let v = -690 + 1414. Which is smaller: v or 725?
v
Let w = -0.55 + -0.15. Let t = -0.8 - w. Which is bigger: 0.1 or t?
0.1
Let j = 644.6 - 100.6. Which is smaller: j or 2/5?
2/5
Let l = -245 + 307. Which is smaller: 1/3 or l?
1/3
Let u be 4/6 + 44/(-3). Let d = -50 - -66. Let k = u + d. Is 3/5 smaller than k?
True
Let t(n) = -n**2 - 15*n - 17. Let f be t(-14). Let h(y) = -y**3 - 4*y**2 + 2*y + 4. Let q = 11 - 15. Let v be h(q). Which is greater: v or f?
f
Let o(x) = 19*x - 75. Let q be o(2). Do q and -37 have different values?
False
Let o = 2793 + -2762. Is o equal to 29?
False
Let k(b) = b**2 - 7*b - 45. Let t be k(11). Let l be ((-2)/(-4))/(2/20). Suppose l*u = -10, 2*u + 19 = 5*g - 0*g. Is t at least g?
False
Let l(g) = -g**2 + 11*g - 10. Let y be l(10). Suppose 2*w - w = y. Suppose -3*n = -3 - w. Are n and 1 equal?
True
Let z(i) = -i**3 + 7*i**2 - 15*i + 15. Let w be z(6). Which is smaller: -35 or w?
w
Let j(d) = 2*d**2 - 10*d + 8. Let g be j(4). Is -3/43 less than g?
True
Suppose 3*k - 4*m - 177 = 0, -3*k - m + 195 = m. Let i = 10 + 52. Which is smaller: k or i?
i
Let c = 10.05 + -10. Let d = c + -0.45. Let z = d + 0.3. Which is smaller: z or -1?
-1
Let q = 155/2408 - 1/56. Let b = 1 - 0. Which is greater: b or q?
b
Let f be (12 - 5) + 117/(-16). Which is smaller: f or -1?
-1
Let i = -148 - -95. Let s = i + 55. Is -0.6 >= s?
False
Let o be (4/4)/(2/(-2 + 0)). Let b be (-84)/(-40) - 4 - -2. Is o less than or equal to b?
True
Let y be 0 - 271/665 - 9/(-21). Which is smaller: y or -1?
-1
Let c be (335/(-30))/((-10)/(-21)). Let v = c - -101/4. Suppose u - 2*u = -2. Is u <= v?
False
Let y = 1.1 - 0.14. Let k = y - 0.76. Is k bigger than 10?
False
Let i = -349381/146 + 2393. Is 2/5 less than or equal to i?
False
Let h = -22452/35 - -3276/5. Is 15 >= h?
True
Let w = 9/6512 + -9357807/45584. Let n = -203 - w. Does n = -1?
False
Let c be 4587/836*(-2)/36. Let j be (-2)/(-7) - 568/1596. Let s = c + j. Which is smaller: s or -1?
-1
Let v(d) be the first derivative of d**4/2 - 2*d**3 + d**2/2 - 7*d + 14. Let h be v(3). Suppose 0 = b - 4*b. Which is greater: b or h?
b
Let m(r) = 2*r**2 - 27*r + 13. Let l be m(13). Does l = 2/1503?
False
Let c(m) = -m**3 - 20*m**2 - 47*m - 29. Let j be c(-17). Which is smaller: -98 or j?
-98
Let t be (6/4)/(1/(-2)). Suppose -2*h + 480 = -10*h. Let g = h + 117/2. Which is smaller: g or t?
t
Suppose 2843 - 458 = -9*n. Is n less than -266?
False
Let x = -75 - -45. Let m be x/4*1/5. Is m at most -3?
False
Let a = 934 + -934. Which is smaller: a or 4/33?
a
Suppose -4*f = -11*f + 21. Suppose k - 20 - 12 = f*n, -k = 1. Are n and -12 non-equal?
True
Suppose 7*x - 3*x = -24. Let c(n) = 5*n**2 + 11*n + 10. Let q(y) = -y**2 - y - 1. Let r(z) = x*q(z) - c(z). Let f be r(6). Which is smaller: f or 4?
f
Let j be (-1)/((-6)/4)*123/1722. Which is greater: j or 3/2?
3/2
Let z = 0.43 - 0.03. Let i(c) = -4*c + 26. Let w be i(6). Is w at least z?
True
Let z = 14378/15 - 959. Which is smaller: z or 1?
z
Let u = 2081 - 1645. Which is greater: u or 438?
438
Let m(j) = -j**3 + 29*j**2 - 56*j + 50. Let o be m(27). Are -2 and o nonequal?
True
Let h = -27 - -27.44. Let w = -0.44 + h. Is w equal to -4?
False
Let v = 68/5 + -181/10. Which is smaller: v or -1?
v
Let r(x) be the first derivative of x**4/4 - 16*x**3/3 - 3*x - 5. Let y be r(16). Let q = 4 + y. Are q and 2 nonequal?
True
Let i be (1 - 0)*(-3)/(-3). Let w be 4*(i/(-2) - 0). Let a = -287.7 - -292.7. Which is bigger: a or w?
a
Let k(t) = -10*t**2 - 47*t - 16. Let f be k(-5). Are -0.3 and f nonequal?
True
Suppose 2*t - 4 = 4*o, -5*o = -5*t - 10*o + 25. Suppose -4*z - 67 = -3*c + 4*c, -2*z - t*c = 44. Suppose 4*u + 66 = 6. Is u > z?
True
Let w(j) = -j**3 + 2*j**2 - 2*j + 17. Let o be w(6). Is 1/5 at least as big as o?
True
Let y = -0.19 - 18.81. Let r = y - -19.2. Is r at most 4?
True
Let q = 22.3 - 22. Let n be 2/10 + 154/(-495). Which is greater: q or n?
q
Let c(o) = -2*o**2 - 10*o + 9. Let s be c(-8). Let v = -38 - s. Does v = -8?
False
Let b(a) = a + 8. Suppose -5 = 4*h + 11. Let o be b(h). Suppose o*s - 4 = -0*s. Which is smaller: s or -2/19?
-2/19
Let z = -5 + 10. Let l = 9.8 - -1.2. Let f = l + -10.9. Is f at most as big as z?
True
Let h = 0.49 + -22.49. Which is smaller: h or 2?
h
Let j(d) = 90*d**2 + 1. Let b be j(-1). Let h be (-3)/(-7) + (-67)/b. Is h less than or equal to -1?
False
Let x = 115165/9 - 12781. Are 16 and x nonequal?
True
Let y be 3 - (-8 + 7014/637). Let i(q) = q**3 - 6*q**2 + 4*q + 6. Let g be i(5). Which is smaller: y or g?
y
Let l = -479 - -480.4. Which is smaller: l or 9?
l
Let r be (-16)/4 + 1/((-1)/477). Is -481 >= r?
True
Let r = 158 + -90.1. Let v = r - 68. Is v < 2/3?
True
Let w be -1*((-40)/5)/(-8592). Which is smaller: 0 or w?
w
Suppose 20 = -5*g + 80. Is -4 < g?
True
Let k = -17 - -21. Suppose 6*c = k*c - 26. Let v = -12 - c. Is -2 bigger than v?
False
Let v be (20/8)/((-1)/(-2)). Suppose 4*n + v - 17 = 0. Suppose -3*g + 25 = 4*p, -5*g + n*p - 1 = -p. Is g < 1?
False
Let n = 7/248 - 3549/2728. Let c = -3 - -1. Which is smaller: n or c?
c
Suppose -v + 18 = 8*v. Suppose 5*g = 5*r + 120, -3*g + 6*r + 73 = v*r. Are g and 24 nonequal?
True
Let t = 27 - 22. Let s be 1/(t/9) + -3. Suppose -3*k = 2*k. Is k at least s?
True
Let h = 1643/4120 - -1/824. Let z be (-5)/3*-3 + 0. Suppose -3*i - 29 = -u, -z*i - 41 - 18 = u. Are i and h nonequal?
True
Let v = -0.24 + -0.06. Is v less than 72?
True
Let w = -245.3 - -242.3. Which is smaller: w or -1.63?
w
Let m(v) = -3*v**2 - 18*v + 23. Let k(i) = 8*i**2 + 53*i - 68. Let f(p) = -4*k(p) - 11*m(p). Let q be f(10). Is q smaller than -23?
False
Suppose p + 31 - 32 = 0. Which is smaller: -16/33 or p?
-16/33
Suppose -5*u = -8*u + 60. Suppose u = 2*s + 3*s. Suppose 0*g - 3*g + 20 = s*a, -4*a + 4 = -g. Are 2 and a unequal?
False
Let h = 1300 - 1305. Is 10 less than or equal to h?
False
Suppose -2*h - 12 = 5*w, -4*h + 2*w = -9*h + 12. Let l be (-1)/(1*h/(-12)). Suppose l*v - 8*v = 35. Is -6 at most v?
False
Suppose -4*j + 4*n + 9 = 33, 3*j - 5*n + 12 = 0. Let q(i) = -13*i**2 + 1. Suppose -4*h - 2 = 2. Let y be q(h). Are j and y equal?
False
Let c be (600/88 - 7) + 96/44. Is c at most -8?
False
Let a = -0.054 + 0.364. Let q = 0.09 + a. Let i = 1.4 - q. Which is smaller: -7 or i?
-7
Suppose -90*u + 100*u = 20. Let y(l) = -13*l**2 - 25*l + 28. Let f(z) = -3*z**2 - 6*z + 7. Let i(m) = -9*f(m) + 2*y(m). Let k be i(u). Does k = 1?
False
Let a = 2 + -6. Suppose 9*p - 18 = -4*p - 5*p. Which is smaller: a or p?
a
Suppose 9 = -20*l + 11*l. Which is smaller: -3/455 or l?
l
Let u be -1 + 2 - (108/4 - -5). Are -36 and u unequal?
True
Let u = -279 + 286. Which is smaller: u or 12?
u
Let i = 0.143 + -2.483. Let q = i - -2.2. Let y = 0.86 - q. Is -1 smaller than y?
True
Let b = -130/209 - 15151/25707. Let s = -5/41 + b. Which is greater: -1 or s?
-1
Let m be 16/12*3/2. Let d be (3 + 25)*(m - 1). Which is greater: d or 1?
d
Let w = -315 - -315.2. Is 309 >= w?
True
Let w be -3*6/(-72)*-4*1. Which is greater: w or 6/13?
6/13
Let d = -7009/5 + 1431. Is d > 28?
True
Suppose 5 - 3 = q - c, 5*c = -3*q - 18. Let h = 31/24 + -215/168. Let w = h - 65/168. Which is bigger: w or q?
w
Suppose -9*w + 2*u - 1467 = -12*w, 4*w - 2*u = 1970. Is w equal to 492?
False
Let p(q) = -q**3 - 4*q**2 - 3*q - 1. Let o be p(-1). Which is bigger: o or -1/555?
-1/555
Let l be 16/1204*(-14)/24*2. Is 0.2 at m