
Suppose 2*n + 5*u - 12518 = 9*u, 4*n - 24981 = -3*u. Is n prime?
False
Suppose -16*a + 24*a = 22648. Is a composite?
True
Let k = 52660 + 112627. Is k a composite number?
False
Is (-323610)/(-10) - (7 + 1) composite?
False
Let y(i) = -i**2 - 6*i - 6. Let z be y(-6). Let q be 632/12*(-9)/z. Let k = q - 24. Is k a prime number?
False
Suppose 2*l - 18 + 2 = -2*k, -k - 4 = -5*l. Suppose 3*c + k = 0, 94 = -2*g - g - 2*c. Is (-4)/g - 1338/(-90) a prime number?
False
Let j(i) be the third derivative of -i**4/24 + 14*i**3/3 + 19*i**2. Is j(-9) composite?
False
Let o(m) = -m - 457. Let i(j) = -j**2 - 7*j + 8. Let c be i(-8). Let y be o(c). Let t = 642 + y. Is t prime?
False
Let z(f) = 178*f + 14. Let j be z(-3). Is (-5 - -2)/(5/(j/12)) a prime number?
False
Suppose 12*j - 38890 = 13802. Is j a prime number?
True
Suppose -1 = -9*r + 26. Suppose u = 2*s + s + 1160, -r*u + 1932 = -5*s. Let l = s + 680. Is l a composite number?
False
Suppose 0 = -4*p + 3*z + 27, -5*z - 10 = -3*p + 24. Suppose -2*c + 0*k = -2*k - 2204, -p*c + 4*k = -3305. Is c prime?
True
Let g(c) = 298*c**2 + 8*c + 14. Let x be g(-7). Let t = x + -7233. Is t composite?
True
Let h = -70 + 75. Suppose -h*u - 193 = -3*v - u, -3*u = v - 73. Is v prime?
True
Let r(a) = 0*a**3 + 1 + 3 - a**3 - 11*a + 12*a. Let j be r(0). Suppose -j*p = 3*u - 237, -3*p = -0*p - 2*u - 165. Is p a prime number?
False
Let s be (-7)/((-35)/(-10)) + 3. Let m(q) = 338*q**2 - 3*q + 2. Is m(s) prime?
True
Let w(v) = -4*v**3 - v**2 + v + 1. Let k be w(1). Suppose 0 = -4*y + 8 - 0. Is (-115)/(-15) + y/k a prime number?
True
Let y = -33 + 950. Is y a composite number?
True
Let d be 2 - 5 - (-2 + 4). Let z(a) = 3*a**3 + 6*a**2 + 7. Let b be z(d). Let w = b - -715. Is w a prime number?
False
Suppose -2*s - 5*n + 0 = -9, -n = -2*s + 3. Is (679/14)/(1/s) composite?
False
Let q be ((-6)/(-9))/((-2)/(-9)). Let h be (q + -1)*179/2. Let k = 306 - h. Is k a composite number?
False
Suppose -5*h = 10, 4*h = 4*w - 5*w - 1. Let f(z) = 102*z + 29. Is f(w) prime?
True
Let n(r) = 47*r**2 + 4*r - 4*r - 1. Let l be n(1). Suppose 2*s + l = 180. Is s composite?
False
Suppose -2*u - u + 157 = -2*n, -225 = 3*n - u. Let t = n - -105. Is t prime?
True
Let v(n) = -n**2 - 2*n + 89. Let f = 9 + -9. Is v(f) a composite number?
False
Let c(z) = -2596*z + 729. Is c(-12) prime?
False
Suppose -2*a - 3*t + 7303 = 0, t + 0 = -5. Is a a prime number?
True
Let o(x) = -296*x - 79. Is o(-3) composite?
False
Is -6 + (1 - -996*1) composite?
False
Let s be 1/6 + 19/(-6). Let o = -3 - s. Is (0 - -31)*(1 - o) composite?
False
Suppose -277 = 33*f - 353740. Is f a composite number?
False
Let b(r) = 2*r**2 + 5*r - 4. Suppose 0*d + 60 = 4*p + 3*d, -4*p + 5*d + 28 = 0. Suppose 4*x + p = -8. Is b(x) a composite number?
True
Suppose -3*g + 381 - 1104 = 0. Let f = g - -576. Is f composite?
True
Let w(r) = -5*r - 20. Let q(g) = -2*g - 7. Let s(k) = 8*q(k) - 3*w(k). Is s(-10) a composite number?
True
Let j = -12789 - -24058. Is j a composite number?
True
Let u be 1/(-3) + (-242)/(-6). Let d be 6/4 - 69388/(-88). Is d/(-2)*(-24)/u composite?
True
Let j(w) = -22*w**2 + 5*w**2 + 2*w**2 + 9 - w**3. Is j(-17) composite?
False
Suppose -3*c = 2*p + 1146, 5*c = -5*p + p - 1912. Let r = c - -861. Is r prime?
False
Let t be 7/(42/(-24)) + 2/1. Is t/4*-5*(-7190)/(-25) prime?
True
Let p be ((-4)/7)/(4/(-14)). Suppose -13 = -p*z + 23. Is 130/z + (-4)/18 prime?
True
Let k be 4/((28/(-16))/(-7)). Suppose 4*z + 5*x - 8 = 2*z, 0 = -4*z + 4*x + k. Let v(m) = 13*m - 5. Is v(z) a prime number?
True
Let h(r) = 78*r**2 - 477 - 22*r**2 - 5*r + 464. Is h(6) composite?
False
Let p(d) = 4203*d**2 + 7*d + 19. Is p(-2) prime?
False
Suppose 0 = -4*w + 20, -c = -2*c + 2*w - 4. Let f = -2 + c. Suppose -281 = -3*v - 2*p, 198 = -v + 3*v + f*p. Is v a composite number?
True
Suppose n = -0*n - 5*z - 7, -1 = -3*n - 4*z. Suppose 2*j + 2*u + 264 = 6*j, -4*j + 274 = n*u. Is 1/(((-1)/(-1))/j) prime?
True
Is 157735/(-25)*(-45)/9 prime?
True
Let y(q) = q**2 - 21*q + 10. Let i be y(-15). Suppose -17*c = -7*c - i. Is c a composite number?
True
Suppose 2*q + 56 = 12. Is 2873/9 + (1 - q/(-18)) prime?
False
Let c(w) = -13*w - 3*w**2 - 2 + w**3 + 2*w + 12*w**2 + 0*w**2. Let x be c(-10). Suppose x*z - 9*z = -95. Is z a prime number?
False
Is (-35126)/(-8) + (-34)/(-136) a prime number?
True
Let x(v) = v**3 + 7*v**2 + 6*v + 4. Suppose 0 = 2*u - 3*o + 24, 5*u + 0*u + o = -26. Let m be x(u). Is (-657)/(-6) + 6/m prime?
False
Let q = 831 + 4442. Is q a composite number?
False
Let r(w) be the third derivative of w**4/24 - w**3/6 + 6*w**2. Let t be r(1). Suppose t = -6*a + 3*a + 231. Is a a composite number?
True
Let g = -4721 - -21798. Is g a composite number?
False
Suppose 4*d - 40893 = -15377. Is d a prime number?
True
Let l(w) = 2*w**3 - 3*w**2 - 11*w - 9. Let k be l(-9). Let n = 2278 + k. Is n composite?
True
Suppose -3*l = -h + 67, 0 = -5*h - 3*l + 122 + 141. Is h composite?
True
Let d(p) = 107*p - 161. Is d(6) prime?
False
Suppose -5*m = -4*c - m + 37436, 0 = 5*m. Suppose -2*t - 5*t + c = 0. Is t a composite number?
True
Let r(t) = 7*t**2 + 10*t - 11. Let o be r(-9). Suppose 2*c + o = -0*c. Let l = c + 410. Is l a composite number?
True
Let x be (-2 + 5621)*6/9. Suppose -2*v - x = -4*j, -4*v + 1275 = j + 334. Is j a prime number?
True
Let c(u) = 24*u**3 - 8*u**2 + u + 14. Is c(9) a composite number?
False
Is (-4)/(-30) - ((-90155131)/255)/11 a composite number?
False
Suppose 2*m - 1 = 1. Let f be 78/36 - m/6. Suppose -z + 654 = 3*o + 8, 2*o - 444 = f*z. Is o prime?
False
Let c(j) = 9 + 5*j + 80*j**2 + 9 - 10*j**2 - 10. Is c(-3) a prime number?
False
Suppose -4*z - 4*w = -16, 3*w + 30 = -5*z + 8*w. Let b = 7 + z. Suppose b*u - 303 = -2*x + u, -1 = -u. Is x a composite number?
False
Let b = -6 - -25. Suppose 2*s = 5*s + 2*q - 371, 0 = 5*q + 10. Suppose b*i - s = 14*i. Is i prime?
False
Let u = -563 + 315. Let p = u - -789. Is p composite?
False
Suppose -13387 = -24*p + 13*p. Is p prime?
True
Let r = 141 - 305. Suppose 5*d = -4*x - 339 - 97, -218 = 2*x - 3*d. Let t = x - r. Is t composite?
True
Suppose -1 = -2*y + 3. Suppose -h + y = 0, 2*r + 3*r - 21 = 2*h. Suppose 18 = d - r. Is d composite?
False
Suppose -j + 92 = -0*j. Let y(p) = p + 2*p + 119 + j - 2*p + p**2. Is y(0) a composite number?
False
Suppose -3*x = -4*v - 22, 39 = -5*v - 2*x - 0*x. Let l(r) be the third derivative of -13*r**4/6 + 3*r**3 - 2*r**2. Is l(v) composite?
True
Let x = -1030 - -1761. Is x a prime number?
False
Suppose -15*r + 286556 = -607609. Is r prime?
True
Let o(b) = 5*b**3 + 2*b**2 - 7*b - 21. Is o(8) a prime number?
False
Suppose 0*s = -3*y - 3*s + 6, 0 = -2*s - 4. Suppose -2*c + y = -0*c. Suppose 7*b - c*b - 5*m = 175, 5*b + 5*m - 205 = 0. Is b a prime number?
False
Let f = 5041 + -202. Is f a prime number?
False
Let r be 15/(-4) - (-30)/40. Is (-2)/(40/(-3572)) - r/(-5) a composite number?
True
Let r = -771 - -1741. Suppose 12*n + r = 14*n. Is n a composite number?
True
Let y(k) = -171*k - 13. Is y(-24) prime?
True
Let c(u) = u**3 + 26*u**2 - 52*u - 27. Is c(-20) composite?
False
Let m = 250 + 7. Is m a prime number?
True
Let j = 4 - -5. Let x(h) = 26*h - 17. Is x(j) a prime number?
False
Suppose -2*n = 24 - 88. Let k be (-112)/n*536/(-14). Suppose t - k = -4*s, -8 + 484 = 4*t + s. Is t a composite number?
True
Let s = 174 - 121. Suppose 48*m - s*m = -1025. Is m prime?
False
Let n = -78 - -365. Is n composite?
True
Let l(g) = 35 - 62*g + 0 - g**2 - 2. Is l(-28) a composite number?
True
Suppose 4*c = 7*c - 2349. Let z = c + -532. Is z a prime number?
True
Suppose 8 = -4*o, -t + o - 6 = -3*t. Suppose -t*c - 81 = -2373. Is c a prime number?
False
Let c(k) = -871*k**3 - k - 1. Let i be c(1). Suppose 2*s - 7 = 1, -s - 2860 = -2*j. Let d = i + j. Is d a composite number?
True
Suppose 8657 = 2*x - 17957. Is x prime?
False
Suppose -10*k + 272129 + 97651 = 0. Suppose -k + 9454 = -4*h. Is h prime?
False
Let r(w) = 12*w**2 + 11*w - 5. Is r(6) a composite number?
True
Let s be (18/(-7))/(9/(-42)). Let m be s/(-4) + -1 + 6. Suppose -v = -m*v + 23. Is v composite?
False
Suppose 5*a + 12054 = -9*a. Is (44/6)/((-14)/a) prime?
False
Let x = 22 - 8. Let n = 17 - x. Suppose 109 = -3*c - n*b + 745, 631 = 3*c - 2*b. Is c a composite number?
False
Suppose 14*d