Is l a composite number?
True
Is 625317/126 + 2/12 a composite number?
True
Let r(p) = 204*p - 11. Is r(5) prime?
True
Suppose 19*r = 17*r + 3070. Is r a prime number?
False
Let d = 10 + -3. Suppose 2*g + 105 = d*g. Is g a composite number?
True
Let v(r) = -r**3 + r**2 - 5*r - 1. Let c be v(-4). Let u be 2/4*786/3. Suppose -l = -3*g - u, -l - 2*g = 3*g - c. Is l composite?
True
Let o be 3775/5 + 1 + 0. Let x = o + -367. Is x a composite number?
False
Let p be 6/5 + 8/10. Suppose -4*h + p*h + a = -168, h = 5*a + 102. Is h a prime number?
False
Suppose 0 = 4*b - 76 - 68. Let c be 0*(10/(-4) - -2). Suppose 2*l - 146 - b = c. Is l a prime number?
False
Suppose 3*m = j - 24 - 37, 115 = 2*j + m. Is j composite?
True
Let t be 2 - (494/(-16) + (-4)/32). Let n = 121 - 29. Suppose -x - 256 = -2*u, -u - x + t = -n. Is u prime?
True
Suppose -6 = 3*l - 3*d + 12, d = -4*l - 19. Let w = l + 4. Is w/4 - (-85)/4 a prime number?
False
Let z(m) = -15*m**3 + m**2 - 3*m - 3. Is z(-2) a prime number?
True
Let v be 6/(-9) - (-77)/3. Suppose -2*b - v = -y, 2*b = -2*b + 5*y - 35. Is b*(-1)/(0 + 1) a composite number?
True
Let y be 0 + (-9)/(1 - -2). Let r = 6 + y. Is r prime?
True
Suppose 0*f = 5*f - 5. Let l be (f/(-2)*0)/1. Suppose -3*s = -l*s - 30. Is s prime?
False
Suppose 5*j - 2*j - 9 = 0. Suppose -r - 6 = -j*r. Suppose -5*s = -r*s - 158. Is s prime?
True
Let j(u) = -u**2 - 6*u - 4. Let c be j(-4). Suppose 3*v + 4*a - c = 0, -a - 3 - 19 = -5*v. Suppose 0 = -v*f - 3*s + 61, -2*f + 7 = 3*s - 16. Is f prime?
True
Let s(h) = 7*h - 4. Let o be s(4). Suppose 3*q = 5*q + 4*b - 42, -o = -q - 5*b. Is q a composite number?
False
Is -173*((-6)/3 - (1 + -1)) a prime number?
False
Let a(m) be the second derivative of -m**3/6 - 3*m**2/2 - 3*m. Let s be a(-6). Is 51 - (6/s - 2) composite?
True
Suppose u = 3*g - 2*u - 1068, -2*g + u + 715 = 0. Is g a composite number?
False
Let c(b) = -39*b**3 - b**2 + 2*b + 3. Is c(-2) composite?
False
Suppose 2*j + 3 = 3*j. Let n(l) be the second derivative of l**5/20 - l**4/6 - l**3/3 - l**2/2 - 2*l. Is n(j) a composite number?
False
Let f(s) = -7*s + 5. Suppose -6*d = -3*d + 9. Is f(d) composite?
True
Let j = 6 + 4. Is 892/6 - j/(-30) a prime number?
True
Suppose -7*q + 875 + 7574 = 0. Is q composite?
True
Let v = 66 - 46. Suppose -635 = -5*n - 5*t, t + 679 - v = 5*n. Is n a composite number?
False
Let n be 38/5 - 2/(-5). Is 30/(-40) + 686/n a prime number?
False
Suppose y - 5 = -0. Suppose -5*x - 4*a = y - 43, -16 = -x + 2*a. Is x a prime number?
False
Suppose 5*h + 22 = 7, -3*c = 3*h - 870. Is c a prime number?
True
Let p be (-1)/6 - (-25)/6. Let v = p - 7. Is v/((-6)/100) + -3 a composite number?
False
Let l(k) be the third derivative of k**4/24 + 31*k**3/6 - 2*k**2. Is l(0) composite?
False
Suppose 4*g = 8*g + 16. Is g/18 - 195/(-27) prime?
True
Suppose x + 1 = -h, 2*h + 2*h - 5 = -x. Is ((-2)/x)/((-6)/(-1287)) prime?
False
Let l(q) be the second derivative of q**5/60 - q**4/24 + q**3/3 + q. Let p(k) be the second derivative of l(k). Is p(4) a prime number?
True
Is 6*420/8 + -6 a prime number?
False
Let l = -13 - -66. Is l a prime number?
True
Suppose 6384 = -3*m + 18735. Is m prime?
False
Let a = -5 - -7. Let b(h) = h**3 - 6*h**2 + h - 6. Let z be b(6). Suppose 67 = 2*f + a*p + 1, z = p. Is f composite?
True
Suppose 0*p + p = 0. Let h = 646 + -398. Suppose p = -3*w - w + h. Is w a composite number?
True
Is (4 + 40)*(-111)/(-12) a prime number?
False
Let c(g) = 15*g**2 + 4*g + 1. Is c(-2) a prime number?
True
Let n = -96 - -138. Is (-1)/(40/n - 1) a prime number?
False
Let p be (-2)/(-9) - (-4)/(-18). Let o(n) = 3*n**3 - 5*n**2 - 5*n - 42. Let t(x) = -x**3 + x**2 + x - 1. Let v(r) = -o(r) - 4*t(r). Is v(p) a composite number?
True
Suppose -299 = -3*n + 454. Is n composite?
False
Let a(h) = 231*h - 31. Is a(14) a prime number?
True
Suppose -3*p = 2*p - 965. Let c = p + -114. Is c a composite number?
False
Suppose -1385 = -7*o + 2*o. Is o a prime number?
True
Let o(a) = 25*a - 5. Let b be o(12). Let t = -12 - -17. Suppose -t*m - 30 = -b. Is m a prime number?
True
Is (1166/(-8))/((-2)/8) composite?
True
Suppose -139 = h - 2*h. Let b = 40 - 36. Suppose -2*i = -b*i + 4, -d = 5*i - h. Is d composite?
True
Let d = 5 + 0. Suppose 3*k + 3*j = 9, -5*k - 3*j + 9 + 0 = 0. Suppose d*o - 57 - 58 = k. Is o prime?
True
Suppose -5*i + 2445 = -2*i. Is i composite?
True
Let x be 4/(-14) - 60/(-14). Let t = 3 + x. Is (3 - -2)/(1/t) composite?
True
Let s(f) = -f**2 + 14*f + 10. Let c(q) = -3*q**3 - 4*q**2 - 4*q - 3. Let y be c(-2). Is s(y) a composite number?
False
Let q(k) be the first derivative of k**4/4 + k**3/3 - k - 3. Let a be q(2). Is 273/11 + 2/a a composite number?
True
Let h(t) = -11*t - 3. Let j = 2 - 4. Is h(j) prime?
True
Suppose -c + 3*m + 21 = 0, -2*c + 2*m = -c - 24. Is 187/5 - c/(-50) composite?
True
Let p be (-2)/6 + 95/(-3). Suppose h = 4*c - 5*c - 41, 4*c + 188 = 2*h. Let b = p - c. Is b a composite number?
False
Suppose 2*y = -3*u - 2*u + 38, -u + 5*y - 14 = 0. Suppose -u*r = 5*z - r - 130, -3*z + 76 = 5*r. Suppose -4*c + 4 = 0, m = -2*c + z + 54. Is m a prime number?
True
Let a be 18/(-9)*(-2)/2. Suppose -2*u = a*u - 52. Is u a prime number?
True
Suppose 0*d + 184 = 2*d. Suppose -4*i - d = -240. Is i a composite number?
False
Suppose 2*j + 2*f - 3552 = 3*f, 3*j - 4*f = 5338. Is j a composite number?
True
Is 1 + 3 - (-32856)/8 prime?
True
Suppose -5*x + 3*k = 25, 0 = -3*x - 2*k - 2*k + 14. Suppose -1 = -3*t - 25. Is x/t - 556/(-16) a composite number?
True
Let n be (1/3)/((-1)/(-6)). Suppose 0 = f - 4*w - 73 + 10, -n*f - 3*w + 82 = 0. Is f composite?
False
Let u = 65 + -18. Is u a composite number?
False
Suppose -3*o - 3 = -2*o. Let w = o + 5. Suppose -w*x - 59 = -j, -5*x + 231 = 5*j - 19. Is j a prime number?
True
Let q = -7 + 2. Let p(a) = -9*a - 6. Let c(z) = 8*z + 5. Let o(g) = -5*c(g) - 4*p(g). Is o(q) a composite number?
False
Suppose -3*y + 6235 = -4*n, 1135 = -3*y - n + 7365. Is y prime?
False
Let z = 644 + -433. Is z composite?
False
Let o(r) = -2*r**2 + 4. Let w be o(-4). Let m = w + 61. Is m prime?
False
Let d(h) = -130*h + 1. Is d(-1) a prime number?
True
Let r(t) = 14*t**2 + t. Suppose 3*q + 43 = -4*u + 113, 4*q - 92 = -4*u. Let i be (-2 - q/(-10))*5. Is r(i) a prime number?
False
Let n = 9 - 6. Suppose 0 = 4*d - x, -5*d + 2*x = -2*d + 5. Suppose -n*y + 41 = 5*l + y, 0 = -y - d. Is l a composite number?
True
Suppose -1147 = -6*c + 611. Is c prime?
True
Suppose -2*h - 2*h = 12, -5*g + 3*h + 9014 = 0. Is g a composite number?
False
Let g(b) = 2*b**2 + 4*b - 5. Is g(-4) a prime number?
True
Suppose 3470 + 1447 = 3*t. Is t prime?
False
Suppose 4*q - 21 - 7 = 0. Let r = -16 + q. Let l = r - -22. Is l a composite number?
False
Suppose -3*o - 2*o = p - 2950, o + 2*p - 599 = 0. Is o a composite number?
True
Let g(u) = u**2 + 7*u - 7. Let z be 1 + -10 + -1 - 2. Is g(z) a prime number?
True
Let m = -1140 + 2154. Suppose -p + 7*p = m. Is p a composite number?
True
Let o = -42 + 72. Let x = o + -10. Let v = x - 10. Is v a composite number?
True
Let l = 15 + -9. Let v = 10 - l. Let d(r) = 10*r + 3. Is d(v) a composite number?
False
Suppose d - 1 + 2 = 0, 4*d + 28 = 4*r. Suppose k - r*p = -3*p + 16, -8 = -k - 5*p. Is k a prime number?
True
Let f(o) = -18*o + 2. Let b be f(-3). Suppose -5*z = -b - 119. Is z a prime number?
False
Let y(a) = a**3 + 12*a**2 - 17*a + 7. Is y(-12) prime?
True
Let z(w) = 3*w**3 + w**2 - 4*w - 1. Is z(4) prime?
True
Let n = 4 - 10. Let t = n + 6. Suppose 2*f - 56 - 54 = t. Is f a composite number?
True
Let m = -18 + 25. Is m composite?
False
Let u be 1*(-1 + 0/(-3)). Let q(m) = -13*m**2 + 2*m - 1. Let v(z) = 13*z**2 - z + 1. Let i(o) = 2*q(o) + 3*v(o). Is i(u) a composite number?
False
Suppose 3*s + 495 = -2*s. Let g = s - -166. Is g a composite number?
False
Let i = 3 - 1. Suppose -d = i*d - 5*q - 584, -2*d + 416 = 2*q. Is d a composite number?
True
Suppose 5*x - 3*x - 4*o = 2706, 0 = -5*o + 20. Is x a prime number?
True
Let f = -74 - -231. Is f a composite number?
False
Let d(x) = -228*x - 5. Is d(-1) prime?
True
Suppose 1 = -b + 2*b. Suppose 0 = 5*g - 44 - b. Suppose g*l = 4*l + 165. Is l composite?
True
Let q(x) = -x**2 - x - 188. Suppose 2*h + 2*f - 2 = 0, h + 0*f + 1 = f. Let c be q(h). Is c/(-6) - 7