 - 1488, 0 = -4*u + 4. Is m a composite number?
True
Suppose p + 3*p - 28 = 0. Suppose -20 = -p*s + 2*s. Suppose -s = x + 3*f + 1, 5*x = -f + 17. Is x a prime number?
False
Let j(u) = -7*u + 4. Let l(q) = -2*q + 0 + 0*q - 1 + 4. Let a be l(5). Is j(a) a composite number?
False
Suppose 248*t = 237*t + 72677. Is t prime?
True
Let n(i) = 160*i**2 + 8*i + 11. Let z(u) = u**3 - 14*u**2 + 15*u - 28. Let h be z(13). Is n(h) composite?
True
Suppose -l = -2*z + 15335, -7666 = -7*z + 6*z + l. Is z composite?
False
Let f(v) = -v. Let s be f(-7). Suppose -s*t + 9*t - 1358 = 0. Is t prime?
False
Let b(a) = 4*a - 7. Let q be b(3). Let p(h) = -h - 2*h**3 + q*h**3 + 5*h**2 + 5 - 2*h**3. Is p(-4) a composite number?
True
Suppose 6*j - 70 - 32 = 0. Suppose 0 = -b - j - 15. Is (-53)/(b/10 + 3) composite?
True
Let k be 6/3*(-26)/(-4). Let b be k + -6*2/4. Let r(j) = 2*j**3 - 2*j**2 + 11*j - 9. Is r(b) a prime number?
True
Let q(p) = -58*p - 57. Let m be (3 + 0)*32/(-6). Is q(m) composite?
True
Suppose -8*i - 67 = -3. Is (1/(i/(-62)))/((-2)/(-8)) a composite number?
False
Suppose 1376 = 11*y - 450. Suppose 0 = -3*d - 6, -2*d - 8 = 4*k - 0*d. Is (y/8)/(k/(-4)) a prime number?
True
Let u be 6/9*-1*-15. Suppose -6*m + m - u = 0. Is (-518)/(-8) + m/(-8) a composite number?
True
Let c(h) = h**3 - 7*h**2 - 11*h + 4. Let n(t) = 2*t**3 - 8*t**2 + 4*t - 7. Let y be n(4). Is c(y) prime?
True
Let u(w) be the third derivative of w**5/60 + 5*w**4/24 + 2*w**2. Let s be 109 + -104 + (-5)/(5/12). Is u(s) prime?
False
Let p = -28 + 28. Suppose -7*i + 8015 = -p*i. Is i composite?
True
Is 225/55 + -4 - (-659060)/55 a composite number?
True
Let i be 558/42 - 2/7. Let g = -11 + i. Suppose g*w - 104 = 2. Is w prime?
True
Let l(z) = z**3 - 11*z**2 - 11*z - 17. Suppose 5*w + 4*u = 72, 0 = 4*w + 2*u - 28 - 26. Let m be l(w). Is (-1033)/m - (-42)/(-70) composite?
True
Let v(g) = -g**3 - g**2 + 206. Let x be v(0). Let m = -147 + x. Suppose -m - 30 = -u. Is u composite?
False
Suppose -3*s + 3966 = -8925. Is s prime?
True
Let g = 5619 + -3660. Is g prime?
False
Is 9/(-4) - (-212198)/56 prime?
False
Let l be 3/(-2)*(-4)/3. Let v(o) = 7 + 9*o + o**2 - o + 3*o**l. Is v(7) a prime number?
False
Suppose 0 = -63*w + 68*w - 18935. Is w a prime number?
False
Let l = 30 + -24. Suppose 5*h + 3*o = 23, l = 3*h - 5*o - 1. Suppose -4*t - 4*a + 1952 = 0, -h*t + 1945 = -5*a - 16. Is t prime?
False
Is 8015733/567 - (-2 - (-132)/63) a prime number?
False
Suppose -4*s + 5*s + 3 = 0. Let d(p) = 45*p**2 - 6*p - 4. Let h be d(s). Suppose 4*g - h = 97. Is g a prime number?
False
Is ((-1628)/(-176))/((-1)/(-268)) composite?
True
Suppose 0 = -4*c - 5*w - 11 - 36, 4*c + 50 = -2*w. Let u = -4 - c. Suppose u*i = 5*i + 1564. Is i a composite number?
True
Let t(h) = 17*h**2 - 6*h + 8. Let v = -20 + 25. Is t(v) a prime number?
False
Let t be 9/(-21) - (-96693)/21. Suppose 0 = 2*u, u = 2*o + 2*o - t. Is o composite?
False
Suppose -2*o - 15 = -5*o. Suppose q - 1027 = -5*y + 5*q, -391 = -2*y - o*q. Is y a composite number?
True
Let u = -657 - -164. Let r = 78 - u. Is r a composite number?
False
Suppose -5*d + 227910 = 5*m, -2*m = -5*d - 124793 + 352738. Is d composite?
False
Let w(p) be the second derivative of p**4/12 + p**3/6 + 19*p**2/2 - 13*p. Is w(0) a prime number?
True
Suppose -4*r + 5790 = 2*h, 2*h + r - 3372 = 2424. Is h a prime number?
False
Let t be 3 - -1 - (2 + 0). Suppose -3*b - 74 = -g - 3*g, 5*g - 104 = -t*b. Suppose 4*i - 407 = 3*p - g, i + 4*p = 73. Is i composite?
True
Let f(l) = -l**3 + 16*l**2 + 20*l - 18. Let q be f(13). Let b = 1080 - q. Is b prime?
True
Let a(m) = -m**2 + 2*m. Let u be a(2). Suppose 4*x + 3*i = 2792, u*i - 717 = -x + 4*i. Suppose -x = -4*h + 63. Is h prime?
True
Suppose 2*r = -5*k + 53584, -5*k - 154108 = -5*r - 20113. Is r composite?
True
Is 6/2*(-353249)/(-87) a composite number?
True
Let v(x) = x + 7. Let l be v(-11). Let g be 128*-1 - (l + 3). Is (g/5)/(3/(-15)) composite?
False
Suppose 3*d - 2*u + 6*u = 22381, 4*d - 29846 = -3*u. Is d composite?
True
Suppose 4*f - 2*v + 51 = -63, 0 = 2*f - 5*v + 61. Let n be -5*((-27)/54)/((-1)/(-70)). Let r = n - f. Is r composite?
True
Let r(f) = -25*f - 1. Suppose -l + 4 = 2*p, -4*p + 8 = -3*l - l. Suppose -p*o + 3*o + 6 = -4*d, 0 = 4*o - 8. Is r(d) a composite number?
True
Let q(w) = -127*w. Let d be (-2 + -5)*(-4)/14. Suppose -d = -c - 3. Is q(c) prime?
True
Suppose -3*x - 10*h + 48760 = -15*h, -32505 = -2*x + 5*h. Is x composite?
True
Let l(m) = -1201*m - 46. Is l(-3) composite?
False
Is 7/(35/5034)*(-270)/(-108) composite?
True
Suppose 2*l = -a - 4, -6*l + 2*l - 3*a = 6. Is l*((-1465)/15 - 0) prime?
True
Suppose -11*d + 1450 + 3093 = 0. Is d prime?
False
Let i(b) = 6*b**2 + 10*b + 13. Suppose 3*o - 3*q - 686 - 274 = 0, -641 = -2*o + q. Let x be o/(-45) + (-2)/(-15). Is i(x) composite?
True
Let g(w) = 75*w**2 + 28*w + 74. Is g(21) a composite number?
True
Let y = 7977 - -4818. Suppose 8*x - y = -7*x. Is x composite?
False
Let u(k) = 27*k - 61. Suppose 2*c + 6 = 0, 3*p = -c - 10 + 49. Is u(p) a prime number?
True
Suppose 9*b = 21*b + 120. Let t(y) = -y**3 - 3*y**2 - 20*y + 1. Is t(b) a composite number?
True
Let q be (1/2)/((-6)/(-2100)). Let s = -123 + q. Is (s/8)/((-2)/(-4)) composite?
False
Suppose 84*x + 11915 = 89*x. Is x a prime number?
True
Suppose -5*d = 2*y + 80, -3*y + 5*d = 73 + 47. Let n be 13/5 - 16/y. Suppose 759 = -0*u + n*u. Is u a prime number?
False
Let y(t) = -4*t**3 + t**2 + 4*t - 1. Let v be y(5). Let l = 325 - v. Is l a composite number?
True
Suppose 149 - 188 = 3*a. Is (a - -11)*((-10701)/(-6))/(-3) composite?
True
Let f = 48626 - 23569. Is f composite?
False
Let q be -2 - (-26)/(0 + -2). Is ((-107)/4)/(q/120) a composite number?
True
Let b(y) = y**2 + 10*y - 1. Let u be b(9). Let a = u + 4. Suppose -a = w - 3*w. Is w a composite number?
True
Let h = -33 + 35. Suppose 2*d - 6*d - 2*r + 342 = 0, -h*d - 2*r + 168 = 0. Is d a composite number?
True
Let i be (2 + 2180/(-6))*-3. Suppose -724 = -2*v + 2*l, 0*l = 3*v - 2*l - i. Let t = 1111 - v. Is t composite?
False
Let g(i) = -i**3 - i + 641. Suppose 6*p = 9*p. Is g(p) a composite number?
False
Let h = 33212 - 17295. Is h prime?
False
Suppose 3*p = 2*n + 368, -4*p - 3*n + 500 = -n. Let y = 431 - p. Is y composite?
False
Let j(v) be the first derivative of -v**3/3 + 4*v**2 + 20*v - 1. Let i be j(9). Suppose i*w = 12*w - 127. Is w composite?
False
Let b be (-2)/(-1)*3/2. Suppose -99 = -r + 4*d, b*d = -4*r - r + 380. Is r prime?
True
Suppose -287 - 13 = -5*m. Suppose 59*c - m*c = -1721. Is c composite?
False
Suppose -4*x + x + x = 0. Suppose x = 3*f - 382 - 11. Is f a composite number?
False
Let q(l) = -5*l + 0*l**2 - 4*l**2 + 2*l**3 - l**3 + 4. Let s be q(6). Suppose 0 = 3*i - s - 56. Is i composite?
True
Suppose 4892 = 2*r - 4*r. Let c = -1365 - r. Is c a prime number?
False
Suppose -3*o + 32 = -34. Suppose o*x - 8 = 20*x. Is -4 + (x - -93) + 2 composite?
True
Let i = 74 + -11. Suppose -4*s = 2*y - 62, i = 5*y - 2*s - 116. Is y a composite number?
True
Let i be (-16)/(-12) - (-29)/3. Suppose 14 = -3*b - 5*l, 2*l + i = 3. Suppose -3*z = -b*z - 2*s - 85, -432 = -5*z + 3*s. Is z prime?
False
Let j(z) = 4*z**2 - 2*z + 3. Suppose -2*n - 35 = 3*n. Let o be 0/(-1) + n/(-1). Is j(o) a composite number?
True
Is ((-44)/(-88))/(0 + (-1)/(-542)) composite?
False
Let m be (4/6)/2 - (-88)/24. Suppose -8*u = -m*u - 5476. Is u a prime number?
False
Let p(g) = 85*g**2 + 209*g + 13. Is p(10) composite?
True
Is 5229 + -5 - (4 - 14/2) a prime number?
True
Let n be ((-9)/(-3))/((-6)/(-30)). Let g be (48/n)/(4/10). Is ((-94)/8)/(g/(-352)) a prime number?
False
Let u be 85 + -4 + 9/3. Suppose -4*i = -0*i - u. Suppose 15 = r + 4*j, -j = 2*r - 37 - i. Is r a composite number?
False
Suppose 31*z - 272 = 35*z. Let a = 131 - z. Is a a prime number?
True
Suppose 3*n - 5377 = -739. Is n a prime number?
False
Let s = 460 - 297. Is s a composite number?
False
Suppose -67686 = -11*q + 5*q. Is q composite?
True
Suppose -3*s + 5*o = 2290 + 92, -3*s - 2370 = -o. Is ((-14)/(-105)*-5)/(1/s) prime?
False
Let f(n) = -n**3 - 23*n**2 - 27*n + 75. Is f(-28) a composite number?
False
Suppose 0 = 54*f + 5070 - 18624. Is f composite?
False
Let r = -13 + 13. Suppose 4*s = 5*l - 3822 + 1447, r = -3*l + 3*s + 1428. Is