a(p) = -61*p - 1 - 33*p + 8. Is a(-6) a prime number?
True
Let p be ((-6)/4)/(12/(-32)). Let l(z) = -42*z + 17. Let f(v) = 14*v - 6. Let m(k) = -8*f(k) - 3*l(k). Is m(p) a prime number?
True
Is -15 + 14 - (-248)/2 a prime number?
False
Let s(f) = 2*f**2 + 17*f + 13. Is s(-12) a composite number?
False
Is ((-3788)/8)/(4/(-8)) a prime number?
True
Suppose l - 2*l = -10. Let f be (l/(3 - 1))/1. Suppose 5*u = -y + 5*y - 207, f*y = -3*u + 268. Is y prime?
True
Is ((-4)/10)/((-4)/1270) composite?
False
Suppose 5*w - 470 = -100. Suppose -3*u + 95 = 5*x + 27, 2*x = -3*u + w. Is u a composite number?
True
Suppose -3*a - 2 = 1. Is (98/(-4) - a)*-2 prime?
True
Let i(r) = 17*r - 3. Let u be i(4). Suppose -u = 6*x - x. Is x/(-1)*1/1 a prime number?
True
Suppose y = -4*x - 8, -2 = -5*x + y - 12. Let p = 5 - x. Suppose -d + p = -0*d. Is d a composite number?
False
Suppose f - 9 = -2*f. Suppose -f*d = -15 + 3. Suppose -d*m = -2*m - 298. Is m composite?
False
Suppose -2*s + 0*s = 2. Is s/(3 - 1470/489) a prime number?
True
Let d be ((-2)/(-4))/((-1)/(-2)). Let l be d/5 - 3843/(-35). Suppose -h = 3*j - 53, h + 4*j - l = -h. Is h composite?
False
Let t(a) = -a**3 + 8*a**2 - 7*a + 1. Suppose s - j = -10, 0 = 2*s - 0*s + 3*j + 25. Let y be 6/33 + (-64)/s. Is t(y) prime?
True
Let f(m) = m**2 + 1. Let n(t) = t**3 - 14*t**2 + 8*t + 1. Let j(v) = -4*f(v) - n(v). Let g be j(9). Suppose z = -g*z + 1175. Is z a composite number?
True
Let c(k) = -5*k**2 - k + 10. Let h(a) = -a**2 - a. Let u(g) = -c(g) + h(g). Is u(-9) a composite number?
True
Let j(d) = d**2 + d - 1. Let w be j(1). Let y = 3 + w. Suppose 2*p = l - 127, y*p + p + 496 = 4*l. Is l composite?
True
Suppose 4*c - z - 4*z = 3167, -4*c = 5*z - 3177. Suppose -5*p = 2*f - 307, f + 4*p = -4*f + c. Is f composite?
True
Let f(h) = -94*h - 31. Is f(-5) composite?
False
Let h(u) = 145*u - 24. Is h(11) composite?
False
Let y(l) = -l**3 - 11*l**2 - 12*l - 9. Suppose 0 = -i + 3*x - 26, -2*x + 49 = -4*i - x. Is y(i) composite?
True
Let p(t) = -t**3 - 6*t**2 + 7*t + 4. Let i be p(-7). Suppose -7*x + 3*x - f = -893, -i*x - 2*f + 894 = 0. Is x a prime number?
True
Let v be (-2)/(-1 - 48/(-46)). Let i = -27 - v. Is i a composite number?
False
Is ((-1838)/(-3))/(36/54) prime?
True
Let x(q) = 65 + q**2 + 0*q**2 + q + 2*q**3 - q**3. Is x(0) a prime number?
False
Let u be (-578)/14 - 6/(-21). Let r = 38 - u. Is (r - 0)/(4 + -3) a prime number?
True
Let v(a) = -a**3 + 65. Let x be 0/1 + (-2 - 4). Let i be (x - -3) + (-9)/(-3). Is v(i) a composite number?
True
Let y = 554 + -343. Is y a composite number?
False
Let i(k) = k**3 - k**2 - k + 87. Is i(0) a composite number?
True
Let s(x) = x**2 + 2*x + 0 + 0*x - 1. Is s(-5) prime?
False
Suppose 2*c + 0*l - 2*l = -676, -354 = c - 5*l. Let r = c + 907. Is r composite?
True
Let g(u) = 156*u - 1. Let z be g(-1). Let n = 284 + z. Is n composite?
False
Let d(p) = -2*p**2 - 10*p - 1. Let i be d(-8). Let a = i + 77. Is (-9)/3 - a/(-1) prime?
False
Let g = 2832 + -1273. Is g a prime number?
True
Suppose 5 = 4*c + 5*k, -c + 3*k - 6 = -20. Suppose -c*y + 388 = -g, -4*y - 3*g = 2*g - 293. Is y prime?
False
Let d be (-21)/(2*(-1)/14). Suppose -2*s + 2*b - 73 = -11, -d = 5*s + 3*b. Is s/4*(-18)/15 prime?
False
Let w(s) = 2*s**2 - 6*s + 5. Is w(-6) prime?
True
Let i(a) = -a**2 - 6*a + 5. Let b be i(-6). Suppose 0*d + b*d = 265. Is d prime?
True
Let a be ((-2)/3)/(10/15). Let o(m) = -32*m - 1. Is o(a) composite?
False
Suppose s - 2*k = 5293, 4*s + 4*k = 3687 + 17425. Suppose 3*w - s = -n, n - 1761 = -3*w + 2*w. Suppose 0 = -2*j + 5*j - w. Is j prime?
True
Suppose 0 = -3*q - 3*i - 12, -i = -0*q - 3*q - 20. Let k(m) = 4*m**3 + 8*m**2 + 6*m - 6. Let j be k(q). Let u = j + 875. Is u prime?
True
Suppose 12 = -0*t + t. Is (-3)/9 - (-472)/t composite?
True
Let g(v) = -v. Let k be (-2 + 4 - 7) + 2. Let x be g(k). Let p(u) = 2*u**3 - u**2 - 2*u. Is p(x) composite?
True
Let j = -1087 + 2718. Is j prime?
False
Let r(j) be the first derivative of 23*j**3/3 - j**2 + 3*j + 2. Is r(2) composite?
True
Let w = 2 - -7. Let r be 1 + (-1)/(3/w). Is ((-116)/8)/(r/8) a composite number?
True
Is ((211 - 4) + 4)*1 composite?
False
Suppose 0 = -6*t + 3*t + 4*p + 1435, -5*t + 4*p = -2397. Is t composite?
True
Let x = 190 + 21. Is x composite?
False
Let f(d) = -20*d + 27. Is f(-8) a composite number?
True
Is -2 + 569 + 1 + 3 a prime number?
True
Let q be ((-28)/(-6))/((-4)/(-66)). Let k = q + -40. Is k - (-2 - (-2)/2) prime?
False
Suppose 2*l - 3*d + 3 = 0, -d - 1 + 2 = -3*l. Let m = l - -9. Is m a composite number?
True
Is (-8097)/(-7) + (-16)/(-56) prime?
False
Let m(u) = -17*u - 6. Let d(c) = 1. Let b(n) = -4*d(n) - m(n). Is b(3) prime?
True
Suppose 3*y + 77 = 395. Suppose x + y = 3*x. Is x a prime number?
True
Let c = 107 - -38. Is c a prime number?
False
Let j = -766 + 1113. Is j prime?
True
Suppose 0*t + t = 513. Suppose -3*b + 1554 = t. Is b a prime number?
True
Is 316/(-2)*(-5)/5 a prime number?
False
Suppose 4*d + 5*w - 123 = 89, 3*w - 53 = -d. Is 4/(-12)*-3*d composite?
False
Suppose 5*q - 5*b + 16 = 6, -q - 2*b + 1 = 0. Let h = q + 2. Suppose 0 = -3*r + 22 - h. Is r prime?
True
Suppose 0 = 5*w - 3*q - 4976, -2*w - 7*q + 6*q = -1997. Is w prime?
True
Let a = -242 - -351. Is a a prime number?
True
Is ((-9)/(-18))/((-2)/(-4460)) composite?
True
Let l be 5/5 - (-1 - 116). Suppose -m + l = m. Is m prime?
True
Suppose 2*y + 6 = 2*s - 12, 5*s + 3*y - 61 = 0. Let v = 21 - s. Is v a composite number?
True
Let t = 3 - -2. Let m(z) be the second derivative of z**3/3 - 3*z**2/2 - 2*z. Is m(t) composite?
False
Let j(t) = 2*t - 13 + 0*t + 0*t. Is j(11) prime?
False
Let g(a) = a - 3. Let c be 9/(-6)*(-20)/6. Let k be g(c). Suppose -2*w = -3*r + 71, -k*r + 4*w - w = -54. Is r a prime number?
False
Suppose -2*i + 2*n = -4, -4*n = -2*i + 11 - 3. Suppose 0 = -f - d + 183, i*f - f = 3*d - 175. Is f prime?
False
Let a be 4 - (2 - -2)/2. Suppose -5*q + 3*m = -665, -a*m = -5*q + 774 - 109. Is q prime?
False
Suppose 4 = 4*y - 4*l, 2*l = 3*y - 4*y + 4. Suppose -4*c + 6 = -y*c. Is c a prime number?
True
Let l(m) = -5*m - 13. Let f = -27 - -16. Let h be 1 + 1 + f - 1. Is l(h) composite?
False
Let c(j) = j + 10. Let y be c(9). Let n be (-52)/(-14) - (-4)/14. Suppose -150 + y = -3*r - n*z, 0 = -r + 2*z + 57. Is r prime?
False
Let v = 13 - 3. Let u be (-5)/(-2)*4/v. Is 0 + 34 - (u + -4) a prime number?
True
Let c(x) = 3*x**2 + 1. Is c(-4) composite?
True
Let a = -35 + 22. Let h = 60 + a. Is h prime?
True
Let u = 17 - 7. Let n = 1 + u. Is n a prime number?
True
Let d(o) = -o**2 - 10*o + 3. Let j be d(-10). Suppose h + 4 = j*h. Suppose 0 = h*a - 3*a + 122. Is a a composite number?
True
Let y(x) = x**3 + 3*x**2 + x. Let a be y(-2). Suppose 4*n - c - 230 = a*n, 4*n = 3*c + 464. Is n a composite number?
False
Let u(o) = o**3 - 7*o**2 - 4*o - 3. Let k(x) = x**2 + 6*x - 8. Let g be k(-8). Let p be u(g). Suppose p = 3*i - 28. Is i a prime number?
True
Let c be 12/(-21)*21/(-6). Is 102 + -7 + 1*c prime?
True
Let s = 8 - 12. Let x = s + 6. Let d = x + 12. Is d a prime number?
False
Suppose 7 = 4*s + 3, -3*s + 11 = 2*o. Let x be (-634)/18 - o/(-18). Let d = -2 - x. Is d a prime number?
False
Suppose k + 15 = -2*k, 0 = -3*v + k + 539. Suppose 0 = j + 55 - v. Is j prime?
False
Suppose 0 = -w + 2 + 6. Suppose -w*d = -11*d + 201. Is d prime?
True
Let i = 6 - 6. Suppose -2*v + 2 = 0, i*w - 3*v + 418 = 5*w. Is w composite?
False
Suppose b = 4*b - 2049. Is b composite?
False
Suppose -4*t = 1208 - 4356. Is t a composite number?
False
Let j = 1072 - -849. Is j composite?
True
Let c = -633 - -1111. Is c prime?
False
Is 30/(4 + -2)*1 a composite number?
True
Suppose -2*w + 5*p + 6 + 0 = 0, -w + 3*p + 2 = 0. Let h = w + -4. Suppose 0 = -7*x + 4*x - m + 195, -h*m - 260 = -4*x. Is x a composite number?
True
Let t = -36 + 71. Is t a composite number?
True
Suppose k = 3*v - 358, -7*v + 4*k = -2*v - 606. Is v composite?
True
Suppose -g - 8 = -2*p, 4*p - 3*g - 22 = -p. Suppose 4*t - 42 = p*t. Is t a composite number?
True
Suppose 38 = 2*s - 200. Is s a prime number?
False
Let g = 12 + -10. Let r = -11 + g. Let o = r - -22. Is o prime?
True
Let f(z) = 43*z**2 - 8*z + 8. Is f(5) a composite number?
True
Suppose -4*d + 5*d - o = 503, 0 = d - 4*o - 506. Is d composite?
True
S