p(f) = 2*f**2 + f + 1. Is p(6) a prime number?
True
Let g = -93 - -130. Suppose 5*a - 132 = -g. Is a composite?
False
Let i = 265 - 54. Is i prime?
True
Let i(f) = -f**3 + 86. Let h be i(0). Let s = 165 - h. Is s a composite number?
False
Suppose -2*k = -2*g + 2*k - 20, -2*k + 4 = 2*g. Let c be 279/15 - g/5. Let h = c - 5. Is h a prime number?
False
Suppose 40 = 5*p - 5*g, g = -4*p - 8 + 25. Suppose -p*w + 4*a + 5 = -2*w, -2*w + 3 = -3*a. Suppose -w*k + 4*k = 11. Is k prime?
True
Let z be (10/6 - 2)*327. Let i(m) = 51*m**2 - 4*m + 2. Let n be i(2). Let o = z + n. Is o prime?
True
Suppose -2*a = 2*a - 544. Suppose -4*f + 258 = -5*c, -c + a = 2*f - 0*f. Suppose -f = -3*x + 32. Is x a prime number?
False
Let o(h) = 0 - 2 + 2*h + 5*h. Suppose 0 = z + 4*z - 25. Is o(z) prime?
False
Let a(h) = 23*h**3 - h. Is a(1) prime?
False
Let j(t) = 319*t**2. Let o be j(-1). Suppose -4*h = -685 - o. Is h a prime number?
True
Let u be 70*((-2)/(-4) + 0). Suppose -u = -5*y - 170. Let r = -18 - y. Is r a composite number?
True
Let v(i) = i**3 + 4*i**2. Let a be v(-4). Suppose a*l + 3 = l. Suppose -l*g + g - w + 285 = 0, -4*g - 5*w = -567. Is g prime?
False
Suppose 2*g + 0*g = 6. Suppose -7*w + 148 = -g*w. Is w a composite number?
False
Suppose -2*b + 0*b = -2. Suppose b = c - 2. Is (-942)/c*(-1)/2 a prime number?
True
Suppose 2*x - 232 = 14. Suppose 3*s - x = 42. Is s composite?
True
Suppose 47 = 4*i + 3. Is i composite?
False
Let g(o) = -o - 1. Let c be g(-4). Suppose 2*t + 5*n + 41 = 0, c*n - 9 = 6. Let k = t + 56. Is k prime?
True
Let z(m) = m**2 - 11*m - 11. Let k be z(10). Is 14/k - (-406)/6 prime?
True
Let q be ((-4)/(-12))/((-1)/(-12)). Suppose -l + q*b - 367 = -2*l, 0 = -5*l - 2*b + 1781. Is l composite?
True
Let v(i) = 3*i + i**2 + 0*i**2 + 6 + 1. Suppose 0 = -5*z + 1 + 19, -3*m - 3*z = 9. Is v(m) a composite number?
True
Let g(s) = -15*s**3 - s**2 - s - 1. Is g(-1) a composite number?
True
Suppose 3*y + 7 = 1. Let j = y - 1. Let s(n) = -4*n - 2. Is s(j) a composite number?
True
Suppose -5*k - 3*z + 1000 = 2*z, -5*z - 407 = -2*k. Suppose 0*v + 3*v - k = 0. Is v a prime number?
True
Is (-2)/(-12) + (-60170)/(-60) composite?
True
Suppose 4*t + 10 - 30 = 0, -646 = -3*j + 4*t. Let v = 13 - 8. Suppose v*i - j = 163. Is i a composite number?
True
Let y be 2/(-6) + 19/3. Suppose 0 = y*q - 7*q + 85. Is q composite?
True
Suppose 3*m + t = 4*t + 5772, -m = 4*t - 1939. Is m prime?
False
Let r(m) = m**3 + 9*m**2 - 11*m - 8. Let z be r(-10). Suppose -z*y + 36 - 6 = 0. Is y a composite number?
True
Suppose w - 77 = -4*t, -2*t + 14 = 4. Is w prime?
False
Let l(m) = 2*m - 5. Let d be l(4). Suppose d*p = p + 62. Is p a composite number?
False
Let m be 2*(-3)/(-4)*2. Suppose -2*y - 471 = -m*n, 4*n = y + 4*y + 628. Is n a composite number?
False
Let k(q) = q**3 - 16*q**2 + q + 21. Suppose 0*w - 35 = -2*w + 3*j, -3*w = -j - 49. Is k(w) composite?
False
Suppose -5*n + 3*n + 20 = 0. Let w be (-4)/n + 152/5. Is w/10 - (0 + -94) a composite number?
False
Let y(l) = 24*l - 2. Let v be y(5). Suppose -z - v = -r, 0 = 8*r - 4*r + 3*z - 479. Is r a composite number?
True
Let r = 58 - -103. Is r a composite number?
True
Suppose 42 = -4*n + 6. Let o(p) = -4*p + 7. Is o(n) a prime number?
True
Let x(n) = n**2 - 15*n + 3. Suppose 2*a + 12 = -4. Is x(a) a composite number?
True
Let o(f) = -3*f - 1. Let z be o(-1). Let s be 2 + (z - 2)/1. Suppose -9 = -s*l + l. Is l a composite number?
True
Let b be 2/(-2) + 0 + -2. Let o be -4 + (1 - (2 + b)). Let t(u) = -7*u - 3. Is t(o) composite?
False
Let u(v) = -68*v + 2. Let x(d) = 67*d - 1. Let p(z) = 6*u(z) + 5*x(z). Is p(-10) prime?
False
Suppose 2*n - 31 = 295. Is n a composite number?
False
Suppose 0 = -2*c + 5*c - 1467. Is c a prime number?
False
Let u be (-16)/24 - 344/(-3). Suppose -4*a + 5*z + 217 = 0, -49 = -3*a + 4*z + u. Is a a composite number?
False
Suppose -z + 0*z - 223 = 0. Let m = 371 + z. Let f = m - 53. Is f a prime number?
False
Let f(v) = v - 16. Let p be f(15). Is (p - 1) + 2 + 301 a composite number?
True
Suppose -4*b - 20 = 0, 23 = 4*u + 2*b - 71. Is u a prime number?
False
Suppose -5*y + y = -5*m, -y + 5*m - 15 = 0. Suppose 53 = u + 2*b, -2*u - 2*u = -y*b - 225. Is u a composite number?
True
Suppose 186 = 5*a - s - 273, -194 = -2*a + 3*s. Is a a prime number?
False
Let p(b) = -1038*b + 1. Is p(-1) a composite number?
False
Suppose 0 = -4*s + 12, 3*v - 4*s - 1047 = 1170. Is v a composite number?
False
Let q = 5 + -3. Let f = q + 1. Suppose 4*t - 66 = f*b - 13, 0 = -2*t - 3*b + 31. Is t prime?
False
Suppose 2 = 2*p - 0*p. Let j be -3*p*-19*1. Suppose -4*q + 3*f + 184 = 0, 3*q - 3*f = 78 + j. Is q a composite number?
True
Suppose 5*i - 2*i + 45 = 0. Let l(g) = -g**2 - 22*g + 22. Is l(i) prime?
True
Is 1115*2*(-5)/(-10) a prime number?
False
Let q = 934 + -320. Is q a prime number?
False
Suppose 2*l - 655 = -3*l. Is l composite?
False
Is (-1 - -11)*(0 + 1) composite?
True
Let t = -357 - -3734. Is t a composite number?
True
Let u = 6 + 15. Is u a prime number?
False
Let a(v) = v**2 - 3. Suppose -3*r + 4*r = 4. Let h be a(r). Is -2*1/(-2)*h a prime number?
True
Let u(s) = 3*s + 6. Let w be u(-6). Is 221/4 + 3/w a composite number?
True
Is -1 + 429 + (0 - 1) composite?
True
Let w = -303 + 535. Let g = -155 + w. Is g composite?
True
Suppose -4*g - 3*u + 825 = -4*u, 0 = -4*g + 3*u + 835. Is g a prime number?
False
Suppose 4*s - 2560 = 88. Is s a prime number?
False
Suppose -2*j + 9 = j. Suppose -j*c + 7*c - 40 = 0. Is c composite?
True
Suppose u + 74 = 3*u. Suppose -2*h + h + u = 0. Is h prime?
True
Suppose 3*d - 5*d + 30 = 0. Suppose -i - d = -6*i. Suppose -11 = -i*b + 190. Is b prime?
True
Let l(a) = -a**2 - 3*a - 1. Let f be l(-2). Is (-48)/(-4) + -2*f a prime number?
False
Is -4 + -3 + 97 + 4 prime?
False
Let m(n) = 24*n**2 - 2*n + 17. Is m(8) prime?
False
Let j(r) = -r**3 - 7*r**2 + 12*r + 29. Is j(-15) a composite number?
True
Let d(w) be the first derivative of 4*w - 7/2*w**2 + 1. Is d(-7) prime?
True
Suppose -5*h + 12 = -13. Suppose 59 = -4*f + h*f. Is f composite?
False
Suppose 3*s - 3*n = -222, 4*n - 20 = -n. Let p be 1 - ((0 - 121) + -1). Let y = s + p. Is y prime?
True
Let j(b) = -b**3 - 4*b**2 - 2*b - 6. Suppose 3*y + 5*t = -8, 0*y - 14 = 4*y + 5*t. Let r be j(y). Suppose -15 - r = -n. Is n prime?
False
Let g = -8 + 15. Is (g + -2)/((-1)/(-5)) prime?
False
Suppose -3*g + 4 = f - 3, 5*g - 2*f = 19. Suppose 2*x - 3*x + 8 = -g*s, 2*x + s - 9 = 0. Suppose 0*q - 95 = -x*q. Is q a composite number?
False
Let j(m) = 150*m**3 - 2*m**2 + 2*m - 1. Let c = 7 - 6. Is j(c) prime?
True
Suppose 4*l - 180 - 464 = 0. Is l prime?
False
Let q be 60/25 + 4/(-10). Suppose q*g - g = 65. Is g composite?
True
Let g(x) = -40*x**3 - 2*x**2 - 2. Let c be g(-2). Suppose c - 50 = 4*z. Is z composite?
True
Let o be (1 - (1 + -2)) + 8. Suppose 2*p = -0 - o. Let b(c) = 3*c**2 - 2*c + 6. Is b(p) prime?
False
Let k = -27 + 112. Is k composite?
True
Let n(c) = -c**2 - 11*c - 10. Let h be n(-10). Suppose h = -j + 64 + 111. Suppose 7*p - j = 2*p. Is p composite?
True
Let n be 377090/(-56) - (-2)/(-8). Is (n/39)/(4/(-6)) a prime number?
False
Suppose y + 228 = -292. Is (2 - 1) + y/(-10) prime?
True
Is (57/(-4))/((-15)/40) prime?
False
Suppose 0 = -5*h + 753 + 302. Is h prime?
True
Suppose -j = 4*j, 0 = i + 2*j - 119. Is i a composite number?
True
Let x(g) = -g**3 - 4*g**2 - g - 4. Let m be x(-4). Is (-1)/(2/(-226) + m) a prime number?
True
Let o(l) = l**3 + 33*l**2 - 19*l + 22. Is o(-19) prime?
True
Let f = -4 + 7. Suppose -3*j + f = -3. Suppose 5 = j*t + 1. Is t a composite number?
False
Is ((-3778)/(-8))/((-3)/(-12)) a composite number?
False
Let w(y) = -72*y**3 - 3*y**2 - 21*y - 7. Is w(-5) a prime number?
False
Let h = -44 + 202. Suppose -2*d + 52 + h = 0. Suppose -4*f = -7*f + d. Is f a prime number?
False
Let h = -408 + 619. Is h a composite number?
False
Let w(s) = -s + 11. Let q be w(9). Is ((-131)/q + 2)*-2 prime?
True
Suppose 4*w = -h + 14, 3*h = 2*h - 2*w + 6. Let u be h/5 - (-17)/5. Suppose 3*x = -u*t + 63, 0 = 6*t - 3*t - 6. Is x composite?
False
Let j = -121 + 203. Suppose -3*f - 4*m - 100 = -5*f, 2*f + 5*m - j = 0. Is f composite?
True
Let n = 10 + -5. Suppose 0*i - n*i + 1110 = 0. Is (-4)/(-6)*i/4 a composite number?
False
Let c(m) = 6*