o. Is d a prime number?
True
Let r = 12 + -16. Let n(a) = -8*a**3 + 1. Let f be n(-1). Let p = f - r. Is p prime?
True
Suppose 5*a + 46 = -4*j, 2*a = 7*a - j + 51. Let t = -15 - a. Let z(w) = 12*w**2 - 2*w - 3. Is z(t) a prime number?
True
Let s(u) = -u**3 + u**2 + u + 33. Let z = 14 - 9. Suppose -b - 4*x + 0*x = 0, 4*b = z*x. Is s(b) composite?
True
Is -1 + 0 - (-675 - 3) composite?
False
Suppose 2*v + 12 = -24. Is (-266)/(-18) + (-4)/v a prime number?
False
Let n be (2 - (2 + 0)) + 4. Suppose 0 = -n*h + 2*h + 8. Suppose 2*w - 171 = -h*l + 75, 0 = 4*l + 5*w - 261. Is l a composite number?
False
Let r(j) = j**3 + 9*j**2 - j + 13. Is r(-6) a composite number?
False
Let x = 0 - 6. Let j(w) = 6*w**2 + 3*w - 3. Let u be j(x). Is u + -3 + 1/(-1) composite?
False
Let o = 474 + -143. Is o composite?
False
Let b be (-63 + 6)*(-1 + 0). Suppose 5*w + 22 = b. Suppose 5 = 3*u - w. Is u a prime number?
False
Suppose 0 = -2*o + d + 8, -2*o - 5*d = -0*o + 16. Suppose b + 3*g = 7*g - 4, -o*b + 5 = 5*g. Suppose b - 24 = -4*i. Is i composite?
True
Let b = 1198 + -529. Suppose -2*d = 139 - b. Is d a prime number?
False
Suppose -2*y = o, o - y = 6 - 3. Suppose -5*w + 155 = o*r, 30 = 2*r + w - 105. Is r a prime number?
False
Let g = 78 + -42. Is ((-477)/g)/((-1)/4) composite?
False
Suppose -4 = 5*h - 29. Let d = -5 + h. Suppose d = 2*w + f + 4*f - 162, -253 = -3*w - 5*f. Is w a prime number?
False
Suppose 0 = 2*x - 8 - 12. Let g(h) = 2 - h**2 + 5 + 14*h + 2. Is g(x) prime?
False
Let w(m) = -3*m + 45. Let c be w(13). Let g(h) be the third derivative of 2*h**5/15 - h**4/3 - 5*h**3/6 + h**2. Is g(c) composite?
True
Suppose 69 = 2*g - 79. Is g composite?
True
Suppose -g + 6 = -0. Suppose g*i - 223 = 1055. Is i a prime number?
False
Let q(c) = -2*c - 2*c**2 + 0*c**2 - 2*c + 3*c**3 + 6*c**2 + 3. Is q(2) composite?
True
Let m = -94 - -239. Is m a composite number?
True
Let s(w) = -15*w**3 - 8*w**2 - 6*w - 5. Let a(y) = 30*y**3 + 15*y**2 + 11*y + 9. Let x(f) = 6*a(f) + 11*s(f). Is x(2) composite?
False
Suppose -g = 3*g + 1356. Is -2*(g/6 - 0) composite?
False
Let y(l) = 2*l**3 - 7*l**2 - 6*l - 7. Let n = -10 + 18. Is y(n) composite?
False
Is (-4 - -4) + -134*(-1)/2 prime?
True
Is 2*-1 - 26*26/(-4) a composite number?
False
Is 4/3*(-35718)/(-8) prime?
True
Suppose g + 4*g = w - 39, 0 = -2*g - 3*w - 19. Let h = 27 + g. Is h a prime number?
True
Let w = 4 + 14. Let l = -7 + w. Is l a composite number?
False
Let h(k) = -2*k**3 - 14*k**2 - 15*k - 5. Let w(a) = -7*a**2 - 8*a - 4*a**3 + 0*a**3 + 3*a**3 - 3. Let o(r) = -3*h(r) + 5*w(r). Is o(-5) prime?
False
Suppose -t = t - 814. Is t prime?
False
Let q = 18 - -17. Is q a prime number?
False
Let h(s) = s**3 - 4*s**2 + 3*s + 7. Suppose 2*w - 3*g = 16, w + 6 - 1 = -5*g. Is h(w) prime?
True
Let o be 1/4*-2*0. Suppose o = -t + 2. Suppose -5*u - 3*j = 2*j - 75, -t*j = -2*u + 26. Is u prime?
False
Let b = -63 + 434. Is b a composite number?
True
Suppose 5*p + 10 = -3*k - 4, -4 = 4*k + 3*p. Suppose -4*i = 5*r - 1467, -k*r - 91 = -5*i + 1784. Is i a prime number?
True
Suppose -3*p = 3*l + 2*p - 113, 2*p - 160 = -4*l. Let z = l + -19. Is z a prime number?
False
Suppose -21 = -c + 14. Is c a composite number?
True
Let y(c) = -10*c**3 + 20*c**2 - 2*c - 14. Let b(s) = -7*s**3 + 13*s**2 - s - 9. Let r(a) = -7*b(a) + 5*y(a). Is r(8) a composite number?
True
Suppose -a = -2*f + 7, -2*f + 11 = 1. Suppose -a*h + 17 = 2*p, -4*h - 2 = -3*p + 15. Is p a prime number?
True
Is (3/(-6))/((-1)/586) a composite number?
False
Suppose -2*q - 3*q - 17943 = 3*j, 5*j + 5 = 0. Is (q/36)/((-1)/3) prime?
False
Let r(b) = b**3 + b**2 - 2*b + 89. Is r(0) prime?
True
Let f = 4 + -4. Suppose 0 = -3*k - f*k - 12. Is (-138)/(-9)*(-42)/k a prime number?
False
Let y(k) = -3*k**2 + 8*k + 9. Let u(w) = 2*w**2 - 9*w - 9. Let s(m) = 4*u(m) + 3*y(m). Suppose p = -6 - 4. Is s(p) prime?
True
Let p(n) = 48*n - 1. Let d be -2*(-1)/4*2. Suppose d - 6 = -5*t. Is p(t) prime?
True
Let r(v) = -v**3 + 3*v**2 + v + 134. Is r(0) prime?
False
Suppose -2*q + 45 + 89 = 0. Is q a prime number?
True
Suppose -j + 3*z = -0*j + 3, -j - 2 = -2*z. Suppose 0 = 2*m - 4, -2*k - 10 = -j*m - 4*m. Is k + (-6)/3 + 334 a prime number?
True
Suppose -2*p - 2*p + 36 = 5*z, -5*p = -20. Is (z/(-8))/((-2)/84) a prime number?
False
Let q(b) = 3*b**2 + 6*b - 6. Is q(9) composite?
True
Let g = -2291 + 3690. Is g a composite number?
False
Suppose 0 = -0*g - 5*g - 20. Is g + 29 + 1 + -3 a prime number?
True
Let n be (0 - 8)*1/(-2). Suppose 0 = n*p - 0*p, 3*s = 2*p + 12. Is (46/s)/(3/6) a composite number?
False
Let t = 2114 - 1425. Is t composite?
True
Let x be (0 + -1)*(-48)/8. Is x/(-3)*(-93)/6 a prime number?
True
Let r(s) = -94*s**3 + s**2 + 4*s - 42*s**3 + 34*s**3 - 3*s. Let y be r(-1). Suppose -y + 697 = 5*p. Is p a composite number?
True
Suppose 3*k = -3*t + 471, 5*t + k - 757 = 3*k. Let b = 344 - t. Is b a prime number?
True
Let v(y) = -y**2 - 3*y + 4. Let f be v(-3). Suppose l - 705 = -f*l. Suppose 5*s + 31 - l = 0. Is s a composite number?
True
Suppose 0 = 2*h + h - 4*b - 20, 2*b = -10. Let q(m) = -4 + 3*m - 16*m + h*m + 3. Is q(-4) composite?
True
Let v = -1777 - -3762. Is v a prime number?
False
Let n be (2 - 1) + 1 - -353. Let h = n - -218. Is h prime?
False
Let f be 3/12 - 7/(-4). Suppose 3*x + 0*n - 14 = -n, 5*x - f*n = 5. Is x composite?
False
Let p(h) = 65*h - 43. Is p(16) a prime number?
True
Suppose 0*c - 8 = -4*c. Suppose -c*v + 291 = v. Is v prime?
True
Suppose -3*z = 4*u - 1061, -2*u + 3*z = z - 548. Is u a prime number?
True
Let c = -7 - -4. Is (2/c)/(8/(-36)) composite?
False
Is (-4245)/(-21) - 2/14 a prime number?
False
Let l = -1747 - -2450. Is l composite?
True
Let x be (-3)/(-2 + (1 - 0)). Suppose 4*g - 64 = 6*m - x*m, -75 = -5*g + 5*m. Is g composite?
False
Suppose 0 = 10*l - 15937 - 34933. Is l a composite number?
False
Let y = 331 - -465. Is y/8*(-4)/(-2) prime?
True
Let v(g) = -132*g + 4. Suppose -4 = -4*w + 12. Let b be v(w). Is (-6)/(-21) + b/(-28) a prime number?
True
Let s be 0/(2/(3 + -5)). Suppose -5*g - 3*d + 12 = s, -2*g - 2*g + 3*d = 12. Suppose 3*z - 2*z - 37 = g. Is z a composite number?
False
Suppose 4*g + y = 21, 0 = -0*g + 2*g - y - 9. Suppose -g*w + 0*v - v - 13 = 0, -w + 3*v - 9 = 0. Is 32*(2 + 2) - w a composite number?
False
Let s = -2 - 0. Let r be 1/(1/s) + 4. Suppose -2*u = r*n - u - 226, 4*u = 5*n - 539. Is n prime?
False
Suppose 0 = -45*b + 42*b + 8115. Is b composite?
True
Let k = 107 + 48. Is k prime?
False
Suppose 0 = 3*a - 2*d - 889, 2*a = d + 2*d + 601. Is a prime?
True
Let s = 7 + -3. Let y be (-1 - 1)/(s/(-322)). Is 1 + (-1 - 0) + y a prime number?
False
Let a(v) = 5*v**2 - 8*v - 2. Is a(9) composite?
False
Let i = -3 + 1. Is (-642)/(-12) - (-1)/i a prime number?
True
Let w(j) = 22*j**3 - j**2 + 2*j + 1. Let k be w(-2). Let q = k + 260. Is q composite?
True
Let z(q) = q + 6. Let r be z(6). Let x = r - 6. Suppose 5*d - 93 = -3*v, 4*v + x + 52 = 2*d. Is d composite?
True
Suppose 2*u - 5*u + 504 = 0. Let i = -103 + u. Is i a prime number?
False
Let q be ((-8)/(-6))/(-4)*0. Suppose -3*x + o = 3*o - 111, 2*o = q. Is x a composite number?
False
Let r = -7 - -7. Suppose -3*j + a = -396, r*j - 4*a = -4*j + 520. Let c = -95 + j. Is c composite?
True
Let v(d) = 6*d**3 - 3*d**2 + 3*d + 1. Let g(i) = -17*i**3 + 10*i**2 - 9*i - 4. Let z(c) = -4*g(c) - 11*v(c). Is z(5) prime?
False
Let l = 372 + 298. Suppose 0*a = -2*a + l. Is a a prime number?
False
Is (-72)/(-1) - 6/2 prime?
False
Let r(n) = -n**3 + n + 31. Let t be ((3 - 3)/1)/2. Is r(t) prime?
True
Let o(a) = -11*a**2 + 6*a + 8. Let k be o(6). Let y = -21 - k. Is y composite?
False
Is (41/3)/(2/246) prime?
False
Let f be ((-30)/(-25))/((-2)/(-7165)). Suppose -1394 + f = 5*w. Is w a composite number?
True
Suppose -3*i = 2*i - 10. Let c(n) = 169*n. Let j be c(1). Suppose 4*f + i*o = 196, -f - 2*f + 4*o = -j. Is f a prime number?
False
Let n be (-2)/(-3) + 364/(-6). Let g = n + 17. Is 3/(-9) + g/(-3) a prime number?
False
Let i = -6 + 4. Let s(b) = -3*b**3 - b**2 - b + 1. Let t be s(i). Let k = t - 16. Is k composite?
False
Let n(s) = 160*s**3 + 3*s - 2. Let p(l) = l**2 - 5*l + 5. Let i be p(4). Is n(i) prime?
False
Let f be (2/2)/((-2)/8). Let y be ((-117)/(-6))/(2/f). Let d = y + 74. Is d prime?
False
Let k = 