
False
Let f = 247 + -229. Suppose -f*s + 29*s = 4939. Is s composite?
False
Suppose -71*j = -565986 - 9300103. Is j a prime number?
True
Suppose -3*z + 3*y + 247446 = 0, 130696 - 378162 = -3*z - y. Is z prime?
True
Suppose 57*n - 4832349 = 8720940. Is n a prime number?
False
Suppose 2*s - 2010 = 2*z - 6*z, 0 = 4*s - 5*z - 4085. Let b = 4442 - s. Is b a composite number?
True
Let w(n) = -163*n - 3. Let q be w(5). Let u = -436 - q. Is u a composite number?
True
Suppose 0 = 22*d + 20*d + 616528 - 2845426. Is d a prime number?
True
Suppose -2873 = 4*x - p, x + 738 = -2*p + 31. Let i be x/(-6)*2 + 0. Suppose -4*w + i = -3*w. Is w prime?
True
Let x(f) = -49*f + 10. Let d be x(-11). Suppose d + 288 = -3*n. Let o = n - -532. Is o a composite number?
True
Let o(c) be the third derivative of 13*c**2 - 17/3*c**3 + 0*c - 1/120*c**6 + 17/60*c**5 + 0 - 11/24*c**4. Is o(13) a composite number?
False
Let o be 12/(-10) - 23/(-115). Let l(q) be the first derivative of -39*q**4/4 - 2*q**2 - 5*q - 3. Is l(o) a composite number?
True
Suppose -812*q - 25848437 = -939*q. Is q a composite number?
False
Suppose -3*t + 503*t = 11114500. Is t a composite number?
False
Let o(g) be the third derivative of 17/6*g**3 + 17/24*g**4 + 5*g**2 + 0 + 0*g. Is o(10) a composite number?
True
Suppose 0 = -5*i, -r - 3*i = -3*r + 10. Let w = r + -3. Suppose d - 209 = -4*g, d - 5*g + 211 = w*d. Is d a composite number?
True
Let x be (2/6 - 0)*-15 + 2440. Let o = x - -2786. Is o prime?
False
Let t = 1533032 + -983751. Is t prime?
True
Let d = -1221498 - -1918925. Is d composite?
True
Is 4/7 - 0 - (-6 - 2647080/70) a prime number?
False
Let n be (-13)/(-2) - (-2 - 28/(-8)). Let p(z) = z**3 - 4*z**2 - 5*z + 3. Let g be p(n). Is -2*(-19)/2*(g - -8) a composite number?
True
Suppose 108 = 2*l + 3*j, -3*l + 3*j = l - 198. Suppose v + 17 = -4*u, -10*v - l = -7*v - 2*u. Is (-2)/v - 19920/(-34) a composite number?
True
Let p(o) = 6*o + 83. Let l be p(-11). Suppose 0 = -l*a + 29*a - 100212. Is a prime?
False
Let i(o) = 86*o + 19*o + 96*o - 10 + 39 + 598*o. Is i(8) a composite number?
False
Suppose -22*u - 100*u = 27*u - 12748291. Is u prime?
False
Suppose -5*l + 19 = -3*w - 9, 2*l - 5*w - 15 = 0. Suppose 15*s - l*s - 10 = 0. Is 23/(s/1 + 0/(-1)) composite?
False
Let i(r) = -15*r**3 - 27*r**2 + 8*r - 217. Is i(-27) composite?
False
Suppose 2*a - d - 8 = -2*d, -a + d = -4. Suppose 2*i = 5*n + 3 - 11, 53 = -5*i - a*n. Is ((-1)/3)/(i/23733*3) a prime number?
True
Suppose -8*c + 19*c = 55. Suppose 2*j + c*x + 73 = 3*j, 2*x = j - 61. Is j composite?
False
Suppose 0 = -6*p + 8*p + 16. Let j be (2/p)/(-1 - 6/(-8)). Is 50928/72*(2/4 + j) a composite number?
False
Let c(k) = 609*k + 3. Suppose z - 4*m + 1 = 6*z, 3*m + 7 = 4*z. Let v be c(z). Let s = -379 + v. Is s prime?
True
Is (327137 - 0) + 6/(-36)*0 a composite number?
True
Suppose -18*l + 10*l = -1267999 + 27911. Is l composite?
True
Let h(p) = -43082*p - 2. Let m be h(-2). Let t = m - 126187. Is t/(-15) + (-8)/(-12) a prime number?
False
Suppose -1081521 = -5*w - u, -235*w = -234*w + 2*u - 216297. Is w a composite number?
True
Is 28/4 - 9335698/(-18) - 1/(-9) a composite number?
False
Let p(q) = q + 1. Let h be p(1). Suppose 0 = g + h*n - 18, -4*n = -3*n - 5. Suppose -g*b + 725 = -3*b. Is b a composite number?
True
Let m = -100552 - -1798363. Is m prime?
False
Let z(b) = -59*b**2 + 4*b - 10. Let c(d) = -175*d**2 + 12*d - 31. Let g(w) = -3*c(w) + 8*z(w). Is g(-4) prime?
True
Let i = -1091852 + 3694911. Is i a composite number?
False
Suppose -146*x = 3*i - 142*x - 1123647, 2*x = -4*i + 1498176. Is i a prime number?
False
Let g = -468 - -463. Let a(i) = 1660*i**2 - 13*i + 14. Is a(g) prime?
True
Let t be 1801 - (-1)/1 - -2. Let b = t + -875. Is b prime?
True
Suppose 195 = 3*j - 3*b, j - 45 = 3*b + 18. Suppose 11968 = -j*f + 67*f. Suppose -5*x = p - 680 - 1698, 5*p - f = x. Is p composite?
False
Suppose -2*r = -5 - 1. Let p(w) = 3*w**2 + 9*w - 7. Let h be p(5). Suppose -2*y = -i - 1194, y - h = -r*i + 484. Is y a composite number?
True
Let y(k) = 12*k**2 - 3*k + 6913. Let r(g) = 39*g**2 - 10*g + 20739. Let l(i) = -2*r(i) + 7*y(i). Is l(0) prime?
False
Let w be 162/(-12)*(-36)/(-27). Let a(x) = -311*x - 199. Is a(w) a composite number?
False
Let a(s) = -s**3 + 22*s**2 - 30*s - 37. Let g(b) = 6*b**3 - 89*b**2 + 120*b + 148. Let j(d) = 9*a(d) + 2*g(d). Is j(14) composite?
True
Suppose -379*b + 383*b - 4576 = 0. Let l = b - -45. Is l composite?
True
Let f(q) = 18*q - 270. Let a be f(13). Is ((-14)/(-6))/(a/(-63396)) a prime number?
False
Suppose 299181 = 9*j + 22*j. Is j a prime number?
False
Suppose -20 = 131*l - 127*l. Let x(f) = 71*f**2 - 35*f + 1. Is x(l) a prime number?
True
Let a(n) = -6*n**2 + 39*n - 10. Let c be a(6). Suppose c*i + 23 - 87 = 0. Suppose -13*u = -i*u - 2215. Is u a prime number?
True
Let l(g) = -g**3 + 25*g**2 + 4*g + 3. Suppose 5*m - 22 = 43. Let q be 100/1*(39/12)/m. Is l(q) composite?
False
Suppose 64*u - 62*u - 18 = 0. Is (-5467)/(-4) + 2/72*u a composite number?
False
Let g = -179 + 181. Suppose f - 1512 = -3*f. Suppose f = h - 4*o, -3*h + 651 + 553 = g*o. Is h a composite number?
True
Let w(p) = 137*p + 4. Let n(a) = 410*a + 12. Let m(q) = -2*n(q) + 7*w(q). Suppose 0 = 2*f - f - 1. Is m(f) a composite number?
True
Suppose -51 = -u - 2*u. Suppose 5*l + 3*g = u, -2*l = -l + 4*g. Suppose 5*c = 3*d - 10364, -11*d = -9*d - l*c - 6910. Is d prime?
False
Suppose 67*m - 65*m + 5*f + 15 = 0, 0 = 2*m + 4*f + 20. Is -3 + m*(-942 + -5) composite?
True
Let t(q) = 6*q**2 + 10*q + 31. Let u = 41 + -33. Let z be (u/(-10))/((-36)/(-270)). Is t(z) prime?
False
Let q(w) = 23*w - 4. Suppose -4*s = -13*s + 567. Suppose -8*a = a - s. Is q(a) prime?
True
Suppose 0 = -367*d + 388*d - 777210 - 966231. Is d prime?
False
Suppose 0 = -17*q + 37*q - 11*q - 777321. Is q a composite number?
False
Let v(z) = 15021*z + 10711. Is v(27) a composite number?
True
Let w be (-523 + -2)*8/6. Let b = -221 + w. Is (2 + 1)/((-9)/b) a prime number?
True
Suppose 5*m = -d - 68417 + 201545, 5*d + m = 665616. Is d a composite number?
True
Suppose 431 = -4*k - 5957. Let o be k - 7/(35/15). Let t = o - -2859. Is t a composite number?
False
Let w be 1/(-4) - 80725/(-4). Suppose -64294 = -109*b + 1031483. Suppose -w = -6*l + b. Is l a prime number?
True
Let b(j) = -68*j + 69. Let x be b(4). Let t = x - -576. Is t a composite number?
False
Let x(d) = 14660*d**2 + 9*d + 15. Is x(-2) prime?
False
Is (-1032)/1290 + (-133119)/(-5) a prime number?
False
Suppose -4*b - 6284 = -3*h, 5*b + 5*h - 411 = -8231. Let y = 7490 - 5287. Let k = b + y. Is k composite?
True
Let s = 2358 - -3893. Let i = 12 - 7. Suppose -2834 - s = -i*h. Is h composite?
True
Let y be (3/(-2))/(45/(-2250)). Is (4068659/105 - 3) + (-10)/y a composite number?
True
Suppose -25114 = -i - p + 69942, 0 = -i + p + 95062. Is i a composite number?
True
Let x = 2666 + 7385. Suppose 0*z - x = -19*z. Is z a prime number?
False
Suppose -200*p = 148*p - 901545852. Is p prime?
True
Let v = -15 + 20. Suppose -5*n + 2*a + 25 = 0, 5*n - v*a = -0*a + 40. Suppose -142 + 1027 = n*d. Is d prime?
False
Suppose 18*d - 2*d = 98224. Suppose -3*b - d = -44998. Is b composite?
False
Let h(p) be the second derivative of p**4/4 + 23*p**3/6 - 7*p**2/2 - 694*p. Let t = -11 - -23. Is h(t) composite?
False
Suppose 45*t + 9*t + 108 = 0. Is (-11307443)/206*t/7 composite?
False
Let y = -42 + 44. Suppose -4*k = y*k - 12. Suppose -k*c + 351 + 75 = 0. Is c composite?
True
Let a(f) = 33*f**3 - 3*f**2 - 11*f**3 - f + 11 - 14*f**3. Is a(9) prime?
True
Let m = -149 - 53. Let g be 27*(m/(-6) - (-4)/(-12)). Suppose 0 = -3*w - 5*b + 892, -3*w + 0*b + 3*b + g = 0. Is w prime?
False
Let z(c) = -c**2 - 7. Let g(t) = -2*t**2 + t - 7. Let p(m) = -2*g(m) + 3*z(m). Let y be p(-2). Let a = 22 - y. Is a prime?
False
Suppose 10 = 3*i + t, -4*i + 4*t = -0*i - 40. Is (132775/5)/i - 6 a prime number?
False
Let s(y) = 22*y**2 + 331*y + 2849. Is s(-130) a prime number?
False
Suppose 0 = 25*n - 106 + 6. Suppose -g + 597 = 8*l - 3*l, -l = -n*g + 2346. Is g composite?
False
Let s(v) = 3*v**2 - 16*v - 5. Let g be s(6). Let d(y) = 4*y**2 + 17*y - 8. Is d(g) a prime number?
True
Suppose 0 = t - 2*j - 70393, 64*t - 69*t - 5*j + 351965 = 0. Is t a prime number?
True
Let a(s) = s**3