3*y + 2. Let a be l(-8). Suppose -v + a = -3*v. Does v = -53?
True
Let y be (-8 - -11)/((-1387)/57). Are y and 0 unequal?
True
Let k(x) = -x - 16. Let s(n) = 17. Let a(o) = 4*k(o) + 5*s(o). Let l be a(6). Let b be (-19 - -16) + (-13)/l. Which is smaller: 0 or b?
0
Let m(o) = o**2 + 4*o + 2. Let f be m(-4). Suppose 443*k - 445*k - f = 0. Is k less than or equal to 3/122?
True
Let x = -80 - -57. Let h = 33.86 + -57.06. Let t = h - x. Is t <= 25?
True
Let r be 116/(-36) + 3 - 546/(-27). Let x = 16 - r. Let j be -2 + (x - -4 - -4). Which is smaller: 5/8 or j?
5/8
Let p = 18 + -13.8. Let a = 34.8 + p. Let r = a + -37.8. Do -1 and r have the same value?
False
Let j = 16034 + -16062. Which is smaller: j or 194?
j
Let c be 1/(-1622)*(-27)/((-81)/(-6)). Which is bigger: c or 1?
1
Let q(n) be the third derivative of -n**5/60 + 7*n**4/12 - n**3/6 + 4*n**2. Let a be q(13). Let u be ((-77)/385)/((-2)/70) - -5. Is u <= a?
True
Let n = -459 - -781. Let s = 4213/13 - n. Are 2 and s equal?
False
Let q = -77 + 65. Let j be (0 - q/72)/(2/6). Is 16 at least j?
True
Let o = 52 + -382. Let x = 3627/11 + o. Is x at most as big as 1?
True
Suppose 5*h = 3*w + 12, -17*h - 4*w - 16 = -16*h. Do h and 21/86 have the same value?
False
Let s(j) = 8*j**2 + 6*j + 24. Let q be s(12). Let v be (q/(-80))/(2/5). Is v equal to -40?
False
Let a = -1708 - -1606. Are -25 and a equal?
False
Let n(s) = 2*s**2 - 15*s - 187. Let b be n(-28). Let w = b + -1798. Suppose 0 = 3*v + 2*v + 35. Is v != w?
True
Let g be 1342/2233 + 6/(-14). Let f(j) = 2*j - 11. Let h be f(6). Is h < g?
False
Let v be 5/30 - 17/(-6) - -480. Let k = v + -23183/48. Suppose -3*w = -4*w - 1. Which is bigger: w or k?
k
Let z = -24 + 19. Let c be z*((-162)/(-30) + -5). Which is smaller: c or -56/19?
-56/19
Let k be (-153696)/990 - 48/(-22). Which is bigger: k or -154?
k
Let r = 2.1664 + 0.0436. Let g = 2.28 - r. Which is greater: g or 0.06?
g
Let z be (-55)/5214*6963/55. Is z at most 0?
True
Let o = 2124 + -17055/8. Which is smaller: o or 1/4?
o
Suppose -4*l = 5*u + 16, l + u = 2*u - 4. Let w be (4/6)/(6/504). Let s be (-40)/7 + (-16)/w. Which is smaller: l or s?
s
Let c be (-2)/7 - 14/(-49). Suppose -6*j + 0*j - 24 = c. Is -22/7 at least as big as j?
True
Suppose -16*n - 64 = -18*n. Suppose -n - 28 = -3*r. Suppose -2*m = -6*m - r. Which is bigger: m or -16/3?
m
Let q(s) = s**3 + 12*s**2 + 10*s - 9. Let v be q(-11). Let j = 440 + -447. Let g be ((-190)/133)/(1/j). Is g at least v?
True
Let q(w) = -2*w - 1. Let f be q(6). Suppose -6*h - 267 = 3. Let o be (48/(-20))/((-9)/h). Which is bigger: f or o?
o
Let q = 296 + 2327. Let l be q/(-129)*6*2. Which is greater: l or -243?
-243
Let t = 25245 - 706863/28. Which is smaller: t or -3/17?
-3/17
Let i be -2 + -5791 + 13 + -1 + 6 + -2. Is -5779 less than or equal to i?
True
Let a(v) = -110*v**2 + 4*v + 8. Let s be a(1). Is -113 at most as big as s?
True
Let r = -0.00514 + -0.19486. Are r and 1.014 equal?
False
Let k = -251 - -253. Let w be (136/(-20))/(126/(-35)). Which is smaller: k or w?
w
Let c = 1534.2 - 1568.2. Which is smaller: c or -11?
c
Suppose -6*w + 24 = 2*w. Suppose -4*r + w*m - 4 = -m, -2*m - 7 = -5*r. Suppose -5*h - f = -141, -3*h + 2*f + 79 = -r*f. Which is greater: h or 27?
h
Let g(s) = -4*s + 1. Let j be g(-4). Let q be -6*-28*(-3)/(-9). Suppose 4*h - x - 62 = 0, h = -3*h + 4*x + q. Which is bigger: j or h?
j
Let o = 7095 + -7083.8. Is 2/41 >= o?
False
Let u = 54.01 - 53.71. Are u and 118 nonequal?
True
Let m = -0.30146 - -26.30146. Which is smaller: m or 2.03?
2.03
Let d be (0 + -2)*(-3)/6. Let s be (d - (-92)/(-86))*1. Let f be 210/(-90) + 8/6. Do f and s have different values?
True
Let c = 184 - 872/5. Let m = 24 + -19. Suppose y + 10 = j, j - m*y + 40 = 6*j. Is j at least as big as c?
False
Let r(j) = -145*j + 33990. Let t be r(234). Let h = 111 + -50. Do h and t have different values?
True
Let h = 421/32016 - 5/1104. Suppose -3*p - 10 = 2*p, -3*s - 3 = 3*p. Is s at least h?
True
Suppose -p = 2*f + 2526, 0 = -75*f + 73*f - 4*p - 2514. Is f less than -1268?
False
Suppose -7*j = -2*j - 175. Suppose -5*m + 17*m = -1032. Let c = -52 - m. Which is bigger: j or c?
j
Let a = 16814/83 + -1028899268/5079019. Is -1 greater than a?
False
Suppose 0*v - 3*v + 19 = y, -5*v - 5*y = -15. Let n = 8 + -5. Suppose -n*a + 5*q + 31 = 0, q - v = -2*a - 2*q. Which is bigger: a or 3?
a
Let y = 5533 - 38729/7. Is 1/37 >= y?
False
Suppose 11*c = -274 - 474. Let n = c + 64. Let y be 3 - ((-5)/10)/(1/n). Which is smaller: y or -1/29?
-1/29
Suppose 4*a = 2*w + 124, 2*a + 43*w - 54 = 40*w. Suppose a*s - 94 + 4 = 0. Which is smaller: s or 25/11?
25/11
Let y(l) = l**3 - 4*l**2 - 5*l + 6. Let i be y(6). Let m be 34*2/(-18) + (-6)/27. Let h be (-2 - 22)/m + 41. Which is greater: h or i?
i
Let t = -217.9433 + -0.0567. Let i = t + 220. Is i < -2/19?
False
Let p be -1 - (-426)/87 - (3 + 4). Which is bigger: p or -3?
-3
Suppose -3 + 2 = 3*g - 2*x, -4*g - 4*x = 28. Let z be 1288/21 - 2/g. Suppose 6*h + 88 + z = 0. Which is greater: h or -27?
h
Let y = -7316 + 7317. Is y smaller than 3/12755?
False
Let h be (-1)/(-6) + ((-1263)/(-126))/(-1). Let s = 193/21 + h. Let u = -4.1 - -0.1. Which is smaller: s or u?
u
Let t(m) = -2*m**3 + 3*m**2 - 4*m - 4. Let s be t(-3). Suppose 3*x = 8*x - 15, -4*f = -5*x - 77. Suppose f - s = 2*b. Which is greater: b or -32?
-32
Let t = -72.68 + 71. Let q = 0.02 - t. Let r = -6.7 + q. Which is smaller: 1/5 or r?
r
Suppose -74 = -r + 3*r - 4*x, -2*r - 2*x - 68 = 0. Let z = 132 + -1954. Let g = z + 1822. Is g > r?
True
Let g(a) = 2*a + 53. Let u be (36/(-4))/((-1)/(-3)). Let n be g(u). Which is greater: n or 189?
189
Let i be 0 - 5/20 - 168/(-32). Suppose -2*g = g + i*g. Which is bigger: -4/117 or g?
g
Let b = -0.765 - 39.335. Let t = b + 40. Are t and -3/28 unequal?
True
Suppose -3*a - w - 772 = 0, -2*a + 10 = 2*w + 522. Do -257 and a have different values?
True
Let i = 150 - -156. Let a = -4885/16 + i. Is 2 >= a?
True
Let y be 0 + -3 + 1 + 10*(-48)/608. Is -3 at least as big as y?
False
Let t = -80/43 + -3175/258. Suppose 97*x + 329 + 932 = 0. Is x <= t?
False
Suppose 0 = -4*g + 4*c - 8 - 12, 5*g + c - 5 = 0. Let y be 1*(1 - 5 - 441/(-111)). Which is bigger: g or y?
g
Let i be 2*1 - (-6 - -3)/3. Let h = 9 + -16. Let q = h + 14. Which is smaller: i or q?
i
Let m be (2 + -5)/((-9)/12). Suppose -172 = -m*k - 236. Do -11 and k have the same value?
False
Suppose 744 = -u + 12*b - 7*b, -2*u + b - 1452 = 0. Which is smaller: -722 or u?
u
Let t = 0.02 - -0.08. Let l = -30 + 21. Let s be (-305)/5 + l/(-3). Which is greater: t or s?
t
Let u = -906 + 906. Are -645 and u unequal?
True
Let o(g) = g**3 - g**2 - 24*g + 19. Let w be o(5). Are -23/136 and w non-equal?
True
Let p = -12046932/35 + 2412056/7. Let z = -1734/5 + p. Is z greater than 34?
True
Let z(n) = -27*n + 9. Let s be z(-6). Let i be (20/(-30))/((-6)/s). Suppose -3*o = -8*o + 105. Is i != o?
True
Let k = -6140 - -6039. Is k not equal to 8?
True
Let d = -7664 + 7663.95. Is 2/119 smaller than d?
False
Let m(z) = -7*z - 1. Let l(j) = -8*j - 1. Let c(n) = 3*l(n) - 2*m(n). Let y be c(0). Is y at least as big as -2/59?
False
Let k = -35003/2 - -17511. Suppose -3*r + 45 = 2*r. Is r >= k?
False
Let k = -19199 - -10617234/553. Let f = -3/158 - k. Is f >= 0?
False
Suppose 18 + 20 = 4*r - 3*q, -28 = -3*r + 2*q. Suppose 3*y + 15 = -4*v, 4*v = -5*y - r - 17. Is -8 not equal to y?
True
Suppose -4*x = -3*x. Let t = 1 + x. Suppose -3*h = 5*b + 3, 3*h + t + 2 = b. Is 2.1 > h?
True
Suppose 3*w = -0*r - 3*r - 3, 5*r - w = 19. Let y be 1/r - 440/(-120). Is y < 35/11?
False
Suppose -38*n + 9*i = -38*n - 108, -2*i = -4*n + 28. Let b = 0 + 0. Which is greater: b or n?
n
Let u(p) = 4*p**2 + 3*p - 1. Let z be u(2). Let t(i) = i**2 - 2*i - 6. Let j be t(5). Suppose -66 = -12*w + j*w. Is w at most as big as z?
False
Let p = 232 - 1819. Which is smaller: -1588 or p?
-1588
Let u(r) = -r**3 - 2*r**2 + 6*r - 7. Let l be u(-5). Let c = 42 + -40. Suppose -5*z + 3*z - v + 76 = 0, -z = -c*v - 33. Which is smaller: z or l?
z
Let z = 5795/2 - 712801/246. Let y = 292/3075 - z. Suppose 0 = 8*v - 3*v. Is v smaller than y?
True
Suppose -f - 210 = -6*f. Suppose 0*y = 3*y - f. Let b = y - 44. Is b less than -31?
False
Let r = 57196534/189 - 302630. Let q be