(s). Is (-3)/((-6)/92) + d a composite number?
False
Let m be (-3 + 4)*1*6. Is m/(-9)*(-159)/2 prime?
True
Let k(h) = -412*h - 9. Let y be k(-8). Let l = -1726 + y. Is l a composite number?
True
Let t be 4/((-2 - -1) + 2). Let u be ((-2)/3)/(6/(-9)). Suppose t - u = w. Is w a composite number?
False
Let z(o) = -2*o**2 - o + 7. Let x be z(5). Suppose 0*y + 185 = 5*y. Let v = y - x. Is v composite?
True
Suppose 4*p - 51 = -7. Let g(k) = -3*k + 2. Let x be g(-2). Let t = x + p. Is t a composite number?
False
Let s = -462 + 208. Is (s/(-3))/(4/6) prime?
True
Suppose -2*x - 10 = 3*x. Let q(w) = -60*w + 1. Is q(x) a prime number?
False
Suppose -5*n - 4*f + 479 = 0, 0 = n - 0*n + 3*f - 98. Is n composite?
True
Suppose 0*b + 8 = 4*b. Suppose b*j + 0*j = 8. Suppose 0 = -4*p + s + 84, 0*p - 3*s - 84 = -j*p. Is p composite?
True
Let p be (-15)/(-20) + (-9)/(-4). Suppose p*l - 117 = -3*s, -5*l = 3*s - 68 - 53. Is s prime?
True
Let h(n) be the second derivative of n**5/20 + 2*n**4/3 + 2*n**3/3 - 3*n. Is h(-7) composite?
True
Suppose 0 = 2*t - 4*t + 2220. Suppose -2*i + 435 = q, 6*q + t = 5*i + q. Is i prime?
False
Suppose -5*o + 71 = k, 5*o - 155 = -3*k + 88. Suppose 2*s - k = -3*r + 73, -s = -5*r - 60. Suppose s = 4*q + q. Is q a prime number?
False
Suppose -24 = -q - 3*q. Is 944/(-24)*q/(-4) prime?
True
Suppose 4*v + 2*y - 510 = 0, -v + 258 = v + 4*y. Is v prime?
True
Let q(v) = -5*v - 2*v + 14*v**2 + 6*v + 1. Is q(1) composite?
True
Let u be 4 + 3*6/(-9). Let o(p) = 0*p**3 - 3*p + 0*p**3 + p**3 + 2*p**2 + 5*p**u. Is o(-7) composite?
True
Let d be -4*(5/2)/(-5). Suppose 3 = -5*c - 3*j + 10, -4*c + 10 = -d*j. Suppose 3 = -c*i + 117. Is i composite?
True
Let u(v) = -2*v**2 - 5*v - 18. Let s(g) = -3*g**2 - 6*g - 19. Let n(j) = -5*s(j) + 6*u(j). Is n(-10) composite?
True
Suppose 4*z - 1173 = 22847. Is z a prime number?
False
Suppose 0*n = -4*o - 4*n + 44, 85 = 5*o - 5*n. Let t = 99 + o. Is t a composite number?
False
Is 1/(2/(-472))*38/(-152) prime?
True
Suppose 20 = 4*g + g. Suppose 0 = -4*q + 7 + 1. Is (0 - (g - q)) + 24 prime?
False
Let a(i) = 3*i**3 - 3*i**2 + 3*i + 2. Let r be a(3). Let d = 162 - r. Is d prime?
True
Let z be 6 + -3 - (1 - -801). Let t = 1284 + z. Is t prime?
False
Suppose -5*t + 35 = 4*s, -4*s - 5*t + 30 = -s. Suppose -s*p = -0*p - 15. Suppose 0 = p*d + 7 - 37. Is d a composite number?
True
Let h = 3777 - 2396. Is h prime?
True
Let s be 1 - 71 - (11 - 9). Is -3 - (-5)/((-10)/s) a prime number?
False
Let r(d) = -d**3 - 8*d**2 - 6*d. Let i be r(-7). Let m be (48/(-15))/(-1)*30. Let n = i + m. Is n prime?
True
Let y(f) = 2*f**2 - 18*f - 9. Is y(16) a composite number?
True
Suppose 0 = m - u - 196, 4*m - 205 = 3*m - 2*u. Is m a composite number?
False
Suppose -31*a + 555 = -26*a. Is a a composite number?
True
Let p(x) = 2*x**2 + 2*x + 1. Let a(y) = y - 12. Let g be a(6). Let i = -9 - g. Is p(i) composite?
False
Let b(p) = 6*p**2 - 9*p - 16. Let c be b(-13). Suppose c = y + 4*y. Is y a prime number?
True
Let w(z) be the third derivative of -1/60*z**5 - 3*z**2 + 1/60*z**6 + 1/6*z**3 + 0 + 0*z + 1/24*z**4. Is w(2) a prime number?
False
Let t(n) = -n**2 + 6*n. Let v be t(6). Suppose v*d + d + 1 = 0, 2*d = 2*j - 26. Let r = j + 53. Is r a prime number?
False
Let a = 50 - -9. Is a composite?
False
Let m(x) = -x**2 + x + 3. Let i be m(0). Suppose -5 = -2*j - 3*j, 0 = 4*s - j - 247. Is (s/i)/(4/6) a prime number?
True
Let x(j) be the third derivative of j**5/60 - j**4/6 + 2*j**3/3 - 3*j**2. Let o be x(4). Suppose 5*v - 320 = -b + 6*b, 0 = -o*v + 2*b + 262. Is v composite?
False
Suppose -3*z = -4*f - 2*z + 15, -5*f - 4*z + 24 = 0. Let k be (-1)/f - 370/(-8). Suppose 3*n - k = n. Is n a prime number?
True
Let a(t) = t**2 - 6*t + 6. Let j be a(4). Let u = 10 + j. Is ((-275)/(-20))/(2/u) prime?
False
Suppose 0 = -j - 5*r + 489, 0*r + 1467 = 3*j + 2*r. Is j a prime number?
False
Suppose 2*m + 933 = 4*o + 147, 0 = -3*o + 2*m + 587. Is o a prime number?
True
Suppose -w + 7 = -3*r, 8*w - 7 = r + 3*w. Let f be -3*(-3)/9*r. Is f/(-3) + (-289)/(-3) a composite number?
False
Let r = 893 - 628. Is r a prime number?
False
Let x(w) = w**3 - 6*w**2 + 3*w - 7. Let h = 8 - -9. Let i = h - 11. Is x(i) prime?
True
Let m(b) = -b**3 + 4*b**2 - b + 2. Suppose 7*n + 2*r = 2*n + 20, -3*r - 20 = -5*n. Let q be m(n). Is (2 + -1)*q + 79 prime?
False
Let t(z) = 70*z**3 + z**2 - 2*z + 1. Let m be t(1). Suppose 4*h = -0*h - 3*c + 130, -2*h + m = 4*c. Is h a prime number?
True
Let j(k) = 11*k**2 + 6*k - 9. Is j(4) prime?
True
Is (-6328)/14*(-3)/(-8)*-2 composite?
True
Let i = -14 + 31. Let x = -10 + i. Is x a prime number?
True
Suppose -z = 2*f + 16, f - 3*z + 32 = 10. Let n be 198/(-4)*(1 + -3). Let w = n + f. Is w prime?
True
Let f be 3 - ((-260)/2 + 1). Is -2 + 1*(f + -3) composite?
False
Let b(q) = -2*q - 3*q**2 + 9*q**3 + 3 + 0 - 2*q**3. Is b(3) a composite number?
True
Let c = -39 - -12. Is (-2)/9 + (-843)/c a composite number?
False
Suppose -2*s + 3 = -s. Suppose s*w = 3*b - 444, 0 = w + 1 - 5. Suppose -5*n - 87 = -o, -o - n = o - b. Is o a composite number?
True
Let t be (-37 - 1) + 1 + -2. Let h = t - -76. Is h prime?
True
Let w(g) = -g**2 + g - 2. Let l be w(2). Let s = 37 + l. Is s a composite number?
True
Is ((-2)/7 - (-19776)/28) + 1 a prime number?
False
Let r(s) = s - 2. Suppose 3*w + 3*l - 27 = 0, -1 = -2*l + 5. Let z be r(w). Is (-1)/4 - (-41)/z composite?
True
Let h = 25 - 6. Suppose 4*s - h = -5*w, 0*s + 2*s + 3*w = 9. Is ((-633)/s)/((-2)/4) composite?
False
Suppose h + 4*h - 1435 = 0. Suppose 2 = -o, 5*f = -4*o - 0*o + h. Is f prime?
True
Suppose -397 = -4*z - z - 4*y, -145 = -2*z + 3*y. Let s be (6/4)/((-3)/(-224)). Let g = s - z. Is g a prime number?
False
Suppose -4*k = -6*k + 154. Is k composite?
True
Let l = -1 - -4. Is l composite?
False
Suppose d + 4*q - 30 = -4*d, -d = 4*q - 6. Let h be ((-4)/(-6))/(d/81). Is 436/3 + (-3)/h a prime number?
False
Suppose 11*r + 447 = 14*r. Is r a prime number?
True
Let c(f) = 37*f - 33. Is c(16) a composite number?
True
Let g = 28 - 3. Suppose -4*q - 5*s = -373, 3*s = -2*s + g. Is q composite?
True
Let n be 12 - -69 - (-4 + 1). Let a = n - -65. Is a prime?
True
Let h(g) be the second derivative of 3*g**3/2 + g**2/2 + 12*g. Suppose -5*j + 0*j = -4*z + 6, 0 = -z + 5*j - 6. Is h(z) prime?
True
Suppose 0 = 73*m - 67*m - 2922. Is m a prime number?
True
Is (-1)/(-1) + 1998/3 prime?
False
Suppose 0 = -5*z - 0*z - 45. Let c = 16 + z. Suppose -c - 35 = -2*q + 4*y, -3*q + 5*y = -64. Is q prime?
True
Let p(j) = 9*j - 1. Let t(o) = 9*o - 2. Let s(r) = 4*p(r) - 3*t(r). Is s(9) prime?
True
Suppose 4*h + 2*m + 1198 = 0, 915 = -2*h - 2*m + 319. Let k = h - -512. Is k composite?
False
Suppose 5*t - 20 = -j, 25 = 5*t + 2*j + 5. Is (t/(-5))/(4/(-10)) a composite number?
False
Let z be 2/(-5) + (-2697)/(-5). Suppose z + 96 = l. Is l a composite number?
True
Let q(o) = 266*o**2 + 4*o + 3. Is q(-1) a composite number?
True
Suppose -246 - 256 = -3*v + 2*g, -2*g = -5*v + 834. Suppose -p + 4*p + a = v, 0 = -2*p + 2*a + 108. Is p a composite number?
True
Let d(z) be the first derivative of z**2 - 7. Is d(11) composite?
True
Let y(s) = 28*s + 5. Let t = 2 + 1. Is y(t) composite?
False
Suppose 0 = -4*g - 4*l + 32, g + 4*g - l = 58. Let y(u) = -u**2 - 12*u + 16. Let a be y(-13). Suppose -a*v + g = -94. Is v a composite number?
True
Suppose 2*x - x + 5*a = 41, 5*x + 2*a - 136 = 0. Suppose x = 5*h - 24. Suppose -p + 3 = -h. Is p prime?
True
Suppose 0 = t - 0*t + 13. Is (1 + 2)*t/(-3) composite?
False
Let h = 0 - -19. Let t be h/(-7) - 12/42. Is -1*2*15/t prime?
False
Suppose -2*s = -0 - 6. Suppose -x = 4*x + s*m - 1, 2*x + 12 = 5*m. Is (-636)/(-18) - x/(-3) a composite number?
True
Let o = 6 - 15. Let s be o/(-2)*40/(-6). Let f = 65 - s. Is f a prime number?
False
Is ((-2)/(-4))/((-4)/(-2008)) composite?
False
Let b(g) = -g + 2. Let j = 11 - 5. Let m be j/5*40/(-12). Is b(m) a prime number?
False
Let x(r) = -7*r**3 + 1. Let y be x(-1). Let t(p) = 5*p + 6*p + 4*p + 4*p - 3. Is t(y) a composite number?
False
Let f = -27 + 470. Is f a composite number?
False
Let y(r) = 11*r + 3. Let d(n) = -5*n - 1. Let l(c) = -13*d(c) - 6*y(c). Let v be l(-5). Suppose o - 10 = -0*b + 4*b, v = -o + 5*b + 6. Is o composite?
True
Suppose 5*d = 4*p + 3*d + 16, -3*p - 