+ 16, 0 = -3*x - 5*n - d. Suppose -5*r - 310 = -x*r. Is r a composite number?
True
Let h(v) = v**2 + 2*v + 2. Let c(j) = 4*j**2 + j - 1. Let m be c(1). Suppose -m*l + 0 - 13 = -a, 2*a - 1 = 3*l. Is h(a) composite?
False
Let l(t) = 1309*t + 43. Is l(6) composite?
True
Let p = 1657 - 312. Is p prime?
False
Suppose 0 = 4*j - 6*j + 688. Suppose 3*f = j + 841. Is f composite?
True
Let i = 25 + -16. Suppose c - i = 4*c. Is (-1)/(c/(-237)*-1) a prime number?
True
Let q(u) = -593*u**3 + 5*u**2 + 5*u + 3. Is q(-2) prime?
False
Let w be (12/(-10))/(6/(-20)). Let b be (12/w)/(-5 - -6). Suppose -4*z = -3*p + 4*p - 2954, b*z - 4*p = 2225. Is z a composite number?
False
Suppose -4*r + 3 = -3*l, -2*r + 4*l - 3*l = -3. Suppose -216 = -r*o - o. Let i = -11 + o. Is i a composite number?
False
Let q(f) = f**3 - 7*f**2 - 7*f + 13. Let l be q(10). Suppose 5*b - 452 - l = 0. Is b composite?
False
Let w be (-96)/(-42) + 2/(-7). Suppose 4 = 3*i - w. Suppose i*z - 1055 = -3*z. Is z prime?
True
Let g = 415683 - 249226. Is g prime?
True
Suppose 4*y - 43 = 173. Is y + 5 + (2 - 3) prime?
False
Suppose i = 2*i. Suppose i = p + p + 2. Is (-58)/p + -17 + 14 composite?
True
Is (27707 + -37)*1/2 a composite number?
True
Let a = -2185 - -6372. Is a prime?
False
Let b(i) = 3907*i**2 + i + 1. Is b(-1) composite?
False
Suppose -3*d = g + 2*g + 684, 4*d - 3*g = -947. Let v = d - 290. Let b = v - -830. Is b a prime number?
True
Suppose -3*j = -2*w + 3316, -2*w - 2*w = -2*j - 6632. Suppose 0*d + 3*d - w = -i, d + 2*i = 546. Is d composite?
True
Let k(y) = -7*y**3 + 3*y**2 - y. Let n = 0 - -2. Let j be k(n). Let i = j + 105. Is i a prime number?
True
Let i = -2130 - -4061. Is i a composite number?
False
Let u = -446 - 2773. Is -2*(-1)/((-6)/u) a composite number?
True
Let z(b) = 35*b + 8. Is z(19) a prime number?
True
Let z = -399976 - -283622. Is (z/28)/(1/(-2)) a prime number?
True
Let r = 29164 - 17697. Is r composite?
False
Suppose 2*a = -4*o + 42854, a - 5 = -4*a. Is o composite?
True
Let k(p) = 3*p**2 + 4*p + 3. Let f be k(-2). Let y = f - 3. Suppose -3*j = -5*r + 149 + 48, 0 = -2*r - y*j + 58. Is r composite?
False
Let x = 1464 - -5603. Is x prime?
False
Let c(b) = -68*b - 10. Let i be c(-11). Let u = 527 - i. Is u*(-1)/3*3 prime?
True
Let c = -16919 - -42540. Is c a prime number?
True
Let m = 6514 + -1163. Is m composite?
False
Let p(w) = -14190*w - 89. Is p(-2) composite?
True
Let b = 54 - 91. Let n = -33 - b. Suppose 4*k + n*p = 3*p + 9271, -3*k + 6948 = -p. Is k composite?
True
Let f(r) = -2483*r - 209. Is f(-2) prime?
False
Suppose 0 = k + x + 2, -2*k - 21 = -5*x - 52. Suppose -u + k = -3. Is u prime?
False
Let n = 40694 + -23601. Is n a prime number?
True
Let c(m) = 12*m**2 + 2*m + 1. Let v be c(-1). Let q = v - 7. Suppose -3*b = -5*x - 0*b + 345, -5*b = -q*x + 276. Is x a composite number?
True
Let w(m) = -5*m + 5*m**2 + 11 + 3*m + m**3 - 4*m. Is w(6) a composite number?
True
Let v(p) = -777*p - 11. Is v(-2) prime?
True
Suppose 3*n = -24 - 0. Let y be n/(-8) + -2 + 1. Suppose y = -6*g + 1629 + 4737. Is g a composite number?
False
Let b(k) = 616*k**3 + 10*k - 45. Is b(7) composite?
False
Suppose m = -x + 962, -283 = 4*x + 2*m - 4139. Let i = -11 + 19. Suppose -i*d = -2*d - x. Is d prime?
False
Let d = -2641 + 4006. Suppose 2*v + l = d, -4*v + 959 + 1769 = 4*l. Is v a prime number?
True
Let d be ((-5)/(-1) - 1073) + (1 - 1). Is (-10)/(-4)*d/(-15) composite?
True
Suppose -115 - 133 = -4*l. Suppose 3*d - 31 = l. Is d a composite number?
False
Is -10243*(-2 + -3)/5 a composite number?
False
Suppose -542 = -2*s + 5*m, 1317 = 3*s + 2*s - 3*m. Is -4 + s - (-7 + 5) a composite number?
True
Let b(l) = -437*l - 100. Is b(-13) a composite number?
False
Suppose 0 = -5*b + 140 + 70. Suppose -3*o + b = -3*p, -2*o + 4*p + 23 + 9 = 0. Is 12/(-16) + 3045/o prime?
False
Let u = 45 - -162. Suppose -8*r - u = -11*r. Is r prime?
False
Let w(x) = 322*x + 1. Is w(10) composite?
False
Let y(u) = 26490*u**2 - 16*u + 15. Is y(1) prime?
True
Let w(k) = 42*k + 1. Let o(z) be the first derivative of 85*z**2/2 + 3*z - 7. Let g(t) = -4*o(t) + 9*w(t). Is g(5) a composite number?
True
Let h(i) = 11*i + 108. Is h(13) composite?
False
Is 21558/(-3)*3/(-6) composite?
False
Is (-2)/(309099/309113 + -1) a composite number?
False
Suppose -2*k = 3*k + 5*d - 20960, -3*d - 4204 = -k. Is k a composite number?
True
Let p(u) = 27*u + 44*u**2 - 7*u - 8*u + 29. Is p(-8) prime?
True
Let a(n) = 56*n**2 + 10*n - 103. Is a(13) prime?
True
Let d(o) = o**3 + 13*o**2 + 13*o - 14. Let k be d(-11). Suppose -x + 168 = 2*i + x, i + 2*x - k = 0. Is i a prime number?
True
Suppose 3*h = -0*h + 6. Suppose h*b = 4*x - 3*x - 12, -4*b - 28 = -3*x. Suppose -2*i + i + x*u = -29, 6 = -3*u. Is i a prime number?
False
Let s = 644 + -230. Suppose 12*r - 1326 - s = 0. Is r prime?
False
Is (-3459099)/(-161) - 24/276 prime?
False
Let u(v) = 32*v**3 - v**2 + 2*v - 2. Suppose 5*f = -3*g - g + 55, 0 = 3*f + 3*g - 33. Let c = 12 - f. Is u(c) a composite number?
False
Let n(m) = m**3 + 42*m**2 + 46*m - 54. Is n(-17) composite?
False
Suppose -25*t = -30*t + 25. Is (3*2565)/t + -4 composite?
True
Let p = 2115 - 2972. Let q = -406 - p. Is q a composite number?
True
Let a(y) = 5 - 2 - 5 - 9 + y**2 - 12*y. Is a(20) prime?
True
Suppose 0 = -3*k - 3*n - 9, -3 = -5*k - 3*n - 12. Let c(t) = -6*t + 745. Is c(k) a composite number?
True
Let x(q) = q**3 - 11*q**2 + 3*q - 13. Let l be x(10). Let a = 516 + l. Suppose a + 97 = 5*w. Is w a prime number?
False
Let g = -7191 - -12514. Is g prime?
True
Suppose 2524 = 6*d + 358. Let i = -134 + d. Let a = i - -24. Is a a prime number?
True
Let f(z) be the first derivative of -3*z**4/4 + 25*z**2/2 + 9*z + 52. Is f(-8) composite?
True
Suppose -3*r + 2*i + 4195 = 0, -2*r - 4*i + 2796 = -6*i. Is r a prime number?
True
Let y(d) = -d**2 + 12*d - 12. Let f be y(10). Let p = f - -25. Is p prime?
False
Let z be 1*(90/6)/(-3). Is z*(-3 - -4) - -162 a composite number?
False
Suppose -j = -2*f - 373, -74*j + 73*j = 3*f - 383. Is j composite?
True
Let v(t) = 29*t**3 - 6*t**2 - 13*t - 1. Is v(12) a prime number?
False
Suppose -4*j - 3*u + 240040 = 0, -30872 - 29131 = -j + u. Is j composite?
True
Suppose -50 = -11*o + 16*o. Is (-1755)/(-4) - o/40 a prime number?
True
Suppose -54 = -2*p + 54. Let f = 95 + p. Is f a composite number?
False
Suppose v = -4*f + 7338, -4*f - v - v + 7336 = 0. Suppose -26*t = -21*t - f. Is t a prime number?
True
Is (4/(-17))/(-2) - (-99161323)/5491 prime?
True
Suppose -a - 3080 = 2*f, 4*a - 1524 = 3*f + 3107. Let m = 1079 + f. Is (m - -10)*1/(-4) a composite number?
False
Let o(a) = -216*a + 5. Let k be o(-1). Let h = k - 80. Is h composite?
True
Suppose k - 4*g + 1812 = -0*g, -5*k - 4*g - 8940 = 0. Let q = 2795 + k. Is q a prime number?
False
Let f be 1/(-2 - (-22)/10). Suppose -2*m - 4*b - 1 = -f, 3*b + 27 = m. Is (-380)/(-6)*m/8 a composite number?
True
Let q(n) = -n**3 + 2*n + 129. Is q(0) composite?
True
Let p = 0 - -4. Suppose 4*y = -5*s + 3171, -2*y - 835 = -p*s + 1707. Is s a composite number?
True
Let z = 0 - -3. Suppose 0 = -z*f + 549 + 528. Is f a composite number?
False
Let n be (1 - (-3 + 6)) + 15. Let h = 3 - n. Let k(o) = -6*o - 9. Is k(h) a prime number?
False
Is ((-3)/(-12)*3)/(5/16780) prime?
False
Is (1709/(-5))/(3*(-1)/15) composite?
False
Let o(m) = -3*m - 8*m**2 - 11*m**2 + 5*m**3 + 17*m**2 + m + 0*m**3 + 3. Let x(s) = 2*s**2 + 2*s - 2. Let j be x(-2). Is o(j) composite?
False
Suppose 3*p - 2638 = -2*n, 4*p + 6595 = 34*n - 29*n. Is n prime?
True
Let k(v) = 730*v**2 + 3. Suppose -2*z - 3*r - 10 = 0, 5*z = 3*r + 1 - 5. Is k(z) a prime number?
False
Let q be (-6 - -2) + 780/6. Suppose 400 = -2*t + 4*t. Let j = q + t. Is j a prime number?
False
Suppose -44 + 36 = 8*u. Is 8/(-2) + (-915 - 3)*u composite?
True
Let z(u) = 7366*u + 2. Let h be z(-1). Is h/(-8)*(-4 - -6) prime?
False
Suppose 4*k + 3*u = 17792, -4*u + 2*u - 22217 = -5*k. Suppose -5*r - 2*r + k = 0. Is r composite?
True
Let u be (-30)/(-18) + (-4)/6. Suppose -2*w = 3*w + 5*x - 35, w = x - u. Suppose 5*n - 220 = -2*m, -3*m - w*n + 257 + 82 = 0. Is m prime?
False
Let i = 371 - -392. Let j = -10 + 10. Let g = i - j. Is g composite?
True
Let n be (3/(-9) - -1)/(2/(-39)). Let u(y) = 2*y**2 + 8*y + 17. Is u(n) prime?
True
Let i be 