True
Let f(k) = 3*k + 3. Let m be f(5). Let s be -3*(-2)/m*6. Suppose s = -p + 9. Is p composite?
False
Is 0 + 253 - 6/3 a prime number?
True
Suppose 5*x - 2*x = -r + 703, 0 = 2*x - 5*r - 480. Is x a composite number?
True
Let w = 400 + -175. Let y = -158 + w. Let h = y + -18. Is h a composite number?
True
Let c(v) = 4*v**2 + 6*v - 4. Let f be c(6). Let j = -172 - -297. Let r = f - j. Is r prime?
False
Let y = -3 - -11. Suppose -4*r + 126 = -b, 4*b - y = -r + 15. Is r a prime number?
True
Suppose -3*z + z + 6 = -5*f, -5*f = -3*z + 4. Let s(l) be the first derivative of -3*l**4/4 + 2*l**3/3 + l**2/2 + l + 2. Is s(z) a composite number?
False
Let x(c) = 2*c**2 + 3*c + 3. Let o be x(-2). Suppose 2*h + 3*h - o = 0. Is 46 + 5 + h*-2 composite?
True
Suppose -4*k + v = -3, -5*v = -2*v + 9. Suppose 4*a + 6 = a, k = 5*j + 2*a - 381. Is j prime?
False
Let d = 16 - 13. Suppose -3*v - 3*b + 100 = v, -d*v = b - 75. Is v a prime number?
False
Let w = 13351 + 54927. Let n be 4/18 + w/63. Is 12/(-28) - n/(-14) a prime number?
False
Is (-3)/(-18) + 226/12 a prime number?
True
Suppose 0 = 2*q - 258 - 338. Suppose -s + q = s. Is s composite?
False
Let q(s) = 307*s**2 - 3*s + 3. Is q(1) composite?
False
Suppose 3*w = -2*w, 34 = k + 2*w. Let z = k - 11. Is z composite?
False
Is (4/8)/((-6)/(-1356)) prime?
True
Let l(g) = -22*g + 1. Let y be l(4). Is 4 + -7 - (y + 1) a composite number?
False
Suppose -5*a + 1233 = -2*a. Is a prime?
False
Is 126 - 2 - 6/(-2) prime?
True
Let q = -10 + 16. Let a be (8/6)/(q/9). Suppose 2*r - a*s - 20 = 0, 4*r - 18 - 16 = 2*s. Is r a prime number?
True
Let d(g) = 7*g**2 - 4*g + 16. Is d(-5) a prime number?
True
Let o(r) = -r**3 - 11*r**2 - 4*r + 1. Let z be o(-11). Suppose -55 = 5*m - 4*q, 3*m - z = 5*m + 3*q. Is (m - 2)/((-2)/6) composite?
True
Suppose -3*q = -2*q + 6. Let s = 15 - q. Is s prime?
False
Let q be (4/3)/((-4)/(-18)). Is (-237)/q*(-1 + -1) a composite number?
False
Let g be (-8 - (-3 + 2))*-81. Suppose 5*a - 218 = g. Is a a prime number?
True
Let g = 205 + 126. Is g a prime number?
True
Let r = -4247 - -6068. Is r a composite number?
True
Let j = 1259 - 818. Suppose 0*f - f - j = -4*x, -4*x + 2*f + 438 = 0. Suppose 0 = -4*y + y + x. Is y a composite number?
False
Let u = 35 - 56. Is 5/(-5) - (1 + u) composite?
False
Let m(t) = -t**3 + 8*t**2 + t - 7. Suppose -3*q + 17 = s, 16 = -0*s - 4*s. Is m(q) a composite number?
True
Let o(r) = -r**3 + 4*r**2 - 5. Let p be o(3). Suppose 4*t - 3*l = 110, 6*t - 4*t = p*l + 60. Is t a composite number?
True
Let w(u) = 71*u**2 + 2*u - 1. Let r be w(1). Let k = r - 50. Is k a prime number?
False
Let w(p) = p**3 + 9*p**2 + 2*p - 7. Let g be w(-7). Suppose -g = -a - 3*c, -5*c = -7*a + 3*a + 342. Suppose 4*r - a = 3*r. Is r composite?
False
Let w(n) = 4528*n + 1. Is w(1) prime?
False
Suppose 4338 = 3*g - 3*d, -d + 2868 = 2*g + 3*d. Is 10/4*g/35 prime?
True
Suppose 0 = 44*z - 49*z + 515. Is z prime?
True
Suppose -4*c - 5*a = 2 + 37, 3*a = 4*c + 15. Let p = c - -9. Suppose z - 4*z + 3*v + 390 = 0, 0 = p*v + 9. Is z composite?
False
Let r(u) = 2*u**2 + 7*u + 10. Let d be r(-4). Is 734/6*(d - 11) a prime number?
True
Let l = -65 - -43. Let z = l + 35. Is z prime?
True
Let m(g) = 3*g**2 - 9*g + 1. Is m(-4) a composite number?
True
Let n = 8 + -3. Suppose d + 520 = 2*s - 455, -2450 = -n*s + 5*d. Is s prime?
False
Let x(h) = h**2 - h - 3. Let r be x(4). Let w = -11 - r. Is (w/8)/(1/(-6)) a prime number?
False
Let q(r) = r**2 + 5*r + 4. Let g be q(-5). Suppose 0*h + 3*h - 502 = -2*x, g*x - 3*h = 1040. Is x prime?
True
Let z(n) = 3*n**2 - 15*n + 11. Is z(13) prime?
False
Is ((-6)/4)/((-2)/1492) a prime number?
False
Let n be (-2)/((12/3)/(-4)). Suppose -2*s = w - 383, -4*w = n*s - 940 - 562. Is w a composite number?
False
Suppose 3*g = -0*g + 9. Let f(a) = -1 + g*a + 11*a**2 - a**3 - 4 - 15*a. Is f(9) prime?
False
Let x(h) = -h**3 + h**2 + h. Let f(w) = 8*w**3 - 3*w**2 + w. Let v(d) = -f(d) - 4*x(d). Let q be v(-4). Suppose -u = 3*u - q. Is u a prime number?
False
Let k(o) = -o**2 + 11*o + 16. Let b be k(12). Suppose b*t - 14 = 2. Suppose -v = 3*v - t*f - 360, 4*f = -v + 115. Is v prime?
False
Let i = -2 + 4. Let p(n) = 2*n**2 + 6*n - i - 3*n - n**2. Is p(-4) a prime number?
True
Is (2*(-26 - -3))/((-4)/4) a prime number?
False
Suppose 5*m - 11176 = -911. Is m prime?
True
Is ((-662)/8)/((-19)/76) a composite number?
False
Let g(b) = b**2 + 6*b + 6. Let c be g(-5). Suppose 0 = -w + c - 3. Let z = 8 + w. Is z prime?
False
Let j(y) = y**2 + 12*y + 19. Is j(16) a composite number?
False
Suppose -374 = -2*y - 0*y. Is y a composite number?
True
Let z(v) = 359*v + 1. Is z(2) prime?
True
Suppose -6603 = -5*u - 308. Is u prime?
True
Let w = -4 + 4. Suppose w = -4*y + 2*q + 58, -5*y - 10 = -6*y - q. Is y a composite number?
False
Let p be 3/2 - (-12)/(-8). Suppose p*c + 85 = c. Is c a prime number?
False
Suppose 2*x + 3*w - 2364 = 8*w, 5*x - 5939 = -2*w. Suppose 3*h - x = -4*s, -s + 0*h + 273 = -4*h. Is s composite?
False
Let v(o) = o**3 + o**2 - o + 1257. Let z be v(0). Suppose -x - g = 4*x - z, -x + g + 249 = 0. Is x a prime number?
True
Let a = 42 - 79. Suppose -3*x + n = -7*x - 3, -10 = 5*x - 5*n. Is x/(-2)*(1 - a) a prime number?
True
Let k = -8 + 541. Is k composite?
True
Suppose 4*x - 21 = j - 4, 6 = 2*x + 2*j. Suppose -3*f = -x*f + 4. Suppose 0*q + 89 = 4*q + d, f*d = 4. Is q prime?
False
Let o(k) = k**2 - 10*k + 13. Is o(-8) a prime number?
True
Let z = -2 - -5. Let a(l) = 7*l - 3. Let w be a(z). Suppose -w + 46 = i - 3*b, -i + 2*b + 27 = 0. Is i a composite number?
True
Suppose 2*l = 1527 + 273. Let d = -559 + l. Is d a prime number?
False
Suppose 4*d - 2*y - 3*y = 853, 2*d + y = 409. Suppose 0*w = -w + 4, -3*w + d = 5*z. Let m = 124 - z. Is m composite?
True
Is 2120/4 - 2 - 1 prime?
False
Is 4156*(2 + (-7)/4) a prime number?
True
Suppose 8*b = 7*b + 115. Is b composite?
True
Suppose 8*v - f = 3*v + 1530, -v = -4*f - 287. Is v a prime number?
True
Let t(f) = 21*f - 5. Let m(v) = -v. Let w(x) = -x. Let z(q) = -4*m(q) + 5*w(q). Let n(u) = t(u) - 6*z(u). Is n(6) a composite number?
False
Suppose -16 = -c + 302. Let w = -185 + c. Is w prime?
False
Is ((-596)/(-20))/((-3)/(-15)) prime?
True
Suppose 53 = 4*q - 3*q. Is q a prime number?
True
Let w(c) = -3*c**3 - 3*c**2 + 5*c + 14. Is w(-5) prime?
False
Let v(i) = 30*i - 5. Is v(3) composite?
True
Suppose 5*x + 13 - 63 = 0. Let w = 33 - x. Is w a composite number?
False
Let g(x) = -26*x + 5. Is g(-6) composite?
True
Suppose 4 - 14 = -5*p. Let r(d) = -2*d**2 - d - 2. Let u be r(p). Is (-1)/((-1)/1) - u a prime number?
True
Let s be 4/3*(15 + -3). Is s/10 + (-6)/(-15) a composite number?
False
Let w = -271 + 482. Is w composite?
False
Let l(n) = 3*n**2 - 11*n + 1. Is l(-11) a prime number?
False
Let n(w) = w**3 + 3*w**2 + 3*w. Let q be n(3). Suppose s + 24 = 4*s. Suppose -q = -5*o - s. Is o a composite number?
False
Let w = 70 - 24. Is w prime?
False
Suppose -2*m + 22 = 2*m + 2*w, -3*w + 15 = 0. Suppose -5*a = -2*y - 103, -3*a + m*y + 69 = -0*y. Is a a composite number?
False
Let a(z) = -z**3 - z**2 + z + 1. Let j be a(-2). Let n(h) = 5*h**2 - h + 1. Is n(j) composite?
False
Let m(u) = 6*u**2 - 3*u + 11. Suppose -5*s = -4*h - 48, 5*h - 43 = -5*s - 13. Is m(s) composite?
True
Suppose 5*r + v = 409, -2*v - 73 = -4*r + 3*r. Let g = r + -2. Is g prime?
True
Let n(m) = -m + 11. Let f be n(7). Suppose -2*a - 5*k - 131 = -3*a, 4*k - f = 0. Suppose -5*r = -3*j + a, 2*j - 6 = -3*r + 91. Is j composite?
False
Let u(w) = 196*w**2 - 6*w - 5. Is u(-2) composite?
True
Suppose 0 = -4*f - 16, -3*f + 16 = -0*o - 2*o. Let i be (-502)/7 - (-4)/o. Let d = -35 - i. Is d a composite number?
False
Is -1*((-6)/(-2) + -1064) composite?
False
Suppose 309 = 3*x - i + 6*i, -i = -x + 103. Is x a prime number?
True
Is 33/(-2)*-127*8/12 a composite number?
True
Suppose 9905 = 13*l - 6*l. Is l prime?
False
Let v(r) = -r**3 - 4*r**2 - 2*r + 1. Let s be v(-3). Is (s - -3) + 72/2 a composite number?
False
Suppose -11*l + 1950 = -9*l. Let n = l - 490. Is n prime?
False
Suppose 7*r + 0*r - 5215 = 0. Is r a prime number?
False
Let r be (0/4)/(-2) + 121. Let t = r + -70. Is t a composite number?
True
Suppose -3*p - 2*p = 2040. Let m = p - -781. Is m a prime number?
True
Suppose 595 = 4*u + u. 