 -y + 5 = 14. Is n at most as big as y?
True
Let k be ((-18)/5)/((-348)/(-90) + -4). Let z(h) = -3*h + 2*h**3 + 36*h**2 - 4*h - k*h**2 - 10. Let f be z(-5). Which is greater: f or 3/20?
3/20
Suppose 3*n - 3*d + 1 + 17 = 0, 3*d = 3. Let u be (n - (-185)/35)*8/240. Which is bigger: u or -1?
u
Suppose -14*o = 14408 - 11874. Let c be -1*((183 - 0) + -2). Is o greater than c?
False
Let k be ((-75)/(-10) + -2)*(-1 + 7). Suppose -k + 24 = -f. Suppose -f*z - 30 = 24. Which is smaller: z or 0.2?
z
Let x = 8045 + -10477. Which is bigger: -1 or x?
-1
Let y = 26.28 - 26. Let s = y + -0.18. Let u = 323 - 318. Is u at most as big as s?
False
Let n = 0 + -2. Let q = -20.93404 + -0.06596. Which is smaller: n or q?
q
Let d = -5137 - -3451. Let o = -220867/131 - d. Is -1 >= o?
False
Let x = 695.9 + -688.9. Are 7/110 and x nonequal?
True
Let w = 1299523/310 + -4192. Which is smaller: w or -1?
-1
Let l be (-4)/(132/(-38451)) + -4*18/396. Is 1163 at most as big as l?
True
Let o = 425 + -395. Let t be 5*((-2)/o)/(6/(-36)). Are 1 and t nonequal?
True
Let d = 8200 + -8199.77. Which is smaller: d or -218?
-218
Let s = 3262 - 1820. Is -0.1 < s?
True
Let q = 3714.9 + -3715. Which is smaller: q or -3746?
-3746
Let c(t) = 38*t + 2090. Let p be c(-55). Which is smaller: 751 or p?
p
Let l(n) = 2*n**3 - 29*n**2 - 13*n - 27. Let c be l(15). Suppose 0 = -4*a + 7*a - 39. Let t = a - c. Are t and 11 nonequal?
True
Let z = -226.069 - -226. Let y = 1.931 - z. Is y at most as big as -3/20?
False
Suppose 297*n + 141*n - 31033 - 65765 = 0. Which is bigger: n or 439/2?
n
Let w = 120 + -82. Suppose 5*h + 2*r = w, -h - r - 3 + 13 = 0. Suppose -h - 1 = -k + l, 0 = -5*k + 4*l + 30. Is k less than 12/23?
False
Let w = 17141 - 18890. Do -1750 and w have the same value?
False
Let f be 21606/(-15) - 360/100. Which is greater: f or -1442?
-1442
Let q = 883 + -252539/286. Is -1/4 < q?
True
Suppose 0 = -5*d + 7 + 63. Let i be (-130)/14 + (74/d - 5). Let n = -575/57 + 8/19. Do i and n have the same value?
False
Let b be (8/32)/((-12)/(-1248)). Is b equal to -38?
False
Let t = 64.002 + -64. Let k = t - 0.102. Which is smaller: k or 119?
k
Suppose 21*n + 10059 = -8064. Which is smaller: n or -862?
n
Let s = -14124 - -14126. Let k be (-3)/(-66)*-14 - -3. Is k less than s?
False
Suppose -6*k - 2*f = -8*k - 202, 7*f = 5*k + 515. Suppose -4*c = 3 + 1. Which is bigger: c or k?
c
Suppose 0 = -t - 3*t - 260. Let l = 67 + t. Suppose -4*w + 178 = l*p, 2*w - 2*p + 86 = 4*w. Are -2/3 and w nonequal?
True
Let i(v) = 14 - v + 18 - 29. Let g = 2 + 0. Let p be i(g). Is -4 < p?
True
Let g(y) = -4*y + 5. Let a be g(0). Suppose a*u - 7 = -o - 5, -o + 2 = -u. Do u and -2/887 have the same value?
False
Suppose 10*p - 2945 = -255. Let s = 242 - p. Are -27 and s equal?
True
Let g(i) = -2*i**2 - 17*i - 24. Let n(x) = x + 1. Let r(m) = -g(m) - 6*n(m). Suppose -1733 + 1655 = 13*j. Let z be r(j). Is z at most as big as 24?
True
Suppose n = -4*y + 14, -4*n - 4*y + 8 = -6*n. Let t(j) be the third derivative of -j**5/15 + j**4/12 - j**3/3 - j**2. Let c be t(n). Are -15 and c equal?
False
Let c(p) = p**2 - 13*p + 29. Let t be c(9). Let h be ((-3 - -1) + t)/((-4)/12). Suppose -4*u - 23 + h = 0. Which is smaller: u or 9?
u
Let d = 1/8363 - 16755/242527. Is -6/17 smaller than d?
True
Suppose 0 = 3*p - a - 2*a - 6, -5*p - a - 20 = 0. Let k be (-6)/(p*(-4)/8) - 1. Is -90/17 bigger than k?
False
Let q(f) = -6*f**2 - 139*f. Let h be q(-23). Is h greater than 3/43?
True
Let m = 91 + -43. Suppose c + m = 4*c. Suppose -n + 0*n + 13 = 0. Is c greater than n?
True
Suppose -9*g + 49 = 13. Suppose g*r + 2*s = 114, 5*s - 3*s = 5*r - 120. Suppose 3*m - r - 52 = 0. Is 26 != m?
False
Let k be 25/10*(-96)/(-60). Suppose 0 = 2*n + t + k*t + 12, 3*n + 13 = -5*t. Is -2 <= n?
True
Let j(d) = 511*d - 14807. Let m be j(29). Let c be 18/1*21/30. Which is smaller: c or m?
m
Suppose 0 = 2*a - 8, 5*k - 5*a + 10 = -0*a. Suppose -m + 3*z = k*m + 3, -m - 4*z = -9. Which is smaller: 2/87 or m?
2/87
Let b(r) = -27 + 2*r**2 - 8*r - 5*r - 2*r + 9*r. Let i be b(-3). Is i > 11?
False
Let x(j) = -j**2 + 6*j - 5. Let i be x(2). Suppose -5*l - 6*v + 20 = -7*v, 0 = -3*v. Suppose f + 42 = i*f + l*p, 4*f = 3*p + 73. Are 19 and f unequal?
False
Let s(t) = -2*t + 49. Let c be s(17). Suppose 72*p - c = 77*p. Let u be (p/(-4))/((-135)/30). Which is greater: u or 13?
13
Suppose -2*f + 7 = -3*f - 2*k, -5*f - 5*k - 15 = 0. Let n be ((-25)/(-15))/(2/6). Let t be 5/20*(n - f). Which is smaller: t or -2/125?
-2/125
Let v(c) = -2*c**2 + 80*c - 204. Let a be v(37). Is 13 at most as big as a?
True
Let y be (-10 + 1)/3 + 15/3. Suppose -4*a = -2*i + 14, a = -y*i + 9 - 0. Suppose -2*q = -3*q + 5, 0 = 4*p + 5*q - 41. Which is greater: i or p?
i
Suppose 0 = -172*r - 133 - 39. Which is bigger: -6/9659 or r?
-6/9659
Suppose 3*f - 5*f = 2*r - 2852, 0 = r - f - 1424. Let d = r - 4229/3. Let o = 87 + -72. Which is smaller: o or d?
o
Let d = -5022 - -5596. Is -7/2 != d?
True
Let z = 31 - 37. Let m = -5.895 - z. Let r = m - 0.045. Is r greater than or equal to -2/5?
True
Let d(a) = a**3 - 24*a**2 - 75*a - 227. Let s be d(27). Which is greater: s or 46?
46
Suppose -28*s + 53 = -199. Let x be 8*(1 - 4)/(-3). Suppose -s + x = -n. Which is bigger: n or -1/43?
n
Suppose 3*y + 5*m = 44, -130*y + 132*y = -m + 27. Is -89 > y?
False
Let u = 10.8 + -0.8. Let h = 113346.7 - 113348. Which is smaller: h or u?
h
Let d(o) = -3*o**2 + 32*o - 40. Let q be d(8). Is 17 >= q?
False
Let k be (-135)/(4/(-8)*1*-2). Let r be ((-3)/(-6))/(k/(-2) - -1). Which is greater: r or 0?
r
Let z = -42567 - -42567. Which is greater: 30/913 or z?
30/913
Let g = 179 - 180. Suppose 0 = -2*f - 3*a - 17 - 19, -4*f - 112 = -4*a. Let u be -7*((-45)/f + -2). Which is smaller: g or u?
g
Let j(v) = -495*v - 1969. Let n be j(-4). Which is smaller: n or 278/27?
278/27
Let l = -0.4 - 8.6. Let g = -4 - l. Let z = -0.0445 - -1.0445. Is g at least as big as z?
True
Let n(l) be the first derivative of -l**3/3 - l**2/2 - 17*l + 10. Let g be n(-8). Let v(m) = -m**3 - 9*m**2 + 7*m - 9. Let x be v(-9). Which is smaller: g or x?
g
Let x be 18*(76/6 + 24/18). Let o be 12/20 - (-44)/(-40). Do x and o have the same value?
False
Let p be (14 - -1)/(15/50). Suppose -4*j = 2*v + 146, v - 65 + 214 = -4*j. Let t = 11 - j. Which is bigger: t or p?
p
Let y = 5881196523/21623 + -271988. Which is bigger: y or 1?
1
Let y be (-12)/90 - (996/(-45) - 3). Suppose -4*u + y = -d - 12, 260 = -5*d - 5*u. Let x = d - -87. Which is smaller: x or 37?
37
Let p = 0.042 + -7.042. Let j = -17 - p. Let r = j - -0.3. Which is bigger: r or -1?
-1
Let k be 122/(-10) - (-2)/10. Let h be 1080/(-25)*(4 + 11). Let s = 634 + h. Which is smaller: s or k?
s
Suppose 49*z + 8365 = 27377. Which is smaller: 385 or z?
385
Let r be 190/2861970*(-2 + 1). Which is smaller: 1 or r?
r
Let c = -33325 - -30825. Which is smaller: -9999/4 or c?
c
Let d be 19 + 2 - (-8 + 11). Suppose 0 = d*h - 0*h - 54. Suppose 0 = -y + 5 - h. Which is bigger: y or 42/17?
42/17
Let g(o) = -34*o - 618. Let i be g(-55). Which is bigger: i or 1251?
i
Let u(y) = -10*y + 294. Let x be u(29). Suppose -4*s + 36 = f, -2*f - x*s = 3*f - 164. Is f at most as big as 30?
False
Suppose 5*j = 20, 5*p + 6*j - 27 = 3*j. Let c be (p/(-9))/((-3)/(-9)) + -4. Is -5 <= c?
True
Let n = 195818631371 + -1185877628631217/6056. Let k = -3899/8 + n. Which is smaller: 1 or k?
k
Suppose 2*n = 4*m - 0*n - 14, -21 = -5*m - n. Suppose -m*i = 2*o - 234, 2*i - 5*o - 255 = -3*i. Let c = 113/2 - i. Which is smaller: c or -32?
-32
Let o be (1*359/2)/(7 - 13176/1872). Which is smaller: -4669 or o?
-4669
Let l = 4/22027 + 59296672/66081. Is l <= 896?
False
Let r = -16.51 + 16.61. Which is greater: r or 8.33?
8.33
Suppose 5*m = -24*g + 23*g - 398, -5*g - 46 = m. Is -115 > m?
False
Suppose -46*q + 88*q + 656 = 50*q. Which is bigger: q or 52?
q
Suppose 0 = -6*p + 22 - 4. Suppose -2*u = 10, s + p*u = 6*s - 80. Suppose 1 = -r, 2*j = 6*j - r - s. Which is smaller: j or 0.2?
0.2
Let x(v) = 3*v**2 - 14*v - 30. Let b(i) = i**2 - 5*i - 10. Let y(p) = 7*b(p) - 2*x(p). Let g be y(8). Let k be 9/9*g/(-95). Is k greater than 0?
True
Let w be ((-357)/(-6))/(13/(-26)). Let j = w - -119. Which is smaller: j or -1/91?
-1/91
Suppose -2*h + 3*k = -171, 14*h = 16*h - 4*k - 17