w + 886. Let q = 1457 + -1353. Let k = q + w. Are k and -76 non-equal?
True
Let l = 24 + -23. Let s be (l + -4)/(2/(-2)). Suppose 4 + 3 = 4*d - 3*k, -s*d + 2*k = -5. Which is greater: -2/161 or d?
d
Let u be (-20)/(-66) + 2/(-6). Suppose 2*p + 265*v - 16 = 263*v, -5*p + 4*v - 32 = 0. Which is smaller: p or u?
u
Let x be (-622)/(-836) - 122/(-2684). Which is greater: x or 2?
2
Let s be 6*((-1)/(-5) - (-7)/(-10)). Let k = -1015 - -1019. Which is greater: k or s?
k
Suppose -539*g + 547*g = 680. Suppose 6*a - g = 323. Is 66 equal to a?
False
Let c be (-4)/(-1) - (-37 - -36). Suppose 2*u = -4*y - y - 1, -c*u = y - 9. Is y not equal to 2/343?
True
Let s = -60071 - -60071.03. Let f be ((-8)/66)/((-8)/(-12)). Which is greater: f or s?
s
Let v = 30004 - 90011/3. Let k = 14.942 - 0.142. Which is bigger: v or k?
k
Let i be 40/20*(0 - (-3352)/20). Let h = i + -323. Which is smaller: h or 13?
h
Suppose -5*p = k - 11773, -106*p + 103*p + k = -7051. Which is smaller: 2347 or p?
2347
Let n = -0.1785 - -1.6785. Suppose 6 = x + 18. Which is greater: n or x?
n
Suppose d = 3*d - 154. Let g = d - 227/3. Let a(u) = 154*u - 1386. Let k be a(9). Which is smaller: k or g?
k
Suppose -p + 0*p = 14. Let u be 2/25 - 45264/3300. Is p at most as big as u?
True
Let d be (-3591)/666 + -6 + (7 - (-12)/3). Is d <= 1?
True
Let f = -550 + 309. Let h = -226 - f. Which is greater: -2 or h?
h
Let c be (-4647)/3201*-2 - 4/22. Let f = c - -26043/6790. Let w = f - 77/10. Are -1 and w equal?
False
Suppose 7*s = 2*s + 35. Suppose 0 = -s*l + 114 - 135. Suppose -5*q + 15 = 2*g, 5*g + 2*q - 6 = -0. Which is bigger: g or l?
g
Let i = -462 + 465. Suppose -i*n + 89 = -2*d, -3*d + n - 132 = -2*n. Are -40 and d unequal?
True
Let a = 90 + -48. Let h = 11875 + -11917.1. Let s = a + h. Is s at least as big as -88?
True
Let b(y) = -2*y**2 - 110*y - 77. Let h be b(-53). Let d = 679/5 - h. Which is bigger: d or 137?
137
Suppose k = 3*m - 1, -1 = -2*k + 8*m - 5*m. Let c be (k/(-3 + 4) - 3)*-53. Which is smaller: 54 or c?
c
Let x = 1260 + -1227. Let y = 0.02 - -0.68. Let j = -1.7 + y. Does x = j?
False
Let a = 373 - 211. Let y(t) = -28*t - 1278. Let b be y(-48). Suppose -b = -6*m + a. Which is smaller: m or -2/3?
-2/3
Let b(x) = -2*x + 8*x**3 - 5*x**3 - 12*x**2 - 2*x**3 + 26. Let p be b(12). Suppose 4*l - 3*l = p. Is -21 less than l?
True
Let i = -24/47 + -18/517. Let a = -83 + 54. Let g = -30 - a. Which is smaller: g or i?
g
Let m = 1508571148/24725 - 61014. Is 0 greater than or equal to m?
True
Let o(g) = 42*g + 2362. Let v be o(-40). Which is smaller: v or 678?
678
Let f = -3.2 - -3. Suppose 3*k + 3*i + 157 = -500, -k + 2*i = 228. Let o be (-2 - -1)/2 - 4551/k. Is f > o?
False
Let r = 3 - 4. Suppose 3*f + 2*f = 4*f. Suppose h + h + 10 = f. Is h != r?
True
Let y = 95.83 + -103.83. Let h = -4 - -6. Which is bigger: h or y?
h
Let o = 1315/2 + -6533/10. Which is greater: -34 or o?
o
Suppose -270 - 658 = -4*x. Let g = -1/30682 + 36757041/153410. Let s = x - g. Does s = -7?
False
Suppose 5*x - 1655 = 5*s, 14 = 3*s + 2. Is 317 < x?
True
Let l = -240.1 - -121.8. Let v = 255 + -137. Let f = l + v. Is f at least 10/11?
False
Suppose -5*a - 340 = 3*l, 7*a = 3*l + 2*a + 290. Let r = 103 + l. Which is smaller: r or -2/45?
r
Let a(r) be the second derivative of 0 + 5/6*r**3 - 4*r + 24*r**2. Let d be a(-11). Which is bigger: d or -36/5?
d
Suppose -305 = 8*m + 175. Let u be ((-318)/m - 8)/((-30)/16). Which is greater: 2 or u?
2
Let k = 2486513/310 + -8021. Is k at least as big as -3/8?
True
Let o be 1*((-236)/60 - -2) + 1. Let b be 2*9/(-18)*1. Is b < o?
True
Let a be 934 - (4/46 - 128/1472). Which is bigger: a or 2801/3?
a
Let y = -55 - -54.569. Let l = 4.569 - y. Which is greater: l or -4?
l
Suppose 0 = 5*q + n - 4 + 1, 0 = -4*q + 5*n + 14. Let g be 4/6 - q*8/12. Which is greater: 1/248 or g?
1/248
Suppose 2*a - 5*r = -7, 2*a + r + 1 = 12. Suppose a*c = 345 + 87. Suppose -10*l + l = c. Is l at most as big as -13?
False
Let h = 11.86 - 567.86. Let n = 1805 + -1806. Is h equal to n?
False
Let z = -20.676 - -20.6. Let k = 0.116 + z. Is -15 less than or equal to k?
True
Let d be (2/1)/((-48)/(-2616)). Suppose d = -6*p + 283. Suppose 6*o - p = -77. Do o and -8 have the same value?
True
Suppose -4*w - 72 = -5*a, 3*a - 30 = -2*w - 0*w. Let c be a/54 + 222/(-27) + 4. Is c > -1?
False
Suppose -a = -2*b + 2*a - 22530, -a - 11260 = b. Is -11261 smaller than b?
False
Let n = 230105 + -230418. Suppose 2 = -4*t + 6. Is n at least as big as t?
False
Suppose 44*t = 4*t - 112346 - 76814. Is -1 at most t?
False
Let o = 164.6288 + 1.3712. Do o and 59 have different values?
True
Let f(c) = -4*c**2 + 125*c - 5. Let q be f(18). Let b = 824 - q. Is b at most as big as -128?
False
Let r(b) = 36*b + 185. Let u be r(-5). Let a(q) = 2*q + 6. Let m be a(-4). Let h be (-2 - u/m)*12. Do 19/4 and h have the same value?
False
Suppose 0 = -3*r + 43 - 91. Is r at least as big as -3?
False
Let c be 4*(11 + 196/(-18)). Which is bigger: c or 103?
103
Suppose 3 - 4 = -w, 0 = 5*m + 3*w - 3. Suppose m = 3*n - 4 - 8. Let y = -528 - -15310/29. Is y less than n?
True
Let f(p) be the second derivative of -2*p**3/3 + 3*p**2 + p. Let y be f(-11). Suppose 13*n + y = 18*n. Is n at most 11?
True
Let v = 0.6519 + 0.3481. Is -52 bigger than v?
False
Let n be ((-177)/(-3))/((-4)/(-32)). Suppose 11*b - n - 23 = 0. Are b and 45 equal?
True
Let o be ((-2989)/8253)/((-68)/(-12)). Let b = 2/393 + o. Suppose r + 0 = -1. Which is greater: r or b?
b
Let h = 178.2 + -178.3546. Let m = -0.0454 + h. Let q be (-1 - (-5)/2)*-8. Is m > q?
True
Let z = 4 - 3. Let s = 4686 - 51544/11. Which is bigger: z or s?
z
Let s = 24507/124 + -789/4. Suppose 46*m - 51*m = 5. Which is bigger: s or m?
s
Let p be ((-18)/45)/(2/(-60)). Let a(x) = x**3 - 11*x**2 - 11*x - 6. Let i be a(p). Suppose -i*h = -11*h - 15. Is h at most as big as 0.2?
True
Let g = -628 - -536. Let a = g + 735/8. Which is smaller: 0 or a?
a
Suppose -108*i + 190587 + 196917 = 0. Which is smaller: 3589 or i?
i
Let j = -354 - -353. Is j smaller than -3/5806?
True
Let k = 4178 + -4177. Which is smaller: -7/1699 or k?
-7/1699
Let n = 0.0023 + 0.8977. Does n = -0.88?
False
Let a be 0/(-3 + 10 - (-27)/18*-6). Which is smaller: a or 14/795?
a
Let s be 4 + (0 + -2 - -2). Suppose -s*a + 39 - 103 = 0. Let x be (-42)/(-21) + a/7. Does x = -30?
False
Let v = -3753.1 + 3507. Let n = -246 - v. Is 1/12 greater than n?
False
Let s be (6 - 10)*9/8. Let j = 7 - 2. Let g = j - 9. Are g and s non-equal?
True
Suppose 170 - 53 = 9*m. Let t be ((-810)/21)/(m/(-7)). Which is greater: 0.1 or t?
t
Let w(y) = -2*y**2 + 104*y - 1353. Let d be w(26). Do -12/233 and d have different values?
True
Let s be -16*(4 + 990/72). Is s at most -9?
True
Let h = 130 - 130. Let n be (3 + (-34)/6)*-3. Let k be 0 - ((-12)/n + 1). Which is smaller: h or k?
h
Let c = 84 - 84. Let a(w) = -w**3 - w**2 + 14*w + 12. Let r be a(-5). Let p = -39 + r. Which is bigger: c or p?
p
Let s(i) = 11*i**2 + 208*i - 18. Let q be s(-19). Let a = 2 + -10. Let u be (-9)/2*a/6. Do q and u have different values?
True
Let i be -262 - (-1 - 162/18). Which is smaller: -2013/8 or i?
i
Suppose 5*k + 132 = 6*k - 5*q, -3*k + 386 = -5*q. Let c = 108 - k. Which is smaller: c or -23?
-23
Let l(j) = -314*j + 16. Let m be l(-7). Suppose -m + 234 = -12*h. Which is smaller: 166 or h?
h
Let w be (1 - -1) + 21/1. Suppose 105 - 86 = -2*g - 5*y, 4*y + 17 = -g. Suppose -1 = -g*m + w. Which is smaller: 3 or m?
3
Let y = 333 + -229. Let r = 105 - y. Does r = 34/29?
False
Suppose 5036 = -7*a + 5260. Is a > 18?
True
Let c be (-8 - (-570640)/71328)/((-45)/(-12)). Are 1 and c equal?
False
Let n(g) = -g**2 - 6*g - 3. Let a be n(-5). Let w = 159495 - 159475. Which is smaller: a or w?
a
Let i = -5.8 + 3.7. Let r = 0.007 - -1.193. Let d = r + -2.2. Which is smaller: i or d?
i
Suppose -22 - 48 = -5*a. Suppose -21 = -2*w - 5*x, 5*w + 2*x - a = 7. Suppose w*y + 5*b = 65, y - 3*b + 2*b = 11. Which is smaller: y or 13?
13
Let o(m) = 29*m + 7. Let y be o(-5). Let q = 154 + y. Suppose -3*c = -k + 4, -2*k + 3*c + 35 = 6*c. Is k greater than or equal to q?
False
Let t(l) = 2*l**3 + l**2 + l. Suppose -10*f - 45 = -13*f. Let h(z) = z - 16. Let x be h(f). Let v be t(x). Is v less than or equal to -2?
True
Suppose 3124 = 16*t -