 226577 = 0. Is m composite?
False
Suppose 0 = 15*q - 19*q + 44. Suppose q*k = 30239 + 3960. Is k prime?
True
Let v(f) = -114*f - 28. Let i be v(-20). Suppose -3*p = p - i. Is p a prime number?
True
Let q = -17 + 15. Let f be (195 + -7)*(1 - q). Is f/8*(-2)/(-3) composite?
False
Suppose 0 = 17*l - 93765 + 20954. Is l a prime number?
True
Suppose -2*w + 1543 - 525 = 0. Let k = 1162 - w. Is k a composite number?
False
Suppose -3*q - 44216 = -2*w - 7152, 3*q + 55593 = 3*w. Is w composite?
True
Suppose -7 = 2*l - 17. Let z(a) = 16*a + 2. Is z(l) a prime number?
False
Let p(l) = -l**3 + 14*l**2 + 16*l - 19. Let s be p(15). Let x be (-4 - -10) + s + 1797. Suppose -3*g - 2998 = -5*y, -4*g + 6*g + x = 3*y. Is y composite?
False
Suppose -3*q = -4*v - 1420, -1072 - 393 = -3*q - 5*v. Suppose 4*b = -4*j + 352 + q, 20 = 4*j. Is b a composite number?
True
Let u = -22 + 26. Suppose -3*y + 2*y - 1519 = -u*q, -4*y = 2*q - 782. Suppose 3*d = 3*r - q, -4*r - 5*d = -214 - 258. Is r prime?
False
Suppose 5*t - g = -17, 7 = 2*t + 5*g + 3. Let a(r) = -116*r - 17. Is a(t) a prime number?
True
Suppose 0 = -19*w + 21*w + 4. Is (-419)/w - (-8)/(-16) a composite number?
True
Suppose -3*r = -2*s - 2*r + 1342, 4*r = 16. Is s a prime number?
True
Suppose 348 = 4*q + 2*v, 4*v = 5*q - q - 372. Is q prime?
True
Let u(k) be the second derivative of -k**4/12 + k**3/2 + 9*k**2/2 + 12*k. Let o be u(4). Suppose a - 4*p - 18 = 0, a = o*a - 3*p - 46. Is a prime?
False
Let b = -863 - -337. Let y = -934 - b. Let h = y - -755. Is h prime?
True
Suppose 4718 + 1735 = 27*d. Is d a composite number?
False
Let m(f) be the first derivative of 1019*f**4/4 - f - 14. Is m(1) composite?
True
Let m be -3 - -4 - -1 - 3. Is 6/(-8) - m - (-59566)/232 a prime number?
True
Let g(s) = 20*s**3 + 38*s**2 + s + 22. Let u(f) = 7*f**3 + 13*f**2 + 7. Let j(l) = 6*g(l) - 17*u(l). Is j(9) composite?
True
Let o = 1029 + -409. Let b = o + -57. Is b composite?
False
Let h = 27 + -24. Suppose -1756 = -4*x - m, -h*x + m + 1317 = -0*x. Is x composite?
False
Let i(w) = -564*w + 82. Is i(-5) prime?
False
Suppose 3304 = 4*w + 4*g, 2*w - g + 4110 = 7*w. Is w prime?
True
Suppose 0 = -51*b + 7*b + 33044. Is b a composite number?
False
Let j(u) = 205*u - 3. Let p(d) = -d - 1. Let f(z) = j(z) - 6*p(z). Is f(1) a composite number?
True
Suppose 2*i - i = 4*p + 109, 0 = -4*i - 3*p + 398. Let m = i + -66. Is m a prime number?
False
Let a = -143 + 37. Let r = a + 165. Is r a composite number?
False
Let j be ((-8)/(-10))/(1/(-20)). Let t = 20 + j. Suppose -t*z - 472 = -0*a - 4*a, a + 3*z = 98. Is a composite?
False
Let a(s) = s**3 + 8*s**2 + 7*s - 7. Let r be a(-7). Suppose -2*l + 4*l + 2*g - 30 = 0, -3*l - g + 35 = 0. Let b = r + l. Is b a prime number?
True
Let f(b) = b**2 - 7*b - 10. Let m be f(-5). Let w = m - 29. Is (1834/w)/(4/6) composite?
False
Let p = 20264 + -10651. Is p prime?
True
Let g(r) = r - 5. Let o be g(10). Let n(m) = m**2 - 5*m + 10. Let t be n(o). Suppose -z + 43 = -t. Is z composite?
False
Suppose 4*a - y + 6 = 3*a, -a - y = 2. Is (-1)/(a - (-11020)/2756) composite?
True
Let x(j) = 4*j**2 - 83*j - 64. Is x(-39) a composite number?
False
Let n be (-2)/(-1 + (-24)/(-20)). Let k be (n/(-3))/((-8)/(-12)). Suppose -119 = -w - u - 27, 0 = -w - k*u + 96. Is w prime?
False
Suppose -10*y + 8*y - 8 = 0. Let u(i) = -14*i**2 - i - 1. Let a be u(-2). Is a/(-4) - 1/y composite?
True
Let y be 6513/(-4) - (-3)/12. Let s = 2515 + y. Is s prime?
True
Suppose 8*n = -50 + 2. Is ((-2798)/n)/1 - 2/(-3) composite?
False
Let o be -1 + 3 - (-398)/2. Let a = 620 - o. Is a a composite number?
False
Let n(a) be the second derivative of a**4/12 - 19*a**3/6 - 11*a**2/2 + 5*a. Is n(-15) prime?
True
Let m = -5 - -15. Suppose m*w - 7096 = 2*w. Is w a prime number?
True
Is (49714/(-42) + -12)*6/(-2) a prime number?
False
Suppose 140688 = -3*y - 9*y. Is 3 - ((-10)/(-45) - y/(-27)) a composite number?
True
Suppose -h + 3 = -0*h. Suppose -z = h*z - 1084. Let i = z + -80. Is i a prime number?
True
Let z(x) = 54*x + 1. Let o be (2/(-2) + 2)/(0 - -1). Is z(o) prime?
False
Is 193711/(-63)*-6*3 a prime number?
False
Let z be (-2398)/(-99) + 4/(-18). Suppose -29*k + 6245 = -z*k. Is k composite?
False
Let t(k) = k**3 - 3*k**2 + 3*k - 7. Let j be t(10). Suppose 623 + j = 2*p. Is p composite?
False
Suppose -f - 3*f + 35844 = 0. Let j = f - 4054. Is j prime?
False
Let y(x) = -x**2 - 17*x - 16. Let d be y(-15). Is 470/20*(d - 0) composite?
True
Let p(a) = 30*a**2 + 12*a - 53. Is p(-13) a prime number?
True
Let y(x) be the second derivative of x**5/20 - 5*x**4/12 - x**3/6 + x**2/2 + x. Let i = 174 - 168. Is y(i) a prime number?
True
Let r(w) = -1 - w + 1 - 156*w**3. Let x(i) = 16*i + 95. Let j be x(-6). Is r(j) composite?
False
Let c be (0/(-5))/((-4)/(-2)). Let j be (6 - 3) + c + 21. Is 3166/8 - 18/j a composite number?
True
Suppose 5*y - b + 2456 = 0, -5*y + 4*b - 2*b = 2452. Let a = y - -1193. Is a a prime number?
True
Let z = 45 + -42. Suppose -4*v - 3258 = -2*p - 0*v, -z*v = -3*p + 4902. Is p a composite number?
True
Suppose 2*o - 3 = -5. Let d be (-2 - o)/((-7)/154). Let t = -9 + d. Is t a composite number?
False
Let b = -31 + 121. Let g = -140 + b. Let r = g + 93. Is r composite?
False
Let v(p) = -p + 12. Let i be v(7). Is (-5414)/(-2) - 0*i/(-25) prime?
True
Let n = 6126 + -3215. Is n composite?
True
Let f(w) = 5*w**3 - 3*w**2 + 15*w - 27. Is f(8) prime?
False
Let m(j) = j**2 + 2*j + 4. Let n be m(-2). Suppose 0 = 3*s + n*q - 1171, 1211 = 3*s - q - 3*q. Is s composite?
False
Let x(j) = -j**2 + 3*j + 1357. Is x(0) a composite number?
True
Let r = -130 + 140. Suppose -4*c + 12112 = 4*i, 15149 = -5*c + r*c - 4*i. Is c a prime number?
False
Suppose -4*z = 4*f - 16 + 4, 0 = f - 4*z + 2. Is (-4)/4 + f - -984 a composite number?
True
Let r be (-1 + 6)/(5 + (-5103)/1022). Suppose -5*b = -r - 2725. Is b a prime number?
True
Let s = -14 - -22. Suppose -s*l + 308 = -4*l. Is l composite?
True
Suppose -2*u + 6 = -34. Suppose 0 = -17*r + u*r - 177. Is r prime?
True
Let c(t) = -14*t - 40. Let h be c(13). Let n = -80 - h. Is n prime?
False
Let c = 4597 - 3212. Is c prime?
False
Suppose -5*s + 7 = -23. Suppose l - s - 123 = 0. Is l a composite number?
True
Let r = 360 + -226. Let m be 2/7 - 12/(-7). Is (-8)/(-32)*m*r prime?
True
Suppose -2*w - 9*u + 7542 = -5*u, -3*w + 4*u + 11353 = 0. Is w a prime number?
True
Suppose 2*o + l - 855 = -295, 5*l + 548 = 2*o. Suppose 6*k - 3*k = o. Suppose -6*d + 9*d = k. Is d a prime number?
True
Let m(o) = 6*o + 11. Let d be 2/(-6)*2*-9. Let x(i) = -7*i - 10. Let u(h) = d*x(h) + 5*m(h). Is u(-4) composite?
False
Let f = 1514 - 900. Suppose -f = -2*a + 5*p, -2*a + 243 + 365 = -2*p. Is a composite?
True
Let l(q) = -11*q - 30. Let w(t) = -12*t - 31. Let u(s) = 7*l(s) - 6*w(s). Is u(-26) a prime number?
False
Let q(p) be the third derivative of 7*p**5/10 + 7*p**4/24 - 2*p**3 + 14*p**2. Is q(5) composite?
True
Let h = 1 - -12. Suppose -5*s + 12 + h = 0. Suppose -n - s*r = -361, -2*r = -0*r + 8. Is n prime?
False
Let k be ((-81516)/(-60))/(3/15). Suppose 0*c = 5*a - 4*c - 34023, -a - 5*c = -k. Is a prime?
True
Let y = 3817 - -4704. Is y composite?
False
Suppose -3*x = 2*x. Suppose x*l - l + 4 = 0. Is (-1)/(249/63 - l) a prime number?
False
Let j = 31 + -36. Let f = j + 8. Suppose f*t + 2*a - a = 2942, 0 = -5*a + 25. Is t prime?
False
Let a = 43 + 406. Suppose -4*q - 4*c = -91 - 365, 3*c = 4*q - a. Is q a prime number?
True
Let d(r) = -1317*r - 13. Is d(-22) prime?
True
Let y(l) = 73*l**2 - 4*l - 70*l**2 - 7*l + 360*l**2 + 5. Is y(-4) a composite number?
False
Let w = -6 - -229. Is w prime?
True
Suppose -4*b = -1 - 11. Suppose p = 2*g - 1170, 0 = b*g - 2*p - 295 - 1458. Is g a prime number?
True
Suppose -28*j + 133131 = -91121. Is j composite?
False
Let i(s) = 6655*s**3 - 2*s**2 + 11*s - 13. Is i(2) a prime number?
False
Suppose 0 = 3*k - 8*k. Suppose 5*s - 38 = -y, k = s + 3*y - 5 + 3. Is 6/(-3)*(-356)/s prime?
True
Suppose -5*f = -11*f. Suppose f = -p + 554 + 277. Is p prime?
False
Let g = -52 + 33. Suppose 0*o - 2*v - 72 = -o, o + 4*v = 78. Let c = g + o. Is c a composite number?
True
Let j be (6/(-9))/((-2)/501). Let w(z) = z**2 + 27*z - 28. Let h be w(-28). Suppose -2*v + j + 87 = h. Is v a composite number?
False
Let y = -26804 -