7774 = -2*h. Is p prime?
False
Let d be -86*((-5)/(-10) + -4). Suppose k - 2*j - d = -5*j, 287 = k - 4*j. Is k prime?
False
Let n = -401 + 439. Let m be (-8)/(-6)*(-27)/(-2). Is m/36 + n/4 a composite number?
True
Let d(u) = 0 + 0*u + 15*u**2 + 2*u**2 + u + 4. Let v be d(-3). Suppose -3*f + v = -f. Is f prime?
False
Suppose 4*u = -6*d + d + 71, 65 = 4*u + 3*d. Let q be 38/u + (-2)/(-7). Suppose 0 = 2*x + 4, -3*j + x + q*x = -341. Is j a prime number?
False
Suppose -1272 = 15*q - 8847. Is q a composite number?
True
Let b(j) = -3*j**3 + 10*j**2 + 2*j - 37. Is b(-6) a composite number?
True
Let c = -31 + 43. Suppose -w = -z - 11, -4*z - c = 8. Is (-152)/w*(-12)/8 prime?
False
Suppose -2*i + 255 = i. Let d = i - -2. Is d a prime number?
False
Suppose -40 = 2*s - 12*s. Suppose -h - s*o = -o - 857, h - 3*o = 845. Is h prime?
False
Suppose p = 6*p - 485. Is p + 0*(28/8 + -3) composite?
False
Suppose 2*w - 6 - 2 = 0. Suppose 0 = 5*b - w*b - 263. Is b a composite number?
False
Let i = -3109 - -4766. Is i composite?
False
Suppose -5398 = -10*n + 912. Is n a prime number?
True
Suppose w + 4*p - 28257 = 8*p, 3*w - 3*p = 84816. Is w prime?
True
Let h(x) = x - 6. Let p be h(4). Let s be (7 + (p - 0))*1. Let a = 5 + s. Is a a prime number?
False
Let i = -728 - -1393. Suppose 5*z - i = 40. Is z a composite number?
True
Is -3*3/(-90)*10*17213 prime?
False
Let c = -10 - -16. Let i = -12 + 16. Suppose -i*d + c*d = 130. Is d prime?
False
Suppose 135 = 5*y + 5*b - 135, 0 = 2*y + b - 113. Suppose y = 3*r - 862. Is r a composite number?
False
Suppose -q + 5*q + 24 = 2*j, 0 = 3*j + 2*q - 20. Is (2 - 7*-315)/(j - 7) composite?
False
Let r = 19534 + -13920. Suppose -w + r = w. Suppose 5*x - w = 2*g - 6*g, -4*x = 4*g - 2248. Is x prime?
False
Let g be 1088/(-6) + -2 + 7/3. Let d = g - -347. Is d prime?
False
Let s be 0 + (9459/(-3))/(-1). Suppose -s = -4*m + 1515. Suppose -5*k - 282 = -m. Is k composite?
True
Suppose -7*s = -2*w - 2*s + 30167, -4*w + 3*s = -60299. Is w a composite number?
True
Suppose 14 + 0 = 7*r. Suppose 0 = -r*s - 4*s + 30. Suppose 3*n + 2*n - i - 6410 = 0, 6390 = s*n - 5*i. Is n a composite number?
False
Let t(h) = 76*h - 36. Let r(y) = -25*y + 12. Let v(d) = -11*r(d) - 4*t(d). Is v(-11) composite?
False
Let d = 12 + -11. Is ((-5)/15)/(d/(-1761)) composite?
False
Let o(t) = -2*t - 311. Let c be o(0). Is 0/4 - -3 - c a composite number?
True
Let q = 3471 - 1288. Is q composite?
True
Suppose -5*u + 6 - 21 = 0. Let b be ((-1)/u)/((-1)/(-6)). Suppose b*m - 278 = 188. Is m composite?
False
Let p(j) be the first derivative of j**4/4 + j**3 - 13*j**2/2 + 29*j - 25. Is p(12) composite?
True
Let n = 52 - 24. Is -3 - (-1 - n*16) prime?
False
Suppose 5*w + 3*n = -0*n + 21, -8 = -2*w - n. Suppose 4*t = 2*l - 0*t - 186, 0 = w*l + 3*t - 261. Is l composite?
False
Is ((-6)/(-9))/(-1 - (-83033)/83031) composite?
True
Let b(x) = x - 13. Let m be b(18). Suppose -2*v = 4*g - 9*g - 6, m*v = 4*g - 2. Is v + (9 - 4) - -46 composite?
True
Suppose b + 9 - 29 = 0. Suppose b*k - 16*k = 1036. Is k composite?
True
Let j(f) = -1745*f + 3. Let o(z) = z**3 - 6*z**2 + 2*z - 14. Let b be o(6). Is j(b) composite?
True
Let n be ((-2)/6)/((-16)/(-79008)). Let a = 2551 + n. Is a prime?
False
Suppose -t + m = -212, 5*m + 43 + 583 = 3*t. Let s = t - -396. Is s a composite number?
False
Let y = -3 - -26. Suppose -b + 5 = -0*h + h, 5*h - y = -4*b. Is b - -1 - 43*-1 a composite number?
True
Let p be (3/(-9))/((-2)/18). Suppose -p*v + y = -y - 177, -3*y = 0. Is v composite?
False
Let t be (-3 + 2)*1 - (-7)/1. Suppose 475 = t*f - 1067. Is f a composite number?
False
Let t(j) be the third derivative of -7*j**4/12 - 5*j**3/6 + 21*j**2. Let v be (-2)/(-8) + (-75)/12. Is t(v) a prime number?
True
Suppose 475 = -3*g + 4933. Is g a prime number?
False
Let g(z) = z**2 - 8*z + 3. Let o be g(8). Suppose -w - 4 = -o*w. Suppose 3 + 107 = w*p. Is p composite?
True
Let g = 14 - 14. Let m = g + -1. Is (-3703)/(-35) - m/5 prime?
False
Let t(w) = 78*w**3 + 4*w**2 + 4*w + 4. Let v be t(-2). Let l = v + 2147. Is l prime?
False
Let a = 3 + -35. Is (2 - -577) + a/(-8) a composite number?
True
Let u(b) = 11*b**2 - 11*b + 1. Is u(-16) composite?
True
Suppose 0 = 3*d + d - 24. Let y be 12*((-10)/d)/(-5). Is (1 + 0)*632/y composite?
True
Let v(s) be the first derivative of -7*s**4/12 + 19*s**3/6 + 5*s**2 - 4. Let m(z) be the second derivative of v(z). Is m(-6) a prime number?
True
Let q = -30 - -32. Suppose 3*t + 2 = -4, h = -q*t + 47. Is h composite?
True
Let o(u) = 89*u - 147. Is o(32) prime?
False
Let u(v) be the first derivative of -8 + v + 9/2*v**4 + 0*v**2 + 0*v**3. Is u(2) composite?
True
Let v(c) = -85*c + 38. Is v(-3) a composite number?
False
Let g(s) = -2*s + 4. Let o be g(2). Suppose 3*q - 6 = -o*q. Suppose 901 = 5*x + q*h, 170 = x - 0*h - 3*h. Is x prime?
True
Suppose 0 = v + 3*v + 16, d + 4*v + 9 = 0. Suppose 312 = d*h - 2425. Let j = h + 16. Is j a prime number?
False
Suppose -422444 = 18*z - 62*z. Is z composite?
False
Suppose 16*l - 14652 - 35092 = 0. Is l prime?
True
Suppose 4*v = 9*v + s - 140288, 6 = -3*s. Is v prime?
False
Let r(f) = -345468*f - 163. Is r(-1) a composite number?
True
Let j(l) = -3*l + 3. Let c be j(1). Suppose 0 = -0*o + 3*o. Suppose v + o*v - 83 = c. Is v a prime number?
True
Let c(t) = 94*t**2 - 2*t + 2. Let p(w) = -w**2 + 2*w. Let d be p(1). Is c(d) composite?
True
Let j = -8 + 13. Let p be -4 + 3/(15/20). Suppose p = j*w - 2*w - 795. Is w prime?
False
Let m(r) = -r**2 - 4*r + 9. Let x be m(4). Let z = x - -20. Is z/((8/262)/(-4)) prime?
False
Let r be -4*(-2 - (-82)/(-2)). Let v be r*1 - 3/1. Let b = -36 + v. Is b composite?
True
Let h(l) = 23*l**2 - 3*l. Let z be h(-3). Suppose -z = -10*t + 11*t. Let y = 451 + t. Is y a prime number?
False
Is 10 + 8 + 4407 + -4 a composite number?
False
Suppose -242*k + 124940 = -222*k. Is k a composite number?
False
Suppose -20191 = -f - 8*a + 12*a, -2*f - a = -40355. Is f composite?
True
Suppose 16 = -7*f + 44. Is (-40)/(-12)*822/f a composite number?
True
Let l = 58 - 54. Suppose l*m + 133 = -3*p + 4*p, -2*p = -m - 287. Is p a prime number?
False
Let u(b) = 50*b + 69. Is u(50) composite?
True
Let u(s) = -8*s + 5033. Is u(0) prime?
False
Is (4 - 12/4)*40751/1 composite?
False
Let g(u) be the second derivative of u**4/4 + 5*u**3 + 11*u**2/2 - 35*u. Is g(20) a composite number?
False
Let t(j) = j**3 - 8*j**2 + 11*j - 2. Let u be t(6). Let y(m) = -44*m + 1. Is y(u) a composite number?
False
Suppose -2*o = -3*o + 57. Suppose -5*z = -2*a - 271, 4*z + a - o = 3*z. Is z composite?
True
Suppose 31272 = 4*o + 4*u, 4*o + u - 3*u = 31266. Is o composite?
False
Suppose 7*d - 6303 = 4*d. Is d prime?
False
Suppose 0 = -2*w + 3*a + 10316, -w = -3*a - 991 - 4167. Is w a prime number?
False
Let a be (((-20)/3)/(-4))/((-1)/(-3)). Is -3 + a + (-3 - -288) composite?
True
Let q(t) = 223*t**2 - 6*t + 14. Let s be q(4). Suppose 2*g + 0*g = 2*v - s, -g = -4*v + 7110. Is v a prime number?
True
Let c = 117 - -21. Suppose -c = -4*v - 2*v. Is v a composite number?
False
Let y be 3 + (-1)/(1 + -3 + 1). Suppose y*w = -l + 3603, l + 3*w = -2*w + 3605. Is l prime?
False
Is ((-79995)/(-20))/((-18)/(-24)) prime?
True
Let i = -41 + 45. Suppose -2*f = -d - 7646, 0 = -0*f + f + i*d - 3805. Is f prime?
True
Let s = 53 - 56. Is -2348*(s/10)/(84/70) prime?
True
Let b be (-7 - -10)*(-4)/6. Let w be b/(-3) + 60/(-9). Is 1/(-2) - 285/w composite?
False
Suppose -5*b = -3*b - 4. Suppose -3*p = y + 11, -b*p = 2*y - 1 + 7. Suppose -2*g + y = -7, 0 = -4*n + g + 1056. Is n prime?
False
Suppose 2*k - 3*t = t + 1704, 4*k - 3412 = 4*t. Let b = k + -555. Is b composite?
True
Let u(n) = -691*n**3 + n**2 + 3*n + 2. Let o = -24 - -23. Is u(o) a prime number?
True
Let j be 2*(7/2)/(-7). Is (1 - 1381)/j - -1 composite?
False
Let i(z) = -z**2 - 7*z + 21. Let g be i(-9). Is g/(4 + (-9575)/2395) a composite number?
True
Suppose 5*u + 2*f - 6*f = 7112, 4*f - 7128 = -5*u. Let m(o) = 228*o + 9. Let z be m(-3). Let w = u + z. Is w a composite number?
True
Is -3*(21560/(-12) + 3) a prime number?
True
Let r = 16 + -13. Suppose -88 = r*q - 235. Is q a composite number?
True
Let k = 7 + 1. Let m be (k/(-10))/(12/(-30)). Suppose -m*p + 5*p - 807 = 0. Is p prime?
True
Let z(d) = -d**3 + 8*d**2 + 24*d - 