(f) a prime number?
False
Let w be (-8)/20 - (-17)/5. Let u(m) = 12*m**2 - 6*m**2 - 3*m**2 + 4*m - 6*m**3 + w. Is u(-4) prime?
True
Let d = -2429 - -7756. Is d - 2/4*0 a prime number?
False
Suppose -p = 5*f - 14738, f + 3*f - 11803 = -5*p. Is f/63 + -1 - (-2)/9 a prime number?
False
Let b(o) = -34 + 14 + 132*o**2 + 15*o + 27. Is b(4) prime?
True
Is -1 + 7381 - 3/1 composite?
True
Let z(q) = q - 8. Let y be z(11). Suppose -2*d - r = -6*r - 1863, -y*r + 926 = d. Is d prime?
True
Let y = 2736 - -1833. Is y composite?
True
Suppose -2*p - 3*z - 566 = 3*p, 0 = 4*p + 3*z + 451. Let u = p + 293. Is u composite?
True
Is 4/((-87)/(-58)*(-4)/(-51717)) composite?
True
Let g(i) be the third derivative of 419*i**7/5040 - i**5/30 - 5*i**2. Let o(s) be the third derivative of g(s). Is o(1) prime?
True
Suppose -2*a + a = 0. Suppose -5*t - 5*u + 391 = -144, 4*u = -8. Suppose -y + a*y = -t. Is y prime?
True
Suppose 3853 + 12000 = 83*m. Is m composite?
False
Let g(i) = i**3 + 3*i**2 + 4. Let u = 11 + -8. Is g(u) a prime number?
False
Let g = 6021 - 4220. Is g a prime number?
True
Suppose -4*d + 2*u = u - 24, -5*d + 5*u = -15. Suppose d*y + y = 440. Is y a composite number?
True
Let n = 8 + -13. Let m = 7 + n. Suppose -5*j = -2*q - 263, -m*j = q - 24 - 83. Is j a composite number?
False
Suppose 5*y = 2*y + 9. Suppose 0 = -c - y - 1, -3*f - 7 = 4*c. Suppose 3*z - f*b = -426 + 1065, -5*z = -3*b - 1067. Is z composite?
True
Let g(a) = 34*a - 31. Let k be g(-7). Let w = 2064 - k. Is w a prime number?
True
Suppose 0 = 3*p - 15, 2*p + 7995 = q + 1100. Is q a composite number?
True
Let r(v) = v**3 + 4*v**2 - 6*v - 9. Let h be r(-4). Is (1338/h)/((-1)/(-15)*3) a composite number?
True
Let u(z) = 136*z**2 - 8*z - 6. Let c be u(-7). Let n be c/7 + (-1)/7. Suppose 3*f - 4*f + 4*r = -183, n = 5*f + 2*r. Is f composite?
False
Suppose -60*p + 202509 = -51*p. Is p composite?
False
Suppose 0 = 4*w + 4*i - 52, -w - 2*w - 4*i + 34 = 0. Is (-2)/w - 10900/(-9) prime?
False
Suppose -22798 = -8*i + 7626. Is i a prime number?
True
Suppose -2*f - 3519 = -11*f. Is f a prime number?
False
Suppose 70*f - 69*f - 175 = 0. Suppose -w = 3*s - f, -3*s - w + 179 = -2*w. Is s a composite number?
False
Suppose 0 = -2*m + 10, 6*p - 4*m = 2*p - 1216. Suppose 8*k + 25200 = -7*k. Let a = p - k. Is a composite?
False
Let k be (-8120)/(-6) + 22/33. Let w = -685 + k. Is w composite?
True
Let p be (-202)/22 + 18/99. Let b be (-8)/(-36) - 124/p. Is 449/3 - b/21 prime?
True
Let s(a) = -7*a - 8. Let u be s(4). Let r be (-1)/(u/8)*9. Suppose -5*l + 293 = 4*x - 82, -3*l - r*x = -223. Is l a composite number?
False
Is (27/15 + -2)/((-3)/224745) a composite number?
False
Is -30790*(253/(-22))/23 prime?
False
Let g(q) = 1508*q**2 + q. Let u be g(1). Let b(s) = -2*s**3 - 7*s**2 - 3*s + 10. Let c be b(7). Let t = c + u. Is t a composite number?
True
Let t be (-1)/(3*(2 + (-309)/153)). Let h(k) = -k**2 - 5*k. Let i be h(-4). Is (1 - t)/i + 269 a prime number?
False
Suppose 6166 = 2*r - 16. Is r a composite number?
True
Let z = 6 + 33. Is -1*6/z + 925/13 composite?
False
Let k be ((-3)/(-2))/(-2*3/(-24)). Suppose -k*h + 427 + 263 = 0. Is h a prime number?
False
Let z(a) = 347*a + 61. Let l be z(10). Let n = l + -1708. Is n composite?
False
Let f(q) = q + 24. Let t be f(-15). Suppose t*i - i - 1016 = 0. Is i composite?
False
Suppose -16 = -3*w - 2*v, -w + 2*w - 4*v + 18 = 0. Suppose -5*u + w*s = -1003, 0 = u - 0*u - 3*s - 198. Is u prime?
False
Let j(t) = 2*t**3 - 7*t + 8. Let a be j(-4). Let n = 19 - 62. Let v = n - a. Is v a composite number?
True
Let j(g) = g**3 - 3*g**2 - 5*g + 6. Let z be j(4). Suppose -5*h + 26 = o, -3*o + 28 = z*h + 3*h. Suppose 4*v - o = 59. Is v composite?
True
Suppose n - 4 = -k, 0*n - 5*k - 4 = n. Suppose -n*t = -7*t + 2*v + 29, 0 = 5*t - 4*v - 163. Is t prime?
False
Let k be 1/(-3) - (-358)/3. Let x(i) = -19*i**3 - 6*i**2 - 10*i. Let n be x(-2). Suppose k = o - n. Is o a prime number?
False
Let u = 2 - 8. Let s be ((-19)/2)/(u/1092). Let r = s + -1166. Is r prime?
True
Suppose 0 = -2*d + 9 + 1. Suppose 5*r - i = i + 3538, -4*i - 3536 = -d*r. Suppose 0 = -3*u - u + r. Is u a composite number?
True
Let n(c) = 943*c - 213. Is n(8) a prime number?
True
Suppose 12*l + 15 = 7*l, -2*r = -2*l - 14. Let o(i) = 23*i**2 + 4*i + 1. Let n be o(3). Suppose 0*x + n = r*x. Is x composite?
True
Let z = 414 + -201. Suppose -3*n + 0*n = -12. Suppose n + z = b. Is b a prime number?
False
Suppose -5*w + 1 = -4. Is 157*4 + 7 + -7 + w composite?
True
Suppose 8 - 28 = 2*g. Let j be g/(-35) - 3104/(-14). Suppose -9*y + j = -3*y. Is y a composite number?
False
Let p be 1 + -3 - (-113 - -2). Let b be 9/((2 - 3)/(-2)). Let g = b + p. Is g a prime number?
True
Let s(z) = 6 + 3400*z + 9 - 20 + 8. Is s(2) prime?
True
Suppose 0 = 3*y - 34 - 107. Suppose -50*m + y*m = -6999. Is m a prime number?
True
Suppose 0*b - 5*b + w = -11015, 3*b - 6609 = 3*w. Is b a prime number?
True
Suppose -25*l + 27*l - 1142 = 0. Is l composite?
False
Suppose -79 = -6*u + 41. Suppose 21*j - u*j = 293. Is j prime?
True
Suppose 3 + 7 = 5*g. Suppose 0*h = g*h - 8218. Is h prime?
False
Let w(c) = c**2 - 11*c - 9. Let b be w(12). Let n(h) = 1 - 38*h**3 - 145*h**3 + 2*h - 9*h**3 + 0*h**b. Is n(-1) a prime number?
True
Suppose -2*a - 3*q = 2*a - 2516, 1904 = 3*a - 2*q. Suppose -2*x = -c + a, 3*c - 5*x = 74 + 1825. Suppose -b - 3 = 0, -y + b + c = 4*y. Is y a prime number?
True
Suppose r = -2*k + 7173, -12*k + 8*k + 14336 = 4*r. Is k prime?
False
Suppose -14*q = -92815 + 28821. Is q prime?
False
Let l(i) = 96*i**2 + 174*i + 11. Is l(10) prime?
True
Let c(y) = y**3 + 32*y**2 - 14*y + 7. Let t be c(-15). Suppose 9*k - 5*o - 5055 = 4*k, -4*k + t = -3*o. Is k composite?
False
Let i(b) = 35*b**2 + 4*b - 3. Is i(2) a composite number?
True
Suppose -10 = -c - 2*s, -4*c + s - 3*s + 22 = 0. Suppose 124 + 241 = 5*v. Suppose -t = 2*p - 117, -2*p + 195 = -c*t + v. Is p a prime number?
True
Suppose -7972 = 478*y - 480*y. Is y prime?
False
Suppose 0 = -f + 8 - 49. Let o = f - -37. Let t(a) = -3*a**3 - 3*a**2 + a + 5. Is t(o) composite?
True
Let p(m) = 2*m**2 - 1. Let k be (-15)/18 - (-2)/(-12). Let y be p(k). Is y*4/((-12)/(-159)) a prime number?
True
Let b = 1481 - -19308. Is b a composite number?
False
Suppose 3*t - 9 = 6. Suppose -t*f + 1850 = 5*p, f - 388 = -0*f + 5*p. Is f prime?
True
Let t = -13 + 21. Suppose -y = 3*y - t. Suppose 5*o - 749 = y*a, -o + 3*o + 5*a = 288. Is o a composite number?
False
Let w(z) = -2*z**3 - 11*z**2 - 10*z - 8. Suppose 0*m + 20 = 2*m. Suppose -28 = -m*t + 14*t. Is w(t) composite?
True
Let n be ((-6)/(-18))/(2*1/24). Suppose 2*r - 4565 = -n*f - 605, 0 = -r - 2. Is f prime?
True
Is (-2386)/(-3) - (-16)/(-12) a prime number?
False
Suppose 5*y + x = 3205, -y - 4*y = -x - 3205. Is y prime?
True
Let w(c) = -c**3 + 14*c**2 + 7*c - 49. Is w(13) composite?
False
Suppose 0 = -2*w + 5*w - 4*a - 15016, -3*w = -a - 15031. Let q = w + -3295. Is q prime?
False
Suppose -37*y + 35*y + 190 = 0. Let s = -1 + -1. Is (s - -1*y) + 0 a prime number?
False
Suppose 5*p - 11210 = y, -5*p - 11230 = -10*p - 3*y. Is p composite?
False
Let k(b) = b**3 - 8*b**2 - 21*b + 19. Let j be k(10). Suppose -2*o - 3*o = 3440. Is (-3)/j - o/12 prime?
False
Is (-8 + 5)/3 + 7742 composite?
False
Is ((-16230)/(-12))/((-2)/(-4)) a prime number?
False
Is 1317 + 5/(-30)*0 composite?
True
Let b = -2349 - -37262. Is b a composite number?
False
Let r = 690 - -245. Suppose -95 + r = 5*f. Suppose -5*h = o + f - 760, -3 = o. Is h a composite number?
True
Let a(v) be the first derivative of v**6/360 - 13*v**5/120 - 11*v**4/24 + 5*v**3/3 - 3. Let t(h) be the third derivative of a(h). Is t(15) composite?
False
Let r be (53/3)/(1/18). Suppose -2*s = 5*v - 618, -s + 3*v - v = -r. Is s a prime number?
False
Is (2245/25)/(2/110) composite?
True
Suppose -58*f + 4 = -54*f, 3*j - 47017 = 2*f. Is j prime?
False
Let o(n) = -12*n**3 - 9*n**2 - 8*n - 23. Let i be o(-4). Let j be (-4)/6 + (-2786)/(-3). Let k = j - i. Is k prime?
False
Suppose k - s - 31568 = 2*s, -4*k + 126307 = -5*s. Is k composite?
False
Suppose 4*g + 2*s = -103034 + 293450, 4*s = g - 47613. Is g a prime number?
False
Let p be (-8 - 1)/((-12)/(-1212)). Let o = 1528 - p. Is o a prime number?
True
Let g(c) = 34*c + 135. Is g(7) 