p - 2067. Is n composite?
True
Is (-5)/15 + 122200/30 prime?
True
Suppose -c + 5*n = -20463, 20442 = -4*c + 5*c + 2*n. Suppose c = 7*f - 5837. Is f prime?
False
Let n(w) = -w**3 + 4*w + 3. Let b be n(-2). Suppose 0 = -q + 6*q + 10, 0 = -g - 5*q + 544. Suppose -g - 151 = -b*h. Is h a composite number?
True
Let c = 67 + -57. Suppose 2*r + 0 = c, 5*i = -2*r + 23565. Is i prime?
False
Let k(t) = -t**3 - 16*t**2 + 1. Let q(p) = p**3 + 15*p**2 - 1. Let n(f) = 3*k(f) + 4*q(f). Is n(-10) a prime number?
True
Let k = 21 - -31. Suppose k = n - 199. Is n a prime number?
True
Let k(q) = -q**3 - 5*q - 4. Let f be (-6)/(-4) - 6/(-4). Suppose -f = 5*h - 4*h. Is k(h) composite?
True
Let t be -2*(-2 + -3) + 2 + 0. Is (434 + t)*(-1)/(-2) a composite number?
False
Let k(m) = 10*m - 11. Let h(d) = 2*d**3 + d**2 - 3*d + 2. Let n be h(2). Let p = -7 + n. Is k(p) prime?
True
Let z be 8*3/(-24)*-4. Suppose o - z*h = 5, -3*h + 10 = 3*o - o. Suppose -979 = -o*a + 5*k + 101, -a = k - 206. Is a composite?
False
Let p be (-28)/7 - -12*(-3 - -1). Is (-1)/((-7)/p) - 3825/(-1) prime?
True
Is 2/(-4) + 36/(-8) + 11512 a composite number?
True
Let q(d) be the first derivative of 178*d**2 + 3*d + 20. Is q(5) a composite number?
False
Let l be 42/4 - (-11)/(-22). Let t = l + -10. Suppose 5*x + t*x = 290. Is x prime?
False
Let s(b) = 23*b**2 - b. Let o be s(2). Is ((-12166)/o - 6/27)*-5 a prime number?
True
Let n(g) = g + 2. Let i be n(5). Suppose -143 - 172 = -i*t. Is (-6)/45 - (-2481)/t composite?
True
Let t(o) be the first derivative of -105*o**2/2 + 11*o + 2. Suppose -5*g - 55 = -5*a, 3*g - g - 3 = -3*a. Is t(g) a prime number?
True
Suppose 5*p - 3*p = 670. Let f be (-1)/(2/(-14))*143. Suppose a - p = -m + 2*a, -2*a - f = -3*m. Is m composite?
False
Let p(l) be the third derivative of -335*l**4/24 - 5*l**3/3 - 45*l**2. Is p(-9) a composite number?
True
Is (-295992)/(-10) - (-17)/(-85) a composite number?
False
Is (221/(-39))/(2*3/(-1926)) a composite number?
True
Suppose -3*u + 22222 = 4*t, -5*t + 21*u - 23*u = -27781. Is t composite?
False
Let d(k) be the third derivative of 1/120*k**6 + 13/6*k**3 + 0*k - 1/10*k**5 + 0 - 7/24*k**4 + 8*k**2. Is d(7) composite?
False
Suppose 0 = -l - 5*l + 1878. Suppose -2*j + 235 = -l. Is j a composite number?
True
Is ((-15267)/6)/(-7)*(2 - -2) prime?
False
Let h(s) = 22*s**2 - s + 8. Let y(t) = -t**3 - 10*t**2 + 10*t - 4. Let d be y(-11). Is h(d) prime?
False
Let y(w) = -w**3 + 8*w**2 - 4*w - 16. Let v be y(7). Suppose c - 2*t - 1665 = 0, 8305 = v*c - 5*t - 0*t. Is c a prime number?
True
Suppose 10*z + 4 = 11*z. Suppose z*b = 8*b - 892. Is b prime?
True
Suppose -15 = 8*j - 5*j + 3*m, 5*j + 35 = 5*m. Let s be (j/24)/((-3)/36). Suppose -2*r - 121 = -s*r. Is r a composite number?
True
Let c(o) = 2*o**3 + 11*o**2 - 6. Let z be c(-9). Let j = z + 1240. Is j a prime number?
False
Let v(c) = c + 3. Let q be v(6). Let g be (-2)/6*(-315)/15. Suppose g*b + 838 = q*b. Is b prime?
True
Suppose -3*v + 2*u + 1148 = 0, 0*v + 797 = 2*v + 5*u. Suppose 0 = -7*p + 3172 - v. Is p a composite number?
True
Let n(u) = 1198*u - 83. Let p be n(-6). Let g = p + 13792. Is g a prime number?
True
Let z(y) = 42*y + 13. Let j(t) = 84*t + 26. Let f(u) = -2*j(u) + 5*z(u). Is f(5) a composite number?
False
Suppose 0 = -11*j + 61 + 302. Is 1/(1/(-393))*(-11)/j prime?
True
Let j = 130427 - -57416. Is j a prime number?
True
Let m = 32 + -29. Is 236/m + 13/39 prime?
True
Is 431066/30 - (-22)/165 a composite number?
False
Let a(y) = -y**2 + 5*y - 7. Let t(i) = -3*i**2 + 11*i - 15. Let s(d) = 9*a(d) - 4*t(d). Suppose -4*z + 8 = -g, 1 = -3*z + 10. Is s(g) composite?
True
Is 1 + (45239 - (-7 + 14)) composite?
False
Suppose 4*v = 22 - 2. Let i be (-39)/(-15) + 2/v. Suppose i*w - 3571 = 4*o, -7*o - 2376 = -2*w - 2*o. Is w a prime number?
True
Let w(q) = q**3 - 6*q**2 - 5*q + 7. Let k(a) = a**3 + a - 7. Let m be k(0). Let c(p) = p**2 + 5*p - 3. Let v be c(m). Is w(v) composite?
False
Let c be (-8)/(-12) - 2380/(-3). Suppose 0 = -a + 11 + c. Let u = a + 1084. Is u prime?
True
Let l(g) = -25*g**3 - g**2 + 2*g + 2. Is l(-3) a prime number?
False
Let y = 2974 + -1221. Is y prime?
True
Let v(c) = -4*c**2 - 5*c**2 - 6*c + 16 + 21*c**2 - 3*c**2. Is v(5) a composite number?
False
Let i be 0*(0 + 1/2). Let k be 12/30 - 23/(-5). Suppose 2*t - 344 = t + k*x, i = -t + x + 332. Is t composite?
True
Suppose g - 1515 - 1116 = 0. Suppose 0*l = 3*l - g. Is l composite?
False
Let s = -75 - -79. Let q(r) = -r**3 + 6*r**2 - 6*r + 4. Let h be q(4). Suppose -s = 4*w - h. Is w a prime number?
True
Suppose b = -2, -2*q + 37102 - 5076 = -2*b. Suppose -2427 - q = -6*v. Is v a composite number?
True
Let k(v) = 5*v**3 + v**2 + 10*v + 15. Let t be k(-11). Is (-1)/(-3) - (t/3 - 3) composite?
False
Let r(z) = -1471*z - 218. Is r(-9) prime?
False
Let z(v) = 16*v**2 + 11*v + 1. Let f be z(-5). Let c = 1187 - f. Is c a composite number?
True
Let x be ((-22)/33)/(3/((-9630)/4)). Let r = x - 132. Is r a prime number?
False
Let j(h) = h**3 + 40*h**2 + 45*h - 61. Is j(-38) prime?
True
Let v(g) = -g**3 - 4*g**2 + 4*g - 1. Let d be v(-5). Let s = -19 + 19. Suppose s*o - 212 = -d*o. Is o a prime number?
True
Let f = -10 + 12. Let b be (6510/(-4))/5*f. Let p = b - -958. Is p composite?
False
Let i(v) = -33*v - 23. Let d be i(-14). Let b = d + -134. Suppose 0 = -6*c + b + 241. Is c a composite number?
True
Suppose -3*p + 1699 = -5*c - 1931, -4*c - 2*p - 2926 = 0. Let z = c - -1316. Let o = 1000 - z. Is o a composite number?
True
Suppose -4 + 14 = n. Suppose 3*o = a - n, 3*o = -a - 23 + 3. Let t(l) = l**3 + 10*l**2 - 4*l - 6. Is t(o) a composite number?
False
Is 1*4255 + (-3 + -6)/(-3) a composite number?
True
Suppose 5*m - 26381 + 3456 = -2*h, -m + 4558 = -5*h. Is m a composite number?
False
Let n(q) be the third derivative of -65*q**4/12 - 23*q**3/6 - 16*q**2. Is n(-7) a composite number?
False
Let d = 3481 + 606. Is d a prime number?
False
Suppose 3*c - 9 = -6*c. Is c*9*474/18 a composite number?
True
Let n(i) = 4072*i**2 - i. Is n(-1) prime?
True
Suppose -681 = -7*n + 173. Let q = n - 45. Is q prime?
False
Let t(v) = -v**2 + v. Let j(x) = 4*x**2 + 10*x - 25. Let o(i) = j(i) + 2*t(i). Is o(5) prime?
False
Suppose 0*o - 56 = -2*o. Suppose -5*p - x = 2*x - o, -5*x + 25 = 4*p. Suppose 0 = -p*v + 2*v + 561. Is v composite?
True
Let r(k) = -5233*k + 18. Let o(p) = 1744*p - 6. Let y(a) = 8*o(a) + 3*r(a). Is y(-5) a composite number?
False
Let c be (142224/(-36))/(0 - (-4)/(-6)). Suppose -c = -4*p - 3*d, 0*p - 5*p + 5*d = -7425. Is p a prime number?
True
Let x = 364 - 190. Suppose -1040 = -g + x. Is g composite?
True
Suppose 2*r - 93 = 1099. Let d(j) = -j**3 - 8*j**2 - 8*j - 2. Let x be d(-7). Suppose 0 = -p + x*p - r. Is p a prime number?
True
Let h(v) = -433*v + 126. Is h(-4) prime?
False
Let k(f) = 99*f**2 - 8*f - 36. Suppose 0 = 5*u - n + 16 + 14, -u = n. Is k(u) a prime number?
False
Let j(w) = -w**3 + 12*w**2 - 11*w + 3. Let x be j(11). Let b = x - 0. Let t(o) = 6*o**3 - o + 2. Is t(b) prime?
False
Let s be (-4 + (-66)/(-15))*-565. Let l = s + 540. Is l prime?
False
Suppose 16*x - 24778 - 996166 = 0. Is x a composite number?
False
Let y = 97 - 64. Suppose -2*v = y - 107. Is v a composite number?
False
Let g(b) = -3*b**2 - b + 1. Let a be g(1). Let w be a + (-1 - -6) + 2. Is (-196)/(-8)*w/2 prime?
False
Let n(i) = i - 4. Let b be n(6). Suppose 4*q - 338 = 2*y, -b*q + 3*q - 95 = 4*y. Is q a composite number?
False
Let j be (-30)/(-10) - -7*2/2. Is j*(-12)/(-30)*263/4 a composite number?
False
Let k = -2740 - -5599. Is k composite?
True
Suppose -1 = -2*z + 7. Suppose 8 = 4*b - z*p, -p + 5 = -5*b + 19. Suppose -4*w + 130 + 67 = q, 814 = 4*q + b*w. Is q composite?
True
Let h(z) = 4*z**2 - 3*z - 2. Let l be h(-1). Suppose -m + 3*d + 1789 = 0, 5075 = 5*m - l*d - 3850. Is m a prime number?
True
Suppose 3*o = 4*o + 4. Let c(y) = -y. Let w be c(o). Suppose -5*r + 430 = k, -r + w = 1. Is k composite?
True
Is -3*(-12)/(-90) + (-241687)/(-5) a composite number?
False
Let c = -9 - -15. Suppose 700 = -4*y + c*y. Suppose -2 = -4*w + 2, -5*w + y = 3*b. Is b prime?
False
Let o(s) = 13789*s + 411. Is o(2) a composite number?
True
Is (334/(-8))/((-14079)/2812 + 5) a composite number?
True
Let n = -1330 + 9291. Is n a composite number?
True
Su