3*u, 5*u - 15 = -2*z. Suppose -4*p - q + 507 = 0, z*q + 4 = -4*q. Is p a prime number?
True
Let t(r) = 3*r**2 + 3*r + 5. Let x = 7 - 13. Is t(x) composite?
True
Suppose 0*x + 62 = -2*x. Let n = x - -158. Is n composite?
False
Is -2 - ((-23228)/14 + 2/14) a prime number?
True
Let u(n) = -502*n - 9. Is u(-1) composite?
True
Let m(t) = -t - 2. Let d(r) = -1. Let l(s) = -d(s) - m(s). Let h be l(0). Suppose 0 = -h*q + 464 - 29. Is q a prime number?
False
Suppose -10*x + 11*x = 487. Is x a composite number?
False
Let u(b) = b**3 - b**2 - 8*b + 6. Let l be u(6). Suppose l + 212 = 5*f. Let q = 121 - f. Is q a prime number?
False
Let x(z) = 276*z**2 + 4*z + 2. Let l be x(-2). Is ((-3)/9)/((-3)/l) prime?
False
Is (185/10)/(1/2) prime?
True
Let t be (-294)/4 + 17/(-34). Let q = 137 - t. Is q composite?
False
Is (1 + 0)/(5*(-3)/(-2355)) prime?
True
Let h(o) = -o + 5. Let l be h(5). Let x = -1 + l. Is x/((-1)/(-2)) + 53 a composite number?
True
Suppose 0 = 5*j + 4*w - 29 + 11, -12 = -j - 5*w. Suppose -3*a + 10 = 3*d - 2*a, -j*d + 5 = -a. Suppose -d*m + 450 = -21. Is m a composite number?
False
Let c = 17 - 12. Suppose 2*q + 2*l + 3 = 3*q, 0 = -c*l. Suppose -27 + 3 = -q*h - 3*w, -4 = -h + 3*w. Is h a prime number?
True
Let p(q) = q**2 - 5*q + 2. Let w = 6 + -2. Let f be p(w). Let m(s) = -5*s**3 - 2*s**2 + 1. Is m(f) a prime number?
False
Let z(x) = x**3 - 4*x**2 - 6*x + 2. Let f be z(4). Let g = f + 141. Is g a prime number?
False
Let d be (0 + -30)*(-3)/6. Let m = 236 + d. Is m composite?
False
Let s(v) = -v**3 + 9*v**2 + 7*v + 2. Is s(7) a composite number?
False
Suppose 5*k - 2*c = -0 + 285, -4*k = -5*c - 228. Suppose 4*g + 3*q - 4*q = k, -4*q - 32 = -2*g. Is g a prime number?
False
Let f = 52 + -15. Let i = f - 16. Is i prime?
False
Suppose 0*r - q = -r + 1, 4*r - 2*q = -4. Let t(v) be the first derivative of -v**3/3 - 2*v**2 + 6. Is t(r) a prime number?
True
Let u be (-339 + 3)/(-2) + 3. Let w be 8/(3 + (-507)/u). Let i = w - 101. Is i a prime number?
True
Let p be 2/6*(9 - 0). Suppose 0 = -3*t + p + 138. Is t composite?
False
Let p(y) = 102*y + 41. Is p(13) prime?
True
Let b(y) = -y**2 - y + 2. Let a be b(-2). Suppose 2*v - 239 + 1 = a. Is v a prime number?
False
Is 5/2*72386/85 composite?
False
Suppose 682 = 57*s - 55*s. Is s composite?
True
Let p = 9 - 6. Suppose -p*o - 3 = 0, -b - 1 = 4*o + 1. Let r(q) = 8*q**2 + 1. Is r(b) a composite number?
True
Let w(y) = 2*y**2. Let u be w(1). Suppose k - 60 = 3*p, -4*p - 215 = -3*k - 2*p. Suppose k = u*h + 7. Is h a composite number?
True
Suppose -3*l - 15 = 2*l, 4*l - 1347 = -3*r. Is r a prime number?
False
Suppose -a + 117 = 2*y - 0*a, -a = -4*y + 237. Is y a composite number?
False
Suppose 0 = 3*u + 1 - 16. Let a be (4/5)/(1/u). Suppose 0 = a*j - 203 - 833. Is j prime?
False
Suppose 3*r = 6*r + 6. Is 102*(-1)/r*1 a composite number?
True
Let z(q) = q**2 - q - 8. Let g be z(6). Let v = 31 + g. Is v a prime number?
True
Let b = 13 + -18. Let d = -7 - b. Is (-2 - (2 + d)) + 39 a composite number?
False
Let g be (0 + -1)/(1/(-2)). Suppose -3*b = -g*b - 91. Is b composite?
True
Is (-650)/(-8) - (-33)/44 composite?
True
Suppose 3*x - x = -92. Let f = -12 - x. Is f composite?
True
Suppose -42*d + 43*d - 251 = 0. Is d prime?
True
Let u(k) = -651*k + 1. Let i be u(-1). Suppose 5*h = h + i. Is h composite?
False
Suppose 0*f - 3*f + 12 = 0. Is (-21 - -7)/(f/(-10)) composite?
True
Let i(j) = j**2 - 12*j - 19. Let q be i(13). Let u = q - -9. Suppose u*g - 134 = g. Is g prime?
True
Let a(w) = 156*w**2 + 3*w + 4. Is a(-3) a prime number?
True
Let p(u) = u**3 - 2*u**2 + u. Let g be p(1). Suppose g = c - 38 + 7. Is c composite?
False
Let w be (-263)/(-5) - (-3)/(-5). Suppose u = -2*v + w, 3*u + 0*u = -5*v + 129. Suppose -5*i + 45 = -3*c, -v = -3*i - 0*i - 2*c. Is i a prime number?
False
Let b = 767 - 394. Is b prime?
True
Let o = 13 + -7. Suppose -j + o = 2*j, 0 = -k + 5*j + 57. Is k a composite number?
False
Let i(g) = -131*g**3 + 2*g - 1. Is i(-2) composite?
True
Let p = -2560 - -6149. Is p a prime number?
False
Let y(d) = 2*d**3 - 4*d**2 + d - 10. Let w(m) = m**3 + m**2 - 1. Let i(q) = 3*w(q) - y(q). Let b = -9 - -2. Is i(b) a prime number?
False
Suppose -v + 2141 = 4*j, -4*v - 5*j + 14340 - 5743 = 0. Is v composite?
False
Suppose -5*r = -10*r. Let s = 105 - -107. Suppose 2*c + 2*c - s = r. Is c a prime number?
True
Suppose 4*v - 2*f = 623 - 81, -108 = -v - 5*f. Suppose 2*z - v = 13. Let c = -6 + z. Is c composite?
False
Let l(z) = z**2 + 4*z - 6. Is l(-13) prime?
False
Let y(p) = -4*p + 4*p**2 - 2*p**2 + 7*p - 3*p**3. Let j be y(-4). Let d = j + -103. Is d a prime number?
True
Suppose -2*y + 5*b - 29 = -139, 5*y - b - 252 = 0. Let p = y + -25. Let r = p + -12. Is r a prime number?
True
Let b(z) = -z**3 - 10*z**2 + 7*z - 1. Let q be b(-10). Let f = q + 124. Is f prime?
True
Let j be (-8)/(-20) + 13/5. Is j/(-1)*774/(-18) prime?
False
Let l(d) = 20*d**2 - 5*d + 2. Let t be l(4). Let c = t + -9. Is c composite?
False
Let y(n) = -102*n + 105. Is y(-8) prime?
False
Suppose 3*z = 2*z + 517. Is z prime?
False
Let o = 532 + -81. Suppose 3*j - 3*n = 354, -5*j + j + o = 3*n. Is j composite?
True
Let a be (322*(0 - 1))/(-1). Let w be 2/9 + a/9. Is -1*(-2)/(-2) + w a prime number?
False
Let x = -5 + 11. Suppose -x*q + 524 = -2*q. Is q a prime number?
True
Let w(j) = -18*j - 55. Is w(-21) a prime number?
False
Suppose -4*i = -2*j - 3878, i = 2*j + 507 + 470. Is i a prime number?
True
Let x(s) = s**2 + 5*s - 5. Suppose n - 29 - 15 = 4*t, 4*n - 4*t - 128 = 0. Suppose 5*h - n = h. Is x(h) a composite number?
False
Let q be 0/(-2)*(-2)/(-4). Suppose q*p + p + 2*j = 15, 4*j = -5*p + 75. Suppose -2*c + 5*c - 62 = d, -p = 3*d. Is c prime?
True
Let h(g) = 3 + 4*g**2 - 6*g + 3*g - g. Let z be (3/(-3))/(2/(-4)). Is h(z) composite?
False
Suppose -n - 28 = -3*n + 5*p, -3*n - 4*p + 19 = 0. Suppose -4*m + n + 195 = 0. Is m a composite number?
True
Is -5 + 292 - (-3 - -1) a prime number?
False
Suppose 3*d + 2*d - 15 = 0. Suppose -11 = -d*k + 1. Is ((-23)/k)/((-1)/28) a prime number?
False
Let g(w) = -2*w**2 + w + 8. Let p(y) = y**2 - y - 4. Let o(r) = -3*g(r) - 5*p(r). Let z = 15 - 10. Is o(z) prime?
True
Is (1 - 710/(-6))*3/2 prime?
True
Suppose -3*q + 2*n = q, 4*q + 5*n = 0. Suppose 3 = -q*f + f. Suppose -98 = f*m - 5*m. Is m prime?
False
Let q = 708 - 77. Is q a prime number?
True
Suppose -4*o - 4*x = -192, 2*x + 88 = -0*o + 2*o. Suppose l - o = -i + 88, -4*i + 131 = l. Suppose -5*d = -l - 420. Is d a prime number?
False
Suppose d + 4*f = 27, 62 = 4*d - 4*f - 6. Is d prime?
True
Let l(x) = 5*x - 9. Is l(8) composite?
False
Suppose -260 - 1086 = -2*i. Is i a composite number?
False
Suppose 578 = 101*n - 99*n. Is n a composite number?
True
Let n(y) = 20*y**2 + 4*y - 6. Let b(v) = 7*v**2 + v - 2. Let f(h) = -11*b(h) + 4*n(h). Let k(r) be the first derivative of f(r). Is k(9) a composite number?
False
Let l(k) = 14*k**2 - 11. Is l(-6) a composite number?
True
Let n = 311 + -108. Is n a prime number?
False
Let s = -241 - -105. Let k be s/(-20)*(1 + 4). Let z = -12 + k. Is z a prime number?
False
Suppose -l - 6 = 4*n, -3*n = 5*l - 4 - 0. Suppose 1 - 7 = -l*o. Suppose r = o*s - 267, 2*r - r = 0. Is s a prime number?
True
Let z be (127 - 2 - -2)*-1. Suppose -5*q + 4*s - 11 = -909, 358 = 2*q - 2*s. Let a = z + q. Is a composite?
True
Let a = -26 + 45. Is a a prime number?
True
Is 5/((-60)/18)*(-178)/3 composite?
False
Suppose -k + 8 = 5*v + 1, -3*k = -v - 5. Suppose -137 = -5*m - 3*i, 3*i = -k - 1. Suppose 0 = -j + z + m + 24, -4*z + 12 = 0. Is j a prime number?
False
Suppose -4*p + 2 - 10 = 0. Let a(z) = 0*z**2 + 3 - 3*z**3 + 0*z**2 + 4*z. Is a(p) a composite number?
False
Let r = 114 - -45. Is r composite?
True
Let h = -729 - -1250. Is h prime?
True
Suppose 19*k - 24*k + 4315 = 0. Is k composite?
False
Suppose 2716 = 2*h - 3*i, 2*h - 1738 = -5*i + 994. Is h a prime number?
True
Suppose 4*n = -p - 22, 2*p - 6*n = -2*n - 68. Let o = -11 - p. Is o prime?
True
Let w be (1 - (3 - 1)) + -2. Suppose 6*c - 4*c - d = 27, -19 = -4*c - 5*d. Let j = c - w. Is j a prime number?
False
Suppose -290 = -5*x - 3*t, -t = -2*x + x + 58. Is x prime?
False
Suppose 0 = -f + 2*f - 1. Let y = 3 - f. Suppose -y*j - 3*j = -265. Is j a prime number?
True
Let j(r) = 4*r**2 