t d(n) = n**2 + 13*n. Let f be d(-13). Let p be (f - -5) + (-2)/2. Suppose -8*r = -p*r - 2540. Is r a prime number?
False
Let q be (6/(3/(-6) - -2))/2. Suppose q*o - 2*m - 608 = 0, -5*o - 3*m + 1916 = 372. Is o a composite number?
False
Let w(a) = 740*a**2 - 20*a + 71. Is w(6) prime?
True
Let c(s) = 3*s**2 - 2 + 0*s + 0 + 2*s. Let u be c(-2). Suppose u*x - 5*x = 89. Is x a composite number?
False
Let x = 2551 + -1510. Let m = -286 + x. Is m a prime number?
False
Let u = 14184 - 7343. Is u a composite number?
False
Suppose 117 = 5*c + n, -c + 5*n + 39 = -0. Suppose -17*a = -20*a - 390. Is a/(-4)*c/30 a prime number?
False
Suppose c - 3*i = 3, c + 0*i = 2*i + 4. Suppose r - c = -1. Suppose f + t - 113 = 180, -1481 = -r*f + 3*t. Is f composite?
True
Let w(v) = 143*v + 7. Let p be (-7)/((-21)/(-24))*-1. Is w(p) a composite number?
False
Let u = 10 + -8. Let d be u/1 - (5 - 3). Suppose d = -5*r + 655 - 170. Is r composite?
False
Suppose 37*u + 1085319 - 3292924 = 0. Is u a composite number?
True
Let i(t) = -6 + 4 - 29*t**3 + 1 - 2*t**2. Let c be i(-2). Is (c - 2) + -2*2 composite?
True
Suppose 372647 = 1244*z - 1225*z. Is z prime?
False
Let x(c) be the second derivative of -185*c**3/2 - 14*c**2 - 41*c. Is x(-3) prime?
True
Suppose -2*c = 4*z - 54298, -3*z + 2600 = 3*c - 38128. Suppose 0 = 6*i - 30941 - z. Is i a composite number?
True
Let r be (-2)/((-8)/(-84))*1. Let x = r - 3. Is 3/2*(-4720)/x a prime number?
False
Let z(v) = v**3 - 3*v**2 + 6*v - 3. Let o be z(2). Suppose 0 = -3*k - 15, o*k - 454 = c + 363. Is -4*(c/8 - -3) composite?
False
Let w(t) = -48*t + 1. Suppose g = 3*a + 5, 0 = g + g + a - 10. Suppose p - 3 = -g. Is w(p) composite?
False
Let f = -12584 + 20773. Is f prime?
False
Let d(p) = 2204*p**2 + 6*p - 41. Is d(3) composite?
False
Let i(m) = -m - 3. Let g be i(12). Let w be 3/((-9)/g)*-51. Let s = w + 396. Is s a prime number?
False
Suppose -3*f - 5*x = -x + 128, -2*f - 5*x = 90. Let p = f + 425. Let w = 636 - p. Is w a composite number?
False
Let b(h) = -34*h - 109. Is b(-24) prime?
False
Suppose v - 10 = -4*v. Suppose -2*q - v*i = 0, -q + 3 = -5*i - 15. Suppose 5*s + 5*g = 780, 4*s = -q*g + 259 + 368. Is s composite?
True
Let v = 8 + -4. Suppose -2*s - 6 = -3*d + 2, 5*s - 26 = -v*d. Suppose 9*j - 170 = 4*j + d*l, -5*j + 175 = -3*l. Is j a composite number?
True
Suppose -d + 9281 = -2*k + 218, k = -5*d + 45271. Is d a composite number?
True
Let y = 84 + -51. Let s = 6 + -3. Suppose -2*q + 4*i = i - y, -44 = -s*q - i. Is q a composite number?
True
Let v be -1 - (0 + 0/2). Let x(i) = -5*i. Let d be x(v). Suppose 908 = d*f - 1677. Is f prime?
False
Let j(s) = 46*s**2 - 3*s + 2. Suppose 0 = 4*d - 4*q + 3 + 5, 0 = 2*d + 5*q - 31. Is j(d) prime?
False
Let t(q) = 3*q - 15. Let o be t(7). Let m = 10 - o. Suppose g = -2*p + 379, m*p + 2*g - 567 = p. Is p prime?
True
Let o = -3 - -1. Let q be (-3)/(o*3/6). Suppose -5*l - 181 = -v - 3*l, -q*l - 367 = -2*v. Is v composite?
False
Suppose -8412 = -4*n - 3*p + 2027, -4*n - 5*p = -10441. Is n a prime number?
True
Let q(p) = -p**2 + 11*p + 3. Let v be q(11). Suppose -2*m - 8712 = -4*x, -932 = -v*x + 4*m + 5597. Is x a prime number?
True
Suppose -4*z = -5*i + 14593, -3*i + 8489 = 2*z - 280. Is i a composite number?
True
Let u = 4912 + -1095. Is u a composite number?
True
Suppose -4*r + 22 = z, 0 = -z + 6*r - 2*r + 22. Suppose n - 25 = z. Is n a composite number?
False
Let x be (-610)/75 - (-4)/30. Is (-6252)/(-9)*(-12)/x composite?
True
Let v(k) = 2*k**2 + 11*k - 14. Let f be v(-13). Suppose -3*m - 4*t + 553 = 0, -m - 6*t + f = -3*t. Is m prime?
False
Suppose 4*q + 62120 = 4*g, 4*g - 4*q - 46593 = g. Is g a composite number?
False
Suppose 36 - 51 = -5*s. Suppose 492 = -0*n + s*n + 3*u, 5*n - 4*u - 775 = 0. Is n prime?
False
Let x = -364 - -888. Is (3 + -6)*x/(-6) a prime number?
False
Suppose 0 = -18*z + 14*z + 12. Suppose 5402 = z*b - 3649. Is b a composite number?
True
Let c = 93 + -89. Suppose -2272 = -c*p - 756. Is p a prime number?
True
Let o(d) = -551*d + 9. Suppose -3*g = 13 - 1. Let z be o(g). Let p = -1528 + z. Is p a prime number?
False
Suppose 5*t + 120 = 2*t. Let k be (-10)/35 + t/7. Is 22*1/(k/(-9)) a composite number?
True
Suppose -18454 = -2*m + 4*v, -4*v + v + 9 = 0. Is m a prime number?
False
Let o(f) = -f**3 + 3. Let m be o(0). Suppose a - 2360 = m*a. Is -1*4*a/16 prime?
False
Suppose -6*s = -0*s - 18. Suppose -5*t - 13 = -q, 7*t + s*q = 3*t + 1. Is 126/6 + t/1 composite?
False
Let q = 19 - 27. Let l = -6 - q. Is l/(-5) + (-2091)/(-15) a prime number?
True
Suppose -2*u - 564 = -4*y, -3*y + 562 = y - u. Suppose v = -4*v + y. Suppose 2*i - v = -o, -2*i = 4*o - 53 - 53. Is o a prime number?
False
Suppose 20037 = 29*n - 6469. Is n composite?
True
Suppose -99 = -0*s - 3*s. Let h = 0 + s. Is h composite?
True
Let b = 104820 - 52481. Is b prime?
False
Let w = -345 - -844. Is w prime?
True
Let u = 42 + -41. Let s(j) = 158*j**3 - 2*j + 1. Is s(u) a prime number?
True
Suppose -2*u - 242 = -2*f + 3*u, f + 5*u - 136 = 0. Suppose 2*n - f = -r - n, 4*r - 513 = -3*n. Let l = 184 - r. Is l prime?
False
Let r = 19376 + -725. Is r a composite number?
True
Suppose 7*r + 722 - 5104 = 0. Suppose -14*j + r = -32. Is j composite?
False
Let w(z) = -2*z**3 + 11*z**2 - 6*z + 5. Let r be w(10). Let u = -597 - r. Is u a composite number?
True
Let n be (6 - 5)/((-5)/3695). Is n/2*(-2 - 0) a prime number?
True
Suppose -5*k - 10367 = -2*y, 17*y = 12*y + 2*k + 25949. Is y prime?
False
Let h(k) = -2*k**3 + 92*k**2 + 80*k - 73. Is h(42) composite?
True
Suppose 3*z + 4*g - 33 = g, 0 = 2*z - 3*g - 7. Is 5688/96*z/6 prime?
True
Suppose -3*m = -2*m + 5, -3*j + m + 431 = 0. Suppose -j = -4*t + 5*h - 30, -2*h - 123 = -5*t. Is t prime?
True
Let o = 137744 + -59905. Is o composite?
False
Suppose 0 = -h - 3*v + 49, -4*h = -2*v - 0*v - 126. Suppose t - 12 = h. Is t prime?
False
Let i(p) = -p**3 + p. Let n(q) = -2*q - 7. Let l be n(-4). Let t be i(l). Suppose t = -j - 4*j + 1115. Is j prime?
True
Let d(r) = -8*r**2 - 7 - 5*r**3 + 2*r**3 + 2*r**3 + 6*r. Let t be d(-9). Suppose t = u + u. Is u a prime number?
False
Suppose -5*a + 9 = f + 2*f, -5*f - 4*a = -2. Let l(q) = -262*q + 5. Is l(f) composite?
True
Suppose -v - 1 = -33. Suppose 18 = w - v. Let n = 88 - w. Is n a prime number?
False
Is ((-49722)/18)/(-3*1/9) a composite number?
False
Let f = 4873 + -615. Is f a prime number?
False
Suppose -2*g + 3*h = -20222, 2*g - 18658 - 1560 = 4*h. Is g a prime number?
False
Is -22674*(6 + (-13)/2) prime?
False
Suppose 96*q - 6477 = 93*q. Is q prime?
False
Is (-674)/((28/42)/(13/(-3))) a prime number?
False
Suppose -5*y + 5*v - 40 = 0, y + 72*v - 1 = 70*v. Suppose 3 = -b - 4*l, -4*b + 5 + 2 = -3*l. Is 84 + -1 - (y + b) a composite number?
True
Let j = -2845 - -5154. Is j prime?
True
Let x = 431 - -182. Is x composite?
False
Suppose 0*i - i + 1 = k, 3*i + 4*k + 2 = 0. Is ((-1525)/(-10))/(3/i) a composite number?
True
Let o(d) be the first derivative of -7*d**2/2 + 6. Suppose 4*i - 1 = -9. Is o(i) a prime number?
False
Let h(s) = -s**2 - 8*s + 5. Let w(q) = -8*q**2 + q + 1. Let l be w(-1). Let k be h(l). Let p(c) = 2*c**2 - 8*c + 4. Is p(k) composite?
True
Suppose -5*r + u - 1 = -12, -9 = -3*r + 3*u. Let m(o) = o**3 - o**2 - 2*o. Let i be m(2). Suppose i = -a + r*a - 37. Is a a prime number?
True
Suppose -w = 3 - 8. Suppose w*r - 3005 = 1215. Suppose 5*b - r = -189. Is b a composite number?
False
Is (-5943 - 0)/(-3)*1 a prime number?
False
Suppose -12*n = -454570 + 186934. Is n prime?
True
Let b(d) = 434*d - 173. Is b(14) prime?
True
Let f(t) = 7*t + 18. Let v(p) be the second derivative of p**4/6 - p**3/3 - 2*p**2 - 7*p. Let c be v(3). Is f(c) composite?
True
Let l(f) = 582*f**2 + 2*f + 3. Let y = -37 + 36. Is l(y) composite?
True
Suppose -2975 + 1082 = -3*u. Let k be (0/2)/(1 - -1). Suppose k = -5*d + 4*d + u. Is d prime?
True
Is (-9 - -8)*2 - 1975*-1 prime?
True
Let u be (-58)/(-14) - (-13)/(-91). Suppose n + 4*d - 547 = 0, 9*d - 15 = u*d. Is n a composite number?
True
Let j(x) = -193*x + 178. Is j(-15) composite?
True
Is (-1)/(-4) - (-8 - (-60306)/(-24)) a composite number?
False
Is 705/10*(175/3 + -3) a composite number?
True
Let i(n) = 7*n**2 + 3*n**3 + 2*n - 11 - n**3 - 3*n**3 + 2. Is i(-6) prime?
False
Let p(b) = -224*b - 8