True
Let l(p) = 13*p**2 - 5*p + 19. Is l(5) composite?
True
Suppose 3*i = 5*b + 3, -4*i - b = -2*b + 13. Let x = -6 - i. Is (-2)/4 - 71/x a prime number?
False
Let o = -3 - -5. Suppose 0*z - o*z = -316. Is z composite?
True
Let b(x) = 8*x**3 + 3*x**2 + 3*x + 1. Is b(3) prime?
False
Let f = -14 - -60. Is f prime?
False
Let x(m) = 3*m**2 + 4*m - 4. Let q(p) = -6*p**2 - 8*p + 9. Let u be -6 + (2 - -1 - 0). Let v(k) = u*q(k) - 5*x(k). Is v(-6) a composite number?
True
Let h = 18 + -9. Let s(u) = -u**2 + 11*u - 13. Let j be s(h). Suppose -2*q - 231 = -j*q. Is q a composite number?
True
Suppose 2*v - 1506 = -6*n + 3*n, v = 0. Let d be (-193)/1 - 0/6. Let b = n + d. Is b a prime number?
False
Let t(y) = y**3 - 5*y**2 - y + 3. Let f be t(5). Let w(h) = 17*h**2 - 1. Let s be w(f). Let o = -42 + s. Is o a composite number?
True
Let x be 18/(8/(-4))*6. Let u = x + 89. Is u a prime number?
False
Let t(s) = s**3 - s**2 + s + 15. Let u be 0*(-1 + 3 - 3). Let k be t(u). Suppose 10 = 5*i + 4*x, -20 = -5*i + x + k. Is i a prime number?
False
Let b = -4 + 7. Suppose -b*u + 63 = 4*i + 2857, 0 = -u + 2*i - 948. Is ((-2)/4)/(7/u) composite?
False
Suppose -3*n + 1011 = -750. Is n a prime number?
True
Let q = 4 - 3. Is (q/(-3))/(4/(-1068)) a prime number?
True
Let f(w) = 51*w**3 - w**2 + 1. Suppose 2*d = -4, 0*d = y - 2*d - 5. Is f(y) prime?
False
Suppose 0 = -w + 4*w - 36. Let p = w - 7. Suppose p*g = -3*x + 68, -4*x - g = -0*x - 119. Is x prime?
True
Suppose 3 = -d + 18. Suppose o = -2*z + d, -2*o + 16 + 10 = 5*z. Is o a prime number?
True
Let v(m) = 2*m**2 - 304. Let d(q) = 3*q**2 - 609. Let j(o) = -3*d(o) + 5*v(o). Is j(0) composite?
False
Let i be -2 + 2/2 - -9. Let j be 1/(-4) - (-34)/i. Suppose 13 + 43 = j*q. Is q a prime number?
False
Is 7 + 2 + (-8)/4 a composite number?
False
Suppose 4*n + 14 = 3*n + 3*a, -3*a + 10 = -5*n. Let z = 25 + n. Is z prime?
False
Let k be -1 + 6 + 1 + -2. Suppose -2*x + 7*x - 10 = g, -k*g + 2 = x. Suppose -4*q + x*r = q - 112, -3*q + 61 = 5*r. Is q a prime number?
False
Let v = 1757 - 464. Suppose -5*g + v - 338 = 0. Is g a prime number?
True
Is (-8)/((-80)/14382) + 12/15 a prime number?
True
Let h be (-32)/(-6)*(-348)/(-16). Let x = -39 + h. Is x a composite number?
True
Suppose 2*j - 3888 = -l, 457 + 1490 = j + 2*l. Is j composite?
True
Suppose 5*w - 268 = -53. Is w a composite number?
False
Let k = 1793 - 1206. Is k prime?
True
Let r(m) = -9 + 32*m**2 + 2*m - 5*m - 20*m**3 - 4*m. Let b(p) = -7*p**3 + 11*p**2 - 2*p - 3. Let f(j) = 17*b(j) - 6*r(j). Is f(6) prime?
False
Let b(c) = 3*c - 7. Let d be b(10). Suppose 5*t - 508 + d = 0. Is t composite?
False
Suppose 748 = 3*a + a. Is a composite?
True
Suppose -174 = -26*p + 23*p. Is p composite?
True
Let c(l) = l + 6. Let q be c(-7). Let f be (-2)/q + 2/2. Suppose f*g - 35 + 14 = 0. Is g a composite number?
False
Let x be 18/81 + 2/(-9). Suppose n = -x*n + 2. Suppose 0*r - n*r = -154. Is r prime?
False
Let o(z) = -2*z - 4*z**2 - 1 + 3*z**3 + 2*z**3 - 4*z**3. Let u be o(4). Is (186/u)/(1/(-3)) a composite number?
True
Let k(z) = -7*z - 6. Let f be k(-6). Suppose 2*m = f + 26. Let r = m - 17. Is r a composite number?
True
Is 6*1/2 - -54 composite?
True
Let m(o) = -o**2 + 5*o + 2. Let a be m(4). Let c be (-4)/(-8) - (-369)/2. Suppose -c = -a*f + f. Is f a composite number?
False
Suppose 0 = -3*z + 8*z - 8145. Suppose -z = -4*d + 431. Is d a prime number?
False
Let i = 18 + -12. Suppose 316 = i*j - 2*j. Is j composite?
False
Suppose -15 = -5*p, 679 = 4*s + p - 360. Is s a prime number?
False
Suppose 0 = -o + 5*o - h - 760, 4*o + 5*h - 784 = 0. Is o prime?
True
Let t(u) = -u + 8. Let j be t(4). Let g(i) = 5*i**2 - 2*i + 5. Is g(j) a prime number?
False
Let u(x) = 174*x - 2. Is u(2) a prime number?
False
Is 9/6*(-632)/(-12) prime?
True
Let z(m) = 370*m**2 - 2*m - 1. Is z(-7) a composite number?
False
Suppose h - 5*b + 64 = -2*h, 3*h + 71 = -2*b. Let j = 54 - h. Is j a prime number?
False
Let p(x) = x - 2. Let c be p(4). Suppose -24 + 4 = -c*d. Let m = 29 - d. Is m a prime number?
True
Let x = 10 - -13. Let p = x - 2. Is p prime?
False
Let k = 5 - 2. Suppose k*n - 1116 = n. Is n/8 - (-6)/(-8) a composite number?
True
Suppose d + 6*v - 224 = 3*v, -3*v - 403 = -2*d. Is d composite?
True
Is (-4)/2*118356/(-24) prime?
False
Is (2/(-1))/(4/(-246)) a prime number?
False
Suppose 2*h = h + 3, 0 = 4*c - 3*h - 6803. Is c a composite number?
True
Let a = -4 - -7. Suppose a*l = l - 3*i + 22, -l = -4*i - 11. Is l a prime number?
True
Let j = 5 + -3. Suppose -s = j*s. Let f(c) = c**2 - c + 15. Is f(s) a composite number?
True
Suppose -2 + 93 = -3*b - 5*r, 4 = r. Let c = b + 238. Is -4*c/24*-2 prime?
True
Let n(q) = -2*q + 4. Is n(-15) a prime number?
False
Is ((-158)/4)/(1/(-2)) prime?
True
Suppose -2*q - 26 = 2*s, -4*s - 35 = q + 11. Let p = -23 - s. Is p/9*(-3)/1 a prime number?
False
Let r = -3 - -5. Suppose -4*b + 4*d = 1 + 3, 2*b = d + r. Suppose 5*t - c - 182 = 0, -b*t + 160 = t + 4*c. Is t composite?
False
Is 1/((-837)/(-209) + -4) composite?
True
Let t = 1423 + 304. Is t prime?
False
Suppose -18 - 22 = -4*u. Let t be ((-3)/4)/(1/12). Let r = u - t. Is r a composite number?
False
Suppose 8*a - 3556 = 4*a. Is a prime?
False
Let k = 6 + -4. Let s(p) = -5*p**3 - 5*p**3 + 11*p**3 + 8*p**3 + p - p**k. Is s(1) prime?
False
Suppose -n + 1430 = 4*n + 2*w, 4*n - 1144 = 3*w. Let r = n - 47. Is r a composite number?
False
Suppose 0 = 2*z + 3*f - 16, z - f = 4*f - 5. Suppose -3137 = -z*a + 138. Is a a composite number?
True
Let y be 1/3 + (-104)/(-39). Is -2 + 3 + (16 - y) a composite number?
True
Suppose -4*x - t + 4701 - 414 = 0, -4*x + 4312 = -4*t. Suppose 5*u = -4*s - 111 + x, -2*u = 5*s - 1194. Is s/3 - 2/6 prime?
True
Suppose 2*w + 2*w - 5*v = 8, -2*v - 8 = -4*w. Let n(u) = 11*u**2 + 2*u. Let p be n(w). Suppose -4*j - 151 = -5*h + 98, j - p = -h. Is h prime?
False
Let n = -516 - -749. Is n prime?
True
Let k = -2 - -7. Suppose -21 - 5 = -3*u + k*w, 3*u - 3*w - 24 = 0. Is u composite?
False
Suppose 0 = 3*x + 156 - 381. Let t(r) = r**3 - 4*r**2 - 5. Let n be t(5). Suppose 5*u + n = x. Is u a prime number?
True
Suppose -8*h = -3*b - 3*h + 1321, -3*b - h = -1309. Is b composite?
True
Let l(a) = a**2 - 2*a - 4. Let w be l(3). Let b be ((w - 1) + 2)/1. Suppose 19 = 3*i - 5*r, 0 = -b*r - 5*r + 20. Is i a composite number?
False
Suppose -5*r + 2*s = -479, 3*s = -2*r + 97 + 106. Is r a prime number?
True
Let v(a) = 17*a - 13. Let x be v(6). Is -3*x/(-3)*1 a composite number?
False
Let t(u) = u**2 - 3*u + 3. Let q be t(3). Let j be 0 + q/(3/2). Suppose 3*z - 174 = -5*s, -j*s = 6*z - 2*z - 218. Is z a composite number?
False
Let s = 287 - 33. Suppose 0 = 4*y + 46 - s. Suppose b - 5*m = -0*b + y, 99 = 3*b + 4*m. Is b composite?
False
Suppose -s + 24 - 8 = 0. Suppose -k + 19 = 4*j, -s = -3*j + 3*k + 17. Suppose 7 = x - j. Is x prime?
True
Let r = -1 + 24. Suppose 0 = 3*c + r - 122. Is c a prime number?
False
Let c = 146 - 53. Suppose 0*h = -3*h + c. Is h composite?
False
Let n(r) = -r + 15. Let d be n(11). Let k(u) = -u**3 + 2*u**2 - u + 2. Let g be k(2). Suppose g*p = -d*p + 196. Is p composite?
True
Let r be 3/(0 + (-6)/(-8)). Suppose 0 = 4*h - r + 8. Is 11*h/2*-14 prime?
False
Let v = 1588 - 1067. Is v a prime number?
True
Suppose -n + 490 = 2*l - 517, -2*n + 3*l = -2000. Is n a prime number?
False
Suppose -7 = -5*u - q + 13, 2*u - 4*q = -14. Let t = 1 + u. Suppose 0 = 4*d + 4*v - 20, 0*d = t*d + v - 26. Is d a prime number?
True
Let m = 244 + -150. Is m a prime number?
False
Let w(y) be the first derivative of 10*y**3/3 - 2*y**2 + y + 1. Suppose 6*k - 4*k = 6. Is w(k) prime?
True
Is 191 + 1 - 4/(-2) a composite number?
True
Suppose -4*b + 9*b = 1390. Is b a composite number?
True
Let h(l) = 2*l**2 - 5*l - 6. Let p be 155/(-30) + (-2)/(-12). Is h(p) a composite number?
True
Let m be 1*1/(-1) - -3. Let s be -2 + 2/m - 2. Is s + (308 - (-4)/2) prime?
True
Let t = -1 + -14. Is t/(-4)*(2 + 2) composite?
True
Is (-18)/(4 + -1) + 173 composite?
False
Let b = -9 + 12. Is 16/(-24) + 2789/b a prime number?
True
Let o be 25*(21/(-15) + 1). Is (-1)/2 + (-775)/o composite?
True
Let o(q) = q**3 - 3*q**2 + q - 2. Let p be o(3). Let k(u) = 84*u**3 - 2*u**2 + 2*u - 1. Is k(p) a prime number?
True
Let o = 2 - -1. Let a(c) = 7