posite number?
True
Suppose -5*y + 3*h + 5870 = 0, y + h = 976 + 190. Is y prime?
True
Is (-1398056)/(-42) + (-19)/399 prime?
True
Let p(h) be the second derivative of h**5/20 + 5*h**4/12 + 5*h**3/6 - 7*h. Let i be p(-4). Is i - (-2 - -2 - 221) prime?
False
Suppose 8*x + 9 = 5*x. Let m be x*(-1)/(12/4304). Suppose 9 = 5*c - m. Is c a prime number?
False
Let f(j) = j**3 - j**2 + 2*j - 21. Let i be f(0). Let q be (-6)/21 + (-1476)/i. Suppose m = 2*s + 5*m - q, 4*s = 2*m + 150. Is s a composite number?
False
Let z(a) = -a**3 + 7*a**2 + 7*a - 11. Is z(6) prime?
True
Is (664 + 3)/((-6)/3 + 3) a composite number?
True
Suppose k - 489 = -3*k - 3*q, -4*k + 490 = 2*q. Suppose -4*s + 472 = -4*o, -s - 5*o + 13 = -k. Is s a composite number?
True
Suppose -v - c + 206 = -5*c, -2*c = -4*v + 768. Let h = 19 + v. Is h a prime number?
False
Suppose 2*o - 20 = -4. Suppose 11*v - o*v = 2661. Is v a prime number?
True
Is 8 + 8 + 10938 + 7 - 0 a prime number?
False
Suppose -3*a + 2*i - 2 = -2*i, 4*a - 5*i + 2 = 0. Suppose 0 = f - a*f. Suppose 4*k - 2*n - 186 = 0, -3*k - n + 92 + 50 = f. Is k prime?
True
Let o be (-12)/(-96) - (-6174)/16. Suppose -4*l - 3*x = -2886, x = 4*l + 1252 - 4146. Let u = l - o. Is u a prime number?
True
Suppose -b + 1 + 3 = 0. Let z(f) = -2*f + 19*f + b*f - 1. Is z(4) composite?
False
Suppose -4*p + 4421 + 6568 = u, -3*p - 4*u = -8245. Is p composite?
True
Suppose 22*v - 5*t = 19*v + 164538, -5*t = 2*v - 109717. Is v a composite number?
False
Let v(d) = -152*d + 2. Let g(r) = 304*r - 3. Let n(t) = 3*g(t) + 7*v(t). Is n(-4) prime?
True
Is (-4)/(-38) - (-1568220)/380 a composite number?
False
Suppose 2*i + j + j - 10 = 0, 3*i - j - 11 = 0. Suppose i*s = -0*s - 16. Is (-790)/s*8/10 a composite number?
True
Let s(f) = f**3 - f**2 - 3. Let d be s(0). Let v be (d + 2)*332/(-2). Suppose 0 = -o - o + v. Is o composite?
False
Let i be 5 + -6 - (-2 + 1). Suppose -5*r + 4*r - 6 = i. Let p = r + 13. Is p a composite number?
False
Let q(z) = 15*z**2 - 13*z - 3 + 21*z - 17*z. Is q(7) a prime number?
False
Let y = 11205 - 82639. Is (-2)/5 + y/(-110) composite?
True
Is (57/228)/(((-15)/(-61836))/5) a prime number?
True
Suppose -4*n + 4*i = -20, i - 3*i - 25 = -5*n. Suppose -n*q + 8*q = 6. Suppose -y + 4 = 0, -q*o - 2*y + 18 = y. Is o prime?
True
Let u(b) = -4 + b**2 + 1 - 14*b - 1. Let n be (-5 + (-2)/2)*20/(-8). Is u(n) a prime number?
True
Suppose -413*s + 404*s + 76509 = 0. Is s composite?
False
Let m(s) = 75*s**2 - 3*s - 1. Let a be m(-1). Let q = a + -24. Is q composite?
False
Suppose 2*k - 4*o = 16802, 0 = -2*k + o - 3*o + 16796. Is k composite?
True
Let i(v) = 2213*v - 1130. Is i(41) prime?
True
Let j(m) = -11*m - 9. Let r be j(1). Is r/8*(-134 + 0) prime?
False
Suppose -2*t = -0*t - 8. Suppose t*i - i - 5484 = -3*s, -5*s = -i - 9110. Is s composite?
False
Suppose -36 = 4*v - v. Let w = v - -17. Suppose -4*z + 279 = -w. Is z a prime number?
True
Let g(w) = 1029*w**2 + 6*w - 8. Is g(1) a prime number?
False
Let n = 3949 + -2264. Is n a composite number?
True
Let r = 268517 + -155328. Is r composite?
False
Suppose 18*d + 812 = 22*d. Is d a composite number?
True
Let m(c) = c**3 + 8*c**2 - 3*c - 17. Let n be m(-8). Is n - 4 - 6 - -130 a prime number?
True
Let f be (-2)/(-10) - (-1428)/(-15). Let c = -52 - f. Suppose 6 = -3*j, w + 2*j - c = 84. Is w prime?
True
Suppose 37*q - 13*q - 61896 = 0. Is q a composite number?
False
Suppose -z + f = -96, 2*z - 230 + 17 = -5*f. Suppose -3 = -3*i - z. Is i/(-5) + 3/5 prime?
True
Let h(t) = -333*t - 869. Is h(-14) a composite number?
False
Let n = 8523 - 3484. Is n prime?
True
Let a(d) = 94*d - 11. Suppose 0*q + 26 = 5*g - 3*q, 3*q - 6 = -3*g. Is a(g) composite?
True
Suppose -5*q - 7618 = -m, 9*m - 4*m + 4*q = 38177. Is m composite?
True
Let f(v) = 843*v**2 + 35*v - 211. Is f(7) composite?
False
Let t(s) be the first derivative of -1/4*s**4 + 9/2*s**2 - 6 - 3*s**3 + 9*s. Is t(-10) composite?
False
Let f(s) = s**3 + 34*s**2 + 19*s - 97. Is f(-30) prime?
False
Suppose k + 6 = 4*c, -c = -3*k + 3*c + 14. Suppose -n = n - k. Suppose -4*m = -5*i - 23, -3*m + i = -n*m + 15. Is m composite?
False
Let c = -6452 - -9607. Let v be (2*-1)/(-1 + -1). Is v/((-10)/c)*-2 composite?
False
Suppose -j = -2*j - 6. Suppose 3*u = -u + 6924. Is j/15 - u/(-15) prime?
False
Suppose 0 = 66*i - 67*i + 38795. Is i a composite number?
True
Suppose -4*g + 328 = 4*o, 5*g - 3*o = 2*g + 216. Let c = 146 + g. Is c composite?
False
Let b be 62/(-7) - 2/14. Let x = b - -9. Suppose -5*q - 15 = x, -3*h + h + 325 = -5*q. Is h prime?
False
Is (-20602)/(-2)*(7 + -6)/1 prime?
True
Is 22191/(-117)*(1 + -16) prime?
False
Let s = 1 - 9. Let f = s + 60. Let q = 73 - f. Is q composite?
True
Let g be (-5)/(21/(-6) + 1). Suppose g*f = 3*b - 0*b + 214, -2*f + 218 = -2*b. Is f a prime number?
True
Let j be (-3280 + 4)*18/(-21). Suppose 5*g - 3500 = 2*c - 7*c, j = 4*g - 4*c. Is g a composite number?
False
Let v(z) = -z**2 - 12*z + 5. Let y be v(-17). Let a = -27 - y. Is a a prime number?
True
Suppose -12 = -r + 4*r, -4*b - 3104 = 2*r. Is b/(-10) + (-40)/100 prime?
False
Let u = 66 - 53. Suppose -u*q + 6189 = -2300. Is q a prime number?
True
Let v(z) = 14*z + 9. Let k be (-3 - 1) + 170/10. Is v(k) a composite number?
False
Suppose 8106 + 63024 = -15*q. Let v = q + 9033. Is v a prime number?
False
Let p(t) = -7*t**3 + 4*t**2 + 10*t + 38. Let x(k) = 15*k**3 - 9*k**2 - 21*k - 77. Let y(s) = -13*p(s) - 6*x(s). Is y(7) a prime number?
False
Suppose -4*h + 7524 = 4*l, -2*h - 10 = -5*l - 3786. Is h a composite number?
True
Let n = -147 - -152. Let t be 2/7 - (-464)/(-7). Let c = n - t. Is c a composite number?
False
Let u(a) = 70*a**2 + 1. Let f be 3/2 + (-4 - 3/6). Is u(f) a prime number?
True
Suppose -46*m = -60*m + 981302. Is m prime?
False
Let k = 19 - -16. Let w = k - 39. Is (466/w)/((-3)/6) composite?
False
Suppose -4*c + 13 + 19 = 0. Suppose 0 = -10*v + c*v + 38. Suppose z - 2*z = -v. Is z a prime number?
True
Suppose -68*a + 70*a = -5*v + 68999, -2*v - 2*a = -27602. Is v a prime number?
True
Let g(n) = -23*n**3 - 7*n**2 + 30*n + 41. Is g(-11) a prime number?
False
Let i be ((-10)/(-35))/(2/70). Suppose -39 = -5*o - 4*z - 10, 2*o + 2*z - i = 0. Is 18/81 + 475/o a prime number?
True
Let o be 1/((-5)/(-1590)*2). Let z = o - 74. Is z a prime number?
False
Let o(j) = j - 4. Let y be o(5). Let u be (-15)/(-5) - (y + -1). Suppose u*k = 98 + 115. Is k a composite number?
False
Let n(h) = -352*h + 69. Is n(-7) composite?
True
Is (-3870)/129*5237/(-6) composite?
True
Is 6406/1*(-1)/(-2) composite?
False
Let a = 1881 + -1060. Is a prime?
True
Let f be ((-152)/20)/((-2)/10). Let m be (2/(-3))/(2/(-108)). Suppose f = 2*n - m. Is n a composite number?
False
Suppose 5*p = -5*s + 10, 2*s - s + 18 = 4*p. Is 0/(-1) + (-2 - (-117 - s)) a composite number?
False
Suppose 5 = -2*u + 5*p, -p - 12 = -3*u - 0*p. Suppose 0 = -w + u*s + 287, -333 = -w - 2*s - 18. Is w a composite number?
False
Is ((-8)/(-6))/((-1227730)/(-136410) - 9) a prime number?
True
Suppose 399*v - 398*v + 1 = 0. Let s be ((-12)/(-10))/(3/(-10)). Is (-3 - -52 - v) + s a composite number?
True
Let c(o) = -2*o - 2. Let z be c(-6). Let y(m) = -m**3 - z*m - 9*m**2 - 5*m + 4*m - 5 + 0*m**3. Is y(-8) composite?
False
Let l(n) = 89*n**3 - 5*n**2 - 8*n + 7. Is l(5) a prime number?
False
Let l be (-3)/(-12)*-4 + 9. Suppose -o + 3*o = 828. Suppose l*k - o = 2*k. Is k composite?
True
Let i(a) = -2*a**3 + 14*a**2 - 4*a + 17. Is i(-10) composite?
False
Suppose 735 = 2*t + 217. Let c = -180 + t. Is c a prime number?
True
Let b(l) = -445*l + 11. Suppose 69*z = 72*z + 6. Is b(z) a prime number?
False
Let n = -8676 + 21175. Is n a composite number?
True
Suppose -r = -12627 - 103. Suppose -19*s = -589 - r. Is s a composite number?
False
Let o(x) = x**2 - 3*x + 3. Let v be o(0). Suppose 3*n + v = 6, -4*s = -n - 235. Is s a composite number?
False
Suppose -62504 = -21*d + 149281. Is d a prime number?
False
Suppose -4*t - 2988 = -2*v, 0 = v + 2*v - 3*t - 4482. Suppose h - 2*p + v = 3*h, -3*h + 2245 = 2*p. Is h a composite number?
False
Let g(j) = -j**3 + 14*j**2 - j + 18. Let n be g(14). Let y be (4/(-10))/(1/(-530)). Suppose n*v = -0*v - 5*l + 212, -4*l - y = -4*v. Is v a prime number?
True
Let d = -3411 + 2154. Let i = 2284 + d. Is 