 409. Is q a prime number?
True
Suppose -2*r = 2*l - 2292, 3*r - 5*r = -4*l + 4614. Is l a composite number?
False
Let z = -8 - -11. Suppose 0 = -5*v + z*l + 450, 0*v - 4*l + 328 = 4*v. Is v composite?
True
Let a(d) be the second derivative of -23*d**6/180 - d**5/120 + d**4/6 - d. Let z(j) be the third derivative of a(j). Is z(-1) prime?
False
Suppose 0 = -3*l + 2*c + 195, -2*l + 277 = 2*l + 3*c. Is l prime?
True
Let l(t) = 6*t - 2 + 3*t + 0*t. Is l(4) a prime number?
False
Let w(a) be the first derivative of -a**4/4 + 5*a**3/3 + 3*a**2 + 3*a + 1. Let k be 30/(-4)*16/(-20). Is w(k) composite?
False
Suppose -17 = o + 5*q, 2*q - 22 = -0*o + 2*o. Let g(k) = -k**3 - 9*k**2 - 6*k + 11. Is g(o) prime?
False
Let y(d) = 398*d**2 - 2*d + 1. Is y(1) a prime number?
True
Let b = -7 - -7. Suppose -5*f + 1893 = 3*a, -4*f + 2*f - 4*a + 746 = b. Is f a prime number?
False
Let m be (0 - -1)/((-2)/(-6)). Suppose m = -y + 25. Is y prime?
False
Let n = 4789 + -2858. Is n a prime number?
True
Suppose 0 = -t - 4 + 13. Is t a prime number?
False
Suppose w - 7 - 31 = -q, -4*w + 134 = -2*q. Suppose -5*z = -5*o - w, 42 = -2*o - 4*z + 10. Is 42/4*o/(-3) composite?
True
Is 2/(-2 + 2 + (-2)/(-38)) composite?
True
Let r(q) = -51*q**2 + 1 + 66*q**2 + 193*q**2. Is r(-1) a prime number?
False
Suppose -j + 25 + 12 = 0. Suppose f - 50 = j. Is f a composite number?
True
Suppose 5*r - 373 = -0*r + 3*v, -3*r + v = -223. Let f(j) = -2*j + 56. Let k be f(26). Suppose k*t - 2 = r. Is t a prime number?
True
Suppose -3*s + 13 - 4 = 0. Let c(j) = 7 + 0*j - 3*j - 3*j**2 - 2*j + 4*j**3 - s*j**3. Is c(6) a composite number?
True
Suppose -y + 6*y - 20 = 0. Let g = y - 5. Let m(h) = -36*h + 1. Is m(g) a prime number?
True
Suppose -3*b + 0*f + f = 33, 0 = -4*f. Let c = b - -17. Suppose c*j - 3*j - 57 = 0. Is j composite?
False
Is (-5)/(-25)*5 + 666 a composite number?
True
Let o(v) = -4*v + 3. Let q be o(3). Let p = q - -24. Suppose -15 = -5*x + p. Is x composite?
True
Let w(r) = r**3 + r**2 + 6*r - 8. Let b be w(6). Let u = -173 + b. Suppose 4*l = -16, 3*f - l = l + u. Is f a prime number?
False
Let i(g) be the third derivative of g**6/120 - g**4/8 + 2*g**3/3 + g**2. Is i(3) a composite number?
True
Let c = 16 - 11. Suppose 0*r + 2 = c*m + 4*r, 4*m + 2 = -2*r. Is m*(102/(-4) - -1) a prime number?
False
Let t = 2 - 4. Let r be (-7)/t + (-3)/6. Suppose 4*m = -r*s + 2*s + 228, 4*m - 228 = -2*s. Is m a prime number?
False
Suppose 4*m - 124 = -3*o, -3*o + 4*o = 3*m - 93. Is m prime?
True
Let y be -5 - -13 - (1 + -3). Let p be 8/y*-2*-20. Let r = p - 19. Is r a prime number?
True
Suppose 29*i - 8980 = 25*i. Is i a composite number?
True
Suppose r = 3*r - 318. Is r a prime number?
False
Let m(c) = -25*c**3 + c**2 - 5*c - 3. Is m(-2) a composite number?
False
Suppose u = 0, -5*u - 15 = 4*c + 5. Let y(b) = b - 1. Let z be y(0). Is (c/(-1))/(z/(-7)) composite?
True
Suppose 0*f = -14*f + 12530. Is f a composite number?
True
Let b(u) = 4*u**3 + 4*u**2 + 8*u - 5. Is b(5) composite?
True
Suppose 0 = 4*u + 187 - 11. Let y = 66 + u. Is y prime?
False
Let y(v) = 2*v**2 - 5*v + 3. Let u be y(5). Suppose 0 = 5*g - 3*o - 45, -5*g + 2*g = -2*o - u. Suppose 2*i - g = 16. Is i composite?
False
Let u = 2295 - -772. Is u a composite number?
False
Suppose o + 4*j = 43, -j - 1 + 6 = 0. Is o prime?
True
Let r(f) = -2*f**2 - 14*f + 8. Let q(u) = 3*u**2 + 14*u - 8. Let y(k) = -3*q(k) - 4*r(k). Is y(9) composite?
False
Suppose 2*d + 505 = -99. Is -3 - -1 - d/2 prime?
True
Let l(h) = -20*h**2 - 15. Let p(x) = -7*x**2 - 5. Let b(n) = -6*l(n) + 17*p(n). Let u(g) = g**2 - g + 10. Let q(z) = 7*b(z) - 4*u(z). Is q(6) a prime number?
True
Let z(t) = -t**3 - 7*t**2 + 5*t - 11. Suppose 12 = 3*p + 36. Is z(p) prime?
True
Suppose -32 = -3*l + 280. Let s = 192 - l. Suppose -31 + s = y. Is y prime?
False
Is 3/2*(-546)/(-9) composite?
True
Let v(i) = -7*i - 6 - 16*i**2 + 2*i**2 + 30*i**2. Is v(-4) a prime number?
False
Let o = 18 + -13. Suppose 76 = 3*g - 4*c, -o*c - 14 = -39. Is (2 + g)*(-3)/(-2) prime?
False
Is (-3 - 1) + ((-6)/(-2) - -68) prime?
True
Let p(t) = t**2 - t + 25. Is p(18) a composite number?
False
Let l(u) = -13*u + 3. Let r be l(-7). Suppose 3*y - 289 + r = 0. Is y composite?
True
Suppose 4*y = -3 - 5. Is 1/y*(-103 + -3) prime?
True
Suppose 3 = p + 2. Let q(z) = 101*z + 1. Let b be q(p). Let w = -55 + b. Is w a prime number?
True
Let u = 3232 + -1338. Is u a composite number?
True
Let g(f) = f - 1. Let a be g(6). Suppose 76 = a*n - n. Is n composite?
False
Let i = -309 + 535. Suppose 5*o = -2*m + 156 - 48, 4*m = -5*o + i. Is m prime?
True
Let v be 2/4 - (-4)/(-8). Suppose -p + 0*o + 75 = 4*o, -4*p + 3*o + 205 = v. Is p prime?
False
Let l(d) = -9*d + 1. Let o = -3 - -5. Suppose o*z = 4*v - 1 - 7, v - 3 = z. Is l(z) a prime number?
True
Let y(s) = 62*s**2 - 1. Is y(-2) prime?
False
Suppose 426 = -u + 1523. Is u prime?
True
Is 8605/15 - (-8)/(-12) prime?
False
Suppose 0 = -5*r + 259 - 54. Let c = r - 10. Is c prime?
True
Suppose 8*i + 4 = 12*i. Suppose -c = -6*c + 190. Let h = c - i. Is h composite?
False
Let s be -2*3/6 - -18. Let b = s + -10. Suppose -b*c = -2*c - 125. Is c a composite number?
True
Suppose 2*v = -v - 6. Let t(c) = 2*c**2 + 7*c - 5. Let l be t(-6). Is (l/10)/(v/(-20)) prime?
False
Let s = 187 + -98. Is s composite?
False
Is (-4 + 2)/(4/(-1574)) a composite number?
False
Suppose 2*d + 3*d - 395 = 0. Is d a prime number?
True
Suppose -15*h + 10*h = k - 12900, -2*k + 2589 = h. Is h prime?
True
Suppose -3 = 4*f + 5. Is (f/6)/(10/(-11910)) a composite number?
False
Let w(l) = -l**3 - 4*l**2 - 5*l + 3. Suppose 4*x = -n - 20, 4*x + 0*n = -3*n - 20. Is w(x) a composite number?
False
Suppose 8*v = 3*v + 4835. Is v prime?
True
Let j(b) = 3*b + 2*b - 6*b**2 + 3*b + 5*b**2. Let w be j(8). Suppose 0 = 2*y - k - k - 198, w = 4*y - k - 384. Is y composite?
True
Let b = 3224 - -363. Is b composite?
True
Suppose -3*s - 6*t = -t - 2, 3*s - 3*t + 6 = 0. Is 776/(-16)*(s - 1) a prime number?
True
Suppose 7 = -2*m + 53. Is m a composite number?
False
Suppose 0 = -2*n - 2, 2*c = n - 6*n + 19005. Is c a composite number?
True
Let l(j) = -j**3 - 7*j**2 - 6*j + 2. Let a be l(-6). Let w = 86 + -26. Is w + -3 + -1*a a prime number?
False
Let z = 7 + -28. Is 7/z - 764/(-6) prime?
True
Suppose 5*k - 460 = 95. Is k a prime number?
False
Suppose 9*u - 1453 - 4208 = 0. Is u a prime number?
False
Suppose 0 = 2*s - s + 3. Suppose 4*z - 4 = 2*z. Is (z - 1)*s + 34 a prime number?
True
Let y(l) = -5 - 4*l**2 + l**3 + 0*l**2 + 0*l**2 + 2*l. Let w be y(4). Suppose w*s + 429 = 6*s. Is s a composite number?
True
Let b(c) = -c**3 - c**2 - c - 2. Let z be b(0). Let l = z - -3. Is l/4*-2*-66 a composite number?
True
Let d(i) = -495*i + 2. Is d(-1) composite?
True
Let r = -473 + 1069. Suppose i + 2*o = 146, 4*i - r = 3*o - 7*o. Suppose 5*u = 3*w + 184, -u + 4*w = 3*u - i. Is u a composite number?
True
Let v = 138 - 59. Is v a composite number?
False
Let w(a) = -a**3 + 8*a**2 + 8. Is w(3) prime?
True
Let y(j) = -j**2 - j + 6. Let n be y(0). Is ((-22)/6)/((-2)/n) prime?
True
Suppose 2*q - 4*v - 5 = 3, 3*q - 3 = -3*v. Suppose -m + q*w + 17 = 0, 3*m + m = 4*w + 52. Is m a composite number?
True
Let d be 0 + -1*(-5 - 0). Suppose d*v + 60 = 5*u, -2*u + 20 = 4*v + 2. Is u a prime number?
True
Let q(x) = -x - 7. Let f be q(-10). Let k(s) be the first derivative of 28*s**3/3 + s**2 - s + 4. Is k(f) a prime number?
True
Let m = -3 + 6. Suppose m*d - 5 = 4. Suppose 140 = d*s + s. Is s prime?
False
Suppose -5 = 3*h - 20. Let m = -2 + h. Suppose -2*y + 0*y - 28 = -2*n, m*n - 72 = -3*y. Is n composite?
False
Let t be 0/(-3 - (3 + -5)). Suppose 2*d + 2*w + 14 - 58 = t, -5*d + 107 = 2*w. Is d composite?
True
Let s be (-4)/(16/(-762))*2. Suppose 2*w - 100 = -3*i + 154, -3*w - 5*i = -s. Is w a prime number?
True
Let z = -5 - -1. Let n be z + 1 + 3 + -3. Is (-1)/n - 1888/(-24) composite?
False
Let n = -71 - -198. Is n a composite number?
False
Suppose 2*t + 0 = -4. Is t*(-26)/(-8)*-26 composite?
True
Let z = -3517 + 8454. Is z prime?
True
Let d(j) = 75*j - 22. Is d(7) prime?
True
Suppose -5*f = -2*j - 17, -3*j + 0*j = -12. Is ((-5)/(-1))/(f/485) a composite number?
True
Let g(c) = 4*c**3 - c**2 - 4*c + 4. Let p be (6/(-5))/(2/(-5)). Let x be g(p). Suppose 3*a + 