 -631 = -4*b + 121. Is 1/(566/b - 3) a prime number?
False
Suppose 0*a - 4*a + 956 = 0. Is a composite?
False
Let r be (-2 - -1 - -8)*1. Let b be (-2)/r + (-16)/(-7). Suppose -4*i + b*x = -142, 2*i + i - x = 106. Is i composite?
True
Let u(t) = t + 7. Let q be u(-5). Suppose q*h - 81 = 175. Let x = h - 81. Is x a prime number?
True
Suppose 4*s + 579 = 5*j - 1462, s = -3*j + 1228. Is j a composite number?
False
Let h = 3 + -3. Let k = 2 + h. Suppose -v - g + 149 = 3*v, k*g = 4*v - 146. Is v a prime number?
True
Suppose 2*z - 555 - 31 = 0. Is z composite?
False
Let i(n) = n + 1. Is i(18) prime?
True
Suppose -5*q = -2*p - 13601, -13609 = -5*q - 5*p + 3*p. Is q a prime number?
False
Let k = 1558 - 971. Is k a composite number?
False
Suppose 4471 = 2*d - 1247. Is d a prime number?
False
Let r(w) = -2*w**3 - w**2 + 2*w - 4. Suppose -5 = -d - 2. Suppose -3*k + d = 12. Is r(k) a prime number?
False
Suppose -173 = -5*r + 402. Is r prime?
False
Suppose -3*k = 24 - 909. Is k composite?
True
Let p(r) = 91*r + 9. Is p(4) a composite number?
False
Let f(q) = -34*q + 1. Is f(-1) composite?
True
Let s(g) = g**2 - 6*g - 11. Let z be s(8). Suppose -z = w, -5*y + 4*w + 48 = -82. Is y a composite number?
True
Is ((-1029)/(-6))/(-7)*-2 a composite number?
True
Let y(i) = -i**2 + i + 2. Let q be y(-4). Let s = q + 12. Is -10*(9/s - 0) a prime number?
False
Suppose -5*p = -3*z + 15, -z - 2*p - 7 = -1. Suppose -5*t = 5*c - 0*t + 15, 3*c - 3*t - 9 = z. Suppose -575 = -5*h - c*h. Is h composite?
True
Let h(k) = k**2 + 9*k + 10. Let s be h(-8). Is (0 + s + -1)*563 a prime number?
True
Is 3*(352/12 + -3) composite?
False
Let o = 1472 - 291. Is o composite?
False
Suppose -5*u + 575 + 15 = 0. Let x = -53 + u. Is x composite?
True
Let c(l) = -l**3 + 8*l**2 + 13*l - 11. Let a = 16 + -7. Is c(a) composite?
True
Let t(q) = q - 4. Let s be t(-7). Let u = s + 24. Is u a composite number?
False
Let f = 231 + 230. Let z = f + -39. Is z a prime number?
False
Suppose -3*v = -4*v - 4*a + 5, 2*a = -2*v + 16. Let z(j) = 7*j - 8. Is z(v) a composite number?
True
Suppose l + 4*l + 4*j - 10285 = 0, -l + 2078 = 5*j. Is l composite?
False
Let a be (-4)/(-18) - 1624/18. Let i = a + 144. Suppose 2*p + 4*t - i = 0, -20 - 116 = -3*p + 5*t. Is p composite?
False
Is -3*(-1588)/12*1 composite?
False
Suppose p = 5*p - 4. Suppose 1 = 2*h - p. Is (-266)/(-8) + h/(-4) prime?
False
Suppose -5*y = -0 - 5. Is -66*(y + 6/(-4)) a composite number?
True
Let z be 1*(-1 + (2 - -1)). Suppose -4*a + a - 221 = -z*t, 4*a = 2*t - 224. Suppose -6*n + 4*n + t = 0. Is n a prime number?
True
Suppose -5*a - 2*o + 9 = -4*o, -2*o - 5 = -a. Let s be (-6 - -3)*a - 1. Is s/(-8) + 194/4 composite?
True
Let y = -1406 + 2193. Is y composite?
False
Let a(s) = 7*s**3 - 3*s**2 + 3*s - 5. Let z(u) = 8*u**3 - 2*u**2 + 2*u - 4. Let c(i) = 3*a(i) - 4*z(i). Is c(-1) a composite number?
True
Suppose -i - 4*v = -19, -5*v = -4 - 11. Let b = i + -2. Suppose -t = -b*t + 356. Is t prime?
True
Suppose -8 = -2*j - 5*p, 2*p - 3 = 5*j + 6. Let s be 1374/(-3) + 0 - -2. Is (s/(-9) + j)*3 prime?
True
Let g(y) = -y**3 - y**2 - y + 46. Let v(n) = n**3 + 9*n**2 + 7*n - 6. Let h be v(-8). Let f = -2 + h. Is g(f) a prime number?
False
Let o(k) = -67*k - 6. Let j(r) = -67*r - 5. Let g(h) = 4*j(h) - 3*o(h). Is g(-3) composite?
False
Let d be 119*3/6*2. Let j(a) = -a**2 - 6*a + 7. Let i be j(-7). Suppose i*y - d = -y. Is y composite?
True
Suppose 3*v = 3*c + 60 + 105, -3*c - 5*v - 157 = 0. Let t = -19 - c. Is t prime?
False
Let h be ((-6)/(-9))/((-4)/(-30)). Suppose 0 = -4*g - h*a + 10, -g - 10 = 2*g - 5*a. Suppose -v + 8 + 13 = g. Is v prime?
False
Let s = -135 + 514. Is s a composite number?
False
Suppose -5*k = -k. Is 81 - (k + 2 + -3) prime?
False
Suppose 4*l + t - 4 = 0, t + 7 = 4*l - 5. Let j(a) = -20*a - 4. Let k be j(-6). Suppose -3*u - b + k = -l*u, 4*u - 485 = 3*b. Is u a prime number?
False
Is 9/45 - 1284/(-5) a prime number?
True
Let r(y) = 12*y**3 - 3*y**2 - 2*y. Is r(3) a composite number?
True
Suppose k - 4*j - 13 = 40, -3*k + 79 = 4*j. Is k prime?
False
Let c(z) = z + 3. Let j be c(-6). Let g be (-149)/j - (-2)/6. Suppose 7*x - g = 2*x. Is x a composite number?
True
Let d(p) = 354*p**3 + 2*p**2 - 2*p + 1. Is d(1) composite?
True
Suppose c - 2 + 5 = 0. Is -95*((-24)/(-10) + c) composite?
True
Let a be (485 - (1 - -2)) + -3. Let x = 68 + a. Is x a composite number?
False
Let u(d) = 2*d**2 - 7. Is u(-13) a composite number?
False
Suppose 4 = -4*w, 4*r - r = 5*w + 296. Is r prime?
True
Suppose 5*y = 8 + 12. Suppose -3*c - 2*i = -0*i - 236, -y*i = 5*c - 394. Suppose 5*v - 27 = c. Is v prime?
False
Suppose 22*p - 17*p = 285. Suppose z = 28 + p. Is z composite?
True
Is 1*(89 - (0 - -2)) prime?
False
Let n = 38 + -102. Let t = n - -9. Let r = 92 + t. Is r a composite number?
False
Let u(r) = -15*r + 3. Let l be u(4). Let d = -38 - l. Let z = d - -76. Is z composite?
True
Let t(k) = 970*k**2 + k. Let j be t(-1). Suppose n = w - 243, 0*n + j = -4*n + 3*w. Is -2 - n - (-5 - -4) a prime number?
True
Suppose -4*p = -11 + 3. Suppose v = l - 29, l - 6*l + p*v + 136 = 0. Suppose 7 = r - l. Is r a composite number?
True
Let m(x) be the first derivative of -x**4 - 5*x**3/3 + x**2 - 5*x + 1. Is m(-4) a prime number?
True
Suppose 5*s + 3227 = 3*l - 2*l, 4*l + 4*s - 12908 = 0. Is l a composite number?
True
Let v(t) be the second derivative of -t**4/12 - t**2/2 - t. Let w(r) = -18*r**2 - 2*r + 3. Let a(f) = -4*v(f) - w(f). Is a(-1) prime?
False
Let z(n) = -n**2 + 11*n + 3. Let m(b) = 6*b**2 - 7*b**2 - 1 + 0 - 7*b. Let w be m(-6). Is z(w) prime?
False
Let m(w) = -8*w**3 + 3*w**2 - 13*w - 1. Let b(t) = 7*t**3 - 2*t**2 + 12*t + 1. Let d(y) = -7*b(y) - 6*m(y). Is d(-4) a prime number?
True
Is 12/(-6) - 2 - 1935/(-1) prime?
True
Let s be (-2)/(-6) + 52/(-12). Let l = s - -6. Suppose 0 = -2*m - l*m + 84. Is m prime?
False
Let l = 657 + -60. Is l composite?
True
Suppose 4 = 4*i + k - 49, 5*i - 70 = -5*k. Suppose h - i = -4*h + l, 0 = 4*h - 4*l - 20. Suppose h*j - 4*j = -26. Is j a composite number?
False
Let u = 78 - -57. Let a = u + -77. Is a a prime number?
False
Let d = 6 - 3. Suppose -8*v = -d*v - 815. Is v a prime number?
True
Suppose 3*b + 57 - 21 = 0. Is 118/6 - (-8)/b composite?
False
Let z be 2 + 0 - (-1 + -228). Suppose -z = -2*a - a. Is a prime?
False
Let h(n) = -n**2 - 3*n + 2*n**2 + 0*n. Let m be h(4). Is m/(-14) + (-51)/(-7) a prime number?
True
Suppose -5*g + 4*g - 171 = 0. Let a = g - -332. Is a composite?
True
Suppose -5903 = -7*u + 9518. Is u a prime number?
True
Suppose -18 = -4*x - 3*m + m, 4*m + 9 = x. Suppose 5*q = -0*q - 2*d + 285, 80 = q + x*d. Is q prime?
False
Let i = -14 + 26. Suppose i = 3*a + a. Suppose -k = -a*k + 38. Is k composite?
False
Suppose 4*w - 279 = w. Is w a prime number?
False
Let q(g) = 95*g**2 + g - 5. Let t(m) = -96*m**2 - m + 6. Let h(c) = 5*q(c) + 4*t(c). Is h(1) a prime number?
False
Let z be ((-80)/12)/((-2)/(-33)). Let k = z - -313. Is k a composite number?
True
Let a = 389 + -210. Suppose -4*z + 3 = -4*c - 1, 3*c - 3 = z. Suppose -j = -z*t + a, -t - 3*j + 57 = -2*j. Is t a composite number?
False
Suppose 0 = 4*k + s - 194, 4*k + 46 - 248 = -5*s. Let g be ((-153)/(-36))/(1/20). Let w = g - k. Is w prime?
True
Suppose 0 = -r - s + 716, -3*r - 4*s = -795 - 1351. Is r composite?
True
Is 187 - -2 - (0 - -2) composite?
True
Suppose -4 = -h + 2*a, -2*h + 6 = -5*a - 3. Suppose -3*f - h*t = -795, 0 = -2*f - 2*t + 419 + 113. Is f a prime number?
True
Suppose -2*z = -4*z - 58. Let s = z - -60. Is s a prime number?
True
Suppose 2*b = 0, 0 = -3*p - 3*b + 6*b + 1743. Is p prime?
False
Suppose 2400 = 9*a - 10281. Is a composite?
False
Is (-5*1)/((-4)/92) composite?
True
Let f be (-72)/(-1) + 4/(-4). Let d = 106 - f. Is d a composite number?
True
Suppose -5*f + 3*i + 41 = 0, -3*i = 3*f - i - 17. Suppose f*a - 3*a = 452. Is a a prime number?
True
Let z(h) = -20 - 21 + 63 + 9*h**2 + 2*h - 20. Let r be ((-6)/8)/(4/16). Is z(r) a prime number?
False
Suppose q - 5*u - 16 = 0, -2*q + 66 = u + 1. Is q a prime number?
True
Let w(s) = 7*s**2 - 6*s - 4. Suppose 1 = 2*q - 9. Is w(q) a composite number?
True
Let h(g) = -1 + 8*g**3 + 7*g**3 - 4 + g**2 + 1 + g. Is h(3) prime?
False
Let h(f) = f**3 - 3*f**2 - 6*f + 5. Let s(r) = r**2 - r - 1. 