 - a + 76252 = -2*v. Is v a prime number?
False
Suppose 0 = -2*r + 16*o + 357370, -2*r + 342840 = -o - 14455. Is r prime?
False
Let h be 1 - -5 - (-5 + 6 - 0). Suppose -h*j + 819 = -13676. Is j prime?
False
Let x(p) = -p**3 - p**2 - 6*p + 4. Let b be x(4). Let h be 150/b*-4*26/(-4). Is 46365/39 + (-6)/h a composite number?
True
Let a(s) be the first derivative of 46*s**3 - 16*s**2 - 3*s + 40. Is a(-4) a prime number?
True
Suppose 3*r - 155 = -26. Let i = 43 - r. Suppose 0 = -4*v - 20, -5*g - 2*v + i*v = -400. Is g prime?
False
Let y(o) = 25*o**3 - o**2 + o - 1. Let c be y(2). Suppose 480 = -4*u - 4*u. Let t = c - u. Is t a composite number?
False
Suppose 2*k - 4*w = 1990, 3*w + 11 + 4957 = 5*k. Let p = -476 + k. Is p a composite number?
True
Let u(z) = 4*z + 16. Let d be u(-4). Suppose 0 = 5*s - d*s - 20. Suppose -n - 470 = -5*n - 2*p, -s*p = 5*n - 595. Is n a composite number?
True
Is (69847/5)/(-11*10/(-550)) a composite number?
False
Let r(t) = -t**3 - 9*t**2 + 3. Let i be r(-9). Suppose 0*u - 3999 = -i*u. Let l = -354 + u. Is l a prime number?
False
Suppose -50 = 2*s + s - 5*d, -5*d = s + 30. Is ((-10180)/(-25))/(4*(-2)/s) prime?
False
Suppose 3*g = -2*s + 8, 3*g - 4*g = -5*s + 37. Let j(v) = 4*v**2 + v. Let i be j(1). Suppose 2*t - s*o - 1748 = -12*o, -i*o = -5*t + 4405. Is t composite?
True
Suppose 6*q - 5*q + z = 1, -z - 2 = 4*q. Is q - -4 - (13*-59 - -1) composite?
False
Let n(x) = 75*x + 374. Let z be n(-5). Let g be (-52834)/(-8) + 1/(-4). Is (z + -1)/(3 + (-19820)/g) a prime number?
False
Let u(g) = 2*g - 10. Let f be u(7). Suppose 0 = 15*o - f*o - 11957. Is o a prime number?
True
Let y(g) = -152*g + 20. Suppose 4*t + 4*r = 2*t + 24, -4*r - 18 = -5*t. Let k be y(t). Let d = 2185 + k. Is d prime?
False
Let u(p) = -p**3 - 4*p**2 + 167*p - 209. Is u(-80) composite?
False
Suppose 440*r + 1735024 = 456*r. Is r a prime number?
True
Suppose 13*s - 9*s + 25 = j, 10 = 4*j + 2*s. Let h(r) = 162*r**2 + 2*r - 11. Is h(j) composite?
False
Suppose -10*b + 16 + 54 = 0. Suppose -b*k - 63668 = -163509. Is k a prime number?
False
Is -4*11/(-4) + 834480/24 composite?
False
Let m be 8/((-32)/(-1107))*16/6. Let n = 5321 - m. Is n composite?
False
Let g(i) = -i**3 - 9*i**2 + 10*i + 5. Let a be g(-10). Is -3 + 85/25 - (-29483)/a composite?
False
Let o(a) = -324*a**2 + 3*a**3 - 7 + 4*a + 318*a**2 - 2*a**3. Let x be o(5). Is (-3)/(x/(-8)) - -1243 a prime number?
False
Suppose 4*i + 9899 = -3*b, 3*i = -2*b - 2169 - 5257. Suppose -3*r + 2*r = -3617. Let a = r + i. Is a a composite number?
True
Let g(k) be the third derivative of k**5/4 + k**4/24 - 7*k**3/6 - 9*k**2. Let v be g(-7). Let q = v - -288. Is q composite?
False
Let f = 139872 + 11077. Is f prime?
False
Suppose 68 = 4*s + 4*o, -35 = -3*s + 3*o + 34. Suppose 5*w - 9*w + s = 0. Suppose w*c = -b + 2602, 2*b + 3 = b. Is c prime?
True
Let p(n) = -2*n**2 + 55*n + 30. Let i be p(28). Is (-9)/6*i - -754 composite?
False
Let j(c) = 127393*c**3 - c**2 - 62*c + 63. Is j(1) composite?
True
Let s(h) = h**2 - 22*h + 19. Let x be s(21). Let a be (-3)/3 - (-38 - (1 + x)). Suppose -35*q = -a*q + 769. Is q a composite number?
False
Let v(q) be the first derivative of 1/4*q**4 + 7 - 2/3*q**3 - 2*q + 6*q**2. Is v(9) prime?
True
Suppose -6*j = -10268 - 1012. Suppose -4*i + 0*i = -j. Let o = i + -61. Is o a composite number?
False
Let o(m) = 12394*m**2 + 26*m - 269. Is o(9) a composite number?
False
Is (1074526/(7 + 12))/(1 + 1) prime?
True
Let d = 255 - 253. Suppose -4249 = -2*m - 3*w, -d*w - 6 = -0*w. Is m composite?
False
Let z(i) = 1496*i - 18. Suppose 0 = -4*p + 4*u - 7*u - 1, 4*p - 11 = u. Is z(p) a prime number?
False
Suppose k - 4*k + 6 = 0. Let i(q) be the third derivative of 117*q**4/8 - q**3/6 + 7*q**2 + 7*q. Is i(k) prime?
True
Let p(d) = 8*d**2 - 12*d - 4. Suppose -5*h - 48 = -9*h. Let g be p(h). Let y = 1539 - g. Is y a composite number?
True
Let k be 4/(-9*(-2)/36). Let w(i) = 7*i**2 + 14*i - 179. Is w(k) a prime number?
False
Let c = -73 + 38. Let p = 38 + c. Is (3 - 384)*(-4 + p) composite?
True
Is 7276206/(-126)*(-6)/14 prime?
True
Let p(q) be the third derivative of 19*q**4/4 - 5*q**3/3 + 30*q**2. Suppose 0 = -c + 3 + 1. Is p(c) a composite number?
True
Let f(w) = -15 - 23 - 4*w**2 + 29*w + 13*w**2 - 11. Let m(j) = 3*j**2 + 10*j - 16. Let g(b) = 3*f(b) - 8*m(b). Is g(-10) a prime number?
True
Let o(z) = 11*z**2 - z + 1. Let n be o(1). Let j be 129/172 + 97/4. Suppose -j*v + 64918 = -n*v. Is v a prime number?
True
Let h(l) = 7*l + 12*l + l**2 - 9 - 18*l. Let v be h(4). Let s(g) = 17*g - 24. Is s(v) a composite number?
False
Suppose 38*n + 21*n - 6487102 = 18*n. Is n a prime number?
False
Let r be (-1 + 6/8)*(-2 - 2). Let b be (-2)/(-4) + r + (-5)/2. Is b/(((-3)/6459)/1) a prime number?
True
Suppose 5*g - 5*l = 140, -3*g + 2*l = 6*l - 112. Is -2 - 8/(g/(-79660)) a prime number?
True
Suppose 2*o + u = 861352, 150*o = 151*o + 2*u - 430667. Is o a composite number?
True
Let q(l) be the second derivative of 3*l**3/2 + 97*l**2/2 + 6*l - 17. Is q(-2) a composite number?
False
Suppose 0 = -3*b - y - 22, 0 = -2*b - 0*b - 5*y - 6. Let i(s) be the first derivative of -251*s**2/2 + 45*s - 99. Is i(b) composite?
False
Let p(h) = 39*h**2 - h - 6. Let f be p(3). Let j = -89 + f. Let t = j + 46. Is t a prime number?
False
Suppose -4*l + 2329461 = 485019 - 675410. Is l a composite number?
False
Suppose -5*l - 5*i = -169516 - 502089, 4*l = 4*i + 537332. Is l prime?
True
Suppose -m - 5*h = -358743, -3*h = -4*m + 1410656 + 24132. Is m a composite number?
False
Let n = 470 + -481. Is 7 + (-172922)/n + 4/(-22) prime?
True
Suppose 11 - 25 = 7*d. Let t be 17*(-3)/((-6)/d)*-25. Suppose 11*r - t = 6*r. Is r prime?
False
Suppose 2*y - 14 = -2*a - 6, 0 = 2*a - 2*y - 12. Suppose -m - 3*m + 4*l - 252 = 0, 3*m = a*l - 197. Let h = 102 + m. Is h a prime number?
True
Suppose 29235 = 30*y - 27*y. Is 2/3*y/(-10)*-3 a composite number?
False
Let v(j) = -77*j + 11129. Let c(h) = 27*h - 3710. Let b(k) = 8*c(k) + 3*v(k). Is b(0) a prime number?
False
Let z = 7653 - -5002. Suppose 13*g = 46 + z. Is g a prime number?
True
Let f be 18/(-33) - (-393706)/(-11). Let i = 59961 + f. Is i a composite number?
False
Let c(a) = -a**2 + 13*a + 20. Let v be c(14). Suppose -10*b = -v*b - 5*x - 23894, -23878 = -4*b - 3*x. Is b prime?
False
Let z(l) = 202*l + 167. Let m(q) = -11*q - 214. Let p be m(-20). Is z(p) a composite number?
True
Let b = 58 - 54. Suppose -5*p = -b*p - 2. Suppose -5560 = -p*w - 6*w. Is w prime?
False
Suppose 0 = -55*t - 207*t + 13390558. Is t a composite number?
False
Let n be ((-69)/2)/(1/(-6)*-3). Is (n/(-21) - 3) + (-1542)/(-42) a composite number?
False
Let y(c) = 1289*c**2 - 1037*c + 1. Is y(16) a composite number?
True
Let r(z) = -23*z + 100. Let u be r(5). Let p(v) = -4*v**3 + 10*v**2 - 48*v + 29. Is p(u) prime?
False
Let r(m) = -138*m**2 - 124*m**2 + 306*m**2 + 10 - 12*m. Let h be r(7). Suppose 2*v = 5*v - h. Is v composite?
True
Let i be (-36)/90*15/(-2). Suppose 0 = i*q - 7*q + 424. Is q composite?
True
Let b(v) = -93*v + 1646. Is b(-23) composite?
True
Suppose 2*l = -2*u - 2*u + 2484, 0 = -l + 2*u + 1234. Suppose 0*n + 5*n + 3*f - 6177 = 0, n - 2*f = l. Suppose -n = 5*q - 3331. Is q prime?
True
Suppose 2*g - 2*i + 8600 = 0, -4373 = g + 3*i - 85. Let q = -2576 - g. Is q a composite number?
False
Let q(i) = 7943*i - 4997. Is q(20) prime?
False
Is (4265 + 2)/1 + -20 a composite number?
True
Let f be 1*-12*136/(-51). Let o be (-1*2)/(f/(-16)). Is (-24498)/(-108)*6*o a prime number?
True
Suppose 5*t = y + 808972, -y = 228*t - 224*t - 647174. Is t composite?
True
Let i(x) be the third derivative of 211*x**5/60 - x**4/24 + x**3/6 + 12*x**2. Let t = -62 - -63. Is i(t) composite?
False
Let v = 26310 - 17218. Let r = v + -4752. Suppose 4*u + 3*h = -h + 4356, 4*u - 4*h = r. Is u a prime number?
True
Let g(h) = -10*h - 20. Let l be g(3). Is 8257/5 - (-20)/l a prime number?
False
Suppose v + 84005 = q, -3*v - 336026 = -5*q + q. Is q a prime number?
True
Let h be (-4)/(-2) - -10 - 3. Let b(o) = -o**3 + 12*o**2 - 2*o - 2. Is b(h) composite?
False
Suppose 1772212 = -l - 5*l + 5600422. Is l prime?
False
Let v(f) be the third derivative of -f**4/12 - 17*f**3/2 + 10*f**2. Let p be v(-21). Let j(m) = -2*m**3 - 12*m**2 - 4*m + 7. Is j(p) pri