4 = 4*a - 4. Let s(z) = -143*z - 35. Is s(t) prime?
False
Suppose -6*l + 4128 = 4*o - 10*l, o - 2*l - 1027 = 0. Is o prime?
False
Let y = 0 - 0. Suppose y = -3*i + i + 4. Suppose 5*k + 280 = i*m - 25, -4*m + 2*k = -618. Is m a composite number?
True
Let d(w) = 3*w**2 + 1. Let a be d(1). Let p be 3 - 0/a - 1. Is (p/(-8))/(1/(-356)) a composite number?
False
Suppose -2*k - 8 = -3*h + 4, 0 = -2*k - h + 4. Suppose k = p - 0*p - 298. Is p prime?
False
Suppose 6*b = 3*b - 9, -3*z - 2*b + 381 = 0. Suppose -z = 33*m - 36*m. Is m a composite number?
False
Let w be 9/(-21) + 62/14. Suppose -3*q - 3103 = -2*m, 3*q - 3261 = -w*m + 2900. Is m/10 + 3/5 a prime number?
False
Let r = -10619 - -28640. Is r a prime number?
False
Suppose 0 = 5*u - 0 - 15. Let i(b) = u + 2*b - 4*b + 6 + 4*b**2. Is i(7) prime?
True
Let o(c) = 5*c**2 + 33*c - 15. Is o(23) prime?
True
Suppose -28*t + 2*t = -52. Let b = 0 - 0. Suppose c - 4 = b, 2*c + 2*c + 316 = t*o. Is o composite?
True
Let h = 26 + 85. Suppose -5*w + 314 - h = 3*o, 5*o = 5*w + 365. Is o a composite number?
False
Suppose -9*x - x = 5660. Let s = x - -985. Is s composite?
False
Let p(n) = 1866*n**3 + n**2 + 3*n - 3. Is p(1) prime?
True
Let r be 1/3 - (-22)/6. Suppose 3*o = 2*o + r. Suppose -h + 220 = -3*v, o*v = v - 9. Is h a prime number?
True
Let l = 47 - 120. Let p = 121 - l. Is p a prime number?
False
Suppose -5*a + 91644 = c, 9*c - 54982 = -3*a + 4*c. Is a a composite number?
False
Let l(d) = 3*d**2 - 8*d + 18. Is l(-13) composite?
True
Let n(y) = -3*y**2 + 12*y - 21. Let w be n(10). Let v = w + 598. Is v composite?
False
Let y(s) = s**3 - 2*s**2 - s - 1893. Let g be y(0). Let i = g + 7400. Is i a prime number?
True
Let o(h) = -343*h + 25. Let n be o(-8). Let w = 4918 - n. Is w composite?
True
Suppose -4151 = -4*h - z + 10240, 0 = -5*h - 5*z + 17970. Is h prime?
False
Is -3 + 2 + 16/40*16010 a composite number?
True
Let g = -98 - -102. Suppose 0 = 3*n - g*p - 3729, 2*p - 6215 = -5*n - 3*p. Is n composite?
True
Let x = 314 - 153. Is x composite?
True
Let s be (3/(-3))/((-3339)/(-3342) - 1). Suppose -17*j + 15*j + s = 0. Is j a prime number?
True
Let m(w) = 147*w + 2. Let n(s) = -s**3 - 5*s**2 - 4*s + 1. Let b be n(-5). Suppose 5*k - 4*d - b = 0, -5*k - d + 3 - 2 = 0. Is m(k) prime?
True
Suppose -5*n + 3*n = 0. Suppose 0 = -2*u - y + 3 - 6, n = -4*u + y - 15. Is (-490)/(-5) + (u - -2) a prime number?
True
Suppose -3*l = 3*a - 60231, 67*a + l = 63*a + 80299. Is a a composite number?
True
Suppose 0 = k + 3*k - 100. Suppose -5*f + k = 345. Is (2 - -5) + -4 - f prime?
True
Suppose 3*b = 5*j - 2*b - 20, 0 = -5*j + 3*b + 12. Suppose j*t = 5*t + 20. Let c(n) = -178*n - 3. Is c(t) composite?
False
Let j = 7429 - 3828. Let k = j + -492. Is k a composite number?
False
Let d(r) be the first derivative of -5*r**4/4 - 2*r**3/3 - 3*r**2/2 - 5*r - 28. Is d(-4) a prime number?
False
Let b(k) = -162*k**2 - 4*k + 1. Let c(q) be the second derivative of 325*q**4/12 + 3*q**3/2 - q**2 + q. Let y(f) = -9*b(f) - 4*c(f). Is y(1) a composite number?
False
Let l(v) = -4*v**2 - 22*v + 25. Let x(p) = p**2 + p. Let m(y) = l(y) + 3*x(y). Is m(-18) a prime number?
True
Let v = -19 - -18. Is (1677 + v)*(-3)/(-12) prime?
True
Suppose 4*p - 7*i + 5*i - 14 = 0, -5*p = -2*i - 16. Suppose 3*w + f - 13 = 0, -p*w + 2*f + 9 = 3*f. Is w composite?
True
Let o = -15 - 256. Let a(k) = -k**3 - 7*k**2 - 3*k + 4. Let p be a(6). Let r = o - p. Is r composite?
False
Let s(c) = -3*c + 10. Let a be s(6). Let v = -22 - a. Let d(k) = 2*k**2 - k - 17. Is d(v) a prime number?
True
Suppose 2*a + 20 = 2*b - 3*a, 0 = -2*b - 2*a - 8. Let f = b + 0. Suppose f*g - 1568 = -4*l + 3*g, -3*g = 5*l - 1987. Is l composite?
True
Suppose 0 = -3*w - 14 + 62. Is w/(-40) + 5534/10 a composite number?
True
Let q = 203 - -17. Is (-7494)/(-14) + (q/(-35) - -6) prime?
False
Suppose -2 = -4*b + 2*r, -8*r + 4*r = b - 23. Suppose b*p - 2050 = -7*p. Is p prime?
False
Suppose -9 = -r + 4*r. Is (3 - -1) + 199 - r a prime number?
False
Suppose -5*x = -4*i + 277 + 424, 3*i = 2*x + 517. Is i a composite number?
True
Let v(g) = 36*g**2 + 5*g + 29. Let w(b) = -12*b**2 - 2*b - 10. Let i(q) = -3*v(q) - 8*w(q). Let p be i(-6). Let m = p - -912. Is m prime?
True
Let d be (-6)/(-3) - (1 - 2). Suppose d*l + 1525 = 2*r, -3*r + 1766 + 519 = -4*l. Is r prime?
False
Let q = 414 - 254. Let b be -10*(2/4 - 1). Suppose 5 = b*s - q. Is s a prime number?
False
Let q = 5 - 4. Suppose -l = -4 + q. Suppose l*v + 195 = 6*v. Is v prime?
False
Suppose -3*x + i + i = -15, -3 = -2*x - i. Let z(w) = 10*w - 3. Let l be z(x). Let s = l + -6. Is s composite?
True
Let d = -6 + 73. Suppose 4*f - d - 3385 = 0. Is f composite?
False
Suppose 0 = -3*s - 19 + 31. Suppose 0 = 2*m - 3*i - 6761, -s*m - 5*i + 12188 = -1323. Is m prime?
False
Let v be 580/(-18) - (-8)/36. Let a = 53 + v. Is a + -5 + 4/(-2) composite?
True
Let c = -1 + 3. Let n be 1*1/c*-6. Is (132/(-4))/n*31 prime?
False
Let w(r) = -r**2 + r. Let o(z) = 2*z - 1. Let p be o(-2). Let b(k) = -10*k + 1. Let q(i) = p*w(i) - b(i). Is q(-7) a composite number?
True
Let l be (-14320)/(-60)*15/1. Let b = -969 + l. Is b composite?
True
Let j(w) = 2*w**2 + 3*w + 1. Let c be j(-2). Suppose -c*r + 2*r + 339 = 0. Is r a prime number?
False
Let q be (24/20)/((-3)/10) + 1158. Let h = q + -256. Is h a prime number?
False
Suppose f - 32 + 12 = -4*y, 20 = 4*y + 3*f. Suppose -y*s + 2 = -8. Suppose s*b - 5 = 101. Is b a prime number?
True
Suppose -362*j + 364*j = 38578. Is j composite?
False
Suppose -3*s + 5*a + 30684 = 2*a, -5*s - 4*a + 51095 = 0. Is s composite?
False
Suppose -5*d = 4*b - 9, -6*b + 8*b = d + 1. Suppose -b = -12*v + 3971. Is v a prime number?
True
Let n be (-2)/(2/(-92)*2). Suppose 0*z - n = -2*z. Let d = z - 14. Is d a prime number?
False
Let x be 2 - (1/3)/(4/(-12)). Is (-1 - (-226)/3)*x a composite number?
False
Let c(y) = -y**3 - 3*y**2 + 8*y + 8. Let a be c(-7). Suppose 5*v + 3*h = 33, 0*v - v = 4*h - 10. Suppose -v*s + a = -4*s. Is s a prime number?
False
Suppose 2*s - 6*s - 20 = -2*c, -3*c + 2*s + 14 = 0. Suppose 0 = -c*j - 3*d + 164, 4*d = 4*j - 0*j - 308. Is j prime?
True
Let u be 230/18 + 16/72. Let h(j) = -j**3 + 15*j**2 + 9*j - 8. Is h(u) a composite number?
True
Let q = 505 - -233. Let p = q + 49. Is p composite?
False
Let v(m) be the first derivative of -5*m**4 + m**3/3 + m**2/2 + m + 8. Let b be v(-1). Suppose 0 = 2*z - b - 269. Is z composite?
True
Let b = -13353 + 24636. Is b a composite number?
True
Let n(s) = s**2 - 19*s - 41. Let j be n(20). Is (2/((-12)/422))/(j/63) prime?
True
Suppose -14 = 5*k - 2*h + 19, 3*h - 2 = -2*k. Is (-2703)/k + 18/45 prime?
True
Suppose 3*w + 0*x + 9 = 2*x, 5*w + 2*x + 31 = 0. Let z = 24 + w. Suppose -2*d - z = -333. Is d composite?
False
Let v(q) = -1. Let h(b) = 3 + 10 - 14*b + 3 + 38*b. Let a(g) = h(g) - 3*v(g). Is a(8) prime?
True
Let t = 6575 - 1854. Is t a composite number?
False
Let n = 4438 + -2921. Is n a composite number?
True
Let z(s) = -9*s**3 - 30*s**2 + 53*s + 59. Let l(r) = 4*r**3 + 15*r**2 - 26*r - 29. Let x(n) = 7*l(n) + 3*z(n). Is x(-15) a composite number?
True
Suppose -61*f - 1325372 = -8571379. Is f a prime number?
True
Suppose -a + 0*a = -4*j - 43, -170 = -5*a + 5*j. Suppose -515 = 26*k - a*k. Is k prime?
True
Let s = 204 - 128. Let f be (s/6)/((-8)/(-12)). Let i = f - -64. Is i a composite number?
False
Let k = -18 + 21. Suppose -8 = -x - k*x. Suppose -x*z - 9 + 331 = 0. Is z prime?
False
Let j(r) = -15*r**2 - 5*r + 1. Let w be j(-6). Let b = w + 1452. Is b a prime number?
False
Let q = 11205 + -4976. Is q prime?
True
Suppose -500*l + 489*l = -385253. Is l composite?
False
Is 11*139 - (10 - (-10)/(-1)) prime?
False
Let l be 43488/40 - 2/10. Let t = 412 + l. Suppose -547 = 3*v - g - t, 3*v + g = 950. Is v a composite number?
False
Suppose 1049*n = 1048*n + 1801. Is n composite?
False
Let i(j) = j**3 - j**2 - 1. Let z(r) be the first derivative of r**4/2 + 4*r**3/3 - 3*r**2 + 6*r - 4. Let m(u) = 3*i(u) - z(u). Is m(7) prime?
False
Suppose 96791 = -11*q + 496960. Is q prime?
False
Let x = -2877 - -4939. Is x prime?
False
Let h(d) = -d**3 - 5*d**2 - 13*d + 12. Let t be h(5). Let u = 332 - t. Is u a prime number?
False
Suppose -p = 3*y + 2, y = 4*p - 2 + 10. Suppose 3*b + 41 + 40 = y. Is 1706/18 - 6/b p