8). Which is smaller: v or n?
n
Let p = 5 - 5. Let f(i) = i**2 + 6*i - 88. Let q be f(0). Let x be (-10 - -7)/(q/12). Is p less than x?
True
Suppose -19*d = -13*d + 30. Let j(k) = 12*k + 56. Let r be j(d). Let y be (-4)/18 + 34/(-9). Is r >= y?
True
Let v = 30768 - 30759. Which is smaller: v or 119?
v
Let y = 75.1776 - 0.0776. Let g = y - 79. Which is smaller: g or 0?
g
Let v be (-4)/2 + (-535)/(-265). Suppose -2*c = 4*n - 1778 + 1754, 5*n - 30 = 0. Is c != v?
True
Let r = -383 + 410. Let a be (-208)/(-942) + (48/r)/(-8). Which is greater: -1 or a?
a
Suppose 3*y - 9 = 5*i, 0 = i + 6*y - 5*y - 3. Suppose -4*w + 3*l = -i*l + 2, 4 = -2*l. Let t be ((-2)/3 - w)/(66/9). Is t less than or equal to -1?
False
Let b = -134251.86 + 134252. Let c(m) = 4 + 0 - m + 0. Let n be c(6). Which is smaller: n or b?
n
Let c = -432 + 456. Let j be ((-112)/3)/(c/108). Which is smaller: -169 or j?
-169
Let k(c) = 2*c - 3. Let g be k(9). Suppose 0 = -0*v + 3*v - g. Let d = v + 3. Which is smaller: d or 6?
6
Let b = 1 + 92. Let a = 80 - b. Let d = -13.5 - a. Is -2 <= d?
True
Let r = -2268756/21552821 + 2/1134359. Let f = 2.9 - 3. Let u = f + -0.9. Is r != u?
True
Suppose 3272*h - 3681 = 3281*h. Which is smaller: -410 or h?
-410
Suppose 5*i = 6*i - 3*c - 83, 2*c - 2 = 0. Let l = i - 94. Let q be (-1)/(-1) - (1824/(-222))/l. Is q smaller than 1?
True
Let g be (-4 - -12) + (38 - (-24)/4). Is g smaller than 65?
True
Suppose 0 = -3*n + 124 - 130. Suppose 45*k = 49*k + 416. Which is bigger: n or k?
n
Suppose -4*x = 4, -p + 5 = -28*x + 24*x. Is -10/23 greater than or equal to p?
False
Let d be 11152 + 540/18 + 6 + 0. Which is greater: d or 11189?
11189
Let l = 0.279 + 24.521. Let t = -21 + l. Let w = t - 4.8. Is w smaller than -15?
False
Let u = -47 + 28. Let h = 42 + u. Let i = -20 + h. Is i < 6?
True
Let i = 10071/11 - 5743/11. Which is smaller: i or 392?
392
Let z(b) = 7*b**3 - 30*b**2 + 79*b + 4. Let p be z(3). Which is smaller: 166 or p?
p
Let f be 195918/20*12/(-50). Let r = f + 2351. Suppose -2077 = 3*x + 5*i - 2145, -2*i = -3*x - 23. Is x <= r?
False
Suppose 441 = -y - 3*i, 2*y - 2*i + 127 = -699. Which is greater: -6 or y?
-6
Let d be 24/56 + (-444)/(-42). Suppose d*n - 4*n = 49. Is -23 not equal to n?
True
Let h = -39.9 + 258.9. Is 2 at least as big as h?
False
Suppose -16 = -4*a, c + 64*a - 17 = 60*a. Is c <= -3/1181?
False
Let b = 87.81 - -0.19. Let m = -171 + b. Let q = -82 - m. Is -2/175 less than or equal to q?
True
Let w = 25.4 + -25.01. Let u = -0.29 + w. Suppose -s = 3*f + 3*s - 83, -5*s = 3*f - 82. Do f and u have the same value?
False
Suppose 3*h + 135 = 12*h. Suppose -h*r + 147 = -12*r. Let c = r + -61. Which is smaller: -13 or c?
-13
Let u(t) = t**3 - 2*t**2 - 6*t + 7. Let b = -44 + 49. Let z be u(b). Let o = z - 52. Is 6/13 at most as big as o?
False
Let m = -2237 - -2236.9227. Which is greater: 0.2 or m?
0.2
Let x(u) = -15*u + 40. Let v(q) = -q + 1. Let h(f) = -20*v(f) + x(f). Suppose 7*o = 2*o - 10, -2*s - 2*o = 4. Let t be h(s). Which is greater: 21 or t?
21
Let o = -59508 - -13627287/229. Is -1 less than or equal to o?
True
Let w = -3 - -3.1. Let q = -79185 - -158889/2. Is q equal to w?
False
Let x = -229 + -27. Let i = 255 + x. Which is smaller: 51 or i?
i
Let p = 73 + -73. Suppose 5*q - 4*q - 22 = p. Let g = q - 26. Are -9 and g non-equal?
True
Let i(k) = -9*k**3 - 3*k**2 - 2*k - 1. Let a be i(-1). Suppose -4*p + 2 = -2*y, -15 = -5*y - 3*p - a. Which is smaller: 16 or y?
y
Suppose -5 = -2*p - t, -p + 3*t - 9 - 6 = 0. Let x = -2657 - -58457/22. Is x not equal to p?
True
Let h = 1819 - 1820. Let b = 3.814 + 0.086. Let q = b - 4. Is q less than or equal to h?
False
Suppose -5*w + 2623 = 3*r - 179, 5*w + 15 = 0. Which is greater: 938 or r?
r
Let r be ((-9)/(-6))/((-24)/32). Let b(u) = -u**3 - 3*u**2 - 3*u - 2. Let x be b(r). Let g = -266/783 - -12/29. Which is smaller: g or x?
x
Suppose -5 = -5*a, 3*x - a = x - 3. Let m = -555 + 554. Let i be ((-225)/150)/(233/(-4) + m). Is i bigger than x?
True
Let v(u) be the third derivative of u**6/120 - 2*u**5/15 - u**4/4 - 11*u**3/3 + 13*u**2 + u. Let y be v(10). Let t = y - 45. Is t greater than or equal to 73?
True
Let k be (-169*1)/((6 - 10)/12). Suppose 9*j = 3 - k. Which is bigger: j or -55?
-55
Suppose -20 = -4*b - b. Suppose -b*p = -p. Suppose -36*w = -40*w - 3*s + 16, -2*s = -2*w - 6. Is p smaller than w?
True
Let y = 372721/31915 - 759/65. Which is greater: y or -1?
y
Let u be 2/(-2) + -2 + (2 - -23). Let c be u/6*6/61. Is 1 greater than or equal to c?
True
Let y be (2/8)/(-1) - 1419/(-12). Let i = -86 + y. Suppose 0 = -2*k + i - 128. Is k bigger than -50?
True
Suppose 5*n + p + 294 = 0, -4*n + 5*p - 329 + 88 = 0. Let c = 53 + n. Suppose -27*s + 23*s = -u + 5, 5*u - 4*s = -23. Are c and u non-equal?
True
Let k(f) = -2*f**2 - 18*f - 29. Let p = -130 - -123. Let i be k(p). Which is greater: i or -71?
i
Let r = -28066373/1905 - -14733. Is 0 bigger than r?
True
Suppose 226 = -29*i + 30*i. Let o = 219 - i. Is o less than -5?
True
Suppose -11*a = -39 + 6. Suppose 6 = -2*m - m + a*l, -4*l = -3*m - 8. Are 4/11 and m nonequal?
True
Let h = -24 - -71/3. Let f be (-7 - (-5 + 6))*(-3)/8. Suppose -4*p = -p + f. Which is smaller: h or p?
p
Let a be ((-3 + 4)/(-2))/((-1)/4156). Which is smaller: 2077 or a?
2077
Let d(r) = 2*r - 27. Let j be d(-13). Let i = j + 57. Suppose -7*a = -3 - i. Which is greater: a or -4/5?
a
Let a = 44177.03 + -44177. Which is greater: -930 or a?
a
Let l = 168393/5 - 33674. Let v(r) = -r**2 - r + 2. Let g be v(0). Suppose n - g*n = -b + 9, -b - 4*n - 11 = 0. Is l bigger than b?
False
Let s = -0.0077 - 309.9923. Let h = 310.1 + s. Which is smaller: h or -220?
-220
Let q = 10.2 - 10.126. Let c = q + 0.526. Which is greater: c or -0.14?
c
Let a be (-3 - -4)/((-30)/(-9) - 3). Suppose -r - 15*d - 13 = -12*d, -r + a*d = -17. Which is smaller: 18/11 or r?
18/11
Let o = -278 + 159. Let s = o + 111. Which is greater: -0.03 or s?
-0.03
Suppose 4*q + 0 + 4 = 0, 4*q = -5*v + 1296. Let k be 3/(-2)*v/39. Is k less than or equal to -7?
True
Let g = -56745 + 56744. Let y = -828 + 65403/79. Which is smaller: y or g?
g
Suppose -3*q - 15 = 0, 1432 = 3*t - 0*t - 2*q. Let g be ((-516)/(-48) + -10)/(t/(-4)). Which is smaller: -1 or g?
-1
Let y = -345 - -282. Let t be (-234)/224 - (6 - (-369)/y). Is t at least as big as -2?
True
Let f be (-4 - -2)*(-45551)/242. Let u = 377 - f. Let z = -0.0144 - -0.0144. Which is greater: u or z?
u
Let s(h) = h**2 + 18*h - 61. Let k be s(-21). Let i be (-19 + 22)*(-1)/3*k. Is 39 < i?
False
Let p = 3 + -4. Let z be (0 - (-3 - -1))*p. Suppose t - 4 = 0, -12 = -q - t - 2*t. Is q < z?
False
Let u be (1 - (4 + -30))*1. Let x = 28 - u. Let s = 0 + -1. Is x not equal to s?
True
Let v be (-1 - (-21)/(-22)) + 2. Let o = -65 + 74. Suppose -4*l - 6 = 5*m, 3*m + 10 = o*l - 5*l. Which is bigger: v or l?
l
Let a = 0.1793 - 0.2493. Which is smaller: -2/177 or a?
a
Let c(j) be the second derivative of j**5/20 + 3*j**4/4 + 4*j**3/3 - 27*j**2/2 - 2*j + 1. Let p be c(-8). Are p and 3 equal?
False
Let b be ((-2)/10)/((-84)/10). Let m(o) = -o**3 + 48*o**2 - 42*o - 235. Let i be m(47). Suppose -20 = -4*v, 3*z + i = 3*v - 18. Is b greater than z?
True
Let q = 35 - 30. Suppose -7 = d + 3*d + y, -q = -y. Let j be 15/d + 2*2. Is j at most -13/6?
False
Suppose 0 = -2*g - 19*g + 3801. Let k = -181 + g. Let j be 2/(-62)*18/(-3). Which is smaller: j or k?
k
Let u(a) = 2*a**2 + 31*a + 42. Let h be u(-14). Let v be (-1)/((-34)/20 + 0 + 0). Is h at most as big as v?
True
Let a = 49.9 + -126. Let k = -75.45 - 0.55. Let h = a - k. Are h and 7 equal?
False
Let x = 10 - 9. Let v be ((-8)/(-4))/2*5. Do v and x have the same value?
False
Let k = -1029.02 + 886. Let s = -143 - k. Is s smaller than -0.1?
False
Let i = -74 + 77. Suppose 3*j + 2*j - 2*t = 5, i*t = -4*j - 19. Let n be 495/680 - 6/16. Is j greater than or equal to n?
False
Let j(u) = -7*u**3 - u + 2. Let b = 101 - 71. Let y = 31 - b. Let c be j(y). Is -46/7 bigger than c?
False
Let q = 213 + -640/3. Let w be (-153)/(-102) + (-58)/36. Which is smaller: q or w?
q
Let u be 1226/(-12)*300/7024. Let t = 5/439 - u. Is t bigger than 4?
True
Let h(t) = -t**3 - t**2 + 3*t - 12. Let y be h(-3). Let c be (y/(-9))/(4456/(-24))*-2. Are c and 1 equal?
False
Let p = -3