v(j) = j**2 + 7*j - 4. Let d be v(-7). Let f(z) = -248*z**2 - 7*z - 1. Let w(k) = -248*k**2 - 6*k - 2. Let n(l) = d*w(l) + 3*f(l). Is n(-2) a prime number?
True
Suppose -n = -2*n. Suppose 3*k + 3*g - 858 - 279 = n, 3*k = -5*g + 1137. Is k prime?
True
Let f(n) = -411*n + 12. Let v(k) = -k + 9. Let c be v(14). Let s be f(c). Suppose s = 5*l - 2*l. Is l a composite number?
True
Let i(z) = -z**3 - 5*z**2 + z + 3. Let l be i(-5). Let g be ((-1)/(-3))/(l/(-4014)). Let c = g + -362. Is c prime?
True
Let n(y) = y - 10 + 10 + 9. Let f be n(-7). Suppose f*a - 7*a = -1295. Is a a prime number?
False
Suppose -3*f = -5 - 1. Let q(x) = 4*x**f + 8 - 2*x - 3*x**2 - 4*x. Is q(7) a composite number?
True
Is -7039*(-1)/(1/(-3 - -4)) a composite number?
False
Suppose -13*c + 17*c - 123316 = 0. Is c a prime number?
True
Let l be (82/5)/(6/30). Let g = 197 - l. Is g composite?
True
Suppose -3*l = 4*a + 53, -a - 2*a - 81 = 5*l. Let g = l + 18. Suppose -g*t + 118 = -77. Is t a prime number?
False
Let a = 119 - 108. Suppose a*b = 7*b + 29188. Is b composite?
False
Let j be 24 + (0 + -3)/3. Suppose 0 = j*i - 18*i - 425. Is i composite?
True
Let u be ((-1524)/(-5))/((-1)/(30/4)). Is (12/9)/((-12)/u) prime?
False
Let t = 44 - 38. Is 9/(-6)*(-716)/t a prime number?
True
Let l = -1514 + 3097. Is l a composite number?
False
Is 10/(-80)*-8*203869 prime?
True
Let g(l) = -2*l**3 - 2*l**2 + 2*l - 851. Let w(p) = p**3 + p**2. Let f(i) = -g(i) - 3*w(i). Is f(0) a composite number?
True
Suppose -3*o + 74 = 2*u, 4*o = 3*u - 0*u + 93. Suppose n = 7*n - o. Suppose -4*y = -4*t - 368, 3*t + 459 - 86 = n*y. Is y prime?
True
Let p be ((-4)/(-4))/(5/8505). Let i = p + 2450. Is i composite?
True
Let t(c) = -204*c + 559. Is t(-6) prime?
True
Suppose 0 = 2*k - 6*k - 3*d + 110377, 4*d + 55216 = 2*k. Is k a prime number?
False
Let j(u) = -20*u**2 + 38*u - 24. Let i(l) = 7*l**2 - 13*l + 8. Let t(b) = 17*i(b) + 6*j(b). Let v be t(4). Suppose -z = -v*z + 1113. Is z a prime number?
False
Suppose 5*q = -5*w - 35, w - 3 + 0 = q. Let l(r) = -9*r**3 + 5*r - 4. Let f(k) = -k**3. Let u(h) = -3*f(h) + l(h). Is u(q) a prime number?
False
Suppose -2*f - f = 4*u - 2446, -u - 2 = 0. Is f a composite number?
True
Let j(y) = 15*y**2 - 6*y + 11. Is j(-6) a prime number?
True
Suppose 7*v - 251 = 6*v. Let w = 502 - v. Is w a prime number?
True
Let m(k) = 4*k + 1. Let n be m(-1). Let i = n - -3. Suppose -2*l - 644 = -2*z, i = -3*z - 2*z - 2*l + 1617. Is z prime?
False
Suppose -4*q = 2*y - 170 - 18, 0 = 4*y - 4*q - 352. Let o be (-124)/(-30) + (-12)/y. Is 77 + (-3)/(4/o) a composite number?
True
Let c be 3/(-9) + (-20)/(-6). Suppose -2*j + 11 = c*g - 7, 2*g - 4*j = -4. Suppose s = -k + g*s + 319, 4*k + 3*s = 1276. Is k prime?
False
Let g be 7380/(-8)*4/(-3). Suppose 11*q - 1751 = g. Is q a composite number?
False
Suppose 2*a + 73 = -243. Let c = 60 - a. Is c*15/6 - -2 composite?
False
Let s(f) = 10*f**2 - f**2 + 11 + 50*f**2 + 33*f + 3. Is s(8) prime?
False
Suppose -4*u + 3 = -3*u. Is 0/(-2 + 4) + u composite?
False
Suppose 2*n + 42*j - 39943 = 39*j, 3*n = j + 59920. Is n a composite number?
False
Let p = 4 + -4. Suppose f + p*f = -5*i + 28, 0 = -5*f + 15. Suppose -3*a + 1364 = -5*m, -4*a + i*m = m - 1824. Is a prime?
False
Let n(o) = -1782*o - 70. Is n(-2) prime?
False
Let f be (-1 - 473)/(6/(-45)*3). Let j = 3644 - f. Is j prime?
True
Let z(i) = 34*i**2 - 8*i - 79. Is z(-9) a prime number?
False
Suppose 2*q + 6 = 4*x, 4*x + q + 4*q = 27. Suppose 2*l + 2*a - 16 = 0, x*l = 2*l - 4*a - 1. Suppose -3*j = -2*p + l, -p - 5*j + 11 = -27. Is p a prime number?
True
Let u(x) = -2*x - 6. Let s be u(-4). Let b be (-4)/(-6) - s/(-6). Is -2 + b + 1 + 257 a composite number?
False
Suppose -8 = 4*y, -5*n + 6 + 11 = -y. Suppose 0 = -2*u + 4*u + 8, 0 = -5*a - n*u + 1303. Is a composite?
False
Let w = -223 - -343. Is w + ((-60)/(-4))/5 a composite number?
True
Let f = 3 + 3. Suppose 3*j = f*j - 6. Suppose 7*p - 35 = j*p. Is p prime?
True
Let s(d) = 71*d**2 - 2*d - 3. Let y be s(-3). Let n = y - -149. Is n a composite number?
True
Suppose 10 = v + v. Suppose -v*p = -3*f + 5*f - 28, -f + 2*p - 4 = 0. Let l(s) = 22*s - 9. Is l(f) a prime number?
True
Let v = 12016 - 3399. Is v composite?
True
Let u(b) = 46*b**2 + 4*b - 7. Let v be (-8 + 2)*7/(-21). Is u(v) composite?
True
Let v(l) = -3*l + 1. Let x be v(2). Let s(b) = -14*b**3 - 2*b**2 + 6*b + 1. Is s(x) prime?
False
Let r = 8 + 1. Let l = -92 - -90. Let v = r + l. Is v prime?
True
Let o(x) = 137*x + 8. Suppose -11*y + 0 = -33. Is o(y) a composite number?
False
Suppose 5 = 2*m + 1. Suppose 183 = -m*q + 53. Is 10/q - 4149/(-13) prime?
False
Let r(d) = d**2 + 11*d - 10. Let t be r(-14). Suppose -t*g = -30*g - 338. Is g a composite number?
True
Let i be (-8 + 8)/(1*-2). Suppose -3*g - g = 5*y - 30, 0 = -5*y - 5*g + 35. Suppose 0 = y*u - i*u - 76. Is u a composite number?
True
Let s = 31 + -29. Suppose -s*k = 4*q - 3778, -3*k = 2*q - 4*q - 5691. Is k a prime number?
False
Suppose 0 = m - 0 - 10. Suppose 0 = m*p - 3354 + 324. Is p a composite number?
True
Is ((-26404)/42 + -5)/(1/(-3)) composite?
False
Let b = 918 + -338. Let m = 987 - b. Is m prime?
False
Suppose -182*r = -177*r - 46745. Is r a prime number?
True
Is 25533/11 + (60/66)/(-5) a prime number?
False
Let h(n) = -n**3 + 2*n**2 - 4*n + 3. Let b be h(3). Is 0 - (11686/b - 2/(-9)) composite?
True
Let q = 25 + -23. Suppose -3*r + 433 = 2*j + 1495, j = q*r + 701. Let w = r - -509. Is w composite?
False
Suppose 2*v + 1052 = -5*s, -v - 3*v + 4*s - 2160 = 0. Suppose m + 4*m = 3*g + 35, -3*m = -5*g - 85. Is 10/2*v/g a prime number?
False
Let h = 9 - 3. Suppose -i + h = i. Suppose 235 = i*g + t + 41, 2*t = 2*g - 132. Is g prime?
False
Let w(h) = 12556*h**2 - 23*h - 49. Is w(-2) composite?
False
Let g = 38851 - 12548. Is g a composite number?
True
Let k(f) = f**2 + f + 2. Let c be k(0). Suppose q = -c*q + 57. Suppose -q = -2*p + 2*s + 93, p - 47 = -2*s. Is p a prime number?
True
Is -34318*((-28)/140 + 3/(-10)) a composite number?
False
Let n(x) = -4*x**2 + 3*x**3 + 0*x + 0*x - 4 + 0*x. Let l be n(3). Let q = 102 + l. Is q a composite number?
True
Suppose 2*h = 5*w - 50643, 8*h + 40513 = 4*w + 5*h. Is w prime?
False
Suppose 3*r = -3*z + 6, 10 = 5*r - 0*z + 3*z. Suppose r*l = -0*l + 1138. Suppose -4*u - 213 = -l. Is u a composite number?
False
Suppose -4*b + 25428 = -b. Suppose -2112 = 4*u - b. Is u a composite number?
True
Let z(m) = -6*m + 0*m**2 - 4 - m**2 + 0*m - 5*m. Let v be z(-10). Is 629 - -3*4/v a prime number?
True
Let v be (-1)/((-20)/8)*-5. Is (3/6)/(v/(-460)) - -3 a prime number?
False
Suppose -9 = -2*v - 1. Suppose 2*u - 1902 = -k, -4339 = -v*u + 3*k - 515. Is u prime?
True
Let x(a) = 507*a**2 - 4*a + 110. Is x(13) composite?
True
Let b = -153 - -98. Let k(i) = -4*i - 132. Let n be k(-10). Let w = b - n. Is w composite?
False
Let t(z) be the first derivative of -21*z**2/2 + 32*z + 2. Is t(-25) a composite number?
False
Let q = 0 + 0. Suppose 5*p + q*p - 723 = -4*z, -940 = -5*z + p. Is z a prime number?
False
Suppose -10*k - 22 + 42 = 0. Let q(c) = -198*c**3 + 2*c**2 + c. Let z be q(-1). Suppose b - k*b = -z. Is b prime?
True
Let o(k) = k**2 - 3*k + 76. Let p be o(0). Let c(m) = -26*m - 5. Let f be c(4). Let x = p - f. Is x prime?
False
Suppose 46351 = -13*l + 499284. Is l a composite number?
False
Is (-2*2/(-8))/(60/57480) a composite number?
False
Let x(a) = -185*a**3 + 3*a**2 + 15*a + 35. Is x(-4) a composite number?
False
Let w(i) = 665*i**2 - 3. Let t be 1/(3/(6*-1)). Is w(t) a composite number?
False
Let s(r) = r**2 + 5*r + 4. Let c(d) = 3*d**2 + 14*d + 11. Let i(v) = 6*c(v) - 17*s(v). Let l(m) = m**2 - 7*m - 14. Let x be l(9). Is i(x) a prime number?
False
Suppose 5276 = 4*l - 4*d - 38052, 54151 = 5*l + 4*d. Is l prime?
True
Suppose 204064 = 37*y + 40487. Is y a prime number?
True
Let u = -149 + 32. Let h = u - -412. Suppose 5*x - 590 = h. Is x prime?
False
Suppose -5*l - 2*m = -21013, -5*l = 13*m - 18*m - 20985. Is l a prime number?
True
Let z(n) = 1902*n - 7. Let w(x) = 951*x - 4. Let t(c) = 5*w(c) - 3*z(c). Let y be t(-1). Suppose 5*b = y + 103. Is b a composite number?
False
Let b = 4023 + 1714. Is b a prime number?
True
Suppose -214*f + 207*f + 91847 = 0. Is f prime?
True
Suppose -106 + 288 = q - 3*m, -4*m = q -