et a = 6290/3 - w. Suppose -10233 - 28890 = 1863*d. Which is smaller: a or d?
a
Suppose -5*x - 785 = -3*k, 5*x - x = 5*k - 615. Let m be x/120 + 1 + 75/9. Which is greater: 24 or m?
24
Let i = -272.19 + 267. Let z = 0.81 - i. Let g = 6.9 - z. Are -0.1 and g non-equal?
True
Let z = -247 + 227. Let p be z/(-150)*-10*318/4. Is p at least -106?
True
Let v = 2297 - 2433. Let r(l) = -l**3 + 3*l**2 - 16*l - 5. Let s be r(5). Which is smaller: v or s?
v
Let v(f) = -3*f**3 - 50*f**2 - 99*f + 17. Let s(n) = -n**3 - 17*n**2 - 33*n + 6. Let m(t) = 7*s(t) - 2*v(t). Let u be m(-17). Are 2/7 and u non-equal?
True
Let a = 2654 - 8164/3. Suppose -10*k = 4*o - 5*k - 247, -4*k = -5*o + 360. Let z = o + a. Is z <= 2/35?
False
Suppose -5*r + 0*r = -4*n + 705, -3*r - 423 = 3*n. Let u be 4/14 - r/21. Let q be ((-125)/10 + -1)*(21/9 + -3). Is q smaller than u?
False
Let i(d) = -1735*d**2 - 3*d + 3. Let y be i(-3). Let b be y/(-4)*(-15)/(-5715). Let q = 3/254 + b. Which is greater: 11 or q?
11
Suppose 4*b + 1332 = 7*b. Let z be (27/18)/((-3)/b). Does -223 = z?
False
Let q be (1246545/2080 + -2)/(3/20). Let r = 3982 - q. Are -1 and r nonequal?
True
Let y = -7754.635 - -7755. Which is smaller: -1 or y?
-1
Suppose -17*c + 13*c = -40. Let f(k) = k**2 - 2*k - 21. Let u be f(c). Let p = u - 70. Which is greater: -10 or p?
-10
Let z = 6068228/3 + -54658040/27. Let w = 1629 + z. Suppose 0 = 2*k + i + 4, 4*i - 50 + 66 = -k. Which is smaller: k or w?
w
Let s(w) = w**3 - 33*w**2 + 49*w - 62. Let u be s(32). Let t = 480 - u. Let d = 71 + -358/5. Which is smaller: t or d?
t
Let m = 26069 - 26071. Is m smaller than 41.5?
True
Let c = -86.51 - -86.81. Are -0.1173 and c nonequal?
True
Let i = -27/56 + 3/28. Let z = -1131 + 522. Let j = 609 + z. Are i and j unequal?
True
Let s = 0.6997 - 13.7837. Let k = -14.1 - s. Let c = k + 0.016. Which is smaller: c or 2.2?
c
Let y be ((-30815)/(-18075))/((-8)/(-51)). Let d = 8/1205 + y. Is d greater than or equal to 10?
True
Let i be 5074/43 - (-5 - 4). Which is smaller: i or 505/4?
505/4
Let a be (-12096)/3192 - (0 - -2 - 2). Which is smaller: a or -4?
-4
Let i = 2478 - 2477.7. Which is bigger: -819 or i?
i
Let f(q) = 22*q - 68. Let x be f(-10). Let n = 179 + x. Is n < -108?
True
Let b = 11321 + -11222. Do 77 and b have the same value?
False
Suppose 4*p = 179 - 35. Suppose 28*q + p = 37*q. Which is smaller: 13 or q?
q
Let p be 469*-17 - ((-90)/50)/((-36)/(-60)). Is -7970 >= p?
True
Let j be (6 - 2)*(343/14 + 1). Let t = 91 - j. Is t >= -11?
True
Suppose -69*t + 74*t - 25984 = 33*t. Does -926 = t?
False
Let i = -1/137 - -607/45621. Let b be ((-63)/28)/9*4. Which is greater: b or i?
i
Let d = 6 + -2. Let y(o) = 0 + 12*o - 11*o**2 + o**3 - d - 7 - o. Let t be y(10). Is t greater than -5/13?
False
Let p be (-15)/90 + (-55)/(-402). Let i(j) = -2*j - 30. Let m be i(-14). Let w be (-3)/m + (-2)/4. Which is greater: w or p?
w
Let w be (-8444)/(-10)*((-1856)/1218 + 1/(-7)). Is w smaller than -1408?
False
Let v = -22827585398/231 - -98815696. Let z = 5020 + v. Which is bigger: -1 or z?
z
Suppose -7 = -s - 4*p + 20, 3*s - p - 16 = 0. Let h be (s - 640/92)/(-3 - 0). Which is bigger: 0 or h?
0
Let k be -23 + 27 + ((-14)/(-132706))/(1/(-37915)). Which is bigger: 1 or k?
1
Let p(v) = -6*v - 169. Let h(z) = -z**3 + 46*z**2 + 45*z + 64. Let n be h(47). Let s be p(n). Which is bigger: s or 3?
s
Suppose 91*v + 39 = 128 + 93. Is 3858 smaller than v?
False
Suppose l = q - 354, -5*q = 2*l - 2*q + 718. Which is greater: l or -365?
l
Let t = -973 - -976. Let k = 130/11 - 954/77. Is k at most t?
True
Let w = -1222373/142 - -8608. Is 0 != w?
True
Suppose 28 = 568*k - 572*k + 2*t, -4*k + 5*t - 34 = 0. Is -270/41 less than k?
True
Let n be (-4)/6 - (-35)/3. Suppose 3*u = -4*x + 46, 58 = 2*u - 5*x - n. Let t = -34340 - -34363. Which is bigger: u or t?
t
Let i(u) = -u**2 - 24*u + 29. Let x be i(-21). Which is smaller: x or 181/2?
181/2
Let a = 101 + -74. Let c be 332/8*6/9. Do c and a have the same value?
False
Let z be 70/((-18900)/(-162)) + 0 + 956/(-1785). Which is greater: 0 or z?
z
Let y be 2612806/(-7094120) + 119/(-28) + 5. Let l = y - -2/16123. Which is smaller: -1 or l?
-1
Let s = -6 + 8.6. Suppose -12 = 21*c - 24*c. Suppose -8 + c = 4*a. Is s > a?
True
Let s be 32724/(-1515)*(1 + (-246)/116). Is s at least as big as 25?
False
Let v be -11 - 12/16*-2. Suppose -3 = q - 3*p + 3, 4*p - 10 = 2*q. Let b be ((-1)/q)/(-7 - (-1380)/198). Does b = v?
False
Let t(r) = -4*r**3 - 3*r - 1 + 6*r - 2*r**2 + 3*r**3. Let p be t(-3). Let x = 8 + -8. Which is smaller: p or x?
p
Let h = -5389 + 5388. Which is bigger: h or -33/82?
-33/82
Suppose 2*v = 3*t + 26, v - 8*t + 10*t + 15 = 0. Is -55/488 greater than v?
False
Suppose 654 = -57*h - 590 - 979. Suppose -4*l - 194 + 46 = 0. Which is smaller: l or h?
h
Let t = 660.2 - 660. Let v = 4.9 + 89.1. Which is bigger: t or v?
v
Let h(s) = -s**3 + 16*s**2 - 22*s + 1. Let g be h(16). Let d = 3894783/10 - 389127. Let i = d + g. Which is greater: i or 0?
i
Suppose -38*h = -42*h + 3*y + 66, 5*h + y - 73 = 0. Which is bigger: 698/45 or h?
698/45
Let c be (-40)/12*(457217/115 - 2/10). Is -13253 < c?
True
Suppose 0 = -0*n - 2*n + 8, 5*k - 89 = 4*n. Let l(s) = -s + 27. Let b be l(k). Let o be (-43)/b - (-3)/18. Is o bigger than -7?
False
Let g = -18493 + 18487. Which is bigger: g or -3/25?
-3/25
Let q = -183/26 + 90/13. Let v(z) = -z + 7. Let u be v(6). Which is greater: u or q?
u
Let k(o) = 3*o - 8. Let c be k(3). Suppose -9 - c = -2*a. Suppose -1 = -5*i + w - 6, a*w + 25 = 0. Which is bigger: i or -11/5?
i
Let m(h) = 2*h**2 - 17*h + 32. Let k be m(5). Let t be (-1)/((-5 - (-16)/3)*k). Which is smaller: 15/59 or t?
15/59
Let y be 0 - 1 - 13/(-25077)*1809. Does y = -1?
False
Let f(m) = 2*m**3 - 6*m**2 + 124*m + 526. Let d be f(-12). Which is bigger: -5284 or d?
d
Suppose -8*o = -4*w - 11*o + 255, 4*w + 2*o - 250 = 0. Suppose 4*i - 229 = -m, -3*m + 117 = 5*i - 3*i. Which is bigger: i or w?
w
Let v = 31 + -30.79. Let o = -678 + 680.79. Let k = o + v. Which is greater: k or 4?
4
Let r be (-30)/44136*(15 + -7). Which is bigger: r or -1?
r
Let f be (11/(-2))/11 + (-9)/(-2). Let r(k) = 10 + 15*k**2 - 11*k**2 - k**3 - k - f*k. Let d be r(4). Which is smaller: d or -11?
-11
Let q = -1396/627 + 40/19. Suppose -1740 = 201*y - 213*y. Suppose 0 = -3*n - y + 148. Which is smaller: q or n?
q
Suppose -72*w = 23*w + 662530. Is w less than or equal to -6974?
True
Let o be (-10)/(-7)*(-154)/(-44). Suppose -2*r + 5*g = -1237, 5*r - o*g - 830 = 2285. Do 626 and r have different values?
False
Let v(t) be the third derivative of -t**5/60 + t**4/6 - t**3 - 44*t**2. Let s be v(4). Is -28/5 bigger than s?
True
Suppose -121*i + 275648 = 15740. Is i greater than 2155?
False
Suppose 5*h + 3*o - 26131 = h, 0 = -5*h - 4*o + 32664. Suppose 5*p - g = 16313, g - 4*g = 2*p - h. Let m = 42443/13 - p. Is m > 2?
False
Let q be 1 - 4 - (34 - 6). Let h be ((0 - -2) + -3)*q. Suppose 0 = z - 3*t - 31, 0 = 5*z - 3*t - 101 - 54. Is h at least z?
True
Suppose 79*x + 953 = -4*b + 80*x, -5*b - 5*x - 1185 = 0. Is b at least as big as -1672/7?
True
Let y = 0.1719 - -0.8281. Is y > -15/103?
True
Let t(n) = 3*n + 15. Let h be t(-10). Let g be (-42)/h - 3 - (-132)/(-190). Is g <= -2?
False
Suppose -408 = -42*o + 34*o. Let f(h) = h**2 + 18*h - 15. Let k be f(-21). Is o at least k?
True
Suppose -4*o + 0*s = -s + 57, 4*s = 3*o + 59. Suppose -92343*b + 3058 = -92621*b. Which is bigger: o or b?
b
Let p(c) = -c + 17. Suppose 0 = -x - 7*x + 64. Let d be p(x). Suppose 0 = 4*o + d*o + 78. Is o at least as big as -4?
False
Let f = -29.5642 - -29.62. Is f bigger than 3?
False
Let q = -3640 - -3320. Which is smaller: -2 or q?
q
Let l = -20 + 10. Let n = 87854 - 87867. Is n >= l?
False
Suppose -6*h = h + 465 - 395. Let b(l) be the first derivative of l**4/4 - 4*l**3/3 - l**2 - 4*l + 2. Let g be b(4). Is g smaller than h?
True
Suppose 5*h = 2*x + 549 + 989, -4*h + 1244 = -5*x. Is 303 bigger than h?
False
Let i = 0.33923 + 1.66077. Is i less than 5304?
True
Suppose 10*w = 581 + 169. Let c be (w/50)/((-6)/(-4)). Is -1/451 > c?
False
Suppose -4*q - 8 = -4*g, 0 = -2*q + 4*g + 2 - 8. Let b be -17 + 9 - 27491/(-3441). Which is smaller: q or b?
q
Let f be (-16)/(320/(-350))*(-6)/(-15). Is -18 smaller than f?
True
Le