88 = 4*i. Let o = w - -91. Let z = 76 - o. Is z a prime number?
True
Suppose 198168 = 11*r + 70865. Is r prime?
False
Let u(h) = h - 3. Let l be u(7). Suppose -l*f + 7*f - 15 = 0. Suppose 2*y - 24 = -f*i, -3*y - 33 = -3*i - i. Is i composite?
True
Let a(c) = 841*c + 327. Is a(4) a composite number?
False
Let o(n) = 1199*n + 546. Is o(23) prime?
True
Let j = 7 + -6. Let s = 5 - j. Is (263/s)/((-1)/(-4)) composite?
False
Let g(o) = -o**3 - 14*o**2 + 5*o - 1. Let a(d) = -d**3 - 18*d**2 + 18*d - 34. Let p be a(-19). Is g(p) a composite number?
False
Suppose 45 = -0*a + 5*a. Suppose a*z - 7*z - 4844 = 0. Suppose 0 = 5*p - 7*p + z. Is p a prime number?
False
Suppose -16 = 15*b - 19*b. Suppose x - b*x = 90. Let r = -15 - x. Is r a prime number?
False
Suppose 15 = 6*o - 3. Is 468 + (-21)/o + 2 prime?
True
Is 74/407 - (-39)/33*129623 composite?
False
Is 6 - 4/(20/(-56335)) prime?
True
Suppose n = 2 - 0. Suppose -3*b - n*b + 3*l = -1028, b = 2*l + 200. Suppose 5*r = 357 + b. Is r a prime number?
True
Is ((-242662)/(-4))/((-167)/(-334)) prime?
False
Let b(m) = -m**3 + 5*m**2 - 4*m + 1. Let y be b(3). Let q = y - 3. Suppose -o + 72 = -2*i, -2*o = q*i - 0*i - 104. Is o composite?
True
Let z be (-9731)/(-8) - 3/8. Let b = 2937 - z. Is b composite?
False
Suppose -5*k - 2*y = 3 - 9, -y = -3*k + 8. Suppose -n = k*n - 111. Suppose -u + n = -0*u. Is u a composite number?
False
Suppose 0 = 5*u - 175 - 125. Suppose -u = -2*t + 70. Suppose j + 5*m = -j + t, -2*j = -5*m - 75. Is j composite?
True
Is ((-2019)/(-3) - (-11)/(-22))*2 composite?
True
Suppose 2*w - 492 = -2*w + 4*x, -254 = -2*w + 4*x. Suppose -4*u + w = -69. Is u a prime number?
True
Suppose -9*o = 12*o - 413742. Is o prime?
False
Suppose -d - 1164 = -2*f - 275, 1787 = 4*f + d. Let j = -315 + f. Is j a composite number?
False
Let s(n) be the second derivative of 18*n**3 + 2*n**2 + 3*n. Let q be s(6). Suppose -8*t = -4*t - q. Is t composite?
False
Let w(a) = -a**3 + 3*a**2 + 6*a - 5. Let s be w(4). Suppose -i = -s*i + 1908. Suppose -i = -q + 161. Is q composite?
True
Let l(r) = -2*r**3 - 10*r**2 + 13*r + 1. Let n be l(-8). Suppose -n = -d + 506. Is d a prime number?
True
Let v(i) = -60*i**3 - i**2 - 8*i + 6. Is v(-7) composite?
False
Is ((-849)/(-18)*92)/((-14)/(-21)) a composite number?
True
Is (-56060)/(-25) - ((-264)/(-40))/(-11) composite?
False
Let q = 2771 - 138. Is q a prime number?
True
Let r be -1 + (-7 - 1 - 1) - 0. Let g(o) = -3*o**3 - 4*o**2 - 7*o + 11. Is g(r) a prime number?
False
Let x be (-1)/2*(14 + -24). Suppose -4*n = -x*c + 5411, -3*c = -2*n + 207 - 3454. Suppose t - 4*t = -c. Is t composite?
True
Is ((-37)/(-2))/(((-18)/(-44))/9) a prime number?
False
Let h be (-1)/3 + (-152)/(-24). Suppose 0 = 2*m - h*m + 2084. Is m a composite number?
False
Let k(x) = 4962*x**2 + 1. Is k(1) prime?
False
Is 2 + 14/(-6) - 9474/(-18) prime?
False
Let x(s) = s**2 - 11*s + 14. Let c be x(10). Suppose -3*u - c*k = -137, 0*k + 14 = u - 5*k. Suppose -4*l - 3*q = -861, 171 + u = l - q. Is l prime?
False
Let k = -11 - -29. Is 168/k*60/16 prime?
False
Suppose 5*y + 4*s = 13655 + 18761, -12973 = -2*y + 5*s. Suppose 24*w - y = 20*w. Is w composite?
False
Is 4 + (-5274)/(-12) - (-1)/(-2) a prime number?
True
Let m(h) = 1779*h**2 + 5*h - 11. Is m(2) a prime number?
False
Let a(h) = -37*h**2 - 5*h - 12. Let k(g) = 19*g**2 + 3*g + 6. Let v(y) = -6*a(y) - 13*k(y). Let b(c) be the first derivative of v(c). Is b(-4) a prime number?
True
Suppose -13556 = -7*d + 208701. Is d a prime number?
True
Suppose -2*z = 0, -9*z = 5*d - 7*z - 274865. Is d a composite number?
False
Suppose 0 = -r + g - 798 + 7317, -2*g + 26046 = 4*r. Is r composite?
True
Is (8/(-10))/(2*(-12)/35220) composite?
True
Is 78/(-351) - 75550/(-18) a prime number?
False
Let o(w) = 2*w**2 - 3*w - 2. Let b be o(-1). Suppose 3*j - 5 = 7. Suppose -b*r - 64 = -2*v - r, -4*r = j. Is v prime?
True
Let t(a) = -a**3 + 3*a**2 - 12*a + 28. Is t(-15) a prime number?
False
Let k(p) = -10*p**3 + 4*p**2 + p - 4. Let s be (-5)/((-10)/(-4)) - 1. Is k(s) prime?
False
Is (-30)/105 - (-17126)/14 a composite number?
False
Suppose q - 2*i + 2 = 0, 5*q - 1 = i + 7. Let j(h) = 227*h**3 + h**2 + h + 1. Is j(q) a composite number?
False
Suppose 1314 + 44386 = 20*f. Is f a prime number?
False
Let s be ((-2242)/(-6) + 1)*924/56. Suppose s = o + 1647. Is o a composite number?
True
Let w = -9 - -13. Suppose 4*i = -w*i + 520. Is i composite?
True
Suppose 0 = x - 2*n - 1749, 7*x + 3510 = 9*x + 2*n. Is x prime?
True
Suppose 3*d + 12 = -2*f + 3, 11 = -5*f + 4*d. Is (f - -216)/(-4 - -5) composite?
True
Suppose -8*h = 4*h + 11856. Let o = h - -2125. Is o prime?
False
Let r = -85 + 85. Suppose -3*a - 2*g + 7889 = 0, r = -5*a + 3*g - 5*g + 13147. Is a a prime number?
False
Let l = 2087 - 1225. Is l a composite number?
True
Let m = 94 - -135. Let g = m - -2908. Is g a prime number?
True
Is (-9)/(45/(-10)) + 629 prime?
True
Let u(z) = 143*z**2 - z + 61. Is u(-8) prime?
True
Let h = -2933 + 5250. Is h composite?
True
Let o(l) = -4*l**3 + 6*l**2 + 15*l + 10. Is o(-7) composite?
False
Let x(z) = z**3 + z**2 - 7. Let f be x(0). Let c = 49 + f. Is (10/7)/(6/c) a composite number?
True
Let p(o) = -o - 12. Let y be p(-13). Is -5 - -1 - (-972 + y) composite?
False
Let j(m) = 26*m**3 - 4*m**2 + 11*m + 149. Is j(12) prime?
True
Let r = -3 + 7. Suppose -6*a = -2 - r. Is 1*140 + a + -2 a composite number?
False
Let c = -12 + 16. Suppose 3*v = -9, 5*t + c*v - 6 = -18. Suppose 3*m - n - 829 = 168, -4*m + n + 1328 = t. Is m composite?
False
Suppose -56 = 2*b - 6*b. Let w(k) = -4*k + 2*k + 15*k - 5*k - 9. Is w(b) composite?
False
Suppose -3*f = -3*t + 15, -4*f = 5*t - 13 + 42. Is (62/f)/(3/(-9)) prime?
True
Let a = 79886 + -45057. Is a prime?
False
Let s = 3265 - 932. Is s a prime number?
True
Suppose 7 = 5*i + 22, 5*v + 2*i - 27059 = 0. Is v prime?
True
Let n be (-1)/(135/(-35) - -4). Let k = n - -60. Is k a composite number?
False
Suppose 9*f = -4 + 49. Suppose -f*a + 309 = -2*a. Is a prime?
True
Suppose -4*t = -c - 2*t + 12, -4*t - 16 = 0. Suppose 20 = -l - c*l. Is ((-2001)/(-12))/((-1)/l) prime?
False
Let l(i) = -2*i**3 - 5*i**2 - 6*i - 3. Let t be l(-2). Suppose -4*p + 6640 = 4*w, -t*w + 3*p + 2442 + 5834 = 0. Is w a composite number?
False
Let k(l) = 32*l**3 + 2*l**2 - 9*l - 15. Let f be k(-4). Let g = f + 3706. Is g prime?
False
Suppose 37314 = 5*w + 4*b, -2*b + 10616 + 4308 = 2*w. Is w prime?
False
Suppose 2*t + 245 = -1103. Let g = -170 + t. Is g*-2*(-3)/(-24) prime?
True
Suppose -4*o - 2*y + 54543 + 42611 = 0, -5 = -y. Is o a composite number?
True
Suppose -2*i - 2*i + 5*c = -465, -4*c - 119 = -i. Let a = 328 - i. Is a a composite number?
True
Let v = 1055 - 627. Let q = 2 + 0. Suppose v - 1505 = -4*l - 3*i, i = -q*l + 537. Is l composite?
True
Let i(k) be the second derivative of 7*k**4/6 - 11*k**3/6 - 3*k**2 - 17*k. Is i(-7) a composite number?
False
Let x be (-1 + -2 - -9) + 2. Suppose x = -6*m + 2*m. Is m/(-4) - 543/(-6) a prime number?
False
Suppose 0 = 8*p - 25 + 225. Let q = p + 47. Is q a prime number?
False
Suppose 4*r - r + 364 = 5*q, 5*r + 15 = 0. Suppose c = 2*z + 18, -5*z - q + 17 = -3*c. Is ((-423)/c)/(2/(-44)) a prime number?
False
Suppose 2*y + 2*y - 4*t - 23032 = 0, 3*y - 17277 = 4*t. Is y a composite number?
True
Suppose 12*r - 17*r = -m + 904, -m + 880 = 3*r. Is m a composite number?
True
Let o be 1*2*(-2 - -1). Let v be (8/(-6))/(o/(-3)). Let i = 15 + v. Is i a composite number?
False
Suppose -3*h + 3*l + 15 = 0, -5*l + 25 = 4*h + h. Suppose -q = -h*q + 32. Let y(p) = 15*p + 2. Is y(q) prime?
False
Let y = 5311 - 3096. Is y a prime number?
False
Suppose -4*u - 26840 = q, q = -5*u - 22725 - 10824. Let a = -4238 - u. Is a prime?
False
Let h(s) = -2*s**3 + 5*s**2 + 7*s + 6. Let l be h(-5). Suppose f = l + 741. Is f a composite number?
False
Is 4/((-452606)/(-2261630) + (-1)/5) prime?
True
Suppose 2*x = 14 - 14. Suppose -6*o = -x*o - 6978. Is o prime?
True
Let s = 2 + -2. Let m be (3 - 1) + 802 - (-2)/2. Suppose s = -6*j + j + m. Is j a prime number?
False
Let h(k) = -k**3 - 5*k**2 - k - 1. Let m be 1/2 + (-22)/4. Let d be h(m). Let t(p) = 3*p**2 + 6*p - 5. Is t(d) a composite number?
False
Let r(t) be the first derivative of -113/2*t**2 - 6 - 4*t. Is r(-7) prime?
True
Suppose -683