ber?
True
Let n(c) = -2*c**3 + 38 + 0*c + 6*c - 17*c**2 + 4*c**3. Is n(13) a prime number?
True
Suppose -4*z + 7*z + 2*g + 19 = 0, -3*z = -3*g + 9. Is 1654 + (z + 4 - -4) a prime number?
True
Let m = 352 + 815. Is m prime?
False
Suppose -3*l = -9 - 12. Let t = l - -52. Is t a prime number?
True
Let f(s) be the first derivative of -11*s**2 + 9*s - 15. Suppose -4*g = -3*o + 32 - 0, 5*g + 4*o = -40. Is f(g) a prime number?
False
Let w be 6/(-30) - 2/(-10). Suppose 3*f + 3*l + 2*l = 257, -2*f - 3*l + 172 = w. Is f prime?
True
Let q = 185 - -372. Suppose -q - 2678 = -5*s. Suppose 3*r = 2*i + 4*r - 260, s = 5*i + 4*r. Is i a prime number?
True
Let i(d) = 2*d - 46. Let a be i(17). Is ((-32872)/(-4))/(-6*4/a) a prime number?
False
Let p be ((-3)/(-2))/((-6)/(-84)). Suppose -p = -4*s + 3. Suppose 88 - s = h. Is h a prime number?
False
Suppose -3*o + 4866 = -3*b, -10*o = -13*o + b + 4864. Is o a prime number?
True
Is 28/(-8)*(-242044)/154 prime?
True
Suppose 333 + 7013 = 5*y + 3*t, -4*t - 1483 = -y. Is y composite?
False
Suppose 8 = 4*u - 28. Suppose -4*p = -5*i - 25, 3*i + 6 + u = 0. Suppose -2*z + 8 = p, -n + 0*z = 5*z - 273. Is n prime?
False
Suppose 0 = -19*g + 182897 - 65268. Is g a composite number?
True
Is (-7 - 40/(-20)) + 2*1502 prime?
True
Suppose s - 9 = x, -16 - 5 = -3*s + x. Suppose s*l + 2*l = 9704. Is l composite?
False
Suppose 0 = -3*k + 6, -57 = -3*d - 3*k + 42. Suppose 13660 = 35*g - d*g. Is g composite?
True
Let q(r) = -77*r + 335. Is q(-6) composite?
False
Suppose r - 5*v = -130 + 1344, r + 2*v - 1221 = 0. Is r prime?
False
Suppose 5*o - 665 = -7*q + 2*q, 0 = 4*o + 4. Is q composite?
True
Suppose 0*h = -4*h + 20, 41 = -4*l + h. Let q(f) = -f**2 - 11*f - 11. Let t be q(l). Let p(j) = j. Is p(t) prime?
True
Let z(k) = -448*k**3 + 2*k + 1. Let c be ((-8)/(-1))/4 + -3. Is z(c) composite?
True
Let g(t) = 3*t**2 + 48*t - 131. Is g(44) a prime number?
True
Let v = -38 + 40. Suppose v*z = -2*i + 172, 3*z + z - 2*i - 350 = 0. Is z prime?
False
Let q(y) = 4*y**2 - 2*y - 12. Let p be q(4). Let z = p + 78. Is z composite?
True
Is (-1420)/(-30)*(-129)/(-2) prime?
False
Let a(o) = 2*o + 2551. Is a(0) composite?
False
Let s be (12/(-30))/((-2)/(-110)). Let j be s/(-187) - 64/(-34). Is 372 - j/(0 - -2) composite?
True
Suppose 3*x + 2*o - 20600 = 0, 4*o = 2*x + 3*o - 13731. Is x prime?
False
Let h = 2542 - 383. Let x(n) = n - 2. Let r be x(2). Suppose -4*i + 1391 = 4*k - 793, -4*k + i + h = r. Is k composite?
False
Is 6374/(5 + -3) + 3 + -7 a prime number?
False
Let m(a) = 5*a**2 + 2*a**3 - 1 - 4*a - a**3 + 13. Let t be m(-6). Suppose 157 = z - t*z. Is z a composite number?
False
Suppose -3*z + l = 2*l + 9465, 12607 = -4*z + 3*l. Let x = z + 7305. Is x a composite number?
True
Suppose -n = 260 - 76. Let o(m) = 10*m**2 - m - 13. Let y be o(6). Let u = y + n. Is u a composite number?
False
Suppose -104922 = -4*l + b + b, 52476 = 2*l + 2*b. Is l composite?
True
Suppose 0 = -2*k + 2*a + 1116, -8*k + 9*k + a = 560. Is k a prime number?
False
Let z(q) = -249*q**3 - 3*q**2 + 25*q + 88. Is z(-5) a prime number?
True
Suppose -5*z + 21632 = 3*b, 5*z + b = z + 17307. Is z prime?
True
Let v = -18 + 19. Suppose 5*j - 120 = 535. Is j*v/4*4 a prime number?
True
Is (2/3)/(20/1595970*9) a prime number?
False
Suppose 5*h - 2*h = 0. Suppose 2 = -3*v + 5*p - 5, 4*v - p + 15 = h. Let k(o) = 7*o**2 - 2*o - 1. Is k(v) composite?
True
Suppose -5296 = -2*x - 2*x. Is (x/6)/((-4)/(-6)) prime?
True
Suppose -919*b + 930*b - 4169 = 0. Is b prime?
True
Suppose -1 = z - 0*z. Suppose -32*w + 29*w - 249 = 0. Is w/(-2)*(z - -3) composite?
False
Suppose 54*q + 10*q - 506048 = 0. Is q a prime number?
True
Suppose 2*u - 56842 = -4*c, -142153 = -5*u - 0*c + 2*c. Is u a prime number?
True
Let k(b) = -b**3 - 14*b**2 - 12*b + 18. Let q be k(-13). Suppose -q*u = -3*u - 36. Let j = u - -104. Is j a prime number?
False
Let y = 5348 + -2421. Is y a composite number?
False
Suppose -4 = -3*c + 2*c. Suppose 4*n + 42 = 2*p, c*n = 2*n + 4. Is p prime?
False
Suppose -12 = 5*u + f, 4*u + 0*f + 6 = -2*f. Is (u - 0)*(-472)/12 a composite number?
True
Let h(k) = -306*k**3 + 3*k**2 + 18*k - 13. Is h(-4) composite?
True
Let q = 62 - 60. Suppose -q*t - 2*c + 1980 = 0, -4*t + 2*c + 3968 = -2*c. Is t a composite number?
False
Let g = 216 + -504. Let d be 1/2*2 - g. Let i = 1032 - d. Is i a composite number?
False
Let t = 2001 - 820. Is t a composite number?
False
Let r(m) = m**2 - 5*m + 4. Let u be r(4). Let f(i) = -2*i**2 + i + 1020. Let o be f(u). Suppose 3*z - 3123 = o. Is z composite?
False
Suppose -206380 - 452546 = -18*y. Is y composite?
False
Let a = -53 - -57. Is (-991)/((a - 2) + -3) composite?
False
Suppose -23*v + 20692 = -9*v. Is v a prime number?
False
Let s(t) = 166*t**2 - 10*t - 15. Let h(d) = 83*d**2 - 5*d - 7. Let b(u) = 5*h(u) - 2*s(u). Is b(-5) a prime number?
False
Suppose -749 = -2*w + w - 4*f, 3*f = -3*w + 2238. Is w prime?
False
Suppose -4*i - 3*c = -30, -3*i = c - 24 + 4. Suppose -3*a - 32 = -11*a. Suppose i*d - 298 = a*d. Is d composite?
False
Let s(n) = -n**2 - 5*n + 327. Is s(0) composite?
True
Is ((-263922)/8)/(9*8/(-96)) a composite number?
False
Let q(w) = w**3 + 13*w**2 + 2. Let x be q(-13). Suppose 3975 = 5*g - 5*n, g + 2*g - 2395 = -x*n. Is g a composite number?
False
Let d = 35 - 39. Let p(b) be the first derivative of -15*b**2/2 - 7*b - 1. Is p(d) a composite number?
False
Let o = -1405 + 2102. Suppose -627 - o = -4*j. Is j a composite number?
False
Let n(r) = -5*r + 11. Let l be n(4). Is (-11292)/l - 2/(-6) a composite number?
True
Let m = 31 - 26. Suppose -w - 26 = 3*n - 11, 0 = 3*w + m*n + 57. Is (314/(-8))/(6/w) prime?
True
Suppose 5*v - 9 = 3*v + 5*g, -5*g = 4*v + 27. Let a be v + 356 + (-3)/(-1). Suppose -t + 5*t - a = 0. Is t prime?
True
Suppose 0 = -3*k - 6 - 0. Is (-1 - -2)/((-2)/100*k) composite?
True
Suppose 1931*z = 1917*z + 3044146. Is z a composite number?
False
Let n(y) = -535*y + 548. Is n(-26) a prime number?
False
Is (-312213)/(-22)*(-6)/(-9) a prime number?
True
Let h(x) be the third derivative of 0*x + x**2 + 0 + 5/3*x**3 + 23/24*x**4. Is h(9) prime?
False
Suppose -17*q = -12*q - 25. Suppose -5*m - 4*c = -2027, -q*m = 2*c - 753 - 1278. Is m a prime number?
False
Let p = -35 + 30. Let j(x) = -x**3 - 4*x**2 + 3*x - 10. Let h be j(p). Is h/(-3) + -4 - -37 a prime number?
False
Let p = 245 + -440. Let t = p + 416. Is t a composite number?
True
Suppose 22*f - 13*f - 122841 = 0. Is f a prime number?
True
Let b(i) = -46*i**3 + 2*i**2 + 3*i - 3. Let r(x) = -1. Let d(g) = b(g) - 5*r(g). Is d(-1) a prime number?
True
Suppose 73*j = 1518303 - 479732. Is j composite?
True
Let f(a) = 1820*a**2 - 19*a + 44. Is f(3) composite?
True
Suppose -o - 2*o - t + 6 = 0, -5*o = -3*t + 4. Let a be -3 - 22 - (-3)/o. Let n = a + 179. Is n a prime number?
True
Let x = 143 + -54. Let g = x + 0. Is g a prime number?
True
Let n be (-58)/(-4) - 30/20. Suppose n*l = 14*l - 127. Is l a prime number?
True
Let i(o) = -44*o - 5. Suppose -5*t + 55 = -0*h - 2*h, 4*h = 3*t - 75. Is i(h) a composite number?
True
Suppose 6*x + 6*x - 549804 = 0. Is x a prime number?
True
Let f(p) = 3*p**3 - 2*p**3 - p**2 + 56 + 34 - p. Let n be f(0). Is 2/(-9) - (-7130)/n prime?
True
Let o(j) = -j - 27. Let p be o(-20). Let i(n) = n**3 + 13*n**2 - n - 8. Is i(p) a composite number?
False
Let r(j) = -145*j**3 - j**2 - 7*j + 3. Let v(f) = -146*f**3 - f**2 - 6*f + 3. Let p(q) = 4*r(q) - 5*v(q). Is p(2) a prime number?
False
Suppose n - 38 = 3*v, -3*v + 3*n - n = 40. Is (-2)/v + 2139/18 a composite number?
True
Let l be -2 - 9*12/(-2). Suppose g + 3*g - l = 0. Is ((-13)/g)/(1/(-67)) composite?
False
Suppose 0 = -5*c - 4*l + 102055, 5*l = -6*c + c + 102055. Is c a composite number?
False
Let c(i) = i**2 + 0*i**3 - 10*i + 20*i**2 - 1 - i**3. Is c(20) prime?
True
Is (3 - 12888/(-20)) + 2/(-5) composite?
False
Let v(i) = 11*i**2 - 37*i + 9. Is v(21) composite?
True
Let f = -69888 - -124427. Is f a prime number?
True
Let g(y) = 85*y**2 + 3*y - 6. Let n be g(6). Let t = -1735 + n. Is t a prime number?
False
Let b = 14406 - 8107. Is b prime?
True
Let u(w) = -21*w**3 + w**2 + 6*w - 3. Let m(a) = 20*a**3 - 5*a + 3. Let r(o) = 3*m(o) + 2*u(o). Is r(2) a composite number?
False
Is ((-132)/2 + (-63)/(-9))*-293 a prime number?
