 + (-315)/a prime?
True
Let h(z) = 4*z**2 + 2*z - 13. Is h(5) a prime number?
True
Is 4364/10*(21 - -4)/5 composite?
True
Suppose 2*g = 4*u - u - 269, 2*u - 3*g = 186. Is u a prime number?
False
Let z = 10 + -7. Suppose -z*t - t + 52 = 0. Is t a composite number?
False
Let l(o) = 96*o**3 + o - 5. Is l(4) a composite number?
False
Let y be (-4)/(-2) - (-2 - 0). Suppose -4*f = 3*n - 173 - 99, -y*f - 4*n + 276 = 0. Is f prime?
False
Let l(h) = h**3 + h + 2. Let p be l(0). Suppose n - 66 = -p*n. Suppose -8*d + 3*d = -3*w + 64, n = w - d. Is w composite?
False
Is 1*((-366)/(-4))/(6/8) a composite number?
True
Suppose 0 = -3*a - 0*a + 1089. Is 2*3*a/18 a prime number?
False
Is -1*(-92 - 12/4) prime?
False
Let r = -3 - -1. Let z = r - -5. Let u = z - -10. Is u prime?
True
Let p = -78 + 469. Is p a composite number?
True
Let y = -39 - -20. Let g = 34 - y. Is g a prime number?
True
Let m = -9 + 9. Is -3 + 136/(1 - m) prime?
False
Let c(b) = 0*b**2 + 0*b**2 - 2*b + 4 + 6*b**2 - 3. Is c(4) composite?
False
Suppose -8*y = -9*y + 23. Is y a prime number?
True
Suppose 3*b = s + 3762, 3503 + 247 = 3*b - 5*s. Let k be 2/5*b/1. Is (k/4)/((-3)/(-6)) composite?
False
Suppose 11*q - 4*q = 10913. Is q a prime number?
True
Let t(q) = -q**2 + 4*q - 2. Let m be t(2). Suppose 0 = -2*i + m*u + 3*u - 212, -530 = 5*i + 3*u. Let k = 195 + i. Is k a composite number?
False
Let q(n) be the first derivative of 4*n + 0*n + 2 + 0*n + n**3. Is q(3) a composite number?
False
Let o = 0 + 4. Suppose 4*k + 2 = -2, p = o*k + 137. Is p a prime number?
False
Let r = 745 + 206. Is r composite?
True
Suppose 6*w - w = 325. Is w composite?
True
Suppose -n + 513 = -l + 3*l, 2*n - 1002 = 2*l. Is n composite?
True
Suppose -3 = -2*b + b. Suppose -4*s + 146 = -3*k, 0*s - 64 = -2*s - b*k. Is s a composite number?
True
Suppose 9 + 15 = 3*d. Let y(s) = 3*s**3 - 10*s**2 + s + 3. Is y(d) a composite number?
False
Is (-24)/36*(-24666)/4 composite?
False
Let h be 1*-1 - (38 + 2). Let k be 768/72*(-1 + -5). Let n = h - k. Is n prime?
True
Let b(x) = 4*x**2 - x - 1. Let k be b(-1). Suppose -1 + 9 = k*c. Suppose -c*p + 2 = -p. Is p composite?
False
Suppose -27196 + 5447 = -7*c. Is c composite?
True
Let i = 663 - 277. Is i a composite number?
True
Suppose -5*f - 5*x = -2*f - 4553, 4*x - 6084 = -4*f. Is f/12 - (-1)/(-6) a prime number?
True
Is (2/3)/((-14)/(-1659)) a prime number?
True
Let k(c) = 19*c - 2. Let y be k(7). Let t = y + -52. Is t a prime number?
True
Suppose 0 = -5*a + 548 - 18. Is a a prime number?
False
Suppose -y - 4*f = -6*y + 143, 4*y - 4*f - 112 = 0. Is y prime?
True
Suppose -4*k = -3*k. Suppose -4 = 4*z - 5*t, k*t - 4*t - 40 = 4*z. Is (-3)/z + 122/4 prime?
True
Let a be 39*(-1 - (-1 - 1)). Let p = 86 - a. Is p prime?
True
Let n(k) = 7*k**2 - 1. Let u be n(3). Let t = u - 11. Is t a composite number?
True
Suppose -1210 - 4475 = -5*d. Is d a prime number?
False
Let o(t) be the third derivative of 0 - 5/6*t**3 + 2*t**2 - 1/8*t**4 + 0*t. Is o(-4) composite?
False
Suppose 5 = -2*f + 5*t - 4, 0 = -2*f - t - 15. Let c = 11 + f. Suppose c*w = 5*i - 29 - 76, 5*i + 3*w = 105. Is i prime?
False
Let g be (-12)/9*(-15)/2. Let h be -286*(g/(-4))/(-5). Let d = -74 - h. Is d prime?
False
Let q be 1*66/(-3) - -3. Let j = q + 236. Is j prime?
False
Let s = -5 - -25. Is 2976/s + 4/20 composite?
False
Let m(i) = i**3 - 2*i**2 - 5*i + 3. Let t = -4 + 9. Is m(t) a prime number?
True
Let y be (0 + 1)/((-2)/8). Let x(i) = -5*i - 7 + 5*i**2 + 6 + 3*i - 2*i**2. Is x(y) a composite number?
True
Suppose 2*k = -3*k - 30. Is (-1 + k)*(-2 - 3) prime?
False
Let u = 3 + -3. Suppose p + u*p - 287 = 0. Is p prime?
False
Let k = 1 + 2. Suppose z = -k*z. Suppose z*p - 36 = -4*p. Is p composite?
True
Suppose 0*n - 2*n - 12 = 0. Let d = 12 + n. Is d composite?
True
Suppose 0 = 3*t - 440 - 97. Let j = 100 - 59. Suppose 4*f = j + t. Is f a composite number?
True
Suppose 3*h + r = 65, 8 = -0*r - 2*r. Is h a composite number?
False
Let t(n) = -20*n + n - 4 - 2. Let l = -11 - -6. Is t(l) a composite number?
False
Let j = -6 - -9. Suppose 111 - 18 = j*f. Is f prime?
True
Let x(d) = -3*d**3 - 2*d**2 - 3*d + 2. Let t = -2 + -1. Is x(t) prime?
False
Let s(h) be the third derivative of 3*h**2 + 0*h + 0*h**4 + 0 - 1/6*h**3 - 1/60*h**5 - 1/24*h**6. Is s(-2) prime?
False
Suppose j = 4*j - 2445. Let o(n) = -5*n**3 + 3*n**2 - 2*n - 4. Let v be o(5). Let z = j + v. Is z composite?
False
Let r(z) = -95*z + 22. Is r(-5) a prime number?
False
Suppose -2*o + 1558 = 4*l, 2*o - 1946 = -7*l + 2*l. Suppose -x - 4*w - l = -5*x, -5*x + 485 = 5*w. Is x prime?
True
Is (307/(-4))/(8/(-32)) prime?
True
Let h(d) = 223*d + 3. Is h(2) prime?
True
Suppose -2*o + 7 = -3*o - r, 4*o + 5*r = -25. Is (6/(-5))/(4/o) composite?
False
Is (-1 - -24)*(17 - 14) a composite number?
True
Let b(z) = 395*z**3 - 2*z**2 + 5*z - 3. Is b(1) a composite number?
True
Let z = 8 - 5. Suppose z*c + 4 = 5*c. Is -2*(171/(-6) + c) composite?
False
Let k(d) = 9*d**3 + 2*d**2 - 2*d - 2. Let g be k(2). Suppose 0 = -i - i + g. Is i a prime number?
True
Let t(g) = -5*g**3 - g**2 + 4*g + 5. Is t(-4) composite?
False
Suppose 0 = 4*s - 2*f, 3*s - s = 3*f. Suppose -5*z + 2*h + 68 = 0, s = 5*z - 5*h - 55 - 10. Is z a prime number?
False
Let c be (-6)/15*-1*5. Suppose -c*g = g - 753. Is g a prime number?
True
Let d be 81/12 - 2/(-8). Let v(n) = -n**3 + 9*n**2 - 10*n + 9. Is v(d) a prime number?
True
Suppose 2*n - 3*n - 632 = 4*c, -3*c + 2*n = 474. Let q = -84 - c. Is q a prime number?
False
Let i(m) be the third derivative of m**5/60 + 65*m**3/6 - m**2. Suppose -2*w + 2*p = -w - 8, -4*w - 5*p - 20 = 0. Is i(w) composite?
True
Let m be (2 - 4) + -1 + 1266. Suppose 4*v - 4*j = -0*j + 988, 0 = 5*v + 2*j - m. Is v composite?
False
Let g(j) = 5*j - 9. Let p(x) = -x**3 + x**2 + 6. Let k be p(0). Let v be g(k). Let t = v - 12. Is t composite?
True
Suppose 6*l + m = 4*l + 4, -3*l - 3*m + 6 = 0. Suppose 3*a + l*a = 725. Is a a prime number?
False
Let d be 8 + -1 - 18/9. Let p = -23 - -6. Let c = d - p. Is c a composite number?
True
Let q(p) = -18*p. Let y be q(-4). Let b = 10 - 0. Suppose 0 = x + b - y. Is x a prime number?
False
Let f(u) = -7*u**3 - 7*u**2 + 3*u + 8. Is f(-7) a composite number?
True
Let u = -8 - -2. Let n = u + 13. Is n composite?
False
Suppose -24 = -2*c - 4*h, -h + 16 = 5*c - 8. Suppose -3*j - 12 = k, -j = -3*k - 2*j + c. Is ((-21)/k)/((-1)/2) a composite number?
True
Let d(q) = 43*q - 7. Suppose 5 + 1 = a. Is d(a) a prime number?
True
Let q be -3*((-2)/(-3))/(-1). Suppose 0*a - 4*z = 3*a - 842, 3*a + q*z = 850. Let v = -131 + a. Is v a prime number?
False
Is (-4)/24*-537*2 composite?
False
Let v = 1130 + 1307. Is v a prime number?
True
Let m = -4 + -2. Let t = m - -2. Is (158/t)/(1/(-2)) a composite number?
False
Let z(l) = 7*l**2 + 34*l + 37. Is z(-18) a composite number?
False
Is 567 + (0 - -2) + -4 a composite number?
True
Let z(r) = r**2 - 8*r + 4. Let d(q) = 2*q**2 - 7*q + 3. Let h(g) = -3*d(g) + 4*z(g). Let j be h(-8). Let x = j - -52. Is x composite?
False
Suppose 60*q - 57*q - 4017 = 0. Is q prime?
False
Let i = 24 - 17. Suppose i*m - 12 = 3*m. Suppose 2*w = 3*r + 111, m*w + r - 233 = -61. Is w a composite number?
True
Let a = -3833 + 5376. Is a composite?
False
Is (-4)/(-14) + (-59147)/(-133) prime?
False
Let r = 18 - 10. Let c be (-4)/r*(-2 + -2). Is c/10 + 124/5 a prime number?
False
Let b(a) = -4*a + 2*a + 18 - 21. Let u be b(-3). Suppose -3 = y, -u*y = -3*m - 7*y + 225. Is m a prime number?
True
Let n = 7 + -5. Suppose 0 = -n*t + 511 - 41. Is t prime?
False
Let l = 0 - 0. Suppose 3*g = 5*g - 3*t - 10, -3*t = l. Suppose -g*s + 35 = -60. Is s a composite number?
False
Let i = 29 - -822. Is i a composite number?
True
Suppose 13 = b + 4*n, 3*b - 30 = n + 48. Is (-20)/b*25/(-2) prime?
False
Is (386 - -3) + 0 - -2 composite?
True
Let g(j) = j**2 - 2*j - 1. Let o be g(2). Let r = o - -3. Is r a prime number?
True
Let l(m) = 6*m + 2. Let q be l(2). Let b be (-4)/q + 4296/42. Suppose g - b = -g. Is g composite?
True
Is 1 - 6 - (-1513 - -7) a prime number?
False
Let r(f) = -6*f + 0*f - 2 + 2*f**3 + 3*f + 2*f**2. Let k be r(-4). Let m = k + 165. Is m composite?
False
Let u(x) = x**3 - 8*x**2 + 9*x - 8. Let q be 5/(-25) + (-72)/(-10). Is u(q) a prime number?
False
Let m(h) be