 + -470. Is x a composite number?
True
Let l(s) = -2147*s - 16. Is l(-7) a prime number?
True
Suppose 3*o + n = 9039, -o + 4*n = -6*o + 15072. Suppose 0 = -13*t + t + o. Is t composite?
False
Let f = -7 - -1. Let b be (-3603)/(-6) - f/(-12). Suppose 2*y + 0*y + 620 = 2*x, -2*y + b = 2*x. Is x prime?
False
Let f(w) = -7093*w - 30. Let t be f(-6). Is -2*3/10 + t/30 a composite number?
True
Let c = -2 - -6. Suppose c*n - 2*w - 774 = 0, 4*n + 5*w - 382 = 399. Suppose x - 74 - 23 = -o, 0 = 2*x + 4*o - n. Is x composite?
False
Let s(u) be the second derivative of 22*u**3/3 - 17*u**2/2 - 9*u. Is s(9) prime?
True
Suppose 0 = 6*a - 8865 - 16725. Is a composite?
True
Let h(q) be the first derivative of -17*q**2/2 - 8*q + 5. Is h(-5) composite?
True
Is 2166417/44 - 5/(-20) composite?
True
Let r be (2/6)/(13/78). Suppose -3*i + 14 = -r*w, 0 = -i + 2*i + w - 8. Is ((-9)/i - -1)*-422 a prime number?
True
Is (-9)/((-90)/70) + 22*808 prime?
True
Let p = 33 + -50. Let u(r) = r**3 + 17*r**2 + r + 13. Let a be u(p). Is 163/(2/2) - a prime?
True
Let v = 9 + -5. Suppose -1 - 15 = -v*w. Suppose 2*y + 282 = -0*f + 2*f, 0 = w*f - 2*y - 568. Is f prime?
False
Let h(y) = 1963*y**2 - 5*y - 7. Is h(-1) a prime number?
False
Suppose 2*c = 5*h - 27 - 3, 5*c - 12 = -2*h. Suppose -9*u + h*u + 807 = 0. Is -2 + -2*u/(-2) prime?
False
Let h(d) = -d**3 + d**2. Let j be h(0). Suppose 4*r + 2*a - 504 = j, 3*a = 4*r - 9*r + 629. Is r composite?
False
Suppose 0 = -d + y - 6*y + 27, -3*d - y + 11 = 0. Suppose -2*b - b = -z, b = d*z. Let w(s) = -s + 55. Is w(b) composite?
True
Suppose x = 9493 - 1110. Is x prime?
False
Suppose 5*z - 2*g = 24685 + 15272, 16 = 4*g. Is z a composite number?
False
Let z(f) = 35*f**3 + 2*f**2 + 5. Let t be z(5). Let k = -3091 + t. Is k a prime number?
False
Suppose 0 = 5*z - v - 2686, z + 5*v + 542 = 2*z. Is z a composite number?
True
Let i(s) = -172*s + 9. Let h = -121 + 114. Is i(h) composite?
False
Suppose -17972 - 1976 = -4*w. Is w a composite number?
False
Let n(b) be the first derivative of -9*b**2 - 53*b - 9. Is n(-24) a prime number?
True
Is 1901/(-2 + 2 - 1)*-2 composite?
True
Let p be (16/(-24))/((-8)/156). Let m(l) = 3*l**3 + 9*l**2 - 2*l - 51. Is m(p) composite?
True
Let v = 3239 - -4260. Is v prime?
True
Let w(z) = -z**2 - 23*z + 1. Let o(q) = q**2 - 10*q - 10. Let s be o(9). Is w(s) prime?
False
Suppose -14*o = -9*o. Suppose o = 4*i - 30 + 10. Suppose i*l = -l + 762. Is l a prime number?
True
Let q(g) = -2*g + 8. Let f be q(3). Let w(z) = 44*z**3 + z**2 - 4*z - 1. Is w(f) a composite number?
False
Let t(z) = 3*z - 19. Let v be t(8). Suppose 0 = -2*m + v*m - 1059. Is m prime?
True
Let u(q) = 3*q**3 - q**2 - 7*q + 11. Let r(c) be the second derivative of c**5/20 - c**3/3 + 2*c**2 + c. Let d(h) = 17*r(h) - 6*u(h). Is d(7) a prime number?
False
Let k(y) = -9*y + 2. Let c be k(-1). Let h(j) = 501*j + 70. Is h(c) composite?
False
Suppose -5 = 2*h + 3*h + 4*o, 3*h = 2*o + 19. Suppose -h*k - 2 = -14. Suppose k*z = -2*i + 5*z + 740, -5*z + 10 = 0. Is i a prime number?
False
Let k = -6438 - -12929. Is k prime?
True
Suppose -i = a - 53038, -11*i - 4*a + 265195 = -6*i. Is i a composite number?
True
Suppose u = -4*u + 526745. Is u prime?
False
Let i(o) = -o**3 + 12*o**2 - 21*o + 10. Let l be i(10). Suppose l = 2*z + 5*v - 10*v - 154, -3*z + 5*v = -236. Is z prime?
False
Let s = -26671 + 39842. Is s composite?
False
Let t = 920 - 393. Is t a prime number?
False
Suppose 4*m + 477905 = 5*a, -13*a + 17*a - 2*m - 382324 = 0. Is a composite?
False
Suppose -4*w - f + 7533 = 0, 13*w + 5641 = 16*w - f. Is w a prime number?
False
Suppose 0 = -131*h + 100*h + 3359191. Is h a composite number?
True
Let j be (-8 - -5) + (0 - -12). Let m be ((-14)/(-3))/(6/j). Let q(h) = 4*h**2 - 3*h - 8. Is q(m) prime?
True
Let n be (-4)/((-7)/((-21)/(-2))). Suppose -2*s - 2*v = -148, n*s - 222 = 3*s - 5*v. Is s a composite number?
True
Let i = 1 - 1. Let x be (-1 - 0) + (3 - (-6)/2). Suppose x*y - 755 = -5*h, i = -3*y - 0*y + 6. Is h a prime number?
True
Let c = -17 - 17. Is (1 - 14)/(2/c) prime?
False
Let h be -2 + 4 + 3 + -1. Suppose -h*j - 1905 = -3*x, 3*x + j = -2*x + 3175. Is x a composite number?
True
Let t = 151 + 15. Suppose -4*d + t = -2*d - 2*y, 5*y - 10 = 0. Is d a prime number?
False
Let j(c) = -3*c - 17. Let k be j(-7). Suppose t - 3*l + 9 = 3*t, 2*l + 10 = k*t. Is t a composite number?
False
Suppose -28*w + 60748 = -24*w. Is w a composite number?
False
Let i be 6282/(-14) - (-16)/(-56). Let y = i - -2182. Is y a prime number?
True
Let t = 10 - 6. Suppose 7*r = t*r + 15. Suppose r*f = 126 + 319. Is f a prime number?
True
Suppose 5*s - 16022 = 4*u + 2193, 2*s - 7263 = -3*u. Is s prime?
False
Suppose -1022 = -2*b + 1570. Let d = 2 - -1. Suppose b = d*p - 969. Is p a prime number?
False
Suppose 5*v - 2*g - 58 = 0, -4*v - 3*g = 2*g - 20. Let i = v + -8. Suppose -i*j + 263 = -j. Is j composite?
False
Let q = -71 - -119. Suppose 0 = -2*k - 2*k + q. Is ((-586)/(-4))/(k/24) composite?
False
Let u(j) = 4*j**2 - 1 + 2*j - 5*j - 2. Suppose -2*w = 2*z + 10, 10*w - 13 = 12*w + 3*z. Is u(w) a composite number?
False
Let h be 1/5 - 9758/(-35). Suppose 2*n + h = 3*r, -50 - 229 = -3*r + 5*n. Is r a composite number?
True
Suppose -1994 = -2*j + 3*q, 4*j - q = -2*q + 4016. Is j composite?
True
Let n be (1 - -5)*(-5)/(-10). Suppose 3*c + 2*c - 4*u = n, 4*c + 3 = 5*u. Suppose 4*m + 3*i = 530, 4*i - 77 - 317 = -c*m. Is m composite?
True
Let x = -30 - -24. Let i(d) = d - 1. Let a(r) = -6*r + 4. Let o(l) = -2*a(l) - 18*i(l). Is o(x) a composite number?
True
Let p(q) = -3*q**2 - 2. Let u be p(-7). Let a = 213 - u. Let o = a - 217. Is o composite?
True
Let l(y) = y + 7. Let j be l(-12). Is 113 - ((-4)/4 - j) prime?
True
Let h = -91643 + 132482. Is h prime?
False
Suppose 38*v - 329284 - 16098 = 0. Is v prime?
False
Let n(v) = -38*v - 7. Let a(x) = -38*x - 6. Let o(b) = 6*a(b) - 7*n(b). Is o(5) a prime number?
False
Suppose -2*b - 8*b = 690. Suppose 5*a + 10 = 3*q, -a + 3*a + 4 = 0. Is b/(-9)*(3 - q) composite?
False
Let q be (-21)/(-6) + 1/2. Let i(l) = 3*l - 8. Let g be i(q). Let f(h) = h**3 + 6*h**2 - 5*h - 1. Is f(g) a prime number?
True
Let k(v) = -3 - 1 - 2 + 47*v - 6. Is k(5) a prime number?
True
Let o be (4/5)/(16/120). Let r be 152/o - 20/(-30). Suppose 24*x - r*x + 254 = 0. Is x prime?
True
Suppose 4*o + 87801 = 25*o. Is o a prime number?
False
Is (-3180)/40*(-1 + (-2)/(-6)) prime?
True
Let g(r) = r**3 - 8*r**2 + r - 4. Let k be g(8). Suppose b - 282 = 3*o + 217, k*o + 496 = b. Is (b/3)/(2/3) a composite number?
True
Suppose -82*h + 64*h = -659322. Is h prime?
True
Let h = 5940 - 3061. Is h a composite number?
False
Let t(n) = -3*n - 3. Let j be t(-3). Let z(q) be the third derivative of -q**6/120 + 7*q**5/60 - q**3/6 + 5*q**2. Is z(j) a composite number?
True
Suppose 47 = 3*t + 4*n - 17, -2*t - n + 36 = 0. Suppose -t*f = -17*f + 37. Is 10*(f/2)/1 a prime number?
False
Suppose 0 = -4*b - 9*s + 11*s + 1652, 0 = -4*s + 16. Is b a prime number?
False
Let k = 222 + 703. Let l = k - 426. Is l a composite number?
False
Let b be 2 + (-4*3 - -1). Let z = 12 + b. Suppose 5*l = z*l + 118. Is l a prime number?
True
Suppose 4*l + 245 = -3043. Let o = l + 1339. Is o a prime number?
False
Let r be 6474/15*(1 - -4). Suppose -8581 = -4*d + 5*s, 3*s = -0*d - d + r. Is d composite?
True
Let b(r) be the first derivative of -31*r**4/4 + 2*r**3/3 - r**2 - r + 10. Let u(f) = f - 7. Let d be u(5). Is b(d) a prime number?
False
Let o = 982 - 113. Suppose 5*q - 1170 = 1245. Let k = o - q. Is k composite?
True
Let x(l) = -2*l + 17. Let n be x(6). Suppose 0 = -5*j + 2*o - 1688, j - 671 = 3*j - n*o. Let u = 589 + j. Is u a prime number?
True
Let c = 3124 + -2027. Is c composite?
False
Let i = -503 - -314. Suppose 2*u + 3*u + 575 = 0. Let g = u - i. Is g a prime number?
False
Suppose 4*d - 3*d = 2*r + 6, 2*d - 9 = 3*r. Suppose -4*w + d*w - z = -9, 4*w - 13 = -5*z. Is 3/6 - (-421)/w a prime number?
True
Let r be (-2)/(-11) + 145/(-11). Let u = r - -17. Suppose -u*n = -3*o + 32, o - 1 = -n - 2. Is o composite?
True
Is (-15164)/(-2) - (-31 - -27) a composite number?
True
Suppose -28*y = -24*y - 3604. Suppose 0 = -3*a + 848 + y. Is a prime?
False
Let t(f) = -12*f**3 - 15*f**2 - 5*f - 21. Is t(-10) a prime number?
Tr