5 + 1984/52 a composite number?
True
Is (2517*(-6)/(-9))/2 prime?
True
Let v(s) = 7*s - 2. Let i(a) = -3*a + 1. Let y(k) = -11*i(k) - 6*v(k). Let p(u) = -u**2. Let l be p(-2). Is y(l) composite?
False
Is (-6729)/(-15) - (-4)/10 a composite number?
False
Let a be -2 - ((-21)/3 - -1). Suppose k = a*k + 180. Let z = 109 + k. Is z composite?
True
Suppose 0*p = 3*p. Suppose -5*a + 60 + 485 = p. Suppose 5*y - w = a, -2*w = -2*y + 3*w + 39. Is y composite?
True
Let p(j) = -30*j - 1. Is p(-3) a prime number?
True
Suppose -4*l - 628 = -6*l. Suppose -5*w = -0*w - 2*w. Suppose -n - n + l = w. Is n a composite number?
False
Let q(w) = 1. Let h(f) = -20*f - 8. Let g(r) = -h(r) - 5*q(r). Is g(8) prime?
True
Let b(h) = 78*h**3 - 1 + 0*h**2 + h**2 + h + 0. Suppose 0 = -3*i - 2*i + 5. Is b(i) prime?
True
Let f = 9 + -3. Is (f - -1)/(1/73) a prime number?
False
Let l(b) = -b + 124. Let i be l(0). Suppose 2*q = x + 78, -5*x = -2*q + i - 30. Is q composite?
False
Suppose 0 = -p - 2*p. Suppose p = -d + 3*d + 440. Is d/(-8)*4/5 prime?
False
Suppose 2886 = 42*v - 36*v. Is v composite?
True
Let k = 1199 - 790. Suppose 2*r - k = -111. Is r prime?
True
Suppose -h + 2*g = 30, 5*h + 6*g = 4*g - 150. Let u = h - -43. Is u composite?
False
Let l(u) = u**2 + u + 9. Let v be l(6). Suppose 0 = -4*p + 4*i + 508, 3*i - 203 = -2*p + v. Is p prime?
True
Let z(s) = -8*s + 3. Suppose 0 = 3*w - 5 + 47. Let c = w + 10. Is z(c) a prime number?
False
Suppose 5*w + 4*t = -2 - 12, -4*t = -w + 2. Is (-8)/w*(-212)/(-16) a prime number?
True
Suppose 3 = a + 13. Let g be 4/a + 92/5. Suppose 0*b = -3*h + 3*b + 6, -4*h + 2*b + g = 0. Is h a composite number?
False
Let c = 17 + 13. Let o = c - -855. Is o/25 + (-4)/10 composite?
True
Let q(d) = d**3 - 2*d**2 + d - 3. Suppose 0 = 5*f - 31 + 6. Suppose -15 = -5*x - z + 12, 5*x - 15 = f*z. Is q(x) a composite number?
True
Suppose 2*f - 7 - 5 = 0. Suppose -f*x = -7*x + 127. Is x composite?
False
Suppose -1673 = 5*c - 15348. Is c prime?
False
Suppose -3*u - 16 = 2*f, -5*f = 5*u + 6 + 24. Is f/3 + (-269)/(-3) prime?
True
Let h = -87 - -90. Is h a composite number?
False
Let s be (-2)/((-2)/(-3)) - -4. Suppose -3*z = 4*r - 19, -s = 4*r + 4*z - 17. Is r composite?
False
Suppose 0 = 3*j + o - 5075, -4*j = -8*j - 5*o + 6752. Is j composite?
False
Let g = -1 - -3. Suppose 3*w = 2*f + g*f + 10, f - 2*w + 5 = 0. Let d = 6 - f. Is d composite?
False
Is (5 - 3)*(-57)/(-6) a composite number?
False
Let l = 137 + -34. Let u = l + 26. Is u a composite number?
True
Suppose 4*s - 7 - 5 = 0. Is s*2/2*1 composite?
False
Suppose 0 = -b + 2*d - 398 + 1467, 2*d = 4*b - 4252. Is b a composite number?
False
Let j(k) = -k - 3. Let o be j(3). Let a(b) be the second derivative of -b**5/20 - b**4/2 - 7*b**3/6 - 7*b**2/2 - b. Is a(o) prime?
False
Suppose -4*p + 3 = -5. Suppose -p*h = 25 + 13. Let c = -4 - h. Is c a composite number?
True
Let z be (-1 + -2)/(3/(-3)). Let x be -15*z*(-1)/5. Let g = x - -2. Is g a prime number?
True
Let v = 104 + 199. Is v a composite number?
True
Suppose -2*m + 312 = -78. Suppose -2*q = -3*q + 3. Suppose 5*n - m = -5*g, q*g - 4*n - 72 - 17 = 0. Is g a prime number?
False
Suppose g - 757 - 150 = 4*f, -4*f = 5*g - 4463. Is g a prime number?
False
Let a = -3 + 3. Let w be (a + 1)/(7/21). Suppose -p = -w*b + 164, 270 = 7*b - 2*b - p. Is b a prime number?
True
Suppose 2*j + 3*x = -0*j + 269, -3*j + 411 = 3*x. Is j a composite number?
True
Suppose 4 = -5*l + 4*i - 4, 4 = 2*l + 2*i. Let s(x) = x + 2. Let c be s(l). Suppose 4*w + 123 = c*n + 13, -165 = -3*n + w. Is n a composite number?
True
Let c = 9 + 6. Suppose 0 = 3*q + c, 2*y + 2*q - 363 - 129 = 0. Is y prime?
True
Suppose -2*t - 489 = -5*t. Suppose 0 = -3*b + 796 - t. Is b a prime number?
True
Let z(j) = 40*j - 19. Is z(15) a composite number?
True
Let g = 140 + -64. Suppose 0 = -l + 5*l - g. Is l a prime number?
True
Suppose 0 = -3*c + 4*q - 43, 2*c - q + 14 = -2*q. Let v = c + 43. Is v composite?
True
Let f(w) = -3*w**2 - w + 8. Let n(d) = -7*d**2 - 2*d + 15. Let b(i) = -5*f(i) + 2*n(i). Let r be b(0). Is (-4)/r - (-813)/5 a composite number?
False
Let h = 45 - -3. Let b = h + -34. Suppose f = -0*f + b. Is f a prime number?
False
Suppose -5*c = -4*m + 663, 9*c + 678 = 4*c - m. Let z = -40 - c. Is z prime?
False
Let c = -465 + 846. Is c a composite number?
True
Let u(h) = -h**2 + 4*h - 1. Let q be u(3). Suppose -q*y - 3*y - t = -260, -4*y + 3*t + 189 = 0. Is y prime?
False
Suppose 2633 + 216 = 7*l. Is l prime?
False
Let i = 8 - 16. Is 786/10 + i/(-20) a composite number?
False
Let w = -134 + 42. Is 2*(w/(-8) - 0) composite?
False
Suppose 0 = 41*l - 40*l - 6899. Is l prime?
True
Let t = -229 - -520. Is t a composite number?
True
Suppose 0 = -3*f + 2*f + 6. Suppose z + 155 = f*z. Is z a composite number?
False
Suppose -2*p = 3*p - 155. Suppose -3*r + 3 = -9. Let j = r + p. Is j a prime number?
False
Suppose -2*n + 4*n = -3*i + 925, 4*n = -2*i + 622. Is i a composite number?
False
Suppose 5*t + 2*d + d - 12170 = 0, 5*t - 12195 = 2*d. Is t composite?
False
Let p(r) = r**3 + 5*r**2 + 6. Let q be p(-5). Let i(z) = z**2 - 3*z + 3*z - 1. Is i(q) a composite number?
True
Let f(b) = -b**2 - 5*b + 6. Let t be f(-6). Let d be 28 - (t + 3/3). Suppose -39 = -3*j + d. Is j prime?
False
Suppose -2*y - 2*a - 46 = -4*a, 2*a + 8 = 0. Let k = 28 - y. Is k prime?
False
Suppose 5*x - 5*p = 1230, -4*x + 488 = -2*x - p. Suppose 2*n = -4*m + x, 58 = m - 0*m - 2*n. Suppose 5*s = -25, -5*d + 25 + m = -3*s. Is d prime?
False
Let t(w) be the third derivative of w**8/10080 - w**7/360 - w**6/720 + w**5/20 - w**2. Let j(n) be the third derivative of t(n). Is j(10) prime?
True
Let j be 1/(3/12 - 0). Suppose -14 = -j*a + 3*a. Let r = a + -8. Is r a prime number?
False
Let t(r) = -r**3 + r**2 + 4. Let k be t(0). Let g = 87 + k. Is g prime?
False
Suppose -9 = -z - 2*p, 0 = 4*z - 6*p + p - 36. Is (3/z)/((-1)/(-69)) a prime number?
True
Suppose 19*u = 15*u + 260. Is u a prime number?
False
Let b = 2327 + 2828. Is b a prime number?
False
Let a(n) = -52*n**3 + n. Let j be a(-1). Let g = 6 - -142. Let o = g - j. Is o a composite number?
False
Let y(x) = 17*x**2 + 2*x + 1. Is y(-4) prime?
False
Let f = 4 - -1. Suppose -15 = -2*o + f*v, -5*o - 5*v + 20 = -0*o. Suppose 48 + o = 3*y - 4*l, 0 = 2*y - 3*l - 35. Is y prime?
True
Let p be (-58)/(-2) + 0 + 0. Let a = p + 1. Is 1 + a + (0 - -2) prime?
False
Is 2 - (-535 + (-12)/3) prime?
True
Let n(m) = m**2 - 3*m - 12. Is n(-7) prime?
False
Suppose -6*w = -2*w + 4*d + 20, -3*w - 2*d = 11. Is -6 - -5 - (w - 223) composite?
False
Suppose -f - 189 = -2*t - 477, -3*t = -9. Let u = 85 + 46. Let c = f - u. Is c a composite number?
False
Let c = -2 + 7. Suppose c*d + 1271 = 4*u, -3*d = 4*u + 2*d - 1281. Is u composite?
True
Is 6/2 + (-892)/(-2) a prime number?
True
Let s(k) = k**2 - k. Let v be s(1). Suppose 0 = 2*m - v*m + 2, -x + 4 = -4*m. Suppose 3*y - 183 - 216 = x. Is y a composite number?
True
Suppose 2*f = -3*f + 5*v + 935, -2*f = -5*v - 386. Is f composite?
True
Let x(z) = -3*z - 3. Is x(-8) a composite number?
True
Let n = -180 - -255. Let q = 10 - 30. Let f = q + n. Is f a prime number?
False
Suppose -4*c = 4*k, 3*k + 2*c = 3*c. Suppose -299 = -5*x - 2*b, k = 2*x - 5*x + 3*b + 171. Is x prime?
True
Let m(h) = -2*h**3 - 10*h**2 - 2*h + 23. Is m(-10) prime?
False
Suppose -2*a + 1380 = -208. Is a a composite number?
True
Suppose -3*r + 1723 = -1268. Is r composite?
False
Suppose 2 = -3*h + 5. Is h*-53*(-2 + 1) prime?
True
Suppose -2*d + 7 = -d. Suppose 0 = 5*c + g + 94, 23 - d = -2*c + 5*g. Is (c/(-4))/(4/8) prime?
False
Let m be (-10 + 79)/((-2)/(-28)). Is (2/3)/(4/m) a prime number?
False
Suppose -2*b + 5*h + 185 + 2514 = 0, -b = 4*h - 1317. Is b composite?
True
Let t(s) = s**2 + 7*s + 5. Is t(6) prime?
True
Suppose -2*w = 3*w + 45. Is w/(-18)*(-226)/(-1) composite?
False
Let u be (3 - 5)*(-3)/2. Suppose -4*f = -2*i + 30, 37 = u*i - 0*f - 2*f. Let w = i + 20. Is w a composite number?
False
Let c be (2/1)/((-6)/(-15)). Suppose -c*d = 3*j - 2, 10 = -5*d - 0. Let p = j + 19. Is p a prime number?
True
Let k(o) = -o + 5. Let b be k(5). Suppose 0 = f - 109 - 199. Suppose 0 = -4*r - b*r + f. Is r prime?
False
Let y(b) = 2*b**3 + 10*b**2 - 4*b + 8. Let a(l) = l**3 + l**2 + 1. Let r(x) = 3*a(x) - 