False
Let m(k) = 7*k**3 - 4 + 20*k**2 - 6*k**3 - 11*k + 25*k. Let o be 280/(-15) + 2/(-6). Is m(o) composite?
True
Suppose 2*q - 51*q = -2701223. Is q a composite number?
False
Let y(o) = -200895*o + 2065. Let x(k) = -292*k + 3. Let t(m) = 2065*x(m) - 3*y(m). Is t(-1) prime?
False
Let r(p) = 107*p - 20. Let z(n) = 5*n**3 + n**2 + n + 1. Let h be z(-1). Let d(u) = 53*u - 10. Let a(b) = h*r(b) + 7*d(b). Is a(-5) prime?
False
Let s = -40 - -43. Suppose 0 = -s*o, 3*v - 2*o = -196 + 1315. Is v a composite number?
False
Suppose 91462 = 35*i - 21*i. Is i a prime number?
False
Let s be (-1)/((-4253)/(-1063) - 4). Let l = -757 - s. Let q = -149 + l. Is q prime?
True
Suppose -159*v = -154*v - 15. Let j be 1460 + (1 - 0)*1. Suppose j = v*c + 114. Is c a prime number?
True
Let y(t) = 21*t**3 + 5*t**2 + 3*t - 6. Let r be y(-5). Let x = r + 4478. Suppose 5*l - x + 432 = 0. Is l a prime number?
False
Let c = -351368 - -531147. Is c a prime number?
True
Let r(b) = 5*b**2 - b - 9. Let i(s) be the third derivative of -s**5/60 - s**4/24 + 4*s**2. Let o(d) = -2*i(d) + r(d). Is o(-5) composite?
True
Is (5/(60/(-71958)))/((-7)/14) prime?
False
Suppose 20199 = 3*g - 5*j, -1859 = -2*g + j + 11607. Is g composite?
False
Let p = 3838 + 4869. Is p prime?
True
Let a be 0/((-8)/6*36/(-24)). Suppose 3*x - 4*m - 5385 = 0, a*m + 3601 = 2*x + m. Is x prime?
False
Let i(g) = -4*g**3 - 9*g**2 + 9*g - 3. Let b = 23 - 31. Let s be i(b). Suppose w - 328 = 5*d, 4*w - 3*d - s = -0*w. Is w prime?
True
Let n = -5 - -10. Is (-1 + n + 2217)/1 a composite number?
False
Let l(q) = q**2 - q - 5. Let c be l(0). Let a(n) = 7*n**2 - 3*n - 11. Is a(c) prime?
True
Suppose -47*y + 55*y - 86896 = 0. Is y a prime number?
False
Suppose -3*a + 2 = -2*a. Suppose -434 = -a*p - y, -5*p = -2*y + 5*y - 1084. Is ((-6)/12)/((-1)/p) composite?
False
Let f(b) be the second derivative of 11*b**4/6 - 4*b**3/3 - 19*b**2/2 - 18*b. Is f(-9) composite?
True
Let z(u) = -2*u - 9. Suppose 0 = b + b + 16. Let q be z(b). Suppose 0 = -3*j + q*j - 488. Is j a composite number?
True
Let w(h) = 5*h - 5. Let c be w(-2). Let t be (-3)/(c/3 - -2). Is ((34 + 4)/2)/t prime?
True
Suppose -4*o + o = 18. Let u(y) = y**3 + 7*y**2 + 6*y. Let j be u(o). Suppose 2*k + j*k + 4*m = 590, -5*m = 0. Is k prime?
False
Let w = 117 - 31. Suppose -w - 181 = -q. Is q prime?
False
Suppose 3*x - 3 = 21. Suppose x*a = 4*a + 172. Is a a prime number?
True
Let h(f) = 1 - 3*f**2 + 0 - f**3 - f + 2. Let q be ((-700)/(-30))/(-10) + (-2)/3. Is h(q) a prime number?
False
Suppose 0 = 5*u + 5*n - 9885, -u - 3*n + 9877 = 4*u. Is u a prime number?
True
Let n(r) = -2*r**3 + 15*r**2 - 23*r - 6. Let z(t) = t**3 - 8*t**2 + 11*t + 3. Let l(d) = 2*n(d) + 5*z(d). Is l(11) prime?
True
Let p(b) = 31*b**2 - 40*b - 406. Is p(-23) prime?
False
Suppose 0 = -w + 2*a + 6909, 0 = 4*w + 2*a - 4*a - 27624. Is w composite?
True
Let g = 13 - -4. Suppose -g*f + 1535 = -12*f. Is f prime?
True
Let w = 7155 + -4956. Is w a prime number?
False
Suppose 36*r + 26*r = 1451978. Is r a prime number?
False
Suppose -1181 = -2*g - 5*l, -3*l - 20 = l. Suppose -4*n + 1259 = 2*j - g, n = 2*j - 1877. Suppose 0 = 3*a - z - z - 563, -3*z = -5*a + j. Is a prime?
False
Let g(s) = -9*s - 2. Let x(c) = -c + 1. Let b(h) = -g(h) + 5*x(h). Is b(9) prime?
True
Suppose 0 = -5*r - g + 4*g + 47, -3*r + 25 = -g. Let x(m) = 3*m**2 - 9*m + 2. Let o be x(r). Suppose 0*t = -t + o. Is t a composite number?
True
Let y be 191 + (0 - 12)/3. Let s = 274 - y. Is s composite?
True
Suppose -1043833 = -34*p + 406845. Is p a composite number?
False
Suppose -133*n + 382 = -131*n. Is n prime?
True
Let y(o) = -3*o**2 + 2*o - 6. Let k be y(-6). Is (-4)/14 - 3/(k/48354) composite?
False
Suppose 0*y - 592 = -2*y. Is y/(16/4)*1 a composite number?
True
Suppose 0*a = 5*a - 20. Let i(k) be the first derivative of 68*k**2 - 6*k - 16. Is i(a) a prime number?
False
Let x(j) = 39*j + 851. Is x(14) prime?
False
Let k be 64/3*(11 + (-3)/(-3)). Let t = k - 141. Is t composite?
True
Let i(o) = o**3 + 7*o**2 + 8*o - 8. Let j be i(-5). Suppose 2*p + 2*p = 3828. Suppose -4*l = -3*d + p, j*d - 7*d = -3*l - 1595. Is d prime?
False
Let l = -842 - -1874. Suppose 5*q - 1137 = 4*y + l, -2*q = y - 878. Is q a prime number?
False
Suppose 393*s - 379*s - 644 = 0. Is s prime?
False
Let f be -1 - 0/((-4)/2). Let b be (-24)/18 + f/(-3). Is -3 + (-3 - b - -168) a prime number?
True
Let i be 3/(-2)*24/(-18). Suppose 0 = -l - 5, i*h - 115 = l - 0*l. Let j = 90 - h. Is j prime?
False
Suppose 3*q - 2*p = 13 + 3, 2 = q + p. Suppose -b - q = -10. Is (2/b)/(2/654) a prime number?
True
Let p(q) be the second derivative of -q**4/12 - 4*q**3/3 - 7*q**2/2 - q. Let a be p(-6). Suppose -n = -a*n + 28. Is n composite?
False
Let n = 32 + -29. Suppose -v + 1280 = i, 0*v = -v + n*i + 1292. Is v prime?
True
Let v = -1708 + 2847. Is v composite?
True
Suppose -w = -0*w - 42. Let f = w - -19. Is (-2 + f)/((-2)/(-2)) prime?
True
Let x = -3985 + 10194. Is x a composite number?
True
Let r(u) = -u**3 + 4*u**2 - 34. Let y be r(-12). Let o = 1359 + y. Is o a prime number?
False
Suppose 0*l = 5*l - 20, 4*s - 20 = -2*l. Let h be 31 - 1 - s - 3. Is (-268)/(-3) - 8/h prime?
True
Let g(j) = 11*j**2 - 4*j + 8. Let i = 8 - 52. Let a be i/(-10) + (-18)/(-30). Is g(a) prime?
True
Let x(n) be the first derivative of 2*n**4 + 2*n**3/3 + 3*n**2 + 7*n + 4. Is x(5) a prime number?
True
Suppose -3*w + 2*u + 15 = -u, 0 = 2*w - 4*u - 10. Suppose 2*a = v + 232, -w*a - 321 = 2*v + 152. Let y = v + 411. Is y prime?
False
Let t = 3918 - 657. Is t prime?
False
Is 887915/69 - 4/(-6) composite?
True
Let w = 35 + -29. Suppose 899 = w*y - 14227. Is y a prime number?
True
Let j be ((-1)/(-1))/((-2)/(-3160)). Suppose -4*i + 4 = h, 10*i - 5*h = 15*i + 10. Suppose -1270 = -4*q - 2*l, 5*q - 3*l - j = i*l. Is q composite?
False
Let m(w) = -5*w**3 - 9*w**2 - 66*w - 11. Is m(-5) prime?
True
Suppose 5*t = -3*x + 30, 2*x - 11 = -5*t + 14. Suppose -2*g + 6718 = -t*z, -3*z = -4*g + 15628 - 2180. Is g a composite number?
True
Suppose 2*m + 12*h - 142610 = 0, 213955 = -20*m + 23*m - 2*h. Is m a composite number?
False
Let x be 0*(2 + 2 + -5). Suppose 2*y + 0*c - 7004 = -2*c, 5*c - 15 = x. Is y prime?
True
Let h be ((-2452)/(-8) - 0)*4. Let q be h/(-26) - (-8)/52. Let a = q + 196. Is a composite?
False
Let y(n) = -n**3 - 2*n**2 - n - 2. Let z be y(-2). Suppose 3*a - 23 + 57 = -4*r, 5*a + 4*r + 46 = z. Is (158/a)/((-3)/9) a composite number?
False
Let o(q) = -q**3 - 13*q**2 + 12*q - 19. Let l be o(-14). Suppose -l*m + 5*m = -260. Is m a composite number?
True
Let u = 19168 + -12495. Is u composite?
False
Let x(z) = -867*z**3 + 5*z**2 + 6*z + 3. Is x(-2) prime?
True
Let z = -10 + 6. Let o be (11/(-1))/(z/20). Suppose -u + o + 66 = 0. Is u prime?
False
Suppose 0 = 2*m - 4*m + 10. Suppose -m*n + 3247 - 470 = 4*l, -5*l - 2750 = -5*n. Is n composite?
True
Suppose -8*g = -134 - 730. Suppose 8*p - 1796 = -g. Is p prime?
True
Let j(q) = q**3 - 5*q**2 + 5*q - 2. Let o be j(4). Suppose o*l = 4*l + 8. Is 2/(l/(-616)*4) a prime number?
False
Suppose -5*k + k + 8 = 0. Let q be (-1 - 4) + 4 + 1. Suppose 0 = -5*v - q*x + k*x + 723, -2*x - 8 = 0. Is v a composite number?
True
Is ((-4)/(-4))/(9/17271) composite?
True
Let l(z) = 3*z**2 - 40*z + 26. Is l(-44) a prime number?
False
Suppose d = 1, 0 = g - 4*d - 30336 - 13579. Is g composite?
True
Is 7*1/14 + (-2450)/(-4) a composite number?
False
Let p(r) = -131*r**3 - 4*r**2 - 3*r - 3. Is p(-4) a composite number?
False
Suppose 4*c = -4*h + 6936, -2*c - 2*h = h - 3469. Is c composite?
False
Suppose 6*y - 60 = 2*y. Let p be 333/y - (-2)/(-10). Suppose 0 = 4*x + 3*a - p, -2*x - 43 = -7*x + 4*a. Is x prime?
True
Suppose -v - 2*a + 4 = -0*v, 0 = 3*a - 3. Suppose -3*y + 83 + 832 = 0. Suppose -v*g = -g - y. Is g a composite number?
True
Suppose -23*z + 3*f = -27*z + 15235, -15232 = -4*z - 4*f. Is z a prime number?
False
Let q(z) = 102*z**2 - 12*z - 1. Is q(-4) composite?
True
Let d(o) = o**3 - 3*o**2 - 3*o + 6. Let w be d(4). Let f(v) = 2*v**2 - 8*v + 5. Let n be f(w). Let q = n - 72. Is q a prime number?
True
Suppose 0 = 3*x - 77629 - 4268. Is x a prime number?
True
Suppose -12 = -4*n, -4*x + 4*n = 2*n - 1694. Suppose -3*z + 85 + 345 = 5*g, -5*g - 4*z + x = 0. Is g prime?
True
Suppose -4*k -