11 + 99 = 4*a + 4*v. Is a a prime number?
False
Suppose 9*j - 5*j + 8813 = 5*t, 3*t - 5*j - 5293 = 0. Is t a prime number?
False
Let j = 21 + -10. Let v(g) = -135*g - j + 4 - 1. Is v(-5) composite?
True
Suppose 2*m = 60186 + 8560. Is m a composite number?
True
Let g(l) = -l**2 - 3*l. Let r be g(-6). Let d be ((-98)/(-3))/((-2)/r). Suppose 4*k - d = 982. Is k composite?
True
Let y(l) = -4*l**3 - l**3 - l**2 - 53 - 6*l + 4*l**3. Is y(-13) composite?
False
Let f be 30*2*4/20. Is f/42 - (-2913)/21 a prime number?
True
Suppose -14*t = -11*t - 21. Suppose 0 = t*p - 10*p + 822. Is p a prime number?
False
Let x = -8935 - -19214. Is x composite?
True
Let l(t) = -t**3 - 20*t**2 + 58*t + 20. Is l(-27) composite?
False
Let w(t) = -t + 17. Let v be w(13). Let y(f) = 2*f**3 - 10*f**2 + 9*f - 10. Let r(q) = 3*q**3 - 15*q**2 + 14*q - 15. Let d(i) = 5*r(i) - 7*y(i). Is d(v) prime?
True
Let k be (-1)/(-5) + (-12734)/(-5). Suppose 5*z - 5*l - 3455 = 0, 3*z - 4*l - k = -474. Is z a prime number?
True
Let h(k) = 1121*k**2 + 16*k + 34. Is h(-2) composite?
True
Suppose 2*u = -2*t + 3382, -5*u + 2*t = -u - 6740. Suppose -6*q - u = -2*q + s, -3 = -3*s. Is -4*q/(-16)*-2 a composite number?
False
Let c = 40855 - 23778. Is c composite?
False
Suppose -d + 26423 = 3*f, 3*f + 5*d = 12292 + 14139. Is f prime?
True
Let n = -4171 - -6218. Let v = -1374 + n. Suppose -4*j + v + 363 = 0. Is j composite?
True
Let z = -1 - -3. Let s(y) = -47*y**3 + 2*y**2 - 13*y + 2. Let w(f) = 16*f**3 - f**2 + 4*f - 1. Let t(o) = 2*s(o) + 7*w(o). Is t(z) prime?
False
Suppose v - 1085 - 113 = 0. Is 7/(-14) + v/4 prime?
False
Let c(g) = 34*g + 2. Let s be c(2). Let q = s - -409. Suppose 3*k = 2*k + q. Is k a composite number?
False
Suppose -4 = -3*u + 4*u, 0 = -4*o - 5*u + 880. Suppose -o - 312 = -3*g. Is g a prime number?
True
Let b = 50 - 50. Suppose -2004 = -3*z - 3*p, 3*z + b*p = -2*p + 2009. Is z composite?
False
Suppose -4*b + 18 = -2*c, -4*c - 13 + 5 = -b. Let r(q) = -q**2 + 7*q - 6. Let k be r(b). Is ((-138)/(-5))/(k/15) a prime number?
False
Let d = -1748 - -2895. Suppose 3*i - 5*n = 4*i - 25, -4 = -n. Suppose -k + i*k - 3*v = 2299, v + d = 2*k. Is k prime?
True
Suppose 0 = -4*c + 15 + 5. Suppose 0 = 2*u + 1 - c. Is 118/8 + u/8 a prime number?
False
Is 4387 + 3*4*10/30 a prime number?
True
Let d = -25 - -190. Let y = d + -107. Suppose -2*x = 2*s - y, -4 + 0 = 2*s. Is x composite?
False
Suppose -2*k + s + 4*s + 34 = 0, 0 = k - 5*s - 27. Suppose 8*w - k*w - 331 = 0. Is w a prime number?
True
Suppose 9*h - 76477 = -18436. Is h a prime number?
True
Let p = -168 - -308. Let t be (-1)/(-2)*-2*51. Let f = p + t. Is f a prime number?
True
Let j = -163 + 160. Let u(h) = 150*h**2 - 5*h - 4. Is u(j) composite?
False
Let r(w) = w**3 + 8*w**2 + 6*w - 2. Let x be r(-7). Suppose -j - 674 = -2*d, 4*d - x*j - 1626 = -278. Is d composite?
False
Let b(k) = 145*k + 19. Let o = -52 + 58. Is b(o) a prime number?
False
Suppose 0 = 15*z - 11*z - 4172. Is z a composite number?
True
Suppose 0 = 2*v - 0*v - 6. Suppose 0 = -4*r + 6*r + 5*g - 825, v*g + 3 = 0. Is r a prime number?
False
Suppose 5*t - 3 = 2. Let m be 80 - (0 + t - -1). Suppose -r + m + 19 = 0. Is r a prime number?
True
Suppose -2 + 0 = -f. Suppose 4*r = -f*j + 1022, 2*r + 1279 = 7*r + 3*j. Is r/10 - (-2)/(-5) a prime number?
False
Let q = 20 + -20. Suppose -3*g = -2*r + 501, q*r = 4*r - 3*g - 999. Is r a prime number?
False
Let i = 61706 - 8227. Is i prime?
True
Let v(c) be the third derivative of c**5/20 + c**4/6 - 5*c**3/2 - 31*c**2. Is v(-6) prime?
False
Let w be (-1)/(((-18)/40)/9). Suppose -4*o - w = -9*o. Suppose -1004 = -o*p - 0*p. Is p prime?
True
Let q = -17215 + 34938. Is q a prime number?
False
Suppose -11*v + 26*v - 24855 = 0. Is v composite?
False
Let m = 5598 - -5221. Is m composite?
True
Suppose 0 = 5*l - 1521 - 3304. Suppose -21*n + 21 = -14*n. Suppose -n*y = 92 - l. Is y composite?
True
Let r = 28 - -2. Suppose -997 = -13*w + r. Is w composite?
False
Let q = -3080 - -5394. Let u = q + -1523. Is u prime?
False
Let s = -126 - -189. Suppose l + 12 = -s. Let v = l - -133. Is v a prime number?
False
Let r(n) = -2*n**2 + 3 + n**3 + 7*n - 7 - 2 - 3*n**2. Let h be r(4). Is 1*(285 - h/(-3)) a prime number?
False
Suppose -16 - 4 = -4*z. Suppose 243 = s + z*l - 998, 0 = -s - l + 1257. Is s composite?
True
Is (-2)/(-17) - (-567210)/102 composite?
True
Let o(v) = 72*v**2 + 13*v + 39. Is o(-16) composite?
True
Suppose -v - 5 = -2*o, o - 4*v - 5 = 15. Suppose -x + 3 - 1 = 0. Suppose -s - x*s - 2*w + 195 = o, -w = 0. Is s prime?
False
Let u be (6 - 2) + -2 + 1. Is (746/u)/((-10)/(-15)) a prime number?
True
Let i = -54 - -57. Is (2/i - 1)*-597 composite?
False
Is 2452 - ((0 + -5 - -9) + -5) prime?
False
Suppose -4*d - 2*w + 210341 = w, -4*w = -d + 52571. Is d prime?
True
Suppose 8*c = 3*y + 4*c - 67, 0 = y + c - 20. Suppose -3*k = 2*b - y - 0, 4*b = 3*k - 3. Suppose -3*d + k*d = 1438. Is d prime?
True
Let a(b) be the first derivative of 1 - 3*b**2 - 1/4*b**4 - 5*b + 8/3*b**3. Is a(6) a prime number?
True
Let f = -182 + 812. Suppose 2*p - f = 1684. Is p composite?
True
Let h(m) be the first derivative of -m**4/2 - 11*m**3/3 + 15*m**2/2 + 13*m + 14. Is h(-10) a prime number?
False
Let v = -2 - -6. Suppose 4*h + v = 12. Is (1 - h)/((-10)/1910) a prime number?
True
Let x(p) = 263*p + 100. Is x(21) composite?
False
Let t = -256205 + 391454. Is t prime?
False
Let o be -2 + 0 + (-7)/1. Let l(y) = y + 18. Let z(u) = -3*u - 37. Let r(w) = o*l(w) - 4*z(w). Is r(12) composite?
True
Suppose 3*l = 4*g - 1282 + 14271, 3*l = -3*g + 12975. Is l prime?
True
Let d(r) = 408*r**2 - r + 2. Let o(k) = -4*k - 27. Let x be o(-7). Is d(x) prime?
True
Suppose 0 = -0*j - 4*j - 3*w, 4*w = -2*j + 10. Is -1*(-226 - j - -2) prime?
False
Suppose 31*m - 90072 = 109537. Is m a composite number?
True
Suppose 0 = 18*m - 26*m + 68008. Is m prime?
True
Let p = 10 + -8. Let j = p - 4. Is (-22)/(j/5*1) prime?
False
Let p = -17 - -19. Suppose -850 + 86 = -p*b. Is b a prime number?
False
Let a = -45 - -57. Suppose -a*f + 6152 = -4*f. Is f a composite number?
False
Suppose -233211 = -4*h + 5*a, 17*h = 20*h + 3*a - 174942. Is h prime?
True
Let x(t) = 3*t - 15. Let u be x(6). Suppose -u*h = -757 - 227. Suppose 4*n - h = -6*c + 2*c, -4*c + 343 = n. Is c composite?
True
Suppose g + 76 = 3*g - r, 0 = -4*g + r + 154. Suppose -35*z - 1228 = -g*z. Is z prime?
True
Let z be -1 + 3 + -2 + 58. Suppose 654 = 2*m - z. Let s = 1018 - m. Is s composite?
True
Let h(p) = 171*p**3 - 20*p**2 + 71*p - 5. Is h(4) a prime number?
True
Suppose -51*i = -72*i + 99267. Is i composite?
True
Suppose -13070 - 2451 = -11*k. Is k a prime number?
False
Suppose 12624 = 5*v - 16271. Is v composite?
False
Let z(l) = 170*l**2 + 13*l - 97. Is z(6) a composite number?
False
Suppose i - 2521 = 1519. Suppose -5*a + i = 325. Is a a composite number?
False
Suppose -16*k + 11810 = 3506. Is k a prime number?
False
Let q = -18 - -22. Suppose -3*j = 9, q*c + c - j = 1298. Is c a prime number?
False
Suppose 5*i - 2*q - 9 = 0, -3*q = -5*i - 2*q + 7. Let u(z) = -54*z**2 - 4*z - 1. Let t(d) = 163*d**2 + 13*d + 4. Let o(p) = -2*t(p) - 7*u(p). Is o(i) composite?
False
Let v = 13 - 11. Suppose 160 + 40 = v*d. Let s = 174 - d. Is s a prime number?
False
Suppose -3*t - 5*w + 20856 = -0*w, 0 = -t - 4*w + 6959. Is t composite?
False
Suppose -2*q - 4*y + 16 = -q, 4*q + 3*y - 25 = 0. Let r be 1 + (6063 + 1)/q. Suppose -5*b + 1 = -4, -5*z + r = 2*b. Is z prime?
False
Let x be 1 + (1 + (-2 - -2))*0. Is 1 + 831 - -3*x a prime number?
False
Suppose -12*k + 16*k + 932 = 0. Let q = k + 61. Let y = q - -287. Is y a prime number?
False
Let y = 7 - 22. Is (-131)/(2/5 - (-11)/y) a prime number?
False
Suppose -2*b = 2*a + 3*b - 12, -5*a = 5*b - 30. Suppose 2*k = a*k - 20. Suppose v + 987 + 128 = k*j, -2*j = 2*v - 446. Is j prime?
True
Suppose -5 - 1 = -2*f. Suppose 290 = f*t - t. Is t a composite number?
True
Let v(u) = -u + 7. Let z be v(5). Suppose -z*s + 6*s = -2092. Let g = s - -934. Is g prime?
False
Let h = 10 - 5. Suppose 3*l = 3*b + 9, -2*l - h = 2*b + 5. Let w(m) = 166*m**2 + 1. Is w(l) composite?
False
Suppose 0 = -2*s - z + 1558, 2*s - 3*z - 1813 = -255. Suppose -2*k + s = -47. Let l = 736 - k. Is l a composite number?
True
Let i(w) = -2*w**2 - 5*w