composite?
False
Suppose 0 = 2*o + 3*o - 2*o. Let u(d) = o + 236*d + 0 + 5. Is u(7) prime?
True
Let t = 17 - -5. Suppose -5*h + t = 7*x - 8*x, 4*h - 4*x - 24 = 0. Suppose -h*k - 3*c = -1569, -5*c = -3*k + 319 + 865. Is k a composite number?
True
Let r = -57 - -59. Suppose -5*d + 994 = 4*k, k - r*d + d = 253. Suppose -4*h = q - k, q - 325 = 2*h - 56. Is q a prime number?
True
Suppose 5*a - 966227 = -2*q, q + 989305 = 5*a + 23096. Is a prime?
True
Let s be 16/104 + (-6305856)/(-13) + -1. Is 2/(-3) - s/(-105) prime?
False
Is 215524129/212 - (-7)/(-28) a composite number?
True
Let f be (5/(-5) - -2)*5. Suppose -12 = -3*i + b, -f*i + 3*b + 13 = -b. Suppose 2*k + 5*d + 167 = 3*k, i*k + d = 939. Is k prime?
False
Let c(r) = -328305*r - 1402. Is c(-1) composite?
False
Let g be (-27)/(-6)*6/(-9). Let b(m) = -1123*m + 88. Is b(g) a composite number?
False
Suppose -16070 - 10336 = -3*s. Let n = -4765 + s. Is n a prime number?
False
Suppose -3*i - 4*t + 6*t + 16 = 0, -3*i + 18 = -3*t. Suppose -n = i*n + 15. Let p(j) = -34*j**3 + j**2 + 6*j + 5. Is p(n) prime?
False
Suppose 17*l + 30 = 5*b + 12*l, -4*b + 3*l = -23. Suppose 3*a - 5*c = 7004, 9*c - 8*c + 11666 = b*a. Is a prime?
True
Suppose -3*v - 41 = 3*u - 2*u, 0 = -4*u - 3*v - 137. Is (1328/u)/((-2)/428) prime?
False
Let o be (-3 + (-102)/(-8))*(-4424)/(-7). Suppose -2*k = -8*k + o. Is k composite?
True
Let m(j) = 202*j**3 + 1205*j**2 - 21*j - 7. Is m(12) prime?
True
Let h(c) be the first derivative of 5*c**3/3 - 35*c**2/2 + 81*c - 72. Is h(20) a composite number?
False
Let x = 35 - 34. Is (6772/(-12))/(x/(-3)) a prime number?
True
Let i(y) be the first derivative of -387*y**2 - 13*y - 136. Is i(-3) a composite number?
False
Let n be 0 - (4 - 8) - -11294. Suppose 4*h = 2*t - 0*h - n, 2 = -h. Is t prime?
False
Suppose 63*j - 3*r = 61*j + 888143, -2*j + 888173 = 3*r. Is j composite?
False
Is ((-37246)/33)/((-2)/93) prime?
False
Suppose 2*g = 6*g - 12. Suppose -g*p = 2*r - 5699, -5705 = -0*p - 3*p + r. Is p prime?
True
Suppose -4*b + 153419 = -1042921. Suppose b = 4*d + 11*d. Is d a composite number?
True
Suppose -q = -4, 3*a - 2*q = -1 - 61. Let p(h) = -h**3 + 8*h**2 - 16*h - 49. Is p(a) prime?
True
Suppose 0*p - 5*p = -101850. Suppose -8 = -3*r + r, -2*h - p = 5*r. Is h/(-35) - (-10)/(-35) a composite number?
True
Suppose 4*q - 11 + 3 = 0. Let c = -6810 - -9566. Suppose -c = -4*n - 5*u + 3*u, 0 = 5*n + q*u - 3445. Is n a prime number?
False
Let r(b) = 9*b**2 + 3*b + 96287. Is r(0) a prime number?
False
Let c(t) = t**2 + 23*t + 109. Let x be c(-16). Is 17907/15*(x - -8) composite?
True
Let b = -2 - -7. Let l(c) = c**2 + 3*c**2 + 2 - b - 6*c. Is l(-5) prime?
True
Let m = 6479 + -3575. Let k = 7091 - m. Is k a composite number?
True
Let n be (-4)/(-3) - 10/(-15). Suppose -5*y + 5*r - 5597 = 4*r, -2*r + 2234 = -n*y. Let m = y + 1655. Is m composite?
True
Suppose -4*a + 183 = 5*x, 3*a + a = 4*x + 192. Suppose -353 - a = 4*r. Let m = -18 - r. Is m prime?
False
Suppose -25635 - 175705 = -5*u. Suppose -26*t + 41216 = -u. Is t a composite number?
True
Let x be (4 - 30/7) + 46/14. Let a be (x/2)/(6/28) + -2. Suppose 0 = a*u - 4*u - 146. Is u a composite number?
True
Let w(o) = -19*o + 4. Let b be w(14). Let y = 471 - b. Is y prime?
True
Suppose 20*w + 185*w + 1037956 = 12682161. Is w a composite number?
True
Let f be -8 + (0 - 1) + -1. Let v be (1 - -2)*f/(-15). Is (-12)/v*(-466)/4 composite?
True
Let d = -52 - -54. Let a be (3/(-6)*-2)/(d/82). Suppose -160 - a = -3*q. Is q a composite number?
False
Suppose -1934*k + 4053248 = -1930*k - 4*y, k = 5*y + 1013324. Is k prime?
False
Let d = 17 + 22. Is (1/(-2))/((d/5118)/(-13)) prime?
True
Suppose -6*l + 2*v = -3*l - 46, 0 = 2*l + 2*v - 44. Is (8 + l)*(1599/2 + -1) a prime number?
False
Suppose -3*c = 2*l - 10 - 13, -5*c + 45 = 5*l. Suppose -4*d + 1316 = 3*q, -84 = l*d - 2*q - 1380. Is d composite?
True
Let a(y) = 181*y**3 + y**2 + 6*y - 5. Suppose 4*f + 2*d - 330 = 0, -3*f = -7*d + 2*d - 267. Let r be 2/15 + f/45. Is a(r) prime?
True
Suppose -5*a = 3*j - 52238, 31366 = 3*a - 37*j + 33*j. Suppose -23*k + 42443 = a. Is k prime?
False
Let s(v) = 11*v - 86. Let b be s(8). Suppose -b*a + 3905 = -1629. Is a prime?
True
Suppose -5*c = 2*j - 369, 6*j = j - 5*c + 945. Suppose 2*z - 3*i = -124, -5*z + 331 = -10*z - 3*i. Let s = j - z. Is s a prime number?
True
Let q(x) = -59*x - 1. Let p be q(-6). Let r = p - -3024. Is r composite?
True
Is (45 - 19) + 310237 + (-10)/(-1) a composite number?
False
Let l(w) = -43342*w - 575. Is l(-13) prime?
True
Let g = -550 - -488. Is (g/(-155))/((-1)/(-13285)) a prime number?
False
Let h be 6/(-33) - 52956/(-132). Is -2 + -4 + h + 2 prime?
True
Suppose 0 = 3*b - 6, 0*h + 3*b - 61 = -5*h. Is (2 + -3)/(h/(-239261)) a composite number?
False
Let o be ((-30)/(-8) - 3)/(3/48). Suppose 5*b - 6*b = -o. Is ((-20)/b)/((-3)/3123) a prime number?
False
Let i(f) = -f**3 - 6*f**2 - 5*f + 1. Let a be i(-5). Let g(v) = 3*v**2 - 3*v + 1. Let o be g(a). Is 1*262*o/2 prime?
True
Let y(g) = 4*g**3 + 55*g**2 + 46*g - 70. Is y(53) prime?
False
Suppose 23 - 4 = -2*j - 3*m, -5*j = -5*m + 35. Let b be (-5)/1 + 3 + j. Is -1 + (-45724)/b + 4/(-10) a prime number?
False
Let a = 667 + -670. Let k(t) = -5918*t - 61. Is k(a) a prime number?
False
Let d(y) = y + 7. Let w be d(2). Suppose -o = 2*o - u - w, -o + 3*u + 11 = 0. Suppose -o*l - 2*x = -408, -3*l - 392 = -4*x - 1039. Is l prime?
False
Let b = 92 - 85. Suppose -1269 = -b*s + 31918. Is s a prime number?
False
Let n(c) = 76*c**3 - 7*c**2 - 3*c + 25. Let v be n(5). Suppose 0 = z + 5*s - 9332, z + 4*s - 2*s = v. Is z a prime number?
True
Suppose 5*r - 23086 = -9*r. Let i = 3190 - r. Is i prime?
False
Suppose 3854 = 8*h - 8018. Suppose 2*w = 6*w - h. Suppose -415 - w = -3*p. Is p a composite number?
True
Suppose 0 = -19*q + 16*q - 12. Is (-1028)/6*(4 + 58/q) composite?
True
Let j = 67534 + -29315. Is j a prime number?
True
Let o be (-18)/(-4) - (21/6 + -3). Suppose -j - c = 2*c - 7, c = o*j - 2. Is ((-7707)/14*1)/(j/(-2)) prime?
False
Let a(o) = 8*o**2 + 10*o - 31. Let d be -1*-28*(-1)/(5 - 3). Let h = -8 - d. Is a(h) a composite number?
False
Suppose 5*g + m = -0*m + 27, -2*g - 4*m + 18 = 0. Suppose g*v - 49 = -19. Suppose 0 = v*h - 5*h - 3919. Is h a composite number?
False
Suppose -n = -2*n, -4840 = -u + 4*n. Suppose 43*f + u = 39*f. Let r = 4771 - f. Is r a composite number?
False
Let r = -74705 - -175398. Is r composite?
False
Suppose -3*o + 8261 = 2*i - 8828, 0 = -3*o + 2*i + 17081. Suppose c = 6*c - o. Is c a prime number?
False
Let j = 4106 - 4648. Let o = 940 + -84. Let w = o + j. Is w composite?
True
Let b(u) = -25*u**3 - 65*u**2 - 15*u - 94. Is b(-20) a composite number?
True
Let w(m) = -2*m - 16. Let z be w(-10). Suppose z*r - 2*i + 5694 = 18738, -i = r - 3267. Is r composite?
True
Let d(g) = 108144*g + 15313. Is d(12) a prime number?
True
Suppose 4*q = -2*h + 9840, 3*q - 2*q + 4*h - 2467 = 0. Suppose -5*o = -4*f + q, -f + 0*f + o = -614. Is f a prime number?
False
Let a be -9*62/(-6)*60. Let b = a + 7871. Is b prime?
True
Let r = 18580 - -657. Is r a composite number?
False
Let f = 9944 - 5120. Let i = 7747 - f. Is i a prime number?
False
Let y(w) = 6*w - 88. Let c be y(17). Let x(m) = m**3 - 13*m**2 + 21*m + 31. Is x(c) a composite number?
False
Let t(z) = -28*z**3 - 10*z**2 + 14*z - 27. Let b be t(7). Let w = -6124 - b. Is w prime?
False
Suppose 3*q = -12, -4*v + 4*q = -12 - 4. Suppose v = 5*b - 25, -l - 3*b = -6*l + 30. Is 12/(-54) + 1496/l a prime number?
False
Let d be (61 - 1)*(-3 + (-38)/(-10)). Suppose d*i - 51*i = -9. Is i/1 + (6 - 1*-338) a prime number?
True
Let r(x) = -x**3 + 14*x**2 - 15*x + 31. Let m be r(13). Suppose y - 7 = -4*o, m*o - 2*o + 5*y = 18. Is (-1)/(-1)*o + 878 composite?
True
Let l(a) = 10 + 4 + 3*a + 10 - 2. Let t be l(-6). Let u(p) = 8*p**3 - p**2 + 18*p - 6. Is u(t) composite?
True
Let z = 18 - 10. Suppose 0 = z*f - 8. Is 422*((-6)/(-4) - f) composite?
False
Let d = 6622 - 1078. Let p = d + -3083. Is p a prime number?
False
Let z(v) = v**2 - 6*v + 8. Let n be z(2). Suppose n = 17*o - 115451 - 74898. Is o a prime number?
True
Suppose 62*z - 77907080 = 11*z - 11517269. Is z a prime number?
True
Let q(d) = 32*d**2 + 18*d - 5. Let x be (2 - 0)*(-1 + -14)/5. Is q(x) prime?
True
