367. Is x prime?
True
Suppose -n = -3*n, -m - 5*n + 5 = 0. Suppose -m*v + 1848 = -857. Is v composite?
False
Let t = 72 - 39. Let j = 66 - t. Is j prime?
False
Let i(q) = q**2 - 7*q - 5. Suppose -5*p + 32 = -p. Let v be i(p). Let j(z) = 115*z + 2. Is j(v) prime?
True
Let p = 5927 + -4072. Suppose 0 = -76*c + 71*c + p. Is c a composite number?
True
Let f(a) = -2*a - 7. Let d be 2*(-21)/(-6) + 0. Let z(y) = -4*y - 14. Let l(o) = d*f(o) - 3*z(o). Is l(-8) a prime number?
False
Let s(q) = 4*q**3 + 6*q**2 + 11*q - 142. Is s(21) prime?
True
Let d(n) = 8517*n + 49. Is d(6) composite?
False
Let c(s) = s**3 + 5*s**2 + 7*s + 8. Let k be c(-4). Is k/(-28) + 19494/7 composite?
True
Let c(a) = -49*a - 27. Let r be c(-17). Suppose 0 = -9*t + 11*t - r. Is t a composite number?
True
Suppose 0 = -2*a - x + 3, 5*a - 3*x - 2 = -22. Let s be (6/(-21))/(9/(-63)). Is (a - s)/3 + 107 prime?
False
Suppose -3*s = 2*s - 2055. Suppose 16 = 3*k + 5*h - 509, -2*h - 334 = -2*k. Suppose 3*w = 2*g - k, -5*g + 0*w + s = -4*w. Is g a composite number?
False
Let w(y) = y**3 - y**2 + 1. Let c = 29 - 28. Let m(p) = 5*p**3 - 3*p + 1. Let i(k) = c*m(k) - 6*w(k). Is i(4) a composite number?
True
Is (-4 - 1) + 1733*14 prime?
False
Let j be 16/24 + (-2)/3. Let s(t) = t**2 - t + 673. Is s(j) composite?
False
Let v = 29 + -25. Suppose -v*d - c + 518 = -3*c, -5*c = -3*d + 378. Is d a prime number?
True
Let u = -616 + 1615. Suppose z + u = 10*z. Is z composite?
True
Let v be 36 - 3/((-9)/(-12)). Suppose 1 = -j + v. Is j prime?
True
Suppose 544 = q - 363. Is q a prime number?
True
Let i = -21 + 21. Let y be i/4*(-2 + 1). Is 2 + y + (-33)/(-3) prime?
True
Let q be ((-6)/(-5))/(-2) - 4492/(-20). Let o = q + 597. Is o a prime number?
True
Suppose -2*p + 5*a = -p - 19, -5*p = -a + 1. Let n(b) = 10*b. Let z be n(p). Is 4/z + (-7599)/(-85) a prime number?
True
Let g = 1003 + -167. Suppose -g = -3*q + 385. Is q prime?
False
Is 3*(8 - 137150/(-30)) composite?
True
Let q(v) = 1153*v**2 - 9*v + 25. Is q(4) composite?
True
Let l(h) = -318*h - 41. Is l(-8) a composite number?
False
Let i(u) = 136*u**2 - 126*u - 41. Is i(36) prime?
True
Suppose 38 = -2*k - 182. Let l = k - -529. Is l a prime number?
True
Suppose -6366 + 192 = -9*f. Suppose 4*h - 2291 = 985. Suppose 5*g = f + h. Is g a composite number?
True
Let d(y) = 55*y**3 - y**2 + y. Suppose -6 - 15 = l + 5*o, -l - 3*o = 13. Let g = l + 2. Is d(g) a composite number?
True
Let n(q) = 1171*q**3 - q**2 - 8*q + 23. Is n(2) a composite number?
False
Suppose 11*h - 6*h - 30 = 0. Let p(y) = -1 - y**3 - 4*y**2 - 3 + 1 + 4 + h*y. Is p(-10) a composite number?
False
Let h(y) = 5 - 27*y**3 - 5*y + y**2 + 28*y**3 + y. Is h(6) a prime number?
True
Let s be 4 - -213 - 3 - (-2 + 3). Suppose 10*g = 7*g + s. Is g a prime number?
True
Let u be 3 + -1 + -16 + 14. Let v be (u + (-2)/3)*-6. Is (1/(-3))/(v/(-1572)) a composite number?
False
Let y = 1787 + -1060. Let g = y + -434. Is g a prime number?
True
Is (-3414)/(-4) + 33/(-6) + 5 composite?
False
Let t(k) = -2*k**3 + 27*k**2 + 19*k + 31. Is t(-25) a composite number?
False
Let b(h) = h**2 + 21*h + 24. Let u be (15 - 11)*(-11)/2. Is b(u) a prime number?
False
Is (8263 + 0)/(((-50)/(-5))/10) a prime number?
True
Suppose 0 = 3*t + t + s - 31968, 2*s - 39957 = -5*t. Is t composite?
False
Suppose -6*h = -9*h - 9. Let l be h/2 + 3/(-6). Is (-1)/((-1)/l) + 543 a prime number?
True
Let i = 5159 + -3037. Let k = 3323 - i. Is k prime?
True
Let v be (-56)/(2 - (-6)/(-4)). Let c = -47 - v. Suppose 2*a - 3*a + c = 0. Is a a composite number?
True
Let q(f) = -f**3 - 15*f**2 + 17*f + 17. Let a be q(-15). Let d = a + 446. Is (1 - d/(-12))*3 composite?
True
Is 5/(20/15447) - 3/(-12) prime?
False
Let v = 51168 + -20663. Is v composite?
True
Let v = 8 + -4. Let k be (1 + ((-63)/2)/(-9))*6. Suppose -3*f = 2*p - k, 0*p + 9 = 3*f - v*p. Is f a prime number?
True
Is ((-27286)/35)/(4/(-50)) a composite number?
True
Let b(c) = -3*c**3 + 2*c**2 - 1. Let z = 5 + -6. Let y be b(z). Suppose 5*m - 3*x = -4*x + 815, y*m = 5*x + 652. Is m prime?
True
Let x = -5 - -10. Suppose 0*l + 4*l + 4*c = 20, -x*l - c + 29 = 0. Is (l + -3)/9*75 a composite number?
True
Suppose -183*m - 11920 = -193*m. Let g be ((-188)/(-6))/((-1)/(-6)). Suppose 4*l - m = -g. Is l a composite number?
False
Let p(c) be the first derivative of -3*c**2 + 5*c + 19. Is p(-8) composite?
False
Suppose 7*l = 3*l + 28. Let s(u) = -5*u**3 - 3*u - 3 + u**2 - 1 + 1 + l*u**3. Is s(3) composite?
True
Let h(t) = -19*t + 12. Suppose 2*p - 2 = y, -3*p = 5*y + 36 - 13. Let a be 9*(p - (-4)/6). Is h(a) a composite number?
True
Suppose -4*r - 2*u = -3138, -r + 6*r = u + 3940. Is r prime?
True
Let l(i) = -75*i**3 - 5*i**2 + 7*i - 7. Let f be l(5). Let k = -6341 - f. Is k a composite number?
True
Let o = -15 + 15. Let x be (o + 6/3)*2. Let q(y) = 10*y**2 - 10*y + 7. Is q(x) a prime number?
True
Suppose 3 = -j - 2*y, 0 = 3*j + 2*y + 8 - 3. Let k be j/(-3) - (-56)/12. Suppose 3*b - b = k*h + 171, 3*b = -5*h + 244. Is b a prime number?
True
Suppose 6*d - 4423 = 359. Let p = 1152 - d. Is p prime?
False
Suppose 8*t - 88646 = -3150. Is t prime?
True
Let i = -593 + 1429. Suppose 0 = -4*s - 0*l + 4*l + i, -4*s + 2*l + 840 = 0. Is s composite?
False
Let h(v) = 417*v**2 - 86*v - 11. Is h(-6) a prime number?
False
Let t be (-2)/5 + 252/105. Suppose 0 = 2*p + 6, 2*z = z - t*p + 91. Is z a prime number?
True
Suppose 9274 = p + 3*x, -4*p + 24995 + 12115 = -2*x. Is p prime?
True
Let g = 60678 + -36789. Is g a prime number?
False
Suppose -5 = u - 3*q, -7*u + 22 = -3*u + 2*q. Is 482 - -5 - u/(-1) prime?
True
Suppose -3 - 5 = -4*w. Suppose -a = -h + w + 1, h + 1 = -3*a. Suppose -3*j + 612 = v, -3*j = -h*j + 4*v - 193. Is j prime?
False
Suppose -3*h = -10213 + 298. Is h a prime number?
False
Let q(x) = 2*x**2 - 16*x + 17. Let l be q(7). Suppose -3*j = -2*b - 335, -4*j = j - l*b - 557. Is j a prime number?
True
Let z(m) be the third derivative of -m**6/60 + 7*m**4/12 - 7*m**3/6 - 2*m**2. Is z(-7) a composite number?
True
Suppose 33*q - 5578 = 31*q. Is q prime?
True
Let a = -83 + 126. Is a a composite number?
False
Is 75065*(0 + -1)*(-4)/20 prime?
True
Suppose -2*l + 0*l = 3*m + 115, -233 = 4*l + 5*m. Let k = 129 + l. Is k a composite number?
False
Let s = 7236 - 4199. Is s a prime number?
True
Let i(n) = -n**3 + n**2 - n - 2. Let z(f) = f**3 + 7*f**2 - 7*f + 8. Let o be z(-8). Let v be i(o). Is v/(-6) + (-438)/(-9) prime?
False
Let p(y) be the second derivative of 31*y**3/6 - 6*y**2 + 14*y. Is p(7) a prime number?
False
Let h be 9/5 - (-2)/10. Let m be ((-7)/21)/(h/(-12)). Suppose 2*g + 2*g - 5552 = -m*v, 4*v = -5*g + 6937. Is g prime?
False
Let z(q) = -10*q + 143. Is z(-33) prime?
False
Suppose 2*n + 2 = -4*r, -n = -5*r - 2*n - 7. Is (134/5)/(-3*r/15) a prime number?
True
Let p(b) be the first derivative of 2*b**3/3 - 7*b + 12. Is p(9) composite?
True
Suppose z + 31 + 15 = 3*t, 0 = -3*t - 5*z + 40. Let j(v) = t + 0*v**2 - 2*v**2 + 11*v**2 - 8*v. Is j(-8) prime?
False
Suppose -x - 14 = y - 3*y, -y + x + 7 = 0. Suppose -82 = -y*v + 23. Is v prime?
False
Let s(n) = 28*n - 2. Let a be s(-5). Let o(x) = 5*x**2 + 7*x - 3. Let r be o(-8). Let v = a + r. Is v prime?
False
Let h = -10060 + 16545. Is h composite?
True
Suppose -29 = -2*i - 0*p - 5*p, 4*p = -4*i + 40. Let v(m) = 236*m + 3. Is v(i) prime?
False
Suppose -3*z - 14 - 1 = 0. Let u = 8 - z. Is (547 - u)*2/4 a composite number?
True
Let u = 254 + 53. Is u prime?
True
Let b(l) = -35*l - 64. Is b(-13) a prime number?
False
Let y = 18 - 15. Suppose 0*i + y*i - 3 = 0. Suppose o - 12 = -i. Is o prime?
True
Let q(p) = 21*p**2 + 3*p - 77. Is q(-44) prime?
False
Let g(a) = -19*a**3 - 3*a**2 - 2*a. Let v be g(3). Let s = 800 + v. Is s a composite number?
True
Let f(k) be the second derivative of 5/3*k**3 + k**2 + 0 + 3*k. Is f(8) composite?
True
Suppose -5*f = -9 - 1. Let l be (-2890)/(-26) - f/13. Is ((-68)/6)/((-2)/l) a composite number?
True
Suppose 4*q + 8 = 4*g, 2*g - 3 = 3*q - 2*g. Let a = -5 - q. Suppose 0 = -3*l - a*l + 537. Is l prime?
True
Suppose 0 - 3 = -3*g + 4*x, x = 3*g + 6. Let z be (1004/(-6))/(2/g). Suppose 3*d - z = 250. Is d composite?
False
Let a be (-3)/(6/(-4) + 3). Let o(r) = 18*r**2 + 2*r + 1. Let k be o(a). Suppose -5*t = -2*t - k. Is t prime?
Tr