z(1). Suppose 5 = -5*a - 0*a - 5*l, 4*a - 20 = 2*l. Suppose -a*i - 14 = 1. Is p at most i?
True
Suppose -2*d - 3 = -5*d. Let m(v) = -5*v**2 - v - 50. Let n be m(-10). Let r be 6/10 - 3*172/n. Is r equal to d?
False
Let w = 139 + -141. Let u be (-23)/46*w/(-4)*0. Is 0.4 >= u?
True
Let v be (1 + 0/(-1))*(-263 + 10). Let w = v + 367. Is w <= 114?
True
Suppose 9*r + 2 = 7*r. Let m(n) = -2*n - 3. Let y be m(r). Suppose -12*v + 109 = 229. Which is bigger: v or y?
y
Let n be 4/(-26) - (-540)/(-39). Let t be -2 - 20/(-28) - 4/n. Let s be ((-11)/(-22))/((1 - t)/(-76)). Is s smaller than -20?
False
Let a = 26.989 - -1273.011. Is a smaller than 2/7?
False
Let s = 6802 - 6802. Which is smaller: -4/653 or s?
-4/653
Let a(z) = -79*z - 502. Let q be 26/(((-18)/12)/((-21)/(-28))). Let c be a(q). Is 525 < c?
False
Let a(u) = u - 6. Let c be a(5). Let h = c + 0. Let b be (13/65)/((-2)/24). Is h <= b?
False
Let d = 3384 - 3384. Which is smaller: d or 1/15436?
d
Let s be (-2 - 15) + 10 + (-11)/(22/(-972)). Which is smaller: s or -3/7?
-3/7
Let y(z) = -4*z**2 - 145*z - 1314. Let t be y(-18). Which is greater: t or 77/212?
77/212
Suppose -4*g = -4*a + 16, 7*a - 5*g - 20 = 3*a. Suppose -o + 8 - 17 = a. Is -70/9 at most o?
False
Let p be (-6 + 1)/((-2)/(-18)). Let d be ((1273 - 4)/(-9))/(-3 + 6). Which is greater: p or d?
p
Let k be 1/(-5)*(-8 - -13). Let r be (1 + 0)*2 - k. Suppose -r*b = 4*x - 51, -3*x + 0*b - 4*b = -47. Do 9 and x have the same value?
True
Let j be 83/(-3)*654/21255. Let q = 665 - 25933/39. Let y = q + j. Which is bigger: 0.6 or y?
0.6
Let m = -125534 + 125635.978. Let l = -102 + m. Let p = l + -0.138. Which is smaller: 1 or p?
p
Let a be ((-6)/45)/(-1 + (-779)/(-615)). Let l = -0.06 - 0.34. Let n = 0.4 + l. Which is greater: n or a?
n
Let l be (-18)/33 + (-6593)/(-209). Suppose 2*q + 4*q + l = z, 5 = -q. Let k = 1/2097 + 25141/48231. Is z bigger than k?
True
Let r = -153.624 - 0.376. Let l = r + 153. Which is bigger: 2 or l?
2
Let f be ((-614)/4)/((-26)/52). Suppose 13*q + f = -226. Do -42 and q have the same value?
False
Let b(i) = 124*i - 247*i - 4 - 18 + 132*i + i**2. Suppose p - 5*p - 52 = 0. Let w be b(p). Is -0.1 less than w?
True
Suppose 3*o = 4*l + 10 + 168, -o + 63 = -5*l. Suppose 4*c - o = 194. Let d = 55 - c. Is -25/3 at least as big as d?
False
Let j(f) = -15*f**2 + 20*f + 54. Let k be j(8). Is -742 bigger than k?
True
Suppose -n - 3*m - 7776 = 0, -635*m + 630*m - 15554 = 2*n. Which is greater: n or -7781?
-7781
Let j = 16123/45 - 3339/10. Which is bigger: j or 25?
25
Let r = -0.466 - 185.534. Let y = r + 178. Which is greater: y or 0.4?
0.4
Let p be (-17)/(39/26*(-4)/18). Is p at least 45?
True
Let u be (-1817)/395 - 2/5 - 25/(-8). Which is smaller: u or 35?
u
Let d = -10/16889939 - -10151093279/405257196366. Let w = d + -1/558. Is 0 at most as big as w?
True
Let j = -3013/12341 - -10/287. Let f be 20/(-1376)*((-4383)/15)/3. Let m = j - f. Which is bigger: -2 or m?
m
Let f = 16904 + -13613. Is f at least as big as 3292?
False
Let d = 170 + -178. Is d != 5/54?
True
Let d(n) = n**3 + 2*n**2 - 4*n - 4. Let p be d(-3). Let r(z) = -2*z**2 + 3*z - 15. Let f be r(9). Let k be (-20)/f*(-5)/43. Is p >= k?
False
Let w = -48786421/7470996 + -1/90012. Which is smaller: -7 or w?
-7
Let q = -0.099 + -100.901. Let c = -100.07 - q. Let j = c + -1.03. Is j >= -19/2?
True
Let v = -3406 - -3405. Which is smaller: v or 3/3329?
v
Let b be ((-2)/(-10))/(2/(-26) - (-10152)/1170). Let r be (-3 - (-22)/8)*-4. Is b at most as big as r?
True
Let p = 2.96715 + 0.00385. Let l = -0.029 - p. Let b be 1 - ((-22)/12 + 3). Is l > b?
False
Let z = 42.91 + -43. Let w = z + -0.81. Let r = 1.6 + w. Are -1 and r equal?
False
Let c = 339 - 363.6. Let b = c + 24.7. Suppose 2*n - 30 = -4*u, -n - u = -3*u - 11. Which is bigger: b or n?
n
Let f be (22 - 24)*2/4. Suppose -a + 3*v = -2*v - 10, -a = 5*v + 30. Let l be 42/11 + a + 6. Which is smaller: l or f?
f
Let t be 1/((-63)/(-84) + 2*76/(-160)). Is t <= 12?
True
Suppose -3*f + 15 = 0, -9*a - 3*f = -5*a - 51. Let s be ((-12)/(-24))/((-6)/a). Are s and -20 equal?
False
Suppose 13*f = -313 - 129. Let w be (f/(-1496))/((-2)/4). Is 0.2 equal to w?
False
Let n(o) be the third derivative of 5*o**4/24 + 23*o**3 - 8*o**2 - 3. Let u be n(4). Which is bigger: u or 156?
u
Suppose 5*r + r = 564. Suppose -r*l = -93*l. Let k be (-16)/(-72)*-6*(l + 1). Does k = 0?
False
Let x = 11609/54110 + -1/3865. Which is smaller: -18/23 or x?
-18/23
Let k(p) = -101*p + 29. Let g be k(5). Let n = g + 194. Let q = n - -2253/8. Is q smaller than 1/4?
True
Let c(j) = -2*j**2 + 64*j + 547. Let q be c(39). Which is smaller: q or -2/73?
-2/73
Suppose a = -3*p - 0*a - 4, 5*a = -20. Let d be 5 - 8 - p - 28. Is d bigger than -32?
True
Let w(s) = 2*s - 2. Let p be w(5). Suppose 0 = -0*k + 2*k + p. Let x = -3090 + 3086. Is x greater than k?
False
Let d be (-27)/(-15) + -1 - -1. Are d and 2 equal?
False
Suppose 0 = 11*q - 461 - 650. Suppose 102*m = q*m + 12. Which is greater: m or -1?
m
Let v be 1020/(-12)*(7 + 18/(-3)). Which is greater: -84 or v?
-84
Suppose -f + 2231 + 204 = -4*k, -2*f = 3*k - 4848. Is 2426 > f?
False
Let y = 9792.43 + -9815. Is y less than or equal to -0.2?
True
Suppose 0 = 4*y - 2*w - 17 + 5, 3*w = y - 13. Let k = 82.1 + -81.72. Which is smaller: k or y?
k
Suppose 0 = -2754*y + 2741*y + 1911. Is y greater than or equal to 144?
True
Suppose 9*w = 9809 + 19468. Suppose -21*x - w = 1451. Which is greater: x or -223?
-223
Let a be 735/(-6681) + (-4)/(-34). Suppose 13*w + w = 9*w. Which is bigger: a or w?
a
Suppose -5*n = 161 + 319. Suppose -5*k - 34 = 2*p, 5*p = -k - 3*k - 17. Let b be n/24*(-2)/k. Is -1/9 at most b?
False
Suppose 0 = -17*b - 19 + 2. Let y be (4/(-5))/((-2)/(-15)). Let q be y*(27/78)/3. Is q > b?
True
Let q(n) = -2*n + 35. Let u be q(18). Let d be -4*(15/(-12) - u). Let i = d - 1. Are -1/2 and i non-equal?
True
Let u = -553 - -553. Suppose -t - w = 1, -t + 4*w - 14 + 18 = u. Is -7/30 > t?
False
Suppose -39*u + 46621 + 4937 = 0. Is -0.1 <= u?
True
Let k(q) = 282 - 141 + 8*q - 155 + 5*q**2 - q**3. Let i be k(6). Which is bigger: i or 12/7?
12/7
Let h be ((7 + 261/(-36))*4)/((-37)/14). Which is greater: -0.059 or h?
h
Let s(h) = -6*h**2 + 2*h - 33. Let o be s(-7). Let v = o - -169. Does v = -171?
False
Suppose -22*i - 1423 - 22414 = 46145. Is i smaller than -3182?
False
Let l be ((-2)/2 - -2)*1. Suppose -3*b - 101 = -5*q, 134 = 4*q + 4*b + 34. Suppose 0 = 4*a - 2 + q. Is a != l?
True
Let x be ((-6)/(-9))/((-4)/(-234)). Let h(v) = -103*v - 167. Let p be h(-2). Are p and x equal?
True
Let i be 17 + -19 + 954/620. Let h = i + -6/155. Is -431 greater than or equal to h?
False
Let t = 133 - 138. Let n be 2/t*(-2139)/(-46). Is n < -20?
False
Let l(u) be the first derivative of -u**4/4 + 3*u**3 - 5*u**2/2 - 2*u - 3. Let h be l(9). Let t = 45 + h. Do -3 and t have the same value?
False
Let f = -0.26 + -0.02. Let x = 5.78 + f. Let v be (2/(-6))/(87/9 - 11). Is x at least as big as v?
True
Let x be -1 + (11/(-363)*6 - (-67264)/56925). Which is smaller: x or -0.1?
-0.1
Suppose -255 = 3*w - 3*i, 3*w = i - 0*i - 259. Suppose -787*p - 255 = -784*p. Is p not equal to w?
True
Suppose 149*p - 28 = 153*p. Let n be p - (-141)/21 - (0 + 0). Are -1.6 and n unequal?
True
Let k = -3825 + 3824. Which is greater: -52.6 or k?
k
Suppose 3*c = -3*k - 222, -5*c + k - 5*k - 366 = 0. Is -63 smaller than c?
False
Let t = -613 - -185. Let k = -427.65 - t. Which is smaller: k or -2/15?
-2/15
Suppose j = 4*q + 16, 3*q + 53 = -3*j + 26. Is -14/5 at least as big as j?
True
Let n(q) be the first derivative of 21*q**2/2 + 165*q + 39. Let g be n(-9). Do -13 and g have different values?
True
Let g = 74/3 - 27. Let y be (-15)/9 + ((-1)/3)/((-41)/82). Which is greater: g or y?
y
Let h be (-114)/(-144) - 2/3. Let n = -91.4 + 7.4. Let p = n - -81. Is h less than p?
False
Suppose -i + 1020 = -q, -5*q - 1393 - 3662 = 4*i. Is -1012 less than q?
False
Suppose 741*g - 734*g - 84 = 0. Let a be (3/g)/(22*(-6)/(-192)). Which is bigger: -1 or a?
a
Let g be 0/(-2) - (-26)/13. Suppose 5*j + 50 = t + 2*t, 0 = -2*t + g*j + 40. Suppose 5*f = -0*f - t. Is -6 smaller than f?
True
Let i = 1574/143 - 116/11. Let m(f) = f**3 - f**2 - 3*f + 7. Let c be m(2). Let h(j) = -j + 5. Let l be h(c). W