+ -7)*(-116)/(-5)*-10. Let r be 2001/m*4/9. Is r equal to -5?
False
Suppose 0 = -u + 10*u + 288. Let n(g) = -3*g - 103. Let z be n(u). Which is greater: -41/5 or z?
z
Let r(w) = -w - 12. Let c be r(-6). Let i be c/(-15) - (-452)/20. Suppose 4*a = -2*u + 54, -u + 4*u - 4*a = 71. Which is smaller: i or u?
i
Let l = 8 + -7.86. Let v = l + -0.2. Let f = -2191 - -2194. Which is smaller: v or f?
v
Suppose -316*z - 180 = -321*z. Suppose -z = -15*b - 21. Is 1/343 greater than or equal to b?
False
Let o(b) = 4*b**2 - 84*b - 8. Let m be o(-6). Which is bigger: m or 641?
641
Let k(b) = -b**3 + b**2 + 3*b + 11. Let p be k(3). Let m be p/(-4)*(-4)/6. Is 0.11 > m?
False
Let p be ((-3)/2 - 245/(-42))*-123. Is -2133/4 smaller than p?
True
Suppose -2*m + 3*p - 447 = 0, -191 = 14*m - 13*m + 5*p. Is -219 >= m?
False
Let n = 1.2 + 4.8. Let a = n + -4.4. Let o be (172/129)/(-1 + 4 + 65/(-15)). Is a >= o?
True
Let r(a) = -a**3 + 67*a**2 - 261*a + 552. Let o be r(63). Which is greater: o or -20?
o
Let s(z) = -1568*z**2 - 3*z - 6. Let x be s(-2). Let q = -138009/22 - x. Let r = q + 491/374. Which is bigger: -1 or r?
r
Let z be 44 - (4 - (-32)/(-8)). Suppose 6*x + z = -t + 4*x, 248 = -5*t - 3*x. Which is bigger: t or -51?
-51
Let b(g) = -g**2 + 2*g + 1. Let h be ((-2)/(-2))/(3 + -7 + 3). Let i be b(h). Is i bigger than -11?
True
Let f = 0.07 + 18.93. Let z = -33.3 + -4.7. Let d = z + f. Which is smaller: -1 or d?
d
Let z = -578958/5 + 3987716/35. Is z at least as big as -1856?
False
Suppose -5*w + 0*w - 59 = 3*u, 0 = 4*u + 3*w + 75. Let m be u/21*(0 + -7). Let d be (-8)/((-24)/9)*(-8)/m. Is -2 > d?
True
Let q = 16/8961 - 194699/304674. Is q at least as big as -2?
True
Let i(j) = 10*j - 125. Let d be i(13). Suppose -m + 10 = -d*n + 5, -3*m - 4*n - 4 = 0. Which is bigger: -20/19 or m?
m
Let v(n) = n**3 + 13*n**2 + 14*n + 3. Let l be v(-12). Let f(k) = -k**3 - 10*k**2 - 8*k - 12. Let w be f(-9). Is w != l?
False
Let l be 4/(-12) + 2/2. Let c = 91157/2 + -45577. Are c and l nonequal?
True
Let l(i) = i + 5. Let y be l(0). Let b = -3 + y. Let w be 20/((-880)/(-154)) - (-9)/(-6). Is b less than w?
False
Let o be -2*1 + (-200)/(-99). Let f be (-7)/5 + (-23)/5 + 4. Let u be (7/(-21))/(0 + f/(-6)). Is o at most as big as u?
False
Let b = 0.08186 - -66.91814. Let x be -2 - -1 - (-12)/10. Is b > x?
True
Suppose 2*p + 15 = 11. Suppose -6 = 3*o - 15. Let j be (-2)/10 + o/15. Are j and p non-equal?
True
Let f = 26.541 - 26.547. Is 1/109 equal to f?
False
Let i = 15364 + -260863/17. Suppose 0 = -5*m - 17 - 78. Let d = i + m. Is d >= 0?
True
Let j = -23 + 20. Let f be (140/14)/(0 - (-1)/2). Suppose 0 = -4*t + s + 7 - 19, 2*s = -3*t - f. Which is smaller: t or j?
t
Suppose -29 - 60 = -5*n + 2*v, -n + v + 19 = 0. Let p be (n/5 - 3)*(-17)/357. Is p greater than 1?
False
Let p(t) = -340*t + 2037. Let r be p(6). Is r less than -70?
False
Let y be 30/(-40) + (-2)/8 + 6. Suppose -i - i - w = 0, y*w - 10 = 0. Let o be 4/(-10) - (-132)/55. Which is smaller: i or o?
i
Let o = 0.037 - 53.037. Let l = o - -17. Let h = 35.982 + l. Is h <= 0?
True
Let k be 9*-6*2/(-36)*(-3 - -2). Which is smaller: -828 or k?
-828
Suppose 6*p - 3*p - 5*c + 2711 = 0, 5*p + 3*c + 4575 = 0. Let g be (6/(-4))/((-9)/p). Which is smaller: g or -153?
-153
Let i be 2*5/(-20)*-2. Suppose -i = -u + m - 2, 0 = 3*m - 6. Let d = 3 - u. Is d less than or equal to 2?
True
Let z = -242.3 - -240.22. Is z less than -12?
False
Suppose -148*n + 120 + 74 = 46*n. Let p be ((128/42)/(-4))/(-10). Which is smaller: p or n?
p
Let b(p) = p**2 - 8*p - 8. Let y be b(9). Let k be (-14)/4 + y/2. Let i be 2 + 4/((-5)/(35/2)). Is k smaller than i?
False
Let m = -23968 + 575315/24. Is 3 smaller than m?
True
Let t = 1021/2 + -47929/94. Which is smaller: t or 1?
t
Let f = -0.0624 - -448.0624. Is -0.2 != f?
True
Let o = -5632 + 5553. Is o at least as big as -2/13?
False
Let c be (-19)/(-4) + 16/64. Suppose 2*y = d + 17 + c, -3*d - 5*y - 88 = 0. Let m = d + 33. Is m bigger than 6?
True
Let s be 19/38 - 6/(-4). Suppose -s*x = -39 + 43. Let r = -0.2 + -0.8. Which is smaller: x or r?
x
Let o = -5781 + 34783/6. Let w = 377/12 - o. Which is greater: w or 15?
w
Suppose -431 = 5*g - 4*x, x - 2*x = -5*g - 419. Let w = -20 - g. Let f = w + -66. Is 0 equal to f?
False
Suppose -v = 3*v - 20. Suppose 0 = 9*n - v*n + 340. Let z be (-16)/2*(-68)/n. Is -5 at least as big as z?
True
Suppose 0*m + 5*n = 4*m + 5, -5*m = 2*n - 2. Let l be ((-10)/(-55) - (-81)/(-264))*-8. Suppose -5*t - 19 = -g, 0 = t + g - l. Is m < t?
False
Let u be (-9)/(-3) + 36/3. Suppose 3*y = 2*h - 22 - 13, -h - 5*y - u = 0. Let w be 2/470*h/(-4). Which is smaller: w or 1?
w
Suppose 4*x - 22 = -2. Suppose -x*o - 2*j + 8 = -4*o, 0 = 5*o + 2*j. Which is smaller: o or 30?
o
Let d = -18289 + 3617. Is d bigger than -14673?
True
Let u be 260/129 - (64/8 - 6). Let i be (1/2)/(13/26). Is u equal to i?
False
Let z(k) = 37052*k + 407573. Let j be z(-11). Let n = -164 + 163.716. Is j <= n?
False
Let x = -4.5 + 11. Let u = -0.5 - x. Let r = 330 - 329.4. Which is bigger: r or u?
r
Let p(g) = 34 - 8*g**2 + 15*g - 4*g**2 + 13*g**2 + 4. Let z be p(-10). Which is smaller: z or -16?
-16
Let x be 6867/14*8/12. Let g = x + -173. Let f = 155 - g. Which is greater: 2/43 or f?
f
Let c = -577 - -859. Let f = -282 + c. Which is smaller: f or -85?
-85
Let c be ((-4)/6)/((-2)/(-3)*(-10488)/(-1216)). Is 8 at least as big as c?
True
Let d be (-30)/45*((-33)/55 - 182/30). Which is greater: d or 30?
30
Let g(z) be the first derivative of -6*z**2 - 418*z + 308. Let v be g(0). Is -419 greater than or equal to v?
False
Let h = 218001 - 1741369/8. Let f = 331 - h. Which is smaller: 1 or f?
1
Suppose r = 161 - 160, 0 = -2*w - 4*r - 6286. Which is smaller: w or -3144?
w
Suppose 59*b + 829 = 36*b - 206. Suppose 2*k + 5*u = 9, 5*u - 4*u = -1. Are b and k nonequal?
True
Suppose -47*n + 4*q + 792 = -44*n, 0 = n + 4*q - 312. Is n greater than or equal to 0?
True
Let f(c) = -2*c**2 + 66*c + 813. Let s be f(41). Which is greater: 149 or s?
s
Suppose f = -2*p + 634, 5*f = -3*p + 150 + 815. Suppose -r = 20*r - p. Suppose 0 = -3*k + 7*k - 56. Which is greater: r or k?
r
Let g be ((-5)/10)/((-2)/(-8)). Let o(x) be the second derivative of -x**3 - 22*x**2 + 91*x. Let m be o(-7). Is m less than g?
False
Let i(v) = 10*v + 843. Let u be i(-81). Which is smaller: u or -57?
-57
Let r = 2462 - 2316. Which is smaller: r or 2/9?
2/9
Suppose 6*p = -3*p - 243. Let l be (4/(-6))/(18/p). Which is smaller: l or 7/10?
7/10
Let n = 589 + -584. Suppose -5*v - 9 = -8*v, -3*l + 18 = -v. Which is bigger: l or n?
l
Let s(m) = 3*m**2 + 2*m + 30. Let t be s(-4). Suppose 3*n + 50 = -t. Are -39 and n unequal?
True
Suppose -4*t - 5*n = -5, 0 = -4*n - 1 + 5. Is t less than or equal to -4/667?
False
Let w(o) = -92*o + 511. Let q be w(3). Is 706/3 less than q?
False
Let w = -5/1072 + -128575/13936. Which is smaller: -10 or w?
-10
Let r = -13250 + 517. Is r at least -1/4?
False
Suppose 854*b - 851*b - 5*d = -40, 3*d = -3*b + 24. Is -1/7975 != b?
True
Suppose -2*a = 3*r - 1 - 13, -2 = 2*a - 5*r. Let c be (-131)/2 - 2/16*a. Let f be ((-6)/(-18))/((-1)/c). Is f bigger than 22?
False
Let r = 15898.9137 - 15899. Are 1/4 and r non-equal?
True
Let l be ((-421272)/171 - -3) + -7. Let y = l + 2466. Which is smaller: -3 or y?
-3
Let p be (-26)/(-510) - (-203)/3045. Which is bigger: p or -158?
p
Let k = 0 + 1. Let r(u) = -7*u**2 + 34*u - 32. Let b be r(16). Let h = 16639/13 + b. Is k bigger than h?
True
Suppose 3*f = 5*f + 14. Let m = -752 - -753. Which is bigger: m or f?
m
Let s = -499 - -504. Let i be 20/4 + (0 - s). Let a be (-2)/(-6) + (-5)/51. Is i at most a?
True
Let k = -128 - -58. Let s(q) = -6*q**2 + q + 45. Let b be s(0). Let g be (-3)/(-6) + b/(-30). Are g and k equal?
False
Let d = 9224 - 9187. Which is smaller: d or -11?
-11
Let c(s) = -s + 18. Let o be c(0). Let h be (-1)/(-6) + (-21)/o. Is h at most as big as 4/53?
True
Let b = 403 + -411. Let d = -19 + 3. Let a = -24 - d. Is b <= a?
True
Suppose -7*z + 5*z + 34 = 0. Let w = 34 - z. Let q = w + -18. Is q >= -2/179?
False
Let y be -165 - -2*(-3135)/(-114). Let m = -138 + 29. Is m less than or equal to y?
False
Let d = -542 + 542.075. Let p = 1.57 + -8.495. Let f = d - p. Which is smaller: f or -3?
-3
Suppose 0 = 3*o -