*2 - p + 1. Suppose -4*c + 10 = c. Let w be l(c). Which is smaller: 5 or w?
5
Let m(o) = -17*o - 16. Let i be m(-1). Let x be 2/3 - 752/1164. Is x <= i?
True
Suppose 3*r = 34 + 62. Let d be (r/(-14) + 2)*-7. Suppose 5*p - 24 = -d*f, -5*f - p - 2*p = -22. Is f at most 8?
True
Let n(y) = 2*y**2 - y - 2. Let r be n(-2). Suppose 0 = 3*c - 5*c. Suppose c = -w + 4*w - 24. Is w >= r?
True
Let t be 8/(-36) + (-128)/(-9). Suppose t + 34 = -4*z. Let l be 3/12 - 33/z. Which is bigger: 1 or l?
l
Let z(k) = -k**2 - 27*k - 51. Let q be z(-25). Let s be (630/36)/(q/(-2)). Is 1 less than or equal to s?
True
Let z(i) = -i**3 - 42*i**2 - 83*i - 5. Let b be z(-40). Which is smaller: 114 or b?
114
Let d be -2*(-2)/(-3)*9. Let x = -10 - d. Suppose -5*p = 3*h + 2, -5*h + 6 - x = p. Is 0.6 greater than p?
True
Let d = -202 + 110. Let k = d + 92.3. Let g be ((-2)/10)/(2/(-4)). Does k = g?
False
Suppose 6*d - 15 + 195 = 0. Let j = d - -30. Is 0 bigger than j?
False
Suppose -3*a + 2*a + 6*a = 0. Which is smaller: a or -224?
-224
Suppose 2*w = -4*u - 0*w - 40, -3*w = 4*u + 40. Let i be (9/(-6))/((-21)/(-56)). Which is smaller: i or u?
u
Let t(q) = -q**3 - 5*q**2 + 6*q + 21. Suppose -5*n - 5*n - 50 = 0. Let g be t(n). Suppose -4*w + 8 - 40 = 0. Which is smaller: g or w?
g
Let t be ((-16)/(-42))/((-6)/9). Let k(i) = -10*i - 1. Let v be k(1). Let s = v - -11. Is t at most s?
True
Let o(z) = z - 8. Let c be o(11). Suppose 0 = c*m + m. Let g(p) = -3*p**3 - p**2 + 3*p + 3. Let l be g(-1). Is m less than l?
True
Suppose -29*l = -20*l. Is l less than or equal to -22/37?
False
Let k(c) = -c - 3. Let y be k(-5). Suppose -4*i + 1 = -4*n - 3, -y*i + 3*n + 5 = 0. Which is greater: i or -1?
-1
Suppose -h - 1 = 5. Let m = -9 - -4. Let y = -11 - m. Is y != h?
False
Suppose -12 = 4*h - 4*n, 3*h - 2 = 2*h - 4*n. Suppose u - 6*u = 5. Let c = u - 2. Is h > c?
True
Let z = -80 - -100. Let i be ((-13)/(-3))/(z/(-15)) + 3. Let c = -0.6 - 0.4. Which is greater: c or i?
i
Let v = 15 - 15. Let l = 3 - v. Let y = -3.96 - -4. Do l and y have different values?
True
Let s(f) = 3*f**3 - 14*f**2 - 5*f. Let n be (-9)/(36/(-16))*5/4. Let x be s(n). Which is bigger: -1/4 or x?
x
Let z be (-3 - (2 + -2))*1. Let b = -651 + 650. Is b not equal to z?
True
Let w = -964/7 + 138. Let i be (-2)/(-3) + 288/(-270). Which is smaller: i or w?
i
Let a(b) = -2*b - 1. Let c be a(-2). Suppose -c*s + 7*s - 76 = 0. Let n = 11 - s. Are n and -9 equal?
False
Let m = -27723 - -84133/3. Is 320 at most m?
True
Suppose 0*b + 33 = -3*t + 3*b, 3*t + 39 = b. Let q = t - -30. Let h = q - 6. Which is smaller: h or 9?
9
Suppose -2*u = 3*q - 20, -4*q + 2*q = -4. Let n be 0 + -4 + u - 3. Which is greater: n or -2/23?
n
Let d = -1.8584 - 0.1416. Is -169 != d?
True
Let v = 0 + 4. Suppose -2*f - v*t = -366, -3*t + 271 = 2*f - 94. Let i = -1265/7 + f. Is 1 bigger than i?
True
Let s = 17.9 + -46. Let x = s - -28. Let w(m) = -6*m. Let y be w(2). Is x less than y?
False
Let p be 0 + (28 + 0)/2 - 1. Let z(o) = o**3 - 13*o**2 + 4*o - 24. Let i be z(p). Does 26 = i?
False
Suppose 8*p = 149 - 37. Let u(c) = -7*c + 72. Let v be u(p). Is -28 less than v?
True
Let l be (-5)/50 - 199387/230. Is l < -865?
True
Let a be 4 - 1 - (-2)/((-14)/21). Which is smaller: 1/124 or a?
a
Let k = 66 + -74. Is k not equal to 8?
True
Suppose 27*q + 13*q + 1440 = 0. Which is bigger: q or -30?
-30
Suppose -3*i - 7*s = -8*s + 172, 240 = -4*i + 4*s. Are i and -56 equal?
True
Suppose -3*q + 8*q - 5 = 0. Let x = -1965 + 13766/7. Is x greater than or equal to q?
True
Let f = -2907 + 369177/127. Is 0 smaller than f?
False
Let m be (338/(-4))/(4*3/24). Let l = 8282/49 + m. Which is bigger: 1 or l?
1
Let a = 3023344224/1885 - 1603896. Let t = a - -2/145. Let s be -1 + (-10)/(-4) + -1. Which is bigger: t or s?
s
Let v be ((-1482)/18)/19*18. Which is bigger: v or -68?
-68
Let j = 401 + -399.69. Which is greater: 1 or j?
j
Let f = 506 - 507. Which is smaller: f or -13/12?
-13/12
Let r = -4 + 6. Let f = 2.19 + -0.29. Let c = f - r. Do c and 0 have the same value?
False
Suppose -11 = 7*g - 6*g. Let s = -13 - g. Is 9/4 != s?
True
Suppose 0 = 3*x + 2*x - l - 2, -3 = -l. Which is smaller: 1/341 or x?
1/341
Suppose -20 = 4*t, -2*w + 3*t - t + 14 = 0. Let b = -41 + 47. Is b at least w?
True
Let j = -8 + 28. Let o(g) = g**3 - 3*g**2 + 6*g - 18. Let p be o(4). Let z be j/p + 1*-1. Is z < 0?
True
Let a(s) = -3*s**2 + 13*s + 18. Let i be a(13). Let o be 16/i*10/(-8). Is 1 less than o?
False
Let x = -6.6 - -4.6. Let c = 2 + 0. Let t = x + c. Is -3 greater than t?
False
Let w(o) = o**2 - o - 16. Let p be w(5). Let x = -2 + p. Suppose -4*f + 10 = x*r, 4*r + 9 = r. Is f smaller than 6?
True
Let x = -126 + 130. Do 17/4 and x have the same value?
False
Let w = -45 + 9. Let s = -34 - w. Let r = 17 + s. Is r at least as big as 20?
False
Let a = 129659/141232 + -103/112. Which is smaller: 0 or a?
a
Let v = 271 - 271.5. Which is greater: -3/19 or v?
-3/19
Let x be -2 - 2*46/(-56). Suppose -105*v = -106*v. Which is smaller: v or x?
x
Let y(z) = z**3 - 10*z**2 + 7*z + 13. Let b be y(10). Let x = b - 82. Let d be (4/6)/((-20)/9). Which is bigger: d or x?
x
Suppose 5*a - 2*a = -2*a. Is 6/17 at least as big as a?
True
Let h be ((-21)/(-14))/(6/8). Suppose 0 = -3*t - h*t + 25. Suppose -4*n + 2 - 3 = p, 0 = t*n. Is -8/9 smaller than p?
False
Let k(l) = l**2 + 14*l + 20. Let u be k(-4). Let o = -21 - -40. Let v = u + o. Is v at most 1?
True
Let b = 34 - 32. Let j be 6/(-174) + 4/b + -2. Which is smaller: 1 or j?
j
Let c = 64 + -62. Suppose -c*h - 50 = 8*h. Which is smaller: -7 or h?
-7
Suppose 5*r + 3*l = -2, 4*r - 5*l = 2*r - 7. Which is greater: 2/103 or r?
2/103
Suppose 4 - 3 = -f. Suppose -2*x + 142 = 22. Let o be (x/(-22) + -7 + 10)*1. Is o greater than f?
True
Let g(v) = -v - 4. Suppose -5*q - 10 = -3*q. Let t be g(q). Let a = 33/25 - 109/75. Is t < a?
False
Let t = 38 - -38. Let q = t - 75.8. Does 4/3 = q?
False
Let c be (2/(-5))/(52/(-650)). Let r(t) = -t**3 + 4*t**2 + 8*t - 7. Let j be r(c). Which is smaller: j or 6?
6
Let d be ((-26)/1)/((-28)/42). Let c be 3/(-2)*(-13)/d. Is c < -0.11?
False
Let n = -4.7 - -4.8. Let y = -0.6 + 0.4. Let i = n + y. Is -1/21 greater than i?
True
Let z(b) = -b**2 - 5*b + 7. Let a be z(-6). Let i(p) = p + 0*p - 4 - a. Let j be i(4). Is -4/5 > j?
True
Let n = -778 - -8587/11. Let f = -213/110 + n. Does 1 = f?
False
Suppose 4*l = -6*p + 5*p - 1, -2*l - 3*p = 13. Which is greater: l or -4/45?
l
Suppose 4*c - 48 = 4*q, q + 36 = -2*q - 3*c. Let v be 86/(-12) + (-2)/q. Let d = 80 + -85. Which is bigger: d or v?
d
Suppose 6*n = 2*n + 16. Let b(o) = -2*o + 10 - 6 + n + 6. Let w be b(8). Is -2/3 not equal to w?
True
Suppose 2*g - 3*g + 1 = 0. Let s be -1 + ((-3)/g)/(15/(-10)). Which is smaller: s or -3/34?
-3/34
Let c be (2 - 1)*1/5. Let s = -578 + 4627/8. Is s at least as big as c?
True
Let w = 34/13 + -3450/1339. Is 1 bigger than w?
True
Let v be 6/(-9)*(-6)/16. Suppose -3 = 3*l, -4*l - 65 = 4*y - 9. Let s(n) = 2*n**2 + 25*n - 13. Let c be s(y). Which is bigger: c or v?
v
Let j(n) be the third derivative of -n**5/60 + 3*n**4/4 - 13*n**3/2 + n**2. Let g be j(13). Which is smaller: -1 or g?
-1
Suppose 0 = c + 5*t + 70, -3*c + 2*t + t - 156 = 0. Which is greater: c or -52?
-52
Let d be 2*(-2)/(-2) - 612/309. Is 1 less than d?
False
Let b be 1 - (24/(-44) + (-47)/(-11)). Which is smaller: b or -4?
-4
Let t be (-1)/7*(0 + -1). Let k = 2.42 - -104.58. Let u = k + -107.1. Which is smaller: u or t?
u
Let i = 4952 - 292170/59. Suppose -2*u = 1 + 1. Which is greater: i or u?
i
Suppose 4*b + 3 + 29 = 0. Let g = b - -23. Let v = -29/2 + g. Which is bigger: -1 or v?
v
Suppose p = 2*c - 13, 0 = 5*p + 38*c - 40*c + 57. Which is smaller: p or -10?
p
Suppose 1 - 7 = 2*b. Let r(c) = 2*c**3 - 2*c**2 - 1. Let w be r(2). Suppose 3*g + 5*t = -w, 4*t + 1 + 3 = -2*g. Which is smaller: g or b?
g
Let i = 116.74 - 0.74. Let y = i - 116. Which is smaller: y or 13/5?
y
Let v(r) = -10*r - 24. Let o be v(-7). Suppose o = w - 4. Is w equal to 49?
False
Let q = 22.3155 - 0.3155. Let z = -1 + 0. Is z at most as big as q?
True
Suppose -2*u = -0*u - 16. Suppose 5*w = 3*j + 157, -2*w + 4*j + 22 = -52. Suppose -8 = 28*s - w*s. Is u bigger than s?
False
Let g be (7 + (-17 - -8))/436. Is g != 1?
True
Let n = -