 m a prime number?
True
Let a(d) = -2*d + 5. Let n be a(5). Let i be n + 7 + 0/(-2). Is -31*(i + 7/(-1)) prime?
False
Suppose 7132 = -18*q + 22*q. Suppose 0 = -2*s + a + 3566, 2*s - q = s - 4*a. Is s a prime number?
True
Let l(y) = 2 + 0 - 4 - y + 0*y. Let c be l(-4). Suppose 0 = -x + c*g + 17 + 53, -5*x = 2*g - 374. Is x a composite number?
True
Let j(a) = a**2 - 3. Let v be j(-4). Suppose 203 = 2*y + v. Is y composite?
True
Let i(n) = 569*n - 50. Is i(3) a prime number?
True
Let r = -1 + 13. Suppose -2*t + n + 6 = -t, 2*t = n + r. Is (-158)/6*(-18)/t a prime number?
True
Let f(r) = 6*r**2 - 3*r + 1. Let d be f(1). Suppose -2514 = -3*q + t, -d*q + 978 + 2375 = -t. Is q prime?
True
Let p = -1631 + 7534. Is p composite?
False
Let h be (-2)/((-2 + 0)/22). Suppose -5*m + 10 = 0, 2*o = 5*m + 4086 + h. Is o a prime number?
False
Is -5 - 220*(-23 + -4) prime?
False
Let k = -50 - -53. Suppose 2*v = -4*d + v + 1872, -3*d + 1395 = k*v. Is d composite?
True
Let s(r) be the first derivative of -62*r**2 + 10. Let g be s(-2). Let x = -159 + g. Is x prime?
True
Let z = -456 - -1167. Suppose 3*s - y - z + 244 = 0, -4*s + 3*y + 616 = 0. Is s composite?
False
Let u(l) = l**2 + l. Let g be u(-1). Let z be g*((-6)/4)/(-3). Suppose z = 3*f - 0*f - 561. Is f a composite number?
True
Is 585 - (1/(-3))/(18/216) a composite number?
True
Suppose -5*x = -4*r - 45, -2 + 7 = 5*x + 4*r. Suppose 2*b + 894 = x*b. Is b a prime number?
False
Let s be (2 - 1)/((-2)/(-6)). Suppose -2*c + 3 = -53. Is 26*s/(24/c) a composite number?
True
Let i = -8 + 13. Suppose 75 = 5*t + 5*j, 5*j = i*t - 71 + 6. Is t a prime number?
False
Suppose -15 = 3*u + 2*u, 5*q - 2*u = 16721. Is q a prime number?
True
Let x(d) = 1914*d - 1217. Is x(43) a composite number?
True
Suppose m = -27*b + 26*b + 7602, -4*m + 4*b = -30416. Is m composite?
False
Suppose -8 = 6*g - 62. Is 534/g - 1/3 a prime number?
True
Let o(b) be the second derivative of 3*b**5/20 + 7*b**4/12 - b**3 - 13*b**2/2 - b. Is o(6) a prime number?
False
Suppose -3*w + 1020 = -5*c - 5468, 2*w = -5*c + 4317. Is w prime?
True
Let t(h) = -4*h - 25. Let r be t(-10). Suppose 2*j + 3*j - r = 0. Suppose 3*u - 6*k = -2*k + 4629, -j*u + 4629 = k. Is u a prime number?
True
Suppose -13 = -3*m - q, -3*m + 0 + 5 = -q. Suppose -m*d + 7*d - 4*y - 484 = 0, -2 = -y. Is d a composite number?
True
Suppose -53*m = 75293 - 221944. Is m prime?
True
Suppose 13*t + 23*t = 36324. Is t composite?
False
Let i(v) = -2*v**3 - 8*v**2 - 9*v - 11. Let y be -1 - (-1 + 1 + -13). Let c be 18/4*y/(-9). Is i(c) prime?
False
Let l(o) = o**3 + 46*o**2 + 23*o + 13. Is l(-37) a composite number?
False
Suppose -4*h + 1 = -3. Let p(r) = 128*r + 2. Let a be p(h). Suppose 0 = 2*g - 4*c - a, 4*g - 4*c - 189 = g. Is g composite?
False
Let a(r) = r**3 - 4*r**2 + 10*r + 7. Is a(9) a composite number?
True
Let m(d) = -d**2 + 1. Let w(s) = 12*s**2 + s + 14. Let f(i) = 3*m(i) + w(i). Is f(11) a composite number?
False
Let s = 45 - 67. Is s/143 - (-4866)/26 prime?
False
Let a = -16 + 21. Suppose 0 = -a*q - 0*q + 2110. Is q a prime number?
False
Let s(r) be the first derivative of -r**4/4 - 3*r**2 - 19*r - 10. Is s(-6) prime?
True
Let o be 3/4*8/2. Let d = o - 2. Is d - 2*264/(-4) prime?
False
Suppose g + m + 16276 = 0, -g + m + 4*m - 16252 = 0. Let r be 6/15 - g/20. Suppose 0*i = -2*i + r. Is i prime?
False
Let n(h) be the second derivative of -76*h**3/3 - h**2/2 - 8*h. Is n(-2) composite?
True
Suppose 2*u + 2 = 6. Suppose 0 = 4*z, -u*y = -2*z - 462 - 1132. Is y a composite number?
False
Let t(l) = 3931*l - 219. Is t(22) composite?
False
Is (-9)/60*-2 - 1659147/(-210) a prime number?
True
Let d = -21661 + 31698. Is d a composite number?
False
Let h(q) = 44*q**2 - 7*q + 9. Let w be h(3). Let f = -263 + w. Is f a prime number?
False
Is (-6)/(-9)*1197264/32 composite?
False
Let h(q) = -q**2 - q + 2. Suppose 0*n = -4*n. Let c be h(n). Suppose 2*v + 0*u + c*u = 3524, -3*u = 2*v - 3529. Is v a composite number?
True
Let a be (158/(-4) - -3)*2. Let k = a + 197. Let c = -45 + k. Is c a prime number?
True
Let m(j) = 16*j**2 - 40*j + 217. Is m(39) composite?
False
Is 2*1 + 3296 + 61 a prime number?
True
Let s(h) be the third derivative of 7*h**4/6 - h**3/6 - 3*h**2 - 11. Let m(u) = -u + 1. Let y be m(-2). Is s(y) prime?
True
Suppose c - 2*d = 1016, -d + 1058 - 6093 = -5*c. Suppose 6*t - c = 4*t. Is t composite?
False
Is 0 + (-9)/3 + (14 - -3596) prime?
True
Let z(m) = -15*m - 2. Suppose -5*v = -r + 8, -2*v + 9 = -5*v. Is z(r) composite?
False
Let j(d) = 3155*d + 32. Is j(1) a composite number?
False
Let z = -6977 + 118536. Is z prime?
False
Suppose -2*a = -4*a + 6. Suppose a*n - v = -6*v + 17, 3*n = 5*v + 37. Is (3/n)/((-2)/(-534)) a prime number?
True
Let f = -109 - -104. Is (-7258)/95*f/2 prime?
True
Let h be (-1 - (-1)/3)/(22/62931). Let q = -146 - h. Is q prime?
False
Let z(r) be the first derivative of r**3/3 + 5*r**2/2 - 2*r + 4. Let l be z(-6). Let j(n) = n**3 + 2*n**2 - 7*n + 6. Is j(l) prime?
False
Suppose -2*p = 5*p + 1673. Let i = p - -546. Is i composite?
False
Let m(b) = 2*b**2 - b - 7. Let f be m(3). Suppose 0 = -f*j + 2801 - 89. Is j composite?
True
Is (140/(-56))/(15/(-198894)) composite?
False
Suppose -640*q + c = -638*q - 202481, 0 = -4*q - 4*c + 404944. Is q a composite number?
True
Let z = 3720 + -2132. Is -2*z/(-8)*1 prime?
True
Let g = 6912 - 3985. Is g a prime number?
True
Suppose 168*w - 166*w = 21662. Is w prime?
True
Let h be ((-264)/(-30))/(4/150). Let t = -91 + h. Is t a prime number?
True
Suppose 909 = 7*b + 2*b. Let h = b - 42. Is h a prime number?
True
Suppose 12 = -2*n - 4*i, -3*i - 2*i = 3*n + 13. Suppose 6708 - 21880 = -n*c. Is c a composite number?
False
Let r be 4/(-6)*-1*-6. Let s(i) = i + 3 - i**3 + 75*i**2 - 1 - 69*i**2. Is s(r) a composite number?
True
Let k(n) be the first derivative of n**4/4 + 11*n**3/3 + 11*n**2/2 + 13*n + 4. Let v be k(-10). Suppose 0 = d, -3*a - 8*d = -v*d - 1329. Is a prime?
True
Let l = -5 + 9. Suppose -l*i + 696 = -340. Is i a prime number?
False
Let m(t) be the first derivative of -t**3/3 + 8*t**2 - 3*t - 3. Let k be m(10). Suppose -3*i + 3*q - 4*q + 57 = 0, -k = -3*i - 2*q. Is i prime?
True
Suppose 26 - 1 = 5*r. Suppose -5*o = r*k - 2030, 4*k - 821 = -2*o - k. Is o composite?
True
Let c be (30 + -30)*2/4. Suppose c = 2*i + u - 385, -2*i + 2*u + 397 = -u. Is i prime?
False
Let v = 379 + 292. Is v composite?
True
Suppose 10*s - 12*s + 26 = 0. Suppose 0 = s*h - 17*h + 6172. Is h a composite number?
False
Let w be (-2 + 113)*(-8)/(-3). Let b(k) = k**2 + 35*k + 101. Let z be b(-26). Let s = w + z. Is s prime?
True
Is (-11335 - 0)*6/(-10) prime?
False
Suppose 3*r = -3*d - 726, -2*d + 0*r = 4*r + 494. Is 2/((-954)/d + -4) prime?
True
Let v(m) = -558*m - 103. Is v(-7) a composite number?
False
Let c = 7028 + -3991. Is c prime?
True
Let k = -100 - -231. Let b = k + 91. Suppose -2*t - 4*t + b = 0. Is t a composite number?
False
Let z = -335 + 1032. Is z composite?
True
Let p(t) be the third derivative of -6*t**2 + 0*t + 0 - 1/4*t**4 - 1/6*t**3. Is p(-4) prime?
True
Let v(q) = 227*q**2 - 8*q + 55. Is v(8) a composite number?
False
Is 4/3 - (-17)/((-459)/(-217557)) composite?
False
Suppose 41*y - 2579 = 38872. Is y a composite number?
True
Let b(i) = 16*i**3 - i**2 - 4*i. Suppose 5*p + 0*p - 15 = 0. Let u be b(p). Suppose 0 = 2*k - 5*w - u, k - w - 205 = w. Is k a composite number?
True
Suppose 0 = -q - 15 + 16. Suppose -17 = -4*b - 5*a, b - 4*a = -q + 21. Is b/(-64) + 4875/24 composite?
True
Let l(u) be the third derivative of 5*u**7/504 - u**6/80 + u**5/20 + 14*u**2. Let b(n) be the third derivative of l(n). Is b(4) prime?
True
Suppose 0 = -9*f - 497 + 7580. Is f composite?
False
Suppose f - 2409 = -2*b, -4*f + 1232 = b - 9*f. Is b a composite number?
True
Let a = -199 + 1080. Let g = 4270 - a. Is g a prime number?
True
Suppose -4982 = -3*j - 4*z, -j + 3*z + 6651 = 3*j. Let m = j + -1160. Suppose 2*y + m = 4*y. Is y composite?
False
Let z(r) = 901*r**3 - r**2 - 35*r + 104. Is z(3) a composite number?
False
Let s be -2 - (0 - -1)*-5. Let r be 1 - (8/(-2) - s). Is ((-398)/(-8))/(r/32) prime?
True
Let i(b) = 35*b**3 - 15*b**2 - 14*b + 23. Is i(8) a prime number?
True
Suppose 0 = 3*g - 7 - 2, 4*g - 56859 = -3*o. Is o prime?
False
Suppose -2*z 