 p(x) = 5*x**2 + 28*x. Let k be p(y). Is -3 + (529/6 - 2/k) a composite number?
True
Let k(i) = -53178*i + 115. Is k(-1) a composite number?
True
Suppose -347*g = -176*g - 1320633. Is g a composite number?
False
Let g(t) = 326*t. Let q(n) = 651*n + 1. Let a(v) = -7*g(v) + 3*q(v). Let y be a(3). Is ((-318)/9)/(16/y) prime?
False
Let q(a) = 433*a**2 - 34*a + 1957. Is q(40) a composite number?
False
Let m(r) = 13*r**3 - 57*r**2 - 53*r + 120. Let k(f) = 21*f**3 - 86*f**2 - 79*f + 181. Let y(j) = -5*k(j) + 8*m(j). Let h = -89 + 63. Is y(h) prime?
True
Let p(i) = -5*i + 1. Let u be (6*-1)/((-3)/(-2)) - -2. Let r be p(u). Suppose 9*q + 794 = r*q. Is q a composite number?
False
Suppose -4*z - 19825 = -z - 69286. Is z a prime number?
True
Let h = -12 + 24. Let x(u) = -24*u - 92 + 202 - 64 + 37*u - 71. Is x(h) composite?
False
Let k(n) = 5*n**2 + 6*n + 25. Let v(t) = 3*t**2 + 3*t + 12. Let m(s) = -4*k(s) + 7*v(s). Let z be m(6). Suppose -3*w = -3, -z*w + w = o - 180. Is o composite?
False
Suppose -5*m + a + 74723 = 0, -3*m - 2*a = m - 59784. Let r = m + 8948. Is r a prime number?
True
Suppose -22871 = -5*p - 2*v - 1452, 5*v = 3*p - 12870. Suppose p = 14*w - 5109. Is w a prime number?
False
Suppose 45*t - 2*t - 28244990 = -127*t. Is t prime?
True
Let x(d) = -d**3 + 97*d**2 + 329*d - 127. Is x(94) a composite number?
True
Suppose j = 6*j + 520. Suppose 0 = 4*i - 20, 4*i = -40*w + 43*w + 689. Let r = j - w. Is r a prime number?
False
Let d(p) = -p**3 + 14*p**2 - 11*p + 27. Let j = -4 + -66. Let m be (-3)/(j/55 - -1). Is d(m) composite?
False
Let j(s) = 16*s**3 - 3*s**2 + 17*s - 3. Let o be j(7). Suppose 4*y - y - o = -3*c, -2*c + y + 3650 = 0. Is c a prime number?
True
Let x(o) = -3*o - 30. Let g be x(-10). Suppose g = -4*d - 2*p + 6, -2*p - 3 = p. Suppose -1547 = -d*q + 3*n, q = -4*q - 2*n + 3820. Is q prime?
False
Suppose 2*d - d - 10603 = -2*u, -21209 = -4*u - d. Let g(m) = 1361*m + 226. Let j be g(-2). Let h = j + u. Is h prime?
False
Let v(h) = h**3 + 45*h**2 + 18*h - 43. Is v(-26) composite?
True
Suppose 3*p + 2*k - 1502 - 50599 = 0, 0 = 5*p - 4*k - 86879. Is p a composite number?
True
Suppose 320*h - 300*h = 35580. Is h prime?
False
Let l be (-1)/((-4)/(-8)) + 9. Suppose -3*m - 53 = -383. Suppose 359 + m = l*j. Is j prime?
True
Let x be (-66)/132 + (-70)/(-4). Suppose 0 = -4*s + 4, 3*p + 13*s = x*s + 917. Is p prime?
True
Let p(m) = -383*m + 21. Let c be 21/4*(-64)/24. Is p(c) a prime number?
False
Suppose 60*s - 3028011 = 3*s. Is s prime?
False
Suppose 0 = 3*l - 4*m - 47, -8*m + 4*m = 4*l - 16. Is (-1411)/(-3) - (-6)/l a composite number?
True
Is (-1 - -88)*((-587090)/(-42))/5 composite?
True
Suppose 5786 = -4*a + f - 4743, 5*a + 5*f + 13155 = 0. Let g = a - -6291. Is g prime?
True
Let w(s) = 1233*s - 259. Let u(q) = 2465*q - 510. Let t(y) = -2*u(y) + 5*w(y). Is t(12) a prime number?
False
Let v(z) = -24423*z - 8378. Is v(-19) composite?
False
Let q(m) = -108*m**2 + m. Let r be q(-12). Let a = 28165 + r. Is a a composite number?
False
Let j = 7 - -1085. Let t = 2431 + j. Is t prime?
False
Let g(h) = 49421*h - 1854. Is g(5) prime?
True
Suppose -256*a - 15108 = -258*a. Suppose -12*z = -50502 + a. Is z prime?
False
Let h(p) = 7*p**3 + 3*p + 2 + 3*p**2 - 11*p**3 - 2*p**3. Let a be h(-1). Suppose -a*n + 10*n - 2586 = 0. Is n composite?
True
Suppose 3 = 2*y - 5. Suppose 0 = 2*t - 6 - y. Suppose i + i + 241 = k, 1250 = t*k - i. Is k prime?
True
Suppose -3*d + d = -8. Suppose -d*w + 64 + 176 = 0. Suppose w*v - 57*v = 1887. Is v a composite number?
True
Let p(r) = 5*r + 25. Let l be p(-5). Suppose l = 5*i + 3*d + 273, 2*i + 2*d + 34 = -72. Is (i/(-38))/(3/118) prime?
True
Suppose -4*k + 2*z = -68, -4*k - 18*z + 17*z = -56. Suppose -14*t = -k*t + 771. Is t prime?
False
Let j = -44 + 25. Let b(p) be the first derivative of p**3/3 + 5*p**2 + 20*p + 4. Is b(j) a composite number?
False
Suppose 6*x - 30 = 0, 12*u + x - 214140 = 7*u. Is u composite?
True
Let s = 35 - 35. Let c(x) = -3*x - 16. Let o be c(-13). Suppose -j = -s*j - o. Is j a prime number?
True
Let k(v) = -v**3 - 3*v**2 + v + 6. Let q be k(-5). Let i = 56 + q. Suppose -2057 - i = -4*n. Is n composite?
False
Let u(b) = 7*b**3 - 9*b**2 - 4*b - 5. Let l be u(5). Let j = 297 - l. Let c = 879 - j. Is c prime?
False
Suppose -262*o + 2097746 = -618408. Is o a prime number?
False
Let u be 24/(-9)*36/48. Is (-111)/(u + (-71)/(-37)) a prime number?
False
Let s be (285/(-57))/(2/(-6)). Suppose -s*o + 5*o + 25790 = 0. Is o composite?
False
Let d(i) = 38*i**2 + 29*i - 919. Is d(26) prime?
True
Let x(l) = 4*l**3 - 46*l**2 + 214*l - 94. Is x(33) a composite number?
True
Is ((-1114668)/216)/((3/10)/(-3)) a prime number?
False
Suppose -8*z - 6607 = -9*z. Suppose 3*s + 4405 = 5*s + g, -2*g = 3*s - z. Is s a prime number?
True
Let c be 10 + -3*(-6)/(-9). Suppose p - 9777 = -4*k, -6*p - 19570 = -c*p - 4*k. Is p a composite number?
True
Is (24 - 1)/(-12*(-10)/1162680) composite?
True
Suppose 3 = -9*o + 10*o. Suppose -4*r + r - 986 = 4*v, 5*r + 1636 = -o*v. Is r/4*(-4 - -2) composite?
False
Suppose 36073 = 2*p + 5*g - 139718, 4*p - 3*g - 351517 = 0. Is p a prime number?
False
Let r = 9109 - -42784. Is r prime?
True
Is -43 + 43 + (-2 - 0 - -19663) prime?
True
Suppose -16*m = -190267 - 173803 + 101494. Is m a prime number?
True
Let d(v) = -v - 23. Let y be 156/(-18) - 2/(-3). Let t be d(y). Is ((310/(-25))/(-2))/((-3)/t) prime?
True
Suppose -4*k + 27 - 15 = 0. Suppose -3*f + t = -960 - 1033, 2*f + k*t = 1314. Suppose 0 = 4*c, -4*g + f = 3*c + 139. Is g prime?
True
Let k = 200321 - 98583. Suppose -15*m = -k + 14633. Is m prime?
True
Suppose 135*k - 128*k = 27853. Suppose k + 3565 = 8*o. Is o prime?
False
Suppose 42*c - t + 9948 = 43*c, 4*t = -3*c + 29846. Is c a prime number?
False
Let w be 1*(-2 + -2)*-7245. Suppose -13*b - w = -14*b. Is b/27 - 2/6 a prime number?
False
Suppose 24 = -23*o + 484. Let f(g) = 2372*g - 137. Is f(o) prime?
True
Let l(m) = 8*m - 6. Let j be l(0). Is (j - (-1817)/(-5))*-5 a composite number?
False
Suppose -187 = -4*r - 7*r. Suppose 0 = -3*u + r*s - 15*s + 3241, 4*u = -5*s + 4329. Is u a composite number?
True
Is (129/6)/((-14)/(-138796)) prime?
False
Let c = 17963 - 10360. Is c prime?
True
Is (27982/8)/(11/(69 - 25)) a prime number?
False
Let r = 2311247 + -1072966. Is r prime?
False
Suppose 11*f + f = 336. Suppose 2*h + f = 9*h. Suppose j + 429 = h*j. Is j a composite number?
True
Let j(a) = -13 - 205*a - 49 - 41 + 22. Is j(-14) composite?
False
Let k(f) = f**2 + 2*f**2 - 2*f**2 - 8*f - 2*f**2. Let t be k(-7). Suppose -2072 = -15*d + t*d. Is d a composite number?
True
Suppose 18*s = 1395307 + 1792619. Is s composite?
True
Suppose n = 5, 4*y - 5 + 13 = 4*n. Suppose -3*l - 2 - 7 = -3*p, 0 = -4*l - y*p + 9. Suppose 4*m - 2*m - 4502 = l. Is m composite?
False
Suppose -17*a - 8*a + 3304563 = 297388. Is a a prime number?
False
Suppose 3*x - 4*x + 3*p - 5 = 0, -4*x + 16 = -3*p. Suppose 8*f - x*f = 5*n - 22800, -6*f - 22775 = -5*n. Is n a prime number?
True
Suppose 0 = -3*q - 15, -2*q + 31 = 3*i - 19. Let b be (4/(-3))/(i/(-2550)). Is 1*-5*(-154156)/b a prime number?
False
Suppose -5*k = 4*q - 8, 2*q + 2 = -k - 0*q. Suppose -t = -3*i + 3*t, 0 = -i - k*t. Suppose i = -3*g + 692 - 77. Is g prime?
False
Suppose 76*s = 83*s - 35. Suppose 3*r - 2*w = 21341, -s*r + 5*w = w - 35567. Is r a composite number?
True
Let k(y) = y**2 + 22*y + 34. Let j be k(-21). Is (-68884)/(-3) - ((-78)/(-18))/j composite?
False
Is ((-58)/261)/(6/(-5344569)) a composite number?
False
Let d(h) = h**3 - h**2 - 2*h - 8. Let k be d(3). Suppose -2*s + 5*p = -11190, k*p + 0*p - 5569 = -s. Suppose -211*i + 206*i + s = 0. Is i composite?
False
Suppose -5*l = -27 + 32. Let v(h) = -4964*h**3 - 2*h**2 + 1. Is v(l) composite?
True
Let y(d) = -14*d - 7*d**2 + 0*d**2 + d - 13 - 5*d**3 - 5*d**3. Is y(-3) a composite number?
False
Suppose 673*g - 668*g - 703795 = 0. Is g a composite number?
False
Let x(j) = 2554*j**2 - 216*j - 9. Let q(u) = 5107*u**2 - 429*u - 17. Let b(p) = 6*q(p) - 11*x(p). Is b(-3) prime?
False
Let f(m) = -25560*m - 2969. Is f(-9) composite?
True
Let o = -483 + 2649. Suppose -2711 = -13*w + 8*w - 3*j, 4*w = -j + o. Is w composite?
False
Let j(u) = 1971*u**3 + 53*u**2 - 156*u + 5. Is j(3) prime?
True
Let t(d) = -156*d - 646