 -1*2. Let z = -95/3 + k. Let p = -3.393 - -3.333. Which is smaller: p or z?
p
Let l = -362.065 + 365. Let k = -0.065 - l. Is -5 greater than or equal to k?
False
Let j = -396 + 325. Which is smaller: -3 or j?
j
Let h be (9/2)/(-3 - 0). Let a = -4743/7 + 677. Which is smaller: a or h?
h
Let z = -2/1103 + -2060/80519. Let t = -47 - -47. Which is smaller: z or t?
z
Let a = -35 + 39. Suppose -5*l + 9 = -a*h, -3*h = l - 0*h - 17. Is 5 at least l?
True
Suppose -n - 8 = 3*n + 2*z, 5*z = -5*n. Let y(f) = f + 3*f + 3 - 3*f. Let u be y(n). Which is smaller: u or 2/13?
u
Let v be 28/(-22) + (-2)/(-2). Let b be (81/18)/(2/4). Let x be ((-27)/(-12))/b + (-2)/8. Which is greater: v or x?
x
Let v be (-2)/(-435)*(-385)/(-462). Is 1 <= v?
False
Let q be (-3)/1 + 52/13. Suppose -4*g - 3 - q = 0. Is -8 > g?
False
Let t = 4 + -9. Suppose -2*x = -3*d - 15, 0*x - 3*x + 17 = d. Let a = t + x. Is 3 smaller than a?
False
Let p be (1/2)/((-3)/64). Let x(y) = -y**3 + 5*y**2 + 25*y - 18. Let f be x(8). Is f smaller than p?
False
Suppose -2*l = -4*x + 22, -5*l - 6 = 3*x + 23. Let a be (-6)/(-9) + l/6. Which is greater: 1/9 or a?
1/9
Let n = 490 + -534. Is -35 not equal to n?
True
Let u = 14 - 11. Let b be 1*(u + -3 - 0). Suppose 0 = -4*v + 4*a + 5 + 11, 5*v + 4*a + 7 = b. Which is bigger: 2/21 or v?
v
Suppose 0 = -5*r + 20, 3*s + 4*r - 304 = -s. Suppose -w - s = -3*w. Let f be (-3)/w + 0/(-3). Which is bigger: f or 1?
1
Let m be (-16)/(-72) - (-104)/18. Let z be (1 - 0) + m/(-2). Suppose 0 = 2*w + 4*i + 10, 0 = -i + 3*i + 2. Is z greater than w?
True
Let j = 1158 + -1157.6. Let b = 35 - 25. Which is bigger: b or j?
b
Let q = 402 + -379. Is q greater than or equal to 24?
False
Let w be 0 - (-3228)/(-72) - (-2)/(-12). Is w > -0.1?
False
Suppose -4 = 3*y - 4. Let t(r) = -r**2 + 10*r. Let a be t(10). Is y >= a?
True
Let k = 1 - 1. Let h(b) = 7*b**3 + 14*b**2 - 2*b - 13. Let a(p) = 10*p**3 + 21*p**2 - 3*p - 20. Let f(s) = -5*a(s) + 7*h(s). Let r be f(-7). Is k equal to r?
False
Let u = 1056 + -770. Which is smaller: 284 or u?
284
Suppose 0 = -52*u - 38 - 14. Are -2/2237 and u nonequal?
True
Let k be 3/(-4) - (-8 + 33/4). Which is smaller: k or 3/886?
k
Suppose 120 = -o - 6. Let y be 200/(-9) + (-28)/o. Does y = -20?
False
Let x = -11.4 - -1.7. Let a = 10 + x. Let n = a + 0.7. Which is smaller: 2 or n?
n
Let g(v) = 1289*v + 2. Let t be g(1). Let o = -6422/5 + t. Is 7 less than or equal to o?
False
Suppose 3*h - 4 = 5*l, 8*l - 5*l + 3*h = 12. Which is greater: -3/86 or l?
l
Let c = -47135/57 + 2489/3. Is c greater than or equal to 3?
False
Let p be (-1 - -2)*(-4)/10. Let o be (-11)/55 - 6/10. Is p at most o?
False
Let n = 1.66 - 0.06. Let b = n + 1.4. Let g = b + -4. Is g at most as big as 0.6?
True
Let p = -0.14 - 0.86. Let z = -0.24 + 3.64. Let c = z - 1.4. Which is smaller: p or c?
p
Let y be (6/(-7))/(3/(-14)). Suppose -2*z - o = -4*z + 18, y*o = 5*z - 45. Let u be (-96)/18*(-6)/4. Is z bigger than u?
True
Let y be (-18)/90 - (-18)/(-10). Which is smaller: -8/15 or y?
y
Let l = 473/1610 + 1/161. Is l greater than or equal to 1.5?
False
Let i = -50 + 25. Which is greater: i or -0.3?
-0.3
Let t = 2126/3 - 678188/957. Which is greater: 0 or t?
t
Let z = 352/9 + -6263/72. Which is smaller: -47 or z?
z
Suppose -4*h + 8 = -40. Let u be ((-14)/16)/((-3)/h). Let k = -158/259 + 12/37. Which is smaller: u or k?
k
Let c = -311/102 - -19/6. Let l(t) = -t. Let s(x) = 3*x - 2. Let o(p) = 2*l(p) + s(p). Let j be o(1). Is j at least c?
False
Let s = 2739 - 2793. Is -30 <= s?
False
Suppose -34*n = -61*n - 14445. Is n < -536?
False
Suppose 2*m - k - 4 = 5, 2*m - 12 = 2*k. Let x be (42/(-10))/m + (-4)/(-10). Which is greater: x or 0?
0
Let l = 5022991 + -145686577/29. Let a = 684 + l. Suppose -2*x - 5*d = -18, 4*x + 0*d - d + 8 = 0. Is x at least a?
False
Suppose -66*a = -61*a + 715. Is -143 equal to a?
True
Let t(g) = -2*g - 6. Suppose 0 = -2*w - 2*a - 14, 3*a + 5 + 22 = -5*w. Let x be t(w). Are -2 and x equal?
False
Suppose 16*r - 12*r = 4*w - 6316, 0 = -4*r - 5*w - 6343. Which is greater: r or -1583?
r
Suppose 2*r - 4*m - 16 = 3*r, 0 = m + 4. Do -4/463 and r have different values?
True
Let i(w) = 16*w + 14. Let a be i(0). Let t be (-495)/903 - (-8)/a. Is t at most 1?
True
Let p(y) = y**2 + 5*y - 10. Let a be p(-7). Let j be -2*10/a + 3. Let s(l) = l**3 + 8*l**2 + 7*l - 2. Let c be s(-7). Is c less than j?
False
Let y = -0.3 - -0.41. Let h = -0.05 - y. Let k = h - -0.96. Are k and 1 nonequal?
True
Let n = -3393 + 44037/13. Let v = n + 426/91. Is v not equal to 2?
True
Suppose 0*t - t - 5*f = -24, 0 = 5*t + f. Let n be 3 + 28/(-16) + (-3)/2. Which is smaller: t or n?
t
Let s = 1304 - 1358. Is -56 at least s?
False
Let w = 502 - 509. Is w < -17?
False
Suppose 5*h - 95 - 45 = 0. Let v = -254 + 283. Which is greater: h or v?
v
Let y be (69/6)/(7/(-28)). Is y bigger than -26?
False
Let q = 7.5 + -0.5. Let v = q + -4. Let f = v + -1. Which is smaller: -0.04 or f?
-0.04
Suppose 16*a = 14*a - 2. Let b = -8/235 - -354/24205. Is a smaller than b?
True
Suppose 0 = -k, 4*k = 3*t - k. Let x = 30 - 42. Let r = 10 + x. Is t at least as big as r?
True
Let c = -970 + 969.9. Is c > -50?
True
Let q be (-2)/7*(0 - 1). Let g be (-22 - 12954/(-595)) + 2/(-35). Which is bigger: g or q?
q
Suppose -5*b = -6*b - 2*x - 83, 0 = -3*b - x - 224. Are -0.1 and b equal?
False
Suppose 0 = -6*r - 3*r - 225. Let m be (-68)/(-390) + 5/r. Suppose 5*n = 0, -t - 3*n = t. Is m > t?
False
Suppose 3 + 0 = 3*d. Suppose -8*w = -45 - 219. Let f = 37 - w. Which is bigger: d or f?
f
Let t = 24064.9455 - 24085. Let i = t + -0.0455. Let s = i - -20. Is s < -1/2?
False
Let m = 0.78 - 1.3. Let u = 0.48 - m. Which is smaller: 2/39 or u?
2/39
Suppose -11*p - 4*u = -10*p - 1319, 3*u = p - 1326. Is 1324 < p?
False
Let s = -2211.97 + 2228. Let m = 0.03 - s. Let f = -15 - m. Which is greater: f or 1/4?
f
Let w(c) be the third derivative of c**6/120 - c**5/10 + 7*c**4/24 - 2*c**3/3 - 5*c**2. Let b be w(4). Which is bigger: b or -23/3?
-23/3
Suppose -60*m = -105*m - 225. Is m equal to -16/3?
False
Suppose 0 = -14*a + 27*a - 234. Which is smaller: 14 or a?
14
Let j be -131 - 3 - 4*2/8. Is j <= -134?
True
Let y = 133 + -145. Is -3 equal to y?
False
Let q = -84 - -75. Is -20 greater than or equal to q?
False
Let l be ((-140)/(-112))/((-314)/(-2))*-4. Is l at least as big as -1?
True
Let j = -0.28 - -1.31. Let f = j + -0.25. Let o = 0.08 - f. Which is smaller: o or -0.2?
o
Let r be (15/(-10))/(6/(-332)). Suppose r - 35 = -3*b. Let i be b/(-4)*2/104. Is 0 smaller than i?
True
Let m = 81.4 - 7.4. Let t = 76 - m. Let v be 3/(-9) - (0 + -1). Which is smaller: v or t?
v
Let n be (-16)/(-64) - 126/(-8). Let b = 16 - n. Let t be ((-4)/1010)/((-3)/(-15)). Which is smaller: t or b?
t
Let t = 4.7 + -1.8. Let m = -1.8 + t. Which is smaller: 1 or m?
1
Let s be (-18)/(-10)*250/6. Is s <= 75?
True
Let u = -75 - -48. Let q(z) = -z**3 - 5*z**2 + 3*z. Let w be q(-4). Is u != w?
True
Let c(q) = -15*q**3 - 10*q**2 + 28*q + 18. Let f be c(4). Which is smaller: -0.1 or f?
f
Let f = -138 - -142. Suppose -2*y = -5*y + 3. Is f equal to y?
False
Suppose 0 = 5*f + 33 + 72. Let p be (-33)/f + 2 - 3. Suppose 2*r + 2*r - 4 = 0. Which is bigger: p or r?
r
Let t = -20 - -25. Let k = -25 + t. Are k and -19 unequal?
True
Suppose -82*x - 22*x = -104. Let w be (4 - 4)/(1 - 0). Is w at least x?
False
Suppose 5*o + 315 = 2*i + 73, -3*o = i + 154. Is -154/3 at most o?
True
Let q = -487.2 - -449. Let j = -38 - q. Is -4/7 smaller than j?
True
Let z(c) = c**2 + 18*c - 21. Let y be z(-19). Let j be 4*(-6)/48 + y/4. Which is smaller: j or -1/62?
j
Let l(a) be the second derivative of a**3/6 - 13*a**2/2 + 12*a. Let h be l(13). Is h less than 25?
True
Suppose -y + 4*j + 3 = 0, -5*y = 5*j - 17 + 2. Suppose l = 5, p + y*l = -0*p + 6. Let c be (-2)/(-2 + (-24)/p). Is c less than -3?
False
Suppose -5*s = p + p + 4, 0 = -3*p + s + 11. Suppose v - p*v = -2. Is -4/25 at most as big as v?
True
Suppose 3*u - 64 = -4*z, -2*z + 61 = 3*z - u. Suppose 4*f = 4, 2*s + 3*f - z = -2. Suppose 19 - 7 = 4*k. Is k less than s?
True
Suppose 624 = -5*s + 514. Are s and 8 unequal?
True
Let k(o) = 12*o - 28. Let m be k(-5). Which is greater: m or -89?
m
Let v(i) = -2*i + 3. Let b be 4 - 6 - 2*-2. Let u be v(b). Is -4