s m(4) a prime number?
False
Suppose 2*a = -n + 14, 5*a = n + a + 16. Is 200/n + (1 - 2) prime?
False
Suppose -p + 16 = 2*h + p, 3*h - 23 = -2*p. Is h a prime number?
True
Let i be (1 - -1)/((-1)/(-2)). Is 7/(-28) + 213/i composite?
False
Let f(x) = -x**2 - 9*x + 5. Let h be f(-9). Suppose -h*u + 93 = -3*a + 386, -5*a - 5*u = -435. Is a a composite number?
True
Suppose -3*h + 9 + 3 = 0. Suppose 0 = -a - h + 8. Suppose -2 = -3*x - 4*p, -1 = 2*x - a*p - 9. Is x prime?
True
Let s(z) = 22*z**2 - z + 1. Let h be s(-3). Suppose 3*r + h = 4*r. Let i = 315 - r. Is i composite?
False
Let w(q) = -q**3 - 4*q**2 - 6*q - 10. Let p(m) = m**2 - 7*m + 3. Let l be p(5). Is w(l) a prime number?
True
Let t = 18 - 12. Let l be -2*(-2)/(-6)*t. Let v = l + 41. Is v composite?
False
Suppose 510 = -10*n + 16*n. Is n a composite number?
True
Let q = 1211 - 538. Is q prime?
True
Let g be (2 + -4)*(-3)/2. Let q = g + 2. Suppose q*u - 36 = 59. Is u composite?
False
Suppose -3*b + 816 - 137 = 5*y, -4*b = 4*y - 900. Let n = 362 - b. Is n prime?
True
Suppose -2*o = p - 448, -3*p = 2*p - 10. Is o prime?
True
Let d(s) = s**3 - 5*s**2 + s + 7. Let b be d(6). Suppose -2*m + 3*m + b = 0. Let c = -27 - m. Is c a prime number?
False
Let f(q) = -7*q. Let z(v) = 1. Let u be (-4)/14 - (-10)/(-14). Let w(b) = u*f(b) + 4*z(b). Is w(3) prime?
False
Let u = -4 - 6. Let k(q) = -q**3 - 9*q**2 + 10*q + 7. Is k(u) composite?
False
Let t = 3 - 0. Let k = t + 28. Let q = -8 + k. Is q a prime number?
True
Suppose 0*n = 4*n - 1580. Is n a prime number?
False
Suppose y + 2068 = 6359. Is y composite?
True
Suppose -2*r - 2976 = 2*r. Let c = r - -1367. Is c composite?
True
Suppose -1216 = -c + 3*z, -2*z = 2*c - 0*c - 2456. Suppose -2*p + 2975 = -2*a - c, 5*p = 4*a + 10495. Is 2/(5/(p/2)) a composite number?
False
Let d be -1 + -5*(-3 + 2). Is (-8)/d + 58 + -1 prime?
False
Suppose -3*i + 53 = -4*o + 2*o, 0 = -4*i + 2*o + 70. Let k = i + 10. Let a = k + -8. Is a prime?
True
Suppose -3*y - 2*y = 0. Let n = y + 23. Is n a prime number?
True
Is (3/(-9))/((-2)/11586) composite?
False
Suppose -o + 0*o = -140. Suppose 20 = -5*r, 0*r = 2*k + 2*r - o. Is k a composite number?
True
Let c = -6 + -9. Let g = 46 + c. Is g prime?
True
Suppose 117 = p - 13. Suppose 5 - p = -5*i. Suppose -y + v + 21 = 0, -2*y - 4*v + i + 5 = 0. Is y a composite number?
False
Suppose -6*o + 9*o = -4*z + 8646, -2881 = -o - z. Is o composite?
True
Let w(x) = 29*x**2 - x + 7. Is w(5) composite?
False
Let u be 6/4 - 3/(-6). Suppose -4*c + 0*d + 4478 = u*d, 15 = 5*d. Is c/6 - 2/(-3) composite?
True
Suppose -6 = -3*u + 3. Suppose -5*z - 380 = -5*b, -u*b + 4*z = 72 - 299. Is b a composite number?
True
Suppose 0 = 2*o + 3*o - 10. Is ((-662)/4)/((-1)/o) composite?
False
Let w = -47 + -36. Let g = -58 - 63. Let i = w - g. Is i prime?
False
Let b(n) = -n**3 - 13*n**2 - 9*n - 22. Is b(-15) prime?
True
Let f(s) = -51*s - 11. Is f(-20) a composite number?
False
Suppose h = 313 + 900. Is h composite?
False
Let l be -3 - (-5)/1 - -2. Let y = 1 + l. Suppose 518 = y*p + 123. Is p composite?
False
Suppose -5*r - 45 + 0 = 0. Is (-9)/6*222/r prime?
True
Suppose 4*d + 0*d = 12. Is (50/(-6))/(d/(-9)) a composite number?
True
Suppose 2*k + 3*c = 718, -c + 6*c = k - 359. Let u = -244 + k. Is u prime?
False
Let s = -20 - -18. Let q(n) = -63*n**3 + n**2 + n - 1. Is q(s) a prime number?
False
Let t be 986/8 + 1/(-4). Suppose -t = -a + 116. Is a a composite number?
False
Let p(n) = 5*n - 1. Let k be p(3). Is k - 0*3/(-9) a prime number?
False
Let g = -3382 - -4743. Is g composite?
False
Is -1102*((-4)/(-24))/(2/(-6)) prime?
False
Let x = 113 + -59. Let k(m) = 31*m**2. Let o be k(1). Let b = x - o. Is b prime?
True
Let x(l) = 492*l**2 + 2*l - 1. Is x(1) a prime number?
False
Let q(u) = u**2 + 7*u + 8. Let k be q(-6). Suppose -k*c - 2 = -c. Is (1 - 0) + (-60)/c a prime number?
True
Let r = -4 + 9. Suppose z - i - 4 = 0, r*z - 7 = i + 9. Suppose 0 = -4*b - 16, z = d + 4*b - 0. Is d a prime number?
True
Suppose 0 = -0*s + 2*s - 8. Suppose 97 = x + 2*p + 2*p, 2*x - s*p = 194. Is x a prime number?
True
Let g(l) = -l**3 + 5*l**2 + 3*l + 4. Is g(5) prime?
True
Let b(t) = -t**3 + 7*t**2 - 6*t - 3. Let f be b(6). Let n = f - 3. Let i = 8 + n. Is i a prime number?
True
Let t = -138 - -197. Let z = t + -22. Is z composite?
False
Let r be 4/((-2)/(-2) - -1). Let w(u) = -r + 3 + 5*u**2 + 9*u**2. Is w(-3) a composite number?
False
Let d(j) = -j - 1. Let o be d(-5). Suppose 2*r - 133 = -3*y, -2*y - 262 = -4*r - o*y. Let n = 98 - r. Is n a prime number?
False
Suppose -11 = -f - 2*s, 1 = 3*f - 3*s + s. Let l = f + -1. Let n = 0 + l. Is n a composite number?
False
Let g(c) be the second derivative of -c**4/12 + 2*c**3/3 - 2*c. Let j be g(3). Suppose -i = -136 + j. Is i a prime number?
False
Let w(y) = 300*y - 19. Is w(5) prime?
True
Suppose -2*g + g - 61 = 0. Let d(j) = -19*j**2 - j. Let t be d(-1). Let y = t - g. Is y prime?
True
Let t = 8 + 1. Suppose -4*d + 3*s + 2 = 0, s = -3*d - 1 + t. Suppose d*p = -3*f + 281, p + p + 495 = 5*f. Is f prime?
True
Suppose 6643 = 27*z - 14*z. Is z a prime number?
False
Suppose -d = -3*d - 6, -2*h + 5*d = -21. Suppose h*y - 28 = -y. Suppose 15 = 2*x - y. Is x a prime number?
True
Suppose 2*i + 4*o = 12, -4*o = 4*i - 11 - 9. Suppose 4*n - 56 = 3*r, i*r + 7 = n - 20. Is n composite?
False
Let w(q) = -2*q - 15. Let u be w(-12). Let c(k) = 2 - 4 - 2*k - 2*k**2 + 4*k**2 + u. Is c(6) a composite number?
False
Let b(v) = v**3 + 3. Let c be b(0). Suppose 0*j + 4*j = 12, 654 = c*n + j. Is n a prime number?
False
Let y be (2/(-3))/((-2)/252). Suppose 136 = 4*o - y. Is o composite?
True
Suppose 0 = l - 0*l - 78. Suppose -2*h = -5*h + l. Is h composite?
True
Let b be -1*(-5 + 3) + 153. Suppose 1064 - b = 3*i. Is i a composite number?
True
Let b(t) = 315*t**2 - 5*t + 12. Is b(2) a composite number?
True
Suppose -3*v = -v - 10. Suppose 3*l + 14 = v*h, -5 = 3*l - 3*h + 1. Is -1*(-306)/l + 2 a prime number?
False
Suppose 0 = -z + 7 - 3. Is 0 - 1 - (-224)/z a prime number?
False
Suppose i + g + 0*g = 145, g = 0. Is i prime?
False
Suppose 2*m + 4 = 8. Let q be ((-2)/m)/((-1)/5). Suppose q*r - 51 = 14. Is r a composite number?
False
Let b = 16 + -10. Suppose 5*a = -f + 67, -5*f + b*a + 447 = 3*a. Is f a prime number?
False
Let k(l) = -4*l + 8. Let o(h) = -2*h + 4. Let f(u) = 2*k(u) - 5*o(u). Is f(13) composite?
True
Suppose 5*p - z - 231 = 213, 0 = 4*p + z - 357. Is p composite?
False
Let w = -304 + 603. Is w composite?
True
Suppose -9 = -s - 3*n, -n + 0*n = 2*s - 13. Let u(o) be the first derivative of -o**4/4 + 2*o**3 + 5*o**2/2 + 7*o + 2. Is u(s) a prime number?
True
Let h = 491 - 286. Is h composite?
True
Let u(i) = 189*i + 24. Is u(11) a prime number?
False
Suppose 2660 = 4*j + 288. Is j a composite number?
False
Let i be ((-2283)/9)/(1/(-3)). Suppose 3*m = -3*g - m + 755, 0 = 3*g - 2*m - i. Is g a composite number?
True
Let s(v) = v - 3. Let w be s(5). Let u(x) = -12*x**2 + 2*x. Let d be u(w). Let z = d - -247. Is z prime?
False
Let b be -9*(-1)/((-9)/(-12)). Suppose 0 = u + 2*u - b, 3*j + u - 37 = 0. Is j a composite number?
False
Let t(z) = -44*z**3 + z + 1. Let y be t(-3). Let i = y + -815. Is i prime?
False
Suppose -3*m = -5*f + 796, 0 = -3*f - f + 3*m + 635. Is f a prime number?
False
Let i = 2 - 1. Let l(z) = 70*z + 86*z - 2 + 1. Is l(i) a composite number?
True
Suppose 5*j = -5*m + 20, -m - 2*j - 2 + 7 = 0. Suppose -2*d - m*d = -165. Is d prime?
False
Let y(u) = 2*u**2 + 13*u - 6. Let k be y(14). Suppose -3*n = n - k. Is n prime?
False
Let m be 2/(-7) - 6/(-21). Let h = m + 0. Suppose h = -3*d + 30 + 27. Is d prime?
True
Suppose 2*d + x = 1102, 5*d = x - 2*x + 2761. Is d a prime number?
False
Suppose -3*p + 3*m = -87, 3*p + 29 = 4*p + 4*m. Suppose p = y - 5*j, 0 = -3*y + j - 0*j + 115. Let z = y - 2. Is z a composite number?
False
Let p = 276 - 540. Is 2/(-2) + 2 - p composite?
True
Let b(o) = o**2 - 3*o - 7. Let d be b(5). Suppose 0*u = u + 4*q - 373, -2*u + 724 = -d*q. Is u a composite number?
True
Let o be (-4)/(-2)*(-315)/(-6). Suppose o = -3*r + 6*r. Is r composite?
True
Suppose -4*k + 3*u = -282, -5*k + 7*u = 2*u - 355. Is k a prime number?
False
Let a(d) = -d**3 + 4*d**2 - 4*d + 2. Let v(n) = -2*n - 6. Let b be v(-4). Let o be a(b). Suppos