 a(-9). Is j less than or equal to r?
True
Suppose -g + 3*q = 3*g - 28, -5*g + 2*q = -42. Suppose -g*i + 17 = -3. Let k be i*(10 + (1 - -2)). Which is bigger: k or 25?
k
Let w be 4/8*(-4 - -10) - 1. Suppose -w*f - 15*m - 14 = -19*m, 3*f - 5*m = -18. Is 1/259 bigger than f?
True
Let d = -2541/17 + 5732513/38352. Is d less than or equal to 1?
True
Let z = 173.906 - -0.094. Let n = -173.962 + z. Is n > 0?
True
Let u be (-5712)/(-98)*49/2. Let n be (-520)/u - (3 + 115/(-35)). Which is bigger: n or 0?
0
Suppose -4*a = -30 - 26. Suppose 2*h = v - 7, -2*v - a = -3*h + 6*h. Do v and -3/140 have different values?
True
Let n be 13 + (-994)/84 - (-1514)/(-12). Which is bigger: -115 or n?
-115
Let i = 0.5247 - 0.3247. Is i at least as big as 0.1291?
True
Let z(g) = -g - 16. Let o be ((-4)/2 - 12)*10/(-35). Let f be z(o). Is f less than -22?
False
Let k(o) = 70*o + 3852. Let t be k(-57). Do -146 and t have different values?
True
Let z = -1247 - -1456. Which is greater: 1458/7 or z?
z
Let i = 18.79 - 17.79. Is i at least 14726?
False
Let k = -75 + 203. Suppose -7*y + 23*y - k = 0. Let q be (34/8)/((-5)/(-8)). Which is greater: q or y?
y
Let l = 2140/9 - 238. Let a = -294.61 - 5.29. Let d = -300 - a. Is d > l?
True
Let r = -2808 - -6206. Is r at least 3396?
True
Let b = -77.0648 + -0.0352. Let z = b + 75. Let i = z - 0.5. Are -1/3 and i unequal?
True
Let l(y) = 20*y + 120. Let f be l(-6). Let o be f + -3 + 8 + -1*137. Do o and -132 have the same value?
True
Let l = -2123 - -2124. Let y = -4 + 2. Let r be (1/y)/((-1446)/(-24)). Do l and r have the same value?
False
Let m(y) = 74 - 5*y**2 - 84*y - y**2 + 9*y**2 - 5*y**2 - y**2. Let g be m(-30). Is g smaller than -744/7?
False
Let o(t) = 42*t - 4. Let c be o(-2). Let d be 67/38 + c/16 + 4. Suppose -2*a - r = a - 5, 5*a + 3*r = 15. Is d greater than or equal to a?
True
Let o = 1163789/24 - 3473870221/71640. Let f = 2/995 - o. Which is smaller: f or -1?
-1
Let k = -0.126 - -28.926. Let w = -38 + 9. Let r = k + w. Which is smaller: 1/43 or r?
r
Let j(o) = -241*o + 2483. Let s be j(10). Which is smaller: s or 70?
70
Suppose 5*n - 180 = -2*q + 100, 3*q + 4*n - 371 = 0. Let w = 0 + 0.1. Which is greater: q or w?
q
Let c = -3962 - -3438. Is c not equal to -523?
True
Suppose 216*o - 188*o = -1204. Is o equal to -46?
False
Let m = -38.86 + -465.14. Which is greater: m or 4?
4
Let d(j) = 4*j + 4. Let x be d(0). Let p be (105/(-14))/((-3)/x). Suppose -5*t + p*t = -120. Do -26 and t have different values?
True
Let d = 0.06 - -0.04. Let c = -22162.4 + 22158. Which is bigger: c or d?
d
Let c = 13.98 - 14. Let b = 7.9 + 80.1. Let w = b - 87.9. Which is smaller: w or c?
c
Suppose 4*t + 12 = 0, 3*y - 3*t + 640 = -383. Let s = -342 - y. Which is greater: 4/3 or s?
s
Let t be (3 - 11) + ((-4980)/124)/(-5). Suppose 3*p = 7*p + 2*b - 2, 5*p + 1 = b. Let w be 0/(-1*(-2 + p)). Which is smaller: w or t?
w
Let c be 632/498 + (-4)/6. Let o be (6 - 11348/664)/(-4). Let n = o + c. Which is bigger: 3 or n?
n
Let c be 198/(-45) + (-12)/(-30). Let p be (-6 + 0 - 0)*c/(-8). Suppose -3*z + 0*z = -3. Are z and p equal?
False
Let n(a) = a**2 + 2*a - 28. Let q = -160 + 173. Let y be n(q). Is y greater than 166?
True
Let d = -12280.9 - -12281. Is 46/71 <= d?
False
Suppose 26 = -4*j + 6. Let k be (-3 + (-10)/j)*(-2 + -13). Let m = k - 16. Which is smaller: m or -3/62?
m
Let q be (-5)/(-11)*(34980/175)/(-11). Let h = 6/11 + q. Which is bigger: -8 or h?
h
Let a(d) = 239*d - 3123. Let j be a(6). Is -1687 < j?
False
Suppose a = 5*k - 3329, 1211*a - 5*k - 13366 = 1215*a. Which is smaller: -3337 or a?
a
Let r = 442 - 441. Let i be (-70)/28 - (r + (-33)/6). Let f be 3/9 + 4/6. Are f and i unequal?
True
Let b be 690/(-3220)*(-34)/(-36). Which is smaller: b or -1?
-1
Let h = 604315/57 + -10602. Is -5 less than h?
True
Let u be ((-2)/6)/(-3 + 133/42). Let j be (107104/52)/u - (-4)/(-26). Let p be 5130/j - (-1 - 4). Which is smaller: p or -1?
-1
Let u = -37789 + 37789.833. Is u less than or equal to 10?
True
Suppose 4*v + r - 954 = -r, r = -5*v + 1191. Let t be (-35)/(455/(-3042)) + 5. Is v >= t?
False
Suppose -5*o = -s - 3*o + 2, -s = 3*o + 3. Let k = 4 + s. Let t = 7108 - 7107.95. Are k and t unequal?
True
Let r = -1717 + 3694. Which is smaller: r or 1978?
r
Suppose -20 = -4*y + 4*a, -5*y + 0*a + 21 = -a. Suppose 877 = y*k - 943. Let d = 1837/4 - k. Which is smaller: 4 or d?
4
Suppose 3*f + s = -34, -4*f - f - 53 = -2*s. Let r = 1238 + -1248. Which is smaller: f or r?
f
Let x(i) = 353*i - 2117. Let b be x(6). Is -1/132 > b?
False
Let b(i) = -2*i**2 + 3*i + 4. Let c(v) = v. Let d(m) = m**2 - 14*m + 21. Let q(l) = 3*c(l) + d(l). Let n be q(9). Let j be b(n). Are -6 and j equal?
False
Let z be (((-8)/(-6))/2)/(3/(-45)). Let m = z - -1. Is -9 less than or equal to m?
True
Let l(r) = 2*r**3 - 14*r**2 + 21*r - 230. Let a be l(8). Which is smaller: 14 or a?
14
Suppose -6 = -12*r + 11*r + 5*p, -2*p + 24 = 4*r. Suppose -25*o + r = -19*o. Is 2/209 less than o?
True
Let m be (49/(-413658))/(4/45561). Let q = -75/56 - m. Which is bigger: 1 or q?
1
Suppose 9*n - 11*n + 451 = 3*q, 2*q - 1144 = -5*n. Let p be (-1 - (-398)/n) + (-18)/30. Is p greater than -1?
True
Let u = 241 - 261. Let r be (-9 + (-2082)/(-234))/(u/(-66)). Which is smaller: 1 or r?
r
Suppose 5 = 50*m + 255. Let g = -46 - -43. Is g equal to m?
False
Let n = -7 + -2292. Is -2/3 less than or equal to n?
False
Suppose -k = -5*h + 217, h - 2*k = -3*h + 176. Suppose 117 = 46*f - h*f. Let b be (f/52)/((-5)/(-16)*14). Is 1/2 less than b?
False
Suppose 40 + 74 = -x. Let q = x + 568/5. Which is bigger: 0.05 or q?
0.05
Let x be (-51)/15 + 3 + (-48)/(-20). Suppose 16 = d - x*v, -3*d + 0*v + 28 = -v. Which is greater: d or 9?
9
Let h = 0.0003 - 213.0003. Let p = 1077 + -1076.9. Are p and h unequal?
True
Let l = 0.31688 - 0.01688. Which is greater: l or -0.132?
l
Let q(s) = 421*s - 2912. Let j be q(8). Which is greater: j or 454?
j
Let i be (14/(-6))/((-188)/(-564)). Which is smaller: 405 or i?
i
Let a = 369.79 - 372. Let v = a - -1.91. Is v bigger than -4/7?
True
Let j = -67.1 + 67.05. Is -18 greater than j?
False
Let j = 5597/585327 + 1/1497. Which is smaller: -1 or j?
-1
Suppose 0 = 2*d + 3*u, 5*d + 0*u = 5*u. Suppose d = y + 1 - 17. Suppose -3*v + y = 4. Which is smaller: 5 or v?
v
Let d be (-24)/(-21) + (-66)/77. Suppose f - 2*l - 1 + 3 = 0, 0 = l - 1. Is f at most d?
True
Let u(l) = -55*l + 1614. Let t be u(15). Is t bigger than 789?
False
Let l = -17365/6916 - -129/52. Let n be (0*(49/21)/7)/4. Which is smaller: n or l?
l
Let u = 219476355/44 - 4988516. Let g = 417 + u. Suppose 4*a - 6*a = 2. Which is bigger: a or g?
g
Let i = -772 - -764. Let y = -0.114 - -0.164. Which is bigger: i or y?
y
Let c = 1569.6 + -1569.6. Let d = -0.054 + -39.946. Which is bigger: d or c?
c
Let u = 4.5953 + 0.0447. Let g = u + -4.54. Let q be (-5)/(-3)*15/(-65). Is q not equal to g?
True
Let f = -34169/2960 - -197/80. Is -8 bigger than f?
True
Let a = -25 - -43. Let g(n) = -7*n + 11*n**2 + 8*n**2 - n**3 + 28*n - 3. Let r be g(20). Is a smaller than r?
False
Suppose -59*g + 63*g + 572 = 0. Let b = g - -146. Let j be (-25)/b*(-2 - 1). Which is greater: j or -1?
j
Let t = -397 + 7540/19. Let c = -24 + 25.76. Let q = c - 0.76. Is q greater than or equal to t?
True
Let c be (-4)/(-18) - (-11)/(792/8912). Is 3 greater than or equal to c?
False
Let v be -3 - (-5 - (-465)/90 - 215029/6). Which is bigger: v or 35834?
v
Suppose 76*c + 1467 = 85*c. Suppose 2*f - 157 = -c. Is f at most as big as -27?
False
Let k = -176 - -201. Let g = -24.91 + k. Is g at least as big as -0.3?
True
Let o = 0.028 - 0.051. Let s = 0.079 + o. Let p = s + 2.944. Which is greater: p or -2/9?
p
Let q(p) = -263 + 266 - 3*p - 5*p - 3*p - 2*p**2. Let c be q(-6). Suppose 17 + 3 = -4*b. Is b equal to c?
False
Let t = 55 + -40. Suppose 0 = 5*a - t + 190. Let y = a - -21. Which is smaller: 2/3 or y?
y
Let i = 27.15 + -14.862. Let n = i + -0.288. Which is bigger: -9 or n?
n
Let m be (-6)/9*1/2. Let v be 124/(-682)*(-6)/(-4). Is v at least m?
True
Let n(h) = 2*h + 36. Let r be n(-14). Suppose -5*y + y - 738 = 5*a, -370 = 2*y + 2*a. Let j be (-2)/r + y/68 + 6. Is 7/4 greater than or equal to j?
False
Suppose 3*i - i = -2*q + 40, -2*q = 4*i - 40. Suppose 6 = 2*z + 5*u + q, 8 