(9) a composite number?
True
Let a be (-16)/(-20)*((-75)/(-6))/5. Suppose -s = 4*k + 3*s - 13168, -a*k + 3*s + 6559 = 0. Is k a prime number?
False
Let x = -62 + 61. Let j be -20*(1*3628/16)/x. Suppose -2*v + j = 3*v. Is v composite?
False
Let v = 1812 + -4551. Let y = 5572 + v. Is y a prime number?
True
Let j(b) = -2*b**3 - 11*b**2 + 5*b + 2. Let v be j(-6). Suppose -v*i + 26775 = -1217. Is i a prime number?
True
Let u be 1094195/85 - 18/(-153). Suppose 11*a - 32*a = -u. Is a prime?
True
Suppose -16099 - 265295 = -2*o. Suppose 0 = 5*u + 12*j - 13*j - 140696, -5*u + 2*j + o = 0. Is u composite?
True
Suppose -21*u + 19*u = -3646. Is u a composite number?
False
Suppose 0*p = -12*p + 80424. Suppose 5*j - m - 2*m - p = 0, j - 4*m = 1337. Let o = j - 544. Is o prime?
True
Let c(i) = 8113*i**2 - 4*i - 2. Let m be c(-1). Suppose -a = 0, 5*d - 6*a - m = -3*a. Is d composite?
True
Suppose 0 = 44*s + 113*s - 1622602 - 2369751. Is s a prime number?
False
Let x(v) = -3376*v + 1433. Is x(-9) a prime number?
True
Let q(p) = -8*p - 1. Let m be q(-1). Is ((-12370)/(-5))/2*m prime?
False
Suppose 0 = -b - 5*t + 5113, 0 = -4*t - 0*t + 16. Is (6 + b/1)*1 a composite number?
False
Let c = 426 + -420. Let m be 51*(-1)/6*-10. Suppose -c*h = -7*h + m. Is h a composite number?
True
Let j be (0 - -1)*(12 - (-6)/6). Suppose -18*m + 2525 = -j*m. Suppose -2*r + m = 4*h - 381, 0 = -r + 1. Is h a prime number?
False
Let h(x) = -x**2 + x - 2. Let g be h(1). Is g - 27/(-12)*-2*-190 composite?
False
Let b be (-40)/(-2) + 4 + -9 + 9. Is ((-942)/b)/((-3)/84) a prime number?
False
Let g = 9354 - 2668. Is g prime?
False
Let j be 2/(-19) - (-2)/19. Let k = j - 0. Suppose 3*q + 4*q - 1729 = k. Is q a prime number?
False
Let a(q) = q**3 + 2*q + 57. Let x be a(0). Let u(c) = 58*c + 353. Is u(x) composite?
False
Let w(k) = k**2 + 5*k + 8. Let l be w(-4). Suppose -l*s + 2*d = -840, -3*d - 1037 = -5*s - 7*d. Let y = 370 - s. Is y a prime number?
False
Let u(f) = 5*f + 8. Let l be u(0). Suppose 3*v + l*t - 7*t = 8, -5*v = 2*t - 12. Suppose r + 2*c - 665 = 0, -c + 2668 = v*r + 3*c. Is r composite?
True
Suppose -5154046 + 262555 = -33*z. Is z a prime number?
False
Suppose 54064902 = 104*k + 43*k - 12162861. Is k a prime number?
True
Let l be (1/2)/((-2)/12) - -8. Suppose l*c + c - 474 = 0. Is c prime?
True
Suppose 3970 = 16*l - 1534. Suppose -4*y + 2674 = -3*k, 1015 = y - 2*k + l. Is y a prime number?
False
Suppose -5*q + 5 = 2*k, 4*k = -5*q - 1 + 6. Is (-142)/(-213) + (k - 35930/(-6)) a composite number?
True
Let c(x) = -x**3 + x**2 - 3*x - 2312. Let r be c(0). Let z = r - -3489. Is z prime?
False
Suppose -34310 = -z + 6*z. Let v = -1977 - z. Is v a composite number?
True
Let u be (4/(16/31))/(2/8). Let c = -23 + u. Let g(o) = 44*o - 11. Is g(c) a composite number?
True
Let g be 2/((-14)/539*-7). Suppose -4*k + 7363 = g*w - 10*w, -1846 = -k + 5*w. Is k prime?
False
Let o = 24166 + -8915. Is o composite?
True
Let p(s) = 13616*s**2 - 7*s + 17. Is p(-4) prime?
True
Let s be (-574)/6 - (-2)/(-6). Let v be (1/2)/((-8)/s). Suppose j = m - 109 + 369, 0 = -2*m + v. Is j a composite number?
False
Let v(x) = x + 5. Let q be v(6). Suppose 4*r - 6*z + q = -5*z, 0 = -z - 1. Is 98 + r*1/6*2 a prime number?
True
Suppose 3*z - 1 = 5. Is (-4 - -3314 - -4)/z composite?
False
Let f = 10 - -13. Let c = f - 0. Suppose -c*w - 514 = -25*w. Is w a prime number?
True
Let c(r) = -r**3 - 11*r**2 + r + 15. Let d = -4 - 7. Let s be c(d). Suppose -s*u + 1100 = -528. Is u prime?
False
Suppose -3*n = 5*a - 2*n - 47, 4*n - 8 = -2*a. Suppose 3*l = -s - 1 + a, 4*s = 2*l - 20. Suppose 5*t + 2*u + u - 748 = 0, l*t - 4*u - 592 = 0. Is t prime?
True
Suppose 119*k - 56 = 105*k. Suppose 3*g - k*d - 10961 = 0, -4*g - d + 5560 + 9080 = 0. Is g a composite number?
False
Suppose 2*x + 1 = -7. Is ((-163788)/18 - x)/((-4)/6) a prime number?
False
Let s(v) = -2*v**3 - 3*v**2 + 2*v + 2. Suppose 3*o - 6 = -0*o. Suppose 4*y - o*y = -14. Is s(y) a composite number?
True
Let k(d) = 6*d**2 + 7*d**2 - 12*d**2 - 5*d + 8. Let x be k(2). Is ((-24)/(-14) - x) + (-26988)/(-84) composite?
True
Let w(l) = 3*l + 9. Let n(q) = q**2 - 5*q - 16. Suppose 9*z - 8 = 8*z. Let x be n(z). Is w(x) a composite number?
True
Let f(n) be the third derivative of 11*n**4/12 + n**3/6 + 287*n**2. Let g be (-1)/((-1)/(-6))*-2. Is f(g) a composite number?
True
Let v(b) = b + 12. Let t be v(4). Suppose 13*i - t*i = -45615. Is i composite?
True
Let k(l) = -21*l**2 + 13*l**2 - 27*l**3 + 47*l**3 + 11*l - 22. Is k(5) prime?
True
Let j(n) be the first derivative of n**4/4 - 2*n**3 - n**2/2 + 16*n + 38. Let i be j(5). Is 1277/(1 - 3 - 30/i) prime?
False
Let h(d) = d**3 + 11*d**2 - 4*d + 3. Let i be h(-11). Let j = i - 31. Suppose j*k - 14*k = 6038. Is k a composite number?
False
Suppose 0 = -2*t - 3*m + 1751834, -9*t + 10*t - 875915 = -2*m. Is t a prime number?
True
Suppose 3*o = c - 3*c - 6, 5*c = 5*o - 15. Suppose o = 19*p - 26*p + 36827. Is p composite?
False
Let t(s) = -2134*s - 8. Let h(r) = -r - 9. Let x be h(-10). Let f be t(x). Let l = f - -7879. Is l a composite number?
False
Let j(k) = 266*k**3 + k**2 - k + 1. Let p(x) = x**3 - 3*x**2 - 8*x + 10. Let g be p(5). Let f = g - 19. Is j(f) composite?
True
Suppose -11*i = -6*i - 10. Let b(f) = -974*f**3 - 5*f**2 - 9*f - 1. Let r(z) = -487*z**3 - 2*z**2 - 4*z. Let m(v) = i*b(v) - 5*r(v). Is m(1) prime?
True
Let v be (1/2)/(((-517)/17886)/(-47)). Let d = -73 - 411. Let j = d + v. Is j composite?
True
Suppose -20 - 28 = -12*c. Suppose -5*q - 56 = -c*h, -5*h - 2*q + 51 - 14 = 0. Suppose 79 = -8*z + h*z. Is z prime?
True
Suppose 0 = 3*c - 2*c + 5*o + 66, 2*c - 4*o = -104. Is (61636/16 + 3)/((-14)/c) a prime number?
False
Let d = -72025 + 121274. Is d prime?
False
Suppose 45*p = 414*p - 15994674. Is p a composite number?
True
Let u(g) = 159*g + 108. Let f be u(11). Let z = f - 1228. Is z composite?
True
Let j(v) = -4*v**3 + 11*v**2 + 4*v + 7. Let h(s) = 7*s**3 - 23*s**2 - 7*s - 14. Let z be (-6)/5*10*(-1)/(-4). Let p(n) = z*h(n) - 5*j(n). Is p(11) prime?
False
Let o(g) = -6*g**3 + 7*g - 5. Let y be 0/(2 - 4) + (3 - 9). Is o(y) a composite number?
False
Suppose -2*y + 2223 = n, 6*y - 8*y + 8868 = 4*n. Is n a composite number?
True
Suppose 0 = -8*b + 3*b + 20. Suppose -b*z + 57675 = 15351. Is z composite?
True
Suppose -1482*n + 756*n - 1519888 = -742*n. Is n a composite number?
False
Suppose -14*z + 18*z = 3*w + 994978, -4*z + 5*w + 994982 = 0. Is z a composite number?
True
Let u(w) = -27*w + 127. Suppose -340 = 40*a - 23*a. Is u(a) a composite number?
True
Suppose -15*c + 17*c = 2*w - 48, -c = -5*w + 104. Suppose w*q = 23*q - 5181. Is q a composite number?
True
Let t = 115279 + -15906. Is t a prime number?
False
Let j be 75/20 + -3 + (-13)/(-4). Suppose -d = i - 6*i + 103927, -8 = j*d. Is i a composite number?
True
Suppose -3611078 = -89*d + 69*d - 102*d. Is d a prime number?
True
Let m = -703 - 96. Let v = 1834 - m. Is v composite?
False
Let s be 2*2/48 + (-935)/(-12). Suppose s*l - 24762 = 76*l. Is l a composite number?
True
Suppose -39047535 = -128*k - 7*k. Is k prime?
True
Let o be 706626/12*8/4. Is (o/148)/(1/4) a composite number?
True
Let w(v) be the third derivative of -1187*v**4/24 + 67*v**3/6 - 114*v**2. Is w(-12) prime?
False
Suppose 33 = -5*o + 3*v, 6*o = 4*o + 2*v - 14. Let g(u) = 31*u**2 + 2*u + 47. Is g(o) composite?
False
Let n = -47 + 53. Suppose -9*l = -n*l - 84. Suppose t + 5*w = 240, -8 = -4*w - l. Is t a composite number?
True
Is (-8 + -3 + 66318)/1 a composite number?
True
Let p = -38 - -62. Suppose t + p = 20. Let x(g) = -g**3 - 2*g**2 + 3*g + 1. Is x(t) composite?
True
Suppose -153*n = -23*n - 12562810. Is n a prime number?
False
Let u(y) = 393*y - 44. Let p(l) = -50*l - 20. Let z be p(-2). Suppose -82*a = -z*a - 10. Is u(a) a prime number?
False
Let p(q) = q**3 + 18*q**2 + 9*q - 27. Let u be p(-7). Suppose u = y - 7614. Is y composite?
True
Let h be 538 - (4 + -1 - 0). Suppose 0 = -18*v + 10*v + 24. Suppose -h = -v*i + 800. Is i composite?
True
Let t(h) = h**3 - 4*h + 3. Let k be t(2). Let f(a) = 88 + 112*a**2 - 82 - 4*a - 37*a**2. Is f(k) composite?
True
Let a be (1 + 5/4)*208/156. Is (5306/(-42))/(a/(-9)) prime?
True
Suppose 0 = 4*n - 4*m + 24992, 3*n + 0*n + 2*m = -18759. Let i = n + 20788. Suppose