 9707 = -4*d. Is d prime?
True
Suppose -38*b = -37*b + 3. Let g = -285 - -194. Is g/((-7 - b) + 3) a prime number?
False
Suppose 0 = -2*s - 3*m + 742, -2*s - 2*s = 3*m - 1490. Let w be -18*(30/4)/3. Let f = s - w. Is f prime?
True
Suppose 83731 = 3*r - 4*v, -183*r + 186*r - 83719 = v. Is r a prime number?
False
Suppose 6*v = 2*v + 3*w - 30, -5*v = 5*w + 20. Let f(d) = 4*d**2 - 11*d + 1. Is f(v) prime?
True
Suppose 2*n + 1 = 39. Suppose -4*s - n = h, h = 3*s - h + 17. Let r(u) = -118*u - 3. Is r(s) a prime number?
True
Is (-11 - 12/(-1))/(1/5294) a prime number?
False
Suppose 2*u + 1056 = 4*u. Let s = u + -242. Suppose s = 4*q + q + z, 5*q = z + 294. Is q prime?
False
Suppose 0 = -14*z + 62640 + 106718. Is z composite?
False
Let d be -4*((-10)/(-8) - 2). Suppose 4*a = 2*c - 0*a - 18, 0 = -5*c - a + 23. Is (c - d) + 93 + 2 composite?
False
Suppose -811*w - 62695 = -812*w. Is w a prime number?
False
Suppose -4*y - 2363 + 15899 = -4*o, -3399 = -y - 2*o. Is y composite?
False
Suppose -2*j = j - 207. Suppose -3*f = -6, -y = f - 74 - j. Is y a composite number?
True
Let n be (-7)/(-56) + (-18327)/(-8). Suppose 4*o - n = o + 2*m, 5*o + m - 3814 = 0. Is o a composite number?
True
Suppose 2*z + 4*l = -852, l + 10 = 3*l. Let r(y) = -6*y**2 + y - 6. Let s be r(7). Let q = s - z. Is q prime?
False
Let l = -558 - -953. Is l a prime number?
False
Let w(r) = -193*r - 6. Suppose -2*j = -0*j. Suppose -4*t + 4*a = j, t + 25 = -t - 3*a. Is w(t) a prime number?
False
Suppose 5*r - 1273 = 162. Suppose 0 = -34*p + 33*p + r. Is p a composite number?
True
Suppose 2 + 2 = 2*i. Suppose -g + 5*f = 118, -400 = 4*g - 0*g - i*f. Let s = -61 - g. Is s composite?
False
Let y = 3069 + -2158. Is y prime?
True
Is (14/21)/((-4)/(-56022)) a prime number?
True
Suppose -3*j - 4304 = 5*s - 48730, -4*s = -4*j - 35560. Is s a composite number?
False
Let s = 74 - 44. Is ((-278)/(-4))/(-2 - (-65)/s) composite?
True
Let n(v) = v**3 + 2. Let b(l) = l - 8. Let a be b(8). Let z be n(a). Suppose 4*h - 523 - 637 = -4*i, -3*i = -z*h + 605. Is h prime?
False
Suppose w = -0*v + v - 1, 0 = -w - 4. Let y(j) = j + 6. Let m be y(v). Suppose 0 = -3*f + n - 5*n + 279, m*n = 0. Is f a composite number?
True
Suppose 14 = 3*l - 7. Suppose 2*u = l*u - 2790. Suppose -3*h + 5*b + u = 0, 3*h + 0*h = -3*b + 582. Is h a prime number?
True
Let v = -1020 + 2519. Is v composite?
False
Suppose -2*m + 4*k = -90958, 74*k - 69*k - 181929 = -4*m. Is m composite?
False
Suppose 2*n - 7*n = 5. Let t be (n + 0)/(5/(-12820)). Suppose -896 = 4*z - t. Is z composite?
True
Suppose -1119*t = -1118*t - 877. Is t prime?
True
Let d(v) = -4*v - 15. Let k be d(-6). Is k/(-9)*(-1 + -1116) a composite number?
False
Suppose -5*b + 2710 = -3*b. Let d = b + -478. Is d prime?
True
Let y = -34 + 38. Suppose 1157 = 4*m - o + y*o, -4*m + 4*o = -1192. Is m a prime number?
True
Let q be 24/18*(-837)/(-2). Let f be ((-1)/(-3))/(3/q). Suppose -u + f = u. Is u prime?
True
Suppose 0*f + 20 = -5*f, 3*b = 3*f - 9. Let c = 374 - 294. Is 0 + c - (-6 - b) prime?
True
Let u(b) be the second derivative of 3*b**5/20 - 5*b**4/24 - b**3/3 + b**2/2 - 6*b. Let n(f) be the first derivative of u(f). Is n(4) prime?
False
Let y be (-2)/((-2)/2) + -1 + 2. Suppose -1311 = -5*k + 4*t, -y*k + 3*t + 785 = -t. Is k prime?
True
Suppose -2*f = -3575 - 1091. Suppose 4*g - 3*v = -2*v + 2353, 3*v = -4*g + f. Is g prime?
True
Suppose 11*s - 13*s - 1238 = 0. Is 2 - (-2)/1 - s a prime number?
False
Let i = -59 - -61. Suppose 0 = -r - i*u + 4*u + 317, 5*r - 2*u - 1609 = 0. Is r composite?
True
Let f = 5 - 13. Is (-2)/f*(3 - -1993) a prime number?
True
Let g(p) = -219*p + 35. Let n be g(17). Let h = n + 6299. Is h a prime number?
False
Suppose 4*b + 5891 = 56*j - 55*j, -5*j = -4*b - 29407. Is j a prime number?
True
Suppose -5*s = -4*i - 73, -41 = -3*s + i - 0*i. Suppose -r - 3*h = -0*h + s, 5*r - 5*h - 35 = 0. Let t(v) = 20*v**3 + v + 1. Is t(r) composite?
False
Suppose 4*f - 4*r - 2368 = -6*r, 3*r + 12 = 0. Let p = -415 + f. Is p composite?
False
Suppose o + 6*h - h + 7 = 0, 2*o - 16 = 5*h. Suppose -1512 = -o*z - 471. Is z a composite number?
False
Let m(l) = 2*l**2 - l + 2. Let f be m(-2). Is 1*2065 - (-9 + f) a composite number?
True
Is (-5244473)/(-260) + 6/(-120) prime?
False
Suppose -11 = 4*w + 1. Let b = -2 - w. Let k(m) = 906*m**2 - m. Is k(b) prime?
False
Let i be ((0 - 0) + 1)/((-3)/(-4497)). Suppose u - 5*h = i, -3*h - 1499 = -u - h. Is u a composite number?
False
Let y(d) = d**3 - 5*d**2 - 6*d + 13. Let r = 37 - 19. Let v = -11 + r. Is y(v) a prime number?
False
Let r = -2047 - -5198. Is r prime?
False
Let r(d) = 2179*d**3 - 5*d + 5. Is r(1) composite?
False
Let j(l) = -l**3 + 4*l - 3. Let a be j(2). Let n(y) = 132*y**2 + y + 5. Let x be n(a). Suppose -72 - x = -2*q. Is q a composite number?
False
Suppose -5*x - 5946 = -11*x. Is x composite?
False
Let i be (-24)/(-16)*104/6. Let m = i - 37. Is (-1272)/(-22) + (-2)/m a prime number?
False
Let d(n) = -2*n - 5*n**2 - 1 + 6*n - 6*n. Let r be d(-1). Is (0 - -2)/r*-18 a composite number?
True
Let r = -6 - -16. Let a(v) = -v**3 + 8 + 5 - 2*v + 13*v**2 + 0*v. Is a(r) a composite number?
False
Let v be 4/(-3)*45/(-6). Suppose -v*q - 4005 = -19*q. Is q a composite number?
True
Suppose 8*a = 2*a + 138. Let v = a + -18. Suppose -v*q + 273 = 8. Is q a composite number?
False
Let a = 309 + -71. Suppose a = -2*h + 852. Is h composite?
False
Let s(a) = 25*a + 5 - 25*a - 67*a + 6. Is s(-6) prime?
False
Let t = 8 - 3. Suppose 2763 = t*j - 2. Is j a prime number?
False
Is ((-132)/(-9))/22 - 289/(-3) a composite number?
False
Let c(g) = 11*g**2 - 17*g + 435. Let v(w) = 5*w**2 - 8*w + 217. Let m(k) = -6*c(k) + 13*v(k). Is m(0) a prime number?
True
Let z(t) = 3*t - 10. Let u(r) = 4*r - 9. Let w(p) = 4*u(p) - 5*z(p). Let k be w(-12). Suppose k*i + 0*m = m + 59, i = m + 28. Is i a composite number?
False
Let a(c) = -c**3 - 4*c**2 + 7*c - 8. Suppose 0 = -0*i + 3*i - 9. Suppose -5*x = i*d + 23, 0 = 2*d - x + 11. Is a(d) prime?
False
Suppose -3*r + 83 = -i, 2*i - 5*i + 3 = 0. Suppose 5 = d, -u + 3*u + 4*d - r = 0. Is 2/u - 529/(-2) prime?
False
Let j(x) = 9*x - 5*x + 1 - 3*x. Is j(21) composite?
True
Suppose -2 + 6 = -2*w. Let p(g) = 65*g**2 + 2*g. Let h be p(w). Let b = h - -49. Is b a prime number?
False
Let v(i) = 11*i**2 - 10*i + 11. Is v(6) composite?
False
Let w(k) = -38482*k + 31. Is w(-1) a composite number?
True
Let c = -43 + 180. Let o = 258 - c. Is o prime?
False
Is (-13475 - 81)*(2 + -1)/(-4) a composite number?
False
Let d be (-6 - -4) + 3*4 + -1. Is d/(-3) - (-73 - -1) a prime number?
False
Let j = 4486 + -2080. Suppose q - 740 = u - j, 0 = q - 3. Is u a prime number?
True
Let y(m) = -m**3 - 14*m**2 - 11*m + 1. Let s = -17 - -5. Let l be y(s). Let f = l + 232. Is f composite?
True
Let d be -4 + (0 + 7 - -2). Suppose -d*h + 3*h + 841 = t, 3*h - 4*t = 1245. Is h composite?
False
Suppose -4*o - 111 = -339. Let s = o + -20. Is s prime?
True
Let v(s) = -2*s - 1. Let u be v(3). Let k = u + 3. Is ((-1)/k)/((-11)/(-132)) prime?
True
Let v(m) be the first derivative of m**5/20 + m**4/12 - m**3/6 + 129*m**2/2 - 4*m - 5. Let a(u) be the first derivative of v(u). Is a(0) prime?
False
Suppose -p + 3*q = -0*q + 34, q = 3*p + 134. Is (-8 + -2)*p/4 prime?
False
Let i be 140/6 + 22/33. Let v be (i/28)/((-2)/(-238)). Suppose 118 = 4*f - v. Is f composite?
True
Let h = -3387 + 6893. Is h a composite number?
True
Let r = -30 + 46. Suppose 18 = -2*m + r. Is (0 - 209 - 2)*m a prime number?
True
Let u(z) = -z**2 - 8*z + 10033. Is u(0) a prime number?
False
Suppose 0*u + 8660 = 2*u + 3*w, 4*w - 17316 = -4*u. Is u prime?
True
Let b = -53 - -57. Suppose m = -5*g + 226, b*m + 4*g + g - 904 = 0. Is m prime?
False
Suppose 0 = 4*s - 0*s - 620. Is s prime?
False
Suppose -4*z - 1356 = -4*s, 2*s + 2*z - 911 = -241. Let f = s + -210. Is f composite?
False
Let g(p) = -11*p**3 - 5*p - 11. Let v(r) = -5*r**3 - 2*r - 5. Let s(f) = 4*g(f) - 9*v(f). Let c be s(-2). Is -3*c/(-3) - -164 a composite number?
True
Let z be 27/(-12) + (-4)/(-16). Let d = 14 - z. Suppose -19*w + 2973 = -d*w. Is w a prime number?
True
Let a be -2*2/10 - (-108)/(-5). Let y(u) = -6*u - 26. Is y(a) a composite number?
True
Suppose 3*y - 11 = 25. Let t be 6/(-4)*2696/y. Let p = -50 - t. Is p 