3*o - 3771*o. Is a(-7) composite?
False
Suppose 0 = -2*l - l + 2*s, -l - 10 = -4*s. Suppose 0 = 9*n - l*n - 15183. Suppose 37*p + n = 40*p. Is p prime?
False
Let v = -11 - -21. Suppose 0 = 4*y + y - 3*r - v, -3*r = 4*y - 8. Suppose -q + 3*q - 111 = -5*z, y*q - 104 = 2*z. Is q composite?
False
Let y(i) = -6800*i - 4239. Is y(-4) prime?
True
Let k = 28671 + 4888. Is k a composite number?
True
Suppose -2*o + 2*m = 20, -m = -5*o - 44 - 6. Is 3436 + o - (-10 - -3) a composite number?
False
Let b(d) = -17*d**3 + 9*d**2 + 7*d - 11. Suppose 41*p - 6 = 43*p. Let x(j) = -j - 9. Let i be x(p). Is b(i) composite?
False
Let w(t) = t**3 + 14*t**2 + 15*t + 27. Let j be w(-13). Let g(n) = 21*n**2 + 2*n - 3. Let l be g(j). Suppose 17*h + 1257 = l*h. Is h composite?
False
Suppose -11*x = -3*x - 2968. Let o = 172 + x. Is o composite?
True
Suppose -2*i + 6*i - 8386 = -2*o, -i + 4*o + 2101 = 0. Suppose 0 = 3*c - 3*j - i, -c - c = 2*j - 1406. Is c a composite number?
False
Is 67689 - (-4 - 8 - -22) composite?
False
Is ((-135)/(-20) - 6)/((-69)/(-154571132)) a prime number?
True
Let n = 4891 + -3423. Suppose -5*t = -2*b - n, 3*t - b - 596 = 285. Suppose 0*o + 382 = 4*o - 2*j, t = 3*o + j. Is o composite?
False
Let q(p) = 3*p - 10. Let i be q(4). Suppose 5*v - 654 = 4*z, -3*v + i*z - z + 391 = 0. Suppose -v = -5*h - 2*b + 525, 4*h + 2*b = 524. Is h a composite number?
False
Let m(p) = -13830*p + 739. Is m(-26) prime?
False
Let a = 43 + -27. Suppose -g - 3 = -a. Suppose -g*p - 12068 = -17*p. Is p a prime number?
False
Let a(s) = 7*s**2 - 2*s - 7. Let v be a(3). Let m(k) = k**3 - 34*k**2 - 25*k + 33. Is m(v) a composite number?
False
Let b(y) = y**2 + 9*y + 7. Let d(f) = 3*f + 27. Let u be d(-12). Let s be b(u). Suppose -s*h + 16*h = 171. Is h composite?
False
Let s(w) = -2*w**3 + w**2 - 4*w + 2. Let x be s(2). Is x + 81 + 2/1 a prime number?
False
Suppose 7*p - 4*p = p. Suppose s + 4*t - 2 = 4, t - 2 = p. Is (-1 + 2)/(s/(-1986)) a prime number?
False
Suppose 0 = 14*d - 151 + 95. Let b(c) = 1188*c + 109. Is b(d) a composite number?
False
Suppose -6*n + 42 = -12*n. Let x(u) = -178*u**2 - 5*u + 19. Let r(g) = 119*g**2 + 3*g - 13. Let o(h) = n*r(h) - 5*x(h). Is o(1) prime?
False
Let x(g) = 668377*g**2 - 27*g - 3. Is x(1) a composite number?
False
Let v be (-1)/(-4) - (-703)/(-76). Is -7377*(v/9)/(3*1) a prime number?
True
Let w(n) = 11775*n**2 + 222*n + 1162. Is w(-5) a composite number?
True
Let q = -74 - -124. Suppose 48*l = q*l - 1174. Is l a prime number?
True
Is (1300/(-39))/25 + -61114*(-5)/6 a prime number?
False
Let o(x) = 3*x - 20. Let n = -29 + 35. Let q be o(n). Is q/(-6) + 3116/3 a prime number?
True
Suppose 14*k - 261430 = 78364. Suppose 6*h = 1931 + k. Is h a composite number?
True
Let j(i) = -7679*i - 1234. Is j(-15) prime?
False
Suppose -4*u = -2*s - 3372, u + 3*u + 3332 = -2*s. Let g(o) = -o**3 + 14*o**2 + 148*o + 17. Let k be g(20). Let a = k - s. Is a a prime number?
False
Suppose 9*u - 2*s = 4*u - 48598, -5*u - 2*s = 48602. Is u/(-44) - 5/(-55) composite?
True
Let r be 0 + -3 - (-3)/(-9)*-15. Suppose r*k - 3*g = -7*g + 11586, 0 = 2*k + 5*g - 11586. Is k a composite number?
True
Suppose 2*b = v + 650, -6*v - b = -2*v + 2564. Let t = v + 5189. Is t a composite number?
False
Suppose -3*b - 9 = -24. Suppose 5 = 5*p - 4*k, b*p - 10 = k + 10. Suppose 3*j - 1243 = -4*q, q = -3*q + p*j + 1203. Is q composite?
False
Let t = 124656 + -38995. Is t composite?
False
Let l(m) = 4597*m**2 + 5*m + 42. Is l(-4) a prime number?
False
Let i(m) = -1 - 3 - 10 + 85*m - 14 + 11. Is i(30) composite?
True
Let v(p) = p + 3. Let y be v(3). Suppose 12*j - y*j - 29790 = 0. Suppose 2*o + 131 = -3*b + 2128, -2*b = 5*o - j. Is o prime?
True
Let b be (-2)/(1 - (-15)/(-9)). Suppose -3*w + 4*s = 3*s + 2389, 0 = 2*w + b*s + 1589. Let z = w - -1127. Is z prime?
True
Let p = -60042 + 86515. Is p composite?
True
Let w(g) = 27*g - 2. Let p be w(1). Suppose -4*s - 3*d - p = 0, -4*d = -2*s + s - 11. Let u(k) = -40*k - 71. Is u(s) a composite number?
True
Suppose 0 = 5*d + 2*v + 4579 - 15697, -2*d - 5*v + 4443 = 0. Let q = -1270 + d. Suppose 0 = -3*a - 0*f + 3*f + q, f - 320 = -a. Is a composite?
True
Let r be 1*2 - 1/(-1). Suppose -2*y = -3*w - 9, -29*y - w - 23 = -33*y. Suppose r*a + z = y*a - 809, -4*a + 1080 = -z. Is a a composite number?
False
Let t = 27 + 3. Suppose -11*z + t = -z. Suppose -i - q + 79 = 2*q, -4*q - 250 = -z*i. Is i a prime number?
False
Let r(y) = -2*y - 37. Let b be r(-20). Suppose b*u = 7*u - 52. Suppose u*k - 11*k - 674 = 0. Is k a prime number?
True
Let a(h) = h**3 - 5*h**2 - 10*h - 17. Let p be a(7). Let v(w) = 7*w**3 + w**2 + 7*w + 72. Is v(p) composite?
False
Suppose -1299063 - 629096 = -18*d - 5*d. Is d a composite number?
False
Let g(r) = -r**3 - 7*r**2 + 6*r - 11. Let p be g(-8). Suppose 0 = 41*a - 36*a + p. Is (-1)/(a/778) - -3 a prime number?
False
Suppose 11*g + 8553 = 3*q + 16*g, -5*q - 3*g = -14287. Is q prime?
True
Let q = 486 + -131. Suppose 0 = -2*c + 5*y - q, -2*c = -5*c - 3*y - 501. Is (c/20)/((-2)/204) - -2 prime?
False
Let h = -223717 - -998258. Is h a prime number?
True
Let j(a) = 954*a**3 + 11*a**2 - 28*a + 208. Is j(9) prime?
True
Let k(a) = -2*a - 26. Let v be k(-12). Let c be ((-2)/v)/((-12)/(-48)). Suppose c*t = t + 978. Is t composite?
True
Let x = 79929 + -10192. Is x a composite number?
False
Is 44/(-22) + (2 - 3) + 43936 composite?
False
Suppose 3*w - 16 = -4*k, -3*w - 3*k + 12 = -7*w. Suppose 0 = 6*h - 3*h + 2*x - 14, -4*h - x + 12 = w. Let l(s) = 24*s**3 - 1. Is l(h) prime?
True
Let l(r) = -9*r + 4*r - r**2 + 16 + 8*r + 11*r. Is l(11) prime?
False
Let w(g) = 51*g**2 - 28*g - 156. Is w(-5) prime?
True
Suppose -q = -3*p + 5, -4*p + 3*q - 1 + 6 = 0. Let z(d) = -d**3 - d**2 + 29 - 829*d + d**2 + 852*d - 14*d**p. Is z(-17) a composite number?
True
Let c(v) be the first derivative of -v**3/3 + 7*v**2/2 + 10*v - 19. Let b be c(8). Is 5/(-5) - b - -262 prime?
False
Suppose -51*v + 200 = -11*v. Let j be (-13)/(-5) - 2/(-5). Suppose 2*h + j*c - 1637 = 1073, -v*c = -3*h + 4103. Is h a composite number?
False
Let i(f) = 68*f - 6. Let n be i(18). Suppose c + 2*b + n = 3*c, -606 = -c - 2*b. Let g = -55 + c. Is g a prime number?
False
Let y(s) = 2*s**2 + 55*s - 26. Let d be y(-28). Let x be ((-64)/6)/(d/576). Let m = 4631 + x. Is m composite?
False
Let z = 5253 - 3481. Suppose -448 = 2*a + z. Is a/4*((-84)/18 - -4) prime?
False
Suppose -3*r - 3 = -5*x, 0*r = 3*x + r + 1. Suppose -g + 2*o - 9 = -6*g, -4*o - 12 = x. Suppose 5*d - 1980 = -4*w - w, 0 = 3*d - g. Is w composite?
True
Suppose 58 = 17*f - 10. Suppose 5*t - 2*s = 71276, 8*s - 13*s + 57001 = f*t. Is t a composite number?
True
Suppose -48*w + 56*w = 223768. Suppose 14*a - 13987 = -2*k + 17*a, 0 = 4*k - 5*a - w. Is k a prime number?
False
Let s = 12 + -9. Let a = 5 - s. Suppose v = -5*x + 1616, -a*v + 3*v - x = 1634. Is v prime?
False
Let c(k) = 371*k**2 + 161*k - 1139. Is c(29) a prime number?
False
Suppose -19733*b + 19708*b + 35345275 = 0. Is b a composite number?
True
Suppose 37*f - 341363 = -h + 38*f, -1365460 = -4*h + 3*f. Is h prime?
False
Let w = -942 + 1204. Suppose 0 = -3*p + 1537 - 280. Let u = p - w. Is u prime?
True
Suppose -4*r = 5*g + 13, -8*g + 4*g = -5*r + 35. Suppose 7*x + 4*j = 4*x + 38869, -r*x + 2*j = -38863. Is x prime?
False
Let o(z) = 5*z**3 + 406*z**2 + 32*z + 17. Is o(-30) prime?
False
Let z(b) = 12*b - 77. Let o be z(7). Let w be 1011/o - 72/(-126). Let j = w - -54. Is j a prime number?
True
Suppose -3*p + 15*p = 16728. Suppose -5*w - 945 = -4*w - y, y = -5*w - 4737. Let l = p + w. Is l composite?
True
Let l(n) = 30*n**2 - 8 - 66*n**2 + 46*n**2 - 4*n**3 - 9*n. Let t be l(10). Let x = t - -5149. Is x prime?
False
Suppose -5*c + 4 = i, -20 = -c + i - 6*i. Suppose -3*d + 4*d = 3. Suppose c*x + 531 = d*x. Is x prime?
False
Suppose -4*j + 6 = -5*k, 0*k - 5*j - 3 = -k. Let y be (0 - k) + (-3988)/(-2). Suppose -4*h = -0*h - y. Is h a prime number?
True
Is (-94041 - -1)/(-10) - 13 a composite number?
False
Suppose -5*m = -5*y - 39510, y - 114 = -115. Is m composite?
False
Suppose 140*b = 147*b + 60095. Is b/(-11 - -6) + 4 composite?
False
Let b(l) = -642*l**3 - 3*l**2 + 22*l + 6. Is b(-5) a composite number?
False
Suppose -2*r - 13*q + 1670 = -15*q, -4*q + 1640 = 2*r. Let z 