
True
Is (84/(-16))/(-7) + (-37625)/(-4) a composite number?
True
Suppose -2*w - 4*k - k - 11536 = 0, w = 5*k - 5798. Is ((-2)/6)/(9/w) composite?
True
Let i(z) = 26*z**2 - 7*z - 101. Is i(-8) prime?
True
Let k = 7368 + 2669. Is k a prime number?
True
Let a(c) = -585*c**3 - 3*c**2 + c + 4. Let r be a(-2). Suppose r - 14514 = -4*k. Is k composite?
True
Suppose s + 2634 = 3*x, 0*x + 5*s = 5*x - 4400. Is x prime?
True
Suppose 5*f + g + 151647 = 0, f - 4*g + 30345 = g. Let y be 6/(-21) + f/(-21). Is -4*(y/(-16) - 3) a composite number?
False
Let y be (56/12)/(2/(-69)). Let d = y + 280. Is d composite?
True
Let m(v) = -395*v + 8. Let j be m(-5). Let s = 2870 - j. Is s a prime number?
True
Let t(j) be the third derivative of -j**6/120 + j**5/2 + 7*j**4/8 + 47*j**3/6 + 9*j**2 - 3. Is t(28) a prime number?
True
Suppose 0 = -d + 2*y + 171, -434 = -4*d - 5*y + 302. Let z = -34 + d. Is z a composite number?
True
Let b = 69605 + -46992. Is b a prime number?
True
Let n(q) = -q**3 + 16*q**2 - q + 19. Let c be n(16). Suppose -c*l + 1904 = 5*z, 2*z - 1000 + 254 = 4*l. Is z prime?
True
Let q(h) = -9097*h + 245. Is q(-4) a prime number?
False
Suppose a - 3 = -0*a. Suppose a*n + 5*q = 17908, 5*n - 4*q + 0*q - 29859 = 0. Is n a composite number?
True
Suppose 4*h = -h. Suppose -j - 3*j = h. Suppose 4*g - 250 - 1362 = j. Is g a composite number?
True
Suppose -163*f + 145*f = -4842. Is f a composite number?
False
Suppose 0 = 66*f - 76*f + 2930. Is f composite?
False
Let r(c) = 53*c**2 + 26*c + 113. Is r(-12) composite?
False
Let w(o) = 6*o - 8 - 11*o + 4*o**2 - 3 + 4*o. Is w(6) prime?
True
Suppose y + a = 25576, 12*a + 76727 = 3*y + 16*a. Is y composite?
False
Suppose -j - 3*m = -2*m + 11, -5*j - 2*m - 70 = 0. Let a be (2 - 34/8)*j. Let s = 67 - a. Is s prime?
True
Suppose 40 = -38*x + 46*x. Suppose -x*h = -1166 - 739. Is h a composite number?
True
Is (-16108)/(-6)*936/48 a prime number?
False
Suppose -588*j = -579*j - 49581. Is j a prime number?
False
Suppose -68*u + 62*u = 18. Let i be (1 + -4)/(3/(-8)). Is 158/u*(-12)/i a prime number?
True
Let r(f) be the third derivative of 109*f**6/120 - f**5/30 + f**4/6 - f**3/2 - 5*f**2. Let q(o) = -o**3 + 8*o**2 + o - 6. Let w be q(8). Is r(w) prime?
False
Suppose 2*z + 69438 = 5*z. Suppose z = 3*x - o, -x + 3*o + 0*o = -7702. Is x composite?
False
Suppose -2*s - b + 46486 = 4*b, 116153 = 5*s - 3*b. Is s a composite number?
True
Let a = -68676 - -133525. Is a composite?
False
Is 5305 - (-2)/8*0 a composite number?
True
Let i = -1497 - -1513. Let z = 452 - 97. Suppose -i = -o + z. Is o composite?
True
Suppose -2*h = 4*o - 44058, -2*o - 2*o - 5*h + 44055 = 0. Is o prime?
False
Is 3963*5 + (13 - 7) prime?
False
Suppose 11*f - 188990 = f. Is f a prime number?
True
Suppose 3*y - 41 + 14 = 0. Let q be (y/(-2))/((-2)/(-4)). Is (-236)/6*q/3 composite?
True
Let q be (-3)/(-2)*30/9. Let v be -2 + q - (0 + -75). Suppose -f = -173 - v. Is f a composite number?
False
Let x = 18 + -18. Suppose -5*m - 1232 = -3*h - x*m, -1701 = -4*h - 5*m. Is h composite?
False
Is (-1019559)/(-217) - ((-16)/7)/4 prime?
False
Let y(x) = x - 1. Let n be y(11). Suppose -n*w = -5*w. Suppose w = -r - r + 174. Is r composite?
True
Let w(u) = 35*u**3 + u**2 - 39*u - 43. Is w(10) prime?
True
Suppose t - 27 = -3*n, 63 + 28 = 4*t - 5*n. Let i be (t/40)/(1/10). Suppose 4*b - 134 - i = 0. Is b a prime number?
False
Let j(o) = -o**3 + 31*o**2 + 20*o - 7. Is j(11) composite?
False
Suppose -4*f + 12 + 0 = 0. Suppose -2*o - f*o + 4255 = -3*y, -y = o - 843. Let p = -363 + o. Is p a composite number?
True
Suppose 12*r - 4 = 10*r. Is 36/60*(r - 1 - -484) a prime number?
False
Suppose 0 = 26*d - 21*d - 20. Suppose 4*c = -3*f + 7219, -3*c - d*f = f - 5428. Is c a composite number?
False
Suppose -f - 4*b = 52 - 573, -4*f + 2139 = 5*b. Suppose 31*c = 30*c + f. Is c prime?
True
Let k be 2/8 + 143495/(-44). Let u = -1864 - k. Is u prime?
False
Let o = -16 + 13. Let b be (-3)/(o*(-3)/189). Let w = 100 + b. Is w a prime number?
True
Suppose -12589 = -2*l - g, 0 = -3*l + 5*g - 2*g + 18897. Suppose -4*n + 2*j + 5038 = 0, j = -5*n + 2*j + l. Is n composite?
False
Suppose 3*k - 42*k = -934323. Is k prime?
True
Let c(y) = 8*y**2 + 15*y + 24. Let t be c(-15). Let k = t + -517. Is k composite?
True
Let c be (0 - -1) + 6/3. Suppose 0*q + 3*q = -c, -2*m + 279 = -q. Is m composite?
False
Suppose l + g = 2097, l - 2095 = 30*g - 32*g. Is l a composite number?
False
Suppose -7*i + 13*i = -2514. Is (-20 + 22)*i/(-2) composite?
False
Let l(s) = -s**3 + 4*s**2 + 5*s - 7. Let a be l(5). Let q be a - (-12)/(-4) - 0. Let c(o) = -o**3 + 2*o**2 + 2*o - 9. Is c(q) prime?
True
Suppose -2*c - 4 = 6. Let y(r) = r**2 - 5*r + 3. Let j be y(c). Is -1 + (3 + 1)*j a prime number?
True
Suppose v = -3*z + 3281, 5*z - v - 4278 - 1193 = 0. Is z composite?
True
Let r = 3061 - 846. Is r prime?
False
Let g(y) = 4*y**2 - 115*y + 80. Is g(33) prime?
True
Let d(v) be the third derivative of -v**5/60 - 37*v**4/24 - 3*v**3/2 + 2*v**2 + 5*v. Is d(-25) a prime number?
False
Suppose 74 = 5*x + 1574. Is -1 + 13/((-26)/x) prime?
True
Suppose -3*f = -4*h + 5582, 5*f = 11*h - 6*h - 6975. Is h a prime number?
False
Suppose -2*k - 2521 = -5*q - 646, 3*k + 1116 = 3*q. Is q composite?
True
Suppose 6*y - 3*y + 54 = 0. Let m be 2 + -1 - y*8. Suppose -2*x + m = -x. Is x a composite number?
True
Suppose 2*y = -10, z + z + 5*y + 33 = 0. Let f be (-1 + 5)/(z/4). Is f/6 - 1402/(-6) prime?
True
Suppose -5*m + 10 = -10. Suppose -m*v + 31 = 5*i, -4 = i - 3*v + 5. Suppose i*o = -3*t + 792, 2*o + 1062 = -t + 5*t. Is t prime?
False
Suppose 2*h - 436 = -r - 0*h, -4*r + 4*h + 1792 = 0. Let g = 937 - r. Is g prime?
False
Let y be 0 + 7 + (1 - 1)*-1. Suppose -1416 = -y*b - b. Is b composite?
True
Let j be 1/3 - (-272)/48. Is (-3986)/(0 + (4 - j)) a prime number?
True
Let j(b) = 9*b**2 - 2*b - 1. Let i(h) = -h**2 + 8*h - 9. Let g be i(7). Let z be j(g). Suppose -5*a + 3*r + 310 = 0, -4*r = -0*a + a - z. Is a a prime number?
True
Let r(w) = w**3 - w**2 - w + 1. Let z be r(1). Suppose 10 = -2*k, -4*b + z*b + 25 = -k. Suppose -h = 4*i - 132, -i + 3*i + b*h = 66. Is i composite?
True
Let k be 12/(-8) + 11/2. Suppose 5*o = k*f - 29, f = 7*o - 3*o + 21. Suppose 58 + f = h. Is h a composite number?
False
Let b = -40 + 45. Suppose b*t + 94 - 329 = 0. Is t a prime number?
True
Let t(m) be the first derivative of 26*m**4 - m**3 + m**2 + 13. Is t(1) prime?
True
Let g = 12449 + -797. Is (2/6)/(4/g) composite?
False
Let p(x) = -x - 2. Let g be p(-2). Suppose -d - j + 36 = g, -d + 3*j = j - 21. Is d a prime number?
True
Let z(y) = 3*y**2 + 9*y - 19. Suppose 6*k = -0*k + 66. Is z(k) a prime number?
True
Let a(z) be the third derivative of z**5/12 + z**4/2 + 14*z**3/3 - 39*z**2. Is a(15) composite?
True
Let z(n) = -1145*n - 83. Is z(-38) a prime number?
True
Suppose 27 = 4*n + 3*t, -5*n + 0*n - t = -31. Suppose -2*d - n = 4. Let g(k) = -3*k**3 - 5*k - 5. Is g(d) composite?
True
Let x be (-3)/((-3)/8708) - -1. Suppose 7*y = 8*y + x. Is y/(-15) + (-4)/(-10) a prime number?
False
Suppose -4*j + 12 = -0*j. Suppose -2*u - 45 = -3*a - 801, -j*u = -5*a - 1133. Is u composite?
True
Let n(l) = -l**2 - 49*l - 43. Is n(-10) composite?
False
Let d = -6076 + 14607. Is d prime?
False
Let q(o) = -o**2 + 9*o**2 - 22 - 4*o + 29. Let h be (3/(-1))/((-3)/4). Is q(h) prime?
False
Let s be (-2)/(-6)*(29 + -2). Let o = -14 + s. Is 5/o*(-1 - 586) a composite number?
False
Suppose -5*r + 15840 = 5*s + 4915, 4*s - 8749 = 5*r. Suppose 2*z = s - 364. Is z a prime number?
True
Let x = 54697 + -36678. Is x a composite number?
True
Let p = -3113 + 5274. Is p a prime number?
True
Let p(r) = -77*r + 18. Let j = 8 + -15. Is p(j) prime?
True
Let d(x) = 201*x + 91. Is d(24) a composite number?
True
Suppose -3*u + 211542 = 3*b, 4*u - 10*b = -7*b + 282077. Is u a composite number?
True
Let q = 18663 + 6722. Is q prime?
False
Suppose -6*h = h + h. Suppose -x - 5*t + 244 = h, 2*x + 2*x - 1039 = t. Is x composite?
True
Let i(h) = h - 9. Let f be i(0). Let q(v) = -414*v + 61. Is q(f) composite?
True
Let k = 7624 + -2471. Is k a prime number?
True
Suppose -7 + 22 = 5*l, -3*t = 4*l - 24849. Is t prime?
False
Let y(f) = f**3 - 3*f**2 + 18*f - 10. Let m be y(13). Suppose 0 = 5*g + g - m. Is g composite?
Tr