 -21 + m. Is -3 - -7 - 3*j a composite number?
True
Suppose 0 = -2*r - 3*v + 8, -3*r + 12 = 4*v + 2. Let z be r - (1 + 12/(-2)). Suppose z*k - 428 = 277. Is k a composite number?
True
Suppose 4*b + 500 = -60. Suppose 0 = 4*f + 319 - 107. Let z = f - b. Is z composite?
True
Suppose -4*g = -20, -4*n = g + 17 + 50. Let j be (20/(-15))/(8/n). Suppose 4*a + j*o - 118 = 0, 4*a - 5*o - 165 + 31 = 0. Is a a composite number?
False
Let h(m) = m**3 + 6*m**2 - 7*m + 2. Let s be h(-7). Suppose 0 = -s*f + f + 1941. Is f a prime number?
False
Suppose -5*n + 5*x - 4*x + 3294 = 0, -5*x = -5. Is n a composite number?
False
Suppose 0 = 5*n - 25, 115 = m - 0*n + n. Is (m/(-33))/((-4)/138) a prime number?
False
Suppose 0 = 105*v - 96*v - 62955. Is v composite?
True
Let r = -7121 + 13874. Is r a composite number?
True
Suppose -4*q + 0*q = -88. Suppose q = 4*l - 10. Suppose -4447 = -l*b + 633. Is b a prime number?
False
Let p = -20 + 42. Suppose -24*h = -p*h - 2326. Is h prime?
True
Suppose -6*z + 18 = 3*z. Suppose 0 = 3*b - z*b. Suppose -5*v + 25 = b, 0 = 5*q + 4*v - 0*v - 990. Is q a composite number?
True
Suppose 0 = -4*s + 4*t - 100, 4*s - 3*t + 68 = -31. Is 6/s + (-1827)/(-12) + -3 a prime number?
True
Suppose -21*r = -6*r - 521925. Is r a composite number?
True
Suppose -3*g + 6276 = 3*t, -11*t = -10*t + 5*g - 2080. Is t a prime number?
False
Is (-1260)/(-16)*230 - 5/(-10) composite?
True
Let q be (-55)/(2 + 54/(-26)). Suppose 5*r - c = 2*r - 10, -3*c = -3*r. Is r + 7 + (q - -2) composite?
False
Suppose -6*o = -3*t - 123543, -4*o + 43264 + 39133 = 5*t. Is o a prime number?
True
Suppose 15420 = 33*a - 21*a. Is a prime?
False
Let s = 1052 - -1505. Is s prime?
True
Suppose -2*i - 2*i - 3*u + 1145 = 0, -5*u = -5*i + 1440. Is i composite?
True
Suppose 26*p - 6469 = -983. Is p prime?
True
Suppose -7*v + 11*v - 116 = 0. Suppose 9 = -4*y + v. Suppose -y*l = 3*i - 4*l - 2394, 4*l + 3973 = 5*i. Is i composite?
False
Suppose -3*u - 13 = -f - 3*f, -17 = 3*u - 2*f. Let i(r) = -r**3 - 7*r**2 - 5*r + 3. Let m be i(u). Suppose 3*s = m + 19. Is s composite?
False
Suppose -4*f + 777 = -783. Let j = f - 560. Let q = j + 301. Is q composite?
False
Let h be (18/(-9))/((-2)/4). Suppose h*g - 3*g = 263. Is g a composite number?
False
Let k be ((-158)/8)/(2/40). Let p = k - -596. Is p a composite number?
True
Let s = 36 + -30. Suppose -6 = -2*i, 3*i = -s*a + 4*a + 331. Is a a composite number?
True
Suppose 0 = -5*f + 3*i - 113, 4*f + f = -i - 129. Let w = f - -29. Suppose w*z - 2*z = 1382. Is z a prime number?
True
Suppose -16*g + 17308 = -8820. Is g a composite number?
True
Suppose -3*w = -2*w - g, -9 = -5*w + 2*g. Let t(o) = -o**2 + 2*o + 5. Let f be t(w). Suppose f*r - 36 - 390 = 0. Is r a prime number?
False
Let h = -27 - -208. Let s = 454 + h. Is s a composite number?
True
Let m(v) = -109*v - 761. Is m(-16) a prime number?
True
Let g = -72 - -45. Let r be (4/6)/((-6)/g). Suppose -r*m + 5*m = 314. Is m prime?
True
Is ((-86326)/4)/(12 - (-325)/(-26)) prime?
False
Let m(j) = 32*j**2 - 16*j - 55. Is m(-13) a prime number?
False
Let x(q) = -16*q + 48. Let i(n) = 15*n - 48. Let y(k) = 3*i(k) + 4*x(k). Is y(-19) composite?
False
Let x be 1/((-9)/(-12) - (-58)/(-88)). Suppose -2*v - n = -197 + x, 3*v = 2*n + 279. Is v a prime number?
False
Let a = -4 + 8. Suppose q + 1 = 2*n + a, 16 = 2*q - 2*n. Is q a composite number?
False
Let a be (-3)/2 - (-45)/10. Suppose -5*x = p - 104, 0 = 2*x - 0*x + 2. Suppose 128 = a*h - p. Is h prime?
True
Let h(y) = -663*y + 344. Is h(-3) prime?
True
Suppose 0*r + 42 = r. Suppose -5*d + 178 = -r. Suppose 0 = -s + 7 + d. Is s a composite number?
True
Let t be 3 + -1 + (5 - 5). Let u be t + -1 - 0 - 37. Is (-2 - u - 3)*1 a composite number?
False
Let j(f) = -2*f - 8. Let n be j(7). Let b = n - -99. Is b prime?
False
Let l = 2089 + -190. Is l*(-5 - (-80)/15) a prime number?
False
Let m be 10/(-6)*18/(-5). Let n(q) = q**3 - 7*q**2 - 7*q - 4. Let x be n(m). Let j = 119 + x. Is j a prime number?
True
Let k(q) be the third derivative of -q**7/120 + q**5/60 - q**4/8 + 5*q**3/6 + 7*q**2. Let o(v) be the first derivative of k(v). Is o(-4) a prime number?
False
Let a be 5672/20 + (-2)/(-5). Suppose -4*o + a = -3*x, 3*o + 2*x - 4*x - 214 = 0. Is o composite?
True
Let z = -1657 + 877. Let r = z + 3113. Is r a composite number?
False
Let d be 1335/(-18) - (21/18)/(-7). Is (-570)/(-40)*2/(-3)*d a composite number?
True
Is 18/(-99) - (-1)/((-11)/(-63109)) prime?
True
Is (10/20)/(7/123074) a composite number?
True
Suppose 3*z + 3*d = 4*z - 10, 3*z - 3*d = 0. Let j = 8 + z. Is 1*j + 994/7 a composite number?
True
Let d = -18 - -38. Suppose -d*p + 25*p = 6575. Is p composite?
True
Suppose -42*f + 37*f + 5 = 0. Let l(z) = f - 10*z - 20*z + 2*z. Is l(-9) composite?
True
Suppose 8 = 4*a, -4*k + a = k + 9782. Is (-2 - k/8)*2 a prime number?
False
Suppose 5*m - 1878 = 2*r + 1797, -3*r + 15 = 0. Is m prime?
False
Suppose -14*w = 12*w - 186394. Is w composite?
True
Suppose 4*l - 295 = p - l, -2*p = 3*l + 538. Let f = p - -1012. Is f prime?
False
Let s(w) = -260*w - 123. Is s(-10) a prime number?
True
Let l be (1 - -2)/((-15)/9340). Let m = l - -2719. Is m a prime number?
False
Suppose 5*f - 5*q = 35, -2*f + q = -0*q - 14. Suppose 9*t - 502 = f*t. Is t composite?
False
Suppose -4 = -r - r. Suppose 4862 = 2*k + 4*d, r*k = -k - 2*d + 7305. Is k a prime number?
True
Let u be -3 + (3/1 - -6). Let z(s) = 2*s**2 + 3*s + 7. Is z(u) a prime number?
True
Let y be -3*(-2)/15 + 22/(-5). Let o(j) = -129*j + 5. Is o(y) prime?
True
Let z be (8/10)/((-6)/(-15)). Suppose -z*t + 1322 = -800. Is t a prime number?
True
Suppose -18*p + 26402 = -14*p + 2*z, 5*p + z = 32998. Is p composite?
False
Let n(u) = 2*u**2 - 35*u + 488. Is n(37) prime?
True
Suppose -2*a - 3*q + 12 = 0, 4*q + 17 = 4*a - 7. Suppose a*g = 18248 + 2230. Is g a composite number?
False
Let i(u) = u**2 - 14*u - 9. Let q = -10 + 1. Let a be i(q). Is (-2 - 2*a)/(-2) a prime number?
True
Let r(h) = h**2 - 4. Let k be r(3). Let w(s) = -2*s + 8. Let q be w(k). Is (94 + -5)*(3 + q) a composite number?
False
Is ((-19336)/(-16))/((-6)/4 - -2) prime?
True
Let r(a) = 62*a. Let g(y) = 31*y. Let d(h) = -5*g(h) + 2*r(h). Is d(-3) a prime number?
False
Suppose 0 = -10*r + 153722 + 69348. Is r a composite number?
False
Is (19 - 26402)*(0 - 1) a composite number?
True
Let y(o) = 21*o + 5. Suppose -a + 3*a + 3*n = 8, 0 = 2*n. Is y(a) prime?
True
Let v be (3 + -13)*(-2)/4. Let q be v/((-15)/(-9)) + -122. Is 2/(q/(-39) - 3) composite?
True
Let q(w) = -200*w + 3. Suppose p - 3 = c, -4*p + 17 = 5*c - 10*c. Is q(p) a composite number?
True
Let d(n) = 2*n**2 - n. Let r be d(-1). Suppose 0 = r*p + 2*p. Suppose 3*s + 0*s - 483 = p. Is s composite?
True
Let j(f) = 64*f**2 + f - 4. Let t be j(-8). Let b be (-6)/(-21) - t/(-14). Is 1 + b + (2 - 4) a composite number?
True
Suppose 19*q - 17*q = 5040. Suppose 273 - q = -3*z. Is z a composite number?
True
Is (-549)/72 + 8 - 2059402/(-16) composite?
True
Let d = -280 + 426. Suppose -2 + d = -3*t. Let p = 69 + t. Is p prime?
False
Let p(k) be the first derivative of -k**4/4 - k**3 - 2*k**2 + k + 2. Is p(-3) a prime number?
True
Let u(i) = 382*i**2 - 10*i + 47. Is u(4) a composite number?
True
Suppose 6*j + j = 175. Let l = j - 17. Let c(a) = 27*a - 7. Is c(l) prime?
False
Let x = -11 + 17. Let m be 4816/(-42) + 1/(-3). Is x + -4 + 1 - m prime?
False
Let f(u) = 54 + 29*u - 72 - 30. Is f(29) a composite number?
True
Suppose 3927 = k - 548. Suppose 6620 = 5*s - k. Suppose s = 5*g - 2*p, p - 147 - 737 = -2*g. Is g prime?
True
Let n(t) = 12*t**2 - 3*t + 5. Let f be n(-4). Suppose 398 = 2*p - w, -2*p + 3*p + 2*w = f. Is p a prime number?
False
Suppose -2*u - u + 15 = 0. Suppose 0 = -7*f - u*f + 5676. Is f a prime number?
False
Let p(i) = i**3 - 6*i**2 + 2*i - 8. Let t be p(6). Suppose 3*c = 2*w + 29, 0 = t*c - 5*c - 5*w + 21. Is c a prime number?
True
Suppose 530751 = 41*w - 1460660. Is w composite?
False
Suppose -m = m. Suppose m = -2*c - 4*b - 12, -c + 6 = b - 5*b. Is (c/3)/((-2)/159) composite?
False
Let y be (-2)/(12/46)*762. Let x = y + 8213. Is x prime?
True
Suppose 0 = 6*f - 152836 - 83330. Is f prime?
False
Suppose -4*j - j = 0. Let c = j + 0. Suppose 4*x = 4, v + 3*x + 5 - 21 = c. Is v prime?
True
Let k(o) = 668