
True
Let c(a) = 4*a + 1. Let x be c(1). Suppose -4*f + 58 = -2*k + 5*k, 0 = -x*k - 5*f + 105. Is k composite?
True
Suppose -12 + 2 = -5*p. Let f(y) = 75*y - 1. Is f(p) prime?
True
Let q(v) = 78*v + 5. Is q(3) a composite number?
False
Suppose -3*f = -2*r + 6013 + 453, 5*f + 4*r + 10740 = 0. Let y be (21/(-28))/((-2)/f). Let g = -338 - y. Is g a prime number?
False
Suppose -1631 = 4*b - 15063. Suppose b = 5*q - 3*u, -q - 6*u + 667 = -2*u. Is q a prime number?
False
Let u(w) = -2230*w + 7. Is u(-1) a prime number?
True
Let o(z) be the first derivative of z**4/4 - 8*z**3/3 + z - 1. Let d be o(10). Suppose 2*h - d = -35. Is h composite?
False
Suppose -86 = -5*s - 2*n + n, -2*n + 82 = 5*s. Let r be ((-3)/(-9))/(2/s). Suppose 0 = -r*y + 52 + 41. Is y a composite number?
False
Let x(i) = i**3 - 6*i**2 - 15*i + 7. Is x(9) a composite number?
True
Let q be (2 + 0 - 1) + -5. Let m(z) = 5*z**3 + 11*z**2 + z - 8. Let p(o) = -o**3 - 1. Let j(g) = q*p(g) - m(g). Is j(-11) a composite number?
False
Let r(p) = p**2 - 3*p - 4. Let m be r(4). Suppose 0*t - 5*t = m. Suppose 0 = -3*f + 3*j - 0*j + 15, -2*j - 4 = t. Is f a composite number?
False
Let q = -475 - -1141. Is (-1)/(-1)*q/9 composite?
True
Suppose 4*h - 2*h = 30. Let t = -4 + h. Is t composite?
False
Let h = -21 + 35. Is h composite?
True
Let n(x) be the second derivative of -x**5/20 + x**4/2 - x**3/3 - x**2/2 + 2*x. Suppose b - 2 = 2. Is n(b) a composite number?
False
Suppose -95 = -4*x - 643. Let o = -88 - x. Is o prime?
False
Suppose 2*n - 350 = n. Suppose -4*f + n = f. Suppose 5*j = 3*j + f. Is j composite?
True
Suppose 2*v - 6*v = -12. Suppose -4*y + 8 = -v*q - 4, q = 5*y - 15. Suppose 2*t - 37 - 1 = q. Is t composite?
False
Let v be ((-1)/(-3))/((-1)/3). Let w be (3/(-3) + -5)/v. Let f(i) = 8*i + 1. Is f(w) a prime number?
False
Is (-16 + 14)*1906/(-4) prime?
True
Let q = -165 + 686. Is q prime?
True
Let p be 58/18 - 10/45. Suppose 0 = 4*h - p*h - 97. Is h a composite number?
False
Suppose 622 - 2310 = -4*d. Is d a prime number?
False
Let q(k) = k - 3. Let z be q(5). Suppose z*d = 728 - 306. Is d composite?
False
Suppose 20 - 5 = -3*b. Let t(v) = -6*v - 11. Is t(b) composite?
False
Suppose -10 = -g - 0*g. Suppose -1 = -2*a + 5. Let q = g - a. Is q a prime number?
True
Let q(f) be the second derivative of f**3/3 - 3*f**2 - 2*f. Let z be q(4). Is 0 + z + 1 + 19 prime?
False
Let o = 17 + -13. Suppose -5*v = -o*g + 769, 5*v = 3*g + 2*v - 576. Is g a prime number?
True
Let j be (12/10)/(12/40). Let p(f) = f**2 + f - 1. Is p(j) composite?
False
Let t = 3 - -1. Suppose -3*n - 262 = -2*u + 475, -3*n + 1465 = t*u. Is u composite?
False
Suppose 4 + 1 = s. Suppose -2*x = 5*y + 14, -s*x + 2*x = 3*y + 3. Suppose x*k = -4*a + 168, 2*k = -k + 12. Is a composite?
True
Let u = 278 - -1257. Is u prime?
False
Suppose -2*j = j - 4*x - 983, 2*j + 3*x - 661 = 0. Is j composite?
True
Let d(r) = r + 3. Let j be d(-5). Let f = j + 0. Is -1 - f*3*15 prime?
True
Let o be (2 + -5 - -2)*-5. Suppose 25 = -o*r, -p + 2*r + 16 = -0*p. Is p prime?
False
Suppose -12 = -5*m + 2*u, 5*u - u = -4*m + 4. Is m a prime number?
True
Suppose 17 = -3*l + 143. Suppose 4*u - 42 = l. Is u composite?
True
Let j = -3 + 74. Is j a composite number?
False
Suppose 5*v - 2615 = -5*x, -5*x + v + v + 2601 = 0. Is x composite?
False
Suppose 0 = -4*n, 2*n - 5*n = p - 1507. Is p a prime number?
False
Suppose 413 = -5*l + 1463. Suppose -5*q = -2*g + l, 2*g = -g + 5*q + 325. Is g a prime number?
False
Let x(n) = n. Let r = 13 + -8. Let j be x(r). Suppose -j*f = -f - 4, -1052 = -5*l + 3*f. Is l a composite number?
False
Suppose 7 = -4*i - 45. Let l = i + 26. Is l composite?
False
Let z(r) = r**3 - 6*r**2 + 7*r + 6. Let j be z(6). Suppose 24 = -4*o + 580. Let g = j + o. Is g a composite number?
True
Let o be (4*(-2)/(-8))/1. Is (2 - o)*(98 + -1) prime?
True
Suppose 127 = 4*v - 213. Is v a prime number?
False
Suppose -20 = 2*j + 3*j, -22 = -5*s + 3*j. Suppose y + 371 = s*y. Is y prime?
False
Is 2/16*1 + 21765/24 a prime number?
True
Suppose 83 = 3*a - 16. Is a prime?
False
Let d = 107 - -32. Is d composite?
False
Suppose -4*v = 4, 3*v + 524 = -2*x + 7*v. Let o = x - -425. Is o a composite number?
True
Let v(w) = w**3 + 9*w**2 - 12*w - 6. Let o be v(-10). Suppose l - 11 = o. Is l composite?
True
Let x = -32 + -57. Let j = -17 + 188. Let v = x + j. Is v composite?
True
Let b(t) = 18*t - 1. Is b(14) prime?
True
Let i(p) = 3*p**2 - 3*p - 3. Let x(d) = 2*d**3 + 2*d**2 + 2*d. Let f be x(-2). Let u = f + 18. Is i(u) a prime number?
False
Is -1 + (3490 - -1) + 3 a composite number?
True
Suppose 0*h - 231 = -3*h - w, -231 = -3*h - 5*w. Let t = h - 42. Is t a prime number?
False
Suppose -2*a - 3*a + 1111 = y, 3390 = 3*y - 4*a. Is y composite?
True
Let i(k) = 79*k**3 + 4*k**2 - 3*k - 3. Is i(3) a composite number?
True
Let l(v) = -v**3 + 2*v + 7. Is l(-6) a composite number?
False
Let g = 63 + -26. Is g composite?
False
Suppose 63 = 4*x - 629. Suppose -5*j = -82 - x. Is j a composite number?
True
Suppose -5*s - 4*a - a - 15 = 0, 2*s + 3*a = -9. Let c(t) = 2*t + 263. Is c(s) prime?
True
Suppose 3*m - m = 62. Suppose -3*p - 2*u = -458, -3*u + 166 = p + u. Let s = p - m. Is s a composite number?
True
Suppose -3*k - 1167 = -3204. Is k composite?
True
Let k = -6 - 0. Let f be (-26)/k + 6/9. Suppose -2*p + 40 = f*g, -2*p - 32 = -4*g + 18. Is g composite?
True
Let o(a) = -2*a - 9. Let x be o(-6). Let m be x/(-6) + 9/2. Suppose 5*u - 59 = m*u. Is u prime?
True
Let x(g) be the third derivative of g**4/24 + g**3 + g**2. Let l(f) = -f**2 + 5*f + 5. Let s be l(5). Is x(s) prime?
True
Suppose 0 = a + a. Let v be (a/(-4))/(2/1). Is (-11 - v)*(0 - 1) composite?
False
Let t(f) = f**2 - 2*f + 1. Let n be t(1). Suppose n = -2*i + 20 + 26. Is (i/(-2))/((-2)/4) prime?
True
Let m(v) = -24*v + 1 - v**2 + 0*v**2 + 8. Is m(-10) composite?
False
Let f(v) be the third derivative of -v**6/120 - 2*v**5/15 - v**4/3 + 4*v**3/3 + v**2. Let i(a) = -a - 7. Let b be i(0). Is f(b) a composite number?
True
Suppose -10 = -3*y + w, -5*y + 0*w = 3*w - 26. Suppose -c - 76 = -2*g, -4*c - 301 = -y*g - g. Let l = 127 + c. Is l composite?
False
Let p be (-54)/8 + (-1)/4. Is (-2)/p - (-477)/21 prime?
True
Let o be ((-66)/4)/(2/(-4)). Let r(a) = 8*a - 2. Let w be r(-2). Let p = w + o. Is p a composite number?
True
Suppose -2*i + 4*p + 15 = 35, -20 = -4*p. Suppose 0 = -3*o - 2*t - 25 + 406, 5*o + 4*t - 635 = i. Is o composite?
False
Let z(y) = 2*y. Let g be z(1). Let m be (165/20)/(g/(-24)). Let w = m + 146. Is w a prime number?
True
Let s be -1*(1 - -1) - -8. Let x be 283/s - 1/6. Let h = x - 8. Is h prime?
False
Let o be (48 + 0)/1 - -2. Let m = -86 + o. Let h = 55 + m. Is h a prime number?
True
Suppose -3 + 46 = i. Let m = 96 - i. Is m a composite number?
False
Let u(r) = -31*r**3 + 3*r**2 + r + 1. Is u(-2) prime?
False
Let j = -235 + 400. Suppose 4*f = p - 0*f - j, 3*p - 486 = 3*f. Is p a composite number?
True
Suppose -6*q + 5*q - 364 = 0. Let a = 115 - q. Is a composite?
False
Suppose -1478 = -5*g + 3*w, -2*w + 0*w = 2. Is g a composite number?
True
Let o(f) = f**2 - f - 132. Let x be o(0). Let q = 191 + x. Is q prime?
True
Suppose 812 = 5*c - 1163. Is c prime?
False
Let s(q) = 5*q**2 + 7*q - 14. Let w(l) = 9*l**2 + 14*l - 27. Let f(v) = 11*s(v) - 6*w(v). Let m be f(6). Is (m + 60)/(0 + 2) composite?
False
Is (-2 + (-5176)/32)*8/(-2) a prime number?
False
Let z = -115 - -24. Let l = -162 - z. Let y = l - -150. Is y prime?
True
Let b(d) = d**3 + d**2 - 1. Let o(s) = -17*s**3 - 3*s**2 - s + 4. Let u(n) = -3*b(n) - o(n). Suppose -2*y = -4*y + 2. Is u(y) composite?
True
Let s = 4236 + -2818. Suppose 4*v = 42 + s. Is v prime?
False
Let r(n) = -n. Let o(v) = -3*v + 46. Let w(d) = o(d) - 4*r(d). Is w(0) composite?
True
Suppose -r + 165 = -5*z - 246, 2007 = 5*r - z. Suppose -h = -2*h + r. Is h a prime number?
True
Suppose -7*w = -2*w - 2335. Is w prime?
True
Suppose 0*u - u = 0. Suppose u = w - 2*l + l - 29, 0 = w - 3*l - 19. Let r = 69 - w. Is r prime?
False
Is 2094/15 + 6/(-10) prime?
True
Suppose 18 = -4*d - 2*a, -4*d + 0*a - 11 = -5*a. Let k(r) = -37*r + 1. Is k(d) prime?
True
Let j = 96 + 59. Is j composite?
True
Let u(s) be the first derivative of 1/4*s**4 + 1 - 1/2*s**2 + 1/3*s**3 + 53*s. Is u(0) a prime n