 = q*o - 4*l - 444. Is o prime?
False
Let t = 10 + -8. Suppose -t*r = f + 4*f - 441, -f + 216 = r. Is r a prime number?
False
Let z(d) = d**2 + 6*d + 4. Let l be z(-5). Let o(j) = 145*j**2 + j. Let h be o(l). Suppose h = 5*s - 11. Is s a prime number?
True
Suppose 0 = -k + 2*k - 397. Is k a prime number?
True
Suppose 5*p - 607 = 508. Is p composite?
False
Let r(m) be the first derivative of 2*m**3/3 - 3*m**2 - m + 1. Is r(-5) a composite number?
False
Is -397*3/3*-1 prime?
True
Let m = -2 + -4. Is 2/m - 740/(-15) prime?
False
Let y be 1088/3 - 6/9. Let g = y - 244. Is g a composite number?
True
Let a = 263 + -520. Let w = -172 - a. Is w prime?
False
Let y(q) = -q**3 - 5*q**2 + 8*q + 6. Let b be y(-6). Is (-938)/(-2) + (b - -6) composite?
True
Is 1*(1 + (-336)/(-3)) composite?
False
Let a be 467*(-2)/(-4)*2. Suppose -a = -4*y - 123. Let r = 175 - y. Is r a composite number?
False
Suppose -6 = -5*x + 4*v + 39, 0 = 3*x - 2*v - 25. Suppose s + 44 = n + 4*s, -x*s = -15. Is n composite?
True
Let p be 2/9 - 374/(-18). Let g = -15 + 73. Let x = g + p. Is x prime?
True
Let o(c) be the first derivative of c**3/3 - c**2/2 + 109*c + 5. Is o(0) prime?
True
Let m = -34 - -24. Let d(f) = -7*f + 1 + 1 - 2 + 4. Is d(m) a prime number?
False
Let l be 1/((-3)/(-12)*-1). Is 302/8 + 3/l a composite number?
False
Suppose -2*a + 12 + 18 = 0. Suppose -4*c = -c - a. Suppose c*h - 175 = -0*h. Is h composite?
True
Suppose -3772 = 100*b - 104*b. Is b a prime number?
False
Suppose -157 = 2*f - 1649. Is f prime?
False
Let z = -4 + 6. Suppose 5*v = 4*c + 1542 + 636, -3*v = z*c - 1298. Suppose 4*i - 6*i = -v. Is i a prime number?
False
Let f(g) = 8*g**2 - 14*g - 9. Is f(-7) a prime number?
False
Let f(j) = j**3 - 3*j**2 + 6*j - 3. Let u be (1/(-3))/(1/(-15)). Is f(u) a composite number?
True
Let m = -5 - -7. Suppose 0 = -m*u + 507 + 127. Is u a composite number?
False
Let q(k) = k + 2. Let n be q(5). Suppose -12 = -n*o + 4*o. Is o a composite number?
True
Suppose f - 2 = 5*p + 571, 0 = 3*p - 12. Is f composite?
False
Suppose -1871 = -q - 0*q - 3*y, -5*q = -4*y - 9431. Let m = q + -1048. Is m composite?
True
Suppose 0 = 2*l + 2*l + 40. Let j be (-74)/l - 9/(-15). Let r(y) = 3*y + 9. Is r(j) prime?
False
Let n = 18 + -28. Let j(z) = 9 - z**3 - 9*z**2 + 2*z + 2*z + 2*z. Is j(n) a composite number?
True
Let o = -7 - -9. Suppose -16 = -o*i - 3*x, -x - 12 = 5*i - 39. Suppose 93 + 292 = i*d. Is d a composite number?
True
Let u = 8252 + -5029. Is u prime?
False
Let i be 6/4*7*330. Suppose 0 = -5*z - j - i, -j = -2*z + 6*z + 2773. Is z/(-28) - (-4)/14 a prime number?
False
Let w = -2 - -4. Suppose 3*k - 5 = -q + w, 10 = 5*k. Is (1 - q) + 1 + 10 a composite number?
False
Let f = -75 + 124. Let u = f - -4. Is u prime?
True
Let m = 15 - 8. Suppose 0 = m*s - 4*s - 1407. Is s composite?
True
Suppose 2*j = 3*d + 61, 4*j = 5*j + 4*d - 47. Is j prime?
False
Let d be 6/(2/4 + 0). Suppose 0 = -5*t + d - 2. Suppose t*b + 25 = 3*b. Is b a composite number?
True
Is (1247 - 1)*6/12 composite?
True
Let b be 35/10*(1 + 1). Let q = b + 2. Suppose 8*l - q*l = -21. Is l composite?
True
Let b(v) = v**2 - 7*v + 1. Let w = 56 - 27. Suppose 4*m + w = 5. Is b(m) a composite number?
False
Let c(m) = 18*m**2 + 5*m + 4. Is c(5) composite?
False
Suppose 4*h = 2*x - 204, h - 4*h + 562 = 5*x. Suppose -3*b + x + 100 = 0. Suppose 2*v - b = -0*v. Is v composite?
True
Let c = 5 - 3. Let j be 0 - (c/(-1) + 130). Let k = j + 195. Is k a prime number?
True
Suppose -1642 = -4*f + 3*o, f + 0*f = -3*o + 403. Is f a prime number?
True
Suppose 14 = 2*c + 8. Suppose 0*l + 518 = 2*k - c*l, -3*k + 3*l + 777 = 0. Is k prime?
False
Let y(a) = -a**3 - 10*a**2 - 9*a + 10. Let n(t) = -t**3 - 4*t**2 + 8*t - 4. Let r be n(-6). Let z = 11 - r. Is y(z) a prime number?
False
Let q(o) = o**2 - 4*o + 7. Is q(-6) prime?
True
Suppose 1496 = 6*x + 2*x. Is x a composite number?
True
Let t = 84 - 10. Is t prime?
False
Let t be 6/8 - 195/52. Is t/(-2)*402/9 a prime number?
True
Let v be 2/(-4)*(-5 - -5). Let s = -5 - 1. Is v*2/s + 53 a prime number?
True
Let j be 1590/33 + (-4)/22. Let t = j - 17. Is t a composite number?
False
Let r(y) = 13*y**3 + 3*y**2 + 3*y + 7. Let z be r(-3). Let m = 707 + z. Is m composite?
True
Let s = 32 + 73. Let d(a) = 27*a - 4. Let y be d(6). Let m = y - s. Is m a composite number?
False
Suppose 3*v - 27 = 6960. Is v a composite number?
True
Let j = -57 - -142. Let i = 55 - j. Is ((-10)/i)/((-1)/(-753)) prime?
True
Let x(d) = -3*d**2 + 10*d + 2. Let k be x(12). Let l = -213 - k. Is l a composite number?
False
Let u(o) = o**2 + 7*o - 2. Let p be u(11). Suppose -3*w - 2*z = w - p, -2*z = w - 43. Is w prime?
False
Let f(p) = 224*p**3 - p**2 + 2*p - 2. Is f(1) a prime number?
True
Is (-5 + 4)*1*(-513 - -4) a prime number?
True
Suppose -4*b = -5*b + 1. Is -2*(0 + b) + 88 a composite number?
True
Suppose 2*y - y = 0. Suppose y = 5*x - o - 5, x - 3*x - 3*o = -19. Suppose -3*z = x*z - 75. Is z a composite number?
True
Let t(q) = 2*q**2 - 3*q - 4. Let w be 9/12*-2*-2. Let z be t(w). Suppose -48 = -v + z. Is v prime?
True
Let k = -10 + 14. Suppose k*s - 5*s - 26 = 0. Let t = -17 - s. Is t a prime number?
False
Suppose -4*p - 453 = 47. Let j = -51 - 37. Let q = j - p. Is q composite?
False
Let d(a) = 41*a**2 - 7*a + 5. Let o be d(4). Let p = o - 379. Is p composite?
True
Let i(s) = 38*s + 1. Let f(j) = -39*j - 2. Let u(l) = -2*f(l) - 3*i(l). Let z be -1 + (-2)/6*0. Is u(z) prime?
True
Let l = 0 + 4. Suppose -t = -0*t - l. Is t a composite number?
True
Suppose 2*w = -3*w. Suppose w = -2*t - 3*t + 11610. Is t/42 + 2/(-7) a prime number?
False
Suppose -2*v + m = 3*v - 799, 5*m = 4*v - 656. Is v a prime number?
False
Is (-9)/(-12) + 13669/4 a composite number?
True
Suppose -39 = -d + 8. Let z = 120 + d. Is z composite?
False
Is ((-417)/(-6) + 1)*58/3 composite?
True
Let d(a) be the second derivative of -1/4*a**4 - a**2 + 1/20*a**5 + 0 - a + 2/3*a**3. Is d(3) composite?
True
Let r be -32 + (0 - 0/2). Let h be (-4)/6 - r/12. Suppose -h = -z + 31. Is z composite?
True
Let a(f) = f**2 + 301. Is a(0) composite?
True
Suppose -49 = -p + 4*g + 22, 0 = 4*p - 4*g - 284. Is p prime?
True
Suppose 0 = -4*k - 0*k + 64. Let t = 95 + k. Let u = -74 + t. Is u a prime number?
True
Suppose -4*k = 5*x - 22, 1 = -4*x - 0*k + 3*k. Let j(t) = 2 + 5*t**3 - t**2 - t + 4*t**2 - 1. Is j(x) prime?
False
Suppose 0 = 2*k - 6*k + 12. Suppose -2*l + 15 = 4*x - k*l, -4*x + 4*l = -12. Is (-50)/(-8) - 1/x composite?
True
Let y be (-1046)/(-14) + 8/28. Suppose -g + 79 = 5*v, -v = -0*g + g - y. Is g a prime number?
False
Let w = 154 + -80. Let d be 74*((-3)/(-2) - 2). Let z = d + w. Is z prime?
True
Suppose 2*y - 114 = 2*n, -4*n = y + n - 45. Is y composite?
True
Let n(z) be the second derivative of z**4/2 + 5*z**3/3 + 7*z**2/2 + z. Let b be (-12)/(-10)*(-6 + 1). Is n(b) a prime number?
True
Let i = -6 - 1. Let n(c) = c**3 + 8*c**2 + 8*c + 9. Let a be n(i). Is (678/12)/(1/a) a composite number?
False
Let b(c) = c**2 - 8*c + 15. Let d be b(6). Suppose 4*a = -d*j + 29, -3 - 20 = -3*a - 2*j. Is a prime?
True
Suppose 0 = -4*v + 6*v + 6. Is (v + 6 - -127) + 3 composite?
True
Let o be 4/(-1 + 6/8). Let n be (40/o)/((-1)/2). Suppose n*h - 805 = -5*g, g + 4*g - 5*h - 805 = 0. Is g a composite number?
True
Suppose -414 + 130 = -2*d. Is (-1)/2 - d/(-4) composite?
True
Suppose -4*b + 309 = -199. Is b a prime number?
True
Suppose 3*i - 2*i = 3. Suppose 4*u - i = 1. Is (3 - u)*(-66)/(-4) composite?
True
Let p be (-1568)/(-9) + (-4)/18. Suppose 0*h - h + 882 = 5*r, h - p = -r. Suppose -r = -3*o + z - 5*z, -3*o = -2*z - 159. Is o prime?
False
Let w = 10523 + -2844. Is w a composite number?
True
Let v = 496 - 87. Is v prime?
True
Suppose 6*h = 699 + 3195. Is h composite?
True
Let k(f) = -84*f + 3. Let t be k(3). Let x = 376 + t. Is x prime?
True
Let w(c) = 7*c - 4. Let b = 0 - -5. Is w(b) a composite number?
False
Let y = 1 + -25. Let d = y + 46. Is d prime?
False
Suppose 4*p + 0*p = 1492. Is p prime?
True
Suppose 4*c + 16 = 6*c. Suppose c*d - 4*d = 36. Is d composite?
True
Let v be (-10)/25 - 18*12/(-15). Let g(f) = f**3 - 3*f**2 - 3*f - 3. Let t be g(4). Is t*15*v/6 prime?
False
Suppose 0 = x - 6*x + 40. Suppose 180 = 5*k - x*k. Let u = k + 155. Is u prime?
False
Let q = -46 -