5*r = 2554, -3*p - 37*r + 7676 = -36*r. Is p a prime number?
False
Is (-2273)/3*((-85)/5 + 2) prime?
False
Suppose -5*h + 2619 = -3136. Is h a prime number?
True
Let o(b) = 4*b**3 + b**3 - b - 6*b**3 - 5 - 6*b**2 + 3*b**2. Suppose -3*a + 9 = -6, -4*z + 1 = 5*a. Is o(z) a prime number?
True
Suppose -9*c + 12*c - 4506 = 3*x, 2*c - 4*x - 3012 = 0. Suppose p - 2 + 0 = 0. Suppose -z - 3*z + 2996 = -p*o, 2*z - 2*o - c = 0. Is z prime?
False
Suppose 2*s + 4*s - 18 = 0. Suppose -4*g - 960 = -4*f, 2*g = s*f + 5*g - 690. Is f a composite number?
True
Suppose 21*v = -112812 + 269913. Is v prime?
True
Let n(q) = -13*q**2 + 7*q - 1. Let m(w) = -13*w**2 + 7*w - 1. Let h(z) = -3*m(z) + 2*n(z). Is h(6) prime?
False
Let a(h) = 29*h - 8. Let c be a(4). Suppose 4*k + 483 = -5*i, -i = -2*k - k + c. Let f = i - -350. Is f a composite number?
False
Suppose -3*a + 4*a - 15178 = -4*x, a - 2*x - 15184 = 0. Suppose 3*p - 2*l - 11389 = 0, 10*p = 14*p - 2*l - a. Is p composite?
False
Suppose 3*q = -m + 7567, 2*q + 62*m - 5034 = 64*m. Is q a composite number?
False
Suppose -r + 2*o + 3 = 4*o, 0 = -2*o. Suppose r*z = -0*z + 1113. Is z prime?
False
Let n be -1531 + (-7)/((-14)/4). Is n/(-4) - 2/8 prime?
False
Let l = -13 - -244. Let w = -40 - -40. Suppose x - l - 98 = w. Is x a prime number?
False
Let b(k) = k**3 + 10*k**2 - 9*k + 26. Let t be b(-11). Let w(n) = 111*n**2 + 2*n - 15. Is w(t) composite?
True
Let k(v) = -1047*v + 5. Is k(-6) composite?
False
Let f = 13994 + -1483. Is f a prime number?
True
Suppose q - 5*n + 14 = 0, -2*n - 2 = -4*n. Let b = 73 - q. Is b a composite number?
True
Let o be 10/65 + (-15284)/(-26). Let f = 43 + o. Is f composite?
False
Let d(p) = -11 + 157*p**2 - 9 + 20. Let k(g) = -g**3 - 16*g**2 + 17*g + 1. Let r be k(-17). Is d(r) prime?
True
Suppose -l + 790 = -93. Suppose -2*v = l - 4861. Suppose -v = -5*y + 1901. Is y a prime number?
False
Suppose 7*p - 3*p + 1347922 = -5*g, -1078319 = 4*g - 3*p. Is (-1*1 - -3)/((-148)/g) prime?
True
Suppose -4761 = 12*j - 15*j. Suppose -4*i = -j + 415. Is i prime?
True
Suppose 0 = -2*o + 4*o - 8, 4*i - 3560 = -o. Is i a composite number?
True
Suppose 4*s - 5064 = 4*t, -4*s - 3*t = s - 6290. Suppose 4*f = s + 627. Suppose -2*r + 3*w = -239, 5*w - w = 4*r - f. Is r composite?
True
Suppose 0 = 9*u - 12*u + 46239. Is u composite?
False
Suppose -6 = 6*o - 3*o. Is (o + (-492)/8)*-2 a composite number?
False
Suppose -6*k + 3*k + 1608 = 0. Suppose 4*d - k = -0*d. Is d a composite number?
True
Suppose 5*n - y = -4*y - 3381212, 5*y = -n - 676260. Let t be (-2)/15 - n/300. Suppose 4*z = -k + t, 2*k = -3*z + 6*z - 1685. Is z a prime number?
True
Let o(j) = -j**3 - 2 - 21 - 20 + 19*j**2 - 4*j. Is o(13) a prime number?
True
Let j(z) be the third derivative of 263*z**6/120 + z**5/30 - z**4/12 + z**3/6 + z**2. Let f be j(1). Let r = -77 + f. Is r prime?
False
Suppose 64170 = 4*z + 3*u, -4*z - 2*u + 16045 = -3*z. Is z a prime number?
False
Let p(r) = 30*r**2 - r - 25. Let n be p(-9). Suppose 5*b = 761 + n. Is b a prime number?
False
Suppose -3*n = 2*n - 3*v + 5, 0 = 5*v. Let r be (5 - (-2 + 5))*n. Is r/(-4)*294 - -2 prime?
True
Let r be (-1)/2*(0 + -8). Suppose 0 = -r*y + 5*d, 2*d = -3*y - 3*d. Is 147 + y + 0 - -2 composite?
False
Let v(g) = 665*g**3 - 3*g**2 + g + 1. Let o be v(1). Let y = o + 255. Is y composite?
False
Let y(g) = g**3 + 9*g**2 + 11*g - 10. Let o be y(-7). Suppose 10*v - o*v = -127. Is v a prime number?
True
Let c = -1118 - -1449. Is c a composite number?
False
Let z be (-8)/(-44) - (-53)/11. Suppose b - z*r = 694, 0 = -2*b - 2*r + 1244 + 132. Is b a composite number?
True
Let l be ((-3)/2)/(-3) + 72/(-16). Is (l/(2 - -2))/1 - -150 composite?
False
Let d = 99 - 93. Suppose -10*o + d*o + 524 = 0. Is o a composite number?
False
Let p(n) = 1169*n + 472. Is p(3) a composite number?
True
Let n(v) = 3*v**3 + 5*v**3 - 4 - 1 + 5*v + 0 - 7*v**2. Is n(6) a prime number?
False
Let l = -621 - -971. Let a = l + -234. Suppose a = g - 303. Is g a prime number?
True
Let v(z) = -41*z**3 + z**2 + 5*z + 11. Let k be v(-3). Let t = -555 + k. Is t a prime number?
True
Let b(u) = -161*u - 3. Let x be b(-3). Let h be (x/14)/((-2)/(-28)). Suppose -5*r + 447 = 4*m, -2*m - 29 = 5*r - h. Is r prime?
False
Let y(q) = 41*q**3 - q**2 - 18*q + 5. Is y(6) prime?
False
Let b(i) = -i**3 + 14*i**2 + i + 13. Let v be 3*(-3)/(-9)*(-2 - -8). Is b(v) composite?
False
Let y = 6002 - -6321. Is y a composite number?
False
Is (11 - 6)*(-5737)/(-5) composite?
False
Let m(a) = 239*a**3 + 4*a**2 - 26*a + 5. Let y(j) = -48*j**3 - j**2 + 5*j - 1. Let d(h) = -2*m(h) - 11*y(h). Suppose 6 = 2*k + 2. Is d(k) a composite number?
True
Is 12/6*(3 - 4) - -5107 a prime number?
False
Let n(k) = 303*k**2 - 19*k + 67. Is n(9) a prime number?
True
Suppose 4*t + 8 - 20 = 0. Is (t/(6 - 0))/(2/7868) a composite number?
True
Let a = 3002 + -7040. Let t = -1885 - a. Is t composite?
False
Let z be (-9)/12 + (-19)/(-4). Is 125 - -4*2/z composite?
False
Let d = -1442 + 2260. Let w = -437 + d. Is w prime?
False
Suppose -4*y + 9*y - 125 = 5*j, 4*j = y - 34. Suppose 0*f = -f - 4*h + y, 38 = 5*f + 2*h. Is 2163/f - 5/(-10) composite?
True
Let a = 2993 + 56. Is a a prime number?
True
Let r(s) = -s**3 + 5*s**2 + 7*s + 4. Let t be r(-8). Let k = t + -520. Suppose 5*h = 3*z - k, 0 = h + h - 10. Is z prime?
False
Let q(c) = -c**3 + 2*c**2 + c. Let s be q(-2). Suppose -11*p - 561 = -s*p. Is p prime?
False
Let x = 3703 - -5550. Is x prime?
False
Let w = 15688 - -2685. Is w a prime number?
False
Let t(q) = -96*q + 5. Let c(d) = 1 - 4 + 2. Let p(o) = 6*c(o) + t(o). Is p(-2) a prime number?
True
Let x(g) = 3*g**2 + 2*g + 7. Suppose 31 = 9*h - 23. Is x(h) a composite number?
False
Let u(p) = -3*p**3 + 15*p**2 - 17*p - 14. Is u(-17) prime?
False
Let b be (-27)/(-5) + (-72)/30 + 2. Suppose -2*v - 6969 = -b*v. Is v a prime number?
False
Let c(g) = -3*g**3 + 4*g**2 + g - 4. Let n be c(-3). Let l = n + 245. Is l a prime number?
False
Let r = 12246 + -8513. Is r a composite number?
False
Let w be -2 - -3 - (4 + 2). Suppose -13*v + 9*v - 60 = 0. Is (-2964)/(-9) - w/v prime?
False
Suppose m + 3*n + 9 = -2*n, -n = 5. Suppose -m*y + 1249 = -15*y. Is y composite?
False
Suppose -3*r - 4 = -28. Suppose 5*b = r*b - 5079. Is b composite?
False
Let t(u) = -2*u**3 - 11*u**2 + 21*u + 63. Is t(-17) a composite number?
False
Suppose 0 = 2*j + l - 15, -j + 4*l = -0*j + 15. Suppose -5*y + 5*d + 8170 = 0, j*y + 2*d - 5*d = 8168. Is y composite?
True
Let h be 1*(3 + -5) - -453. Let r = -317 + h. Is r a prime number?
False
Let x = 126 - 84. Suppose 5*u = -5*m - 120, -7*u + 4*m = -2*u + 111. Let q = x + u. Is q a prime number?
True
Let o(d) = 5*d**2 - 2*d - 2. Let q be o(2). Let l be 38/q + 14/49. Suppose 2*n = -l*j - n + 393, j - 5*n = 119. Is j a prime number?
False
Suppose 0 = -0*t + 4*t + 348. Let i = -122 - t. Let r = 126 + i. Is r a prime number?
False
Let n = -82 + 76. Let f(g) = -2*g**3 - 8*g**2 + 6*g + 1. Is f(n) prime?
True
Let t be (285/10)/(3/4). Suppose l = -o + 40, -o - 5*l + t = -3*l. Is 2078/14 + 24/o a prime number?
True
Suppose -5*j + 3 = -2*h, 5*h - 2*j - 25 - 20 = 0. Is (5179 - 6/(-3)) + h + -13 a composite number?
False
Is -3*3 + (-12 - -14716) composite?
True
Suppose 8 = 2*n - 0*j + 3*j, -4*j + 12 = 2*n. Let x = n - -12. Suppose -9*a + x*a = 217. Is a a composite number?
True
Suppose 6*m - 10*m = o - 924192, -o = 3*m - 693144. Is m/78 + 6/(-39) prime?
False
Suppose -4*v = 4*x - 0*x - 160, -4*v - 155 = -5*x. Let h = -33 + x. Suppose 0 = -2*t + h, -a - 5*t = -0*a - 44. Is a prime?
False
Suppose -3*p + 2*h - h + 224 = 0, -2*p + 3*h = -161. Suppose -p = -k + 58. Is k a prime number?
True
Suppose 0 = -2*t + 5*m - 30 - 5, -m = t + 14. Let k be 4/6 - 2795/t. Suppose -61 = -4*p + k. Is p a composite number?
True
Let a = -36 - -36. Suppose -2*m + 3*h + 652 = a, -3*m + 4*m + 3*h - 326 = 0. Is m a composite number?
True
Suppose 0*o - 6 = -3*o. Suppose 0*n = 4*y - n - 6170, 2*y = -o*n + 3090. Is y prime?
True
Let x(w) = -4 + 6 - 181*w + 0 + 0. Let p be x(-4). Suppose 4*q - 854 = p. Is q composite?
True
Let h = -4 + 4. Suppose h = -8*k - 0*k + 3032. Is k composite?
False
Suppose -8*g + 3*g = -3*t - 10085, 0 = 3*t + 15. Suppose -p = -3*p + g. Is p composite?
True
Let j(b) = -b**2 + 13*b - 19. Let r be j(