f -29*p**2 + p - 1. Is l(-1) a prime number?
True
Let i(u) = 10*u**2 + u - 1. Suppose k = q + 1, -5*k = -q - 4 - 1. Is i(k) prime?
False
Let a = 5 - 1. Suppose -a*g = -2*g - 14. Suppose -4*b + 5*c = -158, -2*b - 4*c + g*c + 80 = 0. Is b prime?
True
Let d = 3 - 5. Let u be (2/(-1) + -6)/d. Suppose u*n + 76 = 4*j, 2*n - n = -4*j + 76. Is j a composite number?
False
Suppose 0 = 4*j + 3*q + 2*q - 255, -4*q - 4 = 0. Is j prime?
False
Suppose -5*p + 21 = y - p, -10 = -2*p. Let o(i) = 4*i - 1. Let h be o(y). Is ((-34)/h)/((-2)/9) composite?
True
Suppose 619 + 233 = 3*k. Let m = k - -129. Is m a prime number?
False
Let y = -14 - -23. Is -18*(2 - 21/y) prime?
False
Suppose 0 = -r - 5*f + 2794, 21760 = 5*r + 4*f + 7685. Is r a composite number?
False
Let i = 8 - 6. Suppose -i*h + h = -149. Is h a composite number?
False
Suppose 2*b = -5*a + 6301, -b - 5*a - 6351 = -3*b. Is b a composite number?
False
Let f = -82 + 639. Is f prime?
True
Suppose -4*l + 0*l = -4*v - 1416, 3*l = -v + 1078. Is l prime?
False
Suppose 4*v = 2*v + 4. Suppose v*d - 206 = 216. Is d a prime number?
True
Let g be (-6)/(-27) + 48/27. Let b = 13 - g. Is b prime?
True
Suppose -3*v = 2*v. Suppose v = -4*a - 4 + 24. Suppose -2*l + a*l - 63 = 0. Is l a composite number?
True
Suppose 7*i - 3*i = 0. Suppose v = 3*w - 5*w + 96, 3*w + 2*v - 143 = i. Is w composite?
True
Let x be (-1 - -2)*(4 + -1). Suppose -i + 4*w = -18, -4*w = -x*w + 4. Suppose -i*t = -0*t - 74. Is t composite?
False
Suppose 3*n - 46 = -n - 5*m, 2*n = -5*m + 18. Is 824/7 + 4/n composite?
True
Let c(n) be the first derivative of 3*n**2/2 - 9*n - 3. Is c(6) prime?
False
Suppose 20 = -2*q + 6*q. Suppose 0 = -2*w + 4*b - b + 16, q*w - 2*b = 62. Is w prime?
False
Let t(j) = j**2 + j - 37. Let z be t(0). Let c = 144 + z. Is (c - 1)*(-1)/(-2) a prime number?
True
Suppose -3*u + 5*d + 1197 = -2*u, u - 1233 = -4*d. Is u composite?
False
Let i be -4*((-7)/2 - -3). Suppose -i*x = -5*x + p + 370, 4*p - 365 = -3*x. Is x a prime number?
False
Suppose -10 = -5*p + 2*x, -3*p - 4*x = -2*p + 20. Let n = 2 - p. Suppose -111 - 335 = -n*m. Is m prime?
True
Let g = 16 - 22. Let l be (-346)/g + 2/(-3). Is (-2 + 1)/((-3)/l) prime?
True
Suppose x + 226 = -c, -c - 4*x - 234 = x. Let h(a) = 2*a**3 - 7*a**2 - 3*a + 3. Let d be h(-5). Let p = c - d. Is p prime?
False
Let r be (-3)/(-2)*(3 + -1). Suppose -20 = -6*q + 2*q. Suppose -r*b + q*b - 62 = 0. Is b prime?
True
Let j be ((-6)/(-15))/(3/15). Let k(x) be the third derivative of 41*x**4/12 - x**3/6 - 7*x**2. Is k(j) composite?
False
Suppose -4 = -4*q + 8. Suppose 0*p + 4 = p, 0 = q*s - p - 5. Is (-53)/(0 - (s + -2)) composite?
False
Suppose 1 = -m - 3*k, 5*m - 4*m + 4*k = -2. Let q(a) = a**2 + a + 1. Let r(v) = 3*v**2 - 3*v - 2. Let f(l) = m*q(l) + r(l). Is f(-1) prime?
False
Suppose -5*d + 72 = -d. Let z be (d*-41)/(-3) + 0. Suppose 5*t = -51 + z. Is t a composite number?
True
Suppose 24 = -2*v - 2*v. Is (-3)/v + (-1034)/(-4) composite?
True
Let k = 8 - 4. Suppose -k*y + 8 = -4. Is y a prime number?
True
Let y(k) = k - 9. Let m be y(8). Let v = 1 - m. Suppose -v*j = -24 + 2. Is j a prime number?
True
Let h = -6 + 9. Suppose 2*n + 0*n = -h*p + 254, -3*p - 4*n = -244. Let d = -35 + p. Is d composite?
False
Suppose 4*v - 71 = 237. Is v prime?
False
Let d(n) be the first derivative of -n**4/4 - 8*n**3/3 - 13*n - 2. Is d(-10) composite?
True
Suppose -268 = -11*o + 106. Is o a prime number?
False
Let v(h) = 96*h + 13. Is v(5) prime?
False
Let c(w) be the third derivative of -7*w**6/60 + w**5/60 - w**3/6 - 7*w**2. Is c(-1) composite?
True
Suppose -3*w - 4*d = -22, 5*w + 2*d = d + 14. Suppose w*a - 78 = -2*q, 0 = -a + 5. Is q a composite number?
True
Let v(s) = -2*s**2 - s + 1. Let b be v(-1). Is (-1 - b) + (22 - 0) a composite number?
True
Let f(o) = o**3 + o**2 - 3*o + 4. Let m be f(-3). Let d(x) = 11*x - 5*x - 10*x - 1. Is d(m) a composite number?
False
Let m(q) = -5*q**3 - 2*q + 1. Let a be m(1). Let l be 2/(-2 + a/(-4)). Is 95/3*(l + 7) a prime number?
False
Let s = -57 + 78. Is s a composite number?
True
Let m be 110/(-130) + 2/(-13). Is (7*(m - 4))/(-1) a prime number?
False
Let h(d) = 14*d**2 + 2*d + 1. Is h(-4) prime?
False
Let i(w) = -w**3 - 6*w**2 - 5*w + 11. Is i(-8) a prime number?
True
Let n(g) = -4*g**2 + 6*g - 2. Let c(x) = 7*x**2 - 11*x + 4. Let f(p) = -6*c(p) - 11*n(p). Is f(2) prime?
False
Let d(a) = 70*a**2 - 1. Is d(1) prime?
False
Is 1/(1/(-1585)*-5) prime?
True
Suppose -2*i - 2*i = -5*w - 200, -4*i - 5*w + 240 = 0. Is i a composite number?
True
Suppose 0 = -u + d + 7, 4*u = -2*d - 2 + 6. Suppose v + s - 91 = 0, u*v - 331 = -2*s - 54. Is v prime?
False
Let i be (0/(-1))/(3 - 1). Let c be 7 - ((-3 - -1) + 2). Suppose 2*o - b - 22 = i, 5*b + 0*b = o + c. Is o prime?
True
Let i(c) = c**2 + 9*c + 2. Let k be i(-5). Is (-4)/k - (-104)/18 prime?
False
Let f = 7 - 1. Let s(p) = 32*p + 2. Is s(f) prime?
False
Suppose 0*w - 15 = -5*w. Suppose 0 = 5*r - w*r - 20. Is r a prime number?
False
Suppose -4*l + 748 = -0*l. Is l a composite number?
True
Suppose b = 2*x - 735, -x + 308 + 52 = b. Is x composite?
True
Suppose 5*x - 2*t = 3689, -2*x = 2*t - 7*t - 1463. Is x a composite number?
False
Suppose -10 = 5*j + 5*f, 3*f + 8 = 2*j - f. Suppose -4*v + 4*n = -704, -2*n + 9 = -5*n. Suppose j = 5*t - 252 - v. Is t composite?
True
Let j = -148 + 239. Is j a composite number?
True
Suppose -5*v - 692 = 253. Let f = v - -266. Is f composite?
True
Let o = 21 + -13. Let r = o + -3. Suppose -2*x = -4*p - 720 + 194, -4*p - 1321 = -r*x. Is x prime?
False
Let b(z) = z + 13. Let v be b(-8). Suppose v*s - 298 = -5*j + 357, -4*j + 524 = -4*s. Is j a composite number?
False
Suppose 0 = -5*q + n + 11664, 8*n = -q + 6*n + 2335. Is q prime?
True
Is 97*(-6)/((-30)/35) a prime number?
False
Let m be (0 + -1 + 0)/(20/880). Suppose -3 = -3*l + 15. Is (l/(-4))/(3/m) a prime number?
False
Let m be 36/((-6)/(-4) - 0). Is (m - -1)*(-2)/(-2) composite?
True
Suppose -o + 10 - 4 = 2*w, 0 = 2*o - w - 12. Suppose 2*s - 844 = -4*k, s - 844 = -4*k + o*s. Is k a prime number?
True
Suppose -17*u + 10*u + 11081 = 0. Is u prime?
True
Let t = -1799 - -2802. Is t prime?
False
Let y(l) = 8*l - 2. Let a be y(1). Let w = 97 - a. Is w a composite number?
True
Let o(y) = 3*y**3 - 7*y**2 + 4*y - 11. Is o(6) a prime number?
True
Suppose -4*a = -4*j + 52, 4*j + 0*a = -4*a + 20. Let f = j - 7. Is -2*(-18)/8*f a prime number?
False
Let i = -5 + 4. Let o be (-4)/(12/(-15)) - i. Is (1328/24)/(4/o) prime?
True
Suppose -2*x - 174 + 640 = 5*t, 5*x = 3*t + 1103. Is x composite?
False
Let p be (-6)/15 - 34/(-10). Suppose p*w = -5*k + 370, -3*w + 352 = -k + 12. Is w prime?
False
Let c(r) be the second derivative of r**5/20 - r**4/12 - 11*r**3/6 + 3*r**2 - r. Is c(7) prime?
True
Let a(o) = 2*o**2 - 9*o - 2. Suppose -l + 0*l = -7. Let q be a(l). Is 6/q + 1734/22 prime?
True
Suppose -3*g = -g - 58. Suppose 3*d - g = 16. Is d a prime number?
False
Suppose 5*s - 2111 = -2*b, -1345 = -4*b + 2*s + 2817. Is b a prime number?
False
Is -127*(-8)/(-2 - -6) composite?
True
Let l(k) = -k**3 + 5*k**2 - 5*k + 2. Let c be l(3). Suppose -3011 + 1156 = -c*s. Is s a prime number?
False
Let w(m) = 40*m - 2. Is w(3) a composite number?
True
Let u(o) = o**3 + 4*o**2 + 7*o - 3. Let k(z) = z**3 + z**2 - z. Let w(i) = 2*k(i) - u(i). Is w(6) composite?
True
Let i = 1031 - 633. Is i prime?
False
Let q = -2880 + 5203. Is q prime?
False
Let r = -3475 + -7701. Is 4/(-18) - r/72 a composite number?
True
Let s = -220 - -384. Let q be 0 + s + (1 - 3). Suppose -2*p + q = 5*a + 61, 2*a + 5*p - 53 = 0. Is a prime?
True
Suppose 726 = 2*r - 4*i - 0*i, 3*r - 3*i = 1104. Suppose r = 7*b - 229. Is b a prime number?
False
Let m(a) = 3*a**3 - 2*a + 1. Let u be m(1). Suppose u*w = r - 237, 0 = w + 2*w. Is r a prime number?
False
Suppose -5*i + i - 5*k - 88 = 0, -i - 37 = 5*k. Let n be (11 - 1)/(4/8). Let x = n - i. Is x a prime number?
True
Suppose -5*u = -0*u. Let f(s) = s**3 - s - 3. Let j be f(4). Suppose -3*w + u*w = -j. Is w a prime number?
True
Let s = -30 + 18. Is 2/(s/2391)*-2 prime?
True
Let t be -2*3/(-8)*4. Suppose 0 = -t*a - 2*a + y + 348, 3*y = 6. Let i = a - 33. Is i a prime number?
True
Let b be -23*(-2 - 9)*1. Suppose -4*j + 9*j - 20 = 0. Suppose -a + 3*n + 28 + 30 = 0, -j*a = -5*