(-6)/k) prime?
False
Suppose -9826759 = -24*i + 1483601. Is i a composite number?
True
Let b(x) = -221*x + 4. Let z(g) = 5*g + 32. Let a be z(-7). Let u be b(a). Suppose 7*v + u = 8*v. Is v prime?
False
Suppose 129*w - 77049 = 120*w. Suppose -5*a = -d + 1721, 2*d + 3*a = 7*d - w. Is d a composite number?
True
Let x be (7/(-14)*0)/(0 - -1). Suppose 5*s - s - 1132 = x. Is 7/14*114*s/3 a prime number?
False
Suppose 0 = -0*k + 3*k. Let h be 7752/(-14) + (-38)/133. Is (17 - k - 3)/((-4)/h) composite?
True
Suppose d + i + 1 = 0, -4*d + i + 9 + 7 = 0. Let v be ((-1178)/(-6))/((-2)/(-6)). Suppose -2*f = 2*f + 5*z - 1123, d*z + v = 2*f. Is f a composite number?
True
Let d(x) = -49610*x + 117. Is d(-1) composite?
False
Let x(h) = -2*h**3 - 8*h**2 - 9*h - 8. Let m be x(-3). Let a(z) = 8064*z + 71. Is a(m) composite?
True
Let i(p) = 400*p**2 + 30*p + 103. Is i(-10) a composite number?
True
Suppose -2*s = -4*r + 12296, -2*s = 22*r - 24*r + 12288. Let y = s - -20337. Is y prime?
True
Let p(u) = -u**3 + 12*u**2 - 9*u - 16. Let n be p(11). Let t be n/2 + (-2026)/(-1). Let q = -1074 + t. Is q a composite number?
True
Let b be (6*(-2)/3)/(-1). Suppose -h - j = h - 6, b*j = 3*h - 20. Suppose h*g = -0*g + 932. Is g a prime number?
True
Let z = -188102 - -335863. Is z a prime number?
True
Suppose 43*g - 21535729 + 8690210 = 0. Is g a prime number?
True
Let o(n) = n**3 + 15*n**2 - 12*n - 19. Let z = 428 + -440. Is o(z) composite?
False
Let j = 23682 - 34147. Let a = 14904 + j. Is a composite?
True
Let t be (-1)/2 - 10/(-4). Suppose t = -b - b. Is 590/10 + 4/b prime?
False
Let n = 1199012 - 703629. Is n composite?
True
Let t = 75 - 74. Let o be 24/(-8)*(-3)/3*t. Suppose o*d - 3*n - 2256 = 0, -3894 + 99 = -5*d - 2*n. Is d a composite number?
False
Let z(s) = -2*s**3 - 16*s**2 - 19*s - 7. Let r(x) = 12*x - 5. Let u be r(1). Suppose -4*o = -3*j + u*j + 36, 0 = 2*o + 3*j + 17. Is z(o) a composite number?
True
Let f(i) = -i**3 - 6*i**2 - 3*i + 8. Suppose -4*u + 5 = 25. Let r be f(u). Is 2/r*178*(-4)/8 a prime number?
True
Let g be 9/(27/(-6))*-11. Let l be (-11)/g - 1/(-2). Suppose l = 2*q + 3*a - 1372, -2*a + 3425 = 5*q + 3*a. Is q composite?
False
Let i(b) = 20287*b + 311. Is i(5) a prime number?
False
Let z(x) = -9 - 6 - 5 + 14 + 10*x. Let j be z(0). Is j/(-10) + (-1)/(40/(-74416)) a composite number?
False
Suppose 3*k + 4*n = 139359, -62629 = -2*k + 3*n + 30294. Is k composite?
False
Let o = -11 - -16. Let w(x) = x**2 - 4*x - 12. Let n be w(o). Let u(d) = 13*d**2 - 7*d + 3. Is u(n) composite?
True
Let a(q) = 47489*q**2 - 10*q - 24. Is a(-3) composite?
True
Suppose 3*j + 3*b - 641562 = 0, 1069315 = -4*j + 9*j - 4*b. Is j a composite number?
False
Let v(l) = -9*l + 7*l - 1 - 14 - 15. Let p be v(-19). Suppose -5*i + p*i - 5079 = 0. Is i composite?
False
Suppose -3*q - q - 6652 = 0. Let l be 886000/(-600)*(-1 + -2). Let u = l + q. Is u composite?
False
Let g be (48/(-8))/(6/4). Let m(z) be the second derivative of 23*z**4/6 - z**3/3 + 7*z**2/2 - 25*z. Is m(g) composite?
False
Suppose -808074 - 1223676 = -58*b + 308144. Is b a composite number?
False
Suppose 3*h - 4*h + 100 = 5*m, -m = 3*h - 328. Is 1 + (-3)/5 + 64526/h a composite number?
False
Let q = 1267255 + -433242. Is q a composite number?
False
Let n = -56824 - -247803. Is n composite?
False
Let x be -9 + (5 - (-1 + -6)). Suppose d - 50078 = -3*d + 2*b, 5*d - 62570 = -x*b. Is d composite?
False
Let o(c) = 69*c**2 - 4*c - 5. Let f(t) = 4*t**3 + t**2 - 4*t - 5. Let z be f(-1). Is o(z) prime?
False
Let o(i) = 5473*i**2 - 6*i - 8. Is o(-1) a prime number?
True
Let c = 17223 + 34394. Is c a prime number?
False
Let r = 260 - 270. Is (((-17715)/r)/3)/(2/4) composite?
False
Let o(x) = -785*x - 3. Let w be o(-10). Let d = 2952 + 62. Suppose d = -9*m + w. Is m composite?
True
Suppose -3*i - 4*l = -10175, 2*i - 7*l - 6770 = -3*l. Is i composite?
False
Suppose -26 = 4*a - 34. Suppose 0 = -a*p - 5*c + 890, 0 = 3*p + 8*c - 4*c - 1328. Suppose q - 3459 + p = 0. Is q composite?
False
Suppose j - 3*j = l - 526961, 2*j + 3*l - 526975 = 0. Is j composite?
True
Suppose 4*x + 4*a = -0*a - 48, 2*x + 3*a + 26 = 0. Let u be 14682/10 - (4 - (-38)/x). Is u - (-6 + -2*9/(-6)) prime?
True
Let u be -25*(-1 + 7110/(-25)). Is u + (-1 + -2 - 3) prime?
True
Suppose -3*t + 36 - 6 = 0. Suppose -3*s + 2 = 8*c - 4*c, 5*c = -s - 3. Is 2506/10 + s + (-16)/t prime?
True
Suppose 22*i - 1794012 = -211720 + 231366. Is i a composite number?
True
Suppose -4*u + 2*u + 5 = -j, -3*j + 9 = 0. Suppose 0*q - 2*q + 35189 = 5*m, -28144 = -u*m - 4*q. Is m a composite number?
False
Let f = -13159 - -26042. Is f composite?
True
Let r = -6 + 10. Let d be (r/(-6))/(20/(-150)). Let a(c) = 19*c - 6. Is a(d) composite?
False
Let c = -15212 - -37171. Is c a composite number?
True
Suppose 55*v - 19*v - 204460 = 16*v. Is v a prime number?
True
Suppose -4*v + 1255 = -9*v. Let h = -142 - v. Is h a composite number?
False
Let j be (-2)/13 - (-4 - (-1470)/78). Is j*3/(-15) - -3114 a prime number?
False
Is 8 - ((5 - -2) + -97782 + -4) composite?
False
Let a(t) = -3*t**3 - 97*t**2 + 1084*t + 223. Is a(-91) prime?
False
Let t = 146 + -120. Suppose t*j = 33*j - 6139. Is -2*j/2*-1 prime?
True
Is (22/55)/(20/1587700) composite?
True
Let x(s) = s**3 + s**2 + s + 1. Let u(f) be the second derivative of -f**5/20 + 5*f**4/12 - f**3/2 + 3*f**2 - 11*f. Let k(r) = -u(r) + 4*x(r). Is k(5) prime?
False
Let k be ((-2)/((-4)/(-4)) - -4)*-1. Let t be ((-3)/6)/(k - 23/(-12)). Is (-15)/t*2148/(-10) a prime number?
False
Let g(x) = 2047*x + 4156. Is g(49) a prime number?
True
Suppose -20*h - 6*h = -21872883 + 3799529. Is h a prime number?
False
Is (-1 - 105/9)/((-90)/3915) composite?
True
Suppose 218*w + 3074335 = 223*w. Is w a prime number?
False
Let t(z) = -10 - 3*z**2 + 2*z**2 + 2 + 93*z**3 + 7*z**2 + 2*z. Let m be t(-4). Is m/(-20) - 3/5 composite?
False
Let u = 177 + -172. Suppose c - 1377 = -0*c + 4*v, u*v = -20. Is c a prime number?
True
Let t(b) = -85*b - 22. Let f(s) = s - 11. Let k be f(9). Let c(v) = -84*v - 22. Let w(i) = k*c(i) + 3*t(i). Is w(-7) a prime number?
True
Suppose -4*m - o - 212 = 0, 3*m + 4*o - 140 = 6*m. Let i = -40 - m. Is (4 + 4/i*39)*41 a composite number?
True
Let s(q) = q**3 - 11*q**2 + 22*q - 2. Let m be s(5). Is m/12*33204/(-42) composite?
False
Let l(o) = 2*o**3 - 86*o**2 - 40*o + 201. Is l(70) composite?
True
Let n = 483153 + -285524. Is n a composite number?
True
Suppose -3*l + 148 = -2*h, -3*h + 2*l - 353 + 126 = 0. Is (-3)/7 + ((-1601512)/h)/2 composite?
False
Suppose -2*c + 4*l + 1013190 = 0, -134232 = -c - l + 372357. Is c a composite number?
False
Let f(a) = 17*a**2 + 50*a - 15. Let u(z) = 6*z**2 + 16*z - 5. Let j(k) = -2*f(k) + 7*u(k). Is j(-6) a prime number?
True
Let h(t) = -t - 1. Let y(j) = -40*j + 21. Let g(k) = -2*h(k) + y(k). Is g(-15) a composite number?
False
Let u = 1055 - -2519. Is u prime?
False
Let r be (-6)/(-21) + ((-12921)/21 - -3). Let a = r - -2711. Is a a composite number?
False
Let p(l) = -70*l - 13. Suppose -3*x = -2*i - 2, 3*i + x - 27 = -2*x. Suppose -i*z = -5*j + 15, -24 = 4*z + j + j. Is p(z) a composite number?
False
Suppose 39*p - 134929 = -48*p + 70*p. Is p a composite number?
False
Let z = -72 + 76. Suppose -z*h = -1308 + 4036. Let b = h - -1239. Is b composite?
False
Let z = -86 - -87. Let y be 4/(-4) + (-2 + z - 2). Is 3657 - y/((-16)/(-12)) - 1 a prime number?
True
Let h be 3/9*-3 - -6. Suppose -3*y - 719 = 5*b, h*y - 2*b = -4*b - 1173. Let o = 567 + y. Is o prime?
False
Suppose -12 = -4*z + z. Suppose s - 2671 = 3*m, 0 = 8*m - z*m. Is s a composite number?
False
Let q = -93137 + 172584. Is q a composite number?
True
Let g be (8 - 86)*4/(-6). Suppose 62*z - 166490 = g*z. Is z a prime number?
True
Let d be 4/((-20)/25)*(-2)/2. Suppose 0 = -y + 5, d*y + 75 = u + 3*y. Suppose 5*o = u + 270. Is o composite?
False
Suppose 0 = 4*r + 12, 5*r + 13819 + 89945 = 3*n. Is n prime?
True
Suppose -2*x + 8 = -2*a, -20 - 7 = -5*x - 2*a. Suppose 0 = -5*k - 0*d + 3*d + 30937, -x*k - 2*d + 30917 = 0. Is k prime?
False
Is 1/(-5) - 640444/(-70) composite?
True
Let m(a) = -9*a - 19. Let h be m(-2). Is (124050/(-90))/(h/3) prime?
False
Suppose 0 = 40*t - 17661 + 83421. Let i = 4477 + t. Is i a prime number?
True
Let m = -35 - -59. Let b be (-1)/(-