+ 4. Is k prime?
True
Suppose -3 = -3*j + 3. Suppose -8675 = -j*b - 3*b. Suppose -4*h + 9*h - b = 0. Is h a prime number?
True
Suppose -4*o + 7*o + 6346 = 2*g, -2*g - 3*o + 6370 = 0. Suppose -l - g = -3*y - 0*y, -l = -4*y + 4238. Is y a prime number?
False
Suppose w = -i - 3*i + 598, 2910 = 5*w + 4*i. Suppose -w = -3*t + 211. Is t prime?
True
Is ((-6)/(12/(-1294)))/((-2)/(-2)) a prime number?
True
Let y = -1327 - -1891. Suppose -2*k = -y - 702. Suppose -4*b + k = -b. Is b prime?
True
Let p = 15 + -7. Suppose 3065 = p*s - 4047. Is s prime?
False
Suppose 4*f + 7267 = 3*z, -z + 2497 = 2*f + 58. Is z a composite number?
True
Let k be (-204)/(-10) - 22/55. Suppose 0 = 4*u - 2*u - 5*g + 24, 5*u + 27 = -4*g. Let p = k + u. Is p a composite number?
False
Let z be (-3)/3*468/(1 - -3). Let i = z + 186. Is i prime?
False
Let y(z) = 7*z**2 - 45*z - 295. Is y(-43) prime?
False
Let f = 486 - 342. Suppose s + f = 2*s. Let a = 69 + s. Is a prime?
False
Suppose -105 - 39 = -18*p. Suppose 5989 = -p*r + 16925. Is r a composite number?
False
Is (62848/320)/((-4)/(-310)) a prime number?
False
Suppose -2*a + 3*z + 2*z + 3 = 0, -3*z = -2*a + 9. Suppose 11*p = 8*p + a. Suppose -2*v + 5*i = -6, -p*v = 2*i - 27 - 20. Is v composite?
False
Let v(l) = -40*l**2 + 6*l + 7. Let w(i) = 79*i**2 - 11*i - 13. Let a(c) = 11*v(c) + 6*w(c). Let n be a(3). Suppose n = 3*b - 256. Is b composite?
True
Suppose 4*u - 2300 = 4*r, -r = -4*u + 4*r + 2295. Let l = u + 1321. Is l composite?
False
Suppose 11 = -4*d - 13. Let h be 7 + -9 - d/1. Suppose -h*k + 738 = 2*k. Is k a composite number?
True
Let c(z) be the first derivative of 2*z**3/3 - 4*z**2 - z - 10. Is c(12) prime?
True
Suppose 3*j - 31 = -25. Suppose 1413 = j*f + f. Is f a composite number?
True
Is 16364 + 6*(2 + -3) prime?
False
Suppose -94*x + 92*x + 1248 = -5*g, 4*x - 2472 = -2*g. Is x a composite number?
False
Suppose 3*s - 3 - 18 = 0. Suppose 2 = 5*a + s. Is a*(-2)/(8/2564) a composite number?
False
Suppose -4*c = -a + 3381, -12*c + 11*c - 16943 = -5*a. Is a prime?
True
Let j = -31 + 36. Suppose j*d - 939 = -a, -3*d = -2*a + 5*a - 573. Is d a composite number?
True
Let q(a) = 4 + 7 + 210*a - 13 + 5. Is q(6) a composite number?
True
Suppose 0 = 2*r - 0*r + 968. Is (r/(-3))/1*3 - -3 composite?
False
Let n(r) = -2*r - 6. Suppose -6 = 3*o + 2*f, -f - f + 26 = -5*o. Let b be n(o). Suppose -3*p = -b*w + 5*w + 9, w = 4*p + 22. Is w prime?
True
Suppose -6*i + 6 + 30 = 0. Is 10407/i + 3/(-2) a composite number?
False
Let n = 1631 - 676. Is n a composite number?
True
Let d(y) = -y + 3. Let k(o) = o - 2. Let h be k(-2). Let g be d(h). Suppose -g*i + 12*i = 2045. Is i composite?
False
Let b = -151 + 153. Suppose -s + 2*v = -2179, -4358 = -b*s - v - 3*v. Is s a prime number?
True
Suppose -27*z + 23*z + 17636 = 0. Let q = z - 3048. Is q a prime number?
True
Let l be ((-6 - -3)/6 + 0)*-6. Suppose 3*o = 8*o - 5. Is o/((l/(-3))/(-337)) a composite number?
False
Let c(f) = -f**2 + 7*f + 9. Let i be c(-6). Let k(b) = -b**2 - b + 4. Let y be k(2). Is ((-16)/(-12) + y)*i a prime number?
False
Is ((-64)/8 + 13971)*(3 + -2) composite?
False
Suppose -v + p = 0, 2*v = -3*p + p + 12. Suppose b + 2*i - 263 = -2*b, v*b - 258 = -3*i. Is b prime?
False
Let b(r) = -10*r + 59. Let h be -6*((-4)/6)/1. Is b(h) a prime number?
True
Let d(s) = 48296*s**2 - s - 2. Is d(1) prime?
False
Let c be 3/5 - 224/(-35). Suppose -2*w = -c*w + 6530. Suppose -1849 - w = -5*k. Is k a prime number?
True
Is (1/(-2)*1)/((-5)/67790) prime?
True
Suppose -a = -265 - 1451. Suppose -4*i + a = 5*f, -5*f + 1559 = i - 145. Suppose 5*r = f + 735. Is r composite?
True
Let f(s) = 20*s**3 - 4*s**2 - 12*s + 37. Is f(11) a prime number?
True
Suppose -4*l + 51 = -z, -4*l - 2*z = z - 39. Suppose 8*n + 740 = l*n. Is n a composite number?
True
Let c be 9/3*32/12. Is (99056/3)/c + 2/(-6) a composite number?
False
Suppose 10627 = 5*q + 4*i, -4401 + 145 = -2*q + i. Is q prime?
False
Let y be (0 + 1)/((-3)/(-342)). Let b(c) = -c**2 - 9*c + 131. Let s be b(-15). Suppose -r = -5*n - s, -4*r + n - 6*n = -y. Is r prime?
True
Let y(a) = -3*a**3 - 17*a**2 + 45*a - 35. Is y(-16) a composite number?
True
Let k(c) = 20 - 10*c**2 + 6*c + 20*c**2 - 9*c**2. Suppose 3*t + 5*g = -70, -3*g = -5*t - 8 - 52. Is k(t) composite?
True
Suppose 3*w = 0, -17*g - 4*w = -20*g + 28599. Is g composite?
False
Suppose -5*z + u - 3 = 0, -2*u + 3 = -4*z - 3. Let l(s) be the second derivative of -s**3/3 + 11*s**2/2 + 96*s. Is l(z) composite?
False
Let s be ((-18)/(-30))/((-2)/(-10)). Let l(c) = -5 - c**2 + 6*c**2 + 0*c + s*c. Is l(-6) a prime number?
True
Suppose 4*i - 307024 = 3*g, -3*i - 40085 = 2*g - 270336. Is i a composite number?
False
Let o be (-9)/(-21) + (-50)/(-14). Let g be o + -4 + (-5)/(-1). Suppose -c + 3*x + 198 = 4*x, 0 = c + g*x - 214. Is c prime?
False
Let y = 787 + -288. Is y prime?
True
Let o be (-1)/(-4)*0 + -2. Let m = -1 + o. Is 1094/m*(-15)/10 a prime number?
True
Suppose -1 = -5*j - y - 16, 5*j + 40 = 4*y. Let v = 4 + j. Suppose 2*q - 58 - 448 = v. Is q prime?
False
Suppose 1 - 6 = l, -4*l - 9976 = -4*u. Is u a composite number?
True
Let n be ((-13413)/34)/((-1)/2). Is (1 - 4) + (n - -1) a composite number?
False
Let u = -43 - -97. Suppose -3*p = -g - 2*g - u, -5*g - 66 = p. Let r(l) = -l**2 - 16*l + 9. Is r(g) composite?
False
Suppose -4*y + a - 108 = 3659, 2*y - a = -1881. Let d = 521 + y. Is (-2)/(4/d) + -2 a composite number?
True
Suppose -2*l + t = -2894, -l - 4*t = 4*l - 7248. Suppose -2*c + 796 = 3*v, -v = 4*c - l - 154. Is c prime?
True
Let s = 1560 - 1007. Is s prime?
False
Is (-1)/3*(20 - 26009) a prime number?
True
Let z be (2 + 5/(-2))*-6. Suppose -2*p = 3*w - z*p - 1248, 833 = 2*w - p. Is w composite?
True
Let a = 9 - 7. Suppose -5*i + 7 = -a*w, 0 + 16 = 4*w. Suppose -i*v - 2*r = -r - 70, -4*v - 5*r = -108. Is v a prime number?
False
Is -1 + 3 + 7593 + 8 prime?
True
Let q(i) = 2*i**3 + 79*i**2 - 29*i - 164. Is q(-37) composite?
True
Let c(f) be the second derivative of -115*f**3/6 + 83*f**2/2 - 3*f - 1. Is c(-14) a prime number?
True
Let y = 13831 - 1848. Is y composite?
True
Let k(s) = 9*s**3 - 12*s**2 + 4*s - 40. Is k(9) a composite number?
True
Suppose 0 = -o - 2*o - h - 44, -4*h = 3*o + 59. Let x(g) = 50*g + 5. Let p be x(o). Is (-12)/(-10)*p/(-6) prime?
False
Is (((-5830)/(-8))/5)/(19/76) prime?
False
Let c(g) = -2*g**2 - 14*g + 22. Let b be c(-15). Let y = b - -424. Let o = y + -43. Is o composite?
False
Let s(o) = -7 + 20*o + 17*o - 25*o. Is s(5) prime?
True
Let i(k) = -6*k**3 + 10*k**2 + k + 10. Let n(a) = 0*a**3 + 7*a**3 + 1 - a - 6*a**3. Let b(t) = -i(t) - 5*n(t). Is b(10) composite?
True
Let o(m) = -264*m + 7. Let z be o(-7). Suppose -z = -3*a - 2*a. Is a a composite number?
True
Let n = 10693 + -7136. Is n a prime number?
True
Suppose -5*c + 20 = 5. Suppose 2*w = -3*w + 2*u + 1645, -c*w + u = -986. Is w a prime number?
False
Is (4 - 6)*(-140344)/16 composite?
True
Let q(r) = -59 + 34 + 690*r - 118*r. Is q(6) a composite number?
False
Suppose 2705 - 219 = 2*i. Is i prime?
False
Let c(a) = -187*a - 3. Let m be c(-2). Suppose 13*d = 14*d - m. Is d a composite number?
True
Let z = 1375 + -898. Is z/6 - (-3)/(-6) a prime number?
True
Suppose -11*b = 2*r - 8*b - 47426, -4*b + 71141 = 3*r. Is r a prime number?
True
Let o(d) = 145*d**2 - 51*d - 239. Is o(-5) prime?
False
Suppose 3*b - 5*t = 8942 + 72464, -6*t = -5*b + 135665. Is b prime?
True
Let i = 52 + -33. Let w = -84 + i. Let p = -28 - w. Is p composite?
False
Is 14522/2 - (0 - 0)/17 a prime number?
False
Let x be (16338/56)/((-3)/8). Let l = -491 - x. Is l a prime number?
False
Suppose 6*q - 6271 - 3671 = 0. Is q a composite number?
False
Let w(o) = o - 7. Let j be w(12). Suppose -5*m = c - 383, -j*c - 2*m = -1474 - 533. Is c a composite number?
True
Let z = 28 + -27. Let i(f) = f**3 + f. Let o(b) = 760*b**3 - 2*b**2 - 2*b + 1. Let c(g) = z*o(g) + 2*i(g). Is c(1) prime?
True
Let s(i) = 4*i. Let b = 5 + -4. Let o be s(b). Suppose 0 = o*d - 1322 + 102. Is d a prime number?
False
Let p(w) = 1 - 7*w - 40*w**2 + 18*w**2 + 2*w**3 + 10*w**2. Is p(10) a prime number?
False
Let j(x) = x**2 + 9*x + 7. Let s = -28 - -20. Let r be j(s). Is (2 - (-68 - r))*1 a composite number?
True
Let m = 33 - 17. Let a = 19 - m. Suppose 0 = -h + a*h - 38