n). Which is smaller: d or -13?
-13
Let y = 1.01 - -43.99. Let h = y + -46.8. Is 1 at most h?
False
Let h = -79 - -76. Let i(q) be the second derivative of -q**4/6 - 2*q**3/3 - 2*q. Let j be i(h). Which is smaller: j or -9?
-9
Let i be 0 + 6 - 20/(0 - -4). Is 12/119 at most as big as i?
True
Let q = 0 + -2. Let a = q - -1.96. Let d = a - -0.02. Which is greater: -1 or d?
d
Suppose -1159 - 797 = -151*w - 597. Let o be (4 + 1)*(-1 - -2). Which is bigger: w or o?
w
Let v be 3 - (-14)/((-14)/(-3)). Suppose 4 = 2*d - 4. Is v less than or equal to d?
False
Let p be (-3)/((-210)/(-12)*(1 - -164)). Is p > 1?
False
Let r(v) = -6*v - 12. Let l be r(-9). Suppose 3*b - l = -4*b. Which is smaller: b or 5?
5
Suppose -4*w - w - 120 = 0. Suppose 0*u + 72 = u + 95. Is u bigger than w?
True
Let i be (-9)/(18/(-4)) - 24. Let d = i + 29. Suppose -5*k + d = 12. Is k <= 4?
True
Suppose -b + 4 = -6. Let m be (3/2)/(9/30). Let p = m + b. Is p less than or equal to 16?
True
Let b be (-21)/65 - (-91)/(-1183). Is -327/2 greater than or equal to b?
False
Let p = -25 + 118. Let m = 34 - p. Is m at most 0.1?
True
Suppose -75*q = -51*q + 2496. Is q >= -104?
True
Let t = -0.8 + 18.8. Let d = t - 22. Which is smaller: -1 or d?
d
Let v(j) = j**3 - 5*j**2 - 3*j + 7. Let s be v(7). Let p = 39 - s. Let r be 5/(p/39)*-3. Is 14 >= r?
True
Let c be (1/2)/((-3)/6). Suppose 21 = 8*i + 37. Are c and i nonequal?
True
Let o be 0 + 590 + (64 - 58). Are 596 and o unequal?
False
Let n = 46231/11 - 4200. Is n equal to 2?
False
Let j(c) = c**3 - 16*c**2 - 17*c + 1. Let s be 22 + (-1 - (6 - 2)). Let o be j(s). Is 2/21 >= o?
False
Let n = 1677/5 - 338. Let o be (2 - 0)*(0 + -2 + 0). Is o bigger than n?
False
Let o = 1821 - 668. Is o <= 1154?
True
Let z(f) = f**3 - 4*f**2 + 6*f - 2. Let k be z(2). Are k and -15.2 equal?
False
Let r = -36/13 - -543/182. Let b = -1.85 - -4.85. Is b less than r?
False
Suppose 2*u + 101 = 5. Let j = u - -26. Let w be j/(-33)*18/4. Which is greater: 2/5 or w?
w
Suppose 165*y - 173*y = -152. Does y = -1/16?
False
Let t(y) = -y**2 + 9*y - 17. Let d be t(7). Let x(w) = -2*w + 4. Let i be x(3). Is d > i?
False
Suppose 0 = f + 4*v - 2*v, 0 = -4*v. Let q be f + (-3)/(9/(-12)). Suppose 4*u - 27 = -3*m, 3*m + 7*u - 24 = q*u. Does m = 3?
False
Suppose 5*i = -4*q, -i - 3*q + 16 = q. Let a(r) = 0*r**2 - r**2 - 1 + 10 + 6 - 3*r. Let v be a(-6). Which is smaller: v or i?
i
Let p = 210 - 218. Let q = -0.8 + 1. Do q and p have the same value?
False
Suppose -4*m = 2*o + 16, 4*o + 3*m + 10 = -17. Which is smaller: -41/6 or o?
-41/6
Let w = -2 + 2. Which is bigger: w or 358?
358
Let n(k) = -k**3 + 18*k**2 - 29*k + 205. Let l be n(17). Are l and -8/51 non-equal?
True
Let y = -8368 - -460228/55. Which is bigger: y or 1?
1
Let f(z) = -5*z. Let a be f(-2). Suppose 2*m + a = 3*m. Suppose -2*n + 4 = 3*v, 5*n - 4*v - v = m. Is 3 != n?
True
Let q(z) be the third derivative of -z**6/120 - z**5/20 - z**4/12 - z**3/6 + 7*z**2. Let j = 49 - 51. Let g be q(j). Which is smaller: g or 3/13?
g
Let b = 12 + -12.04. Let p = b - -16.04. Which is greater: -1 or p?
p
Let u = -56 + 98. Let n = -42.2 + u. Which is bigger: n or 7?
7
Suppose 4*f = 0, -3*a + 2*f - 129 = -f. Which is greater: a or -41?
-41
Let c(k) = -k**2 - 7*k - 56. Let r be c(-7). Let y = r + 56. Is y smaller than 7/5?
True
Suppose 8*n = -4*n + 12. Let i = -62/7 + 2659/301. Which is smaller: i or n?
i
Suppose 4*h - 14 = 10. Let i be (-2)/(-4)*0/h. Which is smaller: i or 1/5?
i
Let z = 2/76271 - 30508418/686439. Which is bigger: z or -45?
z
Let s(i) = -8*i - 23. Let k be s(-4). Let b = 3 + 7. Which is bigger: b or k?
b
Let h = -51 + 126. Let c be 5/h*6*(-230)/(-12). Is c at least as big as 7?
True
Let n = -0.2 + 40.2. Let t = n + -50. Are 1 and t non-equal?
True
Let b = 3/5480 + -18127/13091720. Which is smaller: b or -1?
-1
Let t = 6/55 + 68/385. Which is bigger: t or -1?
t
Let c(o) = -o**3 + 4*o**2 - o - 3. Let q(n) = -n**3 - 13*n**2 - 10*n + 29. Let y be q(-12). Let k be c(y). Which is greater: k or -34?
k
Suppose -3*q + 2*c + 22 = 0, -2*q + 5*q + 4*c = 10. Suppose -5*h + 3*m + 41 = 0, -2*m + 62 = 5*h + q. Is h less than or equal to 9?
False
Let f be 5/7*(-2)/(-35). Let l = 19/637 - f. Let j = l - -209/2457. Which is bigger: 0.1 or j?
0.1
Let o = -1 + 3. Let h = o + -2.5. Let b = -2.3 + 2.2. Which is smaller: b or h?
h
Let b be (0 - 1)*1/1. Suppose 100 = -11*h - 6 - 81. Is b less than h?
False
Let g = -95.6 + 95.649. Which is bigger: g or 2/3?
2/3
Let h = -86 - 52. Is -137 != h?
True
Let o be ((-34)/(-3))/(1*14/21). Are o and 17 non-equal?
False
Let q be ((17/(-4))/(-1))/(243/(-1296)). Is -23 bigger than q?
False
Let q be (5 - (-48)/(-4))/(3/6). Suppose 0 + 60 = -4*k. Is k at least q?
False
Let a be (1/(-2))/((-6)/(-12)). Let f(h) = -12*h + 1. Let t be f(a). Let m = 5 - t. Are -7 and m unequal?
True
Suppose 7*p = 6*p + 14. Suppose -5*f + 4*d = 7, -5*f = -10*f - 3*d + p. Which is smaller: 1/3 or f?
1/3
Let m(z) = -z**2 - 5*z + 4. Let y be m(-6). Let o(a) = -4*a + 20. Let r be o(6). Let j(c) = -c**2 - 4*c. Let k be j(r). Which is smaller: y or k?
y
Suppose -l - 3*u + 5*u + 3 = 0, -5*l - 5*u - 15 = 0. Let t = 123/2 - 63. Which is greater: l or t?
l
Let z = 439/3 + -145. Suppose 5*w = 16*y - 15*y + 1, 5*w + 2*y + 2 = 0. Is w != z?
True
Let v(a) = -a**2 - 5*a - 5. Let z be v(-4). Let o be 2/10*2 - (-352)/(-55). Let b be ((-9)/63)/((-2)/o). Are z and b unequal?
True
Let n(i) = i**2 + 2*i. Let k be n(2). Let f be k + -3 + -2 + 3/(-1). Which is greater: -2/3 or f?
f
Let b = -29.4 - -29. Let a = 0.72 - 0.02. Let d = a + b. Is d > 0.3?
False
Let s = 33.9 - 32.19. Let a = 0.29 + s. Which is smaller: a or -7?
-7
Let v be ((-20)/10)/(8/(-83)). Let o be 4/14 - 1194/56. Let p = v + o. Is 0 != p?
True
Let i = 0.23 - 0.87. Let x = i - -0.34. Let a = 0 - 0.1. Which is greater: a or x?
a
Suppose -b - 31 = -5*f, 0 = -3*b + 7*f - 2*f - 83. Let d = b + 26. Is 8/15 < d?
False
Let g = 0.3 + -0.25. Let w = 1.95 + g. Let y = -185 + 184. Is w >= y?
True
Suppose 2*d - 8 = -0*d. Let t = 2 - d. Let j be (5 + -4)*(3 + t). Which is greater: j or -1/5?
j
Let g = -5 + 6. Let a be -1*32/(-406) - (-64)/(-224). Is a at most g?
True
Suppose 36 = -z - 3*x, 2*z = 2*x + 63 - 159. Is 6 equal to z?
False
Let c(r) = 2*r**2 - 11*r - 14. Let q be c(7). Is q smaller than 11?
True
Let l(r) = -15*r - 177. Let s be l(-12). Let x be (-12)/(-20) + (-6)/(-15). Are x and s unequal?
True
Suppose 3 = 5*m - 102. Suppose -5*d - 3*g - m = 38, d - 5*g = -23. Which is bigger: d or -11?
-11
Let q = -215/558 - -11/18. Are q and -1 equal?
False
Let q be 8/(-28) - 2/(-56). Let v(j) = j**2 - 7*j. Let c be 2/(16/(-28))*-2. Let y be v(c). Are q and y non-equal?
True
Let d = -76 + 76.62. Let r = d - 0.5. Let y = r + -0.12. Is y bigger than 0?
False
Let b be (-1 + 0 + 0)*(-5 + 0). Suppose 0*z - 5 = b*z. Are -3/32 and z nonequal?
True
Let p be 3*1*(0 + 14). Suppose 0 = -p*j + 39*j - 33. Which is bigger: j or -3?
-3
Let s = 88 - 93. Let a = 5.116 + s. Which is greater: a or -1/2?
a
Let j(g) = 31*g**2 - 8*g + 7. Let h be j(5). Let f = h + -28940/39. Which is bigger: f or 1?
1
Let y(t) = -4*t**2 + 8*t - 4. Let v(b) = -5*b**2 + 8*b - 3. Let c = 17 - 20. Let h(x) = c*v(x) + 4*y(x). Let s be h(7). Is s greater than or equal to 3/7?
False
Let i be (-33)/(4/(-8) + 1). Let q be (i/(-44))/(6/(-40)). Is -11 less than or equal to q?
True
Suppose -16*f + 16 = -14*f. Suppose -2*m - f = -4. Let g be m/(-5)*(2 + -7). Which is bigger: g or -7/5?
-7/5
Let d be (1 - 5)*(-19 - -11). Let b be 5*((-11)/(-5) - -4). Which is smaller: b or d?
b
Suppose 2381 + 1444 = 9*b. Which is greater: b or 426?
426
Let v be 7/(-72198)*(-1968)/3. Let n = -2/191 - v. Are n and 0 non-equal?
True
Let k = -205/36 - -55/12. Is k at least 1?
False
Let v = 3 + -5. Let j be v/(-10) - 272/360. Which is smaller: j or 0?
j
Let o be (632/84 - 6)/(2/3). Let i = -11.8 + 12. Which is bigger: o or i?
o
Let i be (-6)/(-15) + 38/5. Suppose n = -5 + i. Let x be 5 - (n - (-1)/(-1)). Which is greater: x or 4?
4
Let y(c) = -3*c**3 + 35*c**2 - 2*c - 8. Let n be y(12). Which is greater: n or -2/7?
-2/7
Suppose 0 = -2*l + 2*r - 12, 53 = -3*l + r - 5*r. Is -162/17 smaller than l?
False
Suppose 3*o = i + 177, 2*i + 22 = o - 37. Which is smaller: 60 or o?
o
Let h(p) = p