(-10)/v - (-1018)/(-3090). Which is smaller: a or 1?
a
Let b be 8/32*((-90)/16 + 2/16). Suppose 4*c - 2*x - 6 = 0, -4*c + 3*x = 1 - 4. Let i = c - 3. Which is smaller: b or i?
b
Let x(c) = -2361*c + 40. Let r be x(1). Is -4639/2 <= r?
False
Let q = -861 + 860.9. Is q not equal to -6/1015?
True
Let v be (-2)/8*1300/3575. Which is smaller: v or 1/8?
v
Let r(y) = -25*y + 30. Let k be r(-6). Suppose -l - 147 = 2*t, 5*l + k = -5*t - 175. Let o be (1 - 2) + t/(-36). Is o less than 2?
True
Let a(w) = -7*w**3 + 21*w**2 - 27*w - 10. Let h(d) = -11*d**3 + 32*d**2 - 41*d - 15. Let i(j) = 8*a(j) - 5*h(j). Let r be i(6). Is r >= 4/7?
True
Let l = 37666/161 - -264/23. Let d be 2*(-125 - (4 + -6)). Let p = l + d. Are p and 0 equal?
False
Let d = -2042/3 + 1361/2. Are d and 4/73 non-equal?
True
Let z = -36.2401 + -0.6399. Which is greater: 2/7 or z?
2/7
Let r = 1399 + -918. Let k = r + -479. Which is greater: 10.3 or k?
10.3
Let f(p) = -p**3 + 32*p**2 - 54*p - 179. Let v be f(30). Let c = -1787/46550 + -6/475. Is c equal to v?
False
Let x = 4682 - 4659. Is 245 <= x?
False
Let d = 4143.96 + -4144. Which is greater: -0.423 or d?
d
Let v(p) be the third derivative of 5*p**4/12 - 223*p**3/6 - 3*p**2 + 18*p. Let d be v(22). Is -3 <= d?
True
Let z = -849743/74 - -11483. Is z smaller than 1?
True
Suppose 190*h + n + 5 = 191*h, h = -3*n - 7. Which is smaller: h or 135/61?
h
Let o be (-6)/(-2)*(-10 + 9). Let j be o/30 - (-11)/10. Is -1 <= j?
True
Let h = -228361/4 + 57388. Which is smaller: 299 or h?
h
Suppose s - 6 = -2*s. Let w = 15 - s. Let t be (28/2)/(112/112). Which is smaller: t or w?
w
Suppose 2*d + j - 2*j = -987, j = -1. Is d less than -494?
False
Let z be (21/(-6) - -3)*2. Let a be (-4 + -2)*1/z. Suppose f + 4*p = -a, f + 0 - 3 = 5*p. Is -6/7 smaller than f?
False
Let h = -1961 - -1952. Let i = -21 - -19. Which is smaller: h or i?
h
Let t(a) = a**3 + 7*a**2 - a - 4. Let o be t(-7). Let x be (11 - -2)*(o - 2). Which is greater: x or 3?
x
Let p = 198.4 - 31.4. Let u = p - 165.7. Is 1 greater than or equal to u?
False
Let x = -253 - -253. Let p be 6/4 - (x - (-316)/(-8)). Is p >= 41?
True
Let z(k) = -k**2 - 14*k + 100. Let g be z(5). Is g smaller than 6/115?
False
Let s = -129284/3 - -43489. Let q = s - 383. Which is bigger: q or 12?
12
Let m be (1 + 0)*(32 + 3). Let b = -16 + 22. Let c(p) = 2*p**2 - 6*p. Let w be c(b). Which is greater: w or m?
w
Let h be 8/(-16)*14 + 8. Which is bigger: h or 2/4815?
h
Let q be (-1 + 1/6)*976/280. Is -2 greater than q?
True
Let c = -470.6 - -819. Let s = 344 - c. Is 2 less than or equal to s?
False
Suppose -4*u - l + 459 = 0, 3*u = 4*u - 3*l - 118. Let y = u - 181. Which is smaller: -65 or y?
y
Let a = -83 - -113. Let q = -33 + a. Suppose i = 2*w + 3, -8*w - 3*i - 21 = -4*w. Do q and w have the same value?
True
Let y be (-228)/(-133)*(-670)/(-4). Let x = y + -287. Let u = 1 - 1. Is x < u?
False
Let s(w) = 149*w**2. Let a be s(1). Let l = a - 448/3. Which is greater: 5 or l?
5
Let j = 14.71 - -0.29. Let c = -2834 + 1659. Let w = c - -1175. Is w > j?
False
Let p(x) = x**2 - 5*x + 7. Let o be p(0). Suppose -6*w + o - 127 = 0. Does -4 = w?
False
Suppose -3*i - 2*f = -644 + 2374, 0 = i - 5*f + 554. Is -574 bigger than i?
False
Let r be ((-1670)/8)/((-10)/32). Which is greater: 669 or r?
669
Let t(s) = -2*s - 16. Let f be t(-9). Suppose -n + 3*i - 4*i - 1 = 0, -f*n + 5*i = -33. Suppose 3 = 3*v - 4*b - n, -b = -5*v + 6. Is v greater than 1/173?
True
Let i be (-1341)/(-2384)*(-4)/(-3). Which is smaller: i or -159?
-159
Suppose t = 3 - 0. Let k = t + 14. Let z(g) = -254*g + 13223. Let m be z(52). Which is smaller: k or m?
m
Let f be ((-961)/(-93))/((-25)/114). Which is smaller: -48 or f?
-48
Suppose -14*w - 151 = 465. Which is smaller: -42 or w?
w
Let d be (-6)/(-8) - 5/(80/908). Let f = 58 + d. Let p be f/4 + (2 - (-235)/(-150)). Which is smaller: p or 1?
p
Let t be (-13)/(819/28) + 86/(-9). Let k = 51 + -61. Is t at most k?
True
Let p(j) = -j**2 - 7*j + 2. Let c be p(-7). Let f = -6 + 4. Let o = f + c. Which is bigger: o or 9?
9
Suppose 3*i = 8*i - 165. Suppose 568*n - 559*n = 108 + 180. Is i at least as big as n?
True
Let t(v) = -9*v + 4. Let l be 0 - -1 - 16/8. Let i be t(l). Suppose 2*x = -3*r + 6, -x + 2*r + i = 3. Is 5 at most x?
True
Let x = 2.75 - 99.5. Let w = 96 + x. Let c = -0.25 + w. Which is greater: 6/5 or c?
6/5
Let c(u) = -42*u + 929. Let t be c(25). Which is smaller: -113 or t?
t
Let r = 29 + -37. Let s be 5*(-4)/(-70) + 1388/(-154). Is r at least as big as s?
True
Let u = -521463971 + 40153400046/77. Let h = -8757 + u. Is h equal to 0?
False
Let v = 157630 - 1411028/9. Let p = -846 + v. Which is greater: p or 4?
4
Let k = -39 + 36. Let v be ((-1)/((-24)/9))/(1/2). Let l = v + k. Is l less than or equal to -3?
False
Let m = 0 - 5. Let h(a) = a**3 + 10*a**2 - 10*a + 16. Let u be h(-11). Suppose -u*y = -335 + 355. Is m bigger than y?
False
Let a be 0 - -3 - (-32 + 2). Let j be (-6)/a - (-31830)/99. Let c = -334 + j. Which is smaller: -12 or c?
c
Let p(y) = 2*y**3 - 33*y**2 - 58*y + 95. Let f be p(18). Which is smaller: 28 or f?
f
Let f = 928 + -990. Is -13 greater than or equal to f?
True
Let h = 718.57 - -0.43. Let p = 718.1 - h. Are 3/11 and p nonequal?
True
Let u(j) = -51*j**2 - 3*j - 1. Let y(r) = -102*r**2 - 7*r - 2. Let m(v) = -5*u(v) + 2*y(v). Let c be m(-1). Let d = -53 + c. Is -5 <= d?
True
Let d(x) = x**3 + 38*x**2 + 40*x + 87. Let k(b) = -b**2 - 10*b + 19. Let z be k(4). Let v be d(z). Which is smaller: v or -12?
v
Let z be 126/(-12)*4/(-3). Let h = -17 + z. Let f = -194 - -194. Is f equal to h?
False
Let v = 300 - 299.819. Let o = v - 0.081. Do 38 and o have different values?
True
Suppose 4*d = -5*r + 28, -2*d - 2*d = 2*r - 16. Suppose 7*y + 20 = d*y. Let h be (0 - (y - -3))*12. Which is greater: h or 14?
14
Let v = -1059 - -624. Let l be v*((-56)/49 - -1). Which is greater: l or 62?
l
Let z = 11 - 6. Suppose -z = 2*r - r. Suppose 4*t + 3 = -o, 0 = -5*o + 4*t - 41 + 2. Is r smaller than o?
False
Let w(f) = -538*f + 6120. Let p be w(11). Is p != -5?
True
Let y = 267 - 273. Let t be ((-3)/9)/((-4)/y)*146. Which is bigger: -74 or t?
t
Let o(d) = d**3 - 4*d**2 - 21*d + 68. Let r be o(4). Let j be 609/63 + r/6 + 3. Suppose 2*f - 3*y = 6, -f + y + 3*y + 3 = 0. Is f > j?
False
Let c = -3/598 - 58299/1196. Which is bigger: c or -49?
c
Let q = 18191 - 3765554/207. Is q greater than or equal to 1?
False
Let l be 688/114 + (1 - 4) - 3. Let i(p) = -p**3 + 6*p**2 - 6*p - 3. Let j be i(7). Let g = j - -92. Which is bigger: g or l?
l
Let s = -16199 + 2494629/154. Is 1 > s?
True
Suppose 3*o - 5*d = 2 - 1, 0 = 2*o - 3*d - 1. Let h be o/(-8) + (-455)/(-52) + -4. Are 4 and h non-equal?
True
Let h = -494523/11 - -44987. Let d = h + -30. Suppose -5*j + 5 = -0. Which is greater: j or d?
j
Let s be (-10)/34*(-896)/11760. Which is smaller: 0 or s?
0
Suppose t - 146 = -t. Let o(m) = -m**3 - 15*m**2 + 11*m - 56. Let z be o(-16). Let p be -3*(222/(-8))/(27/z). Is t greater than or equal to p?
False
Let z(h) = -h**2 + 7*h + 29. Let x be z(9). Suppose -3 = -3*m, x*m - 7*m = -3*j + 10. Is 6 at most as big as j?
False
Suppose -737*h - 54 = -683*h. Which is smaller: -11/345 or h?
h
Suppose -9*q + 19 = -17. Suppose -q*u = -0*u - 16, -3*u = -3*b - 15. Is b >= -1/50?
False
Let i = 109/36 - 13/4. Suppose 28*q = -978 + 1006. Is i equal to q?
False
Let z = -61.928 - -62. Let a = z + 0.028. Which is bigger: 52/5 or a?
52/5
Let t(y) = y**3 + 24*y**2 - 4*y - 97. Let j be t(-24). Let c be 45/135 + j/3. Is 1/155 < c?
False
Let q(f) be the second derivative of -f**4/12 + 7*f**3/2 + 3*f**2/2 - 199*f. Let r be q(19). Is r less than or equal to 36?
False
Let u = -12962 - -22186. Let c = 9245.014 - u. Let f = 0.014 - c. Is -1/2 at most f?
False
Let y = -18421 + 18410. Do y and -86 have the same value?
False
Suppose 3*j - 2 = 4*k + 2, -j = 2*k - 8. Let a = 552 - 402. Let z be (k/13)/((-5)/(a/3)). Is z > -1?
False
Suppose j + 5*z = z, z = 3*j - 52. Suppose 7*l - 23 = -j*l. Is 1/90 > l?
False
Let g = 37.7 - -25.3. Let a = -1/107 + 109/214. Which is smaller: g or a?
a
Let z = -30 + 145. Let a = 144 - z. Is 27 not equal to a?
True
Let s(v) = -v**3 - 27*v**2 - 21*v + 129. Let c be s(-26). Which is bigger: 10/1127 or c?
10/1127
Let n(c) = 415*c + 11. Let a