z**3 - 7*z**2 + 9*z - 17. Is w(4) prime?
True
Is (-3 + -2)/(-30) - (-70971)/18 a composite number?
False
Let l = 598 - -58. Suppose -2*a - 3241 = 3*p - 8*p, -l = -p + 3*a. Suppose 2*i - 5*b = p, -2*i - 2*i = 3*b - 1229. Is i a prime number?
True
Let o(u) = -2*u**2 - 20*u - 18. Let a be o(-8). Is (63/a - 4) + 762/4 a prime number?
True
Suppose 0 = -5*y + 4*y + 2. Suppose -y*a = -4*a. Suppose a = 5*u + 3*u - 1880. Is u prime?
False
Let t = 1653 - 94. Is t a composite number?
False
Let q = 108800 - 16853. Is q a composite number?
True
Suppose 0 = -4*p - 3*a + 308 + 2438, 5*p - 3427 = -a. Is p a composite number?
True
Let x(c) = -c**3 - 6*c**2 - 15*c + 17. Is x(-15) a composite number?
False
Suppose -5*p + 8 = -9*p. Is (p - -6 - 8)*1378/(-8) a composite number?
True
Let h(l) be the first derivative of 17/2*l**2 + 1 + 2*l. Is h(3) prime?
True
Suppose -2*a + 16 = -2*y + 6*y, 12 = -3*a + 3*y. Suppose a*d + 36 = 3*d. Let i(t) = t**3 - 12*t**2 + 5*t + 5. Is i(d) a prime number?
False
Let w(u) = -6*u + 45. Let q be w(7). Suppose 0 = q*x - 970 + 181. Is x a composite number?
False
Let w(h) = -4*h + 6. Let d be w(-6). Let c = 232 + d. Is c a composite number?
True
Suppose -8*y - 5 = -3*y + 2*m, -m - 5 = 0. Is -489*(-4 - (-3)/y) a composite number?
True
Let s(q) be the third derivative of -q**6/60 + q**5/15 - 5*q**4/12 + q**3/6 + 31*q**2. Is s(-8) a prime number?
True
Let k = 275 - 488. Let p = k - -610. Is p composite?
False
Let u(j) = 3 - j - 3. Let v be u(0). Suppose v = 5*m - 419 + 144. Is m composite?
True
Is (-4)/(-5) + 367707/285 composite?
False
Let c(h) = 11 + 2*h**2 + 16*h**2 - 3 - 17*h. Is c(5) prime?
True
Let z(v) = -48 + 34 + 27 - 19*v. Is z(-6) prime?
True
Suppose -10 = -2*j - 4. Suppose 0 = m - 3, 0 = -j*n - 2*m - 850 - 281. Let x = n + 782. Is x prime?
False
Let y = 554 - 1. Suppose y + 2365 = 2*r. Suppose -1351 = -4*l + s, 4*l = 4*s + r - 99. Is l composite?
False
Is ((-29471)/(-39))/(2/6) a prime number?
True
Let c(m) = 12*m**2 + 15*m + 19. Is c(14) a composite number?
True
Is (-15)/6*(-44)/(-55) - -6561 prime?
False
Suppose 69*h - 66*h - 18339 = 0. Is h prime?
True
Let z(p) = 24*p - 1. Is z(4) composite?
True
Let j(s) = 4*s**2 + s + 23. Let l be j(-5). Suppose -l = -5*h + 37. Is h composite?
False
Is (-24)/(-56) - (-208580)/14 a prime number?
False
Let y = -20 - -22. Let g(u) = -y + 121*u**2 + u - 1 - 3 + 7. Is g(-1) composite?
True
Let q = -2353 + -1647. Let p = q + 7083. Is p composite?
False
Suppose 38 = -5*a - 2*r, -a - 2*r + 10 = -4*a. Is (1864/12 - -4)*(-45)/a a prime number?
False
Suppose 21756 = 3*d - 678. Is d composite?
True
Suppose -3*i = -3*b + 149166, -7*i = -11*i + 20. Is b composite?
False
Let o be (-24786)/16 + (-10)/(-80). Let d = o - -2262. Is d composite?
True
Let z = -17 - -20. Suppose 0*j - 33 = -z*j. Let d = 262 - j. Is d a composite number?
False
Let q = 884 - -45525. Is q a composite number?
True
Suppose 3*t + 14895 = 5*y, -y = -3*t - 592 - 2375. Let v(g) = g + 1. Let c be v(-9). Is (-1)/(-4) - y/c composite?
False
Suppose -9*v + 4*v + 10 = 0. Suppose w + v*o = 587, -3*w + 2296 = w - 5*o. Suppose -w = -4*j + 353. Is j a prime number?
True
Let q = 12485 + -2812. Is q a prime number?
False
Let k be ((-1)/2)/(11/22). Let o be (351/(-3) + -4)/k. Suppose -d - 3*p = -o, -4*d - p - 2*p = -439. Is d a composite number?
True
Let k(w) = -w**3 - w + 1285. Let f be k(0). Suppose -9*g + 4*g + f = 0. Let r = 150 + g. Is r prime?
False
Is (23811 - -1)/4*1 prime?
True
Let o(m) = -m + 5. Let v be o(3). Suppose -v*f + 4*f + 6 = -3*j, 2*j - 4*f = 12. Suppose j*y - 4*y + 1068 = 0. Is y prime?
False
Suppose 9*f + 13408 = 13*f + 5*t, -f + t + 3343 = 0. Is f a prime number?
True
Let o(h) = 28*h**2 + 3*h + 11. Let j(v) = -14*v**2 - 2*v - 6. Let s(p) = -13*j(p) - 6*o(p). Let a be s(9). Suppose 0 = -b - 67 + a. Is b a composite number?
False
Suppose 0 = -3*w - 4*x + 10259, -w - 7*x = -8*x - 3422. Is w a composite number?
True
Let a = 822 - 440. Suppose -x + 125 = -2*v, 2*v = -3*x + v + a. Is x a prime number?
True
Let n = 5708 + -3337. Is n prime?
True
Let g = 3 - -1. Suppose 0 = -6*c + 21 + 21. Is (g - 5)*c/(-1) a prime number?
True
Let o(t) be the third derivative of -t**6/60 - t**5/24 + 7*t**4/24 - 4*t**2. Let n(a) be the second derivative of o(a). Is n(-5) composite?
True
Let w = 18 + -18. Let f(g) = g**2 + 8*g - 5. Let d be f(6). Suppose -i + 2*i - d = w. Is i a composite number?
False
Suppose y - 4*c + 1 = -22, -2*c + 10 = 0. Let p = 5 + y. Suppose -84 = -p*l - 2*l. Is l composite?
True
Is ((-739)/4)/((-17)/68) prime?
True
Let f(g) = 52*g**2 - 3*g - 6. Is f(7) composite?
False
Let z be (9 - 10) + 0/(-2). Let v be z - (6 + -3 - 8). Let h = 6 + v. Is h composite?
True
Let k = -2939 + 6004. Is k composite?
True
Let i(j) = j**3 + 2*j + 4265. Is i(0) a composite number?
True
Let d(a) = 38*a**2 + a - 17. Is d(-14) a prime number?
True
Let x = 18182 - 12740. Suppose -3*v + x = 2*h + v, -5*h - 5*v + 13610 = 0. Is h prime?
False
Suppose -v = 2*c - 6, -4*c - 3*v = v - 8. Suppose i - 5*s - 10 = 0, -3*i + 15 = -4*s - c. Suppose -4*n = -3*o + i*o - 1286, -o = -5. Is n a composite number?
True
Suppose -38 = -5*w - 3. Let j(i) = 14*i + 2. Let x be j(w). Suppose -2*l - 57 = -c, 0*l - x = -2*c - 3*l. Is c a composite number?
False
Let j(v) = 37*v**2 + 7*v - 107. Is j(9) a prime number?
True
Let x = -300 - 105. Is x/(-2) - 24/16 prime?
False
Let f = 3 - 0. Let d be 1 - -6 - 3 - 0 - -157. Suppose -y + d = f. Is y a prime number?
False
Let m(y) = -3*y + 28. Let o be m(0). Let h = o - 25. Suppose 0 = -3*z - 9, h*x - 2 = -5*z + 940. Is x a composite number?
True
Suppose 9968 + 4722 = -2*o. Let v = o - -13225. Is v/88 - 4/(-22) a prime number?
True
Let f be ((-16)/(-20))/((-2)/5). Let j be (1 - -525) + 6/f. Suppose 3*d = 482 + j. Is d a prime number?
False
Let p = 21 - 16. Suppose 2*f = 3*o + 595, p*o = -3*f - 0*o + 864. Is f a composite number?
False
Suppose 3*z = -z. Suppose -j - 3*g - g - 8 = z, -4*g - 44 = -2*j. Let l = 22 - j. Is l a composite number?
True
Let b be (-4)/(-22) + 9192/22. Suppose -q + 185 = 4*o, -2*q + 2*o + b = -2*o. Is q prime?
False
Let a(b) = -12*b - 37. Let n(u) = -36*u - 113. Let h(w) = -8*a(w) + 3*n(w). Is h(-10) prime?
False
Let s(n) = -31*n - 30. Let v be s(-7). Let x be 2/(-4) + (-45)/(-10). Suppose x*t + v = 5*t. Is t prime?
False
Suppose -12830 = -10*c - 550. Suppose -8*a - c = -12*a. Is a a composite number?
False
Suppose 5*b - 100302 = -4*d, 11*b - 9*b - 100296 = -4*d. Is d a composite number?
False
Let u = -14 + 13. Let c(z) = -110*z + 2. Let y be c(u). Let s = -53 + y. Is s composite?
False
Let y = 8109 + -4795. Is y a composite number?
True
Let i be ((-3)/(-2))/(21/56). Suppose 0 = 3*v - 3*j - 0*j, 0 = -3*v + 4*j - 5. Suppose i*x - 349 = -5*c, -3*x + 288 = -0*x - v*c. Is x a composite number?
True
Suppose -3*c - 4*c = 21. Is 5 + -1 + (-909)/c prime?
True
Let a be (-55)/(-15) - 2/(-6). Is (3 - 10/a)*442 a composite number?
True
Let y = 20 + -16. Suppose -33 - 31 = -y*n. Let z = n + 19. Is z a prime number?
False
Let c = 25 - -5. Let h be 2 - (159*c - 1). Is h/(-49) - 4/14 prime?
True
Suppose -741 = 3*u + 237. Let y = 468 + u. Suppose y = 2*q - 46. Is q a composite number?
True
Suppose -5*o = 5*x + 5 - 0, -4*x - o - 7 = 0. Let m(q) = -115*q + 5. Is m(x) prime?
False
Let o be -5 + (6/2 - 3). Let k be (-1)/o - 20/(-25). Let b(h) = 50*h**2 - 3*h + 2. Is b(k) prime?
False
Let r = -13 + -23. Let h = 335 + r. Is h composite?
True
Suppose -6*m = -11*m + 50. Let k be (3 - 2)*(-3 + m). Is 233/k + (-14)/49 a prime number?
False
Is 5*(-8)/80 + 503/2 composite?
False
Suppose 7*l - 32111 = 9308. Is l composite?
True
Let p = -65799 - -98008. Is p composite?
True
Let k(r) = r**2 - 6*r + 2. Is k(-15) a composite number?
False
Suppose -3*i = -0*i + 2*k - 12, k - 3 = 0. Suppose -i*w + 68 = -266. Is w a prime number?
True
Let x(r) = r**2 + r. Let k be x(-3). Suppose -538 = -k*g + 224. Is g prime?
True
Suppose 6*v - v = 0. Suppose 3*k = 2*t - 1 - 11, v = -k - 4. Suppose 3*z + 5*h + 0*h - 644 = t, 3*z - 2*h - 679 = 0. Is z a prime number?
True
Let w(a) = -34*a**2 + a + 1. Let l(p) = p**2 - p - 1. Let j(r) = -6*l(r) - 6*w(r). Let i be j(-1). Let v = i - -15. Is v composite?
True
Let y(k) = -k**2 + 12*k - 18. Let o be y(9). Suppose -o*a = 