*f/(-6) a composite number?
False
Suppose 3*k + 4*j - 1165 = 0, -5 = j - 0*j. Is k a composite number?
True
Let z = 1758 - 593. Suppose b - 6*b + z = 0. Is b a prime number?
True
Suppose -11816 = -3*b - 5*b. Is b composite?
True
Let j(r) = -r + 5. Let i be j(10). Let q be 1912/20 + (-2)/i. Let z = -43 + q. Is z a prime number?
True
Suppose -2*z + 568 = -106. Is z prime?
True
Suppose 1 - 31 = -3*r. Let q(d) = d**2 - 2*d + 9. Is q(r) prime?
True
Suppose -3*v - 2*v - 17 = -2*r, r = -v + 5. Suppose 5*x - 1 = 2*n, -3*n + x + 3*x = -2. Suppose -27 = -4*f + 5*l, n*f - 4*l + 0*l = r. Is f prime?
True
Suppose 5*n = -2 - 18. Let b be (-4)/(n/3) + -32. Let p = b - -50. Is p prime?
False
Suppose 3*k + 2*t = -13, 4*t - 2 = -10. Let v = 2 + k. Is -1*((-72)/2 + v) composite?
False
Let x(w) = 25*w**2 - 6*w - 7. Let s(l) = 101*l**2 - 23*l - 28. Let r(c) = -2*s(c) + 9*x(c). Is r(4) a prime number?
False
Let c be 3*3/9 + -1. Suppose c*i = 2*i. Is (6 + i)/(4/14) composite?
True
Suppose 37 = -4*i - 5*n, -i = 3*n + 8 + 3. Let a = i - -21. Suppose -p = 2, -3*p = -5*t + a + 43. Is t prime?
False
Suppose -371 - 3 = -2*i. Is i prime?
False
Let q = -976 - -1973. Is q a composite number?
False
Let b be (2 - 3)/(-1) - 26. Let r be 5/b - (-1232)/10. Let f = r + 80. Is f composite?
True
Let r = -15 + 9. Is -19*1*18/r composite?
True
Suppose -3*d + 122 + 463 = 0. Suppose y + 1186 - 169 = 5*j, -4*y = j - d. Is j prime?
False
Suppose n - 5*n = -32. Suppose 0 = -5*g + n - 28. Let f = g - -8. Is f a composite number?
True
Let u(n) = n**2 + 5*n - 8. Let h be u(-7). Suppose -345 = -h*z + 3*z. Is z a prime number?
False
Let y be (6/4)/(3/18). Let p = -4 + y. Suppose 5*k = p*t + 620, 5*k - 3*t = -6*t + 644. Is k composite?
False
Let u(g) = 4*g + 6. Let s(w) = -w - 1. Let t(d) = -5*s(d) - u(d). Is t(4) composite?
False
Let m(f) = 5*f**3 - 4*f**2 - 3*f + 5. Is m(2) a composite number?
False
Let u(q) = -q**3 - 2*q**2 + 3*q. Let c be u(-3). Suppose c = 4*h - h - 30. Is 196/h - (-9)/(-15) a composite number?
False
Let c(x) = 3*x**2 - 3*x. Let k be c(4). Suppose g = 2*g + 4*r + k, 5*g = -2*r - 234. Let n = -25 - g. Is n a prime number?
True
Let d be (-1 - 2) + 6 + 1014. Suppose -y + d = 2*y. Is y a prime number?
False
Let s(u) = u**2 - 2*u - 5. Let z be s(4). Suppose -4*f - 30 = -3*l, -z*l + 2*l + 3*f + 10 = 0. Is l prime?
False
Let p = 132 + 79. Is p prime?
True
Let f(k) = 3*k + 2. Let u(l) = -3*l - 3. Let x(r) = -4*f(r) - 3*u(r). Suppose -4*c - 26 = -2*y, -4*c - 3 = y + 8. Is x(c) a prime number?
True
Let c(p) = -p**3 + 5*p**2 + 6*p - 3. Let x be c(6). Let u(j) = 4*j**2 + 3*j + 4. Is u(x) composite?
False
Let q = -9568 - -15415. Is q prime?
False
Let u = -148 + 884. Let f = -373 + u. Let j = -250 + f. Is j composite?
False
Let r be (-7 + 17)*1/2. Suppose r*u - 63 = -3. Suppose -2*g + u = 2*g. Is g a composite number?
False
Let x(v) = 65*v**2 - v - 13. Is x(-6) a prime number?
True
Let q(l) = 182*l + 17. Is q(6) a composite number?
False
Let j be 1/(3/6) - -3. Let o be 347/j + (-2)/5. Suppose -4*s + o = 2*v - s, -5*v + 166 = s. Is v prime?
False
Let r(i) = 3*i - 7. Let a be r(3). Suppose -l = a*l - 1011. Is l composite?
False
Let y(f) = -4*f**3 + 4*f**2 + 3*f + 2. Let u be y(-3). Suppose -4*k = -u - 51. Is k composite?
False
Suppose 4 = -4*y - 2*n, -y - 3*n - 6 = -5*y. Suppose -5*a + 336 + 269 = y. Is a composite?
True
Suppose -2*z = i - 64, 6*i - i + 4*z = 350. Let u(b) = 4*b**2 + 2*b - 3. Let c be u(-4). Let m = i - c. Is m composite?
True
Let w(p) = p**2 + 5*p - 5. Suppose v - 2 = -0*v, -5*o + 3*v + 14 = 0. Is w(o) composite?
False
Suppose -a - 4*t + 37 = -5*t, 0 = 3*a - 4*t - 113. Suppose -a = -4*d + 5. Is d a prime number?
False
Let g(l) be the third derivative of 149*l**7/2520 + l**4/8 - 3*l**2. Let k(r) be the second derivative of g(r). Is k(-1) a composite number?
False
Let n(i) = i**3 + 7*i**2 - 9*i - 8. Let r be n(-8). Suppose r = 3*j - 241 - 3050. Is j a composite number?
False
Let t(z) = 4*z**3 + 2*z**2 + 5. Is t(3) composite?
False
Let k = 3 - 8. Let x = -7 + k. Let p = 18 + x. Is p composite?
True
Let t(u) = -2*u**2 - 3. Let x be t(7). Let a = -44 - x. Is a a composite number?
True
Suppose 0*h - 4*h + 8 = 0. Suppose -h = -d - 0. Is 0 - 67*d/(-2) a prime number?
True
Let r be (-4)/6*3/(-2). Let f(o) be the second derivative of 8*o**5/5 - o**2/2 + o. Is f(r) a composite number?
False
Let a(x) = -3*x - 5. Let m be a(-3). Suppose -q + m*q = 285. Is q a prime number?
False
Let k(i) = -30*i - 1. Is k(-7) prime?
False
Suppose v - f - 2471 = 0, f = -3*v - f + 7393. Is v a prime number?
True
Let w(m) = -52*m - 9. Is w(-5) a prime number?
True
Let h(i) = i**2 - 8*i + 4. Let z be h(8). Is ((-1771)/(-14))/(2/z) a composite number?
True
Suppose -3*f = -4*m - 380 + 51, 4*f = 2*m + 422. Suppose 3*b = -0*y - 2*y + f, 2*y - 143 = 5*b. Is y composite?
False
Let q(l) be the second derivative of -85*l**3/6 + l**2 + l. Is q(-1) a composite number?
True
Is 223*(4 + -6)/(-2) a composite number?
False
Let z(o) = -18*o - 13. Is z(-9) composite?
False
Let n = 0 - 0. Suppose -5*i + 2*r + 80 = n, -i + 0*r + r = -19. Let z = i - 4. Is z composite?
True
Let h be ((-18)/8)/(1/92). Is ((-3)/9)/(3/h) a composite number?
False
Let o = 10 - 7. Suppose s = -0*s + o. Suppose -k = -s*k + 52. Is k a prime number?
False
Let z = -169 + 428. Is z a composite number?
True
Let m(d) = -12*d - 3. Let c(o) = -o**3 - 6*o**2 - 4*o + 7. Let u be c(-5). Let p(h) = -47*h - 12. Let b(l) = u*p(l) - 9*m(l). Is b(4) a composite number?
False
Let p = 17 + -9. Let s = 21 - p. Is s prime?
True
Let r = -173 - -292. Is r a composite number?
True
Let b(w) = 21*w**3 - 3*w + 3. Is b(1) a prime number?
False
Suppose -2*g + 22 + 16 = 0. Is g prime?
True
Is 1130/8 - -6*7/(-168) a prime number?
False
Let v(s) = -s + 28. Let x be v(0). Suppose -4 + x = 4*n. Is n a composite number?
True
Let c = -1192 + 2307. Is c composite?
True
Let a(f) = -2*f + 3. Let b be a(6). Is (262/3)/((-6)/b) composite?
False
Let o(r) = 5304*r**3 - r**2 - 4*r + 4. Is o(1) a prime number?
True
Suppose -5*b + i + 2324 = 0, 0*i - 3*i + 1380 = 3*b. Suppose b = 5*z - 3*s, 3*z = 4*s + 179 + 106. Is z a prime number?
False
Let o(q) = 4*q**2 - 6*q + 5. Is o(7) composite?
True
Let k = 78 + 133. Is k prime?
True
Let l = 1 + 2. Let g = 2 + l. Suppose -5*j = -10 - g. Is j a prime number?
True
Let n be 1/(-3) - 249/9. Let d = n - -81. Is d prime?
True
Let f = 9 - 4. Suppose -f*m - 1016 = -m. Is -2*m*(-2)/(-8) prime?
True
Let t = 9 - 4. Suppose 3*g - 107 = -4*m, -4*m + 112 = -g + 5*g. Suppose -5*v = m - 8, -t*u + 3*v = -264. Is u composite?
True
Let z = 275 + -426. Let l = z + 264. Is l composite?
False
Suppose -2*q = -8, n - q + 2480 = 5*n. Is n a composite number?
False
Let d = -11 - -13. Suppose -d*r = r - 4*s - 71, 0 = -r - 5*s + 11. Is r prime?
False
Suppose -5*o + 8 = 4*x, 6*x - 2*o - 10 = x. Let f be 31*x*(1 - 4). Is 1/(-2*3/f) prime?
True
Let p be (-105 - 1)*(-6)/(-12). Let a = -30 - p. Is a composite?
False
Let a(n) = 12*n**2 - 12*n + 9. Is a(5) prime?
False
Is -1 + (766 - 2)/2 prime?
False
Suppose -5*u + 49 = 3*g, -4*g + 0*u = -2*u - 22. Let d(t) = -14 + 3*t + 5*t**2 + 4*t**2 + 3 - t**3. Is d(g) prime?
False
Let c = -17 + 17. Suppose c*v + 2*v - 106 = 0. Is v a prime number?
True
Let y(c) = 2*c**2 - 3*c + 3. Let h be y(2). Suppose 0*k = -h*k + 1115. Is k a prime number?
True
Let a(g) = 192*g**2 + 2*g. Let n be a(-2). Let u = -391 + n. Is u prime?
True
Suppose -3 = 4*u - 15. Is 415/u + 4/6 a composite number?
False
Is 16/(-4) + 891/3 a prime number?
True
Suppose 0 = -2*h - 5*s + 28, -s = -5*h - 0*s + 43. Is 195/h + 2/6 prime?
False
Let v(y) = -2*y**3 - 4*y**2 + 7*y + 12. Is v(-5) prime?
True
Let w = 4 + 1. Is 1/w + 2412/15 a prime number?
False
Let n(x) = 33*x**3. Let p(d) = -3565*d**3. Let j(l) = 217*n(l) + 2*p(l). Let z be j(-1). Let h = 28 - z. Is h composite?
False
Suppose -5*j + 95 = -t, 3*j = 2*j + 5. Let p = 101 + t. Is p composite?
False
Let w = -7 - -10. Suppose 456 = 4*l - 7*j + w*j, -5*j = -l + 98. Is l a composite number?
True
Let b(c) = c**2 + c. Suppose 5*y - y + 4 = 0. Let z be b(y). Is 2 - (-24 + z/(-2)) a prime number?
False
Is (4 - 6)*(-1454)/4 a composite number?
False
Let d(i) = i**3 - 10*i**2 + 15*i - 14. Let z be d(10). Let o = 193 + z. Is o pri