 4*o(v). Let d = -1007 - -998. Is s(d) a prime number?
True
Let k = -76 - -915. Is k prime?
True
Let s be -2 - 10*(-1 + 0). Is (-7)/1*(-4)/(s/146) prime?
False
Is ((-9510)/150)/((-2)/10) a prime number?
True
Let a = 7302 - 3268. Is a a prime number?
False
Suppose 12*m = 19*m - 9485. Suppose -m = -p - 82. Is p a prime number?
False
Suppose -3*k = 9 - 27. Suppose 0 = 2*i + i - k. Suppose i*b = 4*b - 70. Is b prime?
False
Let r = -1436 - -812. Let o = 1007 - r. Is o composite?
True
Let m = -6021 + 8876. Is m composite?
True
Let r(i) = i**2 + 3*i - 11. Let x be 18*1 - 6/3. Is r(x) prime?
True
Let r be (-3 + (-3)/(-1))/2. Suppose -6*a = -r*a. Suppose 10*v - 7*v - 261 = a. Is v a prime number?
False
Suppose -4*b - 1123 = -7*b - 2*k, 2*b = 5*k + 755. Suppose y - 1254 + b = 0. Is y a prime number?
False
Suppose -3*x - 9 = 0, 2*k - 3*x - 9237 - 1766 = 0. Is k a prime number?
False
Let u = 1363 + -520. Is u composite?
True
Is -21724*(25/20)/(-5) prime?
True
Let w(a) = 16*a - 1. Let x(q) = q**2 + q + 9. Let j be x(0). Is w(j) a composite number?
True
Let w(y) = 146*y**2 - 6*y - 1. Let f be w(3). Suppose -f - 3635 = -10*i. Is i a prime number?
False
Let d = 2 - -3. Let r = d + 0. Suppose 405 = u - 2*o, 2*u + 2*u - 1626 = r*o. Is u a prime number?
True
Let a(r) = 192*r**2 - 30*r + 61. Is a(14) composite?
False
Let r be 12/18 - (-2372)/6. Let n = r - -490. Is n a composite number?
True
Suppose 4*g - 2*p - 14 = -4*p, -3*g + 4*p - 6 = 0. Suppose 1591 = 2*w + 3*f, 0*w - g*f + 3202 = 4*w. Is w composite?
True
Let q = 22 - 43. Is (-122)/(-6) - 14/q a composite number?
True
Let u = 8 - 3. Let b(f) = f**2 + f. Let l be b(u). Suppose -z + 103 = -l. Is z a composite number?
True
Suppose -61*b + 107778 = -55*b. Suppose 4*g - g - 5*f - b = 0, g = -2*f + 5973. Is g a composite number?
False
Suppose -44 = -6*u + 4. Suppose 2*w - u = 2, 0 = -4*j - 3*w + 139. Is j a composite number?
False
Suppose h + 7*h - 18456 = 0. Is h a prime number?
False
Suppose 8*h - 9975 = h. Let q = h + -940. Is q prime?
False
Is (0 - -20853)/3 - 4 a prime number?
True
Let b = -14 + 150. Suppose 2*j - d - b = 0, j - 10 = 3*d + 53. Is j a composite number?
True
Let r = 44 + -44. Suppose 5*t = x - 107, r = 5*x + t + 2*t - 395. Is x composite?
True
Let k(q) = -q**3 + 4*q**2 - 5*q - 3. Let z be k(6). Suppose 15*c = 26*c - 2002. Let f = c - z. Is f composite?
True
Let b(l) = 16*l**2 + 30*l + 5. Is b(-44) a composite number?
True
Let l(x) be the first derivative of 0*x**2 + 1/3*x**3 + 1 + 35*x. Is l(0) a composite number?
True
Suppose 2*s = 6*s - 476. Suppose -n - 74 - s = 0. Let t = 342 + n. Is t composite?
False
Let x(l) = -l**2 + 11*l - 13. Let z = -17 + 26. Let w be x(z). Suppose -s + 2*t = -241, -s + 226 = -0*s - w*t. Is s composite?
False
Suppose -25*j + 855042 + 15133 = 0. Is j a composite number?
False
Let w = 2668 + -1193. Suppose 2*j - 5*b - 607 = 0, 0 = -3*j + 8*j - 4*b - w. Is j composite?
True
Let p(s) = -2*s - 9. Let f be p(-4). Let j(n) = 5*n**3 - 2*n - 1. Let d be j(f). Is 15 + d/6*3 a prime number?
True
Suppose 18 - 2 = 4*s. Is -2 + s + 2 + -3 + 630 a composite number?
False
Is 82439/(-28)*(-2 - 2) a prime number?
True
Let b(f) = -30*f**3 - 2*f**2 + 8*f - 3. Let k(r) = 29*r**3 + 3*r**2 - 9*r + 4. Let n(w) = -6*b(w) - 5*k(w). Is n(3) a prime number?
True
Suppose -2*u + 18 - 30 = 0. Let s = u + 425. Is s a composite number?
False
Let l be 6*(0 + 27/(-6)). Let a = 16 - l. Suppose 0 = -3*k + a + 350. Is k a composite number?
False
Let c = 19 - 16. Let s be c - 0/(-3 + -1). Suppose s*d - 38 = -5*u + 145, 0 = u - 3*d - 51. Is u composite?
True
Let o(d) = 16*d - 23. Let l(i) = 1. Let x(g) = 2*l(g) + o(g). Is x(17) a prime number?
True
Let p be 44/(-8)*82/1. Let s = p - -3060. Is s a composite number?
False
Let y(l) = -3*l**3 - 7*l**2 + 8*l + 7. Suppose 0 = -5*g + 7*g. Suppose -2*v - 2*t = -t + 13, -v + t - 5 = g. Is y(v) a prime number?
False
Suppose -2*j + 18392 = 2*v, -17*v = -14*v + 2*j - 27591. Is v prime?
True
Let i = -34 - -25. Let c be 4/(-6) - 33/i. Suppose -4*b + 955 = -c*b. Is b a prime number?
False
Let t be (-3857)/(-19)*1/1. Let i = t - 118. Is i a prime number?
False
Let y = 3 + -1. Suppose -y*r - 2 - 17 = -5*s, -s + 5 = -r. Is s - 20*20/(-8) a prime number?
True
Is 3 - (-3)/2*29004/9 a composite number?
True
Suppose -j + 3*v + 3 = -17, -5*v - 40 = -3*j. Suppose 0*t - 3*t - 4*i + 6859 = 0, 5*t + j*i = 11440. Is t a prime number?
True
Let j(a) = a + 19*a**2 - 36*a**2 - 7 + 19*a**2. Is j(-9) composite?
True
Suppose -15*j + 10*j = 0. Suppose j = -l + 355 + 54. Is l a prime number?
True
Let g = 4030 - -237. Is g prime?
False
Suppose 3*u + 5767 = a, -2*u + 28767 = -a + 6*a. Is a prime?
False
Let k(n) = n**2 - 6*n - 2. Let c be k(4). Let h = 14 + c. Let r(s) = s**2 - 1. Is r(h) composite?
True
Suppose 0 = -x + 3*x - 14. Suppose x*b - 245 = 2*b. Is b composite?
True
Suppose 3*u + 8*h - 12*h = 34061, 56745 = 5*u + 5*h. Is u a composite number?
False
Suppose -2*c + 21 = 5*l, -l + 3 = -5*c + 15. Suppose -4*q - l*s - 138 + 24 = 0, 4*q + 4*s = -112. Is 1 - 4/6*q prime?
False
Let a(z) = 4*z + 14. Let p be a(-3). Suppose p*x - 4*w = 2, 2*x - 3*w = -0*w + 5. Is x a prime number?
True
Let n = -136 - -47. Let s = -264 - -440. Let k = n + s. Is k composite?
True
Let z(p) = 82*p**2 + 15*p - 141. Is z(8) a composite number?
False
Suppose -6*w - 73*w = -1459841. Is w composite?
True
Let b(o) be the first derivative of -o**3/3 - o**2/2 + 4*o - 3. Let t be b(0). Suppose -2*r + 0*p + t*p = -290, p - 780 = -5*r. Is r a composite number?
True
Let v(r) = r**3 + r + 4. Let f be v(0). Suppose -f*s + 5*l = -22, -10 = -3*s - 2*l - 5. Suppose -2*j - 37 = -s*j. Is j a composite number?
False
Let f(v) = -v**3 + 2*v + 3. Let n be f(3). Let c be (-24)/(-108) - 5162/n. Suppose 3*w = -j + c, -465 = -5*w + 7*j - 2*j. Is w a composite number?
True
Let c(l) = 1348 + 107 - l**3 - l - 476. Is c(0) a composite number?
True
Suppose 0 = 5*r + 2*i + 76, -5*r - i = 95 - 17. Let g = 17 + r. Is 9737/(-13)*(-2 + g) a prime number?
False
Let q = 29 + -47. Is (27/q)/((-2)/3112*3) prime?
False
Let f(n) be the second derivative of 5*n**4/6 + n**3/6 + n**2 - n. Let c = -1512 - -1515. Is f(c) a prime number?
False
Suppose 0*b - 15 = -3*b. Suppose 2*j = -2*q + j + 4, 5*j - 10 = -b*q. Suppose -q*k + 159 = 1. Is k a prime number?
True
Suppose 3 = -2*z + 4*z + n, 2*z - 3*n + 9 = 0. Let x = z - -3. Is x prime?
True
Let q = 45273 + -20956. Is q a prime number?
True
Suppose 2*f - 5227 = -4*n + 4199, -4*f + 5*n = -18800. Is f a composite number?
True
Suppose 2*p - 2*y + 2 = -0*p, 5*p = 3*y - 3. Suppose -17*x + 1295 = -24*x. Is (p - 6/15)*x composite?
True
Let r(z) = -z**3 + 2*z**2 + 3*z + 3. Let c be r(3). Let p(v) = -2*v**2 - v + 4. Let f(n) = 52*n**2 - 3*n + 6. Let m(w) = f(w) - 2*p(w). Is m(c) a prime number?
True
Let b = -5745 - -18736. Is b a prime number?
False
Suppose 3*m - 2*b = -2, 6*m + 21 = 2*m - b. Let p be (m + 3)/((-5)/20). Suppose 5*q - p*q = 127. Is q composite?
False
Let f be 4/(-2)*-1 + 0. Suppose 0 = 2*a - 3*v - 19, -4*a + f*v + 34 = -0*a. Suppose 0 = 4*i - 3*h - 520, -3*i - 631 = -a*i - h. Is i prime?
True
Let r(k) = -2 - 10*k**2 + 2*k**3 - 5 - k**3 - 2*k**3 + 10*k. Is r(-11) a composite number?
True
Let t(z) = 3*z**2 - 13*z - 11. Let n be (-4)/(1 + (-3 - -3)). Let a be ((-44)/33)/(n/(-30)). Is t(a) composite?
False
Let p(q) = q**2 - 7. Let s be p(-3). Is 3*1 - (s - 48*21) a composite number?
False
Suppose 0 = -d - 5*s + 5, d + 2*s - 7 = -2*s. Suppose d*l - 3*l = 5988. Is l a composite number?
False
Let k = 36 + -39. Is (-15 - k)*55/(-20) composite?
True
Let z be ((-10)/4)/(2/(-12)). Suppose -5*t + g = -z, g + 14 = 4*t + 2. Suppose 4*s = -t*k + 1178, k + 259 = -2*s + 847. Is s prime?
True
Let n(x) = 6538*x**2 + 19*x + 46. Is n(-3) prime?
True
Let m(k) = 1611*k + 1. Let d be m(1). Let y = d + -461. Is y prime?
True
Suppose -2*i + 1392 = -5*x, 0 = -0*i - i - 3*x + 707. Is i prime?
True
Let d(o) = o**3 - 3*o**2 + 7*o - 1. Let m(h) = -h**3 + 3*h**2 - 7*h + 1. Let k(j) = -4*d(j) - 5*m(j). Let v be k(5). Suppose 91 = 5*a - v. Is a a prime number?
False
Let b(m) = 2*m**2 + 5*m + 4. Let o be b(-2). Suppose h - 471 = 2*d, o*h + 4*d = 5*h - 1409. Is h a composite number?
False
Let k(z) = -z**3 + 19*z**2 + 3. Let w be k(19). Su