 = m + -403. Is u composite?
False
Suppose -3543 = -2*o - 613. Suppose f + 4*f - o = 0. Is f prime?
True
Let r be 2/(-5) + 68/20. Suppose -r*u - 2005 = -8*u. Is u composite?
False
Let b(m) = m**3 + m**2 - m - 36. Let t be b(0). Is t/12 + 1*36 a composite number?
True
Suppose 6*f - 25 = f, -4*i + 1971 = -f. Let z = -112 + i. Is z a prime number?
False
Suppose h - 340 = -i, -4*i - h + 1128 + 223 = 0. Let o = 1739 - i. Is o prime?
False
Let c(i) = -84*i**3 - 3*i**2. Let n be c(6). Let b be n/(-84) - 4/14. Suppose 4*u - b - 79 = 0. Is u prime?
False
Let f(y) = 32*y - 2*y**3 - 25*y - 7 - 5*y**2 - 3 + 3*y**3. Let x be f(4). Suppose 5*a - 2 = 3, -4*a = x*h - 446. Is h composite?
True
Let a be 117 + 1*(6 + -4). Suppose a = f - w - 356, -2*f - 5*w = -978. Is f prime?
True
Suppose 0 = 61*o + 8*o - 194511. Is o a composite number?
False
Let v(x) = -x + 2. Let g(f) = 10*f + 4*f**2 - 3*f**2 - 5 - 3*f. Let r be g(-7). Is v(r) composite?
False
Let b be (-3 + 3 - 0)*1. Suppose b*j - 5 = -j. Suppose 0*n + 1255 = j*n. Is n a composite number?
False
Let x = 70049 + -46346. Is x prime?
False
Let d = -13669 - -24162. Is d composite?
True
Let u = 20700 - 14313. Is u prime?
False
Let y(g) be the second derivative of g**3/3 + g**2/2 + 4*g. Let h be y(-2). Is (-6153)/(-14)*(-2)/h composite?
False
Let h(k) = -k**3 + 10*k**2 - 6. Let y be h(10). Let v be (-16)/24 - (-2)/y. Is ((-991)/(-2))/(v/(-2)) composite?
False
Suppose -33053 = -6*r + 57025. Is r a composite number?
False
Let g(b) = 6*b**2 - 26*b - 65. Is g(16) prime?
False
Let p = -23 - -219. Suppose -p = -12*y + 8*y. Is y composite?
True
Let r be 61/(-3) + (-9)/(-27). Let a be (8/10)/(r/(-50)). Let m = 8 + a. Is m composite?
True
Suppose 0 = 3*m + 3*a + 75, 5*a - 40 - 11 = 3*m. Let l be -18 - m - (-2)/2. Is 9/(-15) - (-3718)/l a composite number?
False
Let c(o) = 1625*o. Suppose 8 + 1 = 3*f. Let w(x) = -28*x. Let a(m) = f*c(m) + 175*w(m). Is a(-1) a prime number?
False
Is ((-3)/((-12)/5077))/((-11)/(-44)) a prime number?
True
Suppose 2*p + 9268 = 4*u, -5*u + 6*p = 3*p - 11585. Let s = -956 + u. Is s prime?
True
Suppose 2*u - 106 = -5*o, 5*o - 114 = 4*u + 4. Let f be 12/66 + 1536/o. Let m = f + -39. Is m prime?
True
Let f(y) = y**2 - 6*y + 10. Suppose 2*n = n + 2, 4*k + 4*n - 28 = 0. Let a be f(k). Suppose -a*x + 36 = -34. Is x prime?
False
Suppose 17*p = 21*p - 620. Is p prime?
False
Suppose -540 = -11*i + 2*i. Suppose 65*g - i*g = 10775. Is g prime?
False
Suppose 4*g = i - 5*i + 64, -3*g - 96 = -5*i. Let f be (i/8)/((-15)/40). Is (78/9)/(f/(-99)) a prime number?
False
Suppose -5*o = 4*b - 24, -2*b = 2*o + 2*b. Let m = o - 3. Suppose -m*x = -1782 + 247. Is x a composite number?
False
Is (-2)/(3/(72348/72340) + -3) prime?
True
Let v = -33217 - -66344. Is v composite?
True
Let b(i) = -7*i**3 - 13*i**2 + 26*i - 9. Let v(o) = -20*o**3 - 39*o**2 + 77*o - 27. Let x(k) = 17*b(k) - 6*v(k). Is x(-12) a composite number?
True
Let j = -44 + 49. Let n = 2 + 0. Suppose 329 = n*l + j*o, -l = -o - o - 151. Is l composite?
False
Let i(x) = -1020*x + 23. Is i(-3) composite?
False
Let x(j) = 7*j**3 - 10*j**2 + 17*j - 19. Is x(14) prime?
True
Let f(b) = -b + 1. Let c be f(-4). Let g(q) = -q**3 + 6*q**2 - q - 4. Let a be g(c). Suppose 61 = i - a. Is i a composite number?
True
Suppose -3*b + 20 = 2*b. Suppose 1972 = -0*f + 4*f - 4*r, 0 = -b*r. Is f composite?
True
Suppose 4*f - 13 = -1. Let u(w) = 73*w + 4. Let j be u(f). Suppose -64 + j = 3*m. Is m composite?
False
Let j = -509 + 712. Is j a composite number?
True
Let l be 4 + (0/(-3))/(-5). Let m be (-3)/12 + (-21)/(-4). Suppose 4*p - 121 = 3*p + 2*b, 493 = l*p - m*b. Is p prime?
True
Let g(c) be the second derivative of c**6/180 + c**5/15 - 13*c**4/24 + 2*c**3/3 - 7*c. Let p(q) be the second derivative of g(q). Is p(-9) composite?
True
Suppose -8 = 5*v - 28. Suppose 3*i = v*t + 706, -t = 2*i - 7*i + 1171. Suppose -5*f - 2054 = -4*q, -2*q + i + 778 = 5*f. Is q a composite number?
True
Suppose 26811 + 27674 = 5*y. Is y composite?
True
Let i(k) = 353*k**2 + k - 6. Is i(-4) prime?
False
Suppose 5*b + y - 51927 - 8257 = 0, -3*y = 4*b - 48145. Is b prime?
True
Let b(f) = -19*f + 11207. Is b(0) a prime number?
False
Let b be 6/8 + (27/12 - -1). Is -1049*b/8*(1 + -3) a composite number?
False
Suppose 5*q + 2605 = -3325. Let g = q - -1673. Is g a prime number?
True
Suppose 0 = -4*b - y - 0*y + 16614, 5*b - 3*y - 20759 = 0. Is b a prime number?
True
Let l be (-18)/(-27)*(0 - -3). Let k(w) = -w - l - 1 - w + 5*w**3 - 3*w**2 + 4*w. Is k(3) prime?
False
Suppose f + q - 3 = 4, 3*q + 7 = f. Suppose f*a = 764 - 225. Is a prime?
False
Suppose 0 = -q - 2*a + 8, 0*q + 4*q + 7 = 5*a. Suppose -j = -q*j + 559. Is j composite?
True
Suppose -2*t - 12 = t. Let g be (-1 + -1)*6/t. Is (1947 - (-9)/g) + -1 prime?
True
Let j = 14 - 8. Let n(x) = 9*x**2 - 12*x + 2. Let l be n(j). Is (l/6)/((-2)/(-6)) prime?
True
Let r(h) = 2*h**2 + 4*h + 3. Let z be r(-2). Let c be -1 - -2 - (2 - z). Suppose f = -2, 3*s + c*f + 2*f - 130 = 0. Is s a prime number?
False
Suppose -4*a - 5*m + 7045 = 0, 2*m - 6*m = 5*a - 8813. Is a composite?
True
Let t(a) = -13*a**3 + 2*a**2 - 7*a - 2. Let d(r) = 14*r**3 - 2*r**2 + 8*r + 3. Let f = 27 - 31. Let q(u) = f*d(u) - 5*t(u). Is q(4) a composite number?
True
Suppose -t + 3365 = -0*t. Is t prime?
False
Let c(z) = 148*z**2 + 2*z + 2. Let y be c(-2). Suppose y = u + u. Is u composite?
True
Let o = 99 + -20. Suppose o = -w + 288. Is w a prime number?
False
Let d = 458 - 211. Let n = d - 56. Is n prime?
True
Suppose 5*b - 5*x = 1580, -3*b + 988 = 5*x - 0*x. Let k(n) = -15*n**2 - n + 4. Let q be k(3). Let c = q + b. Is c a prime number?
False
Let o(l) = -3*l**2 - l - 19. Let q(v) = 3*v**2 + 19. Let f(p) = -3*o(p) - 2*q(p). Is f(-6) prime?
True
Let t(j) = 24*j**2 + 14*j - 5. Let n(y) = -25*y**2 - 15*y + 5. Let d(a) = 3*n(a) + 4*t(a). Is d(-10) a composite number?
True
Let u(s) = 107*s - 16. Let k be u(5). Suppose 5*g = -4*a + 646, 0 = -3*g - g - a + k. Suppose -28*r + 23*r + g = 0. Is r a prime number?
False
Let d(k) = 13*k**2. Let n be d(-1). Let o = -11 + n. Suppose -2*c + f + 513 = o*c, 4*c - 4*f - 528 = 0. Is c prime?
True
Let w(k) be the second derivative of -62*k**3/3 - k**2/2 - 22*k. Is w(-1) composite?
True
Let a = -16 - 43. Let p = 310 + a. Is p a prime number?
True
Let a be (-9)/3 - -3*3. Suppose -a*n = 3*n - 12807. Is n a composite number?
False
Let w(x) be the first derivative of -2*x**3 + 2 - 1/4*x**4 - 2*x + x**2. Is w(-9) a composite number?
False
Let s = -7250 - -15501. Is s a prime number?
False
Suppose 0 = 170*w - 168*w - 4. Suppose 0 = 5*b - 3*y - 5066 + 1709, -w*b + 2*y = -1346. Is b a composite number?
True
Let a be ((-315)/28)/((-3)/(-16)) - -3. Suppose -4*n - 4 = 2*r, r - 3*n - 12 = -2*r. Is a/(-6) - (-3)/r a composite number?
False
Let z(w) = w**3 - w**2 + 2*w - 1. Let g be z(1). Let p = g + 48. Is 36393/p + 4/14 composite?
False
Is (-72)/(-180) - (-1 + (-15656)/10) prime?
True
Suppose -2*t - 8657 = -j, 2*t - 6*t - 43285 = -5*j. Is j a composite number?
True
Let o = 225 + -210. Is o prime?
False
Suppose 12 = -3*j + 51. Suppose 3*k - t = 215, 2*t - 138 = -6*k + 4*k. Let l = k - j. Is l composite?
True
Let s = 25768 + -14865. Is s a prime number?
True
Let v = 4033 + -2688. Is v a composite number?
True
Let j = 2009 - 894. Is j prime?
False
Is 5 + -5 + 15/(-3) - -2574 composite?
True
Let h(d) = -d**2 + 16*d - 13. Let w be h(15). Suppose -w = 2*v + 2, -4*q + v = -714. Is q a prime number?
False
Suppose 4*p + 16 = 0, 11 = -2*k - p - 5. Let l be 505 + 5/((-10)/k). Suppose -l = h - 5*h. Is h a composite number?
False
Suppose 5*v + 12 = 3*v. Let g be 2/v - (-2986)/3. Suppose -4*i + 9*i = g. Is i a composite number?
False
Let r be (-77)/2*48/12. Let v = -43 - r. Is v a composite number?
True
Let j be (-93)/(-13) - (-12)/(-78). Suppose -795 = j*c - 2*c. Let g = 566 + c. Is g a composite number?
True
Let u = -11862 - -17611. Is u a composite number?
False
Is -2 + -3 + 7676/2 prime?
True
Suppose 14 + 48 = -c. Let g(a) = -2*a**2 + 30*a + 5. Let x be g(7). Let s = c + x. Is s composite?
True
Let r(y) = -y**3 - 13*y**2 - 2. Let j be r(-13). Is (-1075)/(-2) + 0 + j/4 composite?
True
Let y = 3362 - 1259. Suppose 3*u = 6*u - y. Is u a composite number?
False
Suppose -3 = -f - 0*f. Sup