e number?
True
Let f(w) = 11*w**2 + 8*w - 4. Suppose -5*u - 47 = 4*v, 1 = -4*v - 11. Let o be f(u). Let x = o - 256. Is x prime?
True
Let c(b) = 742*b - 20. Let s be c(4). Is s/14 - (-36)/84 composite?
False
Is 1 - (21/2)/((-3)/420) a prime number?
True
Let x(t) = 11378*t**2 - 16*t + 15. Is x(1) a composite number?
True
Suppose -9*y + 14*y - k = 117291, -4*y + 93848 = 3*k. Is y a composite number?
False
Let z = 377 - 230. Suppose z*m - 144*m - 387 = 0. Is m a prime number?
False
Let i = 61 + 311. Let j = -187 + i. Is j composite?
True
Let q = 20 - 5. Let k(a) = -3*a**3 + 51*a**2 + 8*a + 1. Is k(q) composite?
False
Let r(h) = 5*h**2 - h + 12. Is r(-26) prime?
False
Let o(q) = 3*q**3 + 1. Let l be o(1). Suppose 0 = 4*m + l*j - 772, m = -0*m - 3*j + 197. Is m prime?
True
Let q(h) = 1254*h**3 + 6*h**2 - 5*h - 2. Is q(3) composite?
True
Let j be -15*(2 + 46)/(-3). Let y = j + 153. Is y composite?
True
Is (-50785021)/(-343) - 2/7 composite?
False
Suppose 0 = -16*u + 14*u + 22. Suppose -u*w + 11667 = -8650. Is w a composite number?
False
Let m(h) = 10*h**2 + 16*h + 73. Is m(-19) composite?
True
Let o(w) = 22*w + 10113. Is o(0) composite?
True
Let q be (-1)/((-2)/(-188)*-2). Suppose -2*v = -3*v + 64. Let p = v + q. Is p prime?
False
Is 3 + (-1730)/(-4 - -2) + -3 a prime number?
False
Suppose a = -4*a - 4*d - 42, a - d = -12. Let j = a - -12. Suppose 4*n - 15 + 445 = j*o, 2*o + 5*n = 466. Is o composite?
False
Let a = -10 - -3. Let f be -1*1*0/a. Suppose q = 2*q - 2*w - 379, f = 5*w. Is q a prime number?
True
Let d(h) = -h**2 + 2*h + 2. Let p be d(0). Suppose 0 = -q + y + p*y + 121, -5*q + 605 = 4*y. Is q composite?
True
Suppose 0 = -14*w + 29*w - 307065. Is w a composite number?
True
Let p be (-1)/1*2551/(0 - 1). Suppose p = 3*y - 0*y - 2*n, 0 = -5*y + 5*n + 4250. Is y prime?
False
Suppose 1 = 5*b - 4. Let c be (-5 + 3)/(b/(-197)). Let q = c - 209. Is q a composite number?
True
Let w(z) = -6*z**3 + z**2 + 3*z + 1. Let c be w(-2). Let r = -25 + c. Is r prime?
False
Let c = -3109 + 5190. Is c a composite number?
False
Let n = 15 + -12. Suppose 95 = l - 3*l + 3*u, -3*l - 135 = -n*u. Is l/(-30)*2901/4 prime?
True
Let b(j) = j**3 - 5*j**2 + j - 7. Let m be b(5). Let l be -3*((-8)/3 - m). Is 997/9 + l/9 a prime number?
False
Is (-4)/(-14) - (-103930)/266 prime?
False
Let g = -876 - -1523. Is g a prime number?
True
Suppose 0 = -6*u + 9*u + 4*f - 5283, 3 = f. Is u a prime number?
False
Let h(m) = 25*m**2 + 5*m + 4. Let j be h(-5). Suppose r + 4*w - 482 = 107, -w + j = r. Suppose -5*u + r = 2*a, 3*u = u - a + 244. Is u a prime number?
False
Let t = 478 + 155. Suppose n + 2*n = t. Is n a prime number?
True
Suppose 541*c - 224898 = 535*c. Is c a composite number?
False
Suppose -5*i + f + 139295 = 0, -8*f - 55718 = -2*i - 7*f. Is i a composite number?
True
Suppose 2*d - 56942 = -19980. Is d a prime number?
True
Let x(d) = 1979*d**2 + 3*d + 5. Is x(-2) a prime number?
False
Let j(h) = 3 - 8 + 163*h + 5. Is j(7) composite?
True
Suppose 4*p - 28 = -3*p. Suppose -5*l + 11331 = p*l. Is l prime?
True
Suppose -5524 = -4*t - 4*y, y = -4*t + 5*t - 1381. Is t prime?
True
Is ((-2)/1 - 9) + 3504 prime?
False
Let a be (0 + (-3)/4)*-32. Suppose 5*t = -a - 16. Is t/(-48) + (-1265)/(-6) prime?
True
Suppose 11573 = 3*c - c + 5*b, 5*c - 28892 = b. Is c a prime number?
True
Let p = 1054 - 135. Is p prime?
True
Let j(t) = t + 4. Let g be j(9). Let b = g - 13. Suppose b = v - 6*v + 175. Is v prime?
False
Let p = 154 - -1394. Let d be p/((-36)/16 + 3). Suppose -g = 5*b - d, 1387 = 3*b + g + 149. Is b composite?
True
Let t(p) = -3164*p + 583. Is t(-6) composite?
True
Suppose -3*d = d - 5*k - 1243, 0 = -3*d - 4*k + 971. Is d a composite number?
False
Let m(s) = s**3 - 10*s**2 + 8*s + 14. Let q be m(9). Suppose 4*i + i - 2*x = 64, 4*i = 5*x + 58. Suppose -277 = -5*o + 4*l, -q*l = -l + i. Is o prime?
True
Let p = -49 - -27. Let l = p + 45. Is l prime?
True
Let k(h) = -2*h**2 + 2*h - 3. Let p be k(2). Let r(u) = 9*u + 15 - 8*u - 7*u. Is r(p) composite?
True
Let q = -5327 + 11344. Is q a composite number?
True
Let n = 17042 + -8299. Is n prime?
False
Let r be (-6 - 0 - -3) + 98. Let s = r - 62. Is s a prime number?
False
Let y(x) = x**3 - x**2 - x + 1. Let j(g) = -5*g**3 + 2*g**2 + 7*g - 9. Let r(d) = j(d) + 6*y(d). Let a be r(4). Is 622*(3/2 - a) a composite number?
False
Suppose -8*n = d - 11*n - 13168, -4*d = 5*n - 52689. Is d prime?
True
Suppose -x + 8*a + 24228 = 9*a, -5*a = 5. Is x composite?
False
Let n(q) be the third derivative of -q**6/120 + 7*q**5/60 - q**4/24 + q**3/3 + q**2. Suppose -2*r = 2*s - 7*r - 15, 2*r = -2. Is n(s) a composite number?
False
Let j(g) = 62*g**2 - 23*g + 85. Is j(6) prime?
True
Let j(u) = -1726*u + 1. Let g be j(-1). Suppose -4*t + 6989 = -g. Is t a prime number?
True
Suppose -1514 = -3*m + 2227. Is m a composite number?
True
Suppose -3*n = -0*n. Suppose -i = -4*p + 13 + 4, 3*p - 5*i = 0. Suppose n = -3*f - f + o + 1823, o = p*f - 2280. Is f prime?
True
Let q(z) = z**3 + 3*z**2 - 6*z - 6. Let a be q(-4). Suppose -m - 3*f = -a*m + 1, -5 = -5*m + f. Let b(j) = 553*j. Is b(m) composite?
True
Let r(c) = 94*c + 47. Is r(11) prime?
False
Suppose 6*k - k = -5*c + 12290, 3*k = -2*c + 7375. Is k prime?
True
Let c(o) = -6*o**3 - 15*o**2 + 2*o + 2. Let f be c(-11). Let l = f + -4234. Let k = -1238 + l. Is k composite?
True
Let h be 98/6 - (-16)/24. Suppose -r + h = 3*d - 7*d, 0 = -3*r - 5*d. Suppose -5*o - 227 = -7*b + r*b, -3*b - o = -332. Is b a prime number?
False
Let h(a) = -930*a + 127. Is h(-4) a prime number?
True
Let h be (-1)/((16/(-4))/(-16)). Let f(j) = 18*j**2 + 11*j + 9. Is f(h) prime?
False
Let s(n) = 470*n - 187. Is s(6) a composite number?
False
Suppose -m - 43935 = -6*m + 2*z, 2*m + 5*z = 17545. Suppose 0 = -11*u + 4*u + m. Is u composite?
True
Suppose 6*f - 4*f + 8 = 0, -3*f = -2*s + 962. Suppose -s = -a - 140. Is a composite?
True
Let i be (-2)/(-1*(-6)/(-9)). Suppose -i*k + 4 - 13 = 0. Is ((-158)/6)/(1/k) a prime number?
True
Let m(h) = 1074*h + 15. Let u be m(6). Suppose -7*t + 4*t + u = 0. Is t prime?
True
Suppose -7*g = -5*g - 2218. Is g a prime number?
True
Suppose -2*w = -0*w + 8, -3*n + 2*w + 44 = 0. Suppose 0*c = 3*c - n. Suppose -c*j + 994 = 2*q, 2*q = 3*q + 3*j - 496. Is q a prime number?
True
Let z(x) = 3*x**3 - x + 1. Let t be z(1). Suppose 0 = -5*k + 2*m - 1 + 36, 4*m = 2*k - 14. Suppose k*p = 3*p - 16, n - 131 = -t*p. Is n a composite number?
True
Suppose -673 = -2*i - 3*i + 3*u, 0 = -4*u + 16. Suppose -w + i = -450. Is w a prime number?
True
Let w be 32/(-4) + 3/(-1). Let q = w + 15. Suppose -a = 3*n - q*n - 502, -2*n = -2. Is a composite?
False
Let n be (-37520)/176 + (-4)/(-22). Let l = n + 416. Is l a composite number?
True
Let o = -68 - -124. Let n = o + -37. Is n composite?
False
Let s = -5081 + 8778. Is s prime?
True
Suppose 0 = -4*b + 5 + 7. Suppose 0 = 3*n + 9, -s = -b*n - 122. Is s prime?
True
Let p(b) = 3*b**2 - 3*b + 7. Let n be p(3). Let j = n - 61. Let h = j + 50. Is h composite?
True
Let i = 10362 - 5699. Is i a prime number?
True
Suppose 4*s = -3*q - 2 + 11, 0 = -2*s. Let t be q - -641 - (6 - 6). Suppose -5*p - 4*x + t + 459 = 0, -5*x + 1100 = 5*p. Is p a composite number?
False
Let v(r) = 89*r - 4. Let f = -11 + 14. Is v(f) composite?
False
Let w = -892 + 358. Let g be w/(-2) - (0 + 0). Suppose 10*c = 7*c + g. Is c composite?
False
Suppose -6*k + 8778 = -0*k. Suppose -2*q + 0*i = 2*i - 986, -5*i = -3*q + k. Is q a prime number?
True
Let f be 4/(-6) + 3/(-9). Let b be 3*f*321/9. Let c = -54 - b. Is c a prime number?
True
Is (25 + -23)*5087/2 prime?
True
Let p(x) = 280*x + 45. Let h(r) = 281*r + 44. Let k(v) = -4*h(v) + 5*p(v). Is k(8) prime?
False
Let h(u) = 4 - 12 + 0 + 3 + 12*u. Suppose 0 = -x - 2*m - 0*m + 7, -x + m = -7. Is h(x) a composite number?
False
Suppose 10*w - 75563 = 72527. Is w a composite number?
True
Let j be 6/16 - (-76)/(-32). Is 4 + -2 - 2482/j a composite number?
True
Suppose -2*p - 99 = -3*a - 4*p, a - 5*p - 33 = 0. Is ((-104)/(-3) - -1) + (-22)/a a composite number?
True
Let j(q) = 66*q**2 + 4*q - 7. Is j(-2) a prime number?
False
Suppose 5*b + 8015 = 5*w, -3*b + 1955 + 2872 = 3*w. Suppose 7*y = -w + 6807. Is y prime?
True
Suppose 2170 = 5*a - 5*c, 3*c = 9 + 6. Suppose -314 = -3*y + a. Is y 