
Suppose -3*b - 2 = -4*f + 1, -5*f + 21 = 2*b. Suppose -f*g - 1 = 2*l - 28, 4*g + 5*l - 43 = 0. Is g prime?
True
Suppose c - 14 = -4*g - 4, -5*g = 4*c - 18. Suppose g*p - 214 = 40. Is p composite?
False
Let t(v) = 5*v**3 - 6*v**2 + 6. Is t(5) prime?
False
Let b(d) = -2*d**2 - 9*d - 9. Let x be b(-8). Is (-2)/(-13) + (-12015)/x prime?
False
Let p be -3 + (-1)/(1/(-2)). Let s(j) = 9*j. Let b(q) = -26*q. Let k(h) = -6*b(h) - 21*s(h). Is k(p) a prime number?
False
Let l = 1 + -2. Let q be (l - -2)/(3/15). Suppose 3*m - k = 71, k - q*k = 5*m - 90. Is m composite?
True
Let f(w) = -8*w**2 + 2*w + 3*w - w**3 + w - 8. Is f(-9) a prime number?
True
Let o(q) = 217*q**2 - 2*q - 1. Let s be o(-1). Suppose 19 = -c + s. Is c prime?
True
Suppose -4*n - 83 = -415. Is n prime?
True
Let o = 2 + 1. Suppose 0 = -o*x - 3*s + 4*s - 13, 10 = -2*x + s. Is (x + 1 - -1) + 12 prime?
True
Let n(d) = -d + 4339. Is n(0) prime?
True
Suppose 3 = q, 5*k - 4*q = k. Suppose -k*p = -5*p. Suppose p = -3*u + 229 - 28. Is u prime?
True
Suppose 0 = -2*k + 2*i + 2*i + 10, -2*k - 2*i = 2. Let p(n) = 1 - n - k + 1. Is p(-6) a composite number?
False
Suppose -3*q + 7 = 5*o, o - 40 = 5*q - o. Let l be -2*(-3)/q - -5. Suppose -l*r - 3*i = -r - 156, 2*r = 5*i + 111. Is r a prime number?
True
Let y = 20 - 17. Suppose 892 = l + y*l. Is l prime?
True
Suppose -3*u + 0*w - 3*w = -192, -u + 59 = 2*w. Is u a composite number?
True
Suppose 6*t = 3*t + 12. Suppose -p + 14 = 4*j, p + t = -p. Suppose -h + 0*i = -2*i - 75, -5*h + 389 = j*i. Is h a composite number?
True
Let v = 6 - -14. Suppose -4*b - 3*a - 19 = 0, -5*b = -5*a - 0*a - v. Is 1/(((-1)/19)/b) a composite number?
False
Is 26/(-65) + 35391/15 composite?
True
Let s(o) = -o**2 - 11*o - 13. Let k be s(-10). Is (-564)/k - 3/1 a prime number?
False
Let z(l) be the second derivative of l**5/20 + 3*l**4/4 - l**3/3 - 2*l**2 - l. Is z(-9) composite?
True
Suppose b + 3 = -4*x + 7, -4*b - 2*x + 2 = 0. Suppose -3*u - u + 532 = b. Suppose 4*c - 15 - u = 0. Is c prime?
True
Suppose 2*h + 5*a = 27, h + 4*a - 25 = -4. Is (h + (-3 - -1))*-185 composite?
True
Let u(m) be the third derivative of -m**7/840 + m**6/45 + 11*m**5/120 - 3*m**4/8 + m**3/3 - 2*m**2. Let t(a) be the first derivative of u(a). Is t(8) prime?
True
Is ((-24268)/(-12))/(2/6) composite?
False
Let z = 80 - -39. Is z a prime number?
False
Let i = -2 + 6. Suppose -a - i*b - 12 = 0, -12 = 3*a - a + 5*b. Suppose q + 76 = a*s + 5*q, -s + 35 = 5*q. Is s a composite number?
True
Let i(o) = o**3 + 8*o**2 - 10*o + 10. Suppose 0 = -y - 3*s - 12, 4*s - 2*s = 2*y + 16. Let k be i(y). Let d = k + 2. Is d composite?
True
Let r(w) = 10*w - 2. Let i be r(4). Suppose 6*k + i = 3*k - o, 0 = 3*k - o + 46. Is 206/10 + k/(-35) composite?
True
Suppose 0 = y + 3*y - 5*a - 22, -3*a = 2*y. Suppose 5*f + 2 = 3*q - 0*q, 37 = y*q + 2*f. Let r = q - -42. Is r prime?
False
Let z = 91 + -14. Is z composite?
True
Suppose -4*l - 3*s = -1309, 0 = -2*s - 7 - 3. Is l prime?
True
Let i(d) = d**3 + 8*d**2 + 8*d + 7. Let a be i(-7). Suppose a*k + k = 5. Suppose k*v = -0*v + 65. Is v composite?
False
Suppose 0 = -2*r - 3*r + 6635. Is r composite?
False
Let d = 14 - 20. Let z be (-69)/d - 1/2. Let w = -8 + z. Is w composite?
False
Let v(q) = -q**3 + 8*q**2 + q - 3. Let u(t) = 6*t**2 - 2*t + 1. Let m be u(1). Is v(m) prime?
False
Let p(n) = 6*n**2 + 9*n - 1. Is p(12) composite?
False
Let o = 207 + -74. Let h(u) = 9*u**3 - 2*u**2 + 1. Let x be h(1). Suppose 3*n - x*n + 59 = 2*q, 4*q - o = -5*n. Is q a composite number?
False
Let z = 84 - 49. Suppose 3*v = -2*n + 101, 0 = 2*v - v + 2*n - z. Is v prime?
False
Let o = 5 - 4. Suppose o = -5*g - 9. Is g/(-1) + -1 + 34 a composite number?
True
Suppose -3*h + 2200 = 2*i, -2146 = -3*i + h + 1143. Is i composite?
False
Let w be (109 + (-1 - 0))*-1. Let h = w - -226. Is h a composite number?
True
Is (-22437)/(-45) - (-4)/10 a composite number?
False
Let b(f) = f**3 - 3*f**2 + f + 1. Let m be b(3). Suppose 0 = -m*d + 214 + 438. Is d composite?
False
Is 438/(-12)*(-14 - 0) composite?
True
Let o(x) = 18*x**2 + 5*x - 7. Is o(-6) composite?
True
Let p(w) = -w**2 - w + 23. Let a(s) = -s**3 - 6*s**2 + 7*s + 2. Let y be a(-7). Let h be 1 + (y/2 - 2). Is p(h) a prime number?
True
Let d(f) = 36*f**2 + 8*f - 17. Is d(5) prime?
False
Let i be 2 + (4/2 - 0). Suppose -x = -2*b + 3, i*b - 3*x - 9 = -0*b. Suppose 5*m - h - 488 = 0, -3*m - 2*h + 285 = -b*m. Is m a composite number?
False
Let n = -175 - -28. Let i = 242 + n. Suppose -3*o + 4*g + 71 = 0, i = 5*o + 4*g + g. Is o a prime number?
False
Let f(s) = -427*s + 5 - 3 - 258*s. Is f(-1) a prime number?
False
Is (-7)/(1140/381 - 3) a prime number?
False
Let k(l) = -379*l**3 - 2*l - 2. Is k(-1) prime?
True
Let s(b) = b**3 + 6*b**2 + 2*b. Let w be 0 + -1 - (-2)/2. Let a be (w/2 - -1) + -4. Is s(a) prime?
False
Suppose d - 51 = 2*d. Let u = d - -74. Is u composite?
False
Suppose 4*x - 700 + 68 = 0. Suppose 0*k = -2*k + x. Is k a composite number?
False
Let c = 52 + -99. Suppose -2*h + 3*w = -9, 0*h = -2*h - 4*w - 12. Let v = h - c. Is v prime?
True
Let x = 8 - 11. Is (-5)/3*x*31 a prime number?
False
Let d = 0 + 4. Suppose 4*m - 21 = -d*g + 7, -4*m = -2*g - 16. Suppose 0*x - 3*x + 41 = 5*r, 5 = 2*r + m*x. Is r composite?
True
Suppose 2*s - 2*i + 3*i - 8 = 0, 5*s = 3*i + 9. Suppose -2*g - s*g + 1685 = 0. Suppose 4*k - g = 51. Is k prime?
True
Let j(w) = w**2 - 4. Let u be j(-3). Suppose -8 = s - u*s. Is (-186)/(-14) - s/7 a prime number?
True
Suppose -2*m - 4*t = -1138, 1141 = 4*m - 2*m + t. Is m a composite number?
False
Let d = -6 - -10. Suppose 4*k - 278 - 386 = d*v, 4*k = 3*v + 664. Suppose -z + 25 = -k. Is z a composite number?
False
Let j(t) be the first derivative of -3*t**2/2 - 5*t - 4. Let o = 6 + -10. Is j(o) a prime number?
True
Let m(u) = -17*u - 3. Let h be m(-5). Suppose 186 = 4*c - h. Is c composite?
False
Suppose 4461 = 2*x + 539. Is x composite?
True
Let c(b) = 12*b**3 + b. Let n(a) = a - 5. Suppose 0*g - g + 6 = 0. Let l be n(g). Is c(l) a composite number?
False
Is (116 + 2)*(-9)/(-6) composite?
True
Let y be (2 - (-28)/(-8))*-2. Suppose 119 = y*z + 4*q, -2*z = -3*q + 7*q - 82. Is z composite?
False
Let t(b) = -16*b + 14. Is t(-9) a composite number?
True
Suppose 92 = -5*w + 1032. Let q = -57 + w. Suppose -j + n = -68, 3*j - 329 = -3*n - q. Is j a prime number?
True
Let g be 2/(-6)*(2 + -14). Suppose -g*j + 76 = -0*j. Is j composite?
False
Let r(n) = 8*n - 2. Let w be r(7). Let j = w + 5. Is j prime?
True
Let n be (-4 - -15)*2/2. Suppose n = -4*z + 31. Suppose -973 - 1182 = -z*a. Is a composite?
False
Let a(u) be the second derivative of 23*u**3/3 + 7*u**2/2 - u. Is a(4) prime?
True
Suppose -4*k = k - 20. Suppose -k*r = -3*l + 45, 0*l + 34 = l + 5*r. Is l composite?
False
Suppose 5*l + 382 = 2*d - 44, 3*d = -5*l + 639. Suppose 0*p + d = 3*p. Is p prime?
True
Let m(v) = v**2 - 2*v - 1. Let z be m(4). Suppose 2*g = z*g - 500. Suppose 0 = 5*j - o - g, -4*j = -5*j - 5*o - 6. Is j composite?
False
Let h = -3 - -6. Suppose -h*u + 49 = -3*y - 185, 4*u + 2*y = 336. Is u composite?
True
Suppose -5*h - 3*l = -8102, -3*h + l = 965 - 5815. Is h a composite number?
True
Suppose o - 2*a - 8 = -o, 0 = -3*o + 2*a + 13. Suppose -o*v = 5*m - 7 - 8, 5*v = m + 15. Let r = v + 3. Is r a composite number?
True
Let x(g) = g**2 + 9*g + 5. Let u be x(-8). Is (u/2)/((-21)/658) prime?
True
Let b = -17 - -24. Suppose b*p - 330 = 4*p. Suppose -3*t + p = 2*t. Is t a prime number?
False
Let c(z) = 7*z. Let y be c(-5). Let w be 20/y*(-14)/4. Is (-1)/w*(-148)/2 a prime number?
True
Let z(y) = 2*y**2 - 10*y - 23. Is z(-6) composite?
False
Let v(d) be the first derivative of 5*d**2/2 - 13*d - 1. Is v(10) a composite number?
False
Let i(c) = c**3 - 2*c**2 - 4. Let s be i(3). Suppose 3*a + 5*u - 3 = 0, 3*u - s*u = -5*a - 26. Is (a/(-6))/((-8)/(-588)) composite?
True
Let g = -4 + 3. Is 23/(g/10*-2) composite?
True
Let c = 1877 + -678. Is c a composite number?
True
Let p(r) = -2*r**2 - 13*r - 3. Let o be p(-6). Suppose o*s = -2*a + s + 1276, s = -3. Is a composite?
False
Let v(r) = 94*r**3 + 4*r**2 - 5*r + 5. Is v(2) a prime number?
False
Let h(q) = -83*q + 2. Suppose -1 = 2*v - 5. Let g(l) = -17595*l + 425. Let o(d) = v*g(d) - 425*h(d). Is o(1) a composite number?
True
Suppo