 m(f) = 53*f**2 - 28*f - 268. Is m(35) a composite number?
True
Let h = -177 - -178. Is ((-159676)/(-66))/(h/(-3) - -1) a prime number?
False
Let t be (1 - (3 + (-5 - -2)))*9. Is 8318 - (-9 + 4 + t) a prime number?
False
Let l be (-458)/4*138/(0 - -3). Is 5 + 3/(-9)*(l + -4) a prime number?
False
Suppose 3*y + 47814 = 9*y. Let i = -5192 + y. Is i a prime number?
True
Let j be (22/22)/(2/15932). Suppose 4*m + 4*y - 16286 = j, 2*y = 4*m - 24276. Is m prime?
True
Suppose -5848072 = t - 6*t + 3*o, -1169606 = -t + 2*o. Is t a prime number?
False
Let c be (1 - 10)/(3/(-1)). Suppose -c*s + 5*n = -523, 140 = 3*s - 4*n - 378. Is s prime?
False
Is 627649 + -416 - 6/1 a composite number?
False
Suppose 2*b + 2*v - 5 = -v, 4*v + 16 = 3*b. Suppose -5*n = -3*o - b, -5*n + 8 = -4*n + 3*o. Suppose 2*z + 0*z - 44 = 2*y, 0 = z - n*y - 22. Is z composite?
True
Let o(a) = 164*a**2 + 2*a - 6. Let i be o(4). Suppose 2*p = -2*r + 4336, -5*p + i + 6041 = 4*r. Is r composite?
True
Suppose 45*a + 5*l = 47*a - 85048, 85046 = 2*a - 4*l. Is a a composite number?
True
Let n(v) = 453*v**3 + 4*v**2 - 3*v + 2. Let p be n(3). Suppose -2*a = 2*a + 4*d - p, 0 = -a - 5*d + 3049. Let u = 4322 - a. Is u composite?
True
Let m = 37 - 32. Suppose -m*o = 3*y - 21134 - 4808, 0 = -5*o - 4*y + 25941. Is o a prime number?
True
Let u = 309892 - 178893. Is u composite?
True
Let u be 40/32 - (2 + 69/(-12)). Suppose -u*z = -w - 8286, -4969 = 2*z - 5*z - 2*w. Is z a prime number?
True
Suppose 0 = -4*i + 5*s + 171, 5*i = -2*s + 143 + 46. Is i/117 + (-1 - (-8441)/3) a prime number?
False
Suppose 4273 = 4*v - g, -28*v + 4*g + 2154 = -26*v. Is v a composite number?
True
Suppose -n = 2*t - 278327, 3*n - 108*t + 109*t = 834966. Is n composite?
False
Let q(t) = 3*t**2 + 225*t - 73. Is q(78) composite?
False
Suppose 10*s = -13 + 73. Is (17 - 20)/(s/(-13628)) a prime number?
False
Let q = 11583 + 2858. Is q composite?
True
Let u(h) = 252*h**2 + 2*h - 6. Let k be u(-7). Suppose -3*t = -k - 12638. Suppose -12*o + 32670 = t. Is o a composite number?
False
Let l = -56 - 25. Let b = l + 84. Suppose 3*k - 1277 = -f, -5124 = -4*f - b*k - k. Is f composite?
False
Suppose 5*n - 5072 - 1253 = 0. Suppose 4*u - k = n, -4*u + 4*k + 1194 = -62. Suppose 0 = -2*s - 3*m + u, 3*s + 2*m - 457 = 16. Is s composite?
False
Suppose -6*a + 704995 - 47269 = 0. Is a prime?
True
Suppose 5*w + 46 = 2*c, 11 + 5 = 4*w. Let j be c/9 + (-10)/15. Suppose -j*m - 2*o = -171, -3*m + 5*o + 121 + 71 = 0. Is m prime?
True
Suppose 9*w - 411427 = -121729 + 494895. Is w composite?
True
Let p be (-2)/(-3)*(324/(-8) + 6). Let z(y) = 3*y**2 + 102*y + 81. Let o(n) = 2*n**2 + 68*n + 54. Let a(c) = 7*o(c) - 5*z(c). Is a(p) composite?
True
Suppose -10 = -2*q - 4. Let z(u) = -u**3 - 9*u**2 - 21*u - 20. Let f be z(-6). Is (5/q + -2)/(f/1266) a composite number?
False
Suppose 0 = 2*k - 4*u - 77982, 148*k - u + 116980 = 151*k. Is k composite?
False
Let m(v) be the third derivative of v**6/24 - v**4/12 + v**3/6 - 21*v**2. Let n be m(1). Suppose -2*x - d = -374, -4*x = -5*x + n*d + 187. Is x composite?
True
Is (36259167/(-98))/(18/(-12)) prime?
True
Let r = -168 - -160. Let g(d) = -d**3 - 6*d**2 + 8*d + 27. Is g(r) composite?
True
Suppose 0 = -5*r - k - 35, 0*k + 3 = 2*r - 3*k. Suppose -2 = -b + 1. Is 161 + b/((-9)/r) prime?
True
Suppose -2*w + 2*x = -16 + 6, -5 = -5*x. Let a(t) = 9*t**3 - 6*t**2 - 3*t - 6. Let h be a(5). Suppose -w*u + h = 3*u. Is u a prime number?
False
Let j = -17 + 19. Suppose -p = j*p + 1038. Let w = 791 + p. Is w prime?
False
Let q be (-60)/(-14) - 56/196. Let a be (q/(-6))/((-13)/78). Suppose 5*m - a*u - 8367 = 514, -m = -5*u - 1772. Is m a composite number?
False
Let o = -584 + 584. Suppose o = -3*f + 2*f + 2*l + 679, 5*f - 5*l = 3370. Is f composite?
True
Let u(n) = -4*n**3 - 29*n**2 + 3*n - 53. Let y(j) = -7*j**3 - 60*j**2 + 5*j - 106. Let r(l) = -7*u(l) + 3*y(l). Is r(12) prime?
False
Let q be 1*(4 - -67 - 5). Suppose 61*c + 4390 = q*c. Is c a prime number?
False
Let v(c) = 6*c**3 + 11*c**2 + 8*c + 10. Let z(f) = 5*f**2 + 16*f**3 - 3*f**3 + 4*f + 5 - 10*f**3. Let t(x) = 4*v(x) - 9*z(x). Is t(-4) composite?
True
Let k(b) = -b**3 + 7*b**2 + b - 7. Let f be k(6). Suppose -f + 5 = 5*d. Is (-8866)/d + (-2)/3 prime?
False
Let x = 168 - 253. Let c = 1098 - x. Let a = 1766 - c. Is a composite?
True
Let p = 117301 - -12190. Is p composite?
False
Suppose -779*v = -775*v - 333448. Is v a prime number?
False
Suppose -3*i = -m - 31422, 1343*i = 1341*i + 4*m + 20948. Is i composite?
True
Suppose 11*a + 718153 = 2*i - 167815, 3*i = 3*a + 1328871. Is i composite?
True
Let i(g) = -2*g**3 - 43*g**2 + 92*g - 222. Is i(-37) composite?
True
Let s = 91290 + 23117. Is s composite?
False
Suppose -63*u + 67*u - 2*x = 52060, 0 = -6*x - 48. Is u prime?
False
Let f be (2 + 0/(-4))*-1. Let r be (3/f)/(51/(-272)). Suppose 2*o - r = 0, 4*v = 3*o - 580 + 3188. Is v composite?
True
Suppose 64878 = -7*h + 40*h. Let q = 8903 + h. Is q a prime number?
False
Let p be 1 + 47 + (-3 - -4). Let k = p + -44. Suppose -k*j + 976 - 81 = 0. Is j composite?
False
Let a(l) = 6*l**3 - 4*l**2 - 3*l + 51. Let b(o) = 2*o**3 - o**2 + o. Let i(z) = -a(z) + 6*b(z). Is i(8) a composite number?
True
Let m be 4 - (-6)/(-2) - 1. Let h be (m - (-8)/(-20))*-5. Suppose -4*l + i = h*i - 999, -2*i = 10. Is l prime?
True
Let y(s) = 6*s - 32. Let n be y(5). Is 25380/150 - ((-2)/5)/n prime?
False
Suppose 58*w = 798350 + 6775232. Is w a prime number?
True
Is (-3551030)/(-7) + -2*16/32 prime?
True
Let l(o) = -2*o - 9. Let a be l(-4). Let v = a + -1. Is v/(-8) + 9186/72*3 a prime number?
True
Let c be ((-6)/5)/(60/4350). Let m = c - -578. Is m composite?
False
Let o(n) = 23518*n**2 + 98*n + 23. Is o(-4) a prime number?
False
Suppose -2*x + 1356 = 2*l - 484, -l - 2*x = -921. Suppose 0*p = -3*p - 2*j + 16, -j = 2*p - 10. Suppose p*a = -107 + l. Is a a prime number?
False
Is (7/(-14))/(5*1/(-1128110)) composite?
True
Let j(n) = 2194*n**2 - 121*n - 2774. Is j(-17) prime?
False
Let j = 4 - 2. Let t(b) be the third derivative of b**5/12 + b**4/24 - 323*b**2. Is t(j) a prime number?
False
Let u be (20556/90)/(1/15). Let h = u - 1932. Suppose -h + 5533 = m. Is m prime?
False
Is 1063719/(-6)*(-102)/459 a prime number?
True
Let z(a) = 6*a + 24. Let c be z(-4). Suppose -3*f + 2593 + 2261 = c. Is f prime?
False
Suppose 4*t - 3*z - 1563827 = 0, 4*t - 8*z + 6*z = 1563822. Is t a prime number?
True
Let n = -47766 - -204313. Is n composite?
True
Suppose -3*f - 900 = -4*p + 2*p, p - 600 = 2*f. Let r = f - -2472. Let z = r + 263. Is z composite?
True
Suppose h + 108802 = 3*n, -3*n - 5*h = -7*h - 108803. Suppose -10*y = -n - 32123. Is y prime?
False
Suppose 0 = -9*a - 27*a + 7494804. Is a a prime number?
True
Let f(d) = -658*d - 725. Is f(-13) a prime number?
True
Let z(s) be the first derivative of 339*s**4/4 + 2*s**3 - 4*s**2 + 2*s + 37. Is z(2) composite?
True
Let x(s) = 16 - 22 + 2*s + 44 - 6*s**2. Let u be x(19). Let o = 3475 + u. Is o a composite number?
True
Let m(x) = -13*x**2 - 4*x - 5. Let b(s) = s**2. Let u(q) = 2*b(q) - m(q). Let l(f) = f**3 + 7*f**2 - 18*f + 8. Let k be l(-9). Is u(k) a composite number?
False
Suppose 21*f - 16*f + 16010 = 0. Let g = 7905 + f. Is g composite?
False
Suppose 4*r - 20 = -5*o, -2*r - 5*o + 15 = r. Suppose -2*y = 3*y - r*p - 28970, -5*p = -2*y + 11597. Is y a composite number?
False
Let y = 118 + -187. Let o = 71 + y. Is 3 + -5 + o - -2819 composite?
False
Suppose 12 = -2*k + 22. Suppose 10 + 5 = 5*i. Suppose 2*o + k*t - 2710 = -i*o, t - 4 = 0. Is o a composite number?
True
Suppose 0 = 25*u + 26 - 76. Is 4/(-16) + (-19850)/(-8) - u composite?
True
Suppose 655 = 4*j - 158815 - 90998. Is j a prime number?
True
Let j = -2685 + 2688. Let f be ((-6)/4)/((-1)/4). Suppose f*p = 2*p - 5*m + 1731, -j*m - 2210 = -5*p. Is p a composite number?
False
Let i = 1670 - -3113. Is i a composite number?
False
Let q(o) = 89*o + o**3 - 18 - 190*o + 87*o + 9*o**2. Let w be q(-25). Is (w/(-6))/((-6)/(-9)) a prime number?
True
Suppose -2 - 28 = -6*g. Let q(b) = -9*b + 0*b + 2*b + 15*b**2 + 0*b + 13. Is q(g) a prime number?
True
Let o = 1519 + 3050. Let k = o + -1282. Is k a composite number?
True
Let o(b) = 5*b**2 + 3*b + 6. Let f be ((-2)/6)/(((-14)/12)/(-7)). Let h be o(f). Suppose 0 = -2*y - 