
False
Let s(m) = 1254*m**2 + 1. Let u be (-5)/(-4) - (-7)/(-28). Let a be s(u). Suppose 0 = -3*g - 2*g + a. Is g a prime number?
True
Let f(p) = p**3 - 9*p**2 + 9*p - 12. Let k be f(8). Let a(h) = h**3 + 5*h**2 + 2*h - 1. Let w be a(k). Suppose -w*t = -2*t - 805. Is t prime?
False
Let o(b) = -1137*b - 481. Is o(-26) a prime number?
False
Let n = -2925 - -6128. Is n composite?
False
Let u be (4/((-16)/(-2748)))/1. Suppose 0*f - u = -3*f. Suppose 0 = -0*l + 5*l - i - 393, 3*l = 4*i + f. Is l a composite number?
False
Let b = 139 - 90. Let s = b + -29. Is (127/(-4))/((-5)/s) a prime number?
True
Let x(j) = -j + 9. Let a be x(7). Suppose a*c - 33 = 13. Is c prime?
True
Let g be ((-9)/2)/3*-546. Let x = 542 + g. Is x a prime number?
True
Suppose 10 = -10*c + 15*c. Is 1704/30 + c/10 a prime number?
False
Suppose -49498 - 38617 = -5*h. Is h composite?
False
Let v be 296/28 + 16/(-28). Suppose v - 22 = 2*g. Is (7042/(-84))/(1/g) composite?
False
Suppose 3*m = -8*p + 5*p + 8697, -p - 5*m = -2907. Is p composite?
False
Let a(h) = 305*h**3 - 2*h - 1. Let s(f) = f**3 - 12*f**2 + 2. Let w be s(12). Is a(w) composite?
True
Suppose -66*y + 556572 = -54*y. Is y prime?
True
Suppose -6*a - 6*a + 3156 = 0. Is a a prime number?
True
Is -246*8274/(-49) + 3/21 prime?
True
Let r(u) = -u**3 + 8*u**2 - 6*u - 7. Let c be r(7). Suppose 3*a + 3*x = 7929, -2*a + 3*a - 3*x - 2627 = c. Is 8/(-36) - a/(-9) a composite number?
False
Suppose -137408 = -4*h - f, 81521 = 3*h - 2*f - 21524. Is h a prime number?
True
Let u = -330 - -693. Let z = 200 - u. Let p = 366 + z. Is p prime?
False
Suppose -3*f + 5*r + 5 + 31 = 0, -2*f + 4*r + 26 = 0. Suppose 3*w - 2*g - 4195 = 0, -5*g - 1407 = 6*w - f*w. Is w prime?
False
Is (-6 - 0) + 56382/6 prime?
True
Suppose -4 = 4*f + 12. Let t(r) = -r - 1. Let u(k) = 28*k + 12. Let y(l) = -5*t(l) - u(l). Is y(f) a prime number?
False
Suppose 4*a - 15 = 5*p, 2*a + 1 + 4 = 5*p. Suppose 4*j = a + 6. Suppose j*h = 1242 - 286. Is h prime?
True
Let v = -22 + 18. Is 7*43 + 5 + v + 1 a prime number?
False
Let d be -2*(8690/18 + (-8)/(-36)). Let z = 1511 + d. Is z composite?
True
Suppose -5 - 166 = -n - 4*w, -4*w + 354 = 2*n. Is 4 - n*(-3 - -2) a composite number?
True
Suppose -5*r + 3031 = 4*q, 0*q = -5*r + q + 3036. Suppose -1604 - r = -3*c. Is c a composite number?
True
Let u(s) = -2*s**3 - 5*s**2 + 4*s - 4. Let k(w) = 8*w**3 + 21*w**2 - 17*w + 17. Let t(q) = 2*k(q) + 9*u(q). Is t(-5) a composite number?
False
Suppose -34223 - 2745 = -8*i. Is i prime?
True
Let g(b) = 15*b**3 + b**2 + 28*b - 7. Is g(8) prime?
False
Suppose -2*f = -3*f + 38. Let x(d) = 2*d**2 - 2*d - 7. Let n be x(5). Suppose v = f + n. Is v a prime number?
True
Let z(b) be the second derivative of b**3/6 - b**2 - 5*b. Let u be z(-3). Let q = u - -264. Is q a prime number?
False
Suppose 5*y = 5*z - 84360, -6*y = -2*z - 5*y + 33743. Is z composite?
False
Suppose 7*k = 43*k - 186804. Is k a prime number?
True
Let m(v) = 34*v - 1. Let r be -4 - -21 - 6/3. Let o = r + -13. Is m(o) composite?
False
Suppose -b + 4*c = 18, 0*b - 3*b + 2 = 2*c. Let x be 4/b*15/(-6). Suppose x*d - 158 = 3*d. Is d composite?
False
Let k be 3 + -2 + 3*1. Let b be (-7*(-8 - -4))/(1 - 0). Suppose k*g - 5*o - 646 = -b, g - 155 = o. Is g composite?
False
Let q(u) = -u**3 - 3*u**2 + 2*u - 5. Let g be q(-4). Let z(y) = 13*y - 34. Let p be z(3). Suppose g*d = -6, -d + 145 + 418 = p*o. Is o a prime number?
True
Suppose -5*x = -4*x - 17. Let v = -13 + x. Is (-112)/(-24)*174/v prime?
False
Let h(q) = -597*q + 19. Is h(-2) prime?
True
Suppose -187 = -6*n - 5*n. Suppose -n - 248 = -5*m. Is m a composite number?
False
Let r = -7 - -12. Let s be -5*1*(-19)/r. Let z = -13 + s. Is z a composite number?
True
Let m(y) = -3*y**3 - 3*y**2 - 2*y - 4. Let n be m(-2). Is (-12)/n*(-5 - -1) + 835 prime?
True
Is 1/(3/(-2))*(-1107330)/140 a prime number?
True
Let h be 8/3*1239/14. Suppose -h = 3*n + n. Is n*(0 + 0 - 1) a prime number?
True
Suppose -247*j = -240*j - 126959. Is j composite?
True
Suppose -2*l - 802 = 3*b - 2775, -b + 651 = 4*l. Suppose -b = -7*s + 2694. Is s a composite number?
False
Suppose -3*t - 4*m - 9 = 0, -4*t + 3*m - 7 - 5 = 0. Let g be (-3)/(t/3 - 0). Suppose -245 = 4*y - 3*u - 1599, -y = -g*u - 343. Is y a composite number?
False
Suppose 0 = -3*n - 5*w - 13711, -2*w - 6850 = 3*n + 6855. Let x = -6567 - n. Let y = x - -3087. Is y composite?
False
Let g(d) = 2*d**2 + 29*d - 71. Let i(u) = 6*u**2 + 85*u - 212. Let p(s) = -11*g(s) + 4*i(s). Is p(-18) composite?
True
Is 3 + 2 + (-25056)/(-18) prime?
False
Suppose -15*r + 79763 - 19028 = 0. Is r a prime number?
True
Suppose 4*h + 9*h - 83837 = 0. Is h a prime number?
True
Let o(r) = 64*r**3 + 5*r**2 + 9*r + 2. Let t(i) = -32*i**3 - 3*i**2 - 5*i - 1. Let z(d) = 3*o(d) + 5*t(d). Is z(3) composite?
True
Let v = -4355 - -25822. Is v prime?
True
Suppose -b + 28931 = -2*h, -9*h + 8 = -13*h. Is b a composite number?
False
Let h = -1 - -4. Is (675 - (5 - h))/1 composite?
False
Suppose 5*b - 4*w = 278979, -163545 = -2*b + w - 51951. Is b composite?
False
Let c be ((-3)/(-2))/((-3)/(-6)). Suppose -c*k + 5*f = -8*k, 5*k + f - 16 = 0. Suppose 4*m = -5*x + 447, -k*x - 25 = x. Is m a composite number?
True
Suppose 259 = 8*x - 693. Is x prime?
False
Let n = -6 - -2. Let p(m) be the third derivative of -55*m**4/24 - m**3/2 + 41*m**2. Is p(n) composite?
True
Let a = 115 + -115. Let w(n) be the second derivative of -n**4/12 + 51*n**2/2 + n. Is w(a) a composite number?
True
Let g be 16/12*(-3)/2. Is ((-237)/g)/((-9)/(-18)) prime?
False
Let g(a) = a**3 + 10*a**2 + a + 14. Let r be g(-10). Suppose r*z = -3*d + d + 1970, 8 = 2*z. Is d a prime number?
True
Let p be (1*-1)/(2/(-4)). Suppose p*u + 3*a - 556 = u, u - 560 = a. Is u a prime number?
False
Let x(f) = -f + 9. Let d be x(0). Let l = 11 - d. Suppose -l*s = 1 - 239. Is s a composite number?
True
Let d(i) be the second derivative of i**4/12 - 4*i**3/3 + 3*i**2/2 + 2*i. Let x be d(8). Suppose 2*l = -c + 305, -c + 2*l = x*l - 302. Is c a prime number?
False
Suppose -11*v - 13*v + 1404552 = 0. Is v prime?
False
Let k be -2*1/(-2)*163. Let s be (54 + 2)*(-9)/(-6). Let p = k - s. Is p a composite number?
False
Suppose a + 5*f = 26, 4*a - 8*a = 4*f - 56. Suppose 580 = a*z - 1477. Is z a composite number?
True
Suppose n - 1 = 1. Suppose -n*h - i + 46 = 0, 5*h - i - 2*i = 137. Is h prime?
False
Suppose 2*u - 5*l - 1 = u, -4*u - 2*l + 4 = 0. Let n(r) be the third derivative of 59*r**5/30 + r**4/12 - r**3/3 + 3*r**2. Is n(u) a composite number?
True
Let z(k) = k**3 - 5*k**2 + 7*k - 6. Let n be z(4). Let r be 1353 + n*3/(-6). Let s = r - 681. Is s a composite number?
True
Suppose -3*l - 34 = -46. Suppose 0 = -2*n + l*t + 1498, 3*n + 2*t - 1971 = 276. Is n composite?
True
Let q = 5 - 8. Let b(k) = -336*k - 1. Is b(q) composite?
True
Suppose -2*g + 3*g - k = 29, 2*g = -3*k + 33. Let q(i) = 6*i**2 - 30*i + 53. Is q(g) composite?
False
Let m(n) = -31*n**3 - 2*n**2 + 4*n - 3. Let r(t) = -3*t - 16. Let j be r(-6). Let z be m(j). Let v = 936 + z. Is v a composite number?
True
Let b(q) = 24*q**2 - q - 14. Let k be b(-10). Suppose -9*a + k = -5*a. Is a a composite number?
False
Let y = -5 + 5. Suppose y = p - 4 - 93. Is p composite?
False
Suppose 36 = -2*n + 3*n. Let y = -21 + n. Suppose 0 = -5*m + y, 572 + 145 = 3*s + 4*m. Is s composite?
True
Let r = 10 + -23. Is ((-683)/(-4))/(r/(-52)) prime?
True
Suppose -2*a + 3 + 1 = -3*w, 2*w = 4*a + 8. Let x(s) = -4*s**2 - 12*s + 4. Let q be x(8). Is (2/w)/(2/q) a composite number?
True
Let j(a) = -a + 7. Let m be j(9). Let l = m + 5. Suppose -3*r - 5*k = -7*r + 600, -r + l*k + 157 = 0. Is r composite?
True
Let n(a) = 2*a**3 - 9*a**2 - 11*a - 8. Is n(10) composite?
True
Let c = 9 + -8. Let u be c/3 + 4/(-12). Suppose u*s + 5*s - 5*i - 155 = 0, 0 = s + 5*i - 43. Is s prime?
False
Is 8 + (-3 - -51135)/4 composite?
False
Let z be -3 + (5 - 2) + 0. Suppose -5*n + 6 + 11 = 4*c, z = 4*n - 4. Suppose 0 = -0*r + c*r + l - 172, -3*l = -4*r + 251. Is r a composite number?
False
Let g(d) = d - 4. Let y be g(6). Is y/(-6)*1 - 34640/(-15) a prime number?
True
Suppose 0 = -g + 2*a - 7*a + 1632, 0 = 2*g - 5*a - 3339. Is g composite?
False
Let b(n) = 24*n + 7. Let m be 2 - (8/4 - -2) - -7. Is b(m) a composite number?
False
Let y(r) =