Let a(j) = i(j) + x(j). Is a(p) a prime number?
False
Suppose 4*l - 4*g = -5*g + 15133, 3799 = l - 5*g. Let x = 5537 - l. Is x composite?
False
Let a(d) = -661*d**3 + 13*d + 5. Is a(-4) composite?
False
Let d(h) = 1012*h**2 - 4*h - 4. Let b be d(-2). Is b/28 + (-2)/(-7) composite?
True
Let r(s) = -72*s**3 + s**2 - 1. Let f be r(1). Let d = f + 115. Is d composite?
False
Let t = -18 - -7. Let i be 2*24 + 7 + t. Suppose i = 4*v - 1320. Is v a prime number?
False
Suppose 0 = 4*m - 11 + 3. Let o = m + 51. Is o composite?
False
Let d(z) = -84*z - 122. Is d(-5) a prime number?
False
Let u(l) = -82*l - 4. Let z(h) = 1. Suppose 0 = -3*p - 2*m + 7, -23 = -5*p + 3*p - 5*m. Let b(r) = p*u(r) - 5*z(r). Is b(5) prime?
True
Suppose -2*u + 4*j - 20 = 0, 2*u + j + 4 - 9 = 0. Suppose u*k + 3*k = 1257. Is k composite?
False
Let h(j) = 396*j - 89. Is h(18) a prime number?
True
Let d = 2 - 0. Suppose -d*j + 17 - 7 = 0, -732 = -3*h + 3*j. Is h prime?
False
Suppose i + 2 - 1 = 0. Let z(t) = -17*t. Let r be z(i). Let k = r - -66. Is k composite?
False
Suppose -4*y - 4566 = 5*j - 17086, y + 5*j = 3130. Suppose 0 = o - 6*o + y. Is o a composite number?
True
Let x(r) = -2066*r - 42. Let i be x(8). Is i/(-5)*((-15)/(-6) - 2) composite?
False
Let q = -2 + 1. Let p be (-3)/(12/32)*q. Suppose -3*s = 3*d - 60, -4*s - 3*d + p*d = -107. Is s prime?
True
Suppose -2*d = 4*l - 64158, -4*l = -0*l - 5*d - 64179. Is l a composite number?
True
Let j be -1 + -2 + 1015*-2. Let n = 18 - 7. Is 8/44 - j/n prime?
False
Let y be 7/((-7)/(-6)) + 0. Let g(o) = o**2 - 6*o + 2. Let u be g(y). Suppose -4*a = 20, a + 72 = 3*f - u*a. Is f a prime number?
True
Let m = -6 - -6. Let r be (-1 - 3)*(-1 - m). Suppose 0 = 3*u + 15, -3*o + 47 - 6 = -r*u. Is o a composite number?
False
Let g be ((-8296)/(-170))/(1/(-5) + 0). Let c = g - -431. Is c composite?
True
Let c = -4 - -6. Let p(w) = 4*w**2 + w**c - 6*w**2 + 12*w - 13. Is p(6) prime?
True
Let t be (1 - 2)*(-3928)/(-8). Let m = 725 + t. Suppose 0 = 2*x + 86 - m. Is x a composite number?
True
Suppose 2*k = -3*j + 13, 2*j + 2*k = 7*k + 34. Let s be 156/28 + 3/j. Suppose -s*u + 2*u = -2972. Is u composite?
False
Let o(w) be the second derivative of -w**5/20 - w**4/4 - w**3/6 + 3*w**2/2 + 4*w. Let j be 2/6 + 352/(-66). Is o(j) a composite number?
True
Let j(i) = -12*i + 9. Is j(-5) a composite number?
True
Suppose 2*q = 7*q - 1040. Suppose -d = 6*d - 413. Suppose 3*y - d = q. Is y a composite number?
False
Suppose -3*s - 5*t = 62, -4*s - t - 72 = 3*t. Let v = s + 14. Suppose v*a - 3*a - 5*x + 304 = 0, -4*a + 4*x = -352. Is a prime?
False
Let c(m) = 32*m**2 + 2*m + 4. Let u be c(3). Let h = u - 87. Is h a prime number?
True
Let k(z) = -2*z**3 + 2*z**2 + z**2 - z + 1 - 2*z + 8*z**3. Is k(3) a composite number?
False
Let q(g) = -g**2 - 7*g + 72339. Is q(0) a prime number?
False
Let v(r) = 132*r - 5. Is v(28) a composite number?
False
Suppose u + 0 = -3, 0 = -4*z + 5*u + 4307. Is z a prime number?
False
Suppose 2*f + 27 + 15 = 0. Let k = f + 17. Is (-1143)/(-6) + (-2)/k a prime number?
True
Let x = -15 - -74. Is (x*2/6)/(2/102) prime?
False
Let z = 2124 - -35. Is z a composite number?
True
Let c = 266 - 167. Suppose -k = -4*h - 126, 0 = -3*k - 5*h - c + 409. Suppose 0 = l + 27 - k. Is l a composite number?
False
Suppose 8*f - 7*f + 2614 = 0. Is (-12)/(-9) + f/(-6) a prime number?
False
Let t = -64 + 45. Let w = t + 1368. Is w a prime number?
False
Let r(g) = 24*g**3 + 7*g + 2. Let x = 59 + -54. Is r(x) composite?
False
Is 20*9402/2*(-1)/(-12) composite?
True
Let f(m) = 506*m**3 - m**2 + 3*m - 2. Let w be f(1). Is 1 + w/2 - (-5 + 8) a composite number?
False
Let v = 5 + 1. Let l(u) = -5*u. Let y(j) = -4*j + 1. Let k(f) = v*l(f) - 7*y(f). Is k(-5) a composite number?
False
Suppose 0 = 2*g + g - 39. Let a(u) = 16*u**2 - 3*u - 12. Is a(g) prime?
False
Suppose j = -5*y + 4*j + 2158, -2*y + 2*j = -860. Let q = y + 161. Suppose 2*o - q = -3*o. Is o a composite number?
True
Suppose 3*l = -2*w + 517, -5*l = -l - 3*w - 678. Let j = 16 + l. Is j a composite number?
True
Let l(k) be the second derivative of k**5/20 - k**4/6 - 11*k**3/6 + 17*k**2/2 - 15*k. Is l(7) prime?
False
Let v(g) = -g**3 + 22*g**2 - 20*g - 22. Let c be v(21). Is 4 + 109*c/((-2)/6) prime?
True
Is 2/((88/(-7364))/(-11)) a composite number?
True
Suppose -c = 2*c - q - 2134, 4*c - 5*q = 2849. Suppose -j + c = 5*u + 3*j, 0 = 2*u + j - 285. Is u a composite number?
True
Let l(h) = 430*h + 48. Let j be l(3). Let o = 3161 - j. Is o a composite number?
False
Let f = -3382 + 7041. Is f a composite number?
False
Let v be ((-2)/(-6))/((-5)/15). Let s be 1 + v - (0 + 1). Let f = 10 - s. Is f prime?
True
Let o be 2*(3 + 1*4/(-4)). Is 1 + (-2)/o - (-137671)/62 a composite number?
False
Let l = 285 - -1256. Is l composite?
True
Let c(j) = -6*j**2 + 84*j - 65. Let d(l) = 3 - 24*l + l**2 + 7*l + 10. Let t(f) = -2*c(f) - 11*d(f). Is t(12) a prime number?
True
Let t be 7*161 - (6 + -2). Let c = t + 358. Is c a prime number?
True
Let f(r) = 7*r**2 - 6*r - 3. Let a be f(-6). Let c = -11 + a. Suppose -10 = -4*i + c. Is i composite?
False
Suppose 0 = -5*h + 3*a - 2, -14 = -h - 3*a. Let t be ((-20)/(-50))/(h/(-40)). Let b(l) = 7*l**2 + 9*l - 3. Is b(t) a composite number?
False
Let j = 10 - 5. Let p(g) = -2 + 9 + 45*g - 1 + 4. Is p(j) a prime number?
False
Is 4851 + 8*(-6)/12 a prime number?
False
Suppose 3*a - 2599 = 5*p, 345 = -p - a - 170. Let r = -223 - p. Is r a prime number?
False
Suppose -70 = -4*s - 10*s. Suppose 2*z - s*o - 1481 = 0, 0 = -5*z - 5*o + 2332 + 1458. Is z composite?
True
Let o be (2 + -518 - -2)/(9 + -7). Is o/(10/8*10/(-25)) a composite number?
True
Let h = -153 - -258. Suppose 0 = -3*x + 4*n + h, 0 = -2*x - 3*x - 4*n + 175. Is x a composite number?
True
Let s(b) = 66*b - 11. Let y be s(5). Let t = -174 + y. Suppose 4*g + 41 = t. Is g composite?
True
Suppose 4*z - 835 + 203 = 0. Suppose -s = -x - 5*s + z, 160 = x + 5*s. Let c = 1063 + x. Is c prime?
True
Suppose -3*p + 1596 = 4*x - x, x = p - 540. Suppose p = 5*z - 3*z. Suppose 2*a - z + 90 = 0. Is a prime?
True
Let s be 2/(-6) + (-61)/(-3). Let b = -18 + s. Let v(c) = 2*c**3 - 4*c**2 + 4*c - 2. Is v(b) a composite number?
True
Let g = 9 - 6. Suppose -g*d = d - 268. Suppose -2*x - w + 0*w = -47, -2*x - 5*w + d = 0. Is x prime?
False
Let b = 71 + -48. Suppose 184 = 27*d - b*d. Is d prime?
False
Suppose -4*m - m - 5*a = -15, -2*m + a = -18. Suppose 0 = -m*j + j + 708. Is (j/4)/(4/16) prime?
False
Let u(h) = -6*h**2 - 2*h + 1. Let o be u(-5). Let t be (-2078)/(-8) + 1/4. Let v = t + o. Is v composite?
True
Let l be -5 - (1 - 5) - -3. Suppose -l*u + 903 + 223 = 0. Is u a prime number?
True
Let a = 92 - 90. Suppose 0 = -5*m + 2*t - t + 740, -4*m + 598 = -2*t. Suppose a*p = -p + m. Is p composite?
True
Suppose 0 = -j - 2*f + 7093, 9*f - 7*f = j - 7113. Is j a composite number?
False
Let v be ((-148)/(-6))/((-16)/(-6) + -2). Suppose 0 = -4*o + 5*o - v. Is o a prime number?
True
Let t = -24794 + 43445. Is t composite?
True
Let a(v) = -v**2 - v + 1. Suppose 0 = 3*z + 15 - 3. Let b be a(z). Let h(d) = d**2 + 5*d + 1. Is h(b) prime?
True
Suppose -i = -4*i - 42. Let h = 11 + i. Is 19*11 - (-3 - h) a prime number?
False
Let b be -4 - -7 - 4 - -5. Suppose 717 = -a + b*a. Is a prime?
True
Suppose 1117 = i - 4*w, -2*i = -4*w - 943 - 1275. Suppose -4*d - i = -5009. Is d composite?
False
Let n(m) = m**3 - 10*m**2 + 22*m - 19. Is n(14) a composite number?
True
Let a = 17 - 12. Suppose 0 = 3*k - 4 - a. Is 0 - -86 - (-9)/k composite?
False
Suppose 0 = -a - 2, 0*a - 3*a - 490 = -2*x. Suppose 2*w + 3*l - 7*l - x = 0, 3*w - 363 = 3*l. Is w a prime number?
False
Suppose -5*z + 8 = -7. Suppose -p = -5*p, -2*u = z*p - 44. Is -3 + u/(-3 + 4) a composite number?
False
Let t = -8 + 10. Suppose -2*r + t = 0, s + 3 = 3*r + 4. Suppose -s*z + 1098 = -578. Is z prime?
True
Let o = 4 - -12. Let q(f) = 478*f + 274*f + 15 - o. Is q(1) prime?
True
Let d be (5/3 - 1)*6. Is d/10 + (-55944)/(-40) a composite number?
False
Let a(j) = 82 - 4*j - j - 61. Let o be a(5). Is ((-7)/o)/((-1)/(-212)) a prime number?
False
Is (-10*(-15)/120)/(1/3908) composite?
True
Let i = -41 - -53. Suppose -3197 - 24655 = -i*q. Is q a composite number?
True
Let r be (-24)/132 - 4/(-22). Suppose x + c + c - 11