982. Let j be d/60 + (-3)/(-5) + 3. Which is smaller: j or -13?
-13
Let l = -67697/12186 - 1/4062. Let c = l + 61/18. Is c > -1?
False
Let t = -74 + 128. Let a = 78 - t. Suppose -y + 12 = 3*d, -3*y + 3*d - 8*d = -a. Is y >= 1?
True
Let b(v) = 2*v**2 + 3*v + 4. Let l(x) = x**2 + x + 1. Let p(m) = -b(m) + 4*l(m). Let k be p(3). Suppose 2*c - w - 59 = -c, -17 = -c + 3*w. Is k < c?
False
Let z(a) = a + 3*a - 22 + 7*a - 2*a - 2*a. Let n be z(3). Let f = -2 + 2. Which is bigger: n or f?
f
Let r be (-5)/(-15) - (-64)/6. Let a = 61 - r. Let l be 6/(-15)*a/1. Which is bigger: -19 or l?
-19
Let c = -3 - -10. Suppose 0 = -4*l + 4, -4*l = 2*q + 8 - 48. Suppose 3*m = -18*d + 20*d + q, -5*m = -2*d - 34. Is m < c?
False
Let l = -42 + 2. Let z = -48 - l. Suppose 0*k + 14 = -2*k. Which is smaller: z or k?
z
Let d = -3615020/408149 - 2/58307. Suppose 3*f - 2 = -17, 29 = -3*n - f. Which is smaller: n or d?
d
Let q = 278760 - 4312138438/15469. Is 0 < q?
True
Let u(j) = 14*j**2 - 8 - 7*j**2 - 3 - 6*j**2 + 3*j. Let w be u(-5). Which is greater: 2/441 or w?
2/441
Suppose -3*n + 2*b + 421 = 0, 10 = 7*b - 12*b. Let a = n - 312. Is a at least as big as -173?
True
Suppose -33*v - 1536 = -65*v. Suppose -3*m + 10*r = 6*r + 36, 4*m + 3*r = -v. Which is smaller: -11 or m?
m
Let v = -292 + 289. Let m = 1.31 - 5.61. Are v and m equal?
False
Let d = 706 - 382. Let s be d/107 - 3 - 0. Let c be 1/((-3)/12*-4). Which is smaller: s or c?
s
Suppose z + 42364 = 8*z + 112*z. Which is bigger: z or 350?
z
Let f = 7422 - 304320/41. Let w(r) = 93*r. Let k be w(0). Which is bigger: k or f?
k
Let a be (-48)/(-10)*(208/1131 - 3/(-9)). Which is bigger: a or 3?
3
Let y = 228 + -210. Let u be -6*y/104*26/(-78). Which is greater: -1 or u?
u
Let z(d) be the first derivative of -2*d**3/3 - 2*d - 21. Let t(i) = i**2. Let x(r) = t(r) + z(r). Let l be x(1). Which is smaller: l or -2/19?
l
Suppose 138*b + 83*b = -18564. Which is greater: -1620/19 or b?
b
Suppose i - u = 8, -i + 12 = 4*u - 6. Suppose i = -z + 2*q - 0, -q + 5 = 2*z. Which is smaller: z or 1/71?
z
Let b = 24.2 - 27. Let s = 17.2 - b. Let w = -20.23 + s. Which is smaller: 0 or w?
w
Let o be 14/35 + 2896/10. Suppose -2*d = 9*l - 4*l + o, -4*d = -4*l - 260. Let x be ((-33)/(-154))/(l/(-14)). Are x and -1 unequal?
True
Suppose 3*f - 4*x + 3*x - 609 = 0, -f = -3*x - 195. Suppose 3*n + 116 = 5*w - 24, 2*w + f = -4*n. Let b = n - -47. Is -2 equal to b?
False
Suppose -k - 25 = -7*h + 6*h, -2*k = -12. Let j(a) = a - 31. Let b be j(0). Let q = h + b. Which is smaller: -2/67 or q?
-2/67
Let t be ((-1)/4)/(25/40). Let z be (-6)/(-2)*(-22 - (-2707)/123). Which is bigger: t or z?
z
Suppose 3*x - d + 46 = 0, 5*x + 2*d - 28 + 112 = 0. Let s be 44/154 - (40/(-7) - -1). Suppose -s*r + k + 20 = 2*k, 2*r - 5*k + 19 = 0. Is x equal to r?
False
Suppose -5*y + 10*w = -220, 5*w + 24 + 95 = 3*y. Let x(j) = j**2 + 2*j + 5. Let s be x(-5). Are y and s equal?
False
Suppose 0 = 4*i - 0*i - 24. Let d be -96*2/i*-3. Let l = 89 - d. Is l at least as big as -7?
True
Suppose -54918*z - 2016 = -55030*z. Suppose -169 = 4*b + 3*f + 550, 0 = -b - 4*f - 196. Let j be b/(-10) - (-6)/15. Is z smaller than j?
False
Let m = 2916 + -2916. Which is bigger: 11/480 or m?
11/480
Let n = -616 - -615. Let s be (522/(-246))/((-13)/(-435)). Let m = -924/13 - s. Which is bigger: n or m?
m
Suppose 245*a - 235*a - 570 = 0. Is -1/3 at most as big as a?
True
Let i = 2.64 + 12.36. Let h = 4 + -59. Let u = h - -54.8. Is u at most as big as i?
True
Let u(q) = -q**3 + 4*q**2 - 2*q + 7. Let g(f) = f**3 + 16*f**2 + 31*f + 46. Let w be g(-14). Let o be u(w). Which is bigger: -9/7 or o?
o
Let u be (426741/22)/((-7)/(-10) - 5). Let w = -4511 - u. Is w < -1?
False
Let v = -392989/54390 + 354/49. Is 0.3 less than or equal to v?
False
Let v = -374.58 - -370. Let c = v + 0.51. Which is smaller: -2 or c?
c
Let p = -11316.816 + 11318. Which is greater: -3 or p?
p
Let s = -1518/7391 + -2/389. Suppose -4 = 4*z, -z - 6 = -4*h - 1. Are s and h non-equal?
True
Let x = -23 + -117. Let d = 141 + x. Is d greater than -0.51?
True
Let o = 19/4 + -13/2. Suppose 16 = 4*f + 80. Let u be f/24*3/2. Which is smaller: u or o?
o
Let k = 2911.9 - 2912. Which is greater: 7/855 or k?
7/855
Suppose -4*k - 688 = 2*g, 17*g + 5*k + 1027 = 14*g. Is -334 greater than g?
False
Let y(k) = k**3 + 9*k**2 + 6*k + 22. Let l = 61 - 69. Let m be y(l). Suppose 4*d - 127 = p - 4*p, -p - d = -41. Which is smaller: m or p?
p
Suppose -5*o = -3*r - 67 - 11, 0 = 4*r - 16. Suppose 4*y + 6 - o = 0. Suppose -3*l + 26 = 4*c + 6, -l - 2 = -y*c. Is -4/3 > c?
False
Suppose 0 = -98*m - 1373 - 3256 - 4975. Which is bigger: m or 1.6?
1.6
Let d be 95587/(-183)*(25 - 3 - -2). Do -12536 and d have different values?
False
Suppose 12*s = 2107 + 6113. Let g be (1 - 6) + 3427/s. Which is smaller: g or 0?
0
Let z = 23.8 - 157.8. Let b = z - -134.2. Do b and -58 have the same value?
False
Let a = 6085/1784 + -8/223. Let r = 16848 + -16844. Is a at least r?
False
Let r = -15.5 + -5.5. Let u = r - -21.03. Let x = -0.07 - u. Is -9 less than x?
True
Let z = 1163/4 - 421/2. Let q = z - 1773/20. Which is bigger: q or -9?
q
Let k = -357274 - -6904320048/19325. Is k equal to 0?
False
Let t = -119.61 + 7388.61. Which is bigger: -0.1 or t?
t
Let t = -53 - 10. Let x = 63.039 + t. Let p = 22.961 + x. Which is smaller: p or -1/2?
-1/2
Let p be 6*((-4452)/(-96) + (0 - 0)). Is p greater than 277?
True
Let d = 0.1 - 0.2. Let b = 2.244 - 5.144. Let l = d + b. Is 1 at least l?
True
Let p = -5745.758 - -5739. Let g = 0.242 - p. Is g equal to -34?
False
Let k be (-190)/3*(-12)/(-10). Let q be (k/18)/(-1) + -2. Let x be ((-12)/15)/(4 + 44/(-10)). Is q <= x?
False
Let i be (-1)/4 - 789/60. Let q = -5814.4 - -5814.3. Which is greater: i or q?
q
Let b = 131 - 127.1. Let m = b + -3.9. Let l = -3 - -1. Which is bigger: l or m?
m
Suppose -3*h + 616 = 2*s, 630*s = 633*s + 3*h - 912. Is s equal to 301?
False
Let u be (-1)/2*(-140)/7. Suppose 16*d = u*d + 390. Let o = 65 - d. Is o at least -2/21?
True
Suppose -d + 0*i + 116 = -i, -d + 124 = i. Let c be 1/((-5)/d)*1. Let q be c/(-10) - 26/65. Which is bigger: q or 1/2?
q
Let r = 3.283 - 3.093. Is -41 at most r?
True
Let i(w) = -8*w**2 + 7*w + 3. Let j be i(-3). Suppose -51*r - 5445 = -753. Which is greater: j or r?
j
Suppose 7*p - 24 = 13*p. Let r be ((-20)/84)/(p/(-12)). Which is smaller: r or 0.4?
r
Let o = -10194/11 - -13772127/14861. Which is greater: 1 or o?
1
Let m = 704 - 705. Let f = -1 + -22. Let r = f - -27. Is m >= r?
False
Let y = 204 - 22. Suppose y*b = 188*b. Let o = -0.2 + 0.2. Is o at most b?
True
Let u be (-9)/113*1984/16 + 10. Is u equal to 1?
False
Let r be (2/6)/(11/165). Suppose m + 171 = 5*u + 5*m, r*u = -m + 174. Suppose 4*z = -67 + 207. Is u at least z?
True
Suppose 593 = 5*b + 98. Suppose 315 = 12*l + b. Is l smaller than 14?
False
Let s = 1186 + -1163. Suppose -2*y - 4*v = -52 - 96, -4*y + 4*v + 284 = 0. Suppose 5*h - 8*h + y = 0. Is h greater than or equal to s?
True
Let p(w) = -2*w**3 + 19*w**2 + 119*w - 10. Let z be p(14). Which is greater: z or -52?
-52
Let q = 97.4 - 97.8. Let x be -1*((-126)/(-33) - 4). Which is bigger: q or x?
x
Let c be (-16)/6*(564/48 - 12). Let w = 30.8 - 27. Is c > w?
False
Suppose -19*v + 299 + 161 = 4*v. Suppose -2*u - 3 - 51 = 0. Let r be (u/(-12))/((-2)/(-16)). Which is smaller: r or v?
r
Suppose 2*p - 7*p = -50. Suppose -675*n + 216 = -671*n. Suppose 32*q - 438 + n = 0. Is q smaller than p?
False
Suppose 2*p + 618 = -2*n, -2*n = -5*p + 3*n - 1615. Is p greater than -311?
False
Let r(b) = -6*b - 2. Suppose 3*i + 7 = -47. Let m be r(i). Let q be (-2 + m/66)*(-13 + 7). Is 0.1 > q?
False
Let k(y) be the third derivative of -5*y**4/8 + 33*y**3/2 + 226*y**2. Let x be k(-3). Are x and -3 nonequal?
True
Let o = 0.4668 + -104.4668. Which is bigger: o or 11/3?
11/3
Let a be 8*(-5 - 987/30). Let j = -302 - a. Which is smaller: j or 0?
0
Let k = 1101.9 + -762.9. Is k greater than or equal to 1/8?
True
Let g = -9808/5901 - 9/1967. Suppose 2*d - 2*v - 34 = -0*d, 0 = 5*v + 15. Which is smaller: g or d?
g
Suppose -7*b = -8*b + 3*m, -2*m + 1 = -b. Which is bigger: -37/10 or b?
b
Let k(n) = -n**3 + 15*n**2 - 9*n - 33. Let o be k(14). Suppose o = -2*a + 47. Is 5 less than or equal to a?
True
Let h = 190