 + -14. Let o = -106 + s. Which is bigger: -0.3 or o?
-0.3
Suppose -21 = -5*u - 11. Suppose 2*n = -u*p, 5*p = p - 16. Is 4 at most as big as n?
True
Suppose -y - 6*f + 9 = -3*f, y + 4*f - 14 = 0. Let c = 0.683 + 0.317. Which is smaller: y or c?
y
Let y be 23 - 19 - 1/((-14)/(-54)). Which is greater: 1 or y?
1
Let p(b) = -3*b - 2*b + 4*b - 3. Let y be p(-4). Let s = 9 + -46/5. Which is smaller: s or y?
s
Let f = -20642/43 + 480. Let g = f + -35/172. Which is smaller: -1/3 or g?
-1/3
Let g be (-37)/((-200)/(-24) + -5 - 3). Which is smaller: -109 or g?
g
Let m be (2/(-4))/(-7 + 50685/7240). Which is smaller: -723 or m?
m
Let x be (1*(-1)/7)/4. Let c(b) = -b**3 + 9*b**2 + 101*b - 911. Let k be c(10). Is x less than k?
False
Let z = 49 - 44. Suppose -5 = -z*n - 0. Which is smaller: 3 or n?
n
Let h = 1.829 - -0.171. Which is smaller: h or 5?
h
Let u(w) = -36*w**2 + w. Let h be u(1). Let r be (1 - (-20)/(-18))/(h/(-30)). Which is smaller: 0 or r?
r
Let q = 96.78 + -6.78. Which is bigger: -2/3 or q?
q
Suppose 0 = -3*g - 2*s + 9, 6 = s - 3*s. Suppose 0 = -3*z + g - 2. Let m be 1/z*10/16. Which is bigger: 2 or m?
2
Let j = -1186637/79 + 15021. Are j and 1 unequal?
True
Let f(s) = 12*s + 46. Let j be f(-4). Does j = 70?
False
Let m = -9 - -9. Suppose m = -4*b - 4*d - 16 - 0, 4*b + 2*d + 12 = 0. Is 1 != b?
True
Let p be 4*10/(2520/182). Suppose 0 = 5*y + l - 21, -l - l = 5*y - 22. Is y bigger than p?
True
Suppose 424*o - 184 = 432*o. Is -16 at most o?
False
Let s be ((-3312)/63)/4*4/(-12). Is 5 less than s?
False
Let p be (4/(-10))/(3/(-5)). Suppose 8 = 5*a - 3*l - 15, -5*l = -4*a + 8. Let s(n) = -n**3 + 7*n**2. Let z be s(a). Which is smaller: p or z?
z
Suppose 5*x = -3*t + 1, -4*x + 2*t - 3*t - 2 = 0. Suppose 3*o - 4*f + 5 = -1, 3*o + 6 = 3*f. Let k be 3*(o/(-4) + x). Which is greater: k or 2?
2
Suppose 5*z + 0*z = 1420. Let a = z + -9944/35. Which is greater: -1 or a?
a
Suppose -k = 5*i + 62, -2*k = -k + i + 42. Let v = 39 + k. Which is bigger: -1/7 or v?
v
Let n = -2077 + 1936. Are -143 and n unequal?
True
Suppose -9*h = -48 - 60. Is 11 greater than h?
False
Let i be -2 + 34 + (-6 - -4). Let q be ((-5561)/(-14))/(i/(-20)). Let d = q - -265. Which is smaller: d or 0?
0
Let v be (-1 + 1)/(-2 - -3). Let x be -2 - (21/(-78) + 3/(-2)). Are x and v unequal?
True
Let i be 1/(-3)*2/(-3). Suppose -4*q = 3*q - 49. Suppose -q = 3*y - 4. Is y greater than or equal to i?
False
Let q be 12/54 - 52/(-9). Suppose -4*j + q = -14. Let a(z) = z**3 - 4*z**2 - 5*z. Let u be a(j). Is u at most as big as 0?
True
Suppose q + 8 = -2*q + z, 12 = -3*q - 3*z. Let v be (q/(-477))/(3/(-18)). Which is greater: 0 or v?
0
Let s be -3*(-5 + (-48)/(-9)). Is 1/1356 at least as big as s?
True
Let n = -9 - -14. Suppose 3*o + 0*o = 24. Let s be (o/(-56))/(1/2). Which is bigger: s or n?
n
Let o be 3/(-212*15/(-40)). Which is smaller: -3/16 or o?
-3/16
Let g = -135 - -149. Is g at least 105/8?
True
Let j = 189 + -190. Which is smaller: j or -10/11?
j
Let t = -222 - 62. Which is smaller: t or -286?
-286
Let w = -1017/7 - -145. Let d(j) = -j + 2. Let s be d(-2). Suppose 1 = s*v - 3. Is v less than w?
False
Let m(v) = -5*v + 145. Let d be m(26). Which is greater: d or 6?
d
Let w = 45 + -179/4. Let z = -33 - 215. Let f be -9*(z/60 + 4) + -1. Which is greater: w or f?
w
Suppose v - 4*v - 20 = 4*y, -25 = 5*y. Let p be 6/(-3 + 15)*v. Let o = 24/101 + -1186/4141. Which is smaller: o or p?
o
Let v(u) = 14*u - 304. Let t be v(8). Are t and -189 nonequal?
True
Suppose 0 = 4*p - 2*p - 4. Let n be (0/(3/3))/p. Suppose n = -0*o - 2*o. Which is smaller: -2/5 or o?
-2/5
Suppose -5*g - l + 1000 = 0, -6*g = -g - 2*l - 1000. Is g at most as big as 200?
True
Let f = -15.62 + 0.02. Let p = -15.8 + 0.8. Let v = p - f. Which is smaller: v or 2?
v
Let k be (40/(-12))/((-2)/12). Suppose -6*s + 4*s = k. Let m(b) = -b**2 - 9*b + 10. Let n be m(s). Is n != -1?
True
Let u = -75316/53 - -1421. Which is smaller: -1 or u?
-1
Let h be 9/(-10) - 8/400*5. Which is smaller: 3/428 or h?
h
Let l(x) = -12*x + 199. Let a be l(19). Let p = -27 - -29. Which is smaller: p or a?
a
Let x be 2224/(-1113) + (-17 - (-285)/15). Is x >= -1?
True
Let s be 19 + 3 - (-6)/(-2). Suppose 0 = -4*h + h - 5*c - s, 14 = -2*h - 4*c. Let v = 8 + h. Is v less than 5?
False
Let y = 854 + -862. Is -9/5 less than y?
False
Suppose -72 - 88 = 2*v. Is -78 <= v?
False
Let h be 2009/28*8/(-28). Let i(w) = -2*w**2 + 8*w + 3. Let q be i(6). Is q smaller than h?
True
Let j(b) = -4*b**2 - 7*b - 610. Let h be j(0). Which is greater: -609 or h?
-609
Let j = 0.045 - 0.275. Let q = j - -0.18. Let z = 1.95 - q. Which is smaller: -9 or z?
-9
Let p be (-13)/2 - 3/(-6). Let g(s) = s**3 + 5*s**2 - 8*s - 2. Let m be g(p). Let u = -18 + m. Is -8 != u?
False
Let b be (-3*1 + -1)*20/(-16). Suppose -6*s = -b*s - 59. Are 60 and s equal?
False
Suppose 3*o = 3*h - 138, -h + 5*h = 16. Which is smaller: -40 or o?
o
Let l be (-36268)/(-30)*(-12)/18. Let n = -806 - l. Suppose -4*z + 2 + 2 = 0. Which is smaller: z or n?
n
Let m = 31 - 31.75. Let s = m + -5.15. Let n = 3.9 + s. Is n greater than or equal to -1/2?
False
Suppose -4 = -7*u + 17. Let i be 15*(u - (-308)/(-100)). Is i at most -2?
False
Let w = -664 + 664.3. Is 2/11 at most as big as w?
True
Let r = -73 - -9. Is -67 >= r?
False
Suppose -5*i + 3*b - 228 = 0, -4*i + 0*i - 3*b = 177. Let t be (84/36 + -3)*66. Which is bigger: t or i?
t
Let m be ((-6833)/(-126) - (-14)/(-49))*4. Let r = m - 216. Let n = 0.2 - 0.9. Which is smaller: r or n?
n
Let l = -0.042 + 0.064. Let n = -0.072 + l. Are 12 and n equal?
False
Let m = 139 - 138. Is m smaller than -7/47?
False
Let g = 237 + -241. Which is smaller: g or -0.1?
g
Let o(h) = h**2 - 7*h + 10. Suppose 4*r = -4*l, 2 = 5*r + 4*l - 2. Let d be o(r). Is d greater than or equal to -2?
True
Suppose -5*x + 10 = -10*x. Let s be x/(-12)*18/45. Are s and 0 nonequal?
True
Let x(a) = 2*a**3 + 30*a**2 + 11*a + 27. Let f be x(-13). Suppose -11*t = f - 186. Which is bigger: -32 or t?
-32
Let p(w) be the second derivative of w**6/720 - w**5/30 + 2*w**4/3 - 9*w. Let f(l) be the third derivative of p(l). Let o be f(3). Which is bigger: o or 4/13?
4/13
Let c(r) be the first derivative of r**2/2 + 9*r - 3. Let b be c(-4). Suppose -2 = -2*h, 0*g = 4*g - h + b. Are g and 5/6 nonequal?
True
Let l be 3/(-9)*2*-3. Suppose -v = l - 5. Let y = v + -3. Is y bigger than 0?
False
Let v be ((-6)/(-1) + -5)*(-210)/(-111). Is v > 2?
False
Let s = -1/3434 - -40351/5151. Which is smaller: s or 8?
s
Let i = 51 - 59. Is i smaller than -20?
False
Let o(j) = 3*j**3 + 36*j**2 + 32*j - 43. Let h(y) = -y**3 - 12*y**2 - 11*y + 14. Let x(w) = 7*h(w) + 2*o(w). Let l be x(-11). Which is greater: l or 35?
35
Let b(u) = 5*u**3 + 13*u**2 + 20*u - 6. Let q(s) = -4*s**3 - 13*s**2 - 19*s + 6. Let o(t) = 5*b(t) + 6*q(t). Let v be o(14). Which is greater: v or 8?
8
Let q = -9 + 12. Let t = -1.2 + q. Let o = t - 3.8. Which is smaller: o or 12?
o
Suppose -2*a - 2*n = -n - 4, a = n - 4. Suppose -3*p = -a - 18. Suppose 3*j = -0 - p. Is j smaller than 0?
True
Let x = -728 - -3636/5. Let h = -1.8 + 2. Is x at most h?
True
Suppose -3*h + 0 - 11 = 5*g, 0 = 4*g - h + 2. Let n(s) = 2*s**3 + s**2 - 1. Let l be n(g). Which is smaller: 2 or l?
l
Let f = 688 + -687.186. Is 1 not equal to f?
True
Let y be (-4)/(-30) - (-548)/(-180)*3. Let f be (-4)/(-14) + 150/14. Suppose -55 = 4*s - f. Which is bigger: y or s?
y
Let i = -275 - -349. Are 73 and i non-equal?
True
Let i = -213 + -4. Let u = 144 + i. Are -73 and u unequal?
False
Suppose -331*i = -340*i. Suppose 7*m = 4*m - 186. Let n be (-2 - 61/m) + 1. Which is smaller: n or i?
n
Let y = 2 - -2. Suppose 82 = -y*u - 30. Let m be 4/(7/(u/(-88))). Which is smaller: m or 0?
0
Let d be 26/10 + (-1 - 21/(-15)). Suppose 19 - 16 = -d*k. Is 3/7 at most as big as k?
False
Let c(l) = 2*l - 5. Let g be c(5). Let n(b) = b**3 - 4*b**2 - 4*b + 2. Let i be n(g). Let q = 20 - 14. Which is smaller: i or q?
q
Suppose -100 = -2*i - 2*o, i - 31 = 5*o + 13. Suppose -5*x = 4 - i. Suppose 3*k + x - 6 = 0. Is -1/4 at most k?
False
Suppose -14*y - 66 = -80. Which is smaller: y or 18/47?
18/47
Suppose -36*h + 3084 = -1632. Is h smaller than -1?
False
Let j(z) = 4*z - 1. Let s be j(3). Let r be (-2)/s - (-105)/33. Suppose 0 = 3*h