 (-26)/8 a prime number?
True
Suppose c + 0*p + 3*p = 18, -4*p = -4. Suppose 2*t - 8 = 10. Suppose 2*m + m - t = -4*l, 5*m - c = -3*l. Is m prime?
True
Is 2/6 - (-30)/18 - -2703 a prime number?
False
Suppose -q - 3 = -r - 4, 2*r + 17 = 5*q. Is (-2 - -1)/(r/(-332)) composite?
False
Suppose 5*b - 4*i - 2957 = -2*i, -i - 2365 = -4*b. Is b composite?
True
Let d = 306 - -11. Is d composite?
False
Let x(p) = p**3 + 15*p**2 - 4*p + 13. Is x(-11) prime?
True
Suppose p - 4*q + q = -18, -2*p = -q + 11. Let b = 6 + p. Let y = 58 - b. Is y a prime number?
False
Suppose -5*z + 1081 + 534 = 0. Is z a prime number?
False
Suppose -4*v = v. Suppose 2*o + 5*g - 96 = 0, 4*g = 5 + 11. Suppose -j - j + o = v. Is j composite?
False
Suppose 0 = -5*m - 58 + 188. Is m composite?
True
Let x(p) = p**2 + 7*p - 4. Let l(j) = j**2 + 7*j - 4. Let u(o) = 3*l(o) - 4*x(o). Let n be u(-7). Suppose -9*z + n*z = -555. Is z composite?
True
Let c(i) = -21*i. Let h be c(-2). Suppose -526 = -4*z + h. Is z prime?
False
Let f(d) = -d**3 + d**2 + 454. Is f(0) composite?
True
Let m(z) = 6*z**2 - 27*z - 13. Is m(12) a prime number?
False
Let c be 2716/(-10) - 12/30. Let q = 405 + c. Is q a prime number?
False
Let u(y) = 24*y - 12*y + 9*y + 1. Is u(6) prime?
True
Let o be (-524)/6*(-9)/6. Let w = o + 125. Suppose -c + w = -117. Is c a prime number?
True
Let j(a) = 50*a**2 - a - 17. Is j(-4) a composite number?
False
Suppose 1506 = l + 41. Is l a prime number?
False
Let j(f) = 40*f**3 - 3*f**2 - f + 5. Is j(3) composite?
True
Let h(i) be the second derivative of 17*i**5/10 + i**4/12 + i**3/6 - i**2/2 - 5*i. Is h(1) prime?
False
Suppose -2*b = -6*b + 988. Is b a composite number?
True
Suppose 2*u + 0 - 4 = 0. Suppose 0 = d + 3, -u*d = -l - 2*l + 108. Is l a composite number?
True
Let b = 5 - 3. Let y = 4 - 3. Let a = b + y. Is a a composite number?
False
Suppose 62 = 3*o + h, -5*o + 4*h + 100 = -26. Suppose 5*i - 223 = o. Is i a prime number?
False
Let u = 470 + -219. Is u composite?
False
Let j = 445 + -208. Is j a prime number?
False
Let v(q) = -q**3 + 8*q**2 - 4*q + 3. Let u(f) = -f**3 - 12*f**2 - 11*f + 4. Let x be u(-11). Suppose -x*g = -2*g - 12. Is v(g) prime?
False
Suppose z - 6*z - 5 = 0. Let p = z - -1. Suppose -b + 61 + 28 = p. Is b a prime number?
True
Suppose 461 = -6*d + 2795. Is d prime?
True
Suppose -2*x = 3*x + 20. Let y(v) = -v**3 - 2*v**2 - 7*v - 5. Is y(x) a prime number?
False
Let d(m) = -2*m**3 + 3*m**2 - m - 1. Let o be d(2). Let b(y) be the first derivative of -y**3/3 - 7*y**2/2 + 10*y + 4. Is b(o) composite?
True
Let p = 1934 + 171. Is p a composite number?
True
Suppose 191 - 69 = 2*b. Suppose 1 = 4*m - 11, 0 = -z - m + b. Is z a prime number?
False
Let j be 652/13 + 4/(-26). Suppose a - j = -4*a. Is a a prime number?
False
Let v = -1 - -6. Suppose 4*g = -v*p - 87 + 912, 2*p = -5*g + 1027. Is g composite?
True
Let u(h) = 301*h**3 - 3*h**2 - 5. Is u(2) prime?
False
Suppose -b - 456 = 2*c, 0*b + 1138 = -5*c - 2*b. Is c/2*(2 - 3) prime?
True
Let b = 5 - 4. Let c be (-3)/((-9)/12)*b. Is (-75)/2*c/(-6) prime?
False
Let l(q) = 3*q**2 + 19*q + 1. Is l(-14) prime?
False
Let o = 734 + -387. Is o prime?
True
Suppose -3*n + 1 + 38 = 0. Is n a prime number?
True
Suppose 10*p = -4*p + 5222. Is p a composite number?
False
Let v be (-6)/((-1)/(-5)*-2). Let y be 3/(-15) + 63/v. Suppose -40 - y = -2*n. Is n a composite number?
True
Suppose d = 17 + 1380. Is d a prime number?
False
Let n(c) = -c**2 + 11*c + 7. Let r be n(6). Suppose 228 = 5*x + 4*f - r, -f = 0. Is x a prime number?
True
Let n(q) = q**2. Let z be n(1). Let f(m) be the first derivative of 27*m**2 - m - 1. Is f(z) a prime number?
True
Is (-2)/(852/(-844) + 1) composite?
False
Suppose -4*w - 180 = 4*b + b, 5*w = 5*b + 180. Let v = 59 + b. Is v a prime number?
True
Let p = 5 - 3. Suppose 2*z - 45 = -n + 4*z, -z = p*n - 85. Is n prime?
True
Let l = 8 - 8. Suppose h = -l*h + 119. Is h composite?
True
Let v = -6 + 10. Let p = v - 0. Let k(r) = 15*r - 1. Is k(p) composite?
False
Let r = -31 + 63. Let v = 97 - r. Is v a composite number?
True
Let m(d) be the second derivative of -17*d**3/2 - d. Suppose 0 = 4*b - 0*b + 4. Is m(b) a composite number?
True
Let v be 15/(-6) - (-1)/2. Let h = v - -4. Suppose -h*m = -c + 3*c - 434, -3*c - m = -651. Is c prime?
False
Let v(c) = 3*c**2. Let l be v(1). Suppose -u - l*x - 16 = -7, -4*x = u + 14. Is u a prime number?
False
Is (1006/8)/((-7)/(-84)) composite?
True
Is ((-2)/(-4)*-4)/(8/(-8644)) a prime number?
True
Suppose 0 = -3*m - 2*m. Is m + (-2 + 3)*55 a composite number?
True
Let c = -45 - -172. Is c a composite number?
False
Let m(d) = -3*d + 2. Let s be m(-5). Let l = s + -6. Let c = 33 - l. Is c prime?
False
Let y(r) = -r**3 + 2*r**2 + r + 4. Let f be y(-6). Suppose 3*s + 0*u = u + f, -364 = -4*s - 3*u. Is s a composite number?
True
Suppose -2*z + 2*t = -262, -2*z = -7*z - 3*t + 623. Is z composite?
False
Let j be 1 - (1 - 2) - 2. Let s be j + 1 - 4*-11. Suppose -3*u + s + 48 = 0. Is u composite?
False
Is (4/6)/((140/(-495))/(-14)) prime?
False
Let n be -38 - (2 + -1)*2. Let d = n + -25. Is 2/(-9) + d/(-9) prime?
True
Suppose 0 = 7*c - 3907 - 580. Is c a composite number?
False
Let b(u) be the third derivative of 13*u**5/60 - u**4/12 - u**3/3 + u**2. Is b(2) prime?
False
Let j(z) = 45*z - 11. Let s be j(11). Let k = 7 + 0. Suppose k*x = 3*x + s. Is x a prime number?
False
Suppose 350 = -4*a - 242. Let g = -81 - a. Is g composite?
False
Let d(o) = -5*o + 3*o + 5 - o**3 + 0*o + 9*o**2 + 2*o**2. Is d(10) composite?
True
Let t(z) = 8*z**3 - z**2 + 1. Let d be t(1). Let s(x) be the second derivative of -x**5/20 + 7*x**4/12 + 4*x**3/3 + 11*x**2/2 + 2*x. Is s(d) prime?
True
Let f = 10 + -5. Suppose o = 26 + f. Is o a composite number?
False
Let x(z) be the third derivative of -z**6/120 - z**5/15 - z**4/24 - 5*z**3/6 - 3*z**2. Let u be x(-4). Is (2/(-2))/(u/37) a composite number?
False
Let g(j) = 3*j**3 - 2*j**2 + j + 3. Suppose -3*q + 8*q = 25. Suppose -q*o + 9 = -2*o. Is g(o) composite?
True
Suppose 0 = 12*x - 13*x + 1147. Is x prime?
False
Let z = -33 - -61. Suppose g + 220 = 5*n, -3 = -5*g - z. Is n a prime number?
True
Suppose 2*u + 3*u = 115. Let b = 58 - u. Is b composite?
True
Suppose -m - 2318 = -9601. Is m a composite number?
False
Suppose -4*t - 4 = -5*j - 0, 16 = 5*t - j. Suppose -t*z = -2*z - 38. Is z composite?
False
Let j(u) = 3*u**2 + u - 2. Let t be j(2). Let l be 2/8 + (-684)/(-16). Let r = l - t. Is r a composite number?
False
Suppose -2*b + 1287 = b. Suppose 4*w + 5*x = b, -x + 353 - 134 = 2*w. Is w composite?
True
Let v be (438/(-4))/((-3)/8). Is 0 + v - (1 + -4) a prime number?
False
Is 0 + (-4 - -2) - -228 composite?
True
Let i(x) = 2*x**2 - 3. Suppose 3*w - 5*h - 34 = 0, 2*w + h + 0 - 1 = 0. Let y be i(w). Suppose -5*m = -0*m - y. Is m a prime number?
True
Suppose 0 = -13*u + 8*u + 310. Is u a composite number?
True
Let w = -1 - -5. Let y(i) = 6 - w*i**2 - 3*i - 4*i**2 + 5*i**2 + 4*i**2. Is y(4) prime?
False
Let x be 1/((-4)/(-8))*-6. Is 9 - (-8)/x*3 a composite number?
False
Suppose -4*u = -0*u - 10168. Suppose 3*w = -5*d + u, 0 = 2*w + 2*w + 3*d - 3382. Is ((-1)/2)/((-2)/w) a prime number?
True
Let x(g) = g**3 - 9*g**2 + 12*g - 1. Let u be x(8). Suppose -3*l + u = b, 2*l - 2 - 4 = 3*b. Is l composite?
True
Let b = -118 - -219. Suppose 3*r = 4*r + 5*q - 133, b = r - 3*q. Is r a prime number?
True
Let v(w) = 2*w**2 + 12*w - 14. Let b be v(-10). Suppose 0*g + 2*g = 4. Suppose -24 = g*t - b. Is t prime?
False
Suppose 9 = 2*u - 93. Is u a composite number?
True
Let d be (-57)/(-2)*(-2)/(-3). Suppose 0 = u - 15 - d. Suppose -3*y + 23 + u = 0. Is y composite?
False
Let v(k) = -2*k + 0*k + 4*k - 4. Let w be v(4). Is (2/w)/(1/8) a prime number?
False
Is 141/6*(-4 - -18) prime?
False
Let j be (-6)/(-15) + 18/5. Let d = j - 0. Is 146/d - (-1)/2 prime?
True
Suppose -1066 = -5*n - 2*v, -2*n + 3*n - 2*v - 206 = 0. Suppose -i + 0*i + n = 3*g, -g + 54 = -3*i. Is g a composite number?
True
Suppose 4*d = -0*d. Suppose 0 = 3*j - 3*v + 5*v - 524, -j - 3*v + 163 = d. Is j composite?
True
Suppose 0 = 4*z + 5*i - 16, 3*z + 0*z = -2*i + 12. Let n(r) = -r - 2. Let j be n(z). Is (7 + j)*(0 - -79) prime?
True
Let m(p) = -47*p + 4. Let n be m(-8). Suppose -3*k = k - n. Is k prime?
Fals