 = -26*i + 58. Let z be m(2). Is z equal to -8?
False
Suppose -5*l = -5*w - 0*w - 20, -5*l + w = -8. Which is smaller: 14/31 or l?
14/31
Let z(l) = -l**2 + 27*l + 76. Let y be z(0). Let w be 2 - (-73 + (0 - 1)). Are w and y equal?
True
Let l = -824813/181 + 4557. Is l < 0?
False
Let f(z) = z**3 + 8*z**2 + 8*z + 7. Let y be f(-7). Suppose -5*c + 27 = 4*c. Suppose r = 7*x - c*x - 23, 4*r + 26 = 5*x. Is x greater than y?
True
Suppose -o - 5*v + 27 = 3*o, 3*v - 15 = -2*o. Suppose -5*r + 15 = -o*h - 2*h, 4*r + 16 = -3*h. Is 4/29 > r?
True
Let r = -18 - 15. Let f = 765 - 799. Is f at most as big as r?
True
Let i = -2641 + 2643. Which is smaller: -408 or i?
-408
Let d be (26/(-10) + 3)*-45. Let i = d + 27. Suppose -3*u + 0 = -i. Is u > 0?
True
Suppose 1857 = 23*q - 121. Are 88 and q nonequal?
True
Let a = 41709/301 - -252/43. Let j = -145 + a. Let d be -6 + 2 - (-5 - (-10)/5). Which is bigger: j or d?
j
Let s(o) = -o**2 - 15*o + 2. Let j be s(-15). Suppose 5 = l + 4*q, -5*l - j*q + 10 = 3. Let b = -19 + 19. Which is smaller: l or b?
b
Let x = 668 + -651. Let b = 23 + -40. Let h = b + x. Is h equal to -2?
False
Let c = 1 + 10. Let n = c + 0. Is 2 equal to n?
False
Let w be (15*403/(-78))/((-1)/(-2)). Which is smaller: w or -158?
-158
Let a = -351 + 216. Let p be (-1)/((a/12)/(-5)). Do p and 0 have the same value?
False
Let h = 1058 + -1652. Is h bigger than 1?
False
Let s = -25 - -22. Let q be (0 + (-4 - s))/((-5)/100). Which is smaller: 23 or q?
q
Let m(v) = 3*v**2 - 5*v - 5. Let q be m(5). Let c be 2/(-10) + 6/q. Is -1 not equal to c?
True
Suppose -5*r + 4*u = -24 + 16, 0 = u + 2. Let s be 29/(-225) + -2 + 2. Let j = -6/25 - s. Which is greater: j or r?
r
Let j(x) = -20*x + 24. Let b be j(-14). Is b less than 302?
False
Suppose 53 = -5*p - 12. Suppose -k + 4*h + 2 = 5, h = -k - 13. Are k and p unequal?
True
Suppose 5*b - 4*t + 11 = 3, 5*b + 4 = 2*t. Is b >= 3/80?
False
Let j(q) = q**3 + 9*q**2 - 10*q + 20. Let x be j(-11). Is -114 <= x?
True
Let h be (-25)/(-52) - (-1)/(-2). Is 1 at least as big as h?
True
Suppose p = 2*a - 9 - 2, -a = p - 7. Suppose 3*x - 2*u - 496 = -0*x, u - 805 = -5*x. Let r be (-3)/(x/102)*(-3 + 0). Is a != r?
True
Let p be 21/(-56)*(-32)/24. Is 295 > p?
True
Let r(h) = h + 2. Let y be r(4). Suppose 2 = -i + y. Suppose 2 = -2*w + 7*w + 2*s, -i*w - 12 = 5*s. Which is smaller: 3/4 or w?
3/4
Let i(d) = d**3 - 5*d**2 + 8*d - 4. Let u be i(2). Which is greater: 12/37 or u?
12/37
Let t be (-27)/(-18)*(-4)/(-6). Let s = t - 7. Let u(g) = -g**3 - 7*g**2 - 8*g - 2. Let y be u(s). Is y less than 7?
False
Let x(v) = -v**3 - 8*v**2 + 8*v - 8. Let o be x(-9). Suppose -l + 3*p = 2*p - o, l - 2*p - 3 = 0. Which is smaller: l or -7?
-7
Let b = -8 + -4. Suppose 0 = -2*t + 24 + 38. Let y = t + -43. Is y at least b?
True
Let m = -433 + 611. Is m at most as big as 3/4?
False
Let d = -830/9 + 92. Let o be 3 - ((-20)/(-24))/(-5)*9 - 3. Is o at least d?
True
Let d = -1.7 - -15.7. Let b = -15 + d. Do -3/5 and b have different values?
True
Suppose c = 3*c - 16. Let t be 4*2/c*-5. Suppose -5*y - 1 - 3 = 4*u, -4*y - 5*u + 4 = 0. Is t <= y?
True
Let f = 1138/7 + -185501/1141. Is 1 less than f?
False
Suppose -5*l - 28 = -b - l, 3*b = -4*l + 116. Let a = 442 + -406. Is b at least as big as a?
True
Let r be 6/(-10) + (-4 - (-132)/20). Which is bigger: 32/11 or r?
32/11
Let r be 3458/(-357) - -9 - (-2)/6. Are 1/4 and r non-equal?
True
Let j(l) = l**3 - 16*l**2 + 13*l + 20. Let t be j(15). Let h be ((-30)/(-40))/(t/8). Is h smaller than -2?
False
Let a = -0.25 + 0.15. Suppose 0 = 2*w - 3*d - 17, -w + 13 = -6*d + 3*d. Let l be w/39*(-21)/(-14). Is l >= a?
True
Suppose -q = -i + 27, -3*q - 17 = 4*i - 5*i. Is 33 at least as big as i?
True
Let f(w) = 8*w - 93. Let h be f(12). Let y = -765 + 4607/6. Is h equal to y?
False
Let b = -0.28 - -3.28. Let y be (0/2 - 2) + 688/387. Which is smaller: y or b?
y
Let y(t) = 2*t**2 + t + 9. Let o(b) = -3*b**2 - b - 8. Let k(u) = 3*o(u) + 4*y(u). Let x be k(0). Which is greater: x or 10?
x
Let w = 1167.13 - 1179. Let y = w - 0.13. Let n = -11.7 - y. Is -1 > n?
False
Let f be (-1 - (-1)/2)/((-40)/(-120)). Suppose -5*n + 5*c + 4 = -21, 0 = -2*n + 4*c + 20. Are n and f equal?
False
Suppose 0 = 5*l + o + 268, o = 16*l - 13*l + 156. Is -311/6 equal to l?
False
Suppose 2*f + 3*j = 9, 0 = j + 1. Let c = 11 - f. Let l = c - 12. Is l smaller than -7?
False
Let z = -2495/28 - -229/4. Which is smaller: -31 or z?
z
Let p = -0.031 + 40.031. Let n = p + -35. Is 0 != n?
True
Suppose 49 = 2*r + 2*h - 47, 2*r + 5*h - 84 = 0. Let p be (r/(-126))/((-20)/(-15)). Let u = p - -163/798. Which is smaller: 0 or u?
u
Let s be 2/(-5) + (-2 - -3). Suppose 3*f = 5*o + 6, 0*o - 5*o + f = 2. Suppose 3*v - 2*v = o. Is s less than or equal to v?
False
Let y(p) = p**2 - 6*p + 2. Let c be y(6). Suppose -x = -0*x + c. Let g = 1 + x. Which is smaller: 2/13 or g?
g
Let x = 0.205 + 19.725. Let o = x + -20. Let f = -0.17 - o. Are f and 0.4 unequal?
True
Let f = -2.654 + -0.346. Is -9 equal to f?
False
Let a be ((-24)/45*-55)/(4/6). Which is smaller: a or 46?
a
Suppose 2*j + 16 = 4*l, 2 = -0*j + j. Suppose -l*r + 6 = -4. Let x be -2*(15/(-6) - -2). Are r and x unequal?
True
Let a be 8/(-12)*6/(-4). Is -134 at most as big as a?
True
Let h = -33 - -30. Is -9 <= h?
True
Let t = -51 - -57. Suppose -4 + 2 = z + 2*m, 2*z = -5*m - t. Which is greater: 12/5 or z?
12/5
Suppose -5*n + 25 + 0 = 0. Suppose -3*r = n*u + 2*r + 95, -4*u + 5*r - 76 = 0. Is -21 < u?
True
Let j be 3/(21/28) - 4/2. Let y = -4.9 + 6. Let r = 7.9 + y. Do j and r have the same value?
False
Let l = -0.081 - -0.271. Let r = 0.15 - 0.06. Let y = l - r. Is y at least as big as 0.03?
True
Let u be 2/(-6) - 357/9. Let x be (-1 + 3)*(-5)/u. Let z = 8.3 + -7.3. Are z and x non-equal?
True
Let i be 42/(-22) - (-2)/2*2. Let b(s) = s**3 - 2*s**2 - 3*s + 1. Let u = -13 + 16. Let q be b(u). Is i bigger than q?
False
Suppose 0 = 2*n + 4*p - 6, 6 = -5*n + 2*n - 3*p. Let t = n + 6. Is 2 equal to t?
False
Let w(q) = -2*q - 1. Suppose m = 4*k, -2*k + 2*m - 3*m = 0. Let s be w(k). Is 0 at least as big as s?
True
Let y be 1/((873/(-2))/(-9)). Are 0 and y non-equal?
True
Suppose -34 + 4 = 5*c. Let b be c/(2 + -4) - (-28)/(-8). Let w = -2 + 3. Is b less than w?
True
Suppose -5*r + y + 59 = 0, 6*r + 4*y - 40 = 3*r. Are 66/5 and r non-equal?
True
Let w(p) = 2*p - 9. Let i be w(6). Let u be 18/(-14) - (-14 + 9). Is i at least as big as u?
False
Suppose 12*l = 5*l - 21. Does -54/5 = l?
False
Suppose 0 = 2*v + 2*p - 10, 2*p + 5 = -4*v + 3*p. Suppose 3*u + 4*x + 5 = 0, -4*x - 7 = -v*u + u. Suppose -21 = -5*i - u. Which is bigger: i or 18/5?
i
Let q be (-2017699)/1417 - 1/13. Which is bigger: q or -1423?
-1423
Let k = 429 + -1282/3. Suppose -2*i + 2*h = 0, -1 = -3*h + 2*h. Do k and i have different values?
True
Let z = -594 + 589. Is z < 9?
True
Suppose -3*t + 3*s - 42 = 0, 12 = s + 3*s. Let z be (-10)/(-45)*-3*24. Are z and t non-equal?
True
Let b be 4/(-10)*1 - (-256)/(-210). Are b and -3 nonequal?
True
Let d(f) = f**3 - 24*f**2 + 32*f - 152. Let k be d(23). Are k and 56 equal?
False
Suppose -4*p = 4, -2*z - 4*p = 2*z + 36. Let o = z + 0. Let g be (6/o)/(49/28). Is g bigger than 0.1?
False
Suppose g + 0 = -5*y - 3, 0 = 4*y - 2*g + 8. Let x = 108 - -21. Let u be (-3)/2 + x/66. Which is smaller: u or y?
y
Suppose 7*a - 2*v = 2*a + 11, 3*v + 13 = 4*a. Let p be ((-72)/16 - -5)/(a/(-2)). Is p != 0?
True
Suppose -5*o + 0*o + 184 = -n, 0 = -3*n + 3. Which is bigger: o or 39?
39
Let h(z) = -z**3 - 13*z**2 + 6. Let d be h(-13). Let w(p) = -2*p**2 + 12*p - 3. Let n be w(d). Is -1 greater than n?
True
Let s(v) = v**2 - 2*v - 8. Let m be s(4). Suppose 0 = -i + 4, -4 = -3*r - m*r + 2*i. Which is greater: 5/2 or r?
r
Let w be ((-30)/(-88))/((-111)/24 - -5). Which is smaller: 1 or w?
w
Let i(a) = -a**2 - 2*a + 25. Let f be i(9). Let u be (-1 + -1)/(300/f - -4). Which is smaller: u or -2/7?
-2/7
Let q be 26/(-8) + (-14)/(98/(-21)). Which is smaller: q or -7?
-7
Let m(z) = -2*z - 9. Let k be m(-7). Suppose -k*x + 35 = -4*t, -t - 14 = 7*x - 3*x. Let u be -3*10/105 + 68/(-7). Is u smaller than t?
False
Let v = -16 - -24. Let b be (v/10)/(9/(-45)). Which is smaller: -2 or b?
b
Suppose 257 = 12*r - 19. Which is smaller: r or -3?
-3
Let w = -53 - -36