 487 = -2*f + v*f. Is f composite?
False
Let q(a) = 25*a**2 - 2*a. Let u be q(2). Suppose -111 = -3*s + u. Is s a composite number?
True
Suppose -8*q + 10 = -6*q. Suppose -q = 5*y - 0, y = -4*m + 211. Is m composite?
False
Suppose 2*l + 2 = 3*p + 7, l + p = 0. Suppose -l = -2*m + 21. Is m a prime number?
True
Suppose 6*d + 276 = -18. Let r = d + 80. Is r composite?
False
Suppose -4*q + 5362 + 2530 = 0. Is q composite?
False
Is 67/(-2)*(-80)/8 a composite number?
True
Suppose 0 = 5*f - d + 1785, 2*f - 5*d + 75 = -662. Suppose -4*t = 3*y + 33, 5*y - 2 + 17 = 0. Is 3/t*f/2 a composite number?
False
Let t(h) = 18*h**2 - 4*h + 5. Is t(-6) prime?
True
Suppose 0 = 5*r - 15 - 0. Suppose 36 - 248 = -2*x + 2*o, -r*x = 2*o - 323. Is (-4)/6 + x/3 a composite number?
True
Suppose 3*r - 1 = -3*y + 5, -4*y = 5*r - 10. Suppose 0 = -6*o + 3*o - 4*i + 969, r*i = o - 323. Is o prime?
False
Let d = 464 - 301. Is d composite?
False
Let f be 2/(-5) - (-7)/5. Let r = f - 2. Is -1*3*r*1 composite?
False
Let d be 2436/(-36) + (-1)/3. Let x = 66 - d. Is x a composite number?
True
Let x(n) = n**3 + 10. Let m be x(0). Let y be 35/m*8/14. Suppose -i - 100 - 162 = -l, 0 = -y*l + i + 527. Is l prime?
False
Let k(w) = -w**2 + 3. Let j be k(0). Suppose 2*r = j*r - 3. Is 1/(r*(-2)/(-222)) prime?
True
Suppose -734 + 4242 = 4*s. Is s a composite number?
False
Let l(v) = -v - 4. Let s be l(-8). Suppose o = -s*o + 95. Is o a composite number?
False
Suppose 4*p = 1 - 9. Let z be (0/(-2))/(p/2). Suppose 3*n - 4*y - 21 = 0, n - 7 = -z*n - 2*y. Is n prime?
True
Suppose j = -r + 885, -1786 = 2*r - 4*r + 2*j. Is r prime?
False
Let z(y) = -y**2 - 3*y - 3. Let b be z(-6). Suppose -m - c = -67, c = -2*m + 81 + 56. Let o = m + b. Is o composite?
True
Let a(f) = -f**3 - f**2 + f + 3. Suppose -3*v - v = 32. Let h be a(v). Suppose 0 = -5*w + 302 + h. Is w composite?
False
Let m be (-4)/(-14) - 36/(-21). Suppose -43 = m*b - 149. Is b a prime number?
True
Suppose -4*v + 5428 = -0*v. Is v a composite number?
True
Suppose 3*v - 14 = -v + d, -2*d + 24 = 5*v. Let g(u) = -33*u + 1. Let z be g(-1). Suppose o - v*p - 7 = -1, 4*p + z = 3*o. Is o a prime number?
False
Suppose 10 = -0*p + 2*p. Suppose 3*y - 7 - p = 0. Suppose -z - c = 2*z - 103, 0 = -y*c - 8. Is z prime?
False
Is 882/10 + (-4 - 48/(-10)) a prime number?
True
Suppose -2*q = q + 177. Let c = 29 - q. Let v = -62 + c. Is v composite?
True
Suppose 3*a = -s - 10, 3*a = 3*s + 6*a + 6. Suppose 535 = 4*u - 3*l + 40, 0 = 2*u + s*l - 258. Is 1 + 1 + -1 + u prime?
True
Let p(c) = 19*c**2 + 9*c - 12. Is p(7) a composite number?
True
Suppose -3*f = -5*t + 6, 3*t - 2*f + 5 - 8 = 0. Suppose -t*s = -2*s. Suppose s = -q + 86 - 33. Is q a composite number?
False
Let i(y) = y**2 - 3. Let t be i(0). Let g = 1 - t. Suppose -g*f + 3 = -137. Is f composite?
True
Suppose -q + 3 = 4, -183 = -5*x - 2*q. Is x a composite number?
False
Let h = -1 - -5. Suppose h*r - s + 0*s = -11, r - 21 = 5*s. Is r/(-14) + (-47)/(-7) a composite number?
False
Let z be 0*(9/3)/3. Suppose z*n = -5*n + 355. Is n composite?
False
Let b = 147 + -80. Suppose -393 = 5*j - j - 5*n, -5*n - b = j. Let o = 3 - j. Is o composite?
True
Is 36/54 + (15316/6)/2 a prime number?
True
Let f be 42/(-8) - 2/(-8). Let h(w) = w**3 - 13*w**2 + w + 4. Let l(g) = g**3 - 12*g**2 + 2*g + 4. Let b(o) = f*h(o) + 6*l(o). Is b(6) prime?
False
Let u = -7 + 11. Suppose -4*a + 4 + u = 0. Is -1 - a - -15 - 2 a composite number?
True
Let o(i) = -i**3 - 4*i**2 + 5*i - 4. Let d be (-24)/2*2/4. Is o(d) a prime number?
False
Suppose 0 = 4*k - 4, 2*u + 3*k = k + 82. Suppose 0 = s - u - 43. Is s prime?
True
Suppose -t - g = -195, 3*t + 4*g = 6*g + 560. Suppose 5*z - 195 = t. Is z a composite number?
True
Suppose d = -k + 121, 151 = -2*d + 2*k + 393. Suppose d = -4*l + 5*l. Is l composite?
True
Suppose -2*y - 4364 = 2*y - f, 3*f - 4364 = 4*y. Is (-6)/27 + y/(-9) prime?
False
Suppose 5*a = 3*x, -5*a + x - 5*x = 0. Let g be (-1 - a) + (-9)/(-3). Suppose 5*f = -2*q + 2*f + 179, 5*q = g*f + 457. Is q a prime number?
False
Suppose 198 = k + 8*k. Is k composite?
True
Suppose -2*c = -143 + 45. Is c prime?
False
Let z(a) = -a**2 - a. Let w(m) = 3*m**2 + 9*m + 3. Let q(o) = w(o) + 4*z(o). Let g be q(4). Let p(v) = -v**2 + 8*v + 8. Is p(g) composite?
True
Suppose 0*p = 4*m - 5*p - 37, 5*p = -5*m - 10. Suppose -97 = m*j - 4*j. Is j prime?
True
Let p(u) = -u - 2. Let m = -4 + 2. Let l be p(m). Is -7*(-9 - (l + 2)) a prime number?
False
Suppose -3 - 5 = r. Is 7 + r/(-12)*-6 a composite number?
False
Let i(j) = -j**3 - 8*j**2 + 3*j + 2. Let v be i(-9). Suppose -14 = -5*d + v. Is d prime?
False
Suppose -8 = 3*h - h. Let j be (-3)/(3/2) - h. Suppose 0 = -n + 2*s + 67, -72 - 129 = -3*n - j*s. Is n composite?
False
Let s(k) = k**3 - 2*k**2 + 6*k + 9. Let o be s(9). Suppose 0*q + o = 3*q. Suppose -5*w = -2*j + q, -j - 4*w - w + 75 = 0. Is j composite?
True
Let d = 1 + 1. Suppose -d*s = 2*s. Suppose s = 5*k + t - 159, -5*t + t + 16 = 0. Is k a prime number?
True
Let k be ((-10)/8)/((-1)/4). Suppose -p = k*d - 59, 2*p - 71 = -5*d - 2*p. Is d a prime number?
True
Suppose 375 = -2*w + 67. Is (-9)/2*w/33 composite?
True
Let j(r) = -4*r + 3. Let i(k) = 3*k - 3. Let d(m) = 5*i(m) + 4*j(m). Is d(-9) a composite number?
True
Is ((-1)/(6/1347))/(4/(-8)) a prime number?
True
Let z(t) = 15*t + 1. Let k be z(2). Is (12 - (-4)/4)*k a prime number?
False
Suppose 5*k = 4*l, 2*k = -5*l + k. Suppose -3*u = -l*u - 12. Suppose 0*j - b + 525 = 4*j, -528 = -4*j - u*b. Is j a composite number?
False
Let h = 2220 - 529. Is h a prime number?
False
Suppose -4*j = -37 - 39. Is j a composite number?
False
Let r(i) = -18*i - 4. Let o(x) = 37*x + 7. Let n(f) = 3*o(f) + 5*r(f). Is n(4) composite?
True
Is 3 - (-482 - (5 - 3)) a prime number?
True
Is -14*((-305)/14 - (-4)/14) composite?
True
Suppose 4*t - 9*f + 4*f - 4614 = 0, -4*f + 4596 = 4*t. Is t a composite number?
False
Suppose 3*b + 3*g = 33, g + 3 = 2*g. Let r = -4 + b. Suppose -c - 66 = -5*y, -y + r = 5*c - 4. Is y a prime number?
True
Suppose -2*y = -5*v - 6*y, 0 = 2*v + y. Suppose 3*a - 9 = -v. Let g(f) = 6*f + 1. Is g(a) prime?
True
Let i(b) = 49*b + 6. Let j be i(-5). Let u = j + 103. Let g = 191 + u. Is g prime?
False
Suppose -2*w = a + 381, 0 = 4*w + 2*a + a + 765. Let q = 272 + w. Is q prime?
True
Let d = 3 - 0. Suppose -320 = -d*x + 1135. Is x prime?
False
Let u be 2/5*2*130. Suppose -163 = -3*x + 4*s + u, -s - 267 = -3*x. Is x prime?
True
Let x(i) = 2*i**2 + 2*i + 2533. Is x(0) a composite number?
True
Suppose -69 = -2*b + 193. Is b prime?
True
Let q = 20 + -14. Suppose q*y - 2*y = 616. Suppose 3*t - y = t. Is t a composite number?
True
Suppose 0 = k + 2*k - 1611. Is k a prime number?
False
Let c be -2*3*2/4. Let h(n) = -n**2 + 1. Let y be h(-2). Is (1/y)/(c/117) a composite number?
False
Is 321 - 5/((-15)/(-6)) a prime number?
False
Let t(y) = 27*y**2 + 7*y + 25. Is t(11) a composite number?
True
Suppose -2*f + 0*f + 18 = 4*x, 2*f + 5*x - 21 = 0. Suppose f*o - 576 - 375 = 0. Let h = o + -126. Is h a prime number?
True
Suppose 0 = -14*w + 10*w + 136. Is w a composite number?
True
Let t(b) = -52*b**3 + 2*b + 3. Is t(-2) a prime number?
False
Let u(c) = 19*c - 8. Let a = -8 - -17. Is u(a) a prime number?
True
Suppose 3*n + 82 = n. Let r = n - -74. Is r a prime number?
False
Let j(d) = -2*d**2 - 7*d - 7. Let b be j(-5). Let w = b + 50. Let o = w + -14. Is o prime?
False
Is 1/1 - 6336/(-18) a composite number?
False
Let b be 0*(0 + -1) + 9. Let j be (-1)/(-3) - (-2607)/9. Suppose a + b*m - 30 = 4*m, -5*a + 3*m = -j. Is a prime?
False
Let j(m) = -2*m**3 + m**2 - 2*m + 1. Let c be j(1). Let t = c + 5. Suppose -5*l = -10, -t*n - 3*l + 39 = -2*n. Is n a prime number?
False
Let o = -8 + 5. Let s(w) be the first derivative of -w**4/2 - 2*w**3/3 + 3*w**2/2 - 2*w + 1. Is s(o) a composite number?
True
Let p be 1*-2*(1 + 0). Let m(h) = 0*h**2 + 2*h**2 - 17*h + 1 + 18*h. Is m(p) a prime number?
True
Let r(y) = y**2 + 7*y + 4. Let w(b) = -b**3 - 3*b**2. Let g be w(-4). Let t = g - 25. Is r(t) composite?
True
Let f(y) = -11*y - 1. Let p be f(-1). Suppose -3*v + 6 = 5*w, -p = -4*v - v - 4*w. Suppose v*g = 15 + 11. Is g prime?
True
Suppose y - 39 = 4*y. Let b(l) = 2*l**2 + 16*l - 11. Is b(y) a composite number?
True
Is (-9