a composite number?
False
Suppose -5*l = 3*b - 6, -18 = 3*l - 4*l + 5*b. Suppose 0 = -l*s + 1868 - 767. Is s a prime number?
True
Suppose -2*x - x = 18. Let z be ((-4)/(-12))/(2/x). Is z + 8/(-2)*-2 a composite number?
False
Let q(j) = 2 - 3 + 11*j**2 - 3 - j. Let a be q(-3). Suppose 2*z - s = -z + a, -2*z - 3*s + 47 = 0. Is z prime?
True
Suppose 415*c - 419*c = -2668. Is c a composite number?
True
Let a = -38 - 87. Let r = 58 - a. Is r composite?
True
Suppose -2*s + 3*f + 2623 = 0, 4*s - 7*s + f = -3938. Is s prime?
False
Let r(z) = -145*z + 7. Is r(-8) a prime number?
False
Suppose w = 4*w - 111. Is w composite?
False
Let n = -6378 + 9515. Is n a composite number?
False
Let q(b) = -85*b - 60. Is q(-7) a composite number?
True
Let d = -1089 - -4898. Is d composite?
True
Suppose 2*j - 16 = -2*j. Suppose 2*n = 8, l = -l - j*n + 16. Suppose 0 = -a - l*a + 37. Is a a composite number?
False
Let u(o) = -15*o. Let x be u(-2). Let h = 14 - 10. Suppose -6 = 2*t - h*t, -x = -5*j - 5*t. Is j a composite number?
False
Is (1 - 0)/(2/106) a prime number?
True
Suppose -5*b + 2324 + 2441 = 0. Is b a prime number?
True
Let a(h) = 2*h**2 - 7*h - 13. Suppose 2*g = 4*t - 0*g - 8, -8 = -2*g. Suppose -r - 13 = -d, -t*r = 3*d - 42 + 10. Is a(d) prime?
True
Suppose 2*g - 67 = 579. Let r = 745 - g. Suppose 0*z + r = 2*z. Is z a composite number?
False
Suppose 0 = 5*h - 317 - 148. Is h composite?
True
Suppose 2*d + 2*m - 818 = 0, 5*d - 4*m + 856 = 2937. Is d a prime number?
False
Let a(c) = 2*c**2 - c - 6. Let t be a(-2). Let m = 3 + 13. Suppose k = -t*x + m + 4, -4 = -3*k + 2*x. Is k prime?
False
Suppose 2*b - 7333 + 795 = 0. Is b a prime number?
False
Let a be (0 - (-2 + 1)) + 2. Suppose -n + a = -1. Suppose c - 108 = -2*b, 133 = 2*b + n*c + 19. Is b composite?
False
Suppose -3*g = -5356 + 1573. Is g prime?
False
Let h(o) = o**2 + 4*o + 9. Let c be -25*4*3/30. Is h(c) prime?
False
Let h = 1315 + 1104. Is h a prime number?
False
Let o = -2 + 8. Suppose o = 2*z - 0. Suppose 8*a = z*a + 2*k + 177, 2*k = -2*a + 82. Is a prime?
True
Let g(r) = -r**2 - 129. Let m(x) = -3*x**2 - 387. Let d(v) = 17*g(v) - 6*m(v). Let a be d(0). Let b = a - 90. Is b a composite number?
True
Let l(g) = g**3 - 7*g**2 - 9*g - 6. Let f(c) = -c**3 - c**2 + 1. Let h(z) = -2*f(z) - l(z). Is h(-6) composite?
True
Suppose -5*c + 4*a + 3386 + 15737 = 0, 4*c + 5*a - 15323 = 0. Is c prime?
False
Suppose 2*k = -0*k + 3*g + 16, 4*g = -4*k - 8. Let h(r) = -r**2 + r. Let a be h(k). Let n(l) = -24*l - 1. Is n(a) a composite number?
False
Suppose -y - 4*k + 741 = 0, k - 551 = 5*y - 4235. Is y a prime number?
False
Suppose 0*n - n = -1003. Suppose 5*r = 3*y - n, -4*y + 4*r = -3*y - 339. Is y a prime number?
True
Let l(d) be the third derivative of -11*d**4/8 + d**3/6 - 3*d**2. Is l(-8) prime?
False
Let f be (-1 - 5) + 5 + -8. Let j be -6*-2*(-3)/f. Suppose 4*q + 5*y = 328, 2*q = 2*y - j*y + 162. Is q a composite number?
True
Let v be 6/(-2)*(-7 + 2). Let t = v - 26. Let p = t - -18. Is p prime?
True
Suppose 3*m + m = 2*i + 2718, 3*i = 5*m - 3398. Is m composite?
True
Suppose -165 = -d + 6*d. Let w = 16 - d. Suppose 0 = -5*n - 3*l + 4*l + w, -2*n + 25 = 5*l. Is n a composite number?
True
Let x = -4 + 7. Suppose -2*p + 233 = 6*s - 3*s, 0 = 5*s + x*p - 389. Is s prime?
True
Suppose 15 = 5*t - 2*t. Let h = t + -1. Suppose -3*r - 9 = 0, -101 = -5*w + h*r - 2*r. Is w a composite number?
False
Let v be ((-40)/(-3))/((-2)/(-6)). Suppose v = t - 148. Suppose 4*y + 0*y - t = 0. Is y a composite number?
False
Suppose 3*x + 4*n + 591 = 4*x, 3*n + 1177 = 2*x. Is x prime?
True
Let m be (-1)/(1 - (-5)/(-4)). Suppose 4*n + m*x - 38 = 3*n, -2*x - 14 = -n. Is n a prime number?
False
Is 1761/6*(1 + 1) composite?
False
Let p be (14/8)/((-3)/(-60)). Let d(v) = v**2 - 3*v + 2. Let k be d(2). Suppose 2*t = -t + 4*f + 45, -2*t + f + p = k. Is t composite?
False
Let d = -3 + 10. Let y(b) = b**2 - 9*b + 8. Let f be y(d). Is (-2)/4 - 141/f prime?
True
Suppose 13362 - 2347 = 5*b. Is b a prime number?
True
Let s = 388 + -203. Is s a composite number?
True
Let m(t) = -t**2 + 10*t + 11. Let n be m(11). Is 1/(4/364 + n) a composite number?
True
Let s(k) = 8*k**2 + k + 1. Let b be s(-1). Suppose 0*q - b = -2*q. Suppose q*l - 237 = -i, -2*l + 160 - 44 = -2*i. Is l prime?
True
Suppose -19*u + 16*u = -1497. Is u a composite number?
False
Suppose 2*v + 6 = 3*y - 30, -2*v = 3*y + 12. Let m = -106 - -72. Let p = v - m. Is p composite?
True
Suppose -4*g = -a - 15, 3*g + 4*a = -0*a - 3. Suppose y - g*y + 110 = 0. Is y prime?
False
Suppose 3*t = 4*w + 501, t + 508 = -4*w - 3*t. Let o = -47 - w. Is o prime?
True
Let d(i) = i**3 - 2*i**2 - 4*i + 3. Let u be d(3). Suppose 0 = -4*j + 6*q - 2*q + 24, u = -2*j - 3*q - 13. Suppose -8 + j = -m. Is m composite?
False
Let o = 0 + 0. Let v = o + 1. Is 2*v/2 + 56 composite?
True
Let a = 5 + -5. Suppose -5*s + a*n + 2*n = -4598, 917 = s - 3*n. Is 2/6 - s/(-12) composite?
True
Suppose -1229 = -4*k + 3*n, -k + n = -0*k - 308. Suppose 3062 - k = 3*t. Is t a prime number?
True
Let f = -3 - -5. Suppose 5*w - 2*s - 10 = -4*s, -f*s - 8 = -4*w. Suppose 165 = 4*v - 0*r + 5*r, -45 = -w*v + 5*r. Is v a prime number?
False
Let y(x) = -93*x + 1. Is y(-2) prime?
False
Let j = 1 - 1. Suppose 5*s + 5 = 0, 4*s = -j*d + d - 87. Is d a prime number?
True
Let a be -2*2*(-3)/2. Let b(p) be the second derivative of 2*p**3/3 - 3*p**2/2 + 2*p. Is b(a) composite?
True
Is (-374)/(-4) - 36/(-24) a prime number?
False
Let a(d) = 2*d**3 + 6*d**2 - 4*d + 6. Let h be a(-6). Is (-14)/49 + h/(-14) a prime number?
True
Let r be (-1 + 1)*2/4. Suppose y + 4*y - 185 = r. Is y composite?
False
Suppose -12*m = -3*m - 513. Is m composite?
True
Let n(d) = -2*d**3 - 7*d + 11. Is n(-8) composite?
False
Let f(s) = -s + 8. Is f(-7) composite?
True
Let p(z) = -12*z. Let o be p(-1). Let a = o + 74. Is a a prime number?
False
Let h = 1992 - 881. Is h a prime number?
False
Is 598 - ((-9 - -5) + 9) a prime number?
True
Let x be 185/(-25) - 6/10. Let f = x - -11. Is f a prime number?
True
Let t = 11 - 9. Suppose -5*q - p = -1176, -t*q + 0*p = -p - 469. Is q a composite number?
True
Suppose 0 = 4*h - 9 - 187. Let f = h - 1. Let o = -29 + f. Is o prime?
True
Let k be (-451)/(-4) + 3/12. Suppose 0*j - d = j - k, -5*d = 0. Is j a composite number?
False
Let a = -4 + -3. Suppose 2 = -4*c - 5*x, -3 = -5*c - 3*x - 12. Let h = c - a. Is h a composite number?
True
Suppose 779 = 6*c - 4*c + 5*m, 3*c = -2*m + 1185. Suppose -2*d = 4*x - 7*d - 1663, x - 5*d - c = 0. Let h = x + -291. Is h a composite number?
False
Let i(u) = 2*u - 4. Let m be i(8). Is (-309)/(-9) + (-4)/m a composite number?
True
Let w be 0 + (-3 - -120)*1. Let p = 6 + w. Is p a composite number?
True
Let k = 8 + -3. Suppose 4*y + k*j = 131, -4*j - 21 = -5*y + 153. Is y composite?
True
Suppose -c - c = -m - 15, -3*c = 4*m - 6. Suppose -7 = d + 3*q, q - c*q = -2*d + 19. Suppose 0 = d*z + 3*w - 2 - 32, 58 = 4*z + w. Is z prime?
False
Suppose 2 = -x + 3. Let k be 19*(x - (1 + -1)). Let n = k - 6. Is n composite?
False
Suppose 5*o - c = 4*c + 130, 3*o + 5*c - 70 = 0. Let a = o - -116. Is a a composite number?
True
Let l be (-2)/(8/2)*2. Let b = 2 + l. Is 413/21*b*9 a composite number?
True
Let y(x) = 4*x**2 - x - 1. Let p be y(-1). Let d = -3 + p. Is 2 - d*(-21 - 2) prime?
False
Let o(m) = m**3 + 12*m**2 - 5*m + 13. Is o(-9) a prime number?
False
Suppose -1054 + 4759 = 5*m + 2*l, 4*l - 759 = -m. Is m composite?
False
Suppose 135 = -7*d + 6*d. Let i be -1 - (233 + 1 + -3). Let n = d - i. Is n a composite number?
False
Let n(j) = 562*j - 31. Is n(5) a composite number?
True
Let n(a) = 2*a**2 - 4*a + 3. Let c be n(2). Let v(y) = 2*y + 0*y + c + y**2 + y. Is v(-6) a prime number?
False
Let l = 100 - 69. Let w = -96 + l. Is (w/(-2))/((-4)/(-8)) composite?
True
Let o(g) = -g**2 - g + 6. Let q be o(0). Suppose -k - 2*r + 2 = 0, -k = 3*k - r + 1. Suppose k = -q*m + 3*m + 141. Is m a prime number?
True
Suppose 5*q + 2*v - 7139 = 11968, -v = -3*q + 11462. Is q prime?
True
Let z(s) = -s**2 - 4*s + 2. Let r be z(-3). Suppose -r*l = 124 - 1299. Is l a prime number?
False
Let t(k) be the second derivative of k**5/120 + 11*k**4/8 - k**3/3 + k. Let n(z) be the second derivative of t(z). Is n(0) composite?
True
Let n = -11 +