12 = z - r*z. Is n(z) prime?
True
Suppose u = 4*u + b - 18, -5*u - 4*b + 37 = 0. Suppose -5*o = -u*a - 70, 0 = -3*a - 0*o + o - 34. Is (-3)/(-15) - 138/a a prime number?
False
Let l be 1*(-2 + 3 - 3). Let q = 6 + l. Suppose 3*g = s + q*g - 82, 329 = 4*s + 3*g. Is s a composite number?
False
Let v(i) = i**3 - 6*i**2 + 2*i - 7. Let l be v(6). Suppose 94 = 2*o - 2*n - 2*n, 0 = l*n + 25. Is o composite?
False
Suppose 4 = 2*t - 4*b, 2*t - t = -2*b + 18. Suppose -4*s = i - 12, s + 4*i - t - 8 = 0. Is ((-23)/s)/(2/(-4)) composite?
False
Let k = -6576 + 9803. Is k a composite number?
True
Let q(m) = 2 - 12*m - 8*m - 7*m. Is q(-7) composite?
False
Let r = -443 + 700. Is r a composite number?
False
Suppose -207*p + 206*p + 631 = 0. Is p composite?
False
Let l(t) = 368*t**2 + 2*t - 1. Let z be l(1). Suppose z = 5*k - 86. Is k composite?
True
Let y = 12 + -4. Is 24/y - 260/(-2) composite?
True
Let d(m) = -358*m - 3. Is d(-2) composite?
True
Is 1161/8 - 7/56 a composite number?
True
Let d = 2072 + -417. Is d composite?
True
Suppose -4*l + 419 = -3*l. Is l prime?
True
Suppose 5*y - 812 = -147. Let v = y + -64. Is v a composite number?
True
Suppose -2*p + 2*a = -16, 0*p - 5*a = -3*p + 30. Suppose -3*u + 28 = -p*m - 4, 0 = 3*u + 2*m - 46. Is u a prime number?
False
Let v(t) = t**3 - 3*t**2 + 2*t + 4. Let b be v(-5). Suppose 2*k + 415 = 3*k. Let f = b + k. Is f composite?
True
Is ((-4)/2)/((-10)/3275) prime?
False
Is 1434/(-9)*6/(-4) prime?
True
Suppose -a - a - 41 = -5*f, 4*f - 44 = -4*a. Let k = -7 + f. Is k a prime number?
True
Let g be (-2 - -1)/((-1)/(-7)). Let w(o) = -o**2 - 9*o + 5. Is w(g) prime?
True
Let y(n) = 4*n**2 + 3*n. Let s(l) = -4*l**2 - 4*l - 1. Let z(b) = 3*s(b) + 4*y(b). Is z(-5) prime?
True
Suppose -5*b = 3*q - 1536 - 803, 0 = -3*b - 3*q + 1401. Is b a prime number?
False
Let z(s) = s - 5. Let o be z(6). Let r be 1*(-1 - o)*-2. Suppose -r*f + 212 = -0*f. Is f a composite number?
False
Let x = 4 - -65. Let o = x + -11. Is o prime?
False
Let n(b) = 20*b + 11. Is n(4) a composite number?
True
Let h be (-2 + 3)/1 - -1. Suppose 3*p - 35 = -0*i - i, -h*i + 76 = 3*p. Let r = 66 - i. Is r composite?
True
Suppose g + 2*g = 3, 298 = k + 5*g. Is k a prime number?
True
Is 227/4 - 12/(-48) composite?
True
Suppose 0 = 4*i - 6 - 2. Suppose 0 = -4*c + 4, -i*h - 2*h + 5*c = -303. Is h prime?
False
Let h(o) = 1 + 23*o - 1. Let s = 17 + -16. Is h(s) composite?
False
Is (((-9051)/6)/(-7))/((-2)/(-12)) a prime number?
False
Let o be (3 + -2)*(12 + -2). Let k = -8 + o. Is -2 + (-73)/(-2)*k prime?
True
Suppose 2*d - 4892 = -4*j, -25 = 4*d - 9. Suppose 0 = 3*y - t - j, -5*t - 1 = -11. Suppose -4*s = 3*h - y, -2*h - 5*s = -3*s - 270. Is h composite?
False
Let y be 8/10*(-5)/(-2). Let n be 62/1 - (y + -1). Let z = 86 - n. Is z composite?
True
Let s = -29 + 17. Let v be ((-40)/12)/(2/3). Is (v - -1)*9/s prime?
True
Let b(m) = 420*m**2 + 2*m + 1. Let v be b(-1). Let z = v + -118. Is z composite?
True
Suppose -8 - 4 = -3*o. Let x(n) = -o*n**2 - 4 + 1 + 5*n + 5 + n**3 + 1. Is x(4) a prime number?
True
Let o = 22 + -61. Is 1024/10 - o/65 prime?
True
Let n be 4/10 - 386/(-10). Let v = 70 + n. Suppose -j = -4*q + v, -4*q = j - 92 - 7. Is q composite?
True
Suppose 0 = 3*z - 106 - 332. Is z composite?
True
Let d be (-8040)/(-66) - 2/(-11). Suppose -5*m - 2*i + d = -3, -25 = -m + i. Is m prime?
False
Let k = -25 - -13. Let v = 97 + k. Is v composite?
True
Let i(y) be the first derivative of 10*y**4 + 2*y**3/3 + 3*y - 2. Is i(2) a prime number?
True
Let f = 128 - -545. Is f composite?
False
Let y(j) = -j**2 + 5*j - 2. Let n be y(4). Let h be -65 + (2 - (1 + n)). Is (-3)/2 - h/4 a composite number?
True
Let d(k) = -57*k - 2. Let y(f) = -57*f - 1. Let v(c) = 3*d(c) - 4*y(c). Is v(1) prime?
False
Suppose 7*z = 9*z - 3322. Is z a composite number?
True
Suppose 130 = 3*w + 2*w. Let r(z) = -z + 2*z**3 - 3 - 3*z**3 + w. Is r(0) a prime number?
True
Let c be ((-3)/6)/(1/22). Let w = c + 15. Suppose v - 5*z - 680 = -w*v, v = -2*z + 127. Is v a composite number?
True
Suppose 3*n - 19 = 14. Suppose -12*l + 329 = -n*l. Is l composite?
True
Suppose -27 = -2*t + 89. Let i = 129 - t. Is i a composite number?
False
Let c = -293 - -710. Is c composite?
True
Suppose 3*r - 339 = 54. Is r prime?
True
Suppose -g + 4*g - 37 = -5*y, 21 = y + 4*g. Suppose 5*m + 42 = -0*i + i, y*i + 5*m - 360 = 0. Is i a prime number?
True
Suppose 4*a + 2*p = -a + 7, 0 = -2*a - p + 2. Is a/4 - 770/(-8) prime?
True
Let r(b) = b**3 + 9*b**2 + 8*b + 1. Is r(-7) a composite number?
False
Let k(d) = 13*d**3 + 1. Let u be k(1). Suppose 9*f = 5*f. Suppose -t + u - 1 = f. Is t prime?
True
Suppose 3*n + 156 = 3*m, -2 = 2*n - n. Suppose -5*j + m = -480. Is j composite?
True
Let x(i) = 2053*i. Is x(1) prime?
True
Let m(d) be the first derivative of -d**2 + 13*d**2 - 1 + d**2 + 9*d. Is m(7) prime?
True
Let t be (-5415)/(-6) - (-3)/(-6). Suppose -s - j + 198 = 4*j, -5*s = 3*j - t. Is s a composite number?
True
Is ((-2)/(-4))/(1/2036*2) a composite number?
False
Suppose -4*v + 10 = -o, v - 4*o = -5*o. Let z be 12/8*(-118)/(-3). Suppose v*f = f + z. Is f prime?
True
Suppose 2*b - 28 + 202 = 2*w, 3*b = 6. Is w a composite number?
False
Suppose x = -3*z + 8, 2*x - 2*z = -z - 19. Let h = x - -42. Is h a prime number?
False
Let d(y) = -247*y - 31. Is d(-8) a composite number?
True
Let o = 244 - 120. Suppose 3*v = 239 + o. Is v composite?
True
Suppose -3*u + 5*i + 320 = 0, -284 = -5*u + 2*u - 4*i. Let k(y) = y**3 + 7*y**2 - 5*y - 3. Let q be k(-6). Let j = u - q. Is j a composite number?
False
Let l(y) = 4*y**3 - 5*y**2 + 5*y - 1. Let u be l(4). Let v = u + -68. Is v a prime number?
True
Let l(v) = v**2 + 5*v + 2. Let r be l(-5). Suppose -i - 4*i - d = 17, d + r = 0. Let q(y) = -19*y. Is q(i) prime?
False
Suppose -3*v - 9 = 0, 7*h = 2*h - 5*v + 4380. Is h a prime number?
False
Suppose -4*a + 72 + 264 = 0. Let g = -31 + a. Is g a prime number?
True
Suppose 10 = 3*y - 2. Suppose -y*w + 3*i = -35, -3 = w + 3*i + 7. Suppose -w*d + 12 = -2*d. Is d a prime number?
False
Let l(z) = -3*z**3 + 3*z**2 + 2*z - 4. Let w be l(4). Let x = w + 281. Is x composite?
True
Let o(m) = 3*m - 5. Let w be o(2). Is w*(3 + -4) + 14 prime?
True
Let v be 0*2/(-8) + 860. Suppose -v = -2*h - 2*h. Is h composite?
True
Let i(y) = 18*y**2 - y + 3. Is i(-8) a prime number?
True
Let c = 114 - 76. Is c composite?
True
Suppose j = 4*j. Suppose -2*v = j, 4*m - 2*v + 3*v = 8. Suppose 233 - 79 = m*r. Is r prime?
False
Suppose 3*p = -p + 5*i + 371, 0 = 4*p + 4*i - 344. Is p prime?
True
Suppose 0 = -2*a - a + 30. Let c = a + -2. Is 630/c + (-1)/(-4) prime?
True
Let i(z) = 14*z - 20. Let r(q) = -q. Let d(l) = i(l) + 3*r(l). Is d(14) composite?
True
Is -1*(2 - -1)*13035/(-45) prime?
False
Let x(v) be the first derivative of v**2/2 + v - 2. Let o be x(-1). Suppose -2*y + 4*y - 66 = o. Is y prime?
False
Let q = 65 + -39. Is q a composite number?
True
Suppose -2*w = 3*w - 1975. Is w composite?
True
Let v(h) = 2*h**2 + h - 8. Let u be v(-6). Let a(n) = u*n + 0 + 1 - 2. Is a(2) a prime number?
False
Suppose 8*l = 3*l + 1325. Is l prime?
False
Suppose -5*c - 3*h = -5 - 55, 4*c - 5*h - 85 = 0. Suppose -n + c + 100 = 0. Is n prime?
False
Let t(g) = g**3 + g**2 + 36. Let z be t(0). Let y = z + -17. Is y composite?
False
Let u be 6/33 + (-84)/(-22). Suppose 35 = x - u*w, -69 = -4*x + x + 3*w. Is x a composite number?
False
Let n = 317 + -103. Is n a prime number?
False
Suppose -r - 2 = -2*k, -3*k + 4 = -0*k - 2*r. Suppose -a + 6*a - 25 = k. Suppose -5*u - 2*f = 3*f - 100, 0 = -a*u + 4*f + 91. Is u prime?
True
Suppose -d + 4*d = 5*v + 7827, 0 = v. Is d prime?
True
Let c be 194 + -4 + 1 - 1. Suppose 2*d + 3*z - 198 = -z, 0 = 2*d + 2*z - c. Is d composite?
True
Suppose -4*z = -8*z. Suppose z = 3*f - 2 - 4. Suppose f*s - 36 = 30. Is s a prime number?
False
Let x(k) = 399*k**2 - 4*k + 2. Is x(1) composite?
False
Suppose 0 = a - 5, -w + 3 = -2*w + 4*a. Suppose -2*r = -r + l - w, 3*l + 9 = r. Suppose 0 = -5*m - r, 0*x - 2*m + 70 = 4*x. Is x a composite number?
False
Let x(o) = -7*o + 3. Let c(k) = 14*k - 5. Let n be (-18)/81 + (-32)/18. Let h(z) = n*c(z) - 5*x(z). Is h(6) prime?
True
Let c(d) = -d**3 + 11*d**2 - 10*d - 2. Let l be c(10). Is 3*(6 - (-1 - l)) prime?
False
Suppose 2*g - h = -g