?
True
Let o = 48290 + -33291. Is o a prime number?
False
Suppose 1 = -2*j - w, 12 = -3*j - 2*w + 4*w. Let q(c) = c**2 - c + 1. Let d(o) = -o**3 + 8*o**2 - o + 5. Let f(k) = j*q(k) + d(k). Is f(3) prime?
False
Let k(l) = -118*l**3 + 16*l**2 - 2*l - 27. Is k(-4) a composite number?
False
Let x(t) = t**3 + 5*t**2 + 5*t + 3. Let l be x(-3). Suppose l*h + h = -1911. Let r = h + 400. Is r a prime number?
True
Let q = 820 - -275. Let m = q + 502. Is m a composite number?
False
Let a = -226 - -466. Suppose -6*q + 4*q - 140 = 3*r, 4*q = 4*r - a. Let b = 287 + q. Is b composite?
False
Suppose -9*y + 23814 = -5229. Is y prime?
False
Is -34 + 31 - -5*542 a composite number?
False
Let y(x) = -x**2 - 6*x - 4. Let l be y(-4). Suppose l*c = 5*t + 2*c - 33, -36 = -4*t + 4*c. Suppose -1015 = -0*f - t*f. Is f composite?
True
Let d be 371/(2 + 30/(-16)). Let a = -2047 + d. Is a composite?
True
Is ((-94402)/(-33))/(2/3) a composite number?
True
Let k(z) = 1137*z + 2. Is k(1) a composite number?
True
Let f = -7087 - -13200. Is f a prime number?
True
Suppose -p - 4*v = -4935, -12883 - 1852 = -3*p + 2*v. Suppose -4*u = u - p. Suppose o = 4*o - 2*q - u, 2*o - 2*q - 652 = 0. Is o prime?
True
Let a(d) = 31*d + 1. Let y be a(-1). Let z = 22 + y. Let m(x) = 7*x**2 + 12*x + 13. Is m(z) prime?
False
Is (-7540)/(-8) + 21/(-14) composite?
False
Let h(a) = -a**3 + 28*a**2 - 46*a - 58. Is h(25) prime?
False
Let v(g) be the second derivative of g**3/6 - 3*g**2 + g. Let h be v(8). Suppose h*o - 403 = -3*r, -2*o + o = 4*r - 529. Is r a composite number?
False
Let i(w) be the third derivative of -w**7/504 + w**6/720 + w**5/10 - 2*w**2. Let c(t) be the third derivative of i(t). Is c(-3) prime?
True
Suppose -679*o + 10977 = -676*o. Is o composite?
False
Suppose -5*l - 5*t = -3*t - 3085, 0 = 4*t. Let q = l + 185. Is q composite?
True
Let a = -5604 - -11815. Is a prime?
True
Let t = -84577 - -121100. Is t a prime number?
True
Let t(g) = -g**3 + 3*g**2 + g + 2. Let m be t(3). Suppose -8*u + m*u + 11265 = 0. Is u prime?
False
Is ((-4442)/6)/((-62)/1302) composite?
True
Let b = 11100 + 20569. Is b composite?
True
Let k = 1356 + 593. Is k a prime number?
True
Let x(s) be the second derivative of s**4/3 - s**3 + 11*s**2/2 - 13*s. Is x(-5) a composite number?
True
Suppose -1014 = 12*m - 9882. Is m composite?
False
Let q(f) be the second derivative of -f**3/6 - 7*f**2/2 + 3*f. Let i be q(-12). Is ((-1)/2)/(i/(-1270)) composite?
False
Let t = 0 + 2. Suppose t*j - 1710 = -j. Let r = 861 - j. Is r a composite number?
True
Suppose -2892 = -2*z + 4682. Is z prime?
False
Let f = 12560 + -3102. Is f composite?
True
Let h(u) = 11*u**2 + 50*u + 25. Is h(22) a composite number?
False
Let f = -992 - -708. Let i be (1 - (-3 - 0)) + f. Let a = -153 - i. Is a composite?
False
Let t = -318 - -2813. Is t prime?
False
Suppose -224*n + 223*n + 5051 = 0. Is n a composite number?
False
Let x be 3 - (-1)/(1 - 2). Suppose 2*o = -x*o - 5384. Let t = o - -1887. Is t composite?
False
Let j = 198 + -135. Suppose j = i + 12. Is i composite?
True
Suppose -4*j + 11999 = 3*t, -j + 0*t + 3001 = 2*t. Is j prime?
True
Suppose 2*n - 10 = 0, 426 - 1856 = -3*c + 5*n. Suppose 0 = p - 774 - c. Is p a composite number?
False
Suppose -3*x = -25*i + 23*i - 3785, -4*x + i = -5040. Is x a composite number?
False
Let p = 1341 - 226. Is p a composite number?
True
Suppose 6*j = 4*j + 3*x + 118882, -5*x + 297205 = 5*j. Is j prime?
True
Suppose -14*x + 13060 + 28128 = 0. Is x a prime number?
False
Let j(z) = 2*z**3 + 26*z**2 - 34. Is j(11) composite?
True
Suppose -s - 926 + 82 = 0. Let b = s + 1479. Is b a prime number?
False
Suppose 0 = -4*p - 121 - 2963. Let j = p - -485. Let h = -63 - j. Is h a composite number?
False
Let c(z) = -z**2 + 7*z - 7. Let q be c(4). Suppose 594 = q*u - 9211. Is u prime?
False
Let b(c) = 0 + 6 - c**2 - 1 + 0*c**2 + 10*c**3. Is b(4) a prime number?
False
Let c be (3/15)/((-25)/(-344625)). Suppose -7*n + 30 = -2*n. Is c/9 + n/9 prime?
True
Let o = 42 + -42. Suppose 0*b + 2*b - 402 = o. Is b prime?
False
Let n be (-4 - (-121305)/12) + (-1)/(-4). Suppose 14*s + n = 19*s. Is s a composite number?
True
Let f = 1152 + -3169. Let q = f - -2832. Is q composite?
True
Let i = 7618 + 5599. Is i prime?
True
Is (16 + -7)/9 + 68 composite?
True
Is (-5)/(-4)*(4 - (-7805 - -5)) composite?
True
Suppose -22*h - 146560 = -26*h - 4*s, -146567 = -4*h + 3*s. Is h composite?
True
Is (-7429)/(-2) + 237/(-158) a prime number?
False
Let c = 9 + -6. Suppose p + 6 = -2*p, -c*g - p + 445 = 0. Is g a prime number?
True
Let g(q) = q**3 + q**2 + 12*q - 8. Let j be g(-11). Let b = j + 5. Let t = -800 - b. Is t a prime number?
False
Let j(y) = 2*y - 5. Let h be j(2). Is -2 - ((h - -2) + -265) composite?
True
Suppose -4*l + 12 = -c, -4*c + 4*l - l = 48. Is c*((-35)/14 - (-3)/(-12)) prime?
False
Suppose 28*p + 14078 = 30*p. Is p prime?
True
Let o be (809/(-2))/(1 - 9/6). Let k = o - -1462. Is k a composite number?
True
Suppose -l - 3*x = -19814, -36441 - 3167 = -2*l - 2*x. Is l a prime number?
False
Suppose -w + 38 - 145 = 2*t, -4*t = -4*w - 440. Is 4/3*3 - w composite?
False
Suppose 12*n - 203835 + 22959 = 0. Is n prime?
True
Let m be -2*(-1)/(-4)*-10. Let j = 139 + -149. Is 2/j - (-3546)/m a composite number?
False
Suppose 0 = 3*f - d - 20090, 0*f = 3*f + 5*d - 20096. Is f a composite number?
True
Let o(q) = -2*q + 23. Let b be o(10). Suppose -b*z + 180 = 3*j, 2*z + z + 44 = j. Let l = j + 33. Is l a composite number?
False
Let i(u) = -46*u + 25. Let m(o) = 9*o - 5. Let p(g) = 2*i(g) + 11*m(g). Suppose 15*j + 11*j - 52 = 0. Is p(j) prime?
False
Let v = 50 - 32. Let c be (-6)/v - 48/(-9). Suppose a + 10*i - 5*i = 95, -210 = -2*a - c*i. Is a a prime number?
False
Suppose -61154 = -19*g + 59363. Is g a prime number?
True
Let m = 63 - 62. Is 0 + 4908 - m/1 composite?
True
Suppose 2*l - l + 15 = 0. Let d be (96/l)/((-8)/20). Is 3147/7 + d/(-28) composite?
False
Suppose -4*n - 9 = 5*a, 0*n - 4*a = -n + 24. Suppose -2*m = 4*d - d - n, -5*m + 5 = 5*d. Suppose -d*k + 584 + 2 = 0. Is k composite?
False
Let a be (-20)/8*12/(-10). Suppose a*t = -t. Suppose -5*s + t*s = -1265. Is s composite?
True
Let o = 167 - 693. Let a = o - -843. Is a a composite number?
False
Let i(j) = 88*j**3 + 2*j - 2. Let b be i(2). Suppose 3*n - 361 = 5*z, -5*n - z - 95 = -b. Is n prime?
False
Let h(y) = -2*y - 41. Let d be h(-21). Let f(a) = -1 + 73*a - 13*a + 98*a. Is f(d) composite?
False
Suppose -54303 = -4*q - b, 3*b = 2*q - 6*q + 54293. Is q prime?
True
Let n = -11966 - 3091. Is (n/(-35) + 2)/(2/10) a prime number?
True
Let b(p) = p**2 - 1. Let c(k) = -15*k**2 - 7*k + 3. Let u(m) = 3*b(m) - c(m). Is u(-11) a prime number?
False
Suppose 0 = 6*a - 2*a - 12800. Suppose -4*n + 6*n + a = 0. Let h = n + 2429. Is h composite?
False
Let m = 18017 + -9032. Suppose 2*l - m = 689. Is l composite?
True
Is (-112440)/(-18) - (21/(-9) + 2) a composite number?
False
Suppose 0*x - 6 = -3*x. Suppose -4 = -x*n - 0*n. Suppose -334 = -4*w - n*j, 0 = 5*w + 3*j - j - 417. Is w a prime number?
True
Is (-1)/(((-8)/(-15711))/(-8)*1) prime?
False
Suppose 18 = -4*z + 7*z. Let b be 0 + 1 - (1 - z). Suppose b*s - 7*s + 118 = 0. Is s a composite number?
True
Let n(t) = 7*t - 5. Let c be n(5). Suppose -1 = -2*q + 9, 2*q - c = -5*h. Is ((2 - h) + 3)*131 prime?
True
Is (-77)/(-231) + (-34420)/(-6) a prime number?
True
Let p(o) = o + 1973. Is p(0) a composite number?
False
Let q be ((-358)/(-3))/((-5)/(-15)*-1). Is (0/1 + q)*1/(-2) a prime number?
True
Suppose -2*h + 2*q = 14, 2*h + 3*q = -7 - 2. Let p be h + 3 - (-16 + -1). Let y = 65 - p. Is y a composite number?
True
Suppose 5*i - 4 = 4*i. Suppose 0 = i*g + g - 3590. Is g a prime number?
False
Let s(c) = 5*c - 7. Let x(n) = 9*n - 15. Let k(i) = 11*s(i) - 6*x(i). Let t be k(-7). Suppose 2*h + y - 524 = t*y, -h = -3*y - 263. Is h a composite number?
False
Let v = -13 + 18. Let d(i) = 5*i + 6. Let j(x) = 14*x + 17. Let k(u) = -8*d(u) + 3*j(u). Is k(v) prime?
True
Let u(k) = -k**3 - 2*k**2 + 2. Let z be u(-2). Suppose -z*q + 4 = 2. Let o(n) = 68*n - 1. Is o(q) composite?
False
Let l = -4439 + 2494. Let m = 3282 + l. Is m a prime number?
False
Suppose -4*q + 17 = 4*v + q, v - 2*q = 1. Suppose 3*b + 15446 = -2*t + 6*t, 11587 = v*t - b. Is t composite?
Fals