 d prime?
True
Let o(i) = 7*i**2 + 27*i + 25. Is o(13) a prime number?
True
Let r(m) = 66*m - 169. Is r(63) prime?
True
Let z = -8 + 12. Suppose w - 706 = -z*j, -j + 0*w - 3*w + 171 = 0. Suppose -3*a + j = x, -a - x = -3*a + 113. Is a composite?
True
Is (6/(-12))/(6/(-303612)) prime?
True
Let r = 136 - -95. Suppose -4*s - 518 = -2*c, 5*s - r = -3*c + 2*c. Is c a prime number?
True
Suppose -2*s - 5*n - 45882 = -4*s, 12 = 3*n. Is s prime?
False
Suppose 0 = 6*v - 18 - 402. Let q = 91 + v. Is q a prime number?
False
Let p be 468/42 + (-3)/21. Let f(a) = a**3 - 7*a**2 - 29*a + 14. Is f(p) composite?
False
Suppose -8*r + 3*r + 15959 = 4*a, 0 = 3*a + r - 11972. Is a a prime number?
False
Let f(k) = k**3 + 12*k**2 + 6*k - 6. Let o(l) = l**2 - 1. Let p be o(0). Let j be 3 - (p + -11)*-1. Is f(j) prime?
False
Let y(k) = 22188*k**2 - 33*k - 32. Is y(-1) a composite number?
False
Suppose 232 - 768 = -2*o. Is o/((-4)/(-3 - -1)) composite?
True
Suppose 3*r + 2*r + 10 = 0. Is 3 + -12*519/(-6) - r prime?
False
Suppose 6*l - 25 - 11 = 0. Suppose 0 = l*b - 16400 - 4090. Is b a prime number?
False
Suppose 3*i - 7*i = -3*y + 4, 3*y = -i + 14. Suppose 3*k = 3*q - 6, -k + 6*k = 2*q + i. Suppose 3*n - 75 = 3*j + 267, 0 = 3*n - k*j - 343. Is n prime?
False
Let m(u) = 2*u + 15. Let d be m(-5). Suppose p = 9 - d. Suppose -p*w + 64 = -24. Is w a prime number?
False
Let v be 6 - 3 - 6 - 73. Let z be 1/(3/(-345) + 0). Let d = v - z. Is d a composite number?
True
Let j = -9 - -22. Let k be (j - 7)*71/2. Is (8/24)/(1/k) a prime number?
True
Suppose -20*h + 8*h = -14484. Is h a composite number?
True
Let n be (-163540)/(-36) - 2/(-9). Let y = -1406 + n. Is y prime?
True
Suppose 4*a + 238 = l, 0*a - 2*a + 1300 = 5*l. Suppose -207 = -3*n + l. Is n prime?
False
Suppose -5*o = 9 - 29. Suppose 0 = -f + o*f - 159. Is f prime?
True
Let q(w) = 40*w + 4. Let a be q(17). Let c = a - 391. Is c composite?
False
Suppose -o - 7185 = 5*b + 28558, 14294 = -2*b - 2*o. Let l = b + 10042. Is l a prime number?
False
Suppose 0*x = -5*x + 15. Suppose v - x*v - 10 = 0. Is (-1054)/v - (-10)/50 a prime number?
True
Suppose -72*p - 86410 = -74*p. Is p composite?
True
Let d be ((-33)/6 + 4)*(-1 - 249). Suppose -y + 323 = -d. Is y composite?
True
Let r(v) = 3*v - 16. Let z be r(6). Suppose 5*f - 6740 = -z*j, -5*j + 3*f + 16827 = 4*f. Is j a prime number?
False
Is 921 - 9/3*(-22)/33 prime?
False
Is 3/(-11) - 842352/(-462) a composite number?
False
Suppose -19*d + 18*d - i = -416, -3*i = 2*d - 835. Is d a composite number?
True
Is (-33)/3 + 346932/36 composite?
True
Let f(w) = -5785*w + 548. Is f(-5) composite?
False
Suppose -7*z - 21 = -10*z. Is (-6)/(-14) - (-984)/z prime?
False
Suppose -2*t - 2*t + 60 = 0. Suppose 2*j + t = 2*g + 3*g, 5*g = 4*j + 15. Suppose -g*n + 30 = 4*f - 56, -f = -2*n - 27. Is f a prime number?
True
Let g(b) = -11410*b + 1. Is g(-1) a prime number?
True
Is (-4)/(-42) + (-2498236)/(-84) prime?
True
Let n = -2766 - -6457. Is n a composite number?
False
Let c(p) = -28*p + 12. Let h be c(-14). Let d = h + -97. Is d prime?
True
Let l = -49 - -732. Is l a prime number?
True
Let q(j) = -2*j**3 - 2*j - 1. Let h be q(-1). Let n be 2*(((-2)/4)/1 + 3). Suppose -g - n*p = -72, -8*g + 338 = -3*g + h*p. Is g a composite number?
False
Let q(u) = 794*u**2 + u - 23. Is q(-4) composite?
True
Suppose -2*d = -4, 2*i + 4*d = 2891 + 27487. Is i a prime number?
False
Suppose 0 = -2*v - 0*v - 6. Let w be (v/(-3))/1*0. Suppose 7*u - 770 - 3108 = w. Is u a composite number?
True
Suppose 18*z - 27564 + 2040 = 0. Is z composite?
True
Let n(r) be the second derivative of 12*r**4 + 4*r**3/3 + 23*r**2/2 + 39*r. Is n(6) composite?
True
Let a(x) = x**2 - 4*x - 23. Let b be a(-7). Let d(r) = -r. Let h be d(-2). Suppose -h*s = 4 - b. Is s prime?
False
Let u = 1352 - -16949. Is u composite?
False
Let u be 0 - (2 + (-21)/(-3)). Let i(k) = -56*k - 11. Let m(d) = -169*d - 32. Let q(c) = -17*i(c) + 6*m(c). Is q(u) prime?
False
Is (24/24)/(1/7499) a prime number?
True
Let q = 79428 + -43577. Is q a prime number?
True
Suppose 0 = -4*n + 18571 + 4737. Suppose -2*j + 3485 = 3*g - 3*j, 0 = -5*g - 3*j + n. Is g a composite number?
False
Is 94 - (-1 - -1 - -5) a composite number?
False
Is 3159/4 + (-9)/12 a prime number?
False
Let l = -4725 + 8388. Suppose -k - l = -3*b + 2213, 3*k = 5*b - 9788. Let m = -917 + b. Is m prime?
False
Is (-43)/(((-15)/5)/129) a composite number?
True
Suppose 0 = -40*z - 0*z + 1076200. Is z a prime number?
False
Let x(s) = 6 + 4 + 12 + 47*s. Let c be x(-10). Let l = -195 - c. Is l a prime number?
False
Let t = 1278 + 6511. Is t composite?
False
Suppose 2*n + 5*x - 11886 = x, 11885 = 2*n + 3*x. Is n composite?
True
Suppose -5*f + 41 = -4*d, -3*f + d + 27 = -2*d. Suppose -3*v + 20 = v + 4*w, f*w = -3*v + 25. Let q(r) = -r**2 + 59. Is q(v) a composite number?
False
Let a(t) = -112*t + 1. Let s be (21 - 24) + (32 - 1). Let c = 25 - s. Is a(c) a composite number?
False
Suppose 5*x - 2*y - 22 = -y, 0 = 5*x + 5*y - 10. Suppose x*d - 13 - 495 = 0. Is d a composite number?
False
Is 53686/(-4)*18/(-14 + 5) composite?
True
Let b = 451 - 299. Let h = b + 239. Is h prime?
False
Suppose -2*f + 3944 = 3*i, -5*f = -3*f - i - 3952. Suppose -4*v - v = -f. Is ((-4)/10)/((-2)/v) a prime number?
True
Let u = 771 - -4735. Is u prime?
False
Let r be (-50)/(-6) - (-3)/(-9). Suppose -1228 = -r*x + 4*x. Is x composite?
False
Let y(w) = -91*w + 32. Let q be y(-8). Let d = -267 + q. Is d a composite number?
True
Let i(n) = -391*n. Let y be i(-1). Suppose 5*g = 2501 - y. Is g a composite number?
True
Suppose -5*i + 1543 = 3*z, -3*z = -7*z + i + 2088. Is z composite?
False
Let t = 4824 + -2047. Is t composite?
False
Let c(f) = -3*f**3 - 7*f**2 - 3*f + 10. Let k(m) = -2*m**3 - 4*m**2 - m + 5. Let x(z) = -3*c(z) + 5*k(z). Is x(-6) prime?
True
Let d be 3/5 - (-42)/(-70). Suppose 9*n - 6301 - 3194 = d. Is n prime?
False
Suppose -4*o + b = -3*b - 40, 0 = -3*o + 2*b + 25. Suppose -5*n + 5*k = -2430, -2*k - 3*k + 2460 = o*n. Suppose 0 = -2*a + 849 + n. Is a a composite number?
True
Suppose -50*s + 22*s + 996772 = 0. Is s prime?
False
Suppose 458 + 316 = 18*x. Let k(y) = -y**3 - 6*y**2 - 7*y - 6. Let b be k(-5). Let j = b + x. Is j a prime number?
True
Let y(c) = -480*c**3 - 9*c**2 - 15*c - 5. Is y(-2) a prime number?
False
Suppose a - 5 = -2*p + 2, 0 = 4*p - 3*a - 19. Suppose x - 1015 = -p*x. Is x composite?
True
Suppose -63 = 9*c - 10*c. Suppose 84 = 3*g - c. Is g composite?
True
Let w be -3 + (4 + -5)/((-2)/6). Suppose 5*g - j = g + 5752, w = 5*g - 4*j - 7179. Is g prime?
True
Is ((-649420)/(-28) - 4) + 56/(-98) a composite number?
False
Let s(x) = x**3 + 2*x**2 - x + 4489. Is s(0) composite?
True
Suppose 579042 - 69737 = 5*s + 2*x, 4*s = 4*x + 407472. Is s prime?
True
Let m = 18 + -14. Suppose j = m, -2*v + 366 = 2*j - 3*j. Is v a prime number?
False
Let v(m) = -m**3 + 6*m**2 + 10*m - 6. Let h be v(7). Suppose -6*r + h = -3*r. Suppose r*t = 16 + 279. Is t prime?
True
Suppose 76429 = 13*v - 15312. Is v a prime number?
True
Suppose -19 = 8*x - 7*x. Let u = x + 21. Suppose 100 = -u*w + 648. Is w composite?
True
Let s(l) = l**3 + 11*l**2 - 13*l - 5. Let o be s(-12). Let c = 126 - 79. Suppose -5*t - 2*u = -c - 10, o = t - 4*u. Is t a prime number?
True
Suppose -5*x + 8 + 17 = 0. Suppose x*w + 2*b + 17 = -0*b, 16 = -4*w - 4*b. Is 2/(2217/(-741) - w) a prime number?
False
Suppose -15*p = -33*p + 77076. Is p a composite number?
True
Let o(k) = -k**2 - 72*k - 63. Is o(-40) prime?
True
Suppose 0 = -i + 7*i - 54. Let y = 187 - i. Is y a prime number?
False
Let l = 53 + 5. Let w = l - -575. Is w a prime number?
False
Suppose 2*w + 198 + 542 = 0. Let r = 1191 + w. Is r a prime number?
True
Let b = 17 - 15. Let s(q) = -5*q + 21*q**2 + 12*q**2 - 4*q**b + 0*q**2 - 1. Is s(4) prime?
True
Suppose 58*r - 732471 - 1480171 = 0. Is r a composite number?
False
Let a = -13 + 13. Suppose 0 = -c + 2*h + 73, a = 3*c - 4*h - 223. Is c prime?
False
Let r = -42 - -236. Is (r/4)/(1/2) composite?
False
Let i(o) = 3749*o**2 + 37*o + 37. Is i(-1) prime?
False
Let t = 3 + -7. Let r(g) = 18*g**2 + 5. Is r(t) a composite number?
False
Let h = -147 + 150. Suppose v - 2*q - 881 = 0, -6*v + h*v - 5*q = -2621. Is v composite?
False
Let h(y) = -143*y**3 - 10*y**2 + 4