e
Let i(z) = -z**3 - 8*z**2 + 7*z + 19. Let l be (-3 + 5)*45/(-10). Is i(l) prime?
True
Let j(b) = -b**3 + b**2 - b - 20. Let v be j(0). Is 5410/v*((-1 - -2) + -3) prime?
True
Suppose -18*u + 3*u = -870. Is u a composite number?
True
Let x be ((-4)/6)/(-1)*-3. Is -4 + (248/(-2))/x composite?
True
Let d(v) = -2*v**3 + 64*v**2 + 14*v + 19. Is d(29) composite?
False
Suppose 5*m = 4*m + 3. Suppose 1 + m = -4*s. Is s + 99*2/3 a prime number?
False
Suppose 0 = -0*p - 2*p + 14. Suppose d - p = 52. Is d composite?
False
Suppose -4*n = 4*n + 20832. Is 4/20 + n/(-30) prime?
False
Let w(q) be the second derivative of -71*q**3 - q**2/2 - 12*q. Is w(-2) a composite number?
True
Suppose -t = -2 - 1. Suppose -t*z + 118 + 1109 = 0. Is z composite?
False
Let r(b) = 2*b**2 + b - 1. Suppose -8 = 4*c - 0. Let h be r(c). Suppose 4*z - 146 = j, h*z + 2*j = -0*z + 189. Is z prime?
True
Is 228547/33 + 2*(-5)/(-30) composite?
True
Is 200/50*7789/4 a composite number?
False
Let w = -25 + 49. Suppose -w*j = -26*j + 3314. Is j a composite number?
False
Suppose 3*d - 2 = 4*r - 17, -5*d - 4*r = 57. Let c(t) = -42*t. Let l be c(d). Suppose -2*j + 317 + 49 = 4*m, -m = 2*j - l. Is j a composite number?
False
Let s = -4 + 9. Suppose s*p + 35 + 20 = 0. Is 2/p + (-4118)/(-22) composite?
True
Is -47*(-6)/(-12)*-278 a prime number?
False
Let g(u) = -5*u**2 + 3*u**3 - 3*u**2 - 5*u + 0*u**3 - 16 + u**3. Is g(7) a composite number?
False
Let q(s) = 11*s**2 + 204*s + 6. Is q(-21) composite?
True
Suppose -3*g - 1 = -o, 5*o = g + 3*g + 5. Is 1*-295*(-1)/o prime?
False
Let n(t) = -251*t**2 + 7*t - 11. Let w be n(4). Let y = w - -9778. Is y composite?
False
Let r(m) = -m**3 + 8*m**2 - 13*m + 5. Let q be r(6). Let p(w) = 720*w**2 + 2*w + 1. Is p(q) prime?
True
Suppose -4181 - 67803 = -16*c. Is c a composite number?
True
Is 135304351/2457 - (-4)/54 composite?
True
Let z = 548 - 347. Let x = z + -10. Is x composite?
False
Let r be (2 + -1)*(-1 + 1). Suppose 3*u - 20 = -5*j - 2*u, 4*u - 4 = 0. Suppose j*m - 209 - 28 = r. Is m composite?
False
Let y be 22 - ((-7 - -3) + 3). Suppose 2*j - 56 = 4*a - 4, 5*a + j + 72 = 0. Let t = y - a. Is t composite?
False
Let m(p) = p - 71. Let s be m(19). Let t = -30 - s. Is t a prime number?
False
Let b(t) be the third derivative of -t**5/60 - t**4/4 - 4*t**3/3 - t**2. Let g be b(-4). Suppose g = n - 8*n + 357. Is n composite?
True
Let f(z) = 5*z + 2. Let h be f(4). Suppose 4 = 8*n - 6*n. Suppose -n*s + 232 = -h. Is s composite?
False
Let p = -428 - -759. Is p prime?
True
Let d(h) be the third derivative of 5*h**4/8 - h**3/3 + h**2. Let m(f) = -5*f + 139. Let l be m(27). Is d(l) a prime number?
False
Let c(u) = 126 - 71 - 86 - 39*u. Is c(-14) composite?
True
Is (-45860)/30*6/(-4) a prime number?
True
Suppose -7*h + 9*h - 5*y - 761 = 0, -4*y - 1504 = -4*h. Is h a prime number?
True
Let a = 151 + -98. Is a prime?
True
Suppose -23*f + 32961 = -30542. Is f prime?
False
Suppose -3*v = 6, 2*i + 2 + 2 = 2*v. Is i/6 - (-5287)/51 prime?
True
Let s = 617 + -6. Let c = -358 + s. Is c prime?
False
Let g be -1 + 4/(4/3). Suppose -b + 3*v = -g*b - 6, 0 = 3*b - 2*v - 4. Suppose b = -4*q - q + 1270. Is q a composite number?
True
Suppose p + 3*p - d - 401 = 0, -4*p - d = -391. Suppose 3*t + 5*x = p, 5*t = -4*x - 83 + 248. Is t a prime number?
False
Is -2*(6 + (-11)/2) + 32468 a prime number?
True
Is 72758/42 - (-4)/6 a prime number?
True
Suppose 4*f - 81 = -x, 3*f + 0*x = 5*x + 78. Suppose -f*g + 23*g - 134 = 0. Is g a prime number?
True
Is (-14)/84*608610/(-5) composite?
False
Suppose 0 = 37*t - 44*t + 14567. Is t composite?
False
Let n(c) = -c**3 - 7*c**2 - 27*c + 64. Is n(-29) prime?
False
Suppose 0 = -3*y + 634 - 6001. Let n = 3235 + y. Let b = -559 + n. Is b prime?
True
Let g = 7 - 8. Let f = 3 - g. Let y = 51 + f. Is y a composite number?
True
Let z(n) = 7*n. Let g = -58 - -63. Is z(g) prime?
False
Let l = 79 + 339. Suppose -2*q + 365 = -5*b - l, -3*q + 1122 = 3*b. Is q a prime number?
True
Is ((-55)/(-11) + -673)*(-334)/8 a composite number?
True
Let l = 12427 + -3318. Is l prime?
True
Suppose 0 = -0*j + 2*j - 4. Is (12188/(-11))/(j*-1) a composite number?
True
Let c(m) = 6*m**2 - m - 13. Let r(f) = f**2 - f + 1. Let b(a) = c(a) - 3*r(a). Is b(13) prime?
False
Let x be (-2381)/(-2)*(-18)/9. Let o be (x - (-6)/(-2))/(-1). Is 0 + 0 + o/16 prime?
True
Let j = -29 + 37. Suppose -862 - 730 = -j*y. Is y a prime number?
True
Let v(u) = u**3 + 6*u**2 + 2. Let s be v(-6). Let n be 1*s*(-4 - -1). Is (-2 + 192)*(-3)/n a prime number?
False
Let c = 34 + -32. Let h(t) = 60*t**3 + t**2 + 4*t - 3. Is h(c) prime?
False
Let w(k) = 111*k**2 - 26*k - 128. Is w(-11) composite?
True
Suppose 4*k - 29*c + 24*c + 9 = 0, 2*k + 12 = 4*c. Let r(v) = 222*v + 7. Let u(l) = 889*l + 27. Let f(a) = 9*r(a) - 2*u(a). Is f(k) a prime number?
False
Let k(s) = s**3 - 5*s**2 + 3. Let a be k(5). Is -2 - a/((-6)/1910) a composite number?
False
Let i(n) = 94*n**2 - 19*n - 83. Is i(-4) composite?
True
Suppose 3*v - 1 = k, -3*v + 8*v - 20 = -2*k. Suppose -k*a + 2383 = -1122. Is a a prime number?
True
Let q = 7 + -4. Suppose 3*x - 389 = q*r - 8*r, 0 = -r - 3*x + 73. Is r a prime number?
True
Let x = 67 + -64. Is 616/4 - (-2 + 3/x) composite?
True
Let x(a) = -6*a - 2*a**3 + 3*a**3 + 11 - 2*a**3 + 13*a**2. Is x(11) composite?
True
Let d(l) = 11*l**2 - 4*l + 10. Let c(k) = -k**3 + 6*k**2 - 7*k + 1. Let t be c(3). Is d(t) a prime number?
True
Suppose -4*z + 14052 = 4*k, 2*k + 64*z = 68*z + 7014. Is k prime?
True
Let d = 5094 - -4939. Is d prime?
False
Suppose -4358 = 5*k - 5*o - 59228, -5*k = 2*o - 54863. Is k a prime number?
True
Let a(d) = -d**3 - 17*d**2 - 38*d + 35. Suppose 14*i - 4*i + 180 = 0. Is a(i) prime?
False
Let u(r) = -r**2 + 11*r + 12. Let h be u(12). Suppose 6*f - 11313 + 3147 = h. Is f a prime number?
True
Let z be (-2)/(-2)*-19*-1. Suppose -z - 37 = 7*b. Is 158/(-5)*20/b a prime number?
True
Let w(p) = -p**3 - 2*p**2 - p + 1. Let r be w(-2). Let h be (-36)/2 - (r + -2). Let l(d) = -d**2 - 25*d + 13. Is l(h) prime?
True
Suppose 1 = -x + 6. Suppose 0 = -x*l + 8 + 7. Suppose 5*c - t + 118 = 6*c, t = -l*c + 344. Is c composite?
False
Let p be (-18)/2*3/(-9). Suppose p*f = 6 - 12. Is 1/(((-2)/317)/f) prime?
True
Suppose 5*l - p + 2154 = 7165, -3*l + 3021 = 3*p. Is l prime?
False
Suppose -8*y + 9*y = 4. Suppose z - 2*c - c - 9 = 0, 3*z - y*c = 12. Suppose -v + 43 = -z*v. Is v prime?
True
Suppose 0 = 11*j - 209066 + 67683. Is j composite?
False
Let z(t) = 93*t**2 - t - 1. Suppose 5*c = 3*c + 4. Let j be z(c). Let y = j - 182. Is y composite?
True
Let j(k) = k + 13. Let d be j(-10). Suppose 2*i = -d*i - 555. Let s = 194 + i. Is s prime?
True
Suppose 4*c - 15 = 2*z + 21, -4*z - 8 = 0. Suppose 1469 + 3579 = c*x. Is x a composite number?
False
Suppose 0 = -0*c + c - 693. Let o be 244/((-4 - -3) + 2). Let r = c - o. Is r composite?
False
Suppose 3*p - 4629 = -j, 0 = -p + j + 3*j + 1543. Is p a prime number?
True
Let b(q) = -4*q - 12. Let d be b(-4). Suppose -85 = -4*c - o, -3*o = d*c - 13 - 66. Is (398 + -1)*66/c composite?
True
Suppose -276679 = -54*x + 452267. Is x composite?
False
Let y = 5 - 6. Let b(n) = 3*n**2 - 1. Let u be b(y). Suppose 4*c - u*p - 92 = -4*p, 0 = -4*c + 4*p + 92. Is c composite?
False
Let x = 11 - 15. Let l(c) = -20*c**3 - c**2 - 11*c - 4. Let m(k) = 7*k**3 + 4*k + 1. Let w(y) = 4*l(y) + 11*m(y). Is w(x) composite?
True
Suppose -u + 3*i = 3*u + 26, 3*u + 14 = 5*i. Let h(r) = -39*r - 23. Is h(u) a composite number?
True
Let q be (36 + -31)/(1 - 0). Let a(r) = -1. Let h(o) = -5*o**2 + 6*o - 5. Let v(l) = 3*a(l) - h(l). Is v(q) composite?
False
Suppose 3*s + 4*b - 2457 = 0, 19*b - 4066 = -5*s + 22*b. Is s prime?
False
Let m be 18/10 + -2 - 112/(-35). Suppose 4*b - 509 = -x, m*x + b - 1615 = -66. Is x prime?
False
Let n(i) = 3000*i - 199. Is n(9) composite?
False
Let k(x) = 1989*x**2. Let s be k(1). Let d = s - 1393. Suppose 3*v + 596 = 4*q - 0*v, 4*q = -v + d. Is q prime?
True
Is (-8)/20 + (19037/5 - -4) a composite number?
True
Let q(t) = -41*t**2 + 19*t - 28. Let x be q(11). Let f = x + 9029. Is f composite?
True
Suppose 2*o - 1429 = -5*q + 8955, -3*q = -3*o + 15534. Is o a composite number?
True
Let j(l) = 2*l + 10. Let d be j(-4). Suppose 2*z - 2*w + 174 = 1996, 3*w - 1837 = -d*z.