?
True
Suppose 4*i - 18 = f, f + 4*i = -f. Is (-17068)/f - ((-4)/3)/4 composite?
True
Suppose 0 = -4*w + g - 10884, 2*w - 4*g + 10872 = -2*w. Is (w/(-2))/(-2 + 3) a composite number?
False
Let r = -4503 + 7232. Is r composite?
False
Let t = -19 + -1. Let m = -15 - t. Is (-1)/(-3)*3345/m prime?
True
Let y = -922 + 1133. Is y a prime number?
True
Let d(q) = 20*q**2 - 12*q - 20. Let g be d(16). Suppose -h = -5*h + g. Is h a prime number?
False
Let v(w) = 46*w**3 - 3*w**2 - 5*w + 12. Let b be v(4). Suppose p - 718 = 3*k, -4*p - 5*k + k + b = 0. Is p prime?
False
Is 4 - ((-2)/(-3) - (-510136)/(-24)) a prime number?
False
Let u(h) be the first derivative of -h**4/4 + 2*h**3/3 + h**2/2 - h - 2. Let w be u(1). Let r = w - -76. Is r composite?
True
Let x be -24*(15/(-10) + 1). Suppose 15*o = x*o + 6297. Is o prime?
True
Let v = -45449 + 89160. Is v a prime number?
True
Let q = -328 + 1380. Suppose -2*k - 2*k = 4*d + q, -5*d - 15 = 0. Let j = 539 - k. Is j prime?
False
Let w = -304 - -686. Let i = w + -273. Is i prime?
True
Let z = 90 + -85. Suppose -z*u - 4*v + 14806 = 3153, 0 = 3*v + 9. Is u prime?
True
Suppose o + 11 = 5*f - 14, f - 5 = o. Suppose 4*w - 5*b - 309 = -4*b, 4*b + 4 = o. Is w a prime number?
False
Let x be ((-15)/(-10))/1*(-4)/(-3). Suppose 6*r - 12652 = x*r. Is r a prime number?
True
Suppose 2*w - 3*w = 2. Let g(d) = 250*d**2 - 5*d - 1. Is g(w) a composite number?
False
Suppose -a + 901 = -2*a. Let o = a - -2802. Is o prime?
True
Suppose -3*f = -12 + 3. Suppose 6*u - f*u - 2013 = 0. Is u a composite number?
True
Let a = -7 - -12. Suppose 0 = 4*v + 5*r - 2304, 25 = -2*v - a*r + 1187. Is v a prime number?
True
Is 136/(-51)*(24219/(-12) + 3) composite?
True
Let l be (-4)/(-14) + 5/(70/24). Suppose -3*i + 308 = 4*u + l*i, 0 = -5*i. Is u prime?
False
Let x be (-22964)/(-10) + (-8)/20. Let s = -569 + x. Is s prime?
False
Let s(t) = t**2 + 10*t - 23. Let v be s(-12). Is 0 - -2 - (-249)/v a composite number?
False
Let m(y) = 1 + 12*y**2 + y**3 + 1 - 6 - 4 + 2*y. Is m(-7) a prime number?
True
Let x(w) = -10*w**3 + w**2 + 28*w - 50. Is x(-11) prime?
False
Suppose -19*j + 23*j = 128564. Is j a prime number?
True
Let s(k) = 6*k + 24. Let t(n) = n**2 - 6*n - 24. Let w(v) = 6*s(v) + 7*t(v). Is w(11) composite?
False
Suppose 0 = -5*s - t - 35, 5*s + 0*t = 2*t - 20. Is s/10*1935/(-9) prime?
False
Is ((-3122696)/28)/(-2) + 16/28 a prime number?
True
Suppose -4*g = 10 + 6, -5*w = 5*g - 25. Suppose 0 = -3*b + 2*q + w + 7, 5*q = -5*b + 35. Suppose -1585 = -b*h + h. Is h composite?
False
Let i be (-9 + 2)*1*2/(-7). Is i/(-12) + (1422421/42)/13 prime?
False
Let j = 382 - -28. Suppose -24*g + 22*g = -j. Is g a composite number?
True
Suppose -3*u + 2*u + 3024 = -3*z, -z + 1 = 0. Is u prime?
False
Suppose 0 = -8*j + 3*j + 25, 3*l + j - 5 = 0. Let k = 4 - l. Suppose 2*f - 163 = -n, -n + k*f = 3*n - 640. Is n composite?
True
Suppose 0 = -5*x + 3*y + 2 + 4, 0 = -5*x + 5*y. Let h be 3/6 + (-91)/2. Is (37/(-3))/(x/h) composite?
True
Let s(c) = 4*c**2 + 94*c - 59. Is s(-40) a prime number?
False
Let n = 643 + -326. Is n composite?
False
Suppose -4*r + 251 = -57. Let b(y) = -y**2 + 10*y + 2. Let i be b(10). Suppose -39 + 0 = -i*x - u, -4*x - u + r = 0. Is x a composite number?
False
Suppose -22*d = 29*d - 3869115. Is d prime?
False
Let m(g) = 17*g**3 + 5 + 8 - 11*g**3 - 3*g**2. Is m(6) a prime number?
True
Suppose 2*w - 16242 = -4*t, -4*w = -4*t + 5*t - 32477. Is w a composite number?
True
Suppose 2*s - 42 + 18 = 0. Suppose 0 = -r - 3*r + s. Suppose 3*c + r*n = c + 146, -4*c + 332 = -4*n. Is c a composite number?
False
Let o(w) = w**3 + 7*w**2 - w - 3. Let g = 14 + -21. Let n be o(g). Suppose 3*u + 2*k = n*k + 109, 3*k = 2*u - 71. Is u composite?
False
Suppose 4*f = 2*f + 16. Suppose -f = -w - o, 4*w - 38 + 16 = -2*o. Suppose 295 = 2*u + w*u. Is u a composite number?
False
Suppose 0 - 6 = 3*m. Is (1172/(-8))/(1/m) a composite number?
False
Suppose -5*l = -13 + 3. Suppose 7*c = -5*k + l*c + 1745, -k + 4*c = -354. Suppose -3*a = 113 - k. Is a prime?
True
Let o be (-6 + 1)/((-7)/49). Is (1168 + o)*((-1)/(-3) - 0) a prime number?
True
Suppose b + r - 7722 = -b, 0 = b + 3*r - 3871. Is b composite?
True
Suppose -1400 + 217 = -5*h + 4*k, -10 = 5*k. Suppose 0 = -y - 0*w + 2*w + h, -461 = -2*y - 5*w. Is y a prime number?
True
Let b be 48/30*5/(-2). Let u be -4*(-4)/b + 96. Suppose -2*p = -6, -5*q + p = -0*p - u. Is q a prime number?
True
Suppose 4*i + 0*i = 16. Suppose -i*y = -3*y + 123. Let w = y + 388. Is w composite?
True
Let g(x) = 8*x**2 + 0*x**2 - 17*x - 1 + 14*x**3 - 13*x**3. Let k be g(-12). Is (3 + -4)*(0 + k) a prime number?
True
Let t = 20 - 35. Let w(c) = -c**3 - 10*c**2 + 14*c - 14. Is w(t) prime?
False
Let w = 77 + 7. Suppose 0 = 4*k + 8 - w. Is k composite?
False
Suppose 5*u + d - 4261 = 0, 5*u + 2*d = -3*d + 4245. Is u a composite number?
False
Suppose -17462 = -a - 3*a - 3*u, 5*a - 21829 = -3*u. Is a composite?
True
Suppose 25 = 3*t + 19. Let f be 160 + (-1 + 0)/1. Suppose l = -t*l + f. Is l composite?
False
Is (-1634038)/(-665)*((-10)/(-4) - 0) a prime number?
True
Let a(c) = -c - 5. Let x be a(-8). Suppose 0 = -x*h + 5*h - 18. Suppose -4*g - 8 - 1 = z, 3*g = -3*z + h. Is z a composite number?
False
Suppose -802 = 5*a - 3*r + 598, -576 = 2*a + 2*r. Let f = a - -770. Is f composite?
False
Suppose 42 = -o + 213. Suppose 7*u - o = 928. Is u a prime number?
True
Suppose -14*p + 29 = -27. Suppose -2*h - p = 0, 3*r - 4*r = -5*h - 311. Is r prime?
False
Let q(m) = -m**3 - 3*m**2 - m + 1. Let z be q(-3). Suppose -s + 145 = 140. Suppose -299 = -t + z*k, 5*k = s + 5. Is t a composite number?
False
Let x = -15 + 18. Suppose -6*y + v = -2*y - 803, 0 = x*y + 5*v - 631. Is y prime?
False
Let t be (-6)/(3 - (-45)/(-12)). Is (2/1)/(t/1228) a composite number?
False
Is -16057*(0 + (-5 - 0 - -4)) prime?
True
Let s(q) = 738*q**2 + 2*q + 1. Let t be s(-1). Let x = 500 - t. Let f = x + 400. Is f a prime number?
True
Let k = -110 + 36. Let i = 513 - k. Is i a composite number?
False
Let l be (-36)/(-21)*42/24*2. Let t(m) be the third derivative of m**5/20 - m**4/6 + 13*m**3/6 + m**2. Is t(l) prime?
True
Let j(l) = -54*l**3 - 5*l**2 - 27*l + 1. Is j(-5) prime?
True
Suppose -5*j - 24718 + 5170 = -3*l, 4*j = -2*l + 13054. Is l a composite number?
False
Let m(a) = -20*a**3 - 6*a**2 - 4*a - 37. Is m(-5) a composite number?
False
Suppose -9 = -2*s + 5*p, 2*s + 4*p = -0*p - 18. Is 568 + 3 + s + -3 a composite number?
True
Let c(f) be the third derivative of f**6/120 - f**5/20 - f**4/6 - 11*f**3/6 - 16*f**2. Is c(5) composite?
False
Let z = 1221 + 307. Let l = z + -791. Is l prime?
False
Suppose 0 = 3*j + 4*z + 4, 3*z = -3*j - j - 3. Suppose -q + 5*v + 5 = 4*q, -2*q + 2 = -3*v. Is j - (470*q)/(-2) a composite number?
True
Let y be (-32)/(-18) - 24/(-108). Suppose 0 = r + r - 8. Suppose -r*z = -3*a + 161, -4*a - y*z = -a - 149. Is a a composite number?
True
Let l(b) = -4558*b - 65. Is l(-1) composite?
False
Let g be (3/2)/((-1)/(-2)). Suppose -5*q = -4*k + 7325, -2*q + g = -3. Is k a composite number?
True
Let l be 1/(0 + 1/132). Let t = 232 + 61. Suppose -t - l = -5*v. Is v prime?
False
Let t(k) = -7*k**3 - 3 + 4*k + 2*k**2 + 3*k**3 + 3*k**3. Let z be t(3). Suppose 2*b = -5*o + 342, 4*o + 789 = -z*b + 5*b. Is b prime?
False
Let m(y) = 5*y**2 - 16*y + 61. Suppose -3*p = -5*c + 42, 0*c - 2*c + 4*p = -28. Is m(c) prime?
False
Let v = -18044 + 31405. Is v a prime number?
False
Let t = -6 - -14. Suppose t*p - 741 = 4995. Is p a prime number?
False
Let a be 2459/9 + (-12)/54. Suppose -t = -0*t + a. Is t/28*(-16)/6 prime?
False
Let j = 23 - 21. Is (-1)/(j - 1731/865) prime?
False
Let j(z) = z**3 + 12*z**2 - 24*z + 14. Let k(o) = -o**3 - 11*o**2 + 23*o - 13. Let h(a) = -3*j(a) - 4*k(a). Is h(-9) a composite number?
False
Let j = -471 - -734. Is j a composite number?
False
Let w be (-162)/24 - (-1)/(-4). Let c(s) = -s**3 - 7*s**2 + 2. Let r be c(w). Suppose -r*t - 159 = -5*t. Is t prime?
True
Let g be -4*(-4)/((-32)/18). Let n = 12 + g. Suppose -42 = -n*h + k, -h = 4*k - k - 4. Is h a prime number?
True
Let o(x) = 28*x**2 - 3*x + 9. Suppose 0 = -4*b - 4*j - 16, j + 4*j + 24 = -b. Suppose 0 = -3*v - b + 13. Is o(v) composite?
True
Is ((-2)/(-4))/((-39)/(-127686)) composite?
False
Let n(k) = -2