 Is j prime?
False
Suppose -a = -2*t + 24, -3*a = t + a - 21. Is t a prime number?
True
Let r = 7976 - 3355. Is r a prime number?
True
Let a be -3 - (0 + 86)*-3. Is (-1)/(2 - a/127) a composite number?
False
Let m(f) = 0*f**2 + 0*f**2 + f**2 + f**3 + 34 - f. Let a be 0*(2/4 - (-1)/(-4)). Is m(a) prime?
False
Let w = 8153 + -3620. Is w composite?
True
Suppose -2*q - 209 = -3*n + 2*n, -2*q = -3*n + 643. Is n a prime number?
False
Suppose -12*i + 1550 = -7786. Is i composite?
True
Let i(a) be the first derivative of a**3/3 + 3*a**2/2 - 5*a + 1. Let w be i(-5). Suppose -m + 1 = -w. Is m composite?
True
Let h(z) = -z - 2*z - 3 - 5*z. Is h(-5) composite?
False
Let k = 710 + 269. Is k a composite number?
True
Let h(z) = 136*z - 7. Is h(2) a composite number?
True
Let a be (-2372)/(-18) - 6/(-27). Let u be a/(-20) + 2/(-5). Is -2*(-2)/(-4)*u composite?
False
Let x(h) = h**3 + 6*h**2 + 2*h + 1. Let i(o) = o - o**3 - 2 + 7*o**2 + 5 - 2*o. Let r be i(7). Is x(r) a composite number?
True
Is 469 - (0/(-3) + 0) a prime number?
False
Let r(h) = 5*h**2 + 8*h - 2. Is r(-9) composite?
False
Suppose -2*w + 0*y - 212 = 3*y, 3*w + 318 = -5*y. Let x = -21 - w. Is x a prime number?
False
Suppose -4*m - 22 = n, 5*m = -5*n + 8 - 58. Let w(l) = 2*l - 5*l + 0*l + 1. Is w(n) a composite number?
False
Is (0 - 1) + 78/3 composite?
True
Let b = 18 + -14. Suppose 621 = 5*q - 4*l, -4*q + 492 = 2*l - b*l. Is q composite?
True
Let t(q) = 0*q - 3*q - 3*q - 5 + 5*q. Let a be t(-3). Is a/(-4) - (-305)/10 a composite number?
False
Let v = -151 + 993. Is v a prime number?
False
Let b = -358 + 234. Let s(k) = 11*k**3 + 3*k + 3. Let f be s(3). Let u = b + f. Is u a prime number?
False
Is (3 - 2)/(1/89) a composite number?
False
Suppose -2*m = -3*b + 1743, -m + 2*m = 0. Is b a prime number?
False
Let b(l) = 79*l. Let m(s) = -s**2 - 5*s - 3. Let d be m(-4). Is b(d) composite?
False
Let h(m) = m**2 + 6*m + 2. Let t be h(-6). Suppose 4*y - 14 = t. Suppose -y = -5*z + 91. Is z a composite number?
False
Let q = -493 - -1014. Is q a prime number?
True
Let k(v) be the third derivative of -5*v**4/24 + 5*v**3/3 - 2*v**2. Let n(i) = -11*i + 21. Let t(g) = 13*k(g) - 6*n(g). Is t(3) a prime number?
True
Let u(q) = 9*q**2 - 7*q - 37. Is u(19) composite?
False
Suppose 4*i = -5*h - 632 + 26, -464 = 3*i - h. Let t = 163 - i. Is t a prime number?
True
Let u = 3862 - 1925. Is u a composite number?
True
Let q(n) = 24*n - 109. Is q(22) prime?
True
Let s = 10 - 7. Suppose 0 = -3*y + s, 3*j - 2*y + 7*y - 17 = 0. Suppose -u = -4, 2*u + 374 = -2*h + j*h. Is h composite?
False
Let p = -177 - -272. Suppose -4*s - p = -9*s. Is s composite?
False
Suppose 4*u - 2016 - 1767 = -5*c, 3*c - 3*u - 2259 = 0. Is c composite?
True
Suppose -4*i + 0*i + 20 = 0. Suppose -i*q + 132 = -q + 5*d, 0 = -2*q + 5*d + 66. Is q prime?
False
Suppose -6*s + 844 = -2*s. Is s composite?
False
Let y(s) = s**2 - 5*s + 3. Let o be y(4). Let c be (0 + 0)/(1/o). Suppose 3*r - p + 56 - 193 = c, -2*p = -2. Is r prime?
False
Let o(n) = -2*n - 10. Let t be o(-8). Let z(a) be the first derivative of 13*a**2/2 + a - 2. Is z(t) a prime number?
True
Suppose -367 + 131 = -2*k. Is k composite?
True
Suppose -10*j + 9*j = -307. Is j prime?
True
Let k(g) = -g**3 - 14*g**2 - 13*g + 7. Is k(-13) composite?
False
Let i(k) = 2*k + 10. Let g be i(-3). Let c = g + 17. Is c prime?
False
Let y(n) = n**3 + 12*n**2 + 5*n + 5. Let t be y(-10). Is t/(((-4)/(-2))/2) prime?
False
Let b be 15/(-10) - 17/(-2). Let d(i) = i**3 - 4*i**2 - 4. Is d(b) prime?
False
Suppose 1949 = n + 3*v, 3*v + 1970 + 5796 = 4*n. Is n a composite number?
True
Let s(p) = p**2 + 9*p - 31. Is s(-13) a prime number?
False
Let h(c) = -c**3 - c**2 + 5*c - 3. Let u be h(-5). Let y = u + -15. Suppose -2*d + y = d. Is d composite?
False
Let w be (-1 + -1)/((-1)/(-3)). Let a(u) = u**3 + 11*u**2 + 7*u - 7. Is a(w) a composite number?
False
Suppose 5*b - b = 0. Let c = b + 2. Is c*(-1 - (-219)/2) a prime number?
False
Let s = 97 - 26. Let f = s + -45. Is f composite?
True
Suppose 2*o - 5*z - 9 = 0, 0 = -o + 5*o + 5*z - 3. Suppose -o*n + 0*n + 86 = 0. Suppose 0 = 3*c - 4*q - 49, -3*q + n + 41 = 3*c. Is c composite?
False
Let j(l) = l**3 - 4*l**2 - 8*l - 2. Let r be (-6)/(0 - 6/21). Suppose 5*m = 9 + r. Is j(m) prime?
False
Suppose -3*t - 5*v = -0*v - 10244, t - 3408 = -5*v. Is t a prime number?
False
Suppose -4*p + 0*p + 7556 = 0. Is p a prime number?
True
Let r be (-1)/((-3)/(-33)*-1). Let q(m) = 2*m**2 + 9. Is q(r) composite?
False
Suppose 0 = 4*p - p - 1005. Is p prime?
False
Let d(h) = h**2 + 10*h + 10. Let t be d(-9). Let m be ((-1)/2 + t)*24. Let q = m + 65. Is q a prime number?
False
Suppose -449 + 1652 = 3*b. Is b prime?
True
Let h(q) = -5*q**2 + 2*q + 1. Let g be h(-1). Let r be g/8 + (-33)/4. Is 6/r + 312/9 a composite number?
True
Suppose -5*c - 3*u = 20, 4*u = 4*c + 3 - 19. Let h = c + 1. Let a = 31 + h. Is a prime?
True
Suppose -3*v + 0*v = -537. Is v a prime number?
True
Let h(u) = -u**2 - 6*u + 3. Let t be h(-6). Suppose 18 = -0*k + t*k. Suppose n = k*n - 105. Is n prime?
False
Suppose -o = -4*v + 2523, 0 = -2*v - 2*o + 1144 + 120. Is v composite?
False
Suppose 5 + 7 = 3*n. Suppose -n*i + 410 = -2*i - 2*l, -l = -5*i + 1017. Is i a prime number?
False
Suppose 4*v - 24 = b, v - 5*v + 36 = -4*b. Let f(m) = -6 - 32*m + 4 + 1. Is f(b) a composite number?
False
Let o = 615 + -202. Is o prime?
False
Let t be ((-1)/(-3))/((-4)/(-48)). Let r be (t + -7)/((-2)/(-14)). Is ((-662)/(-6))/((-7)/r) prime?
True
Suppose o - 4*b = 91, 2*o - 259 = 2*b - 89. Is o a composite number?
False
Let y be (3/9*3)/1. Let t be (-1 - -1)*y/2. Is t + (52 - (-1)/1) prime?
True
Let z(q) = -q**3 - 6*q**2 - 8*q - 10. Suppose -u + 2*x = -12, 0 = u - 0*u + 4*x + 12. Suppose 0*k - 2*k + 2*w = u, 0 = -3*w - 15. Is z(k) a composite number?
True
Suppose -i - 22 = 4*i + 4*h, -h + 2 = 0. Let o = i - -10. Suppose 0 = o*n + n - 35. Is n composite?
False
Is ((-7*4)/(-2))/((-6)/(-807)) prime?
False
Suppose 3*d - 757 = o, -4*d + o = 3*o - 996. Is d a composite number?
False
Suppose -3*y - 14 = -5*y. Let v(j) = 21*j**3 - 9*j**2 + 3*j - 13. Let b(x) = -11*x**3 + 4*x**2 - x + 6. Let n(p) = y*b(p) + 3*v(p). Is n(-2) a prime number?
False
Let w(m) = -2*m - 4. Let n be w(-6). Suppose -2*u = 3*z - n, -4 + 10 = 2*z + 2*u. Suppose -4*p - 477 = -3*g, z*g + 2*g + 4*p - 608 = 0. Is g a composite number?
True
Let k(n) = -4*n + 5. Let c(o) = 4*o - 5. Let d(q) = -6*c(q) - 7*k(q). Is d(10) composite?
True
Let m(u) = 81*u + 5. Is m(1) prime?
False
Let f(n) = 2*n**2 - 3*n. Let r be f(4). Let o = r + -14. Is o prime?
False
Let m = -8 - -10. Suppose 63 = -m*v + 5*v. Is v prime?
False
Let p(g) = -g**3 + 4*g**2 + 6*g - 3. Let s be p(5). Suppose -60 = -c - s*t + 41, c + 5*t = 107. Is c prime?
True
Let k(q) = q**3 - 6*q**2 + 2*q - 1. Is k(6) composite?
False
Let z(o) = -109*o - 4. Is z(-3) a prime number?
False
Let g(s) = -s**3 + 2*s. Let a be g(-2). Suppose -4*z = -v + 5*v - a, -2*z = -v + 1. Suppose -u + 4*u - 633 = z. Is u a composite number?
False
Let l(u) = -u**3 - 5*u**2 - 4*u. Let i be l(-4). Let q be (0 - -2)/(-2)*i. Suppose j - 54 = -4*n, 10 + q = -5*j. Is n composite?
True
Let n(u) = 71*u**2 + u + 1. Suppose -5*v + s - 3 = 0, 3 = v + 3*s + 10. Is n(v) prime?
True
Suppose 17 = -2*w - 4*y + y, -w = -y + 16. Let p(r) = -55*r - 14. Is p(w) prime?
True
Suppose 0*u + 5*u = 4*a, 5*a - 25 = 0. Suppose -u*x = -7*x. Suppose -2*g + 70 = -x*g. Is g composite?
True
Suppose -3*b - 4*w = -4095, -2*b + 6*w - 3*w = -2713. Is b prime?
True
Let i = 4 + -1. Suppose -5*w + 20 = -4*n, 3*w - i*n = 12 - 0. Let y = w + 3. Is y prime?
True
Let o(h) = 3*h - 12. Let t be o(9). Suppose d = -66 - t. Let j = -46 - d. Is j a prime number?
False
Suppose -4*m - 24 = 4*x, -2*x - 2*m = -x + 10. Let z be x/6 + 4/(-6). Is (z/2)/((-2)/260) a composite number?
True
Let t(y) = 4*y**2 + 42. Let g(x) = 5*x**2 + 41. Let s(n) = -5*g(n) + 6*t(n). Let z(m) = -m**2 + 3*m - 2. Let o be z(2). Is s(o) a composite number?
False
Suppose 5*a - 1 = 19. Suppose 3*o = a*r + 397, -o + 5*r + 45 = -102. Is o prime?
True
Let j be (-2)/(-2 + 4)*1. Let g(a) = a**3 + a**2 + 3. Let l be g(0). Let h = j + l. Is h a composite number?
False
Let j = -2 + 4. Let o(z) = -14*z - 4 + 0 + 0 - z**j + 3. Is o(-6) prime?
Tr