Suppose -2 = 4*w - t. Is (-226*(w - 2))/(-3 - -4) prime?
False
Let v(z) = 319*z**2 - 3*z. Let n = -24 + 26. Let k be v(n). Suppose -2*y = -k + 272. Is y prime?
True
Let d be (-3)/3 + 2/1*1. Suppose 0 = 5*l + 5*y - 2*y + d, 2*y = -3*l. Is (7002/27)/(l/(-3)) prime?
True
Let r be (2 - 5)/(15/50). Let z(m) = 23*m**2 - 2*m + 91. Is z(r) a prime number?
True
Let g(q) = 53*q + 39. Let t be g(21). Suppose 2*v - 287 = -0*a - a, -4*a = 4*v - t. Suppose -373 - a = -2*r. Is r a prime number?
True
Let q(o) = -o**2 + 5*o + 16. Let p be q(-2). Let b(g) = 231*g**2 + 2*g - 6. Is b(p) a composite number?
True
Suppose -3*y - 33*i + 46008 = -36*i, -3*i = -2*y + 30670. Is y a composite number?
True
Suppose 2*n = h - 0*n - 8, 5*n = -5*h + 10. Suppose 3 = h*s - 9. Suppose -3178 = -4*t - 5*k, s*t - 4*k - 3993 = -2*t. Is t a composite number?
False
Let p(s) = 2901*s**2 + 43*s - 317. Is p(7) prime?
False
Let m = -366 - -371. Suppose -h = m*i - 2*i - 2563, -2*i + 7703 = 3*h. Is h prime?
False
Suppose 8*v = -4*r + 5*v + 29, -2*r + 14 = 2*v. Suppose -6126 = -r*g + 3610. Is g a composite number?
False
Let r(b) = -8564*b - 5923. Is r(-61) composite?
True
Let h = -232 + -58. Let r = h - -383. Is r prime?
False
Suppose 27819 = 5*h + 6654. Let q(x) = 2*x**3 - 5*x**2 - 15*x + 9. Let j be q(6). Suppose h + j = 6*v. Is v a prime number?
False
Suppose 5*n + 28 = 178. Let f = n + -15. Is 2153/(-2)*(-30)/f prime?
True
Let h(w) = 45*w + 135. Let n(j) = -5*j - 15. Let r(i) = -6*h(i) - 55*n(i). Let s be r(-2). Suppose -s*q - 838 = -7*q. Is q a composite number?
False
Let o = -65660 - -46642. Let z = -7641 - o. Is z composite?
True
Let l be (-3)/(-2)*((-24 - 8)/(-8) - -158). Let a = 674 - 64. Let o = a + l. Is o composite?
False
Suppose 4*h - 2*d + 10644 - 321162 = 0, d = -5*h + 388144. Is h composite?
True
Let g = -234 - -532. Suppose -2*m = 3*a - 224, -7*a + 2*a = -3*m + g. Is m a prime number?
False
Is (9448850/400)/(3/24) prime?
False
Let o(n) = 1720*n**3 + 42*n**2 - 222*n + 47. Is o(5) composite?
False
Let b(d) = 1326*d**2 + 2*d + 45. Is b(-7) prime?
False
Let d be (-3)/((-11)/(-55)*(-1)/(4/30)). Suppose 14 = l + 4. Suppose d*g = -l, -x + g + 1359 - 305 = 0. Is x a composite number?
False
Let t(f) = 121*f - 3. Let v be 27 - (2 - -2 - 8). Let d = v + -29. Is t(d) a composite number?
False
Suppose -17*v - 2*v = -152. Suppose -v*w = -4*w - 652. Is w prime?
True
Suppose -23549 = -15*u + 7111. Let a = 349 + u. Is a a prime number?
True
Suppose -s = -5*m - 3*s + 19476, 11696 = 3*m - 4*s. Suppose 7*i = -i + m. Suppose 4*a = -h + i, 3*a - 78 = -5*h + 300. Is a prime?
False
Let m = 4194581 - 2895412. Is m composite?
False
Suppose -2*l - 6616 = -2*c, 3*c - 4239 - 5685 = 5*l. Suppose p + c = 2*p. Suppose 860 = 8*u - p. Is u composite?
False
Suppose 4*f = u - 4555 + 963, 0 = 4*u + 4*f - 14448. Suppose 2*i + u = 37038. Is i a composite number?
True
Let d = 157 + -152. Suppose d*o - 6154 = 3*o. Is o a composite number?
True
Let l(v) be the second derivative of -v**4/6 + 2*v**3/3 + 733*v**2/2 + 12*v + 1. Is l(0) composite?
False
Let v = 54 + -54. Suppose v = 12*t - 22717 - 33431. Is t composite?
False
Let b(o) = o**3 + o - 1. Suppose -q + 0*q = 4*w - 17, -q - 11 = -3*w. Let m(l) = 13*l**3 + 3*l**2 + l + 6. Let t(y) = q*m(y) + 2*b(y). Is t(3) prime?
False
Let k(s) = 55*s**3 + 9*s**2 - 9*s + 9. Let d(f) = f**3 - 10*f**2 + f - 6. Let c be d(10). Is k(c) composite?
False
Let z = 169326 - 107885. Is z prime?
True
Suppose -12875 - 170855 = -10*v. Is v a composite number?
True
Suppose -2*b + 22*q = 21*q - 1191293, q + 2382583 = 4*b. Is b a composite number?
True
Let f(c) = -4*c - 6544. Let w(m) = 3*m + 4363. Suppose 5*z + 31 + 4 = 0. Let u(l) = z*w(l) - 5*f(l). Is u(0) composite?
False
Let a = 109 - 42. Suppose -70*i + 14163 = -a*i. Is i a composite number?
False
Suppose k + 24 = 5*h - 21, 5*h + 5*k - 75 = 0. Let y be -6 + (h/(-15) - (-15)/9). Let i(r) = 11*r**2 + 4*r + 14. Is i(y) a composite number?
False
Let z be (1323/4)/((-12)/48). Let l = z - -2678. Is l composite?
True
Suppose -5*j - 3*i = -1273, -6*j = -9*j - i + 763. Suppose j*x = 255*x - 4271. Is x a composite number?
False
Suppose 39132877 - 1313591 = 142*s. Is s composite?
False
Suppose -5*o - 133*v + 137*v = -301753, -181043 = -3*o - 2*v. Is o a prime number?
False
Suppose 21*s + 5*o = 18*s + 20198, -4*o + 4 = 0. Is s a composite number?
True
Suppose 0 = -0*l - 3*l + 5595. Suppose -2*m + 328 = -3*c, c + 4*m + 114 = 7*m. Let g = l - c. Is g a composite number?
False
Let t(y) be the third derivative of -29*y**6/120 + y**5/15 - 11*y**4/24 - 4*y**3/3 - 25*y**2. Let m be t(-5). Suppose -m = -5*q + 2683. Is q a prime number?
True
Let j(m) = 51 + 30 + 197*m + 122*m. Is j(8) composite?
False
Suppose -3*h + 1780909 = 4*k, 51*h - 47*h - 3*k = 2374487. Is h a prime number?
True
Suppose -18*q + 21*q + 24 = 0. Let a = q + 25. Suppose 0 = 12*z - a*z + 1455. Is z a prime number?
False
Let m be ((3 - 6) + 1)*6/(-4). Suppose -4*o + 827 = -m*l + 8*l, -l - 4*o = -175. Is l prime?
True
Suppose 3*m = 2*b - 9514, 0 = -8*b + 11*b - 5*m - 14272. Is b a composite number?
True
Suppose -341*g + 336*g = 2*q - 4323471, 2*g + 2*q - 1729398 = 0. Is g a prime number?
True
Let r be ((-44)/4 - -4)*-1. Is (4 + (-1909)/2)/(r/(-14)) a prime number?
True
Suppose -w + 2*x - 19 = -993, 5*x - 25 = 0. Suppose 185 = -b + w. Is b a prime number?
False
Let x be (333/(-2))/(6/(-8)). Let a = 44 + -169. Let n = x + a. Is n a composite number?
False
Let q = 160440 + -94651. Is q a prime number?
True
Let q(s) be the third derivative of s**5/60 + 2*s**4/3 + 25*s**3/6 + 15*s**2. Let n be q(-14). Is -1 - n/((-9)/(-1338)) composite?
True
Suppose 48*t = 51*t - 38427. Is t composite?
False
Let u be 0 - (-3)/(3/5). Suppose -3*l + 49 = -2*a, u*l + 31 - 108 = a. Suppose 0 = -l*p + 17*p - 3694. Is p a composite number?
False
Let y(k) = 268*k**2 - 3*k + 1. Suppose 6*a - 7*a = -5. Suppose 0 = -a*i + 5*b - 3*b + 6, 3*b = 3*i. Is y(i) a composite number?
True
Let t(i) = 1099*i**2 - 10*i + 6. Let z be t(4). Let v = z - 8423. Is v a composite number?
False
Let t(w) = -187*w + 906. Is t(-4) a prime number?
False
Let r = 94402 - -64291. Is r composite?
True
Let k be (-2)/4*(-33 - -13). Suppose -k*a + 11*a - 4 = 0. Suppose -5*d + a*d = -397. Is d a prime number?
True
Let c(o) = -8748*o**3 + 6*o**2 - 3*o - 4. Let q(m) = -m**3 + m**2 - 1. Let y(k) = -c(k) + 6*q(k). Is y(1) composite?
True
Let c = 88 - 96. Is 194/c*(-11 + 3) a prime number?
False
Let u(o) = o + 6. Let v be u(-2). Suppose 7*d = 3*i + v*d - 6051, 3*i = d + 6051. Is i prime?
True
Let q(h) = -h + 5. Let s be q(0). Let w(y) = 115*y**2 - 13*y - 42. Let d be w(-5). Suppose d = s*f + 863. Is f composite?
True
Let v = -17410 + 9197. Let s = -2206 - v. Is s composite?
False
Let a(n) = -7*n**2 - 81*n - 78. Let o be a(-33). Let p = o + 27989. Is p composite?
False
Let k = 5 - 2. Suppose g - 2*a - 10 = -6*a, 3*a - k = 0. Suppose 4*p + g*y = 4*y + 756, -3*p + 577 = 4*y. Is p a composite number?
True
Let d be 2 + (-62)/8 + (-12)/(-16). Let x(t) = 551*t**2 - 14*t + 11. Let n(z) = 184*z**2 - 5*z + 4. Let s(r) = -17*n(r) + 6*x(r). Is s(d) a prime number?
False
Let s(p) = -p**2 + 10*p - 6. Let o be s(6). Let r = 33 - 29. Suppose -2*d - v + 99 = -o, -228 = -4*d + r*v. Is d a prime number?
False
Let r = 9 - 9. Suppose -15 = -5*q, -2*q = -b - 4 - r. Suppose 0 = -b*l + l - k + 751, -2*k = -5*l + 3741. Is l a composite number?
True
Suppose 0*w - 3 = -w - h, 2*w = -3*h + 1. Suppose -w*z + 8399 = -5289. Is z prime?
False
Let f = 10674 - 4080. Suppose 0 = 7*c - f - 13195. Is c composite?
True
Let z = -1140 + 3100. Let w = z - 989. Is w composite?
False
Suppose f + 4*u = 54533, -3*f - 54*u = -56*u - 163543. Is f composite?
False
Let o = -268 + 274. Is (o*(-14)/252)/((-1)/26577) prime?
False
Let k(z) = 175*z + 29. Let a be k(5). Suppose b = 4*x + a, -3*b + 0*x + 2704 = -4*x. Let s = -23 + b. Is s prime?
True
Let x be (-4 + (-33)/(-6))*(-8)/(-6). Suppose y + 4*y = x*m - 4795, -12037 = -5*m - 4*y. Suppose m - 763 = 2*d. Is d composite?
False
Suppose -n = -5*b + 25068, 2*b + 3*b = 4*n + 25062. Suppose b = 3*g - i, -6677 = -4*g - 7*i + 10*i. Is g a composite number?
True
Suppose -17*u = 2*t - 21*u - 51038, -102098 = -4*t - 3*u. Is t composite?
False
Let s = 459387 + -2762