- 7*n. Let i be t(-7). Let c = i + 1331. Is c a prime number?
False
Suppose -2*m = 5*v - 258091, -4*v + 5*m + 260390 - 53904 = 0. Is v a composite number?
True
Let x = 3 - -3. Let y be (-714)/(-5) + x/30. Suppose -y = -2*g + 3*s, 2*g - 3*g = -s - 74. Is g a composite number?
False
Let b(d) = 20*d**2 + 12*d - 13. Let z(n) = 19*n**2 + 13*n - 14. Let a(j) = 3*b(j) - 2*z(j). Let s be a(-8). Let u = s - 578. Is u a prime number?
True
Suppose i + 2*u - 12463 = 0, i + u - 4107 = 8354. Is i composite?
True
Suppose -3*h + 346 + 950 = 0. Suppose -2*x + h = -470. Is x a prime number?
False
Let v(k) = 8*k**2 + 16*k - 15. Let u(g) = -7*g**2 - 16*g + 16. Let p(s) = 5*u(s) + 6*v(s). Is p(-13) prime?
True
Let j = -98 + 283. Is j a composite number?
True
Suppose 0*k = 2*k - 4. Suppose -k*l - 4*b + 1 - 9 = 0, 5*b + 15 = 0. Suppose 26 = l*s - 84. Is s a composite number?
True
Suppose 5*i - f - 13615 = 0, -2*f = 5*i + 3833 - 17448. Is i composite?
True
Let d be 0 - (0 - (1 + 3 + -3)). Is 781 + 2 + 4/d composite?
False
Let x be ((-204)/(-30) - 4) + (-1)/(-5). Suppose o = -2*o - u + 1142, 773 = 2*o + x*u. Is o prime?
True
Let v(s) be the first derivative of 7/2*s**2 + 4/3*s**3 + 8 - 4*s. Is v(5) a prime number?
True
Let x(u) be the first derivative of -u**4/4 + 4*u**3 + 13*u**2/2 + 2*u - 5. Let m be x(13). Suppose 0*k - 2*k = -5*d + 1285, m*d - 514 = -5*k. Is d prime?
True
Suppose 4*j - 18 = 2*r, 2*j - 3 = 4*j + 3*r. Suppose -7*b + j*b = -10420. Is b composite?
True
Let p = 1457 + -810. Is p a prime number?
True
Is -5*(-8)/(-30)*(-23451)/4 a composite number?
False
Let q(u) = 13*u**2 - 20*u + 17. Suppose -4 = -4*x, 4*o + 6 = -2*x + 48. Is q(o) prime?
True
Let n = 0 - 246. Let q be n/4*(-4)/6. Suppose 0 = 3*x + 5*o - 67, 6*x - 3*o = 2*x + q. Is x composite?
True
Let w = -31 - -97. Let y = w - 147. Let j = y + 164. Is j prime?
True
Let k(u) be the second derivative of 11*u**3 + 7*u**2/2 + 4*u. Is k(5) prime?
True
Let j be (-1)/(-2)*2*0. Suppose 9*n - 10*n - 1 = j. Is 1/((-1)/(-30 + n)) composite?
False
Suppose 60*x = 56*x + 628. Is x*3*40/60 composite?
True
Let d be (-1)/(-8) + 8/(-64). Suppose d = 5*l + 5*c - 2686 + 816, c + 1110 = 3*l. Is l a prime number?
False
Is (-492106)/(-16) + 36/96 a composite number?
False
Suppose 3*q + 7*y = 4*y + 109971, -3*y - 73304 = -2*q. Is q a composite number?
True
Suppose 129*a - 2294615 = 22*a. Is a a prime number?
False
Let m(d) = -107*d**3 - d**2 + d - 4. Let f be m(-2). Suppose 0*s + 2*s + 2*h = f, -4*s + 1680 = h. Is s a prime number?
True
Let v = 266 - -359. Let c be 2/((-1 + -1)/(-412)). Let y = v - c. Is y composite?
True
Suppose -3*a + 0*q + 1901 = -2*q, 2*a = -q + 1272. Suppose 4*h + h = a. Is h a prime number?
True
Let c = -2520 - -5099. Is c prime?
True
Let k(o) = 29*o**2 + 10*o - 14. Let j be k(5). Let r = j + 108. Is r a composite number?
True
Let m(z) be the second derivative of z**5/5 - z**4/6 + z**3/3 - 3*z**2/2 + 26*z. Is m(5) a composite number?
False
Let f(i) = 6*i - 5. Suppose 8 = -4*h - 0*h. Let s be f(h). Let u = s + 19. Is u prime?
True
Suppose 3*y = 5*c + 35, -3*y + 5*c + 30 = -y. Suppose -y*j + 1275 = -2*j. Suppose -1443 = -2*n - j. Is n prime?
True
Suppose 1 = -3*i + 13. Suppose -2182 = -3*s - 5*j, i*s - j - j = 2944. Is s composite?
True
Let b = 22 + -22. Suppose -5*g + g + 592 = 0. Suppose b*a = -4*a + g. Is a prime?
True
Let p(t) = -73*t + 3. Let f be p(13). Is (14/4)/(-4 + f/(-236)) a composite number?
True
Let m = 13390 - 779. Is m composite?
False
Let y = -65 + 71. Suppose -s = -2*f - 268, -3*s - f + y*f = -807. Is s prime?
False
Let i(o) = -3 + 1 + o**3 - 6*o - 11*o**2 - 9*o. Let w = -42 + 55. Is i(w) composite?
True
Suppose -h = 25 - 726. Is h a composite number?
False
Suppose -d = -2 - 1. Suppose 3 = 3*w - d. Suppose 0 = -u - 5*m + 130, -6*u + 5*u + w*m + 109 = 0. Is u a prime number?
False
Let w(k) be the second derivative of k**5/5 + k**4/12 - k**3/2 + 3*k**2/2 - 2*k. Suppose f + 6 = 4*f. Is w(f) a composite number?
True
Suppose 3*i = -4*r + 138203, 4*i + 35*r - 40*r - 184312 = 0. Is i prime?
True
Suppose 5*g + 4*c = 250226 - 91341, -2*g + c = -63567. Is g a composite number?
True
Suppose -21 = -5*l - 11. Suppose 278 = l*c + c + 4*o, 0 = 2*c + o - 192. Suppose -c = -4*r + 106. Is r a composite number?
True
Suppose t = 2*t - 58. Suppose -2*r = -t - 50. Is ((-1)/(-1))/1 + r a composite number?
True
Suppose 4*x = p - 5111, 2*p - 12407 + 2135 = -2*x. Is p prime?
False
Let j(t) = -t**3 - 17*t**2 - 14*t + 32. Let h be j(-16). Suppose h = m - 2676 + 703. Is m prime?
True
Let o(c) = 0 - 6*c**3 + 3*c**3 + 0 - 4 + 8*c + 2*c**2. Is o(-7) prime?
False
Let z be (15 - -1) + (-3 - -5). Let r(x) = -26*x + z + 31 - 42. Is r(-8) composite?
True
Let v = -44 + 46. Suppose y - v*b - 3*b = 396, 0 = 4*b + 12. Is y a prime number?
False
Suppose 2*x - 9 = 2*o + 11, -5*x = -4*o - 49. Let f = 8 - x. Is 771*(-2 - f)/(-3) a composite number?
False
Suppose -3*w = -2*w - 4. Suppose t + 3 = -0, w*v - 1447 = -3*t. Suppose -2*y = -6*y + v. Is y prime?
False
Suppose 6*h = h. Suppose 2*y - y - 1 = h. Is (-3129)/(-7) + (y - 2) composite?
True
Is 1083 - (4 + 5 + -3) composite?
True
Let c(z) = 13*z**2 - 6*z + 8. Let p be c(7). Suppose -28*b + 33*b - 430 = -4*n, -n = -4*b - 97. Suppose p + n = 4*v. Is v a prime number?
False
Suppose 98205 = 238*g - 223*g. Is g prime?
True
Suppose 16 = -0*b + 2*b. Suppose -2*r = -3*r + b. Suppose 3*v = 113 - r. Is v prime?
False
Let n = 7 + -4. Let q(z) = z**3 - 3*z**2 + 2*z - 2. Let p(y) = y**3 + y**2 + 1. Let v(o) = 3*p(o) + q(o). Is v(n) prime?
False
Suppose 2*v = -4*x + 16, 4*v = -3*x + 6*x - 1. Suppose 0 = -x*r - 0*r - 162. Is (-2)/(-12) - 15813/r a composite number?
False
Let s = 22 + -13. Let u(j) = -j**2 + 9*j. Let z be u(s). Suppose z = -x + 135 + 116. Is x composite?
False
Let w = -2732 - -9109. Is w composite?
True
Suppose 0 = 14*h - 2387 - 3521. Let c = 1043 + h. Is c composite?
True
Suppose 751 + 2733 = 13*b. Suppose -199 = -r + b. Is r a prime number?
True
Is (-10)/30 - 12936/(-9) composite?
True
Suppose -2*c - 3*q = 903, -246 = 4*c - q + 1525. Is 5*(-2)/(40/c) a composite number?
True
Let t = 47 - 26. Is (t/14)/(9/8634) prime?
True
Is 6/(-20) + (-193930)/(-100) a prime number?
False
Suppose 12*x - 11*x - 4 = 0. Suppose j + x*j + 15 = 0. Is 0 - (j + -1 - -1) a composite number?
False
Let i(o) = o**3 - 47*o**2 - 75*o - 227. Is i(56) prime?
False
Suppose 15 - 1 = 2*p. Suppose p*r + 361 = 2132. Is r a prime number?
False
Let o(l) = 82*l**3 - 4*l**2 + 17*l + 8. Let q(d) = 27*d**3 - d**2 + 6*d + 3. Let k(m) = 4*o(m) - 11*q(m). Is k(3) a prime number?
True
Let y(m) = -m**3 + 12*m**2 - 14*m - 9. Let n(j) = j**3 - 12*j**2 + 13*j + 8. Let w(q) = 3*n(q) + 2*y(q). Let a be w(11). Suppose -a*x + 108 = -366. Is x prime?
True
Let x be -2*((-93)/6 + 0). Suppose -2096 = -5*c - x. Is c prime?
False
Let i(v) = -6*v + 4*v - 10*v**2 - 34*v**2 + 1 - v. Let s be i(2). Let y = s - -372. Is y a prime number?
True
Let z(t) = 1751*t + 11. Is z(1) composite?
True
Is (3/6)/((-3)/5847)*-2 a prime number?
True
Suppose -s + 2 = -0, -5*s = x - 4. Suppose 3*r + 24 = 3*t, -3*r - t - 12 = 2*t. Is (-406)/r + x/9 composite?
False
Let k be (-8)/(-3) - (-2)/6. Let o(d) = 9 - 5 - 4*d + k. Is o(-11) a prime number?
False
Let i(h) = 0 + 0*h - 27*h - 10. Let v be i(-7). Suppose p - 742 + v = 0. Is p prime?
True
Let c = -71 + 265. Let z = 417 - c. Is z a composite number?
False
Let k(t) = -323*t - 15. Let s(y) = 4*y + 62. Let h be s(-16). Is k(h) composite?
False
Let y = -10 - -12. Let l(q) = 372*q**3 - 3*q**2 + 2*q + 3. Let o(d) = 372*d**3 - 2*d**2 + 2*d + 3. Let s(a) = y*l(a) - 3*o(a). Is s(-1) composite?
True
Let o = 9806 - 883. Is o composite?
False
Let x be ((-1 - 1) + 1)*-3. Let a = 3089 - 1359. Suppose -5*w - v = -a, v - 564 = -x*w + 472. Is w a prime number?
True
Suppose 0 = 2*c + 5*i - 2837, -c + 405 = 2*i - 1012. Is c a composite number?
True
Let n(d) = 3*d**2 + d. Let m = -10 - -11. Let p be n(m). Is 89*2*p/8 prime?
True
Suppose -3*d = -4*u + 29, -8 = 4*u + 3*d - 43. Suppose -u*r + 13*r + 2835 = 0. Let j = r + 1006. Is j a prime number?
True
Let a(v) = 3*v + 11. Let g be a(-8). Let m = 19 + g. Is 4/m*(-633)/(-2) prime?
True
Let t(v) = 51088*v**2 - 29*v - 3. Is t(-2) prime?
False
Suppose -8*t + 3*t = -1355. Let b = 