 15*l = -10*l - s, 0 = 3*p - 4*l + 26. Which is smaller: z or p?
p
Suppose -4*g + n + 0 = -4, -4*g - 2*n = -16. Suppose -g*y + 8 = -u, 7*u - 2*u + 51 = -y. Let q(m) = m**2 + 10*m - 12. Let i be q(u). Is -8 >= i?
True
Let s be (-2)/14 - (-11490984)/2898. Is 3966 greater than or equal to s?
True
Suppose -164*t + 237*t = 37303. Are 510 and t unequal?
True
Let r = -5769209/74 - -77965. Is r at least 3?
False
Let b = -27643/85 - -47769927/146965. Let g = -1800 - -239402/133. Let a = b + g. Is a equal to 0.2?
False
Suppose 0 = -9*i + 2 + 7. Let p = -362 + 257. Let d be (-1)/(-10)*4 - (-72)/p. Which is bigger: i or d?
i
Let v(a) = 347*a + 443. Let k be v(-18). Which is bigger: -5804 or k?
k
Let b be (-6 - -16) + -2 + -3. Let u(z) = -30*z + 151. Let y be u(b). Which is greater: y or 1/322?
y
Let y be 1/2*1*6. Let w = -525 - -255. Let s = w + 273. Is y < s?
False
Let d = 78 - 69. Let q be (d + 592)/(39/(-12)). Let c = q + 185. Is -1 != c?
True
Suppose 0 = 128*h - 1397 + 1397. Is -3/1621 < h?
True
Suppose 4*b + 12 = 4*m, 2*m + 7*b = 3*b - 12. Let i be ((5/(-36))/5)/((-35)/(-350)). Is i less than or equal to m?
True
Let i = -533 + 532.598. Let f = -1.402 - i. Is f smaller than 172?
True
Let t = -41/51 - -8/17. Let c = 290 - 289.764. Which is smaller: c or t?
t
Let r = 0.67 + -28.67. Let a = -26.5156 + -0.4844. Let t = r - a. Which is smaller: -45/7 or t?
-45/7
Let u be (2/6)/1 + 386/(-6). Let g = -112 - u. Let h = -58 - g. Is h at most -11?
False
Let m = -33097001/2154921 - 47/10721. Let r = 46/3 + m. Is r bigger than 1?
False
Suppose 3*c - 756 = -3*n, c + 426 = 4*n - 572. Suppose -65 = o - w, -w = -4*o + w - n. Which is smaller: o or -59?
o
Let x be 9 + (-11 - (-12)/16). Which is greater: 0.004 or x?
0.004
Suppose 0 = -13*x + 42*x + 1740. Let p be (x/(-21))/(-5 + 74/14). Let b = -2/2153 - -83975/8612. Do b and p have the same value?
False
Suppose 20 = -37*p + 41*p + 4*w, -2*w = 3*p - 11. Let c = 209 - 3755/18. Which is bigger: p or c?
p
Let n = 466109 + -466238. Let x(o) = -16*o**3 - o**2 + 2*o - 2. Let p be x(2). Which is smaller: n or p?
p
Let x = -48415/32276 + 1/32276. Let b = -0.14 - 30.86. Is b != x?
True
Let j be (-2)/2 + -6 + (-80160)/(-13650). Let i = 117 - 811/7. Let c = j + i. Which is smaller: c or 0?
0
Let y be ((-754)/65)/(2/(-15)*3). Which is greater: 488/17 or y?
y
Suppose 17*b - 14*b = -3. Let d be (b/45*-5)/((-69)/(-36)). Is -1 != d?
True
Let b = 0.482 + 232.518. Let j = b + -226. Is j <= 4?
False
Let p(d) = 4*d**3 + 9*d**2 + 17*d + 182. Let x be p(-8). Do -0.2 and x have different values?
True
Let w = -6.224 + 4.34. Let v = 0.116 - w. Let o = -1.2 - 0.6. Is o at most v?
True
Let c(p) = 56 - 140*p + 4 + 73*p + 105*p. Let o be c(-2). Which is greater: -5 or o?
-5
Suppose -99*i + 109*i + 2*s = -6, s + 3 = -4*i. Do i and 2/4489 have different values?
True
Let t = -10783 - -11350. Is t at most 1699/3?
False
Let w(h) = 3*h - 86. Let q be w(-8). Suppose 3*g - v = -329, 3*g + 4*v = 6*g + 317. Is g greater than or equal to q?
False
Let j = -181.47 - -353.47. Is j at least -25?
True
Let o be (4 + 0 - 2)*24726/(-3858595). Let y = o + -2/2047. Is 1 less than y?
False
Let a be ((-6)/1506 + 0)*-2. Let c = a + -25355/502. Are c and -50 unequal?
True
Let m(d) be the third derivative of -d**6/120 + d**5/15 - 23*d**4/24 + 46*d**3/3 + 71*d**2 - 2. Let u be m(4). Is u smaller than 12/91?
True
Suppose -196*a = -203*a - 7. Are a and -7/138 equal?
False
Let o = 22 + -7. Let p = -162 - -172. Suppose 13*u = p*u + 45. Is o at most u?
True
Let w be (-9 - 127680/(-10695)) + -3. Is -1 > w?
False
Let k be ((-96)/(-286) + 80/(-440))/(4/13). Does k = 0.3984?
False
Let w be ((-6)/15)/(2/10)*(-341)/2542. Do w and 4 have different values?
True
Let t = 9/92 + -421/5244. Let b be 1*(-3)/(3/4). Let u be ((-1)/b)/(6/(-24)). Is t less than or equal to u?
False
Let a be ((-5)/(0 - -10))/((-5)/(3960/438)). Which is smaller: 0 or a?
0
Let s = -40207163522969571/12183982083686 + -2/22646806847. Let m = -3300 - s. Are m and 0 unequal?
True
Let a be 8/(-12) + 10/(-3) - -3. Let s be (8/(16/(-1)))/661. Which is smaller: a or s?
a
Let i(h) = 2*h**2 + 73*h - 328. Let o be i(-36). Let m = -140 + -224. Is o < m?
False
Let n be (-2 - -2)*1/2. Let u = 1/222477 + 124216322/667431. Let a = 185 - u. Is a smaller than n?
True
Let t(r) = 587*r - 205. Let n be t(8). Let m = n - 31643/7. Does m = -30?
False
Let x = -20 - -10. Let l be (x/(-15))/(2/(-19)). Suppose 0*p = -y - p - 7, -5*y = p + 27. Is l > y?
False
Let w(p) = p**2 + 2*p - 18. Let r be w(-5). Let i be r/((-21)/4*(-8)/36). Let u = i - -201/70. Which is greater: u or 1?
1
Let i(j) = j**3 - 5*j**2 - 7*j - 1. Suppose 0 = -7*c + 228 + 381. Let s = c - 81. Let x be i(s). Is x less than 0?
True
Let g = -1.003 + 9.003. Is -1/81 at most g?
True
Let m = 2284 + -41149/18. Let f = m - -1/2. Let q(o) = o**2 + 3*o - 2. Let w be q(-3). Is w < f?
True
Suppose -r + 3 = h - 3, 5*h = -2*r + 24. Let i = r + 14. Let z = 1 - -17. Which is smaller: i or z?
i
Let k be 111/(-2)*(-8)/12. Let o = 1367 + -1328. Do k and o have the same value?
False
Let f be 5/6*221/8670. Is 0 less than f?
True
Let y(w) = w**3 - 19*w**2 - 6*w + 20. Let r be y(19). Let x = -94 - r. Let v be (-1)/5*15/186. Is x at most as big as v?
False
Suppose -97*y - 11 = -98*y + 3*d, 3*y = 5*d + 25. Let o be (0 - (-17 - -4)) + 3. Is o greater than or equal to y?
True
Suppose 4*r = -2*y + 4, -2*r - y = 3*r + 1. Let s = 2184671/9 - 242741. Is s greater than r?
True
Let n = -280 - -401. Let x = n - 6. Let g = x - 584/5. Is g > -1?
False
Suppose 65 = c - 4*w, -3*c - 2*c = -w - 363. Let u = -201050 - -201048. Are u and c nonequal?
True
Let n be ((-4)/(-30) - 11221/6870)/((-3)/398). Suppose -2*t - 1000 = -7*t - 5*r, 4*t = r + 795. Is n bigger than t?
False
Let l = -2.349 + -0.001. Let z = l - -0.98. Let h = z - -0.37. Which is bigger: -0.2 or h?
-0.2
Let d = 3.4 + 14.6. Let k = d + -71. Let w = k + 28. Which is bigger: w or -1?
-1
Let x be 3 + -5 + -6 - -8. Let o(u) = u - 9. Let k be o(13). Let z be k + -2 - 23/13. Is x equal to z?
False
Suppose 4*v + 2863 = 5*k, 14*k - 805 = -161*v + 162*v. Which is smaller: -2125/3 or v?
-2125/3
Let v be (-10)/(-50) - 1/5. Let u = 12 + -12. Let l = v - u. Which is smaller: l or 6/13?
l
Suppose -4*l + 0*l = -24. Let n = -74 + 109. Suppose -n = l*d - 11*d. Is 7 greater than d?
False
Let i(y) = -14*y + 62. Let m be i(4). Suppose 0 = 2*o - 5*l - 6, 2*l - 2 = -m. Which is smaller: o or 7?
o
Suppose 21*g - 888 = -2*u + 18*g, -446 = -u - g. Suppose -2*h - u = -452. Is 5/9 >= h?
False
Let q be 15*(-28)/510650*5/(-4). Which is bigger: 1 or q?
1
Let f(h) = -6*h + 137. Let t = 526 + -503. Let c be f(t). Let k be 2*(-2 - (-390)/194). Is k less than c?
False
Let o = -2587 + 271633/105. Suppose k - 7 = -2. Let g be 2 - (30/k + -3). Which is bigger: o or g?
o
Let l = -42.8 - -6.8. Let s = l + 12. Let b = s + 23.9. Which is greater: b or -0.3?
b
Let i(d) = 2*d**2 - 10*d + 3. Let w be (6/(-5))/(2/(-5)). Let t be (2 - 5 - w)/(-2). Let z be i(t). Is z equal to -2?
False
Let y be ((-9)/(-2))/(38/(-76)). Which is greater: y or -60/7?
-60/7
Let i = -20 - 142. Let m be i/(-14) - 11 - 437/(-7). Which is smaller: m or -1?
-1
Let s be (-9)/2 - 1*1/(-2). Let k = 7 + s. Let y = 4389/1370 - 1/274. Is y at least as big as k?
True
Let q(k) = 6*k**2 + 51*k + 192. Let g be q(-4). Are g and 73 equal?
False
Suppose -6*t + 20*t = 70. Suppose -2*g + t = 1. Suppose -3*i = -g + 2. Is i less than or equal to 2/21?
True
Suppose -4*p + 3*m = 13, -5*p - 2*m = -7*m + 20. Let z(j) = 25*j**2 - 3. Let d be z(-2). Suppose -o = 1, -2*l - 8*o - d = -7*o. Which is smaller: l or p?
l
Let a be 664/3320*-1*415. Let o be -78 + -5 + -2 + 1. Is a smaller than o?
False
Let b(q) = 3*q + 179 - 10*q - 30*q - 38. Let w be b(5). Which is smaller: -45 or w?
-45
Let r = -0.8463 - -0.8463. Is r not equal to -0.01734?
True
Let z = 9 - 26/3. Suppose -5*s + 2*k = 344, -84*s + 117*s - 5*k + 2336 = 0. Is z smaller than s?
False
Let d = 61.1 - 53. Let g = -8 + d. Let y be ((-1)/2 + 0)*2. Which is greater: y or g?
g
Suppose -63*b + 179 = 526 - 32. Which is greater: -123/28 or b?
-123/28
Let f be (-231504)/(-1491594) - 2/13. Which is smaller: f or 1?
f
Let s be 252/(-30) + 8 - 0 - 2316/10. Is -9 != s?
True
Let v = 5.8 + -6.8. Let 