z**2 + 21*z + 20. Is j(-13) a composite number?
True
Is 1 - (4 + 0) - (5 + -301) a composite number?
False
Let i(c) = -c**3 + 4*c**2 + 4*c + 7. Let h be i(5). Suppose -3*a + 114 = -a + h*y, a - 63 = -4*y. Is a prime?
False
Suppose 4*a + u + 1 = 0, 2*u + 2*u = -3*a - 4. Suppose a = -2*z + 3*z + 2. Is (6/(-7))/(z/14) a composite number?
True
Let t be (-4)/((-24)/(-1119))*-2. Suppose 5*o = 5*n + 580, -t + 32 = -3*o - 4*n. Is o composite?
True
Let i(h) = h**2 - 3*h. Let w be i(-4). Suppose -w - 9 = -c. Is c composite?
False
Suppose 5*v - 1629 = 3*g + g, -4*v + 1328 = 3*g. Is v a prime number?
False
Let v be ((-626)/6)/((-2)/6). Let l = -367 + 185. Let n = v + l. Is n composite?
False
Let c(b) = -235*b + 2. Let a be -6 - (8/(-2) + 2). Let o be c(a). Suppose 4*q - h + 0*h - o = 0, 4*q - 946 = 3*h. Is q prime?
False
Suppose -3*l = 4*t + 2*l + 106, 0 = -3*t + 2*l - 91. Let h = 51 + t. Is h a prime number?
False
Suppose 2*t + 2 = 0, t - 6*t - 8 = 3*v. Is ((-223)/(-2))/(v/(-2)) a composite number?
False
Let i(a) = a + 2. Let s be i(-4). Suppose -2*n = -0*n - 4. Is (-2 + (38 - s))/n a prime number?
True
Let q(g) = 7*g**2 + 18*g + 27. Is q(10) prime?
True
Let r be 33/12 - 2/(-8). Suppose -3*x - m + 17 = 0, 2*x = -4*m + 21 - r. Let z = x - 1. Is z composite?
True
Let l = -7 - -6. Let r(d) = -65*d. Is r(l) a prime number?
False
Let w(k) = 2*k - 4. Let u be w(4). Suppose -2*p = 3*p + j + 85, -3*p + u*j = 51. Let d = p + 28. Is d prime?
True
Suppose 17*s - 9*s = 19928. Is s composite?
True
Let y(b) = 41*b**2 - 3*b - 7. Is y(-3) composite?
True
Is ((-412)/(-6))/(6/99) a prime number?
False
Let o be ((-2)/(-3))/((-4)/(-6)). Suppose -q + 0*q = -5*a + 2, 0 = 2*a + 4*q - 14. Is 12 + -2 - (a - o) a composite number?
True
Let c(o) = -o**3 - 2*o**2 - 4*o - 5. Let i be c(-5). Suppose -m - m - 70 = -r, 0 = -r - 2*m + i. Suppose 2*g + a = -2*g + r, -3*a = -3*g + 45. Is g composite?
False
Suppose 30*u = 31*u - 3647. Is u a prime number?
False
Suppose 2*m - 4*k - 16 = -0*m, 5*k + 29 = 3*m. Is (6/m)/((-2)/(-798)) a composite number?
True
Is 7914 - 6/(30/25) a prime number?
False
Suppose -5*q = -5*k + 3 - 18, -3*k = -q + 1. Suppose -s + q*s = 2127. Is s composite?
False
Let w(j) = -9*j**2 - 8*j + 4. Let k(i) = 8*i**2 + 7*i - 3. Let c(p) = 3*k(p) + 2*w(p). Let o be c(-5). Let d = o - 73. Is d composite?
True
Let b(c) = c**2 + 3*c + 2. Let n be b(10). Suppose o = 11 + n. Is o a prime number?
False
Is 16/4 - (-2 - 535) prime?
True
Let a(i) = i + 1. Let d(k) = 10*k + 9. Let t(j) = -2*a(j) + d(j). Is t(3) a composite number?
False
Is (-1 - 1)*(-1 + (-1113)/6) composite?
False
Let p(x) be the first derivative of -11*x**2/2 + 17*x - 1. Is p(-12) a prime number?
True
Let l = -132 - -69. Is ((-58)/(-6))/((-3)/l) prime?
False
Let w = 5355 + -3796. Is w a prime number?
True
Let b(z) = -3*z**3 - 2*z**2 + 2*z - 3. Let h be b(-3). Is 0 - ((-3)/(-3) - h) a prime number?
True
Suppose 0 = -3*j - 4*w + 3423, 4*w + w = 3*j - 3423. Is j composite?
True
Suppose -w = 4 - 2. Let i(x) = -16*x + 1. Is i(w) composite?
True
Let i be (0/(-2) - -1) + 1. Suppose -x + 7 = i. Suppose -4*a + 5*c + 50 = 0, -x*a - 3*c + 65 = -8*c. Is a a composite number?
True
Let l = 16 - 6. Is ((-92)/l)/(4/(-20)) a composite number?
True
Is 3794/(4/10*5) prime?
False
Is ((-4611)/(-9))/(8/6 + -1) composite?
True
Suppose 24 = -3*p + 5*p + 4*g, 4*p - 38 = -3*g. Let r = 27 - p. Is r prime?
True
Suppose -1755 = -3*d + 9*p - 7*p, -p + 2912 = 5*d. Is d prime?
False
Let q(g) = 3*g**2 - 8*g - 5. Suppose 0 = 2*h + h - 24. Let d be q(h). Suppose -114 = -3*w + d. Is w a prime number?
True
Let a = -3 - -1. Let w = 4 + a. Suppose l = w*l - 10. Is l a prime number?
False
Let c = -2 + 7. Suppose 126 = 2*b - c*y, -2*b + 6*b - 252 = 3*y. Let x = -14 + b. Is x a composite number?
True
Let o be 2*(-6)/4 + 78. Suppose -o = 5*i - 0*i. Is 486/4 - i/10 a prime number?
False
Let h = -7 - -9. Suppose -b + 4 = -h*j, -5*j + 20 = -j + 5*b. Suppose 3*s + 3*z = 636, 5*s + j*s - 1053 = 2*z. Is s prime?
True
Suppose 4*l - 6 = 2*l. Let v be l/6 + 6/4. Suppose v*p + 2 = 64. Is p prime?
True
Suppose 0*r + s + 2449 = 3*r, -r = -s - 819. Is r a prime number?
False
Let y(w) be the first derivative of -w**4/4 + 5*w**3/3 + w**2/2 - 2*w - 2. Is y(5) composite?
False
Suppose -5*m - 3*s + 32 = -2*s, -36 = -3*m + 5*s. Suppose 2*g + m = 1. Is (69/(-9))/(g/9) composite?
False
Let q(j) = 689*j. Is q(1) composite?
True
Let w(c) = 6*c + 5. Let t be w(-4). Let b = t - -11. Is -6*2*46/b prime?
False
Suppose -2*t = 2*t - 1484. Is t composite?
True
Suppose -z = -4*t - 4, -2 = -3*t + 2*t + z. Let h(u) = 7*u**2 - 3*u - 3. Is h(t) composite?
False
Let c = 7 + -5. Suppose 7*w - 225 = c*w. Suppose 0 = -5*h + x + 80, 0 = 5*x + w - 20. Is h a prime number?
False
Suppose 1 = -c + 2*h, -2*c - h - 22 = -0*h. Let r(w) = -w**2 - 17*w + 7. Is r(c) composite?
False
Suppose -2*i - k = -3732, 3*i - 5*i + 3724 = -3*k. Is i composite?
True
Let g = 120 - -11. Is g a prime number?
True
Suppose -10*z = 5*z - 2865. Is z a prime number?
True
Suppose 2*p = -5 - 15. Let h(k) = k**3 - 2*k**2 - 6*k + 1. Let m be h(4). Let w = m - p. Is w a prime number?
True
Let i(b) = -2*b**2 - 2*b - 5. Let h(p) = p**2 + p + 5. Let s(y) = -3*h(y) - 2*i(y). Let x be s(5). Is x*2/(2/1) a composite number?
True
Suppose 8 + 4 = 6*b. Is (b/6)/((-3)/(-639)) composite?
False
Let n(k) = 2*k + 1151. Is n(0) a prime number?
True
Let x(s) = s**3 - 4*s**2 + 2*s + 2. Let j(q) = 4*q. Let p be j(1). Is x(p) a prime number?
False
Let m(y) = -13*y**3 - 14*y**2 - 7*y - 13. Is m(-6) prime?
True
Let t(i) = -52*i**3 + 2*i**2 - 2*i - 11. Is t(-3) prime?
False
Suppose 4*v - 695 = 101. Is v a prime number?
True
Let u(j) = 77*j + 3. Let z be u(6). Suppose 2*r = -3*r - z. Let y = 151 + r. Is y composite?
True
Let l be (-2 + 11)/(2/62). Suppose -4*b + l + 105 = 2*p, 5*b = 3*p + 469. Is b a composite number?
True
Let j(c) = 2*c**2 + 5*c + 3. Let b(l) = -l**2. Let t be (-4)/18 - (-40)/18. Let u be b(t). Is j(u) composite?
True
Let a be (1108/10)/(2/5). Suppose 5*r = a + 178. Is r prime?
False
Let o(u) = u**3 - 5*u**2 + 2. Let z be o(5). Is (-7 + 8)*362/z a prime number?
True
Let k be (24/(-20))/((-6)/20). Suppose -k*s + 12 = -0*s. Suppose 8*b = s*b + 175. Is b prime?
False
Is (-69)/(-6) + (-5)/10 a composite number?
False
Let m be (42/4)/(-3)*-2. Suppose -2*n + m = -39. Let c = n - 16. Is c a prime number?
True
Let t = 63 - 42. Suppose -5*o + 1 - t = 0. Is (-5 - o)/(1/(-77)) composite?
True
Suppose -7*y + 879 = -2*y + 4*l, 0 = -5*y - 5*l + 875. Is y a composite number?
False
Suppose 0 = -8*r + 4*r + 2*y + 504, 0 = 4*y. Let w = -47 + r. Is w prime?
True
Let v(k) = 2*k - 1. Let j be v(-1). Let c = 7 + j. Suppose 0 = 2*w + c*n - 102, -3*n = -w + n + 63. Is w a prime number?
False
Suppose 2*y - 372 = 4*d, -3*d + 4*d + y + 87 = 0. Let n be (0 - 3) + (1 - 63). Let q = n - d. Is q a composite number?
True
Let k(t) be the second derivative of 2*t**3/3 - 9*t**2/2 + 2*t. Is k(7) a prime number?
True
Suppose 12*d - 112 = 4*d. Is d composite?
True
Let b(d) = d**2 - d + 201. Let c be b(0). Suppose 3*q + 330 + c = 0. Let f = -88 - q. Is f a prime number?
True
Suppose -2*v = f - 4, -v + 11 = 5*f - 27. Is f/(-20) - (-134)/10 composite?
False
Let z(m) be the third derivative of -3*m**5/8 - m**4/6 + m**3/3 - m**2. Let w(h) be the first derivative of z(h). Is w(-3) prime?
True
Suppose 0*d - 2*d + 5*u + 30 = 0, 0 = 5*d - 4*u - 41. Suppose -110 = -d*s - 0*s. Is s a composite number?
True
Suppose -3*f + 2*g - 683 = 4*g, 4*f - 2*g + 906 = 0. Suppose -3*q = 184 + 260. Let h = q - f. Is h a prime number?
True
Let x = 6 - 10. Let c(t) = -4*t - 5. Let o be c(x). Is 7 + -7 - (1 - o) a prime number?
False
Suppose -24 = -5*m + 11. Suppose -2*x - 245 = -m*x. Is x prime?
False
Let c(d) = -42*d**3 - 3*d - 16*d**3 + 0*d + 2*d. Is c(-1) composite?
False
Suppose 119 = 2*v + 4*b - 3*b, 5*v - 5*b = 275. Suppose 0 = a - 25 - v. Is a prime?
True
Suppose -12 = -l + 5*l. Is (-194)/l + 1/3 composite?
True
Let m = 12 - 17. Let i(c) = -3*c**3 - 4*c**2 + 7*c + 11. Is i(m) prime?
True
Suppose 138 = 5*s + p, 3*s + 7*p - 4*p - 90 = 0. Let r = 19 - s. Is (-54)/r + (-1)/(-4) prime?
True
Let q = -2626 - -4959. Is q a prime number?
True
Suppose -2*k + x - 3 = -5*k, -2*k - 8 = 4*x. Suppose 273 