64970 = -2*k. Is p prime?
True
Is 10/(-6) + 30956/12 composite?
True
Suppose 9*y = -c + 5*y + 1103, 0 = c + y - 1091. Is c prime?
True
Let n(t) = -t**2 - 5*t + 667. Suppose 3*w - 8*w = 0. Is n(w) prime?
False
Let a = 8284 - 4907. Is a prime?
False
Let j = 15699 - 5434. Is j prime?
False
Let h(j) = j**2 + 7*j + 6. Let z be h(-4). Is 2 + 27/18*(-2524)/z a prime number?
False
Let c(k) = 38*k**3 + 7*k**2 - 6*k - 6. Is c(5) a prime number?
True
Suppose 9*v - 188568 = 40761. Is v a composite number?
True
Let i = 7 - -329. Let g = i + -29. Is g a prime number?
True
Suppose -17*f + 161895 = -82922. Is f composite?
False
Let w(l) = -7586*l + 97. Is w(-18) a composite number?
True
Suppose 0 = -5*k - 5*p, 0*k + p = k - 4. Suppose -460 = -4*q - 8*z + 3*z, 2*q + 4*z - 236 = 0. Suppose -k*x = -96 - q. Is x a prime number?
True
Let m be 1*-2*49/(-14). Suppose 2*n + 9 = -m. Is ((-14)/n)/(1/92) composite?
True
Suppose 2*r + 2*s = -8, -3*r - 3*s = -2*s + 4. Suppose f - 2*c + 43 - 186 = r, -5*c - 131 = -f. Suppose o - f = -54. Is o a composite number?
False
Let u = -8 - -13. Let l = u - 3. Is 58/(6/3)*l composite?
True
Let k = 103 + -73. Let z be (-96)/k*115/(-2). Suppose 3*t - 485 = z. Is t composite?
False
Let u(w) = w**2 - 5*w - 7. Let o be u(10). Let b = o - 29. Is b a prime number?
False
Suppose 2*n + 3*h + 151 = -2*h, 0 = -2*n + 4*h - 106. Let z be n/(-15) - 2/10. Suppose 2*x + 3*u = 268, -258 = -2*x + z*u - 2*u. Is x prime?
True
Is (787593/4)/(-17)*4/(-3) a prime number?
True
Is 7/(11 - -10) + (-17816)/(-3) a prime number?
True
Suppose 5267 = 7*v - 6584. Is v composite?
False
Let o = 16 + -20. Let m be 2/o + (-2315)/10. Let r = m + 703. Is r a composite number?
True
Let p(o) = -2*o + 19. Let g be p(8). Suppose -2*d + 1753 = g*i, -5*i + 2915 = -2*d + 7*d. Is i a composite number?
False
Let y be (4 - 11)*(-54)/21. Suppose 5*n + y - 3 = 0. Is 2238/15 + n/15 a composite number?
False
Let i(m) = 38*m**3 - 4*m**2 + 3*m - 1. Let y = -27 + 34. Suppose a + y = 9. Is i(a) a prime number?
True
Suppose -106276 + 35891 = -5*j. Is j a prime number?
False
Suppose 3*v = 8*v - 30. Let r(t) = 60*t + 17. Is r(v) composite?
True
Let j be (-12)/(-7)*(-126)/(-12) + 0. Let a(x) = x**2 + 19*x - 17. Is a(j) a prime number?
False
Let g(v) = -3*v**3 + 8*v**2 - 71*v - 55. Let z(p) = -p**3 + 3*p**2 - 24*p - 18. Let a(k) = 3*g(k) - 8*z(k). Is a(-13) a composite number?
True
Let g(c) = -c**3 - 2*c**2 + 3*c. Let d be g(-3). Suppose d = -5*j - 4*n + 5583, j - 6*j = n - 5577. Is j a composite number?
True
Suppose 22*h = 17*h - 5*a + 598950, 5*a = 4*h - 479115. Is h composite?
True
Suppose 0 = -27*s - s + 266756. Is s a prime number?
False
Suppose 2*g - q + 5 = g, -4*g + q - 29 = 0. Let n = -4 - g. Is 593/7 + n/14 a prime number?
False
Let x be 24/(-16) - (-30)/4. Suppose -p = -2*s + 3, -2*s - 4*p + 12 = -x. Is (-4 + 2 + s)*791 a prime number?
False
Let n = -291 - -522. Let b(f) = -4*f**3 + f**2 + 2*f + 8. Let v be b(-6). Suppose x - n = -2*c - 2*c, -2*c = 4*x - v. Is x a composite number?
False
Suppose -v = 23*v - 52344. Is v prime?
False
Suppose 0 = o + 5976 - 14098. Let p = -5793 + o. Is p a composite number?
True
Let m(t) = t - 3. Let y be m(7). Suppose 8*k - 8 = y*k. Suppose k*c + c = 21. Is c composite?
False
Let y = -1416 + 2735. Is y composite?
False
Suppose 2*t + 3*m = 49195, 2*t - 5051 = 5*m + 44120. Is t a composite number?
False
Let x be -2 + 1 + (-1964)/(-4). Let m be ((-1486)/2)/(9/(-9)). Let j = m - x. Is j a prime number?
False
Suppose -3*p + 1612 + 991 = -4*n, -5*n = 2*p - 1720. Is p a prime number?
False
Let p(u) = -6*u**3 + 0*u**3 + 5*u**3 - 2*u**2 - 4*u**2 + 20 + 10*u. Is p(-13) a composite number?
True
Suppose 0 = -13*q + 12*q - 3. Let z be (-40)/q + 10/(-30). Is 2 + 0 + z + -1 prime?
False
Suppose 21*z = 17345 + 406414. Is z a composite number?
True
Suppose -2*g - 3*g + 15 = 0. Suppose 0*m = 7*m - 1869. Suppose g*h = -4*d + 2603, -d + 375 + m = -h. Is d composite?
False
Let t(s) = 185*s**2 - s + 1. Let p(c) = 8*c + 4. Let z be p(-1). Is t(z) composite?
True
Is (-4)/3*(-590106)/88 composite?
False
Let l = 2411 - -170. Is l a composite number?
True
Let y(m) = -4171*m + 803. Is y(-8) a composite number?
False
Let a = -98061 + 206768. Is a a composite number?
False
Is (-855085)/(-28) + (-6)/(-24) a composite number?
False
Suppose 5*v + 0*v - 37760 = -5*f, -22653 = -3*v - 4*f. Let g = 10778 - v. Is g composite?
True
Let t = 43 + -39. Suppose x = -t*x + 1055. Is x composite?
False
Let q(a) be the second derivative of -9*a + a**4 + 0 - 7/2*a**2 - 5/6*a**3. Is q(-4) prime?
False
Is 0 + (-16)/32 + (-29943)/(-2) a prime number?
False
Suppose 8*v - 31529 - 1767 = 0. Is v a composite number?
True
Suppose 3*f - 4*r - 196 - 398 = 0, r = -2*f + 407. Suppose -3*q = -s + f, 0 = -0*s - 4*s - 4*q + 728. Is s composite?
True
Suppose -6 = -5*c - h, -14 = 2*c + 3*h - 6. Let w be (1 - 2)*2/c. Let i = 3 - w. Is i composite?
True
Suppose 2*x + 15 = 5*x. Let y be 2/x + 12528/30. Suppose 4*z - z - 667 = -4*s, -2*z + 4*s = -y. Is z a prime number?
False
Let f(c) = 14*c - 2 + 5*c + 5*c + 60*c**2 - 25*c. Is f(-3) prime?
True
Let i be 3523/(-91) - (-2)/(-7). Let x = i + 250. Is x prime?
True
Suppose 0*x = 2*x - 8. Let o be ((-221)/2)/((-2)/x). Suppose 0 = 5*m - 916 + o. Is m a composite number?
False
Let u(j) = -284*j - 47. Let v = 43 + -49. Is u(v) a prime number?
True
Suppose -p + 0*p = 2*i - 3665, -4*i + 2*p + 7350 = 0. Is i a composite number?
True
Let j be (1 - 2)/(-1) - -5226. Suppose -5*f = -2*z - 0*f + j, 5*z - 13053 = -2*f. Is z prime?
False
Let p = 2411 + 3468. Is p a prime number?
True
Let l(g) be the second derivative of -g**5/20 + 2*g**4/3 - 7*g**3/6 + 3*g**2/2 - g. Suppose -91 = -58*h + 71*h. Is l(h) a composite number?
False
Suppose 13984 = 6*q - 2*q. Let r = -2025 + q. Is r a composite number?
False
Let m = 15 - 15. Suppose 9*j = -3*u + 4*j + 149, m = 2*u - 5*j - 66. Suppose -f + 2*f = u. Is f a prime number?
True
Let a(g) = -3*g - 1. Let t be a(1). Let l be 110 - (t - -3)*0. Suppose 2*j + 36 = l. Is j a composite number?
False
Is ((-156)/(-54))/(4/(-6))*-12459 prime?
False
Let x = -285 + -143. Suppose 0*q + 5*q + 805 = 0. Let f = q - x. Is f a composite number?
True
Let a(x) = 54*x + 17. Let j = -101 - -106. Is a(j) prime?
False
Let f be (-3 + 11)*5/10. Suppose 3*q + 4*u + 14 = 0, 0 = f*q - 3*u + 1 + 1. Is (108 + (0 - q))/2 prime?
False
Let y(g) = -2*g + 95. Let j(r) = 4*r + 8. Let n be j(-5). Let u = 12 + n. Is y(u) composite?
True
Suppose -x + 4*x = 12, 5*a = 3*x + 178. Suppose 0 = 5*f - 593 + a. Let d = 22 + f. Is d composite?
True
Suppose -4 = -4*g - 36. Let m(w) = 4*w**2 + 10*w - 15. Is m(g) composite?
True
Suppose -j - 3*t - 1 = -4*t, -2*j - 2*t - 2 = 0. Let s(z) = -z**3 + 2*z**2 - 1. Let y be s(j). Is ((-1)/y)/(3/(-678)) a prime number?
True
Suppose 5*u - 9 = 3*w, -5*u + 19 = 4*w - 2*w. Suppose -v = -w*o + 613, 2*v - 303 = -o + 6*v. Is o prime?
True
Is (2 + 0)/(-8*(-6)/310920) composite?
True
Is (41024/(-8))/(-8) + 0 a composite number?
False
Let c(w) = -718*w**3 + w**2 - 1. Is c(-1) a prime number?
False
Let h = 33328 + -21990. Is h composite?
True
Suppose -123789 = -5*u + 4*x, -8219 = -3*u - 2*x + 66050. Is u a prime number?
False
Let g(h) = 2*h**2 - 44*h + 31. Let d be 2 + 1 - (1 - 24). Is g(d) a composite number?
False
Let z be (-176)/(-18) - 38/(-171). Suppose 2*u + z = 0, -2*c + 0*u = 3*u - 2503. Is c prime?
True
Let b(j) = 14*j**2 - 8*j + 17. Let s be b(-12). Suppose -3*x - 2460 - s = -4*i, -4*x = i - 1171. Is i a prime number?
True
Suppose 5*h + 42 = 3*h. Let v be (-6)/h + (-192)/(-14). Let o(s) = 12*s - 19. Is o(v) prime?
True
Suppose -161979 = -5*b + 2*k, -k = -4*b + 5*b - 32400. Is b a composite number?
True
Let f be (0 - -4) + 8/1. Suppose -f = g - b - 109, -b + 283 = 3*g. Is g a prime number?
False
Suppose 4*u + z - 133782 = 0, -5*u + 131919 = 5*z - 35316. Is u a prime number?
False
Let h be -9 - ((-1 - 0) + 2). Is 181 - (-5)/h*-8 a composite number?
True
Let t = -2235 + 3954. Suppose 0 = 6*r - 15*r + t. Is r a composite number?
False
Let b = 2629 - 1086. Is b a prime number?
True
Let r be (45 - 48)*-34*(-139)/6. Let j = r + 3406. Is j a composite number?
True
Is (-1 - -12)/(11 + 6384/(-581)) prime?
False
Let r(v) be the first derivative of 7*v**2/2 + 13*v 