5802 = 5*m + 43697. Is n composite?
False
Let f(u) = 25*u**2 + 7*u**2 + 72*u - 7 - 66*u. Let i be (-1 + -1)*-2*1. Is f(i) a composite number?
True
Let p be (30/(-135))/((-2)/18). Suppose 0 = p*d + 3*d - 575. Is d prime?
False
Let s be 1*(-39)/(-1) + -3. Suppose 56 + s = o. Let t = -55 + o. Is t composite?
False
Let t(v) = -24*v**2 + 3*v - 9. Let o(s) = -48*s**2 + 7*s - 17. Let a(l) = -4*o(l) + 7*t(l). Is a(-6) prime?
True
Let z(j) = -3*j - 6. Let q be z(-3). Let s = 2 - -3. Suppose u - 581 = -q*u + 3*p, 4*u - s*p = 571. Is u prime?
True
Let o = -6 - -9. Let a be 10 + (-12 - -3)/o. Suppose 3*z + 92 = a*z. Is z a prime number?
True
Let t(l) = 776*l - 35. Is t(2) composite?
True
Let u(f) = 1449*f - 25. Is u(16) a prime number?
True
Let c be 130/4 - (-2)/(-4). Let p = -126 - -149. Suppose c + p = l. Is l a composite number?
True
Let d(s) = s**3 - 10*s**2 + 8*s + 12. Let k be d(9). Is -4 - (-56 + (0 - k)) a composite number?
True
Is (14003/(-22) + 7)/((-2)/4) composite?
False
Let q be (-26)/10 + (-12)/(-20). Let v be 4 + q/2*3. Is (3 + 94)/(1/v) a prime number?
True
Let i = -150 + 87. Let g = 209 + i. Is g prime?
False
Suppose 2*j = -2*v - 4, 0*j - 4*v + 40 = -4*j. Let a be (-16)/(-3) - (-2)/j. Suppose -a*k - 335 = -1140. Is k prime?
False
Let p = -49 - -73. Suppose -30*i + p*i + 6330 = 0. Is i a prime number?
False
Let c(s) = s**3 - 4*s**2 + s + 35. Let x(r) = r**2. Let z(w) = c(w) + 4*x(w). Is z(0) a composite number?
True
Let v(a) = a**2 - 2*a + 10369. Is v(0) a prime number?
True
Let m(x) = 13073*x - 8. Is m(5) composite?
False
Suppose 10*r - 362380 - 735690 = 0. Is r a composite number?
False
Suppose g = -3*g + 24. Let z = 25 + -13. Is 2/z - (-113)/g prime?
True
Let s = -7 - -7. Suppose 0 = -x + 4, -w + x + 105 = -s*x. Let i = w - -36. Is i prime?
False
Let d(g) = g**3 - 13*g**2 - 13*g - 13. Let w be d(14). Let k(q) = 5*q**2 - 2*q + 1. Let x be k(w). Suppose -i + 65 = x*i - 5*s, -16 = -i + 2*s. Is i composite?
True
Let z = -152 - -153. Let t = -9 + 5. Is 126 - (t + z - -2) a composite number?
False
Let g be (-6)/(-2 - (-36)/20). Let f(w) = g*w + 2 + 1 + 10*w. Is f(5) prime?
False
Is -3147*((-4)/(-26) + 323/(-663)) a prime number?
True
Suppose i - 15717 = -5*u, -2*i = -5 + 1. Suppose -3*c + w = -u, 4*c + 5*w + 781 = 4997. Is c prime?
True
Let n(h) = 9 + 2 - 14 + 586*h**3 + 4. Is n(1) composite?
False
Suppose 0 = 2*s - 22 + 14. Suppose 14 - 4362 = -s*f. Is f prime?
True
Let y(c) = 17 + 12*c + 18*c - 62*c. Is y(-5) prime?
False
Suppose 12 = 6*g - 12. Is (4/(-2))/(3/(-1194)*g) a prime number?
True
Let t(k) = 32*k**2 + 2*k - 17. Let m be t(5). Let q = m + 1410. Is q composite?
False
Suppose 58*w - 51*w - 19789 = 0. Is w composite?
True
Suppose 3*n = 2*n - 830. Let m be (6/4)/(5/n). Let u = m + 410. Is u composite?
True
Let p(m) = 0*m**2 + 3*m**2 + 2*m**2 + 3 - 7 - 3*m + m**3. Let z be p(3). Suppose 34 = k - h, -2*k - 5*h + 10*h = -z. Is k composite?
False
Let a(f) = -f. Let h(g) be the second derivative of 7*g**3/3 + 4*g**2 + 6*g. Let t(v) = -3*a(v) - h(v). Is t(-9) composite?
True
Is (58/87)/(((-1)/54399)/(-1)) composite?
True
Suppose m - z - 1 = 0, m + 4 = 3*z + 7. Suppose 4*n + 288 = -m*n. Let j = 49 - n. Is j composite?
True
Let g = -1437 - -2048. Suppose -3*o + 683 = 5*z, -4*z + g = 4*o + 71. Is z a composite number?
False
Suppose -4*n + 17 = g, 2*g - 8 + 1 = n. Suppose -14 = n*h + 4*u, -2 = -h + 4*h - 2*u. Is 6645/75 + h/(-5) composite?
False
Let l(m) = m**3 - 6*m**2 - 7*m - 2. Let k be l(7). Let w be k/(-1)*(-1480)/16. Let n = w + 312. Is n prime?
True
Let u(v) = -5*v**3 - 25*v**2 - 97*v. Is u(-17) composite?
True
Suppose -2*y = -0*i + 4*i - 22, 0 = 3*y - 9. Suppose -2*l - 3096 = -6*l - i*h, 3*h = -4*l + 3091. Is l prime?
True
Suppose 3*z = 9, 5*g + z = -z + 16. Suppose 5969 = c - 2*d, 3*c - g*c + 5*d - 5955 = 0. Is c a prime number?
False
Suppose 5*t - 3081 = -a, -7*a + 2*a - 5*t = -15485. Is a prime?
False
Let p be (90/(-40))/(3/8776). Let z be p/(-14) - 4/28. Suppose -q - z = -6*q. Is q a prime number?
False
Let n = 722 - 691. Is n composite?
False
Is (6 - (-6 - -18))*(-967)/2 a prime number?
False
Suppose 2*a - 3 = -g, a - 9 = g - 0*g. Let j(k) = 6*k**3. Let c(b) = b**3 - b**2 - b + 1. Let z(d) = -3*c(d) + j(d). Is z(a) composite?
True
Let t(d) = 151*d**2 + 20*d + 335. Is t(-14) composite?
True
Let k = 774 + -528. Suppose -i - o + k = 0, -2*i + 446 = -2*o - 66. Is i composite?
False
Let i(o) be the third derivative of o**4/24 + o**3/2 + 3*o**2. Is i(3) prime?
False
Let i be 2/(-8) + 18/8. Suppose i*d = 5*y - 1924, d + 597 + 1325 = 5*y. Let z = -133 + y. Is z prime?
True
Is ((-18338)/318)/(1/(-939)) composite?
True
Let x = -5978 + 24345. Is x a prime number?
True
Let a(z) = 25*z**2 + 5*z + 1. Is a(-6) prime?
False
Suppose -17269 + 1376 = -23*w. Is w a prime number?
True
Let f(p) = 92 + 8 - p + 155 + 74. Is f(0) composite?
True
Suppose -2*k + 59652 = 2*h - 212, -h = 5*k - 29928. Is h a composite number?
True
Suppose 0*p = -4*p + 5*k - 5, -2 = -2*k. Suppose p = 2*l + 3*f - 1741, -2*f = -l - 597 + 1464. Is l a prime number?
False
Let t(q) = -3*q + 5 + 78*q**2 - 3*q + q + 10*q. Is t(-2) a composite number?
False
Is 22929 - (-40)/(4 - -1) composite?
False
Suppose 3*l - 3562 - 6101 = 0. Is l prime?
True
Let f = 7 + -5. Suppose t = -h + 4*h - 10, 2*h = -5*t - 16. Suppose -q + 0*q = h*u - 138, -5*u + 347 = f*q. Is u composite?
False
Let h be (7 - -1)*1/2. Let z(x) be the first derivative of 26*x**2 + 5*x - 34. Is z(h) a prime number?
False
Let b(z) be the first derivative of 302*z**3/3 + 3*z**2 - 7*z + 18. Is b(2) a prime number?
True
Suppose h - 620 = 6*h. Let m = h + 285. Is m a prime number?
False
Suppose 3*v + 4*m - 30019 = 5*m, -4*v + 40018 = -5*m. Is v prime?
True
Let i(j) = 91*j**2 - 20*j + 242. Is i(25) composite?
True
Suppose i + 4*k - 3*k = 0, 2*i - 5*k = -14. Let y = 3 - i. Suppose 3*j + 1040 = -4*u + 9*u, y*u = 2*j + 1035. Is u prime?
False
Suppose -2*k + 1554 + 706 = 0. Suppose 310 = n - 3*m, 3*n - k + 158 = -5*m. Is n a composite number?
True
Suppose -q + 141 = 2*q. Let t = 234 + q. Suppose 2*a - 1423 = -t. Is a prime?
True
Suppose -13 = 2*o - 21. Let j be -2*9 + (6 - o). Let b = j - -201. Is b prime?
False
Suppose -d = -7*l + 2*l + 340, -2*d = 3*l - 191. Suppose -3*g + l = -704. Is g composite?
False
Suppose 7*h - 3*h - 12 = 0. Suppose -141 = -h*w + 2*v + 2*v, -2*w + 2*v + 96 = 0. Is w a composite number?
True
Suppose -w = -4*w. Suppose -2*n - 35 - 33 = w. Let u = n + 89. Is u prime?
False
Suppose -22*k - 12*k + 593878 = 0. Is k prime?
True
Let s = 4293 + -2564. Suppose 2*h - 1627 = -4*y + s, 4*y - 1674 = -h. Suppose -h + 7065 = 7*f. Is f prime?
True
Suppose 2*u - 2*i = 8010, -5299 - 10727 = -4*u + i. Is u a composite number?
False
Let p be ((-1)/(-3))/(3/(-18) + 0). Is (p + 3734)*1/4 prime?
False
Let r(q) = q. Let z(m) = -747*m**2 + 4*m - 1. Let g(d) = 5*r(d) - z(d). Is g(1) a prime number?
False
Let v be (-2)/(-6)*0/(-1). Suppose v = -3*n + 4*n + 1, 8 = 5*z - 3*n. Is (-228)/(-6) + z*-3 a composite number?
True
Let f = 8756 + -5367. Is f a prime number?
True
Suppose 4*o = -4*r - 1564, 2*o - 6*r = -4*r - 786. Let a = o + 274. Is a/(-8) - (-6)/24 prime?
False
Let i = -14 + 15. Is (130 - (5 - 2))*i a prime number?
True
Let p(s) = 2*s**3 - 3*s**3 + 2*s**2 + s + 1 + s. Suppose 0 = -5*b - 2*h - 10, -3*b + h = 6*h - 13. Is p(b) prime?
True
Suppose -4*y = y + 30. Let t be ((-120)/(-8))/(y/4). Is (-3475)/t - (-1)/(-2) a composite number?
False
Let y = -5 + 7. Let k be (189/(-14))/(1/y). Is (k/18)/(2/(-28)) a composite number?
True
Is (3/21)/(14/49)*3814 a composite number?
False
Let j be (10/6)/((-3)/(-639)). Suppose 3*z - 38 = j. Is z a composite number?
False
Let s(u) = 45*u**2 + 2. Let x be s(-6). Let n = x - -21. Is n a prime number?
False
Suppose -90 + 15 = -15*q. Suppose 5*s = q*j - 2775, -3*j = -s + 5*s - 1651. Is j a prime number?
False
Let i(w) = -3389*w. Is i(-1) a prime number?
True
Let k be 1/((-4152)/(-1383) - 3). Let g = 26 - k. Let q = -250 - g. Is q composite?
True
Suppose 11*x - 12 = 7*x. Suppose x*r - 322 = -5*q - 4, 0 = -3*r + 3*q + 294. Suppose -4*s + 865 = r. Is s a composite number?
False
Let u(i) = -17*i**2 - 8*i - 59. Let b(n) = 4*n**2 + 2*n + 15. Let l(y) = 9*b(y) + 2*u(y). Is l(18) a prime number?
True
Let b(