 Is v a prime number?
True
Let b(h) = h**2 - 4. Let n be b(3). Let v = 94 - n. Is v a composite number?
False
Suppose 5*c - 1523 = 1542. Is c prime?
True
Let k(c) = -c + 7. Let a be k(4). Suppose -5*l - 3*p + 818 = 0, 1 + 2 = a*p. Is l composite?
False
Let y(n) be the first derivative of -8*n**2 + 13*n - 2. Is y(-9) prime?
True
Suppose 463 + 72 = a. Is a a prime number?
False
Suppose -2*n = -n. Suppose -d + 163 = -4*u, -4*d + 652 = -n*d - 5*u. Suppose -3 = -s, -2*f + 2*s - 7*s + d = 0. Is f prime?
False
Suppose v + 0*v = 28. Suppose 2*r - k = 165, 3*r - 5*k = v + 216. Suppose 0 = -2*g + r + 155. Is g prime?
False
Let o = 65 - 120. Is (o/10)/(1/(-22)) a composite number?
True
Let u = 14 + -2. Suppose -5*x - 3*h = 1, -3*x - 2*h - 4 = 2*x. Let k = x + u. Is k composite?
True
Let j be (4/4)/(1/(-69)). Let w = -6 - 14. Let c = w - j. Is c prime?
False
Let r = 126 - 70. Let i = r + -3. Is i composite?
False
Suppose -5*k + 0*z + 8595 = -2*z, 3*k = z + 5156. Is k a prime number?
False
Suppose u + 30 = 4*u. Let b = 8 + -4. Suppose b + u = s. Is s a prime number?
False
Is 6/10 + ((-1124)/(-10))/1 a prime number?
True
Let v = 209 + 82. Is v a prime number?
False
Let z(b) = -15*b - 1. Let s be z(-1). Suppose -d + 99 = -s. Is d a prime number?
True
Let o be ((-4)/(-2))/(1 - -1). Let s(t) = 2*t**2 + 4*t**2 - t**2 + t. Is s(o) composite?
True
Suppose -2*g = 0, 5*g + 8 = 4*r - 0*r. Suppose -4*z - 112 = -4*q, 4*q + 4*z = 3*q + 33. Suppose r*m + j = q, 67 = 5*m - 0*j - 3*j. Is m prime?
False
Let c = -13 + 7. Is (-3)/6 + (-465)/c composite?
True
Let l be (-2 - -2)/(-2 + -1). Suppose 2*g + 12 - 86 = l. Is g prime?
True
Let t(m) = -29*m. Suppose 0 = -6*y + y - 25. Is t(y) a composite number?
True
Suppose 3*k + 0*k = 1179. Is k a prime number?
False
Suppose -3*f + 6 = -f. Let k be 33/4 + (-1)/4. Suppose 0 = f*r - k*r + 395. Is r composite?
False
Let p(w) = 2*w**2 - 6*w + 7. Let j(v) = 3*v**2 - 6*v + 7. Let x(y) = -3*j(y) + 4*p(y). Is x(-6) a prime number?
True
Suppose 2*y + 3*a = 1328, -a - a = 4. Is y composite?
True
Let f(m) = 2*m - 20*m**2 + 110*m**3 + 18*m**2 - m. Is f(1) prime?
True
Suppose 0 = -4*l + 2*l + 8. Suppose -l*a + 145 = z, 5*z - a - 248 = 540. Is z composite?
False
Let f = 12 + -8. Suppose f*g + 0*g - 784 = 0. Suppose -2*s = 2*s - g. Is s a composite number?
True
Let a = 5254 + -2919. Suppose 5*q = -0*q + a. Is q prime?
True
Suppose 0*x + 12 = 3*x. Let a be 3 + x*-3 - -2. Let b(p) = p**3 + 8*p**2 + 2*p + 2. Is b(a) prime?
True
Let c be ((-6)/(-2))/(3/3). Suppose 0 = -2*m + 4*j - 88, c*j = -4*m - j - 140. Let o = -25 - m. Is o prime?
True
Let v = 5893 + -962. Is v a prime number?
True
Let i(y) = y**3 - 7*y**2 + y + 1. Let v be i(6). Suppose -2*f + 10 = -t, 3*f + 0*f + 11 = -5*t. Is f*(v/(-3) + -1) composite?
True
Let y(z) = -2*z**2 + 9*z - 8. Let l(d) = d - 1. Let b(u) = 6*l(u) - y(u). Let p be b(2). Suppose p*a + a = 10. Is a a composite number?
False
Let w(z) = 528*z - 27. Is w(7) a prime number?
False
Let a = 7 + 8. Let x(o) = -o**3 + 15*o**2 + 4*o - 3. Is x(a) prime?
False
Suppose -5*a = -5, -5*a + 0 + 258 = d. Is d prime?
False
Suppose c = 3*c - 200. Let z be (-2953)/(-13) - (-6)/(-39). Let p = z - c. Is p prime?
True
Let u(x) = -x**2 - 7*x - 5. Let q be u(-5). Suppose 171 = -q*b + 766. Is b composite?
True
Let l(c) = 2*c - 4. Let i be l(3). Suppose 4 = -4*g, -i*o - 5*g + 175 = o. Suppose -3*h = -3*t + 2*h + o, 4*h + 72 = 4*t. Is t a composite number?
True
Let n = -565 - -1106. Is n a composite number?
False
Suppose -5*m + 18 = -177. Is m composite?
True
Suppose 10 = -4*y - 10. Let t(b) = -b**3 - 6*b**2 - 6*b - 1. Is t(y) prime?
False
Suppose 2*b + 3*b = i + 3388, -2*i + 671 = b. Is b a prime number?
True
Let i(r) = -46*r. Let v(j) = 31*j. Let q(y) = 5*i(y) + 7*v(y). Let l = 1 + -3. Is q(l) a prime number?
False
Suppose -3*o = 2*p - 1059, -3*o + 750 = -4*p - 309. Is o a composite number?
False
Suppose -3*p + 4*s + 10829 = 0, -4*p = -3*p - s - 3609. Is p prime?
True
Suppose 4*y - 13 = 3*x, y + 2*x - 8 = -2. Suppose -j + 77 = -y*a, 7*j - 351 = 2*j + 3*a. Is j a composite number?
True
Let a(n) = -54*n. Let b be a(-3). Suppose -5*k + 422 = b. Is k/(2*(0 - -1)) composite?
True
Suppose -g + 5*g - 5*o - 18 = 0, 2 = -o. Let p(u) = 77*u**2 - u + 1. Is p(g) composite?
False
Let h = 57 + -27. Suppose 5*l = 3*o + h, 4*o = l - 18 - 5. Let w = o + 20. Is w composite?
True
Let u = 86 - 60. Is u a prime number?
False
Let f = 13 - 19. Let c be 20/6 + (-4)/f. Is (-2 - 0)*(-190)/c prime?
False
Suppose -l + 0*r + 4*r = -203, 418 = 2*l - 2*r. Is l a prime number?
True
Let n(d) = -81*d + 35. Is n(-8) a prime number?
True
Let f(a) = -a**3 - a - 1. Let r be f(-2). Let l be 1/(-3) - (-3)/r. Is (-1 + l)/((-2)/74) a prime number?
True
Let l = 0 + 257. Is l composite?
False
Let j be (-3 + 4)*22/2. Suppose 2 = -g + j. Is g prime?
False
Suppose -5*j = t - 260, 2*t = 2*j - 152 + 36. Is j a prime number?
True
Suppose 829 = 4*g + 5*y, -2*g - 835 = -6*g - 3*y. Is g a prime number?
True
Let r = -677 + 1176. Is r a prime number?
True
Suppose 5*a + 3*v + 8 + 21 = 0, -a = -5*v + 17. Is 1 + a/(14/(-36)) a composite number?
False
Let s be (-2 - -4)*1/(-1). Suppose -8 = -i - r, -r + 2 = -2*i + 12. Is s/(-4) + 531/i composite?
False
Let m(b) = 16*b**2 - 9*b - 14. Is m(-5) composite?
False
Let w(m) = -m**3 - 5*m**2 + 4*m - 8. Let f be w(-6). Suppose -2*y = -2*q + 286, -f*y - y + 4*q = 711. Let k = -26 - y. Is k a prime number?
True
Let r = -21 - -34. Suppose -3*x + 5*u = -x + 16, x = 5*u - r. Is (127 - -2) + 6/x a composite number?
False
Let k(g) = 3 - 2 - 1 + 287*g**2. Is k(1) a prime number?
False
Suppose b - 3*j - 6 = 0, 7*j = 4*j + 15. Let x = 26 + b. Is x a composite number?
False
Suppose -5*d = -2*d, 5*b + 3*d = -800. Let o = -107 - b. Suppose -f = -0*f - o. Is f prime?
True
Let r = 12 - 7. Suppose -2*i - 165 = -r*i. Is i composite?
True
Suppose 0*o + 4*o = 0. Suppose o = 2*k + k - 75. Let j = k - 12. Is j composite?
False
Suppose 1126 = y + 5*g, 4*g + 9459 - 3742 = 5*y. Is y a prime number?
False
Suppose 169 = b - 9. Is b composite?
True
Suppose -5*f - 201 = -g, -3*g + 958 - 279 = 4*f. Is g prime?
False
Let a(u) = 4*u**2 + 12*u - 3. Let h(k) = 3*k**2 + 11*k - 2. Let p(c) = 5*a(c) - 6*h(c). Is p(-4) composite?
False
Let l = -18 - -9. Let q be 0/((-6)/l*-3). Suppose -392 = -5*f + 2*m + 233, q = 2*f + 5*m - 279. Is f a composite number?
False
Let g(v) = v**3 - 10*v**2 + 8*v + 11. Is g(9) composite?
False
Let i(m) be the first derivative of -m**6/60 - m**5/60 + m**4/8 + m**3/6 - m**2/2 - 2. Let v(u) be the second derivative of i(u). Is v(-3) composite?
False
Suppose 4*x + 20 = 0, -2*k + 3 = 2*k + 5*x. Suppose -k*q + 159 = -4*q. Is q a prime number?
True
Let f = 7 + -5. Is (f/(-3))/(12/(-5526)) composite?
False
Let i(k) = 9*k**2 - 21*k + 13. Is i(9) a prime number?
False
Let y = 11832 + -7051. Is y prime?
False
Let y(w) = -w**2 + 3*w. Let p be y(2). Let n be 17*(-2 + p*3). Let d = n + -35. Is d a composite number?
True
Suppose m + 4*s = 5, -5*s + 29 = -5*m + 4. Is (15/(-10))/(m/466) a composite number?
False
Is 2 + (56 - 3)/1 - 0 prime?
False
Let k(o) = 2*o**2 + 8*o - 9. Let m(a) = a**2 + a - 1. Let b(r) = -k(r) + 6*m(r). Is b(-7) a composite number?
True
Let m be 4*(-2)/(-8)*251. Suppose -3*w + m = 74. Is w a composite number?
False
Let a(m) = 13*m - 9. Let r(h) = 12*h - 10. Let j(v) = -3*a(v) + 2*r(v). Is j(-8) a prime number?
True
Suppose -s + c = -2*s + 9, 0 = -5*s + 4*c. Let n = s + 0. Suppose n*t - 2*m - 17 = -3, -2*t + 3*m = 3. Is t composite?
True
Suppose 5*x - a - 18 = -4*a, x - 5 = -2*a. Suppose -2 - x = -w. Suppose w*y - 140 = -3*g, -2*y - 290 = -5*g + y. Is g prime?
False
Let g = 16 - -33. Is g a prime number?
False
Suppose 3*l - 35 = 2*l. Is l prime?
False
Suppose -18 = -4*z - 3*s, 0 = -2*z - 2*z + 2*s + 8. Suppose -44 = -z*x + d, -2*x - 3*d + 6 = d. Is x a composite number?
False
Let y = -4 + 6. Is (-1)/y - 95/(-2) a prime number?
True
Suppose -5*w = -398 - 142. Let l = 185 - w. Is l a prime number?
False
Suppose 11576 = 17*l + 322. Is l prime?
False
Suppose 3*t - 2*t = 6. Let z(h) = h**3 + h**2 + h + 1. Is z(t) prime?
False
Let o(b) = 192*b**2 - b - 2. Suppose 0*x + x + 1 = 0. Is o(x) prime?
True
Suppose 1232 = 5*h - 258. Is h a composite number?
True
Let c(h) = -h*