 composite?
False
Let f(z) = -z**3 + z**2 - 2*z - 424. Let b(u) = -u**3 + u**2 - 3*u - 425. Let d(x) = 2*b(x) - 3*f(x). Is d(0) prime?
False
Let g = -4 + 6. Suppose g*z - 109 = 155. Let p = z - -51. Is p composite?
True
Let d = 11 + -5. Suppose 2*w - 1140 = 2*v, 25 = -d*v + v. Is w prime?
False
Suppose -2*u - 25161 = -5*r, -453 = -4*r - 3*u + 19685. Is r a composite number?
True
Suppose 0 = -w + 6*w + 1110. Let t = w + 539. Is t composite?
False
Suppose 266 = 5*l + 86. Let y be 3*l - (1 + 2). Let k = 151 - y. Is k a prime number?
False
Let d(m) = 7*m**3 + 7*m**2 - 27*m - 23. Is d(8) a composite number?
False
Let c be 16*(2/(-4) + 1). Suppose 26576 = c*h + 7912. Is h a prime number?
True
Suppose -593 = -3*t + 37. Suppose 5*k - 2*k + 3*w = 150, t = 4*k + 2*w. Is k a prime number?
False
Let a = 10215 + -6868. Is a prime?
True
Suppose 4 = -2*b, 3*n - 582 = -0*n + 3*b. Suppose n = x - 67. Is x a composite number?
True
Suppose 2*n - 720 = -2*x, -5*n + 5*x = -432 - 1378. Is n prime?
False
Let w(n) = n**2 - 4*n + 4. Let i be w(4). Let l be (-1230)/(-105) + i/14. Let r(k) = k**3 - 11*k**2 - 7*k - 11. Is r(l) a composite number?
True
Let x be 4/14 - 108/(-63). Suppose -x*h = -h - 307. Is h prime?
True
Suppose -2*u = 2, -5*m - 4*u - 296 + 34127 = 0. Is m prime?
False
Suppose 6*a - 8*a = -4202. Is a a prime number?
False
Suppose -9 = -3*n, -8021 + 957 = -q + n. Is q prime?
False
Let r be 4/12 - 4528/(-6). Suppose -4*c - c + r = 0. Let w = c - 24. Is w a prime number?
True
Is (-4468)/1*10/(-40) composite?
False
Let y(j) = j - 4. Let o be y(5). Suppose 4*r - o = -173. Let x = r + 102. Is x a composite number?
False
Suppose 21*u - 30289 = 14*u. Is u a prime number?
True
Suppose 0 = -3*z - 3, -334 + 21 = -4*c + 5*z. Let u = -54 - c. Let g = 354 + u. Is g a prime number?
True
Let x(u) = -4*u - 3. Let h be x(-2). Suppose h*r - 5*s = -0*r + 940, -s - 558 = -3*r. Suppose -6*m = -m - r. Is m a prime number?
True
Let w = 36 - 45. Is (-1)/(w/1843) - 24/(-108) prime?
False
Let d(h) = 2*h**2 + 3*h. Let y be d(-2). Suppose y*x - 381 = 405. Is x a prime number?
False
Let f = 7 - 4. Suppose -3*v - 4*o = -43 - 177, o - 74 = -v. Let g = f + v. Is g a composite number?
False
Is -12 + 6 - -14 - (0 - 2649) composite?
False
Let n(h) = h**3 - 4*h**2 + 6*h + 16. Let v be n(9). Suppose 3*q + 4224 = 3*m, -m + 0*q = -4*q - 1411. Suppose -v = 4*z - m. Is z prime?
True
Let x(y) = 13*y**2 - 2. Let n be x(4). Suppose -2*j + 4*m + 218 = -0*m, 2*j - m - n = 0. Suppose 3*g - 154 - j = 0. Is g a prime number?
False
Let y(s) = 22*s**2 + 4*s - 1. Let f be ((-4)/(-2))/(0 - (-2)/(-3)). Is y(f) prime?
False
Let g = 4565 + 1292. Is g a prime number?
True
Let j be 256/14 + (-10)/35. Let i be (-850)/(-14) - j/(-63). Let k = 16 + i. Is k composite?
True
Suppose -5*s + 10 = 0, 2*n + 2*s = 6*s + 14. Let p(x) = -x**3 + 11*x**2 + 6. Is p(n) a prime number?
False
Suppose -6*z + 3*m = -10*z + 59890, -4*z + 2*m = -59880. Is z composite?
True
Let z(y) = -5*y**3 + 5*y**2 + 11*y - 12. Is z(-5) composite?
False
Let g(f) be the first derivative of 5*f**5/6 - f**4/8 - 8*f**3/3 - 5. Let s(d) be the third derivative of g(d). Is s(4) a prime number?
True
Let u be 5/(-2)*522/(-15). Suppose -2*w + h = -138, 2*h - 106 = -3*w + u. Is w prime?
True
Suppose 2*l + 5 = -s + 4*s, 0 = -2*l - 2*s + 10. Suppose 3*j = -j. Is l + (j - -1047) - 0 prime?
True
Let r(d) = d**3 - 38*d**2 + 45*d + 47. Is r(48) prime?
True
Let k = 67 + -58. Let t(y) = 172*y - 11. Is t(k) a prime number?
False
Let s(z) = 808*z + 2. Let x be s(2). Suppose y - 2*y + x = 0. Is y composite?
True
Let x(r) = 120*r**2 - 5*r + 3. Let k(j) = 481*j**2 - 21*j + 12. Let i(t) = -2*k(t) + 9*x(t). Let s be 3/2 - -3*(-4)/(-24). Is i(s) prime?
False
Let k(w) = w**2 - w - 7. Let x be k(4). Is 5*5 + (3 - x) composite?
False
Is 31013 - (6 + 1 - -5) a prime number?
False
Let x = -15 + 17. Suppose l = 7*i - x*i + 19, 4*i + 32 = 5*l. Suppose 0 = l*c + o - 364, 2*c + 4*o + 273 = 5*c. Is c a composite number?
True
Suppose 15866 = 5*n - 41549. Is n prime?
True
Let p = -20567 - -28980. Is p composite?
True
Let n be 3*(2 + -3)*1. Let y(p) = -p**3 - 4*p**2 - 3*p + 2. Let x be y(n). Suppose -1246 = x*k - 4*k. Is k prime?
False
Is ((-3)/9)/((-1)/1713) prime?
True
Is 2*9/(-12) - (-91445)/10 a prime number?
False
Let u(i) be the third derivative of -8*i**4/3 + i**3/2 + 270*i**2. Let w be (2/(-4))/(1/10). Is u(w) a prime number?
False
Is 1/13 + 816300/117 composite?
False
Suppose 2*f - 6*f + 5*o + 45 = 0, -5*f = -3*o - 40. Suppose -f*y + 124 = -221. Let a = 218 - y. Is a a prime number?
True
Let f(i) = 40*i**2 + 2*i + 13. Let y(r) = -520*r**2 - 25*r - 170. Let o(g) = 40*f(g) + 3*y(g). Is o(-3) composite?
True
Let z(y) = -379*y**2 + 5*y - 1. Let n(v) = v. Let i(o) = -3*n(o) + z(o). Let k be i(1). Is 2*(1 - k/4) a prime number?
True
Suppose 3*y + 4*l = -0*y + 42, -3*l = 5*y - 81. Let x be (-96)/18*y/(-1). Let z = -27 + x. Is z a composite number?
True
Let u(c) = -c**2 - 18*c - 23. Let r be u(-16). Suppose r*v - 1804 = 5*v. Is v prime?
False
Let r(y) = y + 10. Let g be r(-7). Suppose 3 + 3 = -g*i. Is 163/2*(i - -4) composite?
False
Suppose 5*u + 37 = 177. Is 13476/u - (-2)/(-7) composite?
True
Suppose g - 3*g = -4*q + 2154, -4*q = 2*g - 2150. Let n = -287 + q. Is n a composite number?
False
Suppose 4*v + 218 = 2*x, -4*x + 217 = 4*v - 219. Let b = x - -30. Is b a prime number?
True
Let c(t) = t**2 + 2*t - 2. Let n be c(-7). Let u = 229 - 206. Let o = n - u. Is o prime?
False
Let i(s) = 22*s**2 + s + 20. Let q be i(-20). Let j = -6093 + q. Is j composite?
False
Suppose 5*c + 11 - 56 = 0. Suppose 3*k + 0*k - c = 0. Suppose 18 = i - 4*b, b - k*b + 40 = 3*i. Is i a prime number?
False
Suppose 11*h + 24767 = 80812. Is h a composite number?
True
Is (-130)/390*16113*-1 a composite number?
True
Let a(s) = 35*s - 38. Let c = 15 - -2. Is a(c) prime?
True
Suppose 3*m = -4*m + 28. Suppose 0 = -7*v + m*v + 603. Is v composite?
True
Let y(l) = -169*l**3 + 4*l**2 - l - 1. Let s = -12 + 10. Is y(s) a composite number?
True
Suppose -4*s = -5*m + 1115, 892 = 4*m - 8*s + 3*s. Suppose 0 = -20*c + 19*c + m. Is c composite?
False
Let c = 6 + 5. Suppose -c*k = -3*k - 16136. Is k composite?
False
Let a(l) = 178*l - 16. Let v be a(-5). Let y = v - -1351. Is y a composite number?
True
Let r = 280 - 191. Let b = -160 + r. Let z = 150 - b. Is z a prime number?
False
Let j = 44 - 7. Suppose j*q + 11444 = 41*q. Is q a prime number?
True
Let g = 57 - 55. Suppose 0 = -3*f + g*f + 262. Is f composite?
True
Let q = -137 - -50. Let n = q + 198. Is n a composite number?
True
Let b be (-1 - 1)*7/7. Let w be 204/(-21) - b/(-7). Is (-6)/w - 2504/(-10) prime?
True
Suppose 8*a - 5075 = -1475. Suppose q - 526 = 3*q. Let d = q + a. Is d composite?
True
Let c(i) = 7*i**2 - 10*i + 111. Is c(8) a prime number?
True
Let i be (-6)/27 - 29549/(-9). Suppose -2*n = k - 1639, 0*n + i = 4*n + k. Let h = n + -293. Is h composite?
True
Let s = 1452 - 839. Is s prime?
True
Suppose -3*q = -3*r + 25956, 4*r = 3*r - 4*q + 8677. Is r prime?
False
Suppose 0 = -4*o - 5*x + 559262, 4*o - 5*x - 772650 = -213408. Is o prime?
True
Let o be 65*(3 - -6)/(-3). Let p = -136 - o. Is p a prime number?
True
Let d(w) be the third derivative of 8*w**2 + 1/8*w**4 - 1/2*w**3 + 0 + 1/3*w**5 + 0*w. Is d(2) composite?
False
Let l(v) = 13*v**2 + 9*v - 1. Suppose 0 = -2*b + 61 - 25. Let k = b + -12. Is l(k) composite?
False
Suppose -12*s = 190 - 2458. Let x = s + 13. Is x composite?
True
Let f(t) = -2*t + 3. Let w be f(7). Let r be ((-485)/2)/(w/22). Suppose 3*x + 2*x = r. Is x a composite number?
False
Let w(c) be the second derivative of c**4/4 - 5*c**3/6 + 2*c**2 + 7*c. Let u be w(3). Is (-62)/(-4)*u/8 a composite number?
False
Let t be ((-6)/(-9))/((-8)/492). Let u = -68 - t. Is ((-18)/u)/(2/138) a composite number?
True
Let v = -12 + 60. Let s = v - 30. Is 34 - (s/(-3) + 3) prime?
True
Is (-41872)/(-10) - 5/25 a prime number?
False
Let d be ((-90)/(-20))/((-1)/(-2)). Let c be (-6411)/d + 1/3. Let a = -423 - c. Is a a prime number?
False
Let s be (-20)/25*(-3 - 2). Let d(o) = -3 - 4 + 13*o - s - 5. Is d(11) a composite number?
False
Suppose 0 = -z - 2, -4*f + 2*z = -3*z - 345062. Is f a prime number?
True
Let g(v) = 2*v + 95. Is g(-13) a prime number?
False
Let