Let q be (-2)/1 + (28 - 0). Let l = q + -12. Is l a composite number?
True
Let g(c) = 10*c + 13. Is g(7) composite?
False
Let g(b) = b**3 + b + 77. Suppose -2*r = 2*r. Is g(r) prime?
False
Let i = -3 + 7. Let v(j) = -2*j - j**3 + 3 - 3 - i*j**2. Is v(-5) prime?
False
Is (-951)/(-5) - (-4)/5 a prime number?
True
Suppose 0*y = 2*y + k + 1, 14 = -3*y + k. Is ((-5)/y)/(1/15) a prime number?
False
Let l = -24 + 27. Suppose -5*t + 3*k + 1061 = 6*k, 635 = l*t + k. Is t a prime number?
True
Let y(u) = 36*u + 28*u + 3 - 6 + 4. Is y(1) prime?
False
Let c = -332 + 633. Is c composite?
True
Let n be (2/(-4))/(3/(-120)). Suppose 5*j - 5 + n = 0. Is -1*(-34 - (j - -6)) composite?
False
Let d be 3/(-12)*-4 - 1. Suppose -3*p - 3*f + 201 = d, 4*f - 3*f = p - 75. Is p a composite number?
False
Let f = -9 - -151. Is f a composite number?
True
Let y = -1479 - -2470. Is y prime?
True
Let z(i) be the first derivative of -80*i**2 + i - 2. Is z(-1) a composite number?
True
Suppose 5*j - 5760 = 3*u, 4*j = -2*u - 2953 + 7583. Suppose 0 = q + z - 3*z - 245, -4*z + j = 5*q. Is q composite?
True
Let z(f) = 84*f**2 - f - 6. Is z(-5) composite?
False
Suppose -1411 - 146 = -3*o. Is o a composite number?
True
Let l be (-6)/(-4)*(-8)/(-3). Let u(y) = y**3 - 4*y**2 + y - 2. Let c be u(l). Suppose 39 = -c*p + 233. Is p composite?
False
Let z be (12/10)/((-24)/(-880)). Is 2/(-8) - (-6127)/z composite?
False
Let n(u) = -2*u**3 - 10*u**2 + 9*u + 7. Is n(-8) a composite number?
True
Let i(f) = -f**3 + 6*f**2 + 7*f - 3. Let t(p) = 2*p - 5. Let o be t(6). Let g be i(o). Is 237/g*(2 + -3) prime?
True
Suppose -4*v - 2*x + 10 = 0, -4*v + 5 = -0*x - 3*x. Suppose 0 = 5*h - v*h - 195. Is h a composite number?
True
Let w(x) = 4*x**2 + 1. Let a be w(-1). Let f(i) = -i**3 + 12*i**2 + i + 1. Is f(a) a composite number?
False
Let k be (-2540)/(-8) - (-4)/8. Let n = k + 269. Is n a composite number?
False
Suppose -y = y + 152. Let l = -44 - y. Suppose 2*h - l = 5*d - 7, -3*h + 2*d + 32 = 0. Is h a prime number?
False
Suppose 0 = -2*x - 5*t + 28 + 28, -2*t = -4. Suppose 41 = -3*u + 2. Let g = u + x. Is g prime?
False
Let x = 3 + -3. Suppose -o = -0*o + 5, x = 5*f + 5*o. Let j(a) = 25*a + 2. Is j(f) a composite number?
False
Suppose 51 - 1 = 5*t. Is t prime?
False
Let m = 21 - 16. Suppose -h + 1196 = m*g, -5*g + 1197 = -0*h + 2*h. Is g composite?
False
Let v = 6 + -3. Suppose -v = 2*w - 7. Is -2*w*11/(-4) a prime number?
True
Let c(h) = h**3 + 9*h**2 - 5*h + 8. Suppose 0*z - 78 = -3*z. Let i = 17 - z. Is c(i) a prime number?
True
Let t(d) = 21*d - 1. Let f = -4 + 5. Let a be t(f). Suppose -a = -4*x + 120. Is x a prime number?
False
Let o(q) = -q**3 - 3*q**2 + 4*q + 4. Let v be o(-4). Suppose 0 = k - v*k - 1644. Let y = k + 771. Is y composite?
False
Let y = -15 - -22. Is y a composite number?
False
Suppose -5*u = 3*r + 25, u - r + 5 = -2*r. Is (-3 - u)*(-86)/(-4) a prime number?
True
Suppose -y + 0*y = 2*h, -5*y = h. Let r(p) = 2*p - 26. Let j(w) = w - 13. Let i(z) = 5*j(z) - 3*r(z). Is i(h) composite?
False
Suppose -x + 10 = 2. Suppose -3*b - 1 + 23 = -4*k, -b + x = -2*k. Is (b/(-9))/((-2)/381) composite?
False
Let g(z) be the first derivative of 11*z**2/2 - 20*z - 4. Is g(15) a composite number?
True
Suppose -g + 2*j = -321, -4*g + 2*j + 2*j + 1304 = 0. Is g composite?
False
Suppose -1162 = -3*d + b, -5*d + 6*b = b - 1920. Is d a prime number?
True
Let n(p) be the first derivative of p**5/12 - p**4/8 + p**3/3 - 1. Let o(x) be the third derivative of n(x). Is o(4) a composite number?
False
Let s = -3 + 3. Suppose -5*m - 3*v + 958 = -5*v, -3*m + 558 = 3*v. Suppose -6*q + q + m = s. Is q composite?
True
Let t = 213 - -830. Is t a composite number?
True
Suppose 4*s - 22488 = -4*z, 24*z - 2*s = 25*z - 5617. Is z a prime number?
False
Let r = 2086 + -625. Is r a composite number?
True
Let u be 15/2 + (-5)/10. Let c be 1/1*35/u. Suppose -v + 3*x - 6 = -54, 0 = -c*v + 5*x + 270. Is v composite?
True
Let t be ((-2)/6)/((-3)/18). Suppose 0 = -t*j + 2*l + 4, -j = j - 3*l + 1. Suppose -2*u - 395 = -j*u. Is u a composite number?
False
Suppose 4*k - 3 = 3*l, 3*l + 0*l + 3 = 0. Suppose k*m + 37 = m. Is m prime?
True
Let b = 5 + -8. Let w(u) = -288*u - 4. Let x be w(b). Suppose -5*s = -65 - x. Is s composite?
True
Let r = 4 - 4. Suppose -l + 6*l - 95 = r. Is l prime?
True
Suppose -k = 2*v - 1205, -2*v - 3*v = -2*k + 2419. Is k a composite number?
True
Suppose -4*o - n = -1005, 2*o + n + 226 = 729. Is o composite?
False
Let a(z) = 68*z - 7. Is a(2) a composite number?
True
Is (8/32)/(2/632) composite?
False
Let s(q) = 12*q**2 + 4*q - 17. Is s(12) prime?
True
Suppose -2*i = 7*i - 1143. Is i prime?
True
Suppose -3*n - 24 = -0*n. Let u be 60/n*(-14)/3. Let r = u + 47. Is r a prime number?
False
Let n be -1 - (3 - 3)/(-2). Let y(r) be the first derivative of 52*r**3/3 - r + 1. Is y(n) a prime number?
False
Let q be (4/10)/((-1)/(-15)). Is ((-38)/(-4))/(3/q) composite?
False
Let j be (2 - 3)/(-2 - -1). Let w(u) = u**3 - 2*u**2 + j - 3*u**3 + u + 3 - 4*u. Is w(-3) a prime number?
False
Let b be (-2)/3 + 1356/9. Let q = 215 - b. Is q composite?
True
Let r(x) be the first derivative of -x**3/3 - 4*x**2 + 2*x + 2. Let m be r(-8). Suppose 148 = m*u + 2*u. Is u composite?
False
Let m(z) = z**3 + 2*z**2 + 7*z + 5. Suppose -t + 4 = -2*t. Let w be m(t). Let o = -36 - w. Is o prime?
True
Suppose -b = -2*b + 5*x + 303, 2*b = 2*x + 646. Suppose -s - 5*v + 825 = 4*s, 2*s + v = b. Is s prime?
True
Suppose 10*g = 7*g + 5277. Is g a composite number?
False
Let j be (2*2)/((-3)/(-9)). Let i = j + 19. Let r = i - 12. Is r composite?
False
Suppose -p - p + 1118 = 0. Suppose 3*u - p = 74. Is u a composite number?
False
Let w = -30 + 97. Is w composite?
False
Is (3 + 0 + -106)/(-1) prime?
True
Suppose w + 446 = -t - 0*t, -3*t + 1338 = -3*w. Let f = w - -825. Is f a composite number?
False
Let d be ((-52)/12)/((-2)/(-18)). Let h = -2 - d. Is h composite?
False
Suppose -2*f + 5*g - 1850 = -3*f, -2*f + 3721 = 3*g. Is f prime?
False
Is 4783*(1 - (2 - 2)) a prime number?
True
Let s(h) = -h**2 - h + 1. Let x be s(1). Is (-794)/(0 + (x - 1)) prime?
True
Is (-1 + -1)/(34/(-1003)) prime?
True
Let q(l) = 121*l**2 - l + 45. Is q(-7) a prime number?
True
Suppose -l + n + 40 = 0, -5*l + 180 = -0*l - n. Let w be (-44)/2 + 4/(-2). Let r = l + w. Is r prime?
True
Let i be 112 - (-3 + 3 + 2). Let q = -36 + i. Is q a composite number?
True
Let t(i) = 36*i**2 + 3*i - 1. Let v(h) = h**2 - 6*h + 2. Let g be v(6). Is t(g) a prime number?
True
Let w(s) = s**3 + 1. Let c be w(1). Suppose 3*j + 5*f - 211 = j, -5*f + 25 = 0. Suppose c*i = -i + j. Is i prime?
True
Let o = 5 - 0. Suppose 38 = o*c + 4*w + 7, 5*c - 27 = -3*w. Let z(n) = 2*n**3 + 3*n + 4. Is z(c) a prime number?
True
Suppose -p - 4*p = -20. Suppose 3*u = -2*u. Suppose -5*r - 144 = -3*o - 28, u = o - p*r - 41. Is o a prime number?
True
Let s = 1356 + -679. Is s prime?
True
Let u(w) be the third derivative of w**6/120 - w**4/12 - w**3/6 + 3*w**2. Let l be u(2). Is -139*(-4 - (0 - l)) composite?
False
Let y be (-9876)/(-20) - (-1)/5. Suppose -n - 157 = -y. Is n composite?
False
Let v(c) = -c**3 - 6*c**2 + 3*c + 9. Let q be ((-7)/(-2))/(2/(-4)). Is v(q) composite?
False
Let d(z) = -z**2 - z. Let i(b) = 2*b**2 + 2*b. Let f(q) = -3*d(q) - 2*i(q). Let v be f(-1). Suppose 4*k - 12 = -0*k - 2*a, v = -3*a. Is k a prime number?
True
Suppose -5*l = -5*m - 3840, 6*l + m - 3846 = l. Is l prime?
True
Let r(w) = -64*w - 7. Is r(-11) a prime number?
False
Let h(g) = -52*g**3 - 2*g - 1. Is h(-1) a prime number?
True
Let l(u) = -182*u - 39. Is l(-4) a prime number?
False
Suppose -3*c = 2*m - 0*c - 7, -4*c - 4 = -4*m. Let l(v) = -13*v + 1. Let u(r) = 25*r - 3. Let x(k) = m*u(k) + 5*l(k). Is x(-1) composite?
True
Let c(h) = h**3 - 3*h**2 - 3*h + 1. Let t be c(-4). Let j = t - -217. Is j a composite number?
True
Let t(x) = -x**3 - 6*x**2 + 1. Let q be t(-5). Let n = 47 + q. Is n a composite number?
False
Suppose -2*v = 151 - 3. Let s = -5 - v. Is s prime?
False
Let x be ((-50)/5)/((-3)/(-6)). Is (-1055)/x*1*28 a composite number?
True
Suppose -5*u - 4*y - 199 = -2*u, 0 = -u + y - 57. Let n = 146 + u. Is n composite?
True
Suppose 3*b - 45 + 5 = 2*p, 2*b - 33 = -5*p. Let s = b - -21. Is s a composite number?
True
Is 1931