 807 = -5*l. Is l a composite number?
False
Let a = 10903 - -22576. Is a prime?
True
Let j(k) = -50113*k**3 - 3*k**2 - k. Is j(-1) a composite number?
False
Let o = 17 - 5. Is o/8 - 622/(-4) a composite number?
False
Let n(p) = -p**2 + p - 1. Let f(y) = -18*y**2 - y + 2. Let u(x) = -f(x) - 4*n(x). Is u(3) a prime number?
True
Suppose -r + 134336 - 50581 = 3*g, r - g = 83771. Is r prime?
False
Let f(k) = -k**3 + 9*k**2 + 8*k - 2. Let p be f(10). Let x = p - -26. Suppose 3*c - 163 = -0*c - 2*a, -x*c + 216 = 2*a. Is c a prime number?
True
Suppose -5*b + 70711 = 4*t, 23189 - 93909 = -5*b + 5*t. Is b a composite number?
False
Let b be 14/35 - 69/(-15). Let r be 4*1 - (3 + b). Is 290 + 19 - r/2 prime?
True
Suppose 113069 = 11*r + 8*r. Is r a composite number?
True
Let b(k) = -k**3 + 6*k**2 + 10*k - 35. Is b(-16) a prime number?
True
Let z be (-20)/(-1) - 4 - 4. Suppose -z = 3*g, 2*v - 1730 + 448 = 5*g. Is v prime?
True
Suppose -3642 - 10963 = -23*n. Is n a prime number?
False
Is (-58245)/(-9) + 40/(-15) a composite number?
False
Let c = 222 - 29. Let m = c + -36. Let j = m - -60. Is j a prime number?
False
Suppose -4*v + 2*v + 3*b - 3 = 0, -5*v - 2 = -2*b. Suppose 3*x + 5*z - 266 = v, -x + 4*x - 311 = 4*z. Is x a prime number?
True
Let w be (-17)/(-51) - (-46)/6. Let r(k) = -4*k - 9 + 4*k + 6*k + 2*k**2. Is r(w) prime?
True
Suppose 3*g + 2*g = 10. Suppose g*j = -2*j + 2068. Is j composite?
True
Let i be 5*(-3 - (-36)/10). Suppose 5*k - 7 - i = 0. Suppose k*y - 10*y = -16. Is y composite?
False
Suppose -3*x = -5*x. Suppose -3*z - 5*k + 814 = 0, -k - 3*k + 20 = x. Is z prime?
True
Suppose -10074 + 105377 = 13*v. Suppose 3*y - v = -4*t, 2*t - 15 + 5 = 0. Is y a prime number?
True
Is 4004 + ((-48)/60 - 19/(-5)) composite?
False
Let j = -5 - -9. Suppose -i - j*m + 45 = -36, 3*m = -4*i + 311. Suppose 4*v = 3*y - 173, 0*y - 5*v = 2*y - i. Is y a composite number?
True
Suppose -27944 = -k + g, 0*k + 2*k - 4*g = 55894. Is k a prime number?
True
Suppose 4*y = -y + 5*w + 1160, 3*w - 489 = -2*y. Let a = 98 + y. Is a composite?
True
Let w be 0/(3*(-4)/12). Suppose 6*d - 170 - 232 = w. Is d composite?
False
Let o be (-2)/4*1*-26. Suppose -3*r + 3*f + 147 = 0, -37*r + 33*r + 192 = -2*f. Suppose r + o = 6*v. Is v prime?
False
Suppose 107*b = 48*b + 968131. Is b a composite number?
True
Let x = 306 - 52. Is x a composite number?
True
Let i be ((-2)/(-4))/((-1)/14). Let p(o) be the first derivative of -o**4/4 - 4*o**3/3 + o**2/2 + 5*o - 5. Is p(i) composite?
True
Let r = -78 + 75. Is -4083*5/45*r a prime number?
True
Suppose 30*z = 29*z + 17167. Is z a prime number?
True
Suppose -3*z - 5*s + 9603 = z, 2*z + 5*s - 4789 = 0. Is z a prime number?
False
Let a(t) = 5*t + 3*t + 1 + 0*t. Let f = -29 + 32. Is a(f) composite?
True
Suppose b - 3*a - 59630 = 0, 2*a + 33191 + 26436 = b. Is b a prime number?
True
Suppose 70*d = 55*d + 23415. Is d a prime number?
False
Let i = 8 - 3. Suppose 2*b = -5*p, i*b = 4*p + 6*b. Suppose c - 2*v - 112 = 37, p = c - v - 149. Is c a composite number?
False
Suppose 4*c - 10317 = -2249. Is c composite?
False
Suppose 64*w - 2084297 = -220809. Is w composite?
True
Let a = -23 + 25. Suppose a - 12 = -3*k + l, -5*l - 6 = -4*k. Suppose 0 = 2*m + k*z - 184, -3*m + z = -2*m - 77. Is m prime?
False
Let z(v) = -3*v - 5. Let r be z(-5). Suppose h - r = -h. Suppose -h*c = -c - 764. Is c prime?
True
Let b = 62 + -32. Is 6680/b + 1/3 prime?
True
Let z(d) = -2825*d + 8. Is z(-1) a composite number?
False
Let s be ((1 + -3)*-21)/1. Let g = s - -11. Is g a composite number?
False
Let v = -1 + 4. Let a be 1000/30 + 2/v. Let h = 33 + a. Is h prime?
True
Let j(a) = 1232*a - 131. Is j(2) prime?
True
Suppose 66 = -4*x - 170. Let c = x + 214. Is c composite?
True
Let k(v) = 26*v**2 + v - 10. Let f = 14 - 19. Is k(f) prime?
False
Let n(m) = -4*m**3 + 12*m**2 + 6*m - 25. Is n(-9) a composite number?
True
Let o(f) = 22*f**2 + 5*f - 3. Suppose 4*d + 14 = -3*s, 19 = -3*s - d - 4*d. Let i be o(s). Let l = i + -62. Is l composite?
True
Let l(y) = y**3 - 9*y**2 + 16*y - 9. Let q be l(7). Let i(h) = 27*h**2 - h - 23. Is i(q) composite?
False
Suppose -7 + 2 = -m. Let n(f) = 2*f**3 - 3*f**2 + 5*f + 11. Is n(m) a composite number?
False
Let r be -6 - ((-2)/1 + 1). Let c(j) = -j**3 - 5*j**2 + 3. Let b be c(r). Suppose -b*o - 2*o = -445. Is o a composite number?
False
Suppose 2*o = 4*l - 56952, -33*o + 71203 = 5*l - 29*o. Is l composite?
True
Suppose 5*b - 5*l + 2*l - 6145 = 0, 3*b - 3687 = 2*l. Suppose -4*r + 2*a = -5004, r - 2*r + b = 5*a. Is r composite?
False
Let j(x) = 9*x**2 - 29*x - 49. Is j(-18) composite?
False
Let f(y) = -145*y - 9 + 30 + 111*y. Let h be f(-11). Let z = -162 + h. Is z a prime number?
True
Let r = 400 + -86. Is r a prime number?
False
Suppose -2*c + 3662 = l, 4*c + 3*l - 7328 = -0*c. Is c a prime number?
False
Suppose 81 = 3*j - 9. Suppose -3*s + s + 4 = 0. Suppose 5*p = v + j, 5*p + v - s = 38. Is p prime?
True
Let t(f) = 39 + 2*f - 42 + 0*f - 3*f. Let p be t(-8). Suppose 0 = -2*w - 4, -2*w + 1531 = p*q - 0*w. Is q composite?
False
Let j(d) = -d**2 - 4*d. Let o be j(-3). Suppose y + 0*y - 111 = 5*f, -285 = -3*y + o*f. Let u = y + 96. Is u a composite number?
True
Is -4287*(-20)/12 + (1 - 5) prime?
False
Let j be 1 + 3/(-1) + 443. Suppose -2*o = o - j. Let c = 304 - o. Is c a composite number?
False
Let a(v) = -v**2 + v + 1. Let n(r) = r**3 + 13*r**2 + 11*r + 8. Let p(z) = a(z) + n(z). Let j be p(-11). Is (-4725)/(-60) + j/(-8) composite?
False
Let p(v) = v**2 - 8*v - 1. Let u be p(13). Suppose -4*f + u = -2*f. Suppose -2063 = -5*q + f. Is q composite?
False
Let i(v) = -v**2 + 13*v + 16. Let l be i(14). Suppose -1005 = -4*b - l*t + 3*t, 0 = 2*b + 4*t - 498. Is b composite?
False
Suppose 4*d = 2*a + d + 40, -5*d = 20. Let f = a + 29. Suppose f*g = 2*g - 2*u + 712, 0 = 3*u + 9. Is g prime?
False
Let y(q) = 390*q**3 - 7*q**2 - 16*q + 58. Is y(5) prime?
False
Suppose 0 = -4*p + t + 8328, 2*p = -4*t - 844 + 4990. Is p prime?
True
Suppose 5*q + 9209 = d, 0*d - d + 9195 = 2*q. Is d a prime number?
True
Suppose 4*i - 34 + 6 = 0. Suppose -i*s = -s - 7278. Is s composite?
False
Suppose -3757 = z - 609. Is (0 + z/16)*-4 composite?
False
Suppose 0 = 4*d + q + 8, -4*q = d + 12 + 5. Let l be (-2)/11 + (-14739)/187. Is (-3)/1 - (l + d) prime?
False
Let c = -93 + 113. Let j(y) = 38*y + 18. Is j(c) a prime number?
False
Let h = 5259 - 2954. Is h prime?
False
Let m(t) = 428 - 423 - 11*t - 55*t. Is m(-5) a prime number?
False
Let s(c) = -c**2 - 6*c + 3. Let j be s(-6). Suppose -1119 = -j*k - 0*k. Suppose 3*h = 224 + k. Is h prime?
True
Let p be -1*(3 - 4)*(5 + 0). Suppose p*u = -760 + 2435. Is u prime?
False
Suppose -125044 - 190568 = -4*b - 4*j, 78905 = b + 3*j. Is b prime?
False
Let o = -50620 - -72161. Is o a prime number?
False
Let y be (-6)/(-5)*(-40)/(-12). Suppose 0 = q + 5*d + 6, q + y = -4*d. Suppose -4*m + q*k + 496 = 0, 2*m + 2*k + 24 - 252 = 0. Is m prime?
False
Suppose 64 = 10*h + 154. Let i(p) = 6 + 2*p - 4*p + 7. Is i(h) prime?
True
Suppose -300*y + 305*y - 8465 = 0. Is y composite?
False
Suppose -4*z - 3*r = r - 840, -2*r = z - 206. Let y = 307 - z. Suppose n - 65 = -i, -n - 28 = -2*i - y. Is n prime?
False
Let w = -1667 + 6060. Is w a composite number?
True
Is (10 - 224/24)/((-2)/(-18363)) a composite number?
False
Let g = 1867 + -196. Is g prime?
False
Suppose -3*a - 2 + 11 = 0. Suppose 2477 + 382 = a*i. Is i composite?
False
Let u = -36 + 38. Suppose v = -4*z + 6, 6*z - 8 = -u*v + 2*z. Is -3 + 1126 - 4 - v a composite number?
False
Let y be 2 - 1 - 4/4. Is -2 + y + 41 + -4 a prime number?
False
Let w(l) = -1 + 7*l + 32 + 410*l**2 - 334*l**2. Is w(-8) a composite number?
True
Let z(l) = -5 - 2*l**3 + 2*l**3 + 6*l + 0 - l**3 - 6*l**2. Let b be z(-7). Let x(h) = 3*h**2 + 1. Is x(b) prime?
True
Suppose 0 = 3*a + 2 - 2. Suppose 3*j - p - 1199 = -j, a = j + p - 306. Is j a composite number?
True
Let s = 14250 - 7763. Is s composite?
True
Suppose -36*p - 9595 = -2727703. Is p a composite number?
False
Let b(r) = -45*r + 7. Suppose 4 = 2*h + 4*k, h + k + 3 - 2 = 0. Is b(h) composite?
True
Let d(s) = -s**3 + 2*s**2 + 2*s - 2. Let b be d(-2). Suppose -b*q - 6 = -12*q. Suppose 2*i - 14 - 145 = -q*j, 0 = -4*j - 5*i + 205. Is j a composite number?
True
Suppose 2