prime number?
True
Let x(h) = 4*h**2 + 8 - 2 - 4*h + 3 - 4. Suppose 0*l + 2*l = 10. Is x(l) prime?
False
Suppose -s = -5, -4*z - 4*s = s - 3965. Is z composite?
True
Suppose -171 = -7*g + 326. Is g composite?
False
Let h(c) = 26*c**3 + 3*c**2 + 12*c - 9. Is h(4) a prime number?
False
Let l(g) = -2*g**3 - g**2 + 1. Let k be l(1). Let b be (-3)/2*k - 7. Is 1275/27 + b/18 a prime number?
True
Let s be (7 - 8) + -2*1. Let g = s - -42. Is g a prime number?
False
Suppose 5*y - 6*y = -2503. Is y prime?
True
Let d be 1/3 - (-141)/9. Suppose -3*v + d = -23. Is v a composite number?
False
Let h(w) = 7*w - 2. Let n be (-66)/(-14) + 8/28. Suppose 3*q = n*q - 8. Is h(q) composite?
True
Let n(h) = -h**2 + 13*h + 5. Let s be n(10). Let f(v) = -v - 2. Let j be f(-5). Suppose -2*w + s = 3*z - 12, -z - 54 = -j*w. Is w a composite number?
False
Let u = 59 - 20. Is u composite?
True
Let c = 3000 - 1741. Is c prime?
True
Suppose p - 3*p - 3*d = -5803, 0 = 2*p + 2*d - 5804. Is p composite?
False
Let f(h) be the third derivative of 19*h**7/420 - h**5/60 + h**4/24 + h**3/2 + 2*h**2. Let m(l) be the first derivative of f(l). Is m(1) prime?
True
Suppose 16*w + 5224 = 24*w. Is w a prime number?
True
Let s(w) = 2*w**2 + 3*w - 3. Let y be s(-3). Suppose -y*z + 30 = -z. Is z a prime number?
False
Let o be 3/6 - (-26)/(-4). Let b be (15/o)/(2/(-4)). Suppose 181 = 5*s - b*w + 3*w, 2*s = -4*w + 58. Is s a prime number?
False
Suppose d + 4 = 0, -5*a - d + 3 = -3. Suppose 0 = 7*q - a*q. Suppose -111 = -3*u - q*u. Is u a prime number?
True
Let h = 449 - 178. Suppose -c - 3*o = -h, -c + o = 4*c - 1291. Is c a composite number?
True
Suppose -5*n - 12 = 23. Let r(p) = -2*p**3 - 27*p**2 - 17*p + 20. Let d(v) = -v**3 - 13*v**2 - 8*v + 10. Let w(y) = n*d(y) + 3*r(y). Is w(-9) a prime number?
False
Let s(b) = 2*b**2 + 2*b + 19. Is s(-16) a prime number?
True
Suppose -26 = -2*x + 24. Suppose f - x = -2. Is f a composite number?
False
Let b(h) = h**2 - 4*h - 1. Let t(i) = i**2 + i + 2. Let o be t(0). Suppose -12 = 3*z - 0*s + o*s, -2*z = 4*s. Is b(z) a prime number?
True
Let a(s) = s**3 + 9*s**2 - 8*s + 39. Is a(13) prime?
False
Let t = 1171 - 790. Is t prime?
False
Let j(f) = 333*f - 49. Is j(12) a prime number?
True
Suppose 0 = -d - d + 6. Suppose 0 = d*m - 5*s - 57, 5*s + 85 = -0*m + 5*m. Is m composite?
True
Let p = 508 - 21. Suppose -347 = -6*x + p. Is x a composite number?
False
Let d(j) = j**3 - 5*j**2 - 12*j + 8. Let i be d(8). Let u = -66 + i. Is u a composite number?
True
Suppose 0 = 2*s + 4*u - 4, -4*s = -s - 5*u + 5. Suppose s = 4*o - 405 + 89. Is o a composite number?
False
Suppose -5*w + 2*w = -21. Suppose 0 = 10*j - w*j - 789. Is j prime?
True
Suppose -21 = 2*b - 4687. Is b a prime number?
True
Let k(z) = -4 - 2 + 2 + 13*z + 3. Is k(6) composite?
True
Let b be -1 - (1 - 3 - 14). Let y = 6 + b. Is y a prime number?
False
Let u(t) = -t**3 - 3*t**2 + 4*t + 1. Let n be u(-4). Let w(i) = 150*i - 1. Is w(n) composite?
False
Let w be (-2)/(2 + 0)*-1. Suppose 5*v + 3*j - 81 = 0, -4*j - 53 = -4*v - w. Is v a composite number?
True
Let t(k) = -9*k**3 - k**2 + k + 1. Is t(-2) composite?
False
Let o(u) = -42*u + 1. Let q be o(-1). Suppose 23 = 2*n - q. Is n composite?
True
Let d = 853 - 64. Suppose -4*y + d = 5*z, -6*z + 20 = -2*z. Is y a prime number?
True
Let n be 2/(-1*4/(-844)). Suppose 5*b + n = 7*b. Is b a prime number?
True
Let w(x) = -148*x + 1. Let s be w(-2). Let i = s + -46. Is i a prime number?
True
Suppose -k - 2*y + 5*y = -114, 5*k + 4*y - 608 = 0. Suppose 3*l - 292 = h - 3*h, l - 5*h - k = 0. Suppose -3*o + l = o. Is o prime?
False
Let v(g) = 3*g**2 - 18*g + 12. Is v(-13) a prime number?
False
Let b(g) = -3*g**3 - 6*g**2 + 6*g + 2. Let f(v) = -v**3 + v**2 - v - 1. Let i(n) = b(n) - 2*f(n). Is i(-9) prime?
True
Let g = 6489 + -2933. Is (g/(-42))/((-4)/6) a composite number?
False
Let c be 36/(-8)*(-178)/3. Suppose -3*p + c = t, -p + 20 + 69 = -t. Is p a prime number?
True
Suppose a - 6*a = -3090. Let o = -239 + a. Is o composite?
False
Suppose -3*m + 4 - 11 = -4*l, 4*l = -5*m - 1. Let q be 2/(l - 7)*3. Let y(b) = -18*b + 1. Is y(q) composite?
False
Suppose 0 = 14*b - 9*b + 40. Let f(z) be the second derivative of -z**4/12 - 8*z**3/3 + z**2/2 - z. Is f(b) prime?
False
Let b be -1 - -5*(39 - -1). Let g = b - 110. Is g composite?
False
Let l(a) be the second derivative of -a**5/20 + 3*a**4/4 + 5*a**3/6 + a**2 + 2*a. Let x be l(8). Suppose x = 2*g - 2*q, 3*q = -4*g + 2*q + 212. Is g prime?
True
Suppose 2*o - 102 - 18 = 0. Let q = o - 29. Is q a prime number?
True
Let k(t) = 33*t**2 + 2*t + 28. Is k(-13) a prime number?
False
Suppose -d = 5*f - 14, 2*d - d - 2 = -f. Suppose -f*k = 2*y - 286, 4*y + k = 3*y + 145. Is y a composite number?
False
Let g = 10 - 11. Let p(u) = -128*u - 1. Is p(g) a prime number?
True
Let k = 140 - 62. Suppose -p + k = w, w - 50 = p + 26. Is w a prime number?
False
Let r(d) = 11*d**3 - 3*d**2 - 9*d + 13. Is r(4) a prime number?
False
Let s = 96 + 89. Is s a composite number?
True
Let r(n) = -2*n**2 - 4*n + 9. Let t be r(6). Let j = t - -261. Suppose 0*z = 3*z - j. Is z a composite number?
True
Let m be -1 + 1 + 6/3. Is 746/m*(0 + 1) a composite number?
False
Is ((-178)/6)/((-2)/30) prime?
False
Let p(v) = 283*v**3 + v**2 + v - 1. Let f be p(1). Let g = -169 + f. Is g a prime number?
False
Let f(z) = z + 4. Let u = -15 + 11. Let r be f(u). Let q(p) = -p**3 - p**2 + 19. Is q(r) prime?
True
Let h = -28 + 19. Let j be -6*(3 + 33/h). Is 306/10 + j/10 composite?
False
Suppose -12 = -3*x - 0*x, s + 2*x - 103 = 0. Is s a prime number?
False
Suppose 0 = -4*p + 8, 0*a - 3*p = -a - 16. Let k be (-14)/a - 12/(-20). Suppose k*g + 4*r = 8*r + 58, -2*r - 103 = -3*g. Is g a prime number?
True
Let y be 6/9*(-12)/(-2). Suppose 0 = q - 2*q + y. Suppose q*t + 187 = 5*p, 5*t + 26 = p - 24. Is p a composite number?
True
Suppose 1119 - 257 = m. Is m a composite number?
True
Suppose -3*p - 2*v + 7*v = -447, -v = 0. Is p a composite number?
False
Let c(w) = w**2 - 4*w - 1. Let u be c(5). Suppose -u*y - 3*m + m = -24, -m = -y. Suppose 0 = -y*q + 372 - 56. Is q a composite number?
False
Let r(q) = 75*q**3 + q**2. Let w be r(-1). Let k = -35 - w. Is k a composite number?
True
Suppose 51 = 3*s - 60. Is s a prime number?
True
Let y = -265 + 456. Is y a composite number?
False
Suppose 9*i - 4*i - 8095 = 0. Is i composite?
False
Suppose w - 2*r - 3*r = 79, 4*w - r - 316 = 0. Is w a prime number?
True
Suppose 5*d = d + 2*t + 1682, -5*d + t = -2098. Is d composite?
False
Let z = 23 + 80. Is z prime?
True
Suppose -5*c = -5*j + 5430, -4*j + j + 3252 = 3*c. Suppose 7*y - j = 2*y. Is y a composite number?
True
Is (-2)/(-8) + (-43)/(-4) prime?
True
Let l be 0 - (-1 + (-3)/(-3)). Is 4/(12/477) + l a prime number?
False
Let q be -4 - ((-12)/(-2))/3. Is (93/6)/((-1)/q) composite?
True
Let a(j) = -j**3 - 6*j**2 - 8*j - 2. Is a(-7) a composite number?
False
Let q(y) = y**2 - 13*y + 10. Let c be q(12). Is (15 + c)/(1/7) a prime number?
False
Let l be 6*(18/4)/(-1). Let b = 106 + -64. Let k = l + b. Is k a prime number?
False
Let n(s) = 27*s - 19. Is n(10) composite?
False
Let i(p) = p**2 - 15*p + 31. Is i(18) a prime number?
False
Is 80 + 3/3 + -2 a prime number?
True
Suppose 20 = 22*g - 17*g. Suppose -a - 501 = -g*a. Is a prime?
True
Suppose 4*y - 5*x = 1485, -x + 2*x = 2*y - 735. Is y composite?
True
Let f(d) = -d**3 + 5*d**2 + 7*d + 5. Let a be f(6). Let c be (-99)/(-6)*(-8)/(-3). Suppose -h = -a - c. Is h a prime number?
False
Let k(m) = 20*m + 7. Is k(9) a prime number?
False
Suppose -11 = 4*m + 3*l, 5*l = 3*l + 6. Let t(r) = -14*r - 1. Let h be t(m). Suppose 199 = 4*i - h. Is i prime?
True
Suppose -2*p = -0*p - 46. Let n = p + -65. Is -10*(n/(-4))/(-3) a prime number?
False
Suppose -102 - 94 = -3*g - k, -5*g = 4*k - 315. Is g a composite number?
False
Let l(z) = 72 + 0*z**2 - z**2 + 151. Is l(0) a prime number?
True
Let a = -42 + 0. Let h = a - -91. Is h a prime number?
False
Is 10/25 + (51777/15)/3 prime?
True
Suppose -8 - 4 = -4*o. Suppose 169 - 4 = o*t. Is t prime?
False
Suppose 0*l - 3*t - 22 = -2*l, -t - 4 = 0. Suppose 5*i + 2*k - 5*k = 158, 5*i - l*k - 160 = 0. Is i prime?
True
Let g(l) = -10 + 3*l + l - 6*l**2 + 2*l**2 + 5*l**3 + 0*l**2. Is g(4) prime?
False
Let c(q) = 37*q + 