s t a composite number?
False
Let f = -58 + 61. Suppose -r - 14 = -f*v + 185, -v - 2*r + 57 = 0. Is v a composite number?
True
Let v = -82 - -225. Is v a composite number?
True
Let s = 1656 - 1174. Is 4/2 + s + (7 - 12) prime?
True
Let i = 17 - 13. Let f(v) = 15*v + 1 + 59*v + 1. Is f(i) prime?
False
Suppose 20 = 6*k - k. Suppose -k = h - 7. Suppose x - 4*x + 93 = h*m, 4*m = -5*x + 157. Is x a composite number?
True
Let k(p) = 48*p**2. Let a be k(3). Suppose g - 4*x - 163 = 0, 4*g - a = 4*x + 268. Is g prime?
True
Suppose 0 = j + 4*o, 5*o + 5 = -0*o. Suppose 1467 = j*i - 5*v, 3*v = 5*i + v - 1855. Is i a prime number?
True
Let p(q) = q**2 + 7*q + 11. Let a be p(-5). Let r(l) = 42*l - 5. Let k(u) = u - 1. Let c(h) = a*r(h) - 6*k(h). Is c(1) composite?
False
Let y be 0/(-1)*(2 - 3). Suppose -3*v = -2*v - l - 3, -5*l = y. Is ((-6)/8)/(v/(-204)) prime?
False
Let g(d) = -d - 118. Let u be g(0). Let f = u + 339. Is f a prime number?
False
Is -7 + (-5 - -48461) - (-4 - -10) prime?
False
Let l(y) = y**3 - 34*y**2 - 22*y - 23. Is l(36) composite?
False
Suppose 2*d - 6*d = -28. Suppose 4*o - 5 - d = 5*h, 4*o - 12 = -5*h. Suppose 89 = o*j - 5*q, -4*q = 2*j + 3*j - 173. Is j composite?
True
Let n be ((4 + -4)/(-5))/(3 + 0). Suppose 2*t = t + 149. Suppose n*y - t = -y. Is y a prime number?
True
Let y = -58 - -233. Let x be (-305)/3 + 12/18. Let q = x + y. Is q a composite number?
True
Suppose -3*v + 10 = 2*v. Suppose 3*k + 6*y - v*y = 1171, -2*y = -k + 407. Is k composite?
False
Let w be (4/12)/(2/18). Suppose 0 = -3*z - 3*h + 2166, 2*h = -w*z + 2750 - 587. Suppose 370 = 2*k - 4*t, k - t - z = -3*k. Is k composite?
False
Suppose -16*h + 477963 = -233365. Is h composite?
True
Let v be 4/(-6) + (-5)/(-3). Suppose -3 = -2*f + 7. Let h = f + v. Is h prime?
False
Let k be ((-22)/6)/(2/(-36)). Suppose c + 5*f + 0*f - 8 = 0, -4*c + 2*f = -10. Suppose -y = -c*y + k. Is y prime?
False
Suppose -515 = u - 1495. Suppose 4*q = -3*c - c + u, c + 2 = 0. Suppose 3*v - 6*v + 2*r + q = 0, 3*v - 4*r = 257. Is v a prime number?
True
Let d(x) be the third derivative of x**4/6 - 25*x**3/6 - x**2. Suppose 13*w - 34*w + 210 = 0. Is d(w) prime?
False
Let x be 5 - 2 - (0 - -2). Let g(z) = -19*z - 46*z - 30*z + 20*z - x. Is g(-2) composite?
False
Suppose -115 = 11*q - 16. Let h(o) = -4*o**3 - 3*o**2 - 11*o - 11. Is h(q) a composite number?
True
Let x be (-1)/2 - (-1851)/6. Let z(f) = -23*f + 26. Let h be z(9). Let w = h + x. Is w a prime number?
True
Suppose -3*z = 5*k - 36370, 5*z + 36410 = -4*k + 9*k. Is k prime?
False
Let z(u) = -6*u - 69. Let m be z(-12). Let o(y) = y**3 + 3*y**2 + y + 3. Let j be o(-3). Suppose -a + m*a - 310 = j. Is a a composite number?
True
Let a be -4322*((-21)/6 - -3). Let f = a + 948. Is f prime?
True
Is ((-42)/35)/3*(-3634 - 1) composite?
True
Suppose p - 4*l = 3935, p - 1244 = -l + 2681. Let y = p + -1222. Is y prime?
False
Let v(g) = -g**3 - 7*g**2 - 8*g - 4. Let j be v(-6). Let w be (8/j)/((-1)/2). Is 6/w*(10 - 21) a prime number?
False
Let o(u) = -u**3 - 5*u**2 + 6*u + 13. Let r be o(-6). Suppose 18*k - r*k - 1165 = 0. Is k a composite number?
False
Let g(w) = 82*w**2 + 34*w + 199. Is g(-10) prime?
True
Let z(x) = -2*x**3 - 5*x**2 - 6. Suppose -3*c = -5*h + 61, -4 = c - 3*h + 23. Let y = c - -7. Is z(y) a prime number?
False
Let f be 1/(-6) + (-172338)/(-36). Suppose 0 = 11*n - f + 1410. Is n a prime number?
True
Let h(u) = 198*u**2 + u. Suppose -v = 5*p - 7 + 1, -4*v - 3*p + 24 = 0. Suppose 0 = 5*y - 3*s - v - 2, -2*s - 2 = 0. Is h(y) a composite number?
False
Let r(v) = v**2 - 7*v + 0*v - 2*v - 2 + 2*v. Let g be r(5). Is 200 + g/(-3) + -1 a prime number?
False
Let l(o) = o**2 - o - 1. Let f(g) = -3*g + 5*g**2 + 0*g**2 - 25 + 5. Let j(w) = f(w) - 3*l(w). Is j(-18) composite?
False
Let g(w) = -w**3 + 2*w**2 + 8*w + 1. Let v be g(-5). Let k = v - 69. Let z = -24 + k. Is z a prime number?
True
Let q = -26 - -17. Let n(x) = -x**2 - 9*x. Let b be n(q). Suppose b = -6*v + 8*v - 254. Is v composite?
False
Suppose -4*i + 52 - 4 = 0. Let t be (4/i)/((-3)/909). Let f = t + 198. Is f a prime number?
True
Let u(p) = -588*p**3 + 3*p + 1. Is u(-2) composite?
True
Let x = -6274 + 10217. Is x a prime number?
True
Let d be 6/2 - (-1064 - -7). Let z = d + 633. Is z a prime number?
True
Is -5*30/675 - 109685/(-9) prime?
False
Suppose 5*j = a, 0 = -4*a - 0*a - j + 42. Let i be (20/(-50))/(3/45). Is (i + 1)/(a/(-530)) prime?
False
Let w be (0/(2 - -1))/3. Suppose 3*d - 5*b = -4 - 6, -5*b + 25 = w. Suppose d*l - j - 375 = 0, 0*j - j - 301 = -4*l. Is l a composite number?
True
Let u(n) = n**3 + 9*n**2 - 21*n - 7. Let t be u(-10). Suppose -4*d + 521 + 103 = 0. Let z = d - t. Is z a prime number?
True
Let g(y) = 95*y - 572*y + 3 - 10. Is g(-4) a prime number?
True
Let n = -618 + 333. Let a = -203 - n. Is (-3 - 0) + 1*a a composite number?
False
Let q(j) = -31*j - 10. Let o = 8 + -19. Is q(o) composite?
False
Suppose -6561 + 697 = -4*n. Suppose -3*j = -3, -5*c = -2*j + 3*j - n. Is c composite?
False
Let k be 12/30 - (-506)/10. Let j be (k/15 + -3)*25. Is j*(-2)/(8/(-58)) composite?
True
Let w be 2/(-5) + (-5 - (-1930)/(-50)). Let f = 295 + w. Is f a composite number?
False
Let j(f) = f**2 + 5*f + 6. Let q be j(-4). Suppose q*n = -4*n + 30. Suppose 0 = -n*p - 3*r + 194, -r = -2*p - 6*r + 89. Is p prime?
True
Let b = -163103 - -240626. Is b prime?
False
Suppose 2*t = -4*b + 9908, t - 3125 = -b + 1828. Suppose -4628 - t = -4*s. Is s prime?
False
Let d(g) = g**2 + g. Let k be d(-1). Let l(q) = 2*q**3 + q + 197. Let v(w) = 5*w**3 + 2*w + 395. Let y(c) = 7*l(c) - 3*v(c). Is y(k) a prime number?
False
Suppose 0 = 6*p - 0*p - 99606. Is p a prime number?
False
Let l be (-25)/15 - 2/6. Let q(t) = -14*t**3 - 3*t - 3. Is q(l) a composite number?
True
Let p(c) = -3*c**2 + 3*c + 19. Let a(y) = y**2 - 2*y - 9. Let j(b) = -5*a(b) - 2*p(b). Let d be j(-7). Suppose t - d = 85. Is t a composite number?
False
Suppose -3*v = 4*b - 5969, 5*b - 1407 = -2*v + 2570. Let x = v + -1194. Is x a composite number?
False
Suppose 0 = -5*k - 22*k + 51381. Is k composite?
True
Suppose -4*v = 2*y - 62624 + 15570, -5*v + 47052 = 2*y. Is y a prime number?
True
Suppose 4*l - 58581 + 11411 = 2*i, -l - 5*i + 11809 = 0. Is l composite?
True
Suppose -4*v - 3*y = y + 64, 5*y - 40 = v. Let g be (-65)/v - 1/4. Let m(s) = 2*s**3 - 3*s**2 + 4*s - 4. Is m(g) prime?
False
Let y(g) = 15 - 5*g - 15. Let s be y(-1). Suppose -4*q - 40 + 6 = -3*z, 26 = s*z + q. Is z a composite number?
True
Let c(n) = 86*n**2 - 6*n + 43. Let o be c(-10). Suppose 5*g - 2*k - 14473 = 2*k, 3*g = -4*k + o. Is g a prime number?
True
Suppose 4 = 4*w, -23 = -m - 2*w - 3*w. Let b = -13 + m. Suppose -b*i + 254 = -4*i. Is i composite?
True
Let i = 241 + -21. Suppose i + 259 = p. Is p composite?
False
Let o = -34 + 40. Let i(v) = v**3 - v**2 + v. Let n(c) = 5*c**3 + 2*c**2 + 3*c - 5. Let b(k) = -6*i(k) + n(k). Is b(o) a prime number?
False
Suppose -4*m - 28 = -6*m. Is 102530/70 - (-4)/m a prime number?
False
Let o = 574 - -1363. Is o composite?
True
Let b = -896 + 1479. Is b composite?
True
Is (-1237)/2*11*(-6 - -4) a composite number?
True
Let o = 3684 - -7699. Is o prime?
True
Let m = 59341 + -32508. Is m prime?
True
Let r(d) = -247*d**3 - 8*d**2 - 19*d - 5. Is r(-2) a prime number?
False
Let m = 86284 + -41123. Is m prime?
True
Let u = -4258 - -7691. Is u a composite number?
False
Let i = -14089 + 24750. Is i a prime number?
False
Suppose -1 = 4*z - 13. Suppose -6532 = -c - z*c. Is c prime?
False
Suppose 4*d + a - 6303 = 0, 0 = -3*d + 7*d + 2*a - 6298. Is d a composite number?
True
Suppose 3*g + 2399 = 3*s + s, 5*g = 15. Suppose 2*j - s + 180 = 0. Is j prime?
True
Let g(x) = 3*x**2 + 9*x + 1. Let y be (-55)/(-25) - (-1)/(-5). Suppose -3*r - 19 = -4*s, -4*r = -s - y - 3. Is g(s) a composite number?
False
Let y(t) = t**3 - 2*t + 209. Let w(h) be the third derivative of h**5/60 - 5*h**4/12 - 4*h**3 + 7*h**2. Let s be w(12). Is y(s) a composite number?
True
Let t(f) = -3*f**2 - 6*f + 0 + 3 + 3*f**3 + 2*f + 1. Suppose 2*x - 9 = 3*x - 4*j, -4*j + 18 = 2*x. Is t(x) composite?
True
Let b = -5475 - -9982. Is b prime?
True
Is ((-4345)/33)/((-6)/18) a prime number?
False
Let o(f) = f**3 - 3*f**2 + f. Let c be o(1). Let b = 5 + c. Suppose -3*r - 314 = -a - 2*