 - 8*q(m). Is k(-1) a composite number?
True
Let v(p) be the third derivative of 43*p**4/12 + 5*p**3/6 - p**2. Is v(3) composite?
False
Suppose -98 = -2*g + 3036. Is g a prime number?
True
Let u(y) = 9*y**2 + 5*y - 9. Suppose 2*p + 2*v + 20 = 0, 0 = p + 5*v - 3*v + 15. Is u(p) composite?
False
Suppose 50870 = 19*q + 4567. Is q composite?
False
Suppose 2*v + 55 = 4*v + h, -v + 23 = -h. Suppose 0 = -5*i - d - v + 138, 0 = -5*i - 5*d + 120. Is i a prime number?
False
Suppose -9397 - 27562 = -13*o. Is o prime?
True
Let h(x) = x + 7. Let a(y) be the third derivative of y**4/24 + 7*y**3/6 - 2*y**2. Let q(w) = -3*a(w) + 4*h(w). Is q(0) a composite number?
False
Let r = -26 - -136. Suppose -s + 3*s - r = 0. Is s composite?
True
Let g be (-6)/(-4)*4/2. Suppose g*z = -m + 391, -4*z + 512 = m - 2*m. Is z a prime number?
False
Suppose -k - 3 = 2*k. Is k/((3/195)/(-1)) a composite number?
True
Suppose p - 167 = 282. Is p a composite number?
False
Let h(d) = d**2 + 7*d + 5. Suppose 0 = -3*w + 7*w - 4*p - 32, 38 = 5*w - 4*p. Is h(w) composite?
False
Suppose -b = -0*b - 64. Suppose b - 1 = 3*h. Is h prime?
False
Suppose -l + 2370 = l. Suppose 0 = 4*m + m - l. Suppose g + 488 = 5*s, 2*s - 5*g - m + 28 = 0. Is s composite?
False
Is (-4)/(-4)*2609*(1 - 0) prime?
True
Let u = -48 - -72. Let b = -13 + u. Is b a composite number?
False
Let i = -528 + 1205. Is i prime?
True
Suppose 2*b = x, -3*x + b = 12 - 2. Let l be x/(-10) - 96/15. Let y(f) = f**3 + 8*f**2 + 7*f + 7. Is y(l) prime?
True
Suppose 12*c = 7*c + 1490. Is c prime?
False
Suppose 0*p + 4*p = 3*b + 436, 3*b + 428 = 2*p. Let i = -85 - b. Is i a prime number?
False
Is (333/3)/(-3)*-11 prime?
False
Let c(l) = l**3 + 18*l**2 - l - 35. Is c(-15) a composite number?
True
Is (127/(-5))/((-1)/5) composite?
False
Let s = -24 + 6. Suppose -6 + 17 = -l. Let i = l - s. Is i composite?
False
Suppose 3*z = 2*m + 668, 2*z - 2*m + 5*m = 467. Is z a prime number?
False
Suppose 0 = g - 0*g - 2. Suppose 3*i - 160 = -2*c, 0 = -3*c + g*i - 0*i + 253. Is c composite?
False
Suppose -5*j + 775 = 5*q, 2*j + 3*j - 623 = -4*q. Is (-1 - (5 + -3)) + q a prime number?
True
Let w(t) = 10*t + 7. Is w(6) composite?
False
Suppose 3*i + 58 + 38 = 0. Let r be i/2 - 0/4. Let d = r + 53. Is d composite?
False
Is (-3)/9*-1 - (-10032)/9 prime?
False
Suppose -3*k + 12 = 0, 0 = 5*r + k - 6*k + 30. Is r + 0 - (1 - 38) composite?
True
Let w(r) = -38*r + 1. Let c = -3 + 2. Is w(c) prime?
False
Let i = -7 + 15. Let g(p) = -2*p**2 + 6*p - 8. Let r be g(i). Let a = 27 - r. Is a a prime number?
False
Let z = -22 + 25. Suppose -5*i = -z*p + 861, -2*p = -4*p - 2*i + 574. Is p a composite number?
True
Suppose 4*n - 12 = -2*m + 6, 0 = m + 3*n - 12. Suppose k - 2*z - 9 = 0, m*z = -7 - 2. Is k a prime number?
True
Is (3452/(-12))/(1/(-3)) a prime number?
True
Let g(x) be the first derivative of 0*x**2 - 4*x + 2 + 1/2*x**4 - 4/3*x**3. Is g(3) a composite number?
True
Is (-12045)/(-25) + (-8)/10 composite?
True
Suppose 0 = -5*t + 1 + 14. Suppose t*g - 352 = 527. Is g a prime number?
True
Let u be (-6)/(-4) + 1/2. Let x(v) = 1 + v**u + 2 - 2*v - 3*v. Is x(-5) a composite number?
False
Let l = -100 + 747. Is l a prime number?
True
Let i(t) be the second derivative of t**7/140 - t**5/24 + t**4/12 - t**3/3 - 2*t. Let r(h) be the second derivative of i(h). Is r(3) prime?
True
Suppose 0*p + 34 = -4*p - 3*s, 0 = p - 5*s + 20. Let y(k) = -k**3 - 8*k**2 + 4*k + 3. Is y(p) prime?
True
Is 20503/15 + (-8)/(-60) composite?
False
Let z be (-64)/8*(-322)/8. Suppose -z = r - 3*r + c, 3*c = 0. Is r prime?
False
Is 16/(-24) + 77/3 prime?
False
Let l(d) = d - 4. Let j be l(4). Let m = 91 + j. Is m prime?
False
Let t be 6 + (0 + -2 - -1). Suppose -3*n + 217 = 2*g - 169, t*n + 3*g = 644. Let k = n + -21. Is k a prime number?
True
Let c(v) = 409*v + 10. Is c(1) prime?
True
Let c(x) = -103*x - 1. Let f be c(1). Let u = -67 - f. Is u prime?
True
Let l(x) = -19*x - 1. Let y(z) = 4 + 2*z**2 - 3*z**2 + 0*z + 0*z + z. Let a be y(3). Is l(a) composite?
False
Suppose 0 = -2*y + 4. Is (15/10)/(y/4) prime?
True
Suppose -3*w + 9 = -6*w. Let i = 1 - w. Is i a composite number?
True
Is 3/(-6) - (-2028)/8 a prime number?
False
Let m = 253 - 111. Is m prime?
False
Let a = 13 - -25. Is a a composite number?
True
Suppose f = -2*f + 3*p + 42, 2*f + 4*p - 10 = 0. Suppose 0 = 3*o - 6. Let d = f + o. Is d a prime number?
True
Let m(u) = -51*u**3 + 4*u**2 + u - 3. Is m(-2) a composite number?
False
Let l(b) = b**2 - 7*b + 2. Let w be l(4). Let r be 4/(-10) - 1644/w. Let p = -67 + r. Is p prime?
True
Is (0 - 6/(-4))*128490/45 a prime number?
True
Let n = 5 - 2. Let w(k) = 29*k**2 - 2*k - 4. Is w(n) composite?
False
Let n(x) = -x**2 - 20*x + 1. Let v be n(-9). Suppose 714 - v = 2*f. Is f prime?
True
Let t = 2 + -4. Let z(f) = -f**3 - 3*f**2 - 4*f - 2. Let u be z(t). Suppose -2*x + 26 = 3*s - 2*s, -u*x = 2*s - 26. Is x prime?
True
Suppose 0 = 6*a - 11*a + 50. Is (0 - 2)*(-265)/a a composite number?
False
Suppose k + 4 = -23. Let j = 49 + k. Is j prime?
False
Suppose -5*f = -950 + 135. Is f composite?
False
Let u(v) = 44*v - 2. Is u(2) a prime number?
False
Suppose u = 4*t + 6*u - 6912, -5*u - 20 = 0. Is t prime?
True
Suppose 0*o + 3 = o. Suppose -o*l - l = -24. Suppose 28 - l = 2*u. Is u a composite number?
False
Let c = -2 - -4. Suppose 0 = -2*t + c*f + 14, -t - 27 = -6*t + f. Suppose 0 = -o - t*r - 2, 0*r = -4*o - 2*r + 10. Is o a composite number?
False
Let u be (1 - (1 - 1)) + 4. Suppose -u*v + n - 2*n = -307, -3*v = -n - 189. Is v prime?
False
Suppose 3*x + 9 = 2*m - 5*m, 0 = -2*x + m + 3. Suppose 0 = 4*i + 4*d - 68, -2*i - 4*d + 32 = -x*i. Suppose -2*g + 171 = 5*q, q = 2*q - 5*g - i. Is q prime?
False
Let w = -6 + 8. Suppose 4*g - w*g = 74. Is g a prime number?
True
Let m(k) = 10*k**2 - 3*k + 3. Suppose b + 3*b + 4 = -3*u, 0 = -u + 3*b - 23. Let s be -5*(u/(-5) - 2). Is m(s) prime?
True
Suppose 5*m - 710 = 245. Is m a prime number?
True
Let y = -60 + 104. Let n = -17 + 26. Let h = y - n. Is h prime?
False
Let i = -137 - -270. Let x be 1 + -2 + (-3)/(-1). Suppose b - 117 = -z, -x*b - i = -z + b. Is z prime?
False
Suppose -3*s + 2006 = 479. Is s a composite number?
False
Suppose 85 = -3*g - 197. Let l = g - -363. Is l prime?
True
Let y(l) = -l - 4. Let j be y(-6). Suppose -4*b - j = 5*i - 7, -4*i - 2*b = -10. Suppose -5*o + 271 = 2*a, 37 - 192 = -3*o - i*a. Is o prime?
False
Let m be 6/4 - (-16715)/10. Suppose -j + 4*r + r + 404 = 0, -r - m = -4*j. Is j a prime number?
True
Is (-4506)/(-5) + (-1)/5 a composite number?
True
Is ((-58)/(-3))/((-14)/(-147)) a composite number?
True
Is (-1)/3 + (-10512)/(-27) composite?
False
Let u(w) = 266*w**2 + 3*w + 10. Is u(-3) prime?
False
Suppose -f - 178 = -2*k, -4*k + 3*f = -332 - 28. Is k prime?
False
Suppose -x + 2*f = -8, 0*x + 16 = 2*x + 4*f. Suppose b - x = -b + 4*y, b = 4*y. Suppose 3*d = 5*q + 67 - b, -q = -d + 21. Is d a composite number?
False
Let d = -1 - 1. Let j be -6 - 1/(d + 1). Let i = 27 + j. Is i composite?
True
Let q = 1 + 3. Suppose q*p - l + 297 = 0, 2*l - 5*l + 307 = -4*p. Let r = -38 - p. Is r a composite number?
True
Let p = 4217 + -2090. Is p a composite number?
True
Let n(o) = o**3 + 10*o**2 + 8*o - 5. Let j be n(-9). Suppose j*p + 118 = 6*p. Is p composite?
False
Suppose -5*r - 10 = -2*b + 75, -5*r - 250 = -5*b. Is b composite?
True
Let i(f) = 3 - 9*f**2 - 2*f + f**3 + 6 - 3*f. Let q be i(9). Is (q - (0 + 1))/(-1) a composite number?
False
Let m(o) = 15*o**2 - 2*o + 1. Let z = 2 + 2. Suppose -5*d = 2*y - 6*y + 28, -z*d = y + 14. Is m(y) composite?
True
Let x be 6/8*(15 + 5). Let u = 94 - x. Is u a prime number?
True
Is (-60042)/(-22) + (-48)/264 a prime number?
True
Let t(f) = 51*f - 20. Is t(7) prime?
True
Let i(s) = s**2 + 5*s + 3. Let a be i(-3). Is (-188)/(-2) - a/(-1) a composite number?
True
Is (-14)/(-42) - 716/(-3) prime?
True
Let j be 359/4 + (-1)/(-4). Let b be j/1 - (-6)/3. Suppose -u + 5*u = b. Is u prime?
True
Suppose 18 + 2 = 5*w. Suppose -w*r - 1394 = -5318. Is (-1)/2 - r/(-6) a composite number?
False
Let l = 146 + -3. Is l a composite number?
True
Suppose -4*b + 774 = 2*k - 0*b, 1504 = 4*k - 3*b. Is k composite?
False
Let d(t) = 30*t**2 + t. Let i be d(-1). Suppose 3*r - i = 73. Suppose -3*u + 32 = -r. Is u composite?
