. Is k a prime number?
False
Is 8 + -6 + (-5 - -31550) a composite number?
False
Suppose -3*j = 2*p - 4075, -2*j - 6*p = -3*p - 2710. Is j composite?
False
Is (-119)/(-102) + 235195/30 a composite number?
False
Let a be 1 + 0 + 0/(-9). Let h be 14 - 1 - (a - 0). Suppose 0 = -v - 3*m + 30 + h, m - 52 = -v. Is v a prime number?
False
Suppose -2*p - 158 = -2*t - 1522, -p = t - 676. Is p a composite number?
True
Let l(c) = 2*c - 16. Let n be l(11). Suppose n*z - 8 = 2*z. Suppose z*i - 291 = i. Is i composite?
True
Let h be (-1 - 1*-3) + (-9 - -1). Is 0 - 3524/h - (-5)/(-15) a composite number?
False
Let j = -10160 + 18255. Is j a prime number?
False
Let s = 190 + 3153. Is s composite?
False
Let m(i) = -2*i - 5. Let u be m(-5). Let y = 8 - u. Is (1/y)/(3/2763) a composite number?
False
Let x = -15 + 15. Suppose 7*r - 4*r + 6 = x. Is (-273)/r*8/12 a prime number?
False
Let b(i) = 52*i**2 - 98*i + 89. Is b(-22) composite?
True
Let b = 6739 - -490. Is b a prime number?
True
Let v(f) be the third derivative of 2*f**4/3 - 19*f**3/6 + 14*f**2. Is v(14) a composite number?
True
Let t(a) = -424*a - 6. Let v(z) = 141*z + 2. Let i(h) = 2*t(h) + 7*v(h). Is i(3) composite?
False
Let b(w) = 2929*w**2 + 4. Is b(3) a prime number?
False
Let b be (0 + 628/(-12))/(4/12). Let x = b + 522. Is x a prime number?
False
Is 16180 + (-5 - (-7 - 1)) a prime number?
True
Let w be 6/9*(-3)/(-1). Is w - 1 - 9054/(-3) composite?
False
Suppose 2*y = s - 9919, -5*s - 5*y - 9913 = -6*s. Is s a prime number?
True
Let d be (0 + -2 + -4729)*(-1)/3. Suppose -d = -3*p + 316. Is p composite?
False
Let o(m) be the first derivative of -5*m**2/2 + 12*m - 203. Let p(x) = -x**3 - 6*x**2 - 4*x - 6. Let s be p(-5). Is o(s) a composite number?
False
Let w(t) = -62*t**3 + t**2 - 5*t + 3. Is w(-4) a composite number?
False
Let a(k) = 149*k**2 + 25*k + 1. Is a(9) composite?
True
Suppose 3*p = 2*p. Let g(c) = c**3 - c**2 + c + 33. Let b be g(p). Is (b/12 + -1)*188 composite?
True
Let b(t) = 3*t**2 - 3*t + 5. Suppose i + 2*n + 1 = 0, 2*n = -5*i - 3*n + 10. Suppose -y = 0, -i*l + 0*l + 2*y = -35. Is b(l) a prime number?
True
Let f(n) = 291*n - 9. Let m(w) = -291*w + 10. Let d(r) = -6*f(r) - 5*m(r). Is d(-3) a composite number?
False
Let f = -8 - -15. Suppose 0 = 23*g + 5*g - 14224. Suppose -3*y - g = -f*y. Is y composite?
False
Suppose 4*q - 4*b = b + 3023, 3*q = b + 2281. Suppose 4*u - 758 = -3*p, 4*u + 2*p - q = p. Is u prime?
True
Let i(d) = d**3 + 9*d**2 - d - 6. Let s be i(-9). Let a(v) = 1 + 2*v + 13*v**2 + 0 + 19*v**2. Is a(s) composite?
True
Let h(d) = -998*d - 339. Is h(-23) a prime number?
False
Suppose 9*m = 13*m - 20. Suppose v - 5 = 0, 2*v = 5*c + m*v - 2620. Is c prime?
True
Suppose 10*p - 5*p - 367085 = 2*g, -73417 = -p - 4*g. Is p a composite number?
False
Suppose 0 = -5*b + 13410 - 1745. Is b prime?
True
Suppose -3*h = -3*d - 34017, 16949 + 28409 = 4*h - 3*d. Is h a composite number?
True
Let i(t) = -t + 34*t**2 - 40*t**2 - 9 - 2*t - t. Let n be i(-4). Let u = n - -142. Is u a prime number?
True
Let o = 789 - 240. Let v = -292 + o. Is v prime?
True
Suppose d - 6 = -2*w - 3, 2*d - 2 = -2*w. Let b be ((-60)/(-8))/(1/w). Suppose l + 231 = q - 0*q, 0 = 3*l + b. Is q prime?
False
Suppose 3*u + 0*s + 2*s - 1330 = 0, 5*u = -5*s + 2210. Is u a prime number?
False
Suppose -12*x - x + 19045 = 0. Suppose -x = -6*t + t. Is t a composite number?
False
Suppose 2*v + 2 = g, -5*v - 5*g + 0 = -10. Let f = 138 - 64. Suppose b - f = -v*r + r, -4*b + 296 = r. Is b composite?
True
Suppose 5*m - 5*u - 63851 = 110584, 3*m - 5*u = 104665. Is m composite?
True
Let n be 1/(4 + 19/(-5)). Suppose -5*o + 60 = 5*c, 2*c - 54 = -n*o + o. Is o a prime number?
False
Suppose 0 = -m + 4*h + 7299, -2*m + 29144 = 2*m - 3*h. Is m a composite number?
False
Let w = -6236 + 25435. Is w a composite number?
True
Let u be 4 - (-3)/(9/(-6)). Suppose -s = 5*r + 3 + 3, s + u*r = 0. Suppose -313 = -s*t + 4*n + 471, 2*t - 357 = -5*n. Is t a composite number?
False
Let z = 32 - -10. Suppose 0 = 4*x - z - 82. Is x a composite number?
False
Let g(v) = 111*v**3 + v**2 - 5*v + 2. Is g(3) a prime number?
False
Suppose -13*t + 10933 = -3484. Is t a prime number?
True
Let l(a) = -a**3 + 14*a**2 - 19*a + 31. Let p be l(15). Let v = 92 - p. Is v a prime number?
True
Let d be (-8)/36 - (-68)/(-18). Is (1 - (-1844 - 0)) + d a composite number?
True
Suppose 13 + 12 = 5*b. Suppose b*x = 5*g - 4435, 0*g - 2*g = -4*x - 1776. Suppose t - g = -t. Is t a prime number?
True
Is ((-5)/(-20))/((-17)/(-1570324)) a prime number?
False
Let y(t) = 68*t**2 - 1. Let p = 13 - 10. Suppose a + 2*a = -p. Is y(a) a composite number?
False
Suppose -5*o + 102 + 43 = 0. Let v = o - 60. Let x = v - -128. Is x a composite number?
False
Suppose n + 2*o = 15, -3*n + o + 2 = -8. Suppose 2*y = -5*b + 7, 0*b = -2*b - n*y + 7. Is (b*-1035)/(-3) - -1 composite?
True
Let y = -111544 - -243557. Is y a composite number?
True
Let q(b) = -11*b**2 + 9*b - 10. Let m be q(-13). Is ((-18)/27)/(4/m) a composite number?
False
Let q = 13517 - 3510. Is q a prime number?
True
Let q be (5 - -215) + (0 - 1). Let s = q - 127. Suppose 5*j - s = 23. Is j a prime number?
True
Suppose 0 = -6*t + 1 - 991. Let k = -70 - t. Is k a composite number?
True
Let h be ((-1948)/(-10))/((-9)/90). Is 0 + (-3)/(12/h) composite?
False
Let l be ((-16)/(-10))/(4/10). Let o(g) = g**3 - 7*g**2 + 7*g - 5. Let k be o(l). Let d = k + 58. Is d a composite number?
True
Let s(i) = -66*i**2 + i + 11. Let z be s(-10). Let v = 3611 + z. Is v/(-20) - (-2)/(-5) a prime number?
True
Let g = 16681 + 1948. Is g prime?
False
Suppose 3*u + 4*u = -70. Is (-55)/(-22)*(-1788)/u a prime number?
False
Suppose -3*d + 12223 = 37462. Let h be d/(-9) + 2/9. Suppose 0 = -3*z - 2*z + h. Is z a composite number?
True
Suppose 1 = -z - 3*x, -z = -2*x - 0 - 9. Suppose -3*o = 5*n - 347, z*n + 516 = 4*o - 5. Is o + 9/(-1 + -2) prime?
False
Suppose p - 27 = 2*m, 5*m + 39 = 2*p + 4*m. Suppose 5*f + c - 21 = 0, -5*c = 3*f - 0*f - p. Let s = 81 + f. Is s composite?
True
Let q(j) = 4991*j - 4. Is q(1) prime?
True
Suppose -a + 6*l + 30416 = l, 0 = 5*a - 5*l - 152100. Is a prime?
False
Let v(p) = -146*p + 68. Is v(-55) composite?
True
Let i(k) = -6*k**3 - 4*k**2 + k + 2. Let t be i(-3). Let l = 20 + t. Is l a composite number?
True
Let q be 217 - 0 - (-2 + -2). Suppose 711 + q = 4*c. Is c a prime number?
True
Suppose -8*o - 845 = 667. Let p = o - -2104. Is p prime?
False
Let y(x) = 35*x + 15. Let g be y(7). Let u = -395 + 254. Let d = u + g. Is d prime?
False
Let v(d) = 2*d**2 - 2*d + 14. Let n be v(6). Let p = 152 - n. Suppose 4*h - 103 = -0*h - j, 3*h = -j + p. Is h prime?
False
Suppose 0 = -4*s + 8, -8*j + 6*j + 3*s + 9116 = 0. Is j a prime number?
True
Let r be 1*(-11)/((-22)/(-24)). Let k(h) = -h**3 - 11*h**2 + 12*h + 2. Let c be k(r). Is -1 + c + 87 + -3 a prime number?
False
Is 9/(-6) + (3 - (-38795)/10) a composite number?
False
Let g(v) = 47*v + 32. Let x be g(15). Let h = 44 + x. Let w = 1152 - h. Is w a prime number?
False
Let v = 126 - 74. Let l = 169 + v. Is l a composite number?
True
Let w be 147/35 - 2/10. Let m(y) = 57*y**2 - 2*y + 3. Is m(w) a composite number?
False
Let u = -6314 - -14671. Is u a composite number?
True
Let i(z) = z**2 + 7*z - 4. Let f be i(-5). Let k = -18 - f. Is (-1)/4*k*97 a prime number?
True
Suppose -4*r = -2*s + 7*s - 1510, -5*r = -2*s - 1871. Let u = r + -22. Is u composite?
False
Let r be (-8 + -4)/(-4) - -75. Suppose -d + 235 = r. Is d a prime number?
True
Let i = -13 + 20. Suppose -4*v - 147 = -i*v. Let p = v + 30. Is p composite?
False
Suppose 0*s - 4 = -4*c - 2*s, c + 5*s = -8. Let b(i) = -4 - 48*i**c - 2*i + 2 + 146*i**2 + 3*i. Is b(1) prime?
True
Let m = -298 - -537. Suppose -3*f + 685 = 5*k - 651, -8 = -4*f. Let v = m + k. Is v composite?
True
Suppose 7 = -4*q - 41. Suppose -11*s + 4*s + 14 = 0. Is (126/q)/(s/(-4)) a prime number?
False
Let d be (-1995)/(-12) + (-1)/4. Suppose 0 = 4*f - 16, 4*b - d = -3*f - 18. Suppose 2*z + 4*o - b = 0, 0*z - 3*z = -5*o + 4. Is z a composite number?
False
Let i be ((-48)/(-4))/(-4) + 22. Suppose -4*h - 2*r + 25 = -i, -4*r - 29 = -h. Let b(k) = 2*k**2 - 17*k + 2. Is b(h) composite?
True
Let c(p) = -1686*p**3 + 7*p**2 + 9*p + 1. Is c(-1) a prime number?
False
Suppose -