a(15). Which is smaller: 3044 or k?
3044
Suppose -11 = l - 2*q, -l = -2*q + q + 10. Let p be -2*15/20*354/l. Let a = -54 + p. Does a = 15/4?
False
Suppose 5*p = -j + 843, 0 = p + j + 4*j - 159. Suppose -778*w - 1008 = -1561*w + 777*w. Which is smaller: p or w?
w
Suppose -176 = 5*k + 6*k. Let p be ((-428)/k)/(1/4). Let a = -118 + p. Is -19/2 != a?
True
Let n = 75.939 - -0.061. Let w = n + -8. Let g = 51 - 51. Is g greater than w?
False
Suppose 4*t = 5*i + 278, -4 = -33*t + 31*t. Which is bigger: i or -39?
-39
Let m be 450/30*(-4)/(-10). Suppose 0 = 2*r - m*r + 4. Are r and -3/200 unequal?
True
Let g = -1823 + 1821. Which is greater: g or 681?
681
Suppose -3*l - 39*b = -38*b + 5, 5*b + 13 = -3*l. Which is greater: l or -1/2069?
-1/2069
Let g = -83 - -85. Suppose -37 = -2*a + 5*a + g*m, 66 = -5*a + m. Suppose 3*r + 12 = 0, 0 = -4*y + r - 2*r - 56. Do a and y have the same value?
True
Let k be 3/15 - 0 - ((-63882)/16815 + 4). Is 0 > k?
True
Let v be (-58)/10 - ((-16)/40)/(-2). Let d = -15 - -43. Let y = v - d. Are -2/7 and y nonequal?
True
Let m be 2*(-2 + (-82)/(-4)). Let i be (1/m)/((-1)/(-6)). Suppose 49*f - 640 + 591 = 0. Are i and f unequal?
True
Suppose -3*d - 4*c + 1255 = -0*c, -839 = -2*d - 5*c. Let r = 103228 - 102809. Is r greater than or equal to d?
True
Suppose -5*f + b + 38758 = 0, 2*f = -4*b - 1395 + 16885. Which is smaller: 7748 or f?
7748
Let i(o) = -9*o**2 + 38*o + 854. Let x be i(-13). Is x <= -1158?
True
Let w(j) = -j**2 - 4*j - 54. Let b = -307 + 297. Let u be w(b). Is -115 <= u?
True
Suppose -9 = 13*t - 22. Let p(m) = -m**2 + 3*m - 2. Let x be p(t). Let j = -446 - -33003/74. Which is bigger: x or j?
x
Let j be -9 - 0 - (-8432)/837. Is 1 greater than j?
False
Let v be (54/(-4))/(6/8). Let g be 4*1506/72 + (-4)/(-3). Suppose 0 = -5*q - 5*s - g, 5*q = 3*q - 5*s - 31. Do q and v have different values?
False
Suppose 6*x - 5*x = -4. Let b be (-615)/(-20) - x/16. Let r = 27 + 4. Is r greater than or equal to b?
True
Let n(j) = 5*j - 13. Let p be n(3). Suppose 11*z = -p*z - 39. Let f = -0.9 + 2.9. Which is smaller: f or z?
z
Let v = 0.05031 - 303.05031. Which is greater: -0.7 or v?
-0.7
Let q be (-1)/(-2)*(-7 - -23 - 14). Is q bigger than 24/59?
True
Let d be ((-7)/(-2))/(1/(-2)). Let w(r) = 2*r**2 + 161*r - 7355. Let l be w(-113). Is l at most as big as d?
True
Suppose 3*m - 2*w = 1, 5*w - 1 = -28*m + 32*m. Is m >= -2/8283?
True
Suppose 15 = -5*r, 0 = -5*l - 750*r + 755*r + 10. Is 2/55557 not equal to l?
True
Let a be (-6)/8*4/(-6). Suppose -2*o + 4*o - 4718 = 4*h, 0 = -3*h + o - 3536. Let v = 1178 + h. Which is smaller: v or a?
a
Let q = -2739 + 649142/237. Let u be 0/((-3)/(-9)*3). Which is smaller: u or q?
q
Suppose -132*k = -129*k - t + 897, -5*k - 1503 = t. Which is bigger: -2692/9 or k?
-2692/9
Let n(r) = -2*r**3 - 5*r**2 + r + 77. Let c be n(-9). Is c at least 1122?
False
Let o be (30/(-20))/((-3)/(-20)). Let f be (1 + -10)*(3 + o/3). Suppose 12 = 2*t + f*v, -3*v + 2*v + 6 = t. Is t > 5?
True
Let g = 2016.25 - 2016. Which is bigger: g or 16?
16
Suppose 4*j + 528 = -3*z, 0 = -22*z + 25*z + 5*j + 531. Is z greater than -183?
True
Let t be (-3)/(-30)*3314/(-6). Let a be (-2)/(-12)*663/(-2). Let j = t - a. Which is smaller: -1 or j?
-1
Let p = 0.005 - 27.005. Let x = -15.3 - -0.3. Let d = p - x. Which is bigger: d or 1?
1
Let u be (10 + 823606/(-164710) - 5)/((-2)/(-5)). Is -1 > u?
False
Suppose -4155 = 12*y + 6212 + 7645. Is y at most as big as -1500?
True
Let b = 1015711174126367/368160 - 2758885197. Let w = -4/767 - b. Which is smaller: w or -1?
-1
Let a(b) = -b**2 - 6*b - 565. Let f(s) = -s**2 - 7*s - 565. Let v(r) = -3*a(r) + 4*f(r). Let z be v(0). Is -565 smaller than z?
False
Let j be 108/(-106) + 0 + 1. Suppose 5*f = 10, -11*z - 3*f + 6 = -6*z. Are j and z equal?
False
Let o = 3/47 - 59/188. Let l = 182.1 - -31.9. Let p = l - 212. Which is smaller: p or o?
o
Suppose -513*m + 517*m = -s - 11159, 11165 = -4*m + 5*s. Is m > -2789?
False
Let c = 80 + -54. Let n = c + -43. Let w = -19 + 20. Which is bigger: n or w?
w
Let a = -271 - -284. Suppose 21*k + 8 = -a. Is 1/262 < k?
False
Let y(r) = -2*r - 9. Let z be 70/(-15) + (-4)/(-6). Let p be y(z). Let l = 0.166 - 0.366. Is l less than or equal to p?
False
Let j be (-5)/35*(-42462)/54. Are 112 and j unequal?
True
Let u be 7*10/105 + (-13)/(-3). Suppose -n = u*h + 3*n + 7, -1 = 3*h + 4*n. Let l be ((-3)/(66/4))/1. Is h less than or equal to l?
True
Suppose 5*c - 320*b + 323*b + 21072 = 0, 0 = c - 3*b + 4218. Which is smaller: 0.1 or c?
c
Let c(y) = -y**3 + 40*y**2 - 16*y - 77. Let i be c(39). Suppose 0 = -g - 0 - 5, -5*g = 5*q + i. Which is greater: q or -158?
-158
Suppose -4*t = 4*p + 116, -2*t + 5*p = -4*t - 70. Suppose 16*k - 1022 = 30*k. Let m be k/3 - 174/261. Is m at least t?
True
Let n be (-1796)/24 - -8 - 2/3. Suppose -5*z + 10 = 0, 4*g + 370 - 92 = 5*z. Which is smaller: g or n?
n
Let w be (-415)/(-10)*(-2)/(-1*4)*4. Is w <= 80?
False
Let f be (-23*3/(-207))/(6/21460). Which is smaller: f or 1191?
1191
Suppose -2*n = 3*x - 142, 5*x - 2*n = n + 243. Suppose 6 = 6*l + x. Which is greater: -6 or l?
-6
Let h = 237 - 64. Let m = 173 - h. Which is bigger: -8/15 or m?
m
Suppose -195 = 37*s - 50*s. Let f(y) = y**3 - 15*y**2 - y + 35. Let b be f(s). Which is smaller: 6 or b?
6
Let n = -297 + 345. Suppose -2*m = 4*s - 92, 4*s - 80 - n = -3*m. Let l be (20/15)/((-4)/(-114)). Are l and m non-equal?
True
Let h be (39/(-91))/(7/49) - (-13)/(-11). Are 7 and h nonequal?
True
Let u(p) = -21*p**2 - 77*p + 466. Let a be u(7). Is -1104 smaller than a?
True
Let a(c) = -100*c + 4. Let x be a(4). Suppose 18*u - 26*u - 1188 = 3*s, -5*u = 5*s + 1980. Are s and x non-equal?
False
Suppose -1196*u = -1204*u - 4952. Let q = u + 616. Which is bigger: q or 32?
32
Let j be 188/24 + 1/6. Suppose f + 364 = j*f. Which is bigger: f or 50?
f
Let w(l) = l**2 - 11*l + 7. Let i be w(7). Suppose -2*q + 58 = -2*a, q + 8*a - 44 = 4*a. Let d be q/20*(-175)/14. Is i equal to d?
False
Suppose -868 + 241 = -11*t. Let q be 24/t*3/108. Let r be (2/(-4))/(1/2). Which is smaller: q or r?
r
Let g be 7/49 - 99/7. Let r be 1 - (4 - g/10). Let v = -78 + 75. Which is smaller: r or v?
r
Suppose 2*g + 3*w - 2228 = 0, -148*g - 2264 = -150*g + 3*w. Which is greater: 1121 or g?
g
Let o(y) = -2*y - 4. Let u be o(-4). Let n = 0.062 - -99.938. Let d = 100 - n. Which is greater: d or u?
u
Suppose -34*k + 394 - 258 = 0. Let f(w) = 27*w**3 - 2*w**2 + 2*w - 1. Let j be f(1). Suppose 6*v = -j - k. Do v and -7 have different values?
True
Let o = -341 + 6817/20. Suppose 79 = -97*f - 74*f - 92. Which is smaller: f or o?
f
Suppose 2*p + 4*q = -4, -5*p - 13*q = -15*q - 26. Suppose 17*m = p - 140. Suppose 4*k + 25 = -11. Is k less than or equal to m?
True
Suppose 8 = 2*x - 3*b, -4*x + 5*x = 2*b + 6. Let t be (-5 - (-78)/15)/(x/2). Is 2/7 less than t?
False
Let m be (-47334)/66 + (952/(-22))/(-7) + -6. Do -1/5 and m have different values?
True
Suppose -17*q + 1520 = -741. Suppose 596 = -3*p - q. Which is smaller: p or 0.1?
p
Let g = 187 - 129. Let q = -116 + 172. Let a = q - g. Which is bigger: 10 or a?
10
Let u be (-37 + -2)*((-10)/(-3) + -5). Let o be (1 - -1)*u/(-26). Is -2 equal to o?
False
Let h = 0 - -0.1. Let p(x) = -84*x + 1797. Let f be p(21). Is f smaller than h?
False
Let x = 2 - 2. Let n = -389 - 150. Let t = n - -484. Does x = t?
False
Let p be (-4 + 4 + 0)*(-6)/12. Suppose -4*j - 3*v - 18 = -j, j - 5*v = -18. Let i be 6/j - 6/(-40). Is p smaller than i?
False
Let v be 27/6 - (-2)/(-4). Let a be 2 + -16 + 0 + v. Suppose -3*z + 3*t = 8*t + 19, 5*z + 2*t + 57 = 0. Is a at least z?
True
Let r(q) = 955*q**2 + 251*q + 747. Let g be r(-3). Is g at least -1/2?
True
Let g = 2.035 + -2.08. Let n = -0.055 + g. Which is bigger: n or -24?
n
Suppose 0 = 210*s - 616 + 616. Let j be -1 + 2 - (-11)/(-1). Which is greater: s or j?
s
Suppose -257*w - 19303 = -1210 - 360. Suppose 4*o + 2*g + 274 = 0, 4*o + 339 = -o + g. Which is greater: w or o?
o
Let k = 8 - 8. Suppose -u = -k*u + 7. Let c(s) = s + 8. Let j be c(u). Which is greater: j or 2/13?
j
Suppose -18312 = -25*d - 51812. Is -1341 < d?
True
Let d = 93116 + -93076. Suppose -4*k + 9*k - 945 = 0. Suppose 0 = -4*w + 3*x + 216 - 67, 5*w - x - k = 0. Is w less than or equal to d?
True
Let p = 248 