False
Let h = 138 + -43. Is h composite?
True
Let q(l) = 2*l**3 + 4*l**2 + 5*l - 4. Suppose -20 = -0*w - 4*w - 3*m, -3*w = m - 15. Is q(w) a composite number?
True
Let b be 4 + -5 + -1*1. Let n = 4 + b. Suppose c + 3*j = 2*j + 38, 0 = -3*c - n*j + 111. Is c a composite number?
True
Suppose 0 = 5*l + 4*k + 6, -2*l + 12 = -6*l - 5*k. Suppose -l = c - 17. Is c prime?
False
Let m = -9 + 14. Suppose -4*q + 545 = m*a, -4*q + 410 = 4*a - 26. Is a a prime number?
True
Suppose -4*v = 2*o - 594 + 108, -4*o = -v + 135. Let a(j) = 4*j - 1. Let k be a(1). Suppose 2*s - 7 = -3*g + 86, v = 4*g + k*s. Is g a prime number?
False
Let q(g) = 2*g**3 + 4*g**2 - 2*g - 1. Let f(b) = -b + 13. Let o be f(10). Is q(o) prime?
True
Let y(b) = -b + 1. Let m be y(6). Let w(f) = -f**2 - 6*f + 2. Is w(m) a composite number?
False
Let x(z) = 5*z**2 + 5*z + 9. Let i(v) = -v**2 - 5*v - 8. Let q be i(-4). Is x(q) a composite number?
True
Suppose -266 + 780 = 2*t. Is t a prime number?
True
Suppose 4*f - 3*f = 0. Suppose -3*u - 2*u + 295 = f. Is u prime?
True
Let v = -1636 - -2499. Is v composite?
False
Suppose -5*p + 2*n + 2658 = 0, -3*p = 3*n + 815 - 2393. Suppose -p = -2*k - 3*k. Is k a prime number?
False
Suppose 2*x + 11 = 3*x + 4*i, -3*x - 3*i + 15 = 0. Suppose -2*m + 2*f + 84 + 150 = 0, -4*f = -x*m + 351. Is 8/(-20) + m/5 a prime number?
True
Let j(x) = 14*x**3 + 2*x**2 - 1. Let s(q) = q + 2 - 1 + 0*q. Let u be s(0). Is j(u) prime?
False
Suppose -s - 40 = -4*f + 652, -f + 158 = -4*s. Let z = f + -83. Is z a prime number?
False
Let i be 6/(-27) + (-38)/(-9). Suppose 0 = -4*r + 16 + i. Suppose u = 26 - r. Is u prime?
False
Suppose -2*h - 8 = 2*o - 0, -20 = 5*o + 4*h. Is o/((-8)/(-7))*-2 composite?
False
Suppose -253 = -5*y + 27. Suppose -k + y = -179. Is k prime?
False
Let z be 33*(11/(-3) + 4). Let i(l) = 17*l - 8. Is i(z) composite?
False
Is 210 + (-4)/(16/4) composite?
True
Suppose 0 = 4*h + 177 + 267. Let s be (3/9)/((-1)/h). Suppose -s = -z + t, -z + 31 = 5*t + 6. Is z a composite number?
True
Let g = -269 + 387. Is ((-6)/4)/(-1)*g a composite number?
True
Let s(o) = 2*o**3 - 27*o**2 - 10*o - 17. Is s(14) prime?
False
Let k(d) = -9*d**2 + d**3 + 2 + 9 + 5*d + 0*d. Let p be k(9). Let a = p - 19. Is a prime?
True
Let x be ((-8)/(-20))/((-3)/(-1095)). Suppose 3*k - x - 19 = 0. Is k a composite number?
True
Is (-6)/(-4)*3190/15 prime?
False
Suppose 5*n - 1004 = 4041. Is n a composite number?
False
Suppose -2*l - 3*n + 2377 = 0, 4*l + 2*n = -l + 5937. Is l a prime number?
True
Let p(s) = 8*s - 13. Is p(18) a composite number?
False
Suppose -10*a = -6*a - 35952. Is (a/(-48))/(1/(-4)) composite?
True
Suppose i = 3*g - 13, 27 = 5*g + 2*i - 5*i. Suppose -188 = -r - g*r. Let m = 81 - r. Is m prime?
False
Let n = 1223 + -625. Suppose 53 = -5*w + n. Is w prime?
True
Let a = -47 + 70. Is a composite?
False
Is (-279 - -1)*6/(-12) prime?
True
Suppose 0 = -3*b - 2*l - 205 + 536, -208 = -2*b + 5*l. Is b a composite number?
False
Let n = 12 + 115. Is n a prime number?
True
Let d be 109 + (3 - 3) + -2. Suppose 101 = g - 5*n + 3*n, g - 5*n - d = 0. Is g composite?
False
Let v(x) = 2*x + 2. Let k be v(-3). Let q = -2 - k. Suppose 0*p + 5*r = -4*p + 40, 4*p - 40 = -q*r. Is p a composite number?
True
Is 102/5*(-30)/(-12) composite?
True
Let g = 31 - -40. Is g prime?
True
Let q = 17 - 16. Is -4 + q - (-54 + 2) a composite number?
True
Suppose -4*r + 20 = -2*y, -2*y + 4 + 4 = 3*r. Suppose 0 = r*l + 5*d - 408, 3*d - 489 = -5*l + 2*d. Is l a prime number?
True
Suppose 4*r = 3*f - 619, 164 + 242 = 2*f - r. Is f composite?
True
Suppose 0 = 2*n - 3*w + 3, 13 = 5*w - 2. Let i(b) = 0*b**2 - n - 8*b + 1 + b**2. Is i(11) a prime number?
True
Suppose -4*o + 8 = -12, 0 = 5*z - 2*o - 13180. Is z composite?
True
Suppose -6 + 1 = -y. Suppose y*g - 2*h = 169, -3*h + h - 37 = -g. Is g a prime number?
False
Is 1505/49 - (-2)/7 a prime number?
True
Let d = -17 + 17. Suppose 0 = 2*k + 4*f + 4 + 2, -2*k - f = -6. Is k/15*(69 + d) prime?
True
Let y = 8 - 11. Is -5*(y - 0 - 0) composite?
True
Let j(k) be the second derivative of k**4/12 - 7*k**3/6 - 5*k**2/2 + k. Let t be j(8). Suppose -8 = -t*d + 22. Is d composite?
True
Is ((-3)/(-2))/3 + (-4176)/(-32) a prime number?
True
Suppose -4*l = -5*b + 162, 0 = -3*l + 4*b - 33 - 89. Let q = l + 229. Is q a composite number?
False
Suppose -4*g - 4*m = m - 48, 4*m = 16. Let r = 15 + g. Is r a composite number?
True
Let b(k) be the second derivative of k**4/4 + 2*k**3/3 - k**2/2 + 4*k. Is b(-4) prime?
True
Suppose -2*g - 4*v + 40 = -7*g, -2*g + 2*v = 16. Let q(b) be the first derivative of -b**4/4 - 4*b**3/3 + b + 1. Is q(g) prime?
True
Let u(x) = -3*x**2 - 3*x + 111. Let s(c) = -2*c**2 - 2*c + 56. Let f(v) = -5*s(v) + 3*u(v). Is f(0) composite?
False
Suppose 2*v + 2*v = 3*z, -5*z = -v. Suppose d + z*d - 150 = -2*u, -3*u + 778 = 5*d. Is d + 1*-2 + 1 a prime number?
True
Let l(g) = -g - 15. Let i be l(-15). Suppose 6*f - 3324 = -i*f. Is f composite?
True
Let a(r) be the first derivative of r**3 + r**2/2 + r - 3. Is a(4) prime?
True
Let d(z) = -31*z**3 + z - 12*z**3 - 27*z**3. Let f be d(-1). Suppose -b - 2*b + f = 0. Is b a prime number?
True
Let h(r) = -166*r + 1. Let t(y) = -y**3 + 13*y**2 + 13*y + 11. Let d be t(14). Is h(d) prime?
True
Let b(h) = -h**3 + 15*h**2 + 13*h + 11. Is b(10) prime?
True
Suppose 0*d + 50 = -d. Let q = d + -11. Let p = q + 100. Is p composite?
True
Let s(y) = -y**3 - 4*y**2 + 4*y + 3. Let f be s(-5). Suppose 3*j - j = f. Suppose 123 = n - h, -h - 504 = -j*n - 0*h. Is n composite?
False
Suppose t - 3*w + 21 = 0, 4*t = -w - 0*w - 19. Let f(m) = 3*m**2 + 3*m + 5. Let n be f(t). Suppose z = -4*z + n. Is z prime?
True
Is (6124/(-8) - 2)*-2 prime?
False
Let w = 2011 + 1035. Is w a composite number?
True
Suppose 3*z + 171 + 136 = 2*r, 3*r = 2*z + 453. Is r a composite number?
False
Let v be (-9)/3*4/6. Let b(d) = -4*d - 1. Let j be b(v). Let c(u) = 2*u**2 - 9. Is c(j) prime?
True
Suppose 3*b - 5 = -2, -3*i + b = -2. Suppose -f + u = 2*u - 2, 0 = -2*f - 3*u - i. Is f prime?
True
Suppose -5*t + t = 112. Let r = 75 + t. Is r composite?
False
Suppose 2 = 2*p + 4*i, -6*p + 26 = -2*p - 3*i. Suppose 0 = -p*w + 5*a + 435, 0*a + 85 = w - 2*a. Is w a prime number?
True
Let j be 1*84/4*1. Suppose 4*z + 5*m = 2*z + 47, -42 = -3*z + 2*m. Suppose -q = -z - j. Is q a prime number?
True
Let p(l) = 8*l + 7. Let z be p(6). Suppose -7 = -2*w + z. Is w a composite number?
False
Suppose -j - 4*o = -228, 4*j = -2*o + 6*o + 872. Let k = j - 77. Is k a prime number?
False
Let l be -3 - (1 - -13)/(-2). Is (1 + -2)*(-197 - l) a prime number?
False
Suppose 2197 = 4*q - 0*q + 5*o, q - 568 = 5*o. Is q a composite number?
True
Let i = 68 + -171. Let q = i - -150. Is q a prime number?
True
Let g(h) = -35*h - 38. Is g(-12) composite?
True
Suppose 6 = o - 14. Is ((-1295)/o)/(1/(-4)) composite?
True
Is (106/(-4))/(3/(-534)) composite?
True
Suppose -3*v - 2*v = 0. Suppose v = 5*q - 15, -229 = -3*i - 3*q + 767. Is i a prime number?
False
Let l be 36/15 - 12/(-20). Suppose 4*u - l*u = 109. Is u composite?
False
Let h(r) = 5*r**2 - 16*r - 9. Is h(-6) a composite number?
True
Let i = 13 + -8. Suppose 23 = i*t - 4*j - 90, 88 = 4*t - 2*j. Is t composite?
True
Let t = 8470 - -7903. Is t a composite number?
True
Suppose 7 + 5 = 3*f. Let d(x) = f - 19*x - 4. Is d(-1) composite?
False
Suppose 2*j - 506 - 12 = 0. Suppose -j = -p - 100. Is p composite?
True
Let m(h) = 19*h**2 - 2*h - 6. Is m(-5) a composite number?
False
Suppose 5*x = 898 + 337. Is x composite?
True
Let f = -3 + 1. Let w(z) = -88*z + 14*z - 2*z - 3. Is w(f) a prime number?
True
Let i = 254 + -177. Is i prime?
False
Let f be 7/1 + 3 + -1. Let t(q) be the third derivative of -q**6/120 + 2*q**5/15 + q**4/3 + 2*q**3 - 4*q**2. Is t(f) composite?
False
Let w = 2374 + -1305. Is w prime?
True
Let k(x) = 7*x**3 + 3*x**2 - x + 8. Is k(3) prime?
False
Let q = 232 - -1615. Is q prime?
True
Let n be 0 + -372 + (9 - 9). Let w = n - -581. Is w prime?
False
Suppose 0 = -2*p + 10 - 312. Let w = p + 230. Is w a composite number?
False
Let z(a) = a + 5. Let w be z(-6). Let p(j) = 7*j**2 + 2*j + 1. Is p(w) a prime number?
False
Let c(y) = -2*y + 4. Let q be c(3). Let m be (6 - 13)*4/q. Is (-12)/(-42) + 1270/m a prime number?
False
Suppose -4*n - 5*m 