Suppose 5*m + 17*k - 14*k = 261, 5*m - 3*k = 219. Is m less than or equal to q?
False
Suppose -3*o = 3*d + 51, 5*d + 0*o = 4*o - 130. Let a = 37 - 52. Which is smaller: d or a?
d
Suppose 2*c = 3*z + 81, -2*c - z = -2*z - 71. Let j be (-2*(-5)/10)/((-3)/c). Which is bigger: -41/4 or j?
-41/4
Let l = -5125 - -6795. Is l greater than or equal to 1670?
True
Let t(y) be the first derivative of 3*y**2/2 - 7*y + 1. Let p(l) = l**3 - 4*l**2 - 112*l - 60. Let k be p(13). Let g be t(k). Which is bigger: g or -2?
g
Let a = -41083 - -41052. Let w be 5/2*(-176)/14. Is w > a?
False
Let x = 44 + -42. Suppose 28 = -5*h - 7*w + 4*w, -x*h = w + 11. Let l be (3/h*2)/(15/250). Which is bigger: l or -19?
-19
Let b = 3309.3 - 3300.9. Which is bigger: -163 or b?
b
Suppose 3*n + 281 = 956. Let u be (-8)/10 + (-90)/n. Which is smaller: u or 1?
u
Suppose -3*h - 3*z - 232 = -2896, 4*h = z + 3572. Is 891 at least as big as h?
False
Let s be ((-41)/(-3))/((414/2862)/23). Which is smaller: 2172 or s?
2172
Suppose 6*y = -80 + 104. Let f be y/8*(-100)/(-26) - 2. Which is smaller: f or 0?
f
Let t = -39/80 - 53/16. Let s(j) = -22*j + 547. Let p be s(25). Is t < p?
True
Let i be (-1406)/(-12) + (-22)/132. Let w = i - 118. Is -2/147 at most as big as w?
False
Let t = -1.8 - -1.777. Let j = t + 0.123. Let a be (340/64 - 5)/(1/12). Which is bigger: a or j?
a
Suppose -4*z - 4 = 2*w + 4, 0 = z - 3*w - 12. Let c be (-21)/168*-12*(-4)/327. Is c greater than z?
False
Suppose -5*i = 5*n - 8*n - 2264, 4*i + 5*n - 1789 = 0. Let g = i - 456. Is g less than -2?
True
Let n be 10/(-4) - 2/(-4). Let l(s) = 7*s**3 - 18*s**2 - 41*s - 6. Let k be l(-2). Which is smaller: k or n?
k
Let l be 2/(-3 - -4) + -53. Let j = 35 + l. Which is smaller: -7 or j?
j
Suppose -4*a - 14 = -38. Suppose 0*g + a*g - 450 = 0. Suppose -5*i - 40 - g = 0. Is -23 <= i?
True
Let x = -3083 + 2834. Are 2 and x nonequal?
True
Suppose -3*r = 0, 2*u - 3*u = -4*r + 94. Let b = u - -24441/260. Is b equal to 0?
False
Let t(k) = 15*k - 736. Let h be t(52). Suppose -3*m = -m - 20. Suppose m*p = 8*p + h. Do 24 and p have different values?
True
Suppose -21*c - 16 = -22*c. Let b be (84/c)/(6/(-32)). Let w = -27 - b. Which is bigger: w or -16?
w
Let o(p) be the second derivative of 65*p**3/6 + 79*p**2/2 + p + 31. Let g be o(-3). Is -113 at most as big as g?
False
Let u = 262 + -150. Let h be -54*-2*(-4 - (-444)/u). Which is greater: -2 or h?
-2
Let h = -6 - -20. Let r = -255 + 241.9. Let x = h + r. Which is smaller: x or 1/4?
1/4
Let h(f) = -f**3 - 5*f**2. Let q be h(-6). Suppose 5*r + 6 = n, 4*n + 4*r - 18 = 6. Let u be 39 + (5 - n) + -3. Is q bigger than u?
True
Let p be (-6)/(-21) + (-32)/63. Let x = -217.523 - -96.523. Is p greater than x?
True
Let l = 1284 + -283. Let r be 2/10 - l/3055. Which is bigger: r or 1?
1
Let g be (-2 + (-108)/(-81))/(-8 + 5). Let k = -5 - -5.06. Which is smaller: g or k?
k
Suppose -4*b = -10*b + 252. Suppose 2*t - 7 = -5*o, 44*t = b*t - o + 3. Do t and -0.32 have the same value?
False
Let q be 9 + -10 + (8 - 0 - 1*7). Is q smaller than -3/257?
False
Let b(d) = -9*d + 145. Let k be b(11). Which is bigger: k or 54?
54
Let k = -999/3812 - 313895775/41932. Let p = k + 7461. Which is bigger: -26 or p?
p
Let x = -2081/981 + -11/109. Suppose 0 = 7*q - 2*q - 10. Suppose 4*w + 11 = 3*d, -q*d + 5*w - w + 14 = 0. Which is smaller: d or x?
d
Let t = -118.09 + -66.91. Is -1/49 at most t?
False
Let s(t) = -t**2 + 4*t + 30. Let f be s(9). Suppose -3*r = 4*g + 62, 35*g + 50 = -3*r + 37*g. Which is greater: r or f?
f
Let f be (-3)/2 - 42/(-12). Suppose 6 = 4*k + 5*j, -4*k = 4*j - 3*j + f. Which is greater: -12/13 or k?
-12/13
Let o = -29903 - -28922. Which is greater: o or -4898/5?
-4898/5
Let q = -1730 + 1791/2. Let j = -7509/10 - q. Is j bigger than 85?
False
Suppose 144 + 246 = 5*d. Let t be (d/(-3) - -2) + -3. Let l be 12/t*(-5 - 7). Which is smaller: 6 or l?
l
Let o be -75*3/(-9) - (-3)/(-1). Let a(v) = -9*v**2 + 181*v - 30. Let p be a(o). Which is smaller: p or -405?
-405
Let y = -15/11 - -13/11. Let d = 2042/21771 - 4/41. Let p = d - 521/2655. Which is smaller: p or y?
p
Let o(r) = r**2 + 4*r - 2 + 0*r - 7*r - 3*r - 2*r**2. Let y be o(-2). Is 110/17 < y?
False
Suppose 5*y + j = 2*y + 10, -2 = y + 3*j. Suppose 2*t = 10, y*d = -4*t - 18 + 38. Is -5/47 <= d?
True
Let s be (14/(-12) - -1)*(8 + -2). Which is greater: s or -0.015?
-0.015
Let g(k) be the second derivative of -k**4/4 - 13*k**3/2 + k**2 + 3*k. Let c be g(-13). Let f be (-1 + 7)/(0 + c). Is 2 less than f?
True
Suppose 27*t - 2*t = 125. Suppose -298 = t*y + 207. Is y less than -103?
False
Let g be 2/(-4) - (-282)/(-12). Let m be (6/(-261))/((-4)/g). Suppose u = -2*o, 0*o = 5*u + 2*o. Is m less than u?
True
Let y = 3548 + -3532. Does -3/5 = y?
False
Let c = 6313 - 5283979/837. Do -7 and c have different values?
True
Let n = -0.852 - -18.052. Which is greater: 2/5 or n?
n
Let q = -7.4 + 1.4. Let o = -20 - -48. Suppose 8*b - o = b. Which is bigger: q or b?
b
Let q(u) = -u**3 - 39*u**2 - 197*u + 32. Let z be q(-33). Which is smaller: z or 46/729?
z
Suppose 17 + 1 = 9*w. Let t be (136/6)/(-8*6/(-360)). Which is smaller: w or t?
w
Let j = -1944 + 1541.5. Let n = j - -400. Are 0.3 and n unequal?
True
Let a = -0.321 - -0.605. Let l = 0.384 - a. Is l at most 0.063?
False
Let s = 1071 + -33195/31. Let n be (-3 + (-9)/(9/(-2)))/((-9)/3). Which is smaller: s or n?
s
Let k = -3404 - -3404. Is k equal to -551/7?
False
Let l = 5677/2 - 2858. Which is smaller: l or 1/8?
l
Let x = -1510 + 1445.3. Is x not equal to 1/8?
True
Let n = 226 + -228. Is n greater than -37/20?
False
Let y = 2.61 + -3.8. Let o = y - -0.19. Let p = o - -7. Is 1/3 less than p?
True
Suppose 4*h + 2*y - 22 = -26, 0 = 4*h - 4*y - 20. Let i = -634 - -10784/17. Is i smaller than h?
True
Let h = 201729 - 356051696/1765. Which is bigger: 1 or h?
1
Let s = -219.13 - -216.13. Which is smaller: -150.3 or s?
-150.3
Let g = -39049631/3362 + 11615. Are g and -1 unequal?
True
Suppose 0 = -13*c + 15*c - 6. Suppose -10*q + c = -7*q. Let f be ((q - 1)/(-1))/(-17 + 19). Is f equal to 3/22?
False
Let j(s) = -s**2 - 9*s + 21. Let n be j(-9). Let p = n - 6. Let a = -15 + p. Which is greater: 2/13 or a?
2/13
Let g = 100/627 + 3/418. Which is greater: 1/9 or g?
g
Let a = -3/1204 + 183017/3612. Let t be 6 + (-120)/18 - (-310)/6. Is a at least t?
False
Let a = 3430.8936033 - -0.0173967. Let w = -3428 + a. Let o = 0.089 + w. Which is greater: 7 or o?
7
Let s = -60 - -63. Suppose 2*x + 20 = -2*d - s*d, -4*x = d + 4. Let o = -1 - -1.8. Are o and x equal?
False
Let p(n) = -55*n + 608. Let j be p(8). Which is greater: j or 161?
j
Let j be 4*(3 + 2 - 4). Suppose -j*p + 5*p = -2. Let u = 3681/10 - 369. Which is smaller: u or p?
p
Let b = -5 + 5.9. Let c = 0.13 + 73.87. Let w = -73 + c. Which is greater: b or w?
w
Let c(f) = -f**3 + 9*f**2 - 17*f + 53. Let v(r) = -r**3 + 15*r**2 - 12*r - 23. Let w be v(14). Let z be c(w). Which is smaller: 67 or z?
67
Let y(c) = 47*c - 117. Let j be y(10). Let f = -371 + j. Which is smaller: -23 or f?
-23
Let m = -788.5 + 773.5. Which is smaller: 16 or m?
m
Suppose -4*d = -0*d - 28. Let h = 158.58 - 157. Let k = 1.48 - h. Is d != k?
True
Let u be 390/910 + 5694/(-7). Are -814 and u unequal?
True
Let f = -8.53 + 493.53. Which is bigger: 2 or f?
f
Suppose 40*j = 104*j - 33856. Is j greater than or equal to 528?
True
Suppose -4*b - 1262 = -5*o, -4*b = -5*b - 3*o - 341. Which is greater: -321 or b?
-321
Let i be (-2)/((6 - 4 - -2) + -9561). Is 1 at most i?
False
Let d be (-2 - 0 - 72) + (-91 - -91). Let h = 3 + -2.7. Which is smaller: d or h?
d
Let n(g) = g**2 - g - 9. Let w be n(-6). Suppose 27*s = w*s + 132. Are s and -23 non-equal?
True
Let p = 533 - 532. Is -2/3397 smaller than p?
True
Suppose -5*h - 210 = 180. Let s be 1 + (-9)/(-12) - (-2)/(32/1204). Let r = h + s. Which is bigger: r or 1?
1
Suppose o - 138 = 4*o. Suppose 313*p = 376*p + 2772. Which is smaller: p or o?
o
Let c = -458 + 517.8. Let u = c - 53. Let i = 7 - u. Are i and 14 non-equal?
True
Let z = -0.82 + -12.18. Let a = 11.35 + z. Let g = a + 0.05. Is g smaller than 1?
True
Let y = 7979/2 + -3908. Let d be -5*(-2 + 219/(-15)). Is y <= d?
True
Let d = -7263 - -7264. Is 18/403 not equal to d?
True
Let f = -5/2843200588 - -70303465539