4*k. Let w = -239 - -269. Which is smaller: w or p?
w
Suppose -8*c = -5*c - 12. Let d be -32*2*c/80. Let a(q) = -q - 8. Let j be a(-5). Which is greater: d or j?
j
Let v be (0*(-7)/(-49))/(-1). Which is smaller: v or -3/22?
-3/22
Let s(t) = -t**2 - 6*t + 9. Let w be s(-7). Suppose k + 4 = w*k. Which is smaller: k or 3?
3
Let d = 23 + -10. Suppose -d*p + 4 = 4. Is -2/7 smaller than p?
True
Let l(x) = -2*x + 74. Let g be l(36). Let f = 14 - 9. Is f != g?
True
Let d(f) be the third derivative of f**7/2520 - f**6/720 + f**5/60 + 2*f**2. Let j(i) be the third derivative of d(i). Let s be j(2). Which is smaller: s or 2?
2
Suppose 22*x - 17*x + 465 = 0. Is -92 at most as big as x?
False
Suppose 2*z - 4*t = 20 - 18, -4*t = 3*z - 23. Are 10 and z non-equal?
True
Let m be 2/3 - (-4)/(-6). Suppose m = -4*x + o + 62, 0*x + 4*x - 60 = 2*o. Let w be 4/x + 17/(-4). Is w less than -2?
True
Suppose -3*s + 45 = -27. Let x = -767/8 - -3851/40. Do s and x have the same value?
False
Let t = 8 + -3. Let w be (-8)/(-12) - 2/(-6). Which is bigger: w or t?
t
Let d = 1.9 - 2. Let l = 41 - 41.036. Let j = -6.036 - l. Which is bigger: j or d?
d
Let z be 4/1 + (-6 - -10). Let w be z/4*3 + -1. Let d be (w - 2) + (0 - 14). Which is greater: 1 or d?
1
Suppose -3*r - 53 = 2*f + 13, -5*r - 110 = -f. Which is bigger: 5 or r?
5
Let h = 53.098 - 0.298. Let j = 53 - h. Is 3/2 at most as big as j?
False
Let s be 2 + (-7)/(175/(-415)). Is 18 at least s?
False
Let u = 3326 + -3362. Which is greater: -51 or u?
u
Let l be (-12)/(-66) - 92/22. Let x(h) = 9 - 4 - 4*h + 5*h. Let d be x(l). Which is bigger: 6/5 or d?
6/5
Let f = -35/2 + 18. Suppose 98 = 3*u - 10*u. Let g be -3 - (0 + 4/u + -3). Which is bigger: f or g?
f
Suppose d + 2 = -2*t - 2, 4*t - 2 = 3*d. Is -1/95 at least as big as t?
True
Let n = 8571 - 8793.99. Let j = n + 224. Which is smaller: 0 or j?
0
Let a = 0.0242 + -0.6242. Which is greater: a or -36?
a
Let c = -8/43 - -661/86. Suppose -2*d - 4*m - 46 = -8*m, 0 = -m - 3. Let a = d + 36. Is c < a?
False
Let p = -3658 + 3675. Suppose 2*s - 3*s = -14. Which is bigger: s or p?
p
Let w(j) = -2*j - 111. Let u be w(13). Which is smaller: 0 or u?
u
Let h = -0.2 + 0. Let j be 220/15 + 1 - (-2)/(-3). Suppose 5*r = -4*q + 29, j = -8*q + 3*q + 4*r. Is q less than h?
False
Let a be (4/(-22) - 0) + (-351)/(-297). Let j be -1 + 3 + (-43)/20. Which is bigger: j or a?
a
Let q(y) = -y**2 + 16*y - 43. Let b be q(15). Let a be b/(-5) - 3/5. Which is smaller: a or -2/3?
-2/3
Let i be 128/20 - 8/20. Let h be i/9 - (-6)/(-90). Suppose -6*t + 2*t - 12 = 0. Is h at most as big as t?
False
Let l be 5/1 + (67 - 71). Let s be 46/42 + (-20)/30. Which is bigger: l or s?
l
Let y = -18 + 27. Let p(s) = -s**2 + 6*s + 16. Let o be p(y). Which is greater: o or -10?
-10
Suppose p + 0*z = 3*z - 3, -5*z = -4*p + 2. Suppose p*a = -a - 4. Is -2/73 bigger than a?
True
Let f = -2/9975 + 361097/9975. Is f >= 35?
True
Suppose h + 5*l = 2*h + 5, 0 = -l + 5. Suppose -h*p + 17*p = 18. Is 0 less than p?
False
Suppose 16 = c + i + 2*i, 0 = -5*c + 2*i - 5. Let g be ((-3)/(-3))/(19/(-6)). Is g < c?
True
Let a(l) = -l + 15. Suppose 3*d + 0*r = -4*r, 2*d + 2*r = 0. Let z be a(d). Suppose g = -5*p + z, -29 = -4*g + g + p. Is g smaller than 10?
False
Let k = -17 - -21. Suppose k*i - 8 = 4. Suppose 0 = -i*v - 0*v + 12. Are v and 5 equal?
False
Let l = 245 + -244. Which is bigger: 12/49 or l?
l
Suppose -h = 2*h + 33. Let j = h - -16. Let y be 4/10 + (-2)/j. Is y >= 0?
True
Let g(p) be the third derivative of p**5/60 + p**3/3 + 5*p**2. Let h be g(5). Suppose 3*f - 5*w = -0*f - h, 23 = -2*f + 5*w. Do f and -1 have the same value?
False
Let n be (-16)/(-20) - (3645/(-1975) - -3). Is n greater than -1?
True
Let d = 488 - 580. Are d and -93 equal?
False
Suppose 6*s = -192*s - 9108. Let l be -2 - (2 + (2 - -38)). Do s and l have the same value?
False
Suppose 0 = 13*g + 15 + 11. Let l be ((-2)/g*1)/((-19)/4). Is -1 > l?
False
Suppose 7*a = -n + 5*a - 9, 5*a = -25. Which is greater: 13/80 or n?
n
Let v be (-8)/10*20/4. Let z = -6 + v. Let p = 9 + z. Which is smaller: p or 1/6?
p
Suppose 20 = 4*f, 10*f - 46 = c + 8*f. Which is greater: -27 or c?
-27
Let f = 0.17 - -1.23. Which is smaller: f or -7?
-7
Let a(w) = w**2 - 10*w - 1. Let k be a(10). Is 2/691 at most as big as k?
False
Let j(a) = -a**2 + 6*a + 15. Let h = 56 - 32. Let w = -16 + h. Let i be j(w). Is i >= 4/15?
False
Let l = 8.29 + 2.71. Which is smaller: l or -8/11?
-8/11
Suppose -c + 159081 = -d - d, -4*c = -4*d - 636308. Let q = c - 12407947/78. Let z = q - -15/26. Which is smaller: z or -3?
-3
Suppose 0*a + 2*a - 16 = 3*c, 3*a = 2*c + 19. Let j be 100/14 + 14/784*-8. Does j = a?
False
Let r be (-7)/4*(-5)/(-30). Let t be (-6)/(-3) - (-8)/(-6). Let h = t + r. Is h greater than 0?
True
Suppose -6*o + 5 = -13. Let q be 5/25*(-10)/(-474)*o. Is 1 bigger than q?
True
Let u = -43 + 53. Let z be 2/(u*-1)*(-105)/84. Which is smaller: -0.017 or z?
-0.017
Let l be (-1)/(-2) + (-92)/(-8). Suppose -4*a + 2*a + 12 = -4*s, l = 5*a - 4*s. Let u = 35/6 + -19/3. Is u bigger than a?
False
Let j(g) = 2*g**3 + 6*g**2 - 2. Let a be j(-3). Let r be 0/((a/(-1))/2). Which is bigger: r or -1/45?
r
Let r = -123 + 122. Which is bigger: r or -41?
r
Let w = -21 - -21.9. Let v = 21 + -22.9. Let u = w + v. Is u bigger than -2/25?
False
Suppose -p = -4*i - 1, 0 = 2*p - 6 - 4. Let n be ((-37)/2 - i) + 3/6. Which is smaller: n or -18?
n
Let s = 10238 + -71520/7. Let a = 21 - s. Is 0 smaller than a?
True
Let k be -4*15/(-80) - 1. Let v = -3.2 + 3.1. Are v and k equal?
False
Let n(m) = 7*m**2 + 2*m - 7. Let z be n(-6). Let p = 519/37 + 32149/148. Let l = z - p. Which is smaller: l or 3?
l
Let g = 34 - 30. Suppose 8 = -g*s, 2*b - 3*s = -2*b + 90. Suppose -4*c + a = -2*a - b, 4*a - 10 = -c. Is c equal to 1/6?
False
Let b = 379 + -435. Which is bigger: -54 or b?
-54
Let j = 4769 - 2847091/597. Which is smaller: 0 or j?
0
Let f = 228/5 - 46. Let s = 40 - 37. Let j = 4 - s. Is f < j?
True
Let k = 91 + -56. Let n be ((-21)/k*2)/((-6)/40). Let x be 2/4 - 15/(-2). Is n smaller than x?
False
Suppose 0 = 5*u - 9*u + 16. Suppose u = 6*h - 10*h. Is h less than -3?
False
Let h(o) = -o**3 - 5*o**2 - 5*o + 10. Let m(v) = v - 9. Let n be m(4). Let a be h(n). Which is smaller: 34 or a?
34
Suppose w = -3*j + j + 8, -3 = -w - 3*j. Let u be (2 + -3)*w/1. Let g be 6/(-4) + u/(-4). Which is smaller: g or 0?
0
Let o = -3/97 - -221/873. Do -15 and o have the same value?
False
Let d = 535 - 601. Do -63 and d have the same value?
False
Let y be (-45)/54*3*44. Which is bigger: y or -113?
y
Let q(a) = 2*a + 17. Let l be q(-4). Let f(g) = 7*g - 16. Let u be f(l). Is u bigger than 46?
True
Let p(r) = 2*r + 5. Let x be p(-1). Suppose -f = -x*h - 0*f + 6, 0 = -5*h + f + 12. Is h > 5?
False
Let h = 556 - 575. Which is greater: -20 or h?
h
Suppose -4*y - 81 = 131. Is -54 smaller than y?
True
Let h = -362.8 - -363. Is -8 greater than or equal to h?
False
Suppose 62*g + 2 = 61*g. Let y(k) = -2*k**2 - 5*k - 1. Let h be y(g). Is h smaller than -2/207?
False
Let a be 3/3*5 + -2. Suppose a*n = r - 13, r + 4*n - 2*n - 18 = 0. Let c = r - 27. Is c greater than -12?
True
Let d = -940 - -939. Do 180.2 and d have the same value?
False
Suppose -5*i - 17 = 2*l, i + 1 + 9 = -l. Let u = 117 - 129. Is l > u?
True
Let c = -368 - -343. Is -25 >= c?
True
Let a = -621 - -442. Is a less than or equal to -536/3?
True
Suppose -w - 109 = 2*p + 13, 2*w + 5*p = -241. Which is smaller: w or -123?
w
Let i(w) = w**3 - 9*w**2 - 2*w + 15. Let u be i(9). Let s be 2*3/(-18)*u. Let k = 8 + -5. Which is greater: s or k?
k
Suppose -v = 2*u - 9, 4*u + 32*v - 14 = 34*v. Is u >= -137?
True
Suppose 0 = 3*s - 4*s + 4. Suppose -5*c - 5*k = -5, 11 = 3*c - k - s. Suppose 8 + 0 = -3*u + 4*x, -3*u - 2*x + c = 0. Which is bigger: u or 1?
1
Let a be 2/(-5) + 1076/(-60). Let c = a - -21. Is 0 at most c?
True
Suppose 26*j - 21 = 23*j. Let p be 1 + 2 - j/((-21)/(-6)). Which is bigger: p or 1/21?
p
Suppose -l + 2*x - 33 = -135, -l + 90 = -5*x. Is 112 greater than l?
True
Suppose -2*w = 2*l - w - 35, w = 2*l - 29. Let s(k) = k**2 - 16*k + 15. Let g be s(l). Let b be (-4)/6 - (-141)/9. Is b bigger than g?
False
Let r = -11 - -16. Suppose 4*y + r*l - 19 + 177 = 0, -3*l = 2*y + 78. Is -42 at most