 5*p + 2*y = 284. Is p composite?
True
Let b be 12/(-16) - 35/(-20). Suppose -4*v + 41 = b. Is (-5 + v)/(3/411) a prime number?
False
Suppose -3262 = 14*c - 26936. Suppose -2*b = b - 5*l - c, 0 = -3*b + 3*l + 1683. Is b a composite number?
False
Let l(r) = -3*r**3 - r**2 + 3*r + 76. Let x(v) = -v**3 + v + 25. Let j(t) = 2*l(t) - 7*x(t). Is j(7) prime?
False
Suppose 4*a - 91 - 29 = 0. Suppose -3*m - 4*g = 32, 0 = 5*m - 9*g + 4*g + a. Is (-2)/m - 12695/(-20) a composite number?
True
Suppose 4*w - 56473 = -24*l + 21*l, 4*l = -4. Is w prime?
False
Let q(w) = w + 7 + 2 + 2. Let b be q(-15). Let t(g) = -94*g - 5. Is t(b) composite?
True
Let y(s) be the third derivative of -s**7/42 - s**6/90 - s**5/40 + s**4/12 + 5*s**3/6 - s**2. Let n(x) be the first derivative of y(x). Is n(-3) a prime number?
False
Let y be ((-15)/(-10))/(15/20). Suppose -2*k - y*a + 150 = 0, -5*a + 20 = -0*a. Is k prime?
True
Let w = 87 + -48. Let s = 2000 - w. Is s composite?
True
Let j = -37 - -61. Suppose m + 4 = 2*r, 3*m + 8 = -r + j. Suppose m*z + 2*g - 88 = 4*g, -3*g = z - 22. Is z composite?
True
Let r(i) = -154*i - 33. Is r(-13) a prime number?
False
Let d be (-4)/2 + (2 - 0). Suppose d = -y + 481 + 105. Suppose y = 3*v - v. Is v prime?
True
Let l(q) = -9 + 1 - 22 + 14*q + 3*q. Is l(7) a prime number?
True
Suppose 0*u + 20136 = 3*z + 3*u, -u = 4*z - 26839. Is z prime?
True
Let w be (-96)/(-15) - (-2)/(-5). Suppose w*k - 3*k = 177. Is k prime?
True
Is (-2 + (-9234)/(-48))*8 composite?
False
Let g(b) = -3815*b**3 - 3*b - 1. Is g(-1) composite?
True
Let y = 4988 + 5913. Is y a composite number?
True
Suppose 12*u - 10*u - 6 = 0. Is u/6*748 - (0 - -1) a prime number?
True
Suppose -187028 = -14*u + 48326. Is u composite?
False
Suppose -2 = -4*f + 10. Let a = -1052 - -1698. Suppose x - 223 = -f*y, 246 + a = 4*x - 2*y. Is x prime?
True
Suppose 6 + 13 = 3*b + 2*o, b = 2*o + 1. Suppose -3*j - 246 = b*r, 7 = -3*j + 1. Let y = r - -125. Is y prime?
False
Let r(u) = u + 877. Let w be r(0). Suppose o + w = 4*o - b, -2*b + 1469 = 5*o. Is o a prime number?
True
Suppose 4*y + 571 = -377. Is 34*y/(-30) + (-6)/(-15) a composite number?
False
Let k(a) = 8328*a - 1. Is k(1) a composite number?
True
Let b(a) = 6*a**2 - 26*a - 123. Is b(-4) a prime number?
False
Let c = 42957 - -4058. Is c prime?
False
Suppose -9*y = -12 - 24. Is 3/y - ((-147)/12 - 6) prime?
True
Let l = 18 - 15. Suppose -f + l*m = 2*m - 1430, -2*m + 7122 = 5*f. Suppose 5*d - f = 219. Is d a prime number?
False
Let x = 35557 + -6146. Is x a composite number?
False
Let t(j) = -j**2 - 8*j + 5. Let u be t(-8). Suppose -2*c = -u*c + 4338. Suppose 7*o = 563 + c. Is o composite?
True
Let r(o) = o**3 + 59*o**2 + 12*o + 41. Is r(-53) composite?
True
Let l = 48 + -45. Suppose l*t - t - 356 = 0. Is t a prime number?
False
Let j(c) = c**2 + 9*c - 10. Let w be j(-11). Suppose -3*p + 3*i - w = -0*p, -i + 4 = -3*p. Suppose -z - 5*f + 410 = p, f - 2*f + 3 = 0. Is z a composite number?
True
Let y(b) = 16*b**2 - 5*b - 3 - 85*b**2 + 0*b. Let o(h) = 23*h**2 + 2*h + 1. Let x(m) = -8*o(m) - 3*y(m). Is x(-5) a composite number?
True
Let h = -11 + 15. Suppose -5*u + h*u = -701. Is u a prime number?
True
Let m(b) = -4*b + 48. Let q be m(11). Suppose 879 = -t + q*t. Is t prime?
True
Let w(x) = -x**2 - 21*x - 8. Let n be w(-15). Suppose 15 - n = -f. Is f a composite number?
False
Let k = 4513 + 1054. Is k prime?
False
Let g be 159 + 4*(-9)/(-12). Let r = -100 - g. Let f = -185 - r. Is f composite?
True
Is ((-5)/15)/(3/(-210591)) composite?
False
Let z(j) = j**2 + 6*j - 8. Let c be z(-6). Let n(w) = -11*w + 3. Is n(c) composite?
True
Let u(m) = 3*m**2 - 2*m + 2. Suppose 0 = 2*n - 4*n + 118. Suppose -24 + n = -5*r. Is u(r) a prime number?
True
Suppose f = 0, -3*q + 2*f = -1954 - 461. Suppose 6*k - q = k. Is k a composite number?
True
Suppose -1437 = 4*s - 5*s. Suppose -s = -4*y - 273. Is y a composite number?
True
Let z(x) = -97*x**3 + 4*x**2 + 4*x + 3. Is z(-2) composite?
False
Suppose 64171 = 2*i + 3*j, 4*j + 98339 = 5*i - 62146. Is i composite?
True
Suppose 18*n - 26*n = 0. Suppose 3*w + r - 14950 = 0, -3*w - 3*r + r + 14945 = n. Is w composite?
True
Let b(j) be the second derivative of j**4 - j**3/6 - j**2 - 37*j. Let c be (-2)/(-4)*0 - -5. Is b(c) a composite number?
False
Let m(u) = u + 8. Let k be m(-6). Let l = 106 + -76. Suppose -k*s + l = s. Is s a composite number?
True
Suppose 0 = -2*l - 4*l + 24. Suppose -l*o + 1825 = -1107. Is o composite?
False
Let j(c) = 54*c - 1. Suppose 3*v + 7 = 5*b - 16, 0 = -5*b + 5*v + 15. Is j(b) a composite number?
True
Suppose 2*d = -3*b + 10, 5*b = 4*d - 0*d - 20. Suppose 3*r - 6*r - 10035 = v, -5*v = b. Is ((-2)/2)/(15/r) prime?
True
Let y(z) = -z**3 + 13*z**2 + 8*z - 15. Let c(g) = 14*g - 46 + 38*g**2 - 12*g + 5*g + 18*g - 4*g**3. Let v(o) = -2*c(o) + 7*y(o). Is v(-12) prime?
True
Suppose -d - 3*d + 16 = 0. Suppose 2*j - 3*j + d = 3*v, -5*v = 5*j - 20. Suppose 0 = 3*r - j*r + 127. Is r composite?
False
Let k(s) = 2*s + 6. Let x be k(12). Let z(m) = -m - 5. Let n be z(-5). Suppose -5*u + x + 35 = n. Is u prime?
True
Suppose -2*m + 4*l + 24 - 2 = 0, 5 = m - 5*l. Let x(w) = 142*w + 23. Is x(m) a prime number?
True
Suppose -362 + 142 = -5*q. Is ((-22)/q)/(1/(-2122)) a prime number?
True
Suppose 63*l - 135765 = 18*l. Is l composite?
True
Is (-10)/(-75) - (-149465)/75 composite?
False
Let s(l) = -199*l**2 - l. Let a be s(1). Is 4/(-18) - a/9 a composite number?
True
Let t(w) = -w. Let c = -1 + -4. Let f be t(c). Is f/(20/12)*31 a prime number?
False
Suppose -f = -15*f + 12754. Is f composite?
False
Let r = -12 - -1. Let b(l) = l**3 + 12*l**2 + 11*l - 5. Let m be b(r). Let o(w) = 10*w**2 - 4*w - 1. Is o(m) a prime number?
True
Is 1 - ((-5162)/4 + (-75)/30) a prime number?
False
Is (-12)/9*(-448515)/60 composite?
False
Suppose -4*g + 5*f + 4187 = -g, 5590 = 4*g - 3*f. Is g prime?
True
Suppose 5*m + 127 = 4*h, 2*h + m + 1 = 82. Suppose -3*k + 4 = -h. Suppose -2*r = -3*r + k. Is r prime?
False
Suppose q + 31862 = -4*v, 0 = v - 3*q + 9491 - 1532. Let g = 12512 + v. Is g prime?
True
Let m = 97515 + -68741. Is m composite?
True
Suppose -2*i + 0*i + 12 = -3*q, -4 = 2*q. Suppose 0 = u + 2*v + i*v - 445, 1335 = 3*u + 4*v. Is u a prime number?
False
Let n(k) = 10*k**2 - 2*k + 5. Let h = 33 + -30. Let r = h - -1. Is n(r) a composite number?
False
Suppose 139 - 1240 = -3*t. Let d = 578 - t. Is d a prime number?
True
Let v(l) = -l**2 - 12*l + 16. Let o be v(8). Let z = -726 - -379. Let g = o - z. Is g a prime number?
False
Let o(d) = -3*d - 20. Let u be o(-9). Let m(r) = 11*r - 17. Let t be m(u). Suppose -785 + t = -5*g. Is g composite?
True
Suppose -7*d + 14*d = 77119. Is d prime?
False
Suppose -5*u - g = -11828 - 36529, 0 = 2*u + 4*g - 19350. Is u prime?
False
Let j be (-2)/(-1) - (-6006)/7. Suppose -3*v + 2005 = -j. Is v a composite number?
True
Suppose 0 = 5*z + 5*f - 19125, 5*z - 12365 = 2*f + 6739. Let o = z - 2253. Is o composite?
True
Let h(b) = -b**2 - 10*b + 1. Let k be h(-8). Suppose v + k = 50. Let r = v + -10. Is r a prime number?
True
Let o = 23 - 20. Suppose -19 = -o*j + n, 3*j - 37 = -2*j - n. Let c(r) = 8*r + 2. Is c(j) composite?
True
Let i(t) = -194*t + 113. Is i(-16) a prime number?
True
Let q(m) = -26*m**3 - 3*m**2 + m + 1. Let s be (-5 - 99/(-21)) + (-19)/7. Is q(s) a prime number?
True
Suppose -5*s - 1774 - 1189 = 3*n, 2*s + 1182 = -2*n. Let d = s - -906. Is d composite?
False
Suppose 6*x + 108 = 2*x. Let l = x + 30. Suppose 0*h = l*h - 573. Is h prime?
True
Let s be -4 - (1 - 1)/1. Is (9/(-3) - (s - -4)) + 260 a prime number?
True
Suppose -5*w = 3*g - 24166, 5*g = 5*w - 3*w - 9685. Is w a composite number?
True
Let h(m) = -3*m + 1. Let t be h(-1). Let s(v) = 649*v + 35. Is s(t) a prime number?
False
Let k be (-5 + 23)/6 + 3339/1. Suppose -13*z - k = -19*z. Is z a prime number?
True
Let s be (10/15)/((-1)/(-9)). Let v = 10 - s. Suppose v*f = 497 - 21. Is f a composite number?
True
Suppose -10*y = -7203 - 8357. Suppose -6*c = -5870 + y. Is c a composite number?
False
Let c be (-104)/18 + 6 + (-168)/27. Let l(y) = y**3 + 12*y**2 + 8*y - 2. Is l(c) prime?
False
Suppose 12*q + 25030 = 22*q. Is q a composite number?
False
Let k(x) = 250*x**3 + x**2 + x - 1. Let i be k(1). Let j = i - 488. Let h = j + 746. Is