*a**3/6 + 6*a**2 + 13*a. Is l(12) prime?
True
Suppose -165*c = -164*c - 4. Suppose 3*s - c*x - 42134 = 31177, 3*s - x = 73311. Is s prime?
False
Let d(w) = -w**3 + 139*w**2 - 61*w - 80. Is d(111) composite?
False
Let i(h) = -h**2 + 20*h - 35. Let x be i(17). Let o = -13 + x. Is ((-4)/o)/((-6)/639) a prime number?
False
Is (36/8 - 5/(3 - -7)) + 47661 a prime number?
False
Is ((-67644)/(-24) - -1) + 1/(-4)*2 a prime number?
True
Suppose 947 = 4*u - 421. Suppose 13*j + 547 = 14*j. Suppose -u - j = -t. Is t prime?
False
Let r = 1458 - -114. Suppose 0 = -p + 16825 + r. Is p a composite number?
False
Let y be 2 + -4 - 679*-2. Let w = 725 - y. Let t = -214 - w. Is t a prime number?
False
Suppose 53095 = 21*y - 97580. Let a = -5113 + y. Is a a composite number?
True
Let y be -9 - 6/12*2 - -6. Is (0 + -1697)*y/(1 + 1) prime?
False
Suppose 13*j + 1 = 1. Suppose j = -11*b + 9105 - 2362. Is b a prime number?
True
Is 2/((-32)/34167824*-17) a prime number?
True
Let a(b) = -783*b**3 + 12*b**2 + 37*b + 273. Is a(-7) a prime number?
False
Let a be (-2)/6 + (-23678)/(-6). Suppose 3*t - 3*o + 320 = -3610, -5*o - a = 3*t. Let l = 2295 + t. Is l prime?
True
Let c(u) = u**3 + 3*u**2 + 6*u + 10. Let o be c(-2). Is o*1291 + 2/(-1 - 1) a composite number?
True
Suppose 5*o = -4*a + 188726, o = 3*a + 2*a - 235951. Is a prime?
True
Suppose 2*b - 223 = 3*y, 3*b + 5*y - 310 = 53. Suppose -111*u = -b*u + 21605. Is u a composite number?
True
Let v(j) = -j**3 + 7*j**2 + 6*j - 2. Let y be v(7). Suppose 44*p - 15396 = y*p. Is p a composite number?
True
Suppose 3821 = 3*t - 2*i, -5*i - 3423 - 392 = -3*t. Suppose -l = -t - 3346. Is l composite?
False
Let x = 70 - 66. Let p be ((-24)/9)/(4/(-6)). Is (-591 + x)*(-5 + p) a composite number?
False
Suppose -8*c = 48 - 16. Is (-5)/((-25)/15615) - c composite?
True
Is (-1675529)/(-13) - 482/(-3133) a prime number?
False
Let q(x) = 2 - 18*x**3 + 7*x**3 + 5*x**3 - 2*x + 5*x**3 + x**2. Let l be q(0). Suppose c - 4*r - 29 = 0, c - 144 = -3*c + l*r. Is c a composite number?
False
Suppose 0 = 3*y + 2*l - 1748691, -5*l + 1165805 = -46*y + 48*y. Is y a composite number?
True
Let d(m) = 1355*m**2 - 9*m - 91. Is d(5) a composite number?
False
Let n(w) = 0*w - 48*w + 1 + 12. Suppose 183*y - 196*y = 143. Is n(y) composite?
False
Let t = -272 + 282. Is (-44564 - t/5)/(-2) a prime number?
True
Let i(g) = 7*g - 66. Let t be i(10). Suppose 7*d + 17095 = 5*o + t*d, 0 = -d. Is o prime?
False
Let j = -50 + 50. Suppose 3*a = 2*k + 8231, -a + 4*a - k - 8230 = j. Is a a composite number?
True
Let x be (-453339)/(-68) + (-2)/(-8). Let z = x + -10295. Is (-4 + -4)/1*z/16 a prime number?
False
Let x = 152 - 152. Suppose 3*q - 5419 = 2*w, x = 3*q + 14*w - 15*w - 5414. Is q a composite number?
True
Suppose -2*c + 9 = -z, 66*z + 12 = c + 68*z. Let r(o) = -o**3 + o**2 - 1. Let l(i) = 8*i**3 - 3*i**2 - 5*i - 4. Let p(a) = l(a) + 3*r(a). Is p(c) composite?
True
Let w = -617549 + 1342188. Is w prime?
True
Let f(d) = d**3 - 6*d + 11. Let p be f(2). Let w(c) = c**3 - 6*c**2 - 3*c - 22. Let q be w(p). Suppose -2*n + 3*n = 5*v + 819, -q = -3*v. Is n a prime number?
True
Let v(j) = -8*j**2 - 3*j + 6. Let p = 5 + -8. Let f(m) = -8*m**2 - 4*m + 5. Let s(z) = p*f(z) + 2*v(z). Is s(4) a composite number?
False
Suppose -2*h - 3*r + 4*r + 804 = 0, -3*r + 1188 = 3*h. Let i = h + -281. Suppose -i = -4*d - 31. Is d a composite number?
True
Suppose 0 + 15 = 5*j. Let x(p) = 2*p - 18*p - 11 + p**3 - j*p + 15*p**2. Is x(-16) a prime number?
True
Suppose 18*h - 1208750 = -15764. Is h prime?
False
Suppose -5*d - 4*t + 22854 = 0, -4*t + 0*t = -d + 4590. Is (d - 2) + 140/20 composite?
True
Is (-55)/22 - 884793/(-14) a prime number?
True
Suppose 29528 = 2*v - 5*n, n + 24204 = 5*v - 49593. Is v prime?
True
Is (-9 - -807177) + 5 + -12 a composite number?
True
Suppose -7*n + 8193 = -4848. Suppose 0 = j - 2*l - n, -12 = 3*l - 9. Is j composite?
False
Let i(v) = 137*v - 159. Let o be i(20). Let l = o - 1538. Is l a prime number?
False
Let k = 14 + -10. Suppose 4*s = s - u + 29, -s + k*u = 12. Let o = s - -43. Is o composite?
True
Let c(f) = -3*f**3 - 22*f**2 + 44*f + 342. Is c(-29) composite?
False
Suppose 5*y - 2*w - 61638 - 134627 = 0, 0 = -3*y - 5*w + 117759. Is y prime?
False
Let s = 159685 + -80154. Is s composite?
False
Let b = 1969 + -1967. Suppose 0 = y + 3*u - 1 - 5, 5*y = -2*u + 17. Suppose -3*n - 195 = -y*c, c - 4*n + 75 = b*c. Is c prime?
True
Let m be (3/4)/(6/16) - -1. Let o(t) = 37*t - 2*t**m + 2 - 46*t + 0*t**2 - 6*t**2. Is o(-9) prime?
False
Suppose 22*n - 74350815 = -61*n - 82*n. Is n a composite number?
True
Let n = 859 - 516. Let a = 4588 - 4436. Let d = n - a. Is d prime?
True
Let g(j) = j**2 + 12*j - 25. Let a be g(-14). Suppose a*d - 5*d - 2 = 0. Let z(w) = 440*w**2 - 3*w - 4. Is z(d) prime?
True
Let c = -27189 + 103066. Is c prime?
False
Let p = 749 - 745. Suppose -5*y - 19304 = -p*u, -5*y + 4815 = u - 9*y. Is u a composite number?
False
Let w(d) = -d**3 + 7*d**2 + 8. Let l be w(7). Suppose -l*k + 2 = -38. Is 5526/10 + -4 + 22/k composite?
True
Suppose -2*k = -3*f + 8, 2*k + 2*f = -0*k + 2. Let x be (-1 - k)/(15/5). Suppose -7*a + 5249 + 2892 = x. Is a a composite number?
False
Let a be 3073/14*2*37. Let u = a + -4206. Is u a composite number?
False
Suppose 3*d + 2*l + 19858 = 0, -9*d + 2*l = -14*d - 33098. Let o = d + 9747. Is o a prime number?
False
Suppose -133*q = 5*d - 136*q - 597, 0 = 3*d + 2*q - 381. Is d composite?
True
Let q = 53 + -48. Suppose 4*m - 4*u - 24 = -0*u, q*m - 4*u - 30 = 0. Suppose -m*k - k + 7707 = 0. Is k composite?
True
Let m be ((-75)/50)/((-73)/(-74) + -1). Let n = -46 + m. Is 494/n*50/4 a prime number?
False
Let j = -6 + 17. Suppose 57 = j*y + 13. Let c(i) = 191*i + 23. Is c(y) a prime number?
True
Let q be -2*(-4 + 6) - -1691. Let s = q - -13516. Is s a composite number?
True
Suppose 3*y - 80 = f - 79, 5*y = -5*f - 25. Is y + 26/30 - 62153141/(-2895) a prime number?
False
Suppose -l - 4*a - 13 = 0, 7*l - 4*a - 8 = 3*l. Let i(f) = 17746*f**2 + 10*f + 11. Is i(l) composite?
False
Suppose -11*d = -13 - 31. Suppose q - 7*k - 4401 = -11*k, 17679 = d*q + k. Is q a composite number?
False
Let i = -7 + 4. Is 9254 + (-4 - i) + 4 composite?
False
Let k be 20/8*(2 - 0). Suppose -2*z + 8 = 5*g, 2*g = 14*z - 10*z + 8. Suppose k*y - 6369 = g*y. Is y a prime number?
False
Suppose p + 0*p - 614 = -l, 0 = -5*l - 3*p + 3076. Let o = 5118 - l. Suppose 0 = v - 5*w - 2392, 0 = -5*v + w + o + 7531. Is v composite?
True
Let o(z) = 31*z**2 - 3*z - 58. Let v be o(11). Let s = v + -2383. Is s a composite number?
False
Let n(r) = 539*r**2 - 83*r + 3049. Is n(30) composite?
True
Let f be 1/(6/(-48)*-1). Is (-640614)/(-54) + f/(-36) composite?
False
Let p(r) = 1408*r + 3263. Is p(33) a composite number?
False
Let v = 1510 - -6243. Is v prime?
True
Suppose 0 = 2*p - 151 - 261. Suppose 4*x - 4 = 0, -p = 3*d + 4*x - 3048. Let t = 1587 - d. Is t a composite number?
False
Let o = -8 + 5. Is (-83349)/(-84) + o/(-4) composite?
True
Suppose 5*x - 28 = -2*x. Let k be 4/14 + (-7806)/(-21). Suppose x*a - k = 3176. Is a a prime number?
True
Let w = 2939 - -3373. Suppose -z + 3238 + w = 5*y, -3*z = y - 28608. Is z composite?
True
Suppose 5*b - 4*m = 72, 0 = 5*b - 0*m - 2*m - 66. Suppose -b*q + 15*q = -4*d + 6920, 1717 = d + 4*q. Is d a prime number?
True
Let r = 770 + -17. Suppose 3*a = 9, p - r = -2*a + 159. Is (p - (0 + -1))*2/2 prime?
True
Suppose 0 + 8 = 4*r - 3*f, -4*f = 3*r - 6. Suppose 22*b = -r*b + 202632. Is b composite?
False
Let o(x) = 369*x - 1182. Is o(17) a prime number?
False
Let l(h) = 18*h**2 - 39*h - 1598. Is l(-67) prime?
True
Let m be 4/(-6) - 102/9. Let t(y) = -6*y**3 - 15*y**2 - 21*y - 41. Is t(m) a composite number?
False
Suppose 27*s + 120 = 19*s. Let t(h) = 1 - 19*h + h**2 + 5*h - 29. Is t(s) composite?
True
Let w = -438003 - -769364. Is w a prime number?
False
Is (-4)/(-6)*(-48)/160*-13835 a composite number?
False
Let j(y) = 23*y + 111. Let f be 1450/(-20)*(-4)/10. Is j(f) composite?
True
Is ((-21)/126)/((11 + -5)/(-2713572)) a composite number?
False
Let w(z) = 21303*z**2 + 147*z - 749. Is w(5) composite?
False
Is 0 + 20464/13 - 928/6032 a composite number?
True
Let f = 117076 - 30975. Is f composite?
True
Let h(k) = 82563*k + 4469. Is h(6) prime?
Fals