p) composite?
True
Is (1461/6)/(5/10) a prime number?
True
Let w = -5 - -9. Suppose -315 + 47 = -w*z. Is z a prime number?
True
Suppose -2*k = 5 - 13. Suppose -k*u = -6*u + 578. Is u a composite number?
True
Let y(c) be the first derivative of -44*c**2 + c + 1. Is y(-4) prime?
True
Let l(n) = -n**3 - 4*n**2 + 6. Let w be l(-6). Let q = w + -1. Is q a composite number?
True
Suppose -5*k - 4*v + 226 + 362 = 0, 345 = 3*k + 5*v. Suppose 5*n + 0*n - 5*s = k, -3*n - 4*s = -79. Is n prime?
False
Let u = 106 + -23. Suppose 265 = 3*j - 0*c - 4*c, 4*c = -j + u. Is j a composite number?
True
Let u(v) = 11*v**2 - 1 + 2*v + 3 - 3. Is u(-2) composite?
True
Let f(x) = -x**3 + 8*x**2 - 6*x + 4. Let p = -14 + 21. Is f(p) a prime number?
True
Let b = -40 + 80. Let j = -5 + b. Is j a composite number?
True
Let u(p) = -59*p + 10. Is u(-5) prime?
False
Let q be 2/6*(16 - 4). Suppose 0 = -5*m - q*s + 127, -m - 5*s - 54 = -4*m. Is m composite?
False
Suppose -t + 32 = -7. Is t composite?
True
Is (-3584)/(-24) + (-2)/6 prime?
True
Let v(f) = -333*f**3 - 1. Let t be v(-1). Suppose z + t = 5*z. Is z prime?
True
Let h(g) = -g**3 - 6*g**2 - 8*g + 1. Let f(l) = l**3 + 6*l**2 + 8*l - 1. Let c(k) = 6*f(k) + 7*h(k). Let m be c(-6). Is -2 + m*(-1)/(-1) prime?
True
Let n(w) = w**3 + 6*w**2 + 4*w - 3. Let x be n(-5). Suppose 7*i + 528 = 4*v + 3*i, -i = -x*v + 266. Is v a prime number?
False
Let g(t) = -3*t + 0*t**3 - t**3 - 3*t**2 - 8*t**3 + 3*t**3 - 1. Let d be g(-2). Is (d/(-2))/(1/(-4)) composite?
True
Suppose -42 = -5*o - 17. Suppose g = o*g - 332. Is g a prime number?
True
Let a be 5 + 1/(-2)*2. Suppose -a*f + 12 = -2*f. Is f a composite number?
True
Suppose 5*j = -3*f - 14, 2*f - 2 = 2*j + 10. Let z = 0 + f. Suppose -z*l = 2*l - 140. Is l composite?
True
Let c(w) = 5*w + 14. Is c(12) prime?
False
Suppose n = -2*r - 8, 4*r + 17 = -n - 1. Suppose 2*c - 23 = 3*t, 0 = -2*c - n*c + t + 51. Is c composite?
False
Suppose 0*f + 58 = f. Let v = f - 5. Is v composite?
False
Suppose 0 = 2*w - 2119 - 1251. Is w a prime number?
False
Let n = 2 + -4. Is n/6 - (-5496)/18 prime?
False
Let y(q) = -q**3 - 8*q**2 - 8*q - 15. Is y(-8) prime?
False
Suppose 2*s + 584 = 3*s. Suppose -s = -4*x - 2*p, 0*p = 2*x + 5*p - 300. Is x prime?
False
Suppose 5*g - 970 = -5*n, 9 + 16 = -5*n. Is g composite?
False
Let k = 10 - 6. Let n(q) = -q**3 + 7*q**2 - 3*q + 5. Let f be n(6). Suppose -f = 3*w - k*w. Is w a prime number?
True
Suppose r + 2*r - 63 = 0. Suppose -5*q - u = -397, -4*u + r - 92 = -q. Is q composite?
False
Let z(r) = -3 - 4*r + 28*r**2 - 1 + 5. Is z(-2) composite?
True
Suppose 0 = 2*j - 0*j - 32. Suppose -904 = -4*a - 3*x, a + j = -5*x + 259. Is a composite?
False
Suppose 0 = 4*w + 13 + 3. Let n be (-14 + -1)*(3 + w). Is (-14)/((-36)/n - -2) prime?
False
Let r = -2818 + 283. Is 1/(-4) - r/12 a prime number?
True
Let v be -10*(44/10 + 2). Is (1*v - 3)*-1 composite?
False
Suppose -3*o + 2*o = -23. Is o prime?
True
Let w = 4 - 9. Let v(i) = i**3 + 6*i**2 - 5*i + 5. Is v(w) prime?
False
Let d(x) = x**3 + 6*x**2 - 6*x + 5. Let u be d(-7). Let n(r) = 10*r**2 + 4*r + 3. Is n(u) prime?
False
Let j be (13 - (1 - 1)) + 1. Suppose 3*y - 6 = 2*n + 2*n, 0 = 2*n + 4*y + j. Is -6*-2*n/(-6) a prime number?
False
Let r = 1 + 2. Suppose 12 + 6 = r*i. Let a(c) = c**3 - 4*c**2 - 8*c - 5. Is a(i) a prime number?
True
Suppose 0 = -2*p - 4*k + 36, 0*p = p - 2*k - 30. Suppose -2*v = 2*v - 52. Let j = v + p. Is j a prime number?
True
Suppose -4*s = -5*t + 1163, -925 = -4*t + 2*s + 3*s. Is t composite?
True
Let l(o) = 4*o**3 - 7*o**2 - 19*o + 15. Is l(7) prime?
True
Let m(d) = d**2 + 8*d + 9. Let p(n) = 3*n + 5. Let j be p(-4). Let z be m(j). Suppose -4*i = -2*y - 200, 2*i + i + z*y - 143 = 0. Is i a prime number?
False
Is 3/6*250 - (1 - 3) a prime number?
True
Let h(d) = -d**3 + 8*d**2 - 3. Let u be 2*(-2)/(-8)*22. Suppose 2*m - 3 = u. Is h(m) a prime number?
False
Let v(j) = j**2 - 6*j. Let k be v(6). Let y(a) = -33*a - a**2 + 20 + 33*a + 67. Is y(k) a prime number?
False
Let a(v) = 31*v**3 - 5*v**2 + v - 19. Is a(6) a composite number?
True
Let b(m) = -3*m - 6. Let w be b(-6). Let c = 1 - 3. Is c/(-8) - (-1161)/w composite?
False
Suppose 22 - 6 = 4*k, -2*m - 696 = -2*k. Let t = -217 - m. Is t a composite number?
False
Suppose 9*j - 1539 = 1890. Is j a prime number?
False
Is 1/(2/(518*1)) a prime number?
False
Let h(o) = 46*o**3 + 3*o + 4. Is h(3) a prime number?
False
Let y = 10 + 148. Is y composite?
True
Let r be -27 + 1*(-3 + 3). Let d = r + 140. Is d composite?
False
Suppose -j - 8 + 4 = 0. Let a(l) = 3*l**2 - 3*l - 4. Let r be a(j). Suppose -s - r = -5*s. Is s a composite number?
True
Suppose -5*z = -4 - 1. Suppose -2*w + 5*w + 5*j + 10 = 0, j = 4*w - 25. Let x = w - z. Is x a composite number?
True
Let j(n) = -106*n + 2. Let h be j(2). Is (h/(-50))/((-1)/(-5)) composite?
True
Let o(g) = 29*g**2 - 6*g - 9. Suppose 11 + 1 = -3*d. Is o(d) a composite number?
False
Let y(j) = -j**3 - 4*j**2 + 2*j + 4. Let t be y(-6). Suppose -5*i + 3*g = -0*g - t, -42 = -3*i + 3*g. Is i composite?
False
Let w = 34 + -23. Is w composite?
False
Let k(n) = -n**3 + 2*n + 87. Is k(0) a prime number?
False
Let y(s) = -37*s + 6. Let d be y(-2). Suppose -114 = -2*n + d. Is n a composite number?
False
Is (-51)/(-1) + (-4)/1 prime?
True
Suppose -43*i + 22316 = -39*i. Is i a composite number?
True
Let b(z) = -2*z + 7. Let o be b(5). Is (-199)/o + 4/6 composite?
False
Let q = 0 - -2. Suppose 0 + 78 = q*s. Is s composite?
True
Let z = 65 - 45. Suppose 4*l + l = z. Is (6/(-3))/(l/(-106)) prime?
True
Is 73 - (-6 - -3) - -1 a prime number?
False
Let k = 4 - 2. Suppose -2*f + 4*f + 5*w - 1604 = 0, k*w = -2*f + 1598. Is f a prime number?
True
Suppose 9*b = 1312 + 3971. Is b a composite number?
False
Suppose -5*n = -75 - 25. Is 312/10 - 4/n prime?
True
Let q = -6 - -9. Suppose 30 = 8*x - q*x. Suppose 21 = p + 2*d - x*d, -5*p + 150 = -5*d. Is p composite?
True
Suppose 6*n + 4*r = 2*n - 372, -5*r + 295 = -3*n. Is (-2)/(-1) + (0 - n) a composite number?
False
Let n(j) = -j**3 - 14*j**2 + 14*j - 11. Let y be n(-15). Suppose -3*h - 3*c + 212 + 4 = 0, -y*c = -4. Is h prime?
True
Let v = 22 - 10. Let t = 47 - v. Is t a prime number?
False
Suppose -3*p = -5*r - 55, -3*r - 35 = -5*p - 6*r. Let q be 4/p - (-36)/10. Let t = q - 0. Is t a prime number?
False
Suppose 5*j + 10 = 25. Is 9/(-1)*(j + -4) a prime number?
False
Let i(u) = 41*u + 6. Is i(5) prime?
True
Let v = -359 + 932. Is v prime?
False
Let p(t) = 14*t**2 - 20*t + 1. Is p(-10) composite?
False
Suppose -t + 25 = 3. Is t composite?
True
Suppose 2420 = 10*f - 9210. Is f composite?
False
Is (3 + 2 - -2733)*(-2)/(-4) a prime number?
False
Let q(n) = -2*n**3 + 4*n**2 + 4*n. Let x be q(4). Let t = -27 - x. Is 6/t - (-453)/7 a prime number?
False
Is (-13947)/(-15) + 28/(-35) composite?
False
Let r be (-1)/3*(-5 - -2). Let o(t) = 1306*t**3 - 5*t + 5. Let b(q) = 261*q**3 - q + 1. Let v(x) = 11*b(x) - 2*o(x). Is v(r) composite?
True
Suppose -c = -2*k + 442, 3*k + 2*c + c - 681 = 0. Is k prime?
True
Let t(s) = s**2 + 9*s - 16. Let u be t(-10). Is ((-131)/(-4))/(u/(-24)) a composite number?
False
Let b be (6/4)/(12/(-16)). Let y be 2*b*(-3)/4. Let i = 6 - y. Is i a prime number?
True
Suppose -4*n + v = -3*v, -3*n - v = -4. Is n + -6*62/(-1) a prime number?
True
Let h be -2 + (-3 + 4 - 30). Is h*1*3/(-3) a prime number?
True
Suppose 4*r = 372 + 520. Let c = r + -322. Is 2/(c/105 + 1) prime?
False
Suppose 0*i - 5 = -5*i. Is -3 + (26/1 - i) a prime number?
False
Suppose 2*g - 8 = -2*g, 0 = n + 5*g - 77. Is n composite?
False
Suppose 4*c = -5*q + 172, q = -2*c - 18 + 98. Is (c/(-2))/(0 + -1) composite?
False
Suppose -546 = -5*k + 299. Is k prime?
False
Let o(g) = -321*g - 10. Is o(-3) prime?
True
Let v(z) = z**3 - 2*z**2 - 6*z + 6. Let h be v(5). Suppose r - 4*f - 26 = 0, -3*f + 12 - h = -4*r. Suppose 3*d = 15 - r. Is d a prime number?
True
Suppose -2*j + 2*b + 10 + 10 = 0, -5*b = -2*j + 8. Suppose 4*h - j = 134. Is h a composite number?
False
Suppose -3*w = 3*p - 1557, w + 2025 = 3*p + 460. Is p composite?
False
Suppose -211 = 4*p - 5*p. Is p a composite number?
False
Let n(f) = -4 - 2 - 3*f**3 - 10*f**2 - 2 - 15*f + 2*f**3. Is n(-10) a composite number?
True
Suppose 2*q - 14 = y - 2*y, q + 2 = y. Suppose -a +