a prime number?
True
Let n(t) = t**3 + 7*t**2 - 10*t + 11. Let c(h) = -h**3 - 7*h**2 + 9*h - 11. Let x(r) = -7*c(r) - 6*n(r). Is x(-6) prime?
False
Suppose 7*p = -p + 352. Let a = 35 + p. Is a prime?
True
Let d = 6351 + 20156. Is d composite?
True
Let a(c) = 411*c**2 - 15*c + 109. Is a(8) composite?
False
Let d(b) = -b**3 + 6*b**2 + 11*b - 26. Let a be d(7). Is a/8*17392/4 a prime number?
True
Let m = -12 - -30. Suppose 0 = 23*s - m*s - 555. Is s composite?
True
Let a(y) = 2523*y + 16. Is a(2) a prime number?
False
Let u(o) = -320*o**2 - 5*o + 8. Let a be u(2). Let x = a - -2813. Is x a prime number?
True
Let m(k) = -1057*k**3 + 5*k**2 + 8*k + 6. Let a be m(-2). Suppose a = 15*f - 9*f. Is f a composite number?
True
Let o(w) = -5 - 6*w**2 + 4*w**2 - 2*w**2 - 24*w**3 + 25*w**3. Let x be o(4). Is 2/x - 1574/(-10) a prime number?
True
Let b(l) = 24*l**3 - 7*l**3 - 2*l**2 + 8 - 3*l**2. Is b(3) prime?
False
Let b(c) be the first derivative of 20*c**3/3 + c**2/2 + 7*c + 3. Is b(4) prime?
True
Suppose 0 = 2*m + 8, -3*c - 2*m + 3335 = 2*m. Is c a prime number?
True
Suppose -4*a = -10323 + 3719. Is a a composite number?
True
Let r be (-56)/(-49)*7/2. Let k(x) = 47*x + 11. Is k(r) a composite number?
False
Let x = -73 - -3851. Is x a composite number?
True
Let m(n) = -n**3 + 57*n**2 - 99*n + 14. Is m(43) a prime number?
False
Suppose -52*l + 1882656 = 533620. Is l composite?
False
Suppose z = -3*s + 6085, 5*s - 9132 = -5*z + 993. Let a = s + -1021. Is a composite?
False
Let z(d) = 39*d**3 + d**2 - 4*d + 3. Let l be z(2). Let m = 474 - l. Let w = -84 + m. Is w a prime number?
True
Suppose 0 = -5*n - 2*x + 34, -5*n - 7*x + 2*x + 40 = 0. Is 754 + 2/(-3)*n/4 composite?
True
Suppose -1 = 2*v - h, 0*v + 2 = v + 2*h. Suppose 4*i + 2*p + 282 = v, i + p + 98 = 29. Let w = 49 - i. Is w prime?
False
Let v be 5/20 - (-462)/8. Suppose -l - 6*b = -3*b - v, 43 = l - 2*b. Suppose 3*f = 8 + l. Is f a composite number?
False
Let z be (12 - -6) + (-9)/3. Let s = -6 + 4. Is 15273/135 + s/z prime?
True
Suppose 5*d - 2*s = 177914 - 50959, -3*s = 2*d - 50782. Is d prime?
True
Let l = -32 - -35. Is (89/l + -2)*3 a composite number?
False
Suppose -6*a + 2*g + 13 = -a, -5*a - g + 16 = 0. Is (2 - a)/(2/(-1258)) a prime number?
False
Let x(h) = 11*h**2 - 53*h + 25. Is x(-14) a prime number?
False
Let j(w) = w**3 - 69*w**2 - 138*w + 159. Is j(73) prime?
False
Suppose -5*j + 4*u = -j - 16, 2*u + 12 = 4*j. Is (1117/j)/(0 - 1/(-2)) prime?
True
Let g(n) = 3807*n - 41. Is g(4) composite?
False
Is 542/4*((-7 - -11) + 54) prime?
False
Let f = -1 + 3. Suppose 3*c = -9 - 0, 4*c = 2*u - 22. Let d = u + f. Is d prime?
True
Let v = 39 + -37. Is (v - 5) + 4 + 16*66 prime?
False
Let a = -176 - -516. Suppose -s = 2*h - 403, h = s - 69 - a. Is s a composite number?
True
Suppose -3*f + 2 = -2*f. Suppose -3*p + 2304 = a + 514, 4*a = -f*p + 7190. Is a composite?
True
Let q(k) = k**3 + k + 247. Let w be q(0). Let l = 350 - w. Is l composite?
False
Suppose -6*k = -2*k - 28. Is 1*(225 + (3 - k)) a composite number?
True
Let x(g) = -4*g**3 + 2*g**2 + 9*g + 14. Let c(h) = h**3 + h**2 - h - 1. Let i(j) = -5*c(j) - x(j). Is i(-7) a prime number?
True
Suppose 5*f = 2*i + 478, 4*i + 82 = 2*f - 122. Let q = 70 - 11. Let a = f - q. Is a composite?
True
Suppose -2*f - 362 + 110 = 0. Let q = f - -197. Is q prime?
True
Let n(s) be the third derivative of 0*s + 0 + 55/4*s**4 + 1/6*s**3 - 5*s**2. Is n(1) prime?
True
Let l = 2119 - 1153. Suppose -k - 15 = -l. Is k a composite number?
True
Let m = 27 + -24. Suppose 0 = -m*x - 0*x + 3453. Is x a prime number?
True
Let c(p) = p**3 + 15*p**2 + 16*p + 30. Let b be c(-14). Is 3/6 + 5703/6 + b composite?
False
Let h(p) = -4*p + 1 + 6*p + p**2 - p + p. Let r be h(-3). Suppose r*m - 158 = 2*m. Is m prime?
True
Suppose 0 = 4*a - 4*o - 3876, 2*a + 3*o = -0*a + 1963. Is a a composite number?
True
Suppose -2*w - 509 = -5*x - 3521, w = 4*x + 1509. Is w a prime number?
False
Let p be (-4)/18 + (-2408)/(-63). Suppose -5*y + 90 = 5*m, 0 = 3*m - 4*y - 16 - p. Suppose 0 = 2*t - m - 20. Is t a composite number?
False
Suppose -20 = -0*g - 4*g. Suppose 0 = 5*k + g - 750. Is k a prime number?
True
Suppose -70*x + 65*x + 5*d + 2930 = 0, 5*x + 2*d = 2895. Let a be (468/(-10))/((-2)/(-10)). Let i = a + x. Is i a composite number?
False
Suppose -5*n + 2572 = -9*n. Let b = 998 + n. Is b composite?
True
Suppose -60 - 69 = 3*u. Is -2*(1 + 0) + (-325123)/u a composite number?
False
Let y(f) = 11*f**3 - 2*f**2 + f - 11. Let z = -10 + 15. Is y(z) a composite number?
False
Suppose -5875 = -5*d - 2320. Suppose -2*f = 3*t - d, 3 = 3*f - 6. Is t prime?
False
Let d = 5656 - -49333. Is d prime?
False
Suppose 5*u - 218 = -3*a + 2677, 3*u - 1723 = a. Suppose -3*y + 3*r + 2321 = y, 5*r + u = y. Is y prime?
False
Let q be (190/(-3))/((-12)/18). Let m = q + 20. Is m a prime number?
False
Let p = 2970 - 2053. Is p a composite number?
True
Let j be ((-2)/3)/(3/(-45)). Let s(c) = 2*c**3 - 9*c**2 - 15*c - 13. Is s(j) a composite number?
False
Suppose -12*i - 16 = -16*i. Suppose -2*j + 2137 = -5*p, -i*p = 14 - 34. Is j composite?
True
Is -1 + 0 - ((-8084 - -13) + 11) a composite number?
False
Is (-10)/2 + (521 - 109) a composite number?
True
Suppose -2*t + 5 = 3*u, 3*t - 2*u = 3*u + 17. Suppose -13*z + 9*z = -1216. Suppose 184 = t*m - z. Is m prime?
False
Let r(t) = 4*t**2 - 11*t + 128. Is r(29) composite?
True
Suppose -25151 = -9*n + 16006. Is n a composite number?
True
Let w = -140 - -147. Suppose -5*m = -g - 30363, -2*m + w*m = 4*g + 30357. Is m a prime number?
True
Let g(p) = -p + 3. Let c be g(0). Suppose 5*r - 2*z - 13 - 17 = 0, 3*z + 23 = 2*r. Suppose r*x = -c*q - q + 464, 10 = 2*q. Is x composite?
True
Let p(l) be the first derivative of -l**3/3 + 9*l**2/2 - 8*l - 5. Let o be p(5). Suppose 3*w = h - 223, -5*w = -2*w + o. Is h prime?
True
Suppose -3306*s + 24 = -3309*s. Let j = -5 + -3. Is (1774/j)/(2/s) composite?
False
Let j = -2294 - -6681. Is j a composite number?
True
Let h(l) = 54*l**2 + 14*l + 71. Is h(-9) a composite number?
True
Suppose 3*v + 13 + 2 = 3*c, 5*c = -2*v - 3. Is 12 + -13 + (c - -1073) prime?
False
Let x(j) = 6613*j**3 - 4*j**2 + 4*j. Is x(1) composite?
True
Let i = 27 - 11. Let f = i + -30. Let y(u) = -u**3 - 14*u**2 - 2*u - 5. Is y(f) prime?
True
Let y be ((-84)/16)/(-1) + 1/(-4). Suppose y*h + 604 = 3*n, 2*n + 2*h = n + 205. Is n a composite number?
True
Let c(r) = -r**3 + 2*r**2 + 9*r. Let n be c(4). Suppose n*j = j + 2307. Is j composite?
False
Let s be 555*((-4)/(-3) + -1) + -4. Let p = 360 + s. Is p prime?
True
Let t = 212 - -108. Suppose -m = t - 1135. Is m prime?
False
Let m(j) = j**3 + 9*j**2 + 2*j - 6. Let l be m(-6). Let i = l - -169. Is i a composite number?
True
Let a(k) = 56*k - 1. Suppose 2*d = -2*d - s + 36, -4*s + 16 = 0. Suppose r - d = -r. Is a(r) a prime number?
True
Suppose -2*r - 3*q = -0*r + 664, -r = -5*q + 319. Let v = 152 - r. Is v a prime number?
False
Suppose 0 = 3*h - 23 - 16. Let d(k) = k - 1 - 2 - 6*k**2 + h*k**2. Is d(-3) a composite number?
True
Suppose 3*w = -s + 11194, 2*s + 5*w + 22399 = 4*s. Is s a prime number?
True
Suppose 4*m + 1730 = -138. Let v = 946 + m. Is v composite?
False
Let h(v) be the first derivative of 91*v**2/2 - 16*v - 18. Is h(5) prime?
True
Suppose 2*s = 4*i + 28, 2*s - i - 10 = s. Suppose -4*g + 1 = -c - s*g, -2*g + 11 = 5*c. Suppose c*o = n + n + 249, -267 = -3*o - 4*n. Is o a composite number?
True
Suppose -4*p + 2 = -2*s + p, -8 = 2*s - 2*p. Let l(g) = 3*g**2 + g + 8. Let f be l(s). Suppose -d - d + f = 0. Is d composite?
True
Let o(p) = -20*p**3 + 0*p**2 - p**2 + 301 - 303 - 2*p. Is o(-1) a prime number?
True
Suppose 5*k - 31 = 3*n, -k - 3*n = -0*n + 1. Suppose 0 = 5*m - k, -2*a = -4*a + 4*m + 438. Is a prime?
False
Is (3/(-9))/((-3)/5769) a composite number?
False
Let v(j) = j**2 - 3*j + 7. Let m(x) be the second derivative of -5*x**3/6 + 2*x**2 + 4*x. Let c be m(-2). Is v(c) a prime number?
False
Suppose -28*d + 53162 = -9*d. Is d a composite number?
True
Suppose -c + 5*c + 16 = 0. Let q be -3 - (0/c - -379). Is -1 - 1 - q - 3 composite?
True
Suppose -34*a + 495631 = -318907. Is a a composite number?
False
Let o = 19474 - 10079. Suppose 7*v - 27558 = o. Is v a composite number?
False
Let m(y) = -y - 11. Suppose -4*u - 76