*r = -959 - 418. Is (r/(-36))/(2/(-8)) prime?
False
Is (1496 - -1)/(-27 + 30) a composite number?
False
Suppose -62 = -m + 33. Is m a prime number?
False
Let g(r) = -7300*r - 83. Is g(-3) prime?
True
Let k = -11 + 14. Let f be 13 - (-5)/((-5)/k). Is f/(-25) + (-794)/(-10) composite?
False
Suppose 34*t - 27*t = 58471. Is t prime?
True
Let h(y) = -185*y**2 + 5*y + 1. Let k(p) = -184*p**2 + 6*p + 2. Let z(d) = -4*h(d) + 3*k(d). Let v be z(3). Is v/32 - 1/(-4) composite?
False
Let k(q) = q**2 + 12*q + 14. Let i be k(-11). Suppose -i*x - 28 - 5 = 0. Let c = 176 - x. Is c composite?
True
Let n(y) = 954*y**2 + 4*y - 89. Is n(-5) prime?
True
Suppose -802551 + 54108 = -69*c. Is c a prime number?
True
Let d(y) = 27 - 40*y - 40*y - 10*y - 19*y. Is d(-10) composite?
False
Let h = -7 + -6. Let i be 41/13 - (-2)/h. Suppose 3*q - 177 = i*p, -q + p + 67 = -2*p. Is q prime?
False
Let r(n) = -n**3 + 7*n - 2. Let g be r(-5). Suppose 1007 = v + g. Is v a composite number?
False
Let o be 128/60 + 2/(-15). Suppose -r = n - o, r + 2*n + 20 = 3*r. Is r a prime number?
False
Suppose 6*b = b + 10. Suppose 1412 = 4*x - k + b*k, 3*x - 1074 = 3*k. Let w = -95 + x. Is w prime?
False
Let p = 6231 + 53512. Is p a composite number?
False
Let i(d) = -2976*d - 139. Is i(-5) a prime number?
True
Let r be -1*(2 + -3)*2. Suppose -w + r*w = -2*x + 1077, -4368 = -4*w + 4*x. Let q = -614 + w. Is q prime?
False
Let j be 1/((-20)/8 - -3). Suppose -u + w = -7, 8 = -3*u + j*w + 26. Suppose k = u*k - 42. Is k composite?
True
Suppose -x + 2758 = -5*f, x + 10*f = 5*f + 2788. Suppose 0 = -2*n + n + x. Suppose -5*c - n = -4*l, 5*c + 1903 = 3*l - 173. Is l a prime number?
False
Let a = -22 - -24. Suppose 0 = -3*x - y - 429, -a*y - 574 = 3*x + x. Let l = -48 - x. Is l a prime number?
False
Let s(b) = b**2 - 5*b - 4. Let v be s(6). Let m(k) = -5*k**3 + k**2 + k + 1. Let i be m(-1). Suppose 0 = v*r - i*r + 212. Is r composite?
False
Let k be (-1)/(-6) + 39097/(-6). Is (-2)/8 + k/(-16) composite?
True
Let b be (-162)/270 + (33/5)/1. Let m(x) be the third derivative of x**6/120 - x**5/15 + x**4/12 + 5*x**3/6 - x**2. Is m(b) a composite number?
False
Let h(j) = 3*j**2 - 10*j + 6. Suppose -2*t = -4*a - 26, 2*a = -t + 1 - 0. Is h(t) a prime number?
True
Suppose 2*f + 0 - 10 = 0. Suppose -68 = -2*j - 3*i, 5*i = -f*j - 12 + 177. Suppose w - j = -3*d, 4*d - w + 2*w = 41. Is d composite?
True
Is (-10630)/(-2) + 316/(-79) a prime number?
False
Suppose -p + 2440 = -13053. Is p a composite number?
False
Suppose b = 6*b - 130. Suppose 2*q + b = 5*s, 0*s = 4*s - 2*q - 22. Is (0 + 2/s)*494 composite?
True
Let d(i) = i**3 + 19*i**2 - 23*i - 48. Is d(-19) prime?
True
Suppose 2*w = -t + 980, 0 = -3*w + w + 2. Let v be 0/13 + t/2. Suppose 0 = -3*n + 15, v = l - 3*n - 2*n. Is l composite?
True
Let h = -104435 + 169392. Is h prime?
False
Let r(c) be the first derivative of 454*c**4 - c**3/3 + 2*c - 12. Is r(1) composite?
True
Suppose 3*m - 21 = -2*l - l, 3*m - 17 = -2*l. Suppose 0 = -m*g, -3*a - 3*g = -5 - 1. Is a/(-2) - (2 + -26) prime?
True
Let v be (6/(-5))/(-2)*5. Let m(q) = 9 + q - v*q + 8*q + 4*q. Is m(7) a prime number?
True
Suppose -26214 = -5*h + 3*c + 98525, -2*c = -2*h + 49898. Is h a prime number?
False
Let u = 794 + -564. Suppose 2*h + u = 2*t, 0*h + 20 = 5*h. Is t a composite number?
True
Let g = 115 - 111. Suppose 2*t = -0*y - g*y + 934, 2*y = -4. Is t a prime number?
False
Let n(d) = -d + 26. Let b be n(13). Suppose 12*o - b*o = 10. Is (-16677)/(-45) - 4/o a composite number?
True
Suppose 2*s + 3*n - 1892 = -2*n, -n = -3*s + 2855. Let u be -11 + s + -1 + 1. Let a = 1929 - u. Is a a prime number?
False
Suppose -4*n - 4*m = -5900, 0 = -4*n + 4*m - 5*m + 5888. Is n composite?
False
Let l(q) = 287*q**2 - 11*q - 13. Let d(t) = -144*t**2 + 5*t + 6. Let i(n) = -13*d(n) - 6*l(n). Suppose 3*b = -6 + 3. Is i(b) a prime number?
True
Suppose -21*b + 33 = -24*b. Let x(i) = -66*i + 11. Is x(b) a composite number?
True
Let b = -974 - -978. Suppose 0 = -g - 0*g + 3. Is g - b - -3 - -53 composite?
True
Let p(s) = -8*s + 54. Let f be p(6). Is (3 - 1481)*f*(-3)/12 a composite number?
True
Let o be (-1)/3 - (-55)/(-15). Let h be o/14 - (-12)/42. Suppose h = m + m + 5*c - 41, 3*m = 3*c + 30. Is m a composite number?
False
Let p(q) = q**3 + 3*q**2 + 2*q + 3. Let n be p(-3). Let o(y) = -y**3 - 4*y**2 + y + 4. Let b be o(n). Is (586/b)/((-12)/48) a composite number?
False
Let i = 886 + 2073. Is i a prime number?
False
Let l be (652/6)/((-14)/(-21)). Suppose l = -20*d + 21*d. Is d composite?
False
Let w(p) = -2*p + 1705. Let f = 0 - 0. Let q be w(f). Is 4/(-16) + q/20 a prime number?
False
Is 8/((-8)/(-3439)) - 0 a prime number?
False
Suppose -2*k = -2, 4*g = 13*k - 9*k + 35248. Is g composite?
True
Suppose -273331 = -16*o - 29699. Is o a prime number?
True
Let x(l) = l**2 + l + 5. Let r = -115 + 45. Let p be 37/5 + (-42)/r. Is x(p) a prime number?
False
Let v(h) = -28*h**2 + 2*h - 2. Let u be v(1). Is 1*((-2)/(-8) - 16149/u) prime?
True
Suppose -3*t - 5*q + 13533 = -24245, -4*q + 50384 = 4*t. Is t a prime number?
True
Suppose -3759 = -2*q + 7011. Suppose -5*u = 1430 - q. Is u prime?
False
Let c(o) = 2*o + 2. Let b(l) = l + 1. Let m(i) = 6*b(i) - 4*c(i). Let r be m(-2). Suppose 125 = 7*h - r*h. Is h prime?
False
Let y = 1468 + -740. Let w = y - -311. Is w a composite number?
False
Let k(b) = -62*b + 9. Let a be k(-6). Suppose a = 3*m - 249. Let t = -97 + m. Is t prime?
True
Suppose -4*r - 11*r + 5*r = 0. Suppose 4*l - 8 = 6*l, r = 5*b + 3*l - 5533. Is b a prime number?
True
Let o be 870/(-2) - 6/6. Let t = 21 - o. Is t a prime number?
True
Suppose 11*y - 9 = 8*y. Suppose -877 = -y*l - 4*n, -3*l + 5*n + 577 = -l. Is l a composite number?
True
Let q(k) = 2162*k**2 - 45*k + 5. Is q(2) a prime number?
True
Let o = 10323 + 3904. Is o composite?
True
Is (-277806)/(-4)*(-101 + 103) a composite number?
True
Suppose -12*n = -11*n + 44. Is (-2)/8 + (-3047)/n a composite number?
True
Let g = 83 - 86. Let k(s) = 47*s**2 + 5*s + 11. Is k(g) composite?
False
Let p(a) = 145*a**2 + a + 3. Let d be p(-4). Let b = d - 478. Is b prime?
False
Let j(w) be the second derivative of -w**3/3 + 3*w**2 - 3*w. Let m be j(5). Is ((-932)/2)/(m - -2) prime?
True
Suppose -2*j + 10 = 0, -2*y - 2*j + 2623 - 439 = 0. Is y prime?
True
Let y = -7743 - -26744. Is y prime?
True
Suppose -x - 3*h + 3 = x, 9 = -3*h. Is (14/x + -3)*(-4572)/8 composite?
True
Suppose n + 0 = 2. Suppose 6*z = n*z + 8. Is z*-1 - (-74 - 7) prime?
True
Is 2/10 - (-591102)/15 a composite number?
True
Suppose -2*k + 29 = -3*y, -2 = -2*k - 5*y + 3. Is 2 - -26*145/k a prime number?
True
Let i(x) = 2*x**2. Let t be i(-1). Suppose 2*b = t*v - 190, 0 = -v + 4*b - 31 + 120. Is v a prime number?
True
Let p = -3243 - -6164. Is p prime?
False
Suppose w - 3 = 3*p + 54, 3*w - p = 171. Suppose -16 = 4*i - 8*i. Suppose i*m = 27 + w. Is m prime?
False
Let n(x) = x**3 - x**2 - x + 3. Let d be (-2)/(-1) - (-4 - -6). Let w be n(d). Is -2 - 69/(-3)*w composite?
False
Let i(n) = -4*n**3 + n**2 + 2*n + 2. Let k be i(-1). Suppose 2*y - m - 4 = 3*y, y = -k*m - 20. Suppose -2*w + y*w + 362 = 0. Is w prime?
True
Let s(y) = -425*y**3 - y**2 - 2*y - 1. Let d be (-4)/3 + (-12)/(-36). Let w be s(d). Suppose w = 3*u - 634. Is u a prime number?
True
Suppose -4*w - 52*s + 47*s = -73339, 5*w - 91730 = 5*s. Is w prime?
True
Suppose -2*x = -2*l - 221 - 273, -2*x = 4. Let p = l - -560. Is p prime?
True
Suppose 2507 = 5*h + 2*m - 2788, 3156 = 3*h - 3*m. Is h a composite number?
True
Is 1216 - (4 + (1 - 6)) composite?
False
Let o(u) = 66*u - 32. Let h be o(6). Suppose 18*r = 22*r - h. Is r prime?
False
Suppose 3 = 2*v + 3*w, -5*w + 2*w = 4*v + 9. Is (21/v)/(-7) + (-129)/(-6) composite?
True
Let b(n) = 4*n - 1. Let d = -15 - -19. Let o be b(d). Let l = o - -16. Is l a prime number?
True
Let g(o) = -342*o + 155. Is g(-17) prime?
False
Let t be 1/((-3)/(-3156)*2). Suppose -g + 268 = -t. Suppose 4*b = 18 + g. Is b a composite number?
True
Let i(g) = -g**2 + 54*g + 20. Is i(31) composite?
False
Suppose -4*f - 2882 = -194. Let r be ((-21)/4)/(7/f). Suppose 2*t - r = -98. Is t prime?
False
Let q(d) = 27*d**2 + 41*d - 1. Let j(v) = -25*v**2 - 41*v. Let a(f) = -3*j(f) - 2*q(f). Is a(7) composite?
True
Suppose 0 = -4*c - m + 3*m + 32