h prime?
True
Let l(o) = 6*o**2 + 2*o + 5. Let i(f) = -f**2 - 6*f + 11. Let m be i(-8). Is l(m) a composite number?
True
Let p = 42676 - 15587. Is p a prime number?
False
Suppose 0 = -13*y + 11*y + c + 18441, 4*y + c - 36885 = 0. Is y a composite number?
False
Let h(q) = 3108*q - 91. Is h(5) composite?
True
Let c = -50 + 51. Is ((-6328)/(-40))/(c*(-1)/(-5)) prime?
False
Suppose -12 = 10*g - 16*g. Is ((-474)/24)/(g + 18/(-8)) composite?
False
Suppose 0 = 5*v + 25, -28 = -2*t + 5*v + 7. Suppose -t*b + 0*y + 4*y - 14 = 0, -4*y = 2*b. Is (17/b)/((-8)/208) a prime number?
False
Suppose 0 = 2*m - 0*m - 94. Let u be 16/56 + m/7. Is 2/u + (-369)/(-7) a composite number?
False
Let g(l) = l**3 - 3*l**2 + 5*l + 12. Let s be g(5). Let n = -523 - s. Let c = n + 2265. Is c a prime number?
False
Let q = 7 + -7. Suppose q = -b - 4*t + 328, -b + t + 172 = -156. Suppose -79 = 3*h - b. Is h prime?
True
Suppose 3*b - 1781 = -4*t, t = -0*t + 5. Is b a prime number?
True
Let g(o) = -o**3 - 14*o**2 - 13*o - 30. Let n(s) = s**3 + 14*s**2 + 14*s + 30. Let f(d) = -6*g(d) - 7*n(d). Is f(-23) prime?
False
Suppose -2*p - 3*n + 14 = 0, 5*p - n - 21 = -5*n. Is (p - 1) + 265/5 composite?
False
Suppose 2*r + 422 = -y + 3*y, 0 = -2*y + 5*r + 428. Let u = 350 - y. Is u a prime number?
False
Suppose -378 = -r - 3*f, 3*r = -0*r - 3*f + 1134. Let o = -265 + r. Is o composite?
False
Let k(z) = -z**2 + 13*z + 4. Let j be k(13). Is -2*(j + -527) + -3 a prime number?
False
Let i(c) = 45*c**2 + 8*c - 7. Let f(p) = -p**3 - 13*p**2 + p + 7. Let z be f(-13). Is i(z) composite?
True
Suppose -3 = 4*l - 15. Suppose 2235 = 5*k + 4*o, -2*k + 1787 = 2*k + l*o. Is k prime?
True
Is -10012*(-4)/64*4 a prime number?
True
Let a = -12363 - -22630. Is a composite?
False
Let m(f) = 4*f**2 - 15*f + 3. Let g = -21 - -20. Let u be g/(-1)*9 - 1. Is m(u) composite?
False
Let x = -3473 - -7969. Let q = x + -3115. Is q prime?
True
Suppose 11*y = 6*y - 20. Is ((-172)/(-6))/(y/(-114) - 0) prime?
False
Let w = -212 + 543. Let d(s) = 182*s**2 - s - 1. Let a be d(-1). Let p = w - a. Is p prime?
True
Let y(f) = -f**2 + 10*f + 4. Let l be y(10). Let h(d) = 996*d**3 - 7*d - 2. Let o(x) = 498*x**3 - 4*x - 1. Let q(a) = l*h(a) - 7*o(a). Is q(1) composite?
True
Let f(l) be the second derivative of 13/2*l**2 + 0 + 1/20*l**5 + 2*l - 4/3*l**3 + l**4. Is f(-10) a prime number?
True
Let g = 5 + -11. Let z be (-56)/5*75/g. Suppose z = r - 5. Is r prime?
False
Let p(a) = a - 2. Let q be p(4). Let o(b) = b**2 - 3*b + 5. Let y be o(q). Suppose -y*j + 745 = 2*j. Is j composite?
False
Suppose -b + 4749 + 5826 = 0. Suppose 3517 = x - r, 0*r - 3*r = 3*x - b. Is x composite?
True
Let d = 22 - 17. Suppose -2*o + f + 391 = -2*f, o = -d*f + 228. Is o prime?
False
Suppose 5704 = -o + 5*o. Let h = o - 948. Suppose -3*l - 3*r = -8*r - h, -l - 3*r + 164 = 0. Is l a composite number?
True
Let k be (-20)/2*(74/4 + -4). Let g = -56 - k. Is g a prime number?
True
Let n = -83 + 83. Is (0 - n)/(10/5) + 293 composite?
False
Let s(b) = -3*b**2 + 4*b - 1. Let x(t) = 9*t**2 - 13*t + 3. Let r(j) = -7*s(j) - 2*x(j). Let o be r(1). Suppose 31 = o*h - 31. Is h a prime number?
True
Let g = -6935 - -24664. Is g a prime number?
True
Suppose 0 = 1262*t - 1265*t + 42. Is t prime?
False
Suppose 24 = 20*d - 18*d. Suppose 0*r - r + d = 0. Let b(q) = q**3 - 12*q**2 + 18*q - 13. Is b(r) composite?
True
Let i be (-6)/(-4)*(-6 - 154/(-21)). Is ((-15)/6 + i)/(2/(-7604)) prime?
True
Suppose 0 = -d - 730 + 2891. Is d a prime number?
True
Suppose -16*a + 12427 = -4453. Is a a prime number?
False
Let f(z) = 2 + 2 + 1 - 26*z. Let x be f(-8). Suppose 208 = -3*d + 4*d + 5*t, 4*t = -d + x. Is d prime?
True
Let l(i) = -3*i**2 - 26*i - 55. Let y(f) = 4*f**2 + 25*f + 55. Let o(g) = 5*l(g) + 4*y(g). Is o(-18) prime?
True
Let z(i) = -i**2 - 13*i + 2. Let u be z(-13). Let a be ((-10)/(-15))/(u/15). Suppose m - 3 = 0, a*w + 45 = -m + 2263. Is w a prime number?
True
Let l = 8 + 2. Suppose 0 = -q + 4*x + 7, 2*q - l = -3*q - 5*x. Suppose s - 19 = q. Is s a prime number?
False
Let f(o) = -2*o - 3. Let n be f(-4). Let j be n/3*72/3. Suppose 5*k - k = j. Is k a composite number?
True
Let s = 20 + -35. Let y = s + 22. Suppose y*b = 10*b - 471. Is b a prime number?
True
Suppose -4*n - 45 = -s, n - 4*s = -25 - 5. Is (16114/(-70))/(2/n) a prime number?
True
Suppose 3*s - 3*x - 3123 = 0, -x = 2*s - 0*s - 2076. Is s prime?
True
Suppose 5*m = 3*y + 21, -5*m + 0*y + 5*y + 25 = 0. Suppose -5*q + 4*f = 10, m*f = 4*q - 1 + 8. Is 3 - 4 - q - -146 composite?
True
Let q be ((-18)/12)/(6/(-1652)). Let g = q + 0. Is g prime?
False
Let u(y) = -4*y**3 - 7*y**2 - 8*y + 14. Is u(-6) composite?
True
Let i = 79 - 73. Suppose 4*l + 3003 = v + i*l, -v + 2*l + 2995 = 0. Is v prime?
True
Is 66845/5 - (8 + -6) a prime number?
True
Suppose 5*k = -5*f + 174765, -7*f + 34949 = k - 4*f. Is k composite?
True
Let x(d) = d**3 - 7*d**2 + 9*d - 1. Let r be x(9). Suppose 2*z = -w + 143, -3*z = -w - 3*w - r. Is z a prime number?
False
Suppose 0 = -4*o - o - 60. Is (-634)/o*3*2 composite?
False
Let k(p) = 2*p**2 + 7*p - 15. Let l be k(2). Suppose -9*h = -l*h - 1362. Is h a composite number?
True
Let o(z) = -z**3 - z**2 + z + 1. Let b(i) = -3*i**3 - 9*i**2 + 10*i + 13. Let p(n) = b(n) - 4*o(n). Suppose 2*h + 6 = 20. Is p(h) a composite number?
False
Let p = 327 + -99. Let k = p - -407. Is k prime?
False
Let m(t) be the first derivative of 4*t**2 + 2/3*t**3 + 7*t + 6. Is m(11) a composite number?
False
Let v = 1601 - 956. Suppose 0*o + 5*o = v. Suppose a - 6*a + 640 = 5*z, z + 2*a = o. Is z prime?
True
Let c(i) = i + 7. Suppose 5*r - 150 = 10*r. Let b = -35 - r. Is c(b) prime?
True
Suppose 4*j + 5*k - 3 = 0, 3*j - 2*k + 1 + 14 = 0. Let f be -106*(j - (-6)/4). Suppose -17*q + 20*q - f = 0. Is q composite?
False
Suppose 13 = -3*f + 52. Let t(j) = 10*j**2 - 4*j + 3. Is t(f) composite?
True
Let t(r) = 25*r**3 - 2*r**2 + 11*r + 21. Is t(5) a prime number?
False
Let x be 3/2*2*(-3)/(-9). Is (2/6*-1)/(x/(-267)) a prime number?
True
Let o(r) = -185*r**3 - 2*r**2 + 3*r + 1. Is o(-3) composite?
False
Let h(p) = 371*p + 109. Is h(12) composite?
False
Let z be -317*1036/(-49) - 2/7. Is -2*(z/(-20) - (-6)/(-15)) prime?
False
Suppose 2*q = z - 242, 705 = -3*z + 6*z + q. Let o = z + -151. Is o composite?
True
Let t(o) = 8*o**2 - o + 8. Let s(j) = 32*j**2 - 3*j + 33. Let d(u) = -2*s(u) + 9*t(u). Let a be d(-7). Let y = a - 128. Is y composite?
True
Let m(r) = 18*r**2 - 11*r + 104. Is m(15) composite?
False
Let c(l) = -1410*l + 29. Is c(-15) a composite number?
False
Let d = -104165 - -152068. Is d prime?
True
Let r be 2 + 7 + (-7 - -3). Let l(i) = 13*i + r + 12 + 6 + 7*i. Is l(10) composite?
False
Let y be (-6)/((-6)/258*1). Let v(c) = -22*c**3 - 3*c**2 - 2. Let k be v(-3). Let z = k - y. Is z composite?
False
Let s = 4358 - 2724. Suppose -3*c - d = -0*c - s, 3*d + 528 = c. Is c a prime number?
False
Let g = 62 + -245. Let a = g - -724. Is a prime?
True
Let i(f) be the third derivative of f**6/120 - f**5/30 - f**4/3 - 5*f**3/3 - 8*f**2. Is i(9) prime?
False
Let a(m) = -11*m + 1261. Is a(0) composite?
True
Let o = 4450 - 2638. Let l = 1031 - o. Let j = l - -1572. Is j composite?
True
Suppose -2*v = 5*v + 2709. Let u = 814 + v. Is u composite?
True
Suppose 685 + 415 = -5*j. Is 4/12 - j/6 a prime number?
True
Let i = 40 - 25. Suppose 0 = -2*j + i + 3. Is 1464/j + 1/3 a prime number?
True
Let p = -1792 + 3422. Suppose l - p = -9*l. Is l composite?
False
Suppose 0 = -18*r + 20*r - 188. Suppose 5*j = 1824 - r. Is j a prime number?
False
Suppose -6*z + 0 = 12. Let s = 33 + z. Is s prime?
True
Let o = 0 - -5. Suppose o*j = 7*j. Suppose j*k = 2*k - 102. Is k composite?
True
Let g = -11806 - -17363. Is g prime?
True
Let c be 5/((-4)/1592*-2). Suppose -5*f = -f + 16, -5*f + c = -5*u. Let z = -42 - u. Is z composite?
True
Suppose -6*f = 2*f - 600. Let x = 31 + f. Is x prime?
False
Suppose -72*j + 71*j = -19139. Is j a composite number?
False
Let n = -37200 + 54161. Is n prime?
False
Suppose -62998 - 73987 = -5*b. Is b prime?
True
Is (8/(-18))/2 - (-1630730)/90 a prime number?
True
Let o(x) = -2*x**3 - 8*x**2 - 7*x - 4. Suppose 8*m + 47 + 9 = 0. Is o(m) prime?
False
Let q be (-2)/10 - (-5 + (-1)/5). Suppose -q*f - 1045 = -10*f. Is f a composite number