 8*a + 12. Let b be x(9). Suppose 2*l - 4*j = 3*l - 163, b*l - 489 = j. Is l composite?
False
Let m be 9/6*10/3. Suppose -701 - 14 = -m*i. Is i a prime number?
False
Is (-4)/14*(-112)/32 + 4048 composite?
False
Is 124220/140 - (-4)/(-14) a prime number?
True
Suppose w = -0*w + 2. Suppose -3*a - 2 = 5*h, -w*h - 3*a = -3*h + 14. Suppose -j - h*j = -39. Is j prime?
True
Let r be -1*(-8 + 2 + 1). Let h = r - 11. Is (-3)/h + 109/2 a composite number?
True
Suppose 2*o - 154 = -0*o. Let t = 136 + o. Is t + 3*(-4)/6 composite?
False
Suppose 4*q = 3*d + 27, -2*q + 35 = 3*q - 4*d. Suppose -q*g = 3*w - g - 8, 2*w + 5*g = -2. Is (42/w)/((-1)/(-2)) prime?
False
Let j = -5 + 7. Suppose j*s - 1 = -3. Is (-5)/((-10)/24) - s prime?
True
Let u(v) = 2*v**3 + v**2. Let y(x) = -x + 6. Let a be y(5). Let m be u(a). Suppose m*l - 418 = l. Is l a composite number?
True
Let l = 15 - 2. Let g = -6 + l. Is g prime?
True
Let k(u) = -u + 7. Let w be k(4). Suppose 2*g - s = 9, 3*s = -4*g + 6 - w. Suppose t - g*x - 6 = 0, -x + 1 = -0*x. Is t prime?
False
Let f = 2 + 2. Let k(d) = -3 + 0 + 0 + 2 + f*d. Is k(5) a composite number?
False
Let g = -42 - -266. Suppose 0 = -5*n - 4*y - 163 + 558, 0 = 3*n + 5*y - g. Is n prime?
True
Let u(x) = 7*x**2 - 14*x - 16. Let y be u(-11). Suppose -j - 329 = -q, 0 = q - 4*q + 4*j + y. Is q a prime number?
True
Suppose 3*m = 2*u + 75, 0*m + 4*m - 5*u - 93 = 0. Suppose -3*f - m = -6*f. Is f prime?
False
Suppose -2*k + 975 = 41. Is k a composite number?
False
Let d = -20 + 24. Is -1*(-1 - d)*59 a composite number?
True
Suppose q = 2*q - p - 10, -2*q + 35 = 3*p. Let w = q + 10. Is w a prime number?
True
Is ((-1074)/8)/((-27)/252) a prime number?
False
Suppose 3*b = 4*b - 107. Suppose 2*w = -6, 2*w = 4*j - 3*w - 139. Suppose -j = 4*f - b. Is f a prime number?
True
Suppose 4848 - 1868 = 4*t. Let o(m) = -m**2 + 6*m - 1. Let x be o(5). Is t/15 - x/6 a prime number?
False
Let k(g) = -g**3 - g**2 + 78. Let v be k(0). Let d = 127 + v. Is d a composite number?
True
Let g = 1359 + 506. Is g prime?
False
Suppose 0 = 4*y - 259 - 129. Is y a composite number?
False
Let w(k) = -142*k + 19. Is w(-3) a prime number?
False
Let u(j) = j**3 + 12*j**2 + 8*j + 1. Is u(-10) a composite number?
True
Let x be ((-21)/14)/((-6)/8). Suppose 0 = -d - x*l + 4, 0*d = d - 5*l - 39. Is d a prime number?
False
Let q(o) = -o**3 - o**2 - 14. Let n be q(0). Is ((-52)/8)/1*n prime?
False
Suppose 2*q - 39 = -q. Let f(b) = b**3 - 12*b**2 - 14*b + 15. Is f(q) a composite number?
False
Suppose -1350 = -o + 5*w, 3*o + 2*o - 4*w = 6771. Suppose o = 5*k - k + 5*c, -3*c = -9. Is k composite?
True
Let g be 56/10 + (-6)/(-15). Let u(i) = i**2 - 1 - 5*i + 2*i**2 + 2. Is u(g) composite?
False
Let l = -1092 + 2138. Is l prime?
False
Suppose 5*f - f - 296 = 4*r, 3*r = -f + 58. Suppose 6*z - 4*z = f. Is z a composite number?
True
Let p be (-1272)/(-20) + (-6)/10. Suppose 3*z = -4*r + p, 5*r + 25 = z + 80. Is 3/r - 390/(-8) composite?
True
Suppose -3*h + 245 = -2*h. Let c = -150 + h. Is c composite?
True
Is 185*(-9)/(-15)*22/6 composite?
True
Let p(u) = u**3 + 7*u**2 - 7*u - 3. Let z be p(-8). Let v = z + 21. Is v a prime number?
False
Let c be 5/3 - 4/(-12). Let y be (7/2 + -1)*c. Is 1476/30 - 1/y prime?
False
Let g = 3 - 0. Suppose g*q = -3, -4*f + q = -0*q - 861. Suppose -4*b = -f + 27. Is b composite?
False
Suppose -4*h - 4*l + 2556 = 0, -2*l + 3191 = 5*h + 2*l. Is h composite?
True
Suppose 0 = 5*s + w - 22, -2*s - 3*w = -2 + 1. Suppose s*k - 5 = -y + 29, -4*y + 64 = -4*k. Is y composite?
False
Let p(w) = 325*w**2 - w + 2. Is p(1) composite?
True
Let r(g) = 9*g**2 - 9*g - 7. Let v be r(7). Suppose -v = -5*k + 14. Is k a composite number?
True
Is ((-36)/(-54))/(4/4746) composite?
True
Let x(b) = b**3 + 4*b**2 - 5*b + 3. Suppose -20 = 2*d + 2*d. Is x(d) composite?
False
Suppose 136 = 5*u - 694. Is u a prime number?
False
Is 42/(-15) - -2 - (-1859)/5 prime?
False
Suppose -100 = -3*r + 2*r. Let o be -2 + 3/(-3) + r. Suppose 2*g - o = g. Is g a composite number?
False
Let p = -45 + 0. Let i = p - -76. Is i prime?
True
Let a(z) = 3*z**2. Let s be a(-1). Let h be (-42)/(-8) + s/(-12). Suppose 0 = -0*x + x + r - 7, -h*r + 11 = -x. Is x a composite number?
True
Let t = -4 - -11. Let f be 7/14 + t/2. Suppose f*o - 120 = 4*c, 5*c - 15 = -0*c. Is o a composite number?
True
Let l be (6/(-9))/(2/18). Is (-122)/l + (-2)/(-3) a composite number?
True
Let z = -1 + 1. Let m be z + 0 + 3 + -1. Suppose -3*f + 3*d = -60, -m*f - 105 = -7*f + 4*d. Is f a prime number?
False
Let y be (-2)/(-1) + 21/3. Is y/(-1)*(-222)/18 prime?
False
Let l = 800 - 537. Is l a prime number?
True
Let o(s) be the second derivative of -s**5/20 + s**4/2 - s**3/6 + 3*s**2 + 3*s. Let p be o(6). Suppose b = 2*n + 13, -2*b + 5*n + 27 = -p*b. Is b prime?
True
Let p = 680 + -324. Suppose 4*c + p = 5*d - 913, 5*d - 1261 = -4*c. Is d a prime number?
False
Let g(l) be the third derivative of -l**4/24 + 5*l**3/3 + l**2. Let v be g(7). Suppose -p + 4*u = -20, 2*u - 24 = -v*p + 5*u. Is p prime?
False
Let s(t) = -t + 2. Let h be s(4). Let b(f) = -f**3 - 2*f**2 + f + 1. Let z be b(h). Is 9/(z + -1 - -3) a prime number?
False
Suppose -430 = -2*l - h, 0 = 3*l - l + 5*h - 446. Is l prime?
False
Let j(z) = -15*z - 6. Suppose -3*q + 5*c - 6 = 34, 4*c = 3*q + 35. Is j(q) a composite number?
True
Suppose o + 4926 = 7*o. Is o a prime number?
True
Let c be (-2)/6 - (-44)/6. Let i(v) = -v**2 + 8*v + 3. Let r be i(c). Is (-131)/(-5) - 2/r composite?
True
Is 247/4 + 2/8 a prime number?
False
Let n = 9 + -4. Let b be -3 - (-133 - (2 - n)). Is 2/(0 - (-2)/b) a prime number?
True
Let h = -11 - -14. Suppose 0 = g + 3*g - 8. Suppose -g*k + 0*k + 592 = h*q, 3*k - 869 = 5*q. Is k composite?
False
Suppose f = 2*f - 3*r - 271, -5*r - 1091 = -4*f. Is f a composite number?
True
Let m(u) be the third derivative of u**6/120 - u**5/15 - 5*u**4/24 + 7*u**3/6 + 2*u**2. Let s be m(5). Suppose -12 = 3*n, 5*n = -3*g + 20 - s. Is g composite?
False
Let b(u) = -2*u**3 - 7*u**2 + 12*u + 2. Let l be b(-6). Suppose -2*s + 8*h = 3*h - l, -h + 165 = 3*s. Is s prime?
False
Suppose -4 + 0 = -2*y. Suppose -65 = -3*p - y*p. Is p a composite number?
False
Let x(z) = z**2 - 12*z + 2. Is x(13) a composite number?
True
Let v = -105 - -196. Is v composite?
True
Let c(u) = 8*u**2 - 4*u - 13. Is c(6) composite?
False
Let i(l) = 613*l**2 + l + 2. Is i(-1) a composite number?
True
Let g(f) = 2*f**2 - 9*f - 10. Let b = 13 - 6. Is g(b) a prime number?
False
Let v(n) = -133*n + 5. Is v(-8) a composite number?
False
Let j(i) = i**3 - 12*i**2 + i + 17. Is j(13) composite?
False
Suppose 2*d - 2 = -4*c, -d = -5*d - c - 10. Is 1/(d/(-6)) - -51 composite?
False
Is (-1488)/(-28) - (-3)/(-21) a composite number?
False
Let q(d) = 17*d**3 - d**2 + 10*d - 1. Is q(4) a prime number?
False
Suppose -2*z - 30 = -5*z. Suppose -t + z + 11 = 0. Is t composite?
True
Let a(s) = 20*s**3 + 6*s**2 + 6*s - 1. Let i(z) = 20*z**3 + 5*z**2 + 5*z - 1. Let m(b) = 6*a(b) - 7*i(b). Let k be -2*(-3 - -2) - 3. Is m(k) composite?
True
Is (-28)/(-28)*(0 + 991) a composite number?
False
Let m(r) = 11*r**2 - 4*r - 1. Is m(4) composite?
True
Suppose 0 = 4*h - 4*s + 16, 4*s + 1 = -h + 2. Let w = 9 - h. Let l = -1 + w. Is l composite?
False
Let h = -437 + 1023. Is h prime?
False
Is (6 + (3 - 8))*67 a prime number?
True
Let f(y) = y - 5. Let s be f(9). Suppose -u = -s*u + 69. Is u prime?
True
Suppose -356 = -9*q + 7*q. Is q prime?
False
Let n(u) be the third derivative of 11*u**5/30 - u**4/6 + u**3/6 - 8*u**2. Is n(3) a prime number?
False
Let y(u) = -5*u - 16. Let t(p) = 26*p + 80. Let f(d) = 2*t(d) + 11*y(d). Is f(-13) composite?
False
Let s(q) = -651*q - 2. Let x(z) = z**3 - 4*z**2 + 2*z + 2. Let p be x(3). Is s(p) prime?
False
Let r(h) = -7*h**3 + 3*h - 3. Is r(-3) a composite number?
True
Let y = 970 - 599. Is y a prime number?
False
Let k be -1238*(-3)/(-6)*-1. Suppose -2*b = d - 327, b + k = 5*b - 5*d. Is b composite?
True
Suppose -3*l + 0*l = -54. Suppose 4*u + 3*y = l + 17, 4*u - y - 15 = 0. Suppose 0 = -u*x - 0*x + 635. Is x prime?
True
Suppose v = -3*p + 229 + 382, 0 = -4*p + 5*v + 821. Suppose x = -4*x - 3*b + 550, -2*x = -3*b - 199. Let g = p - x. Is g composite?
False
Suppose -2*c + 3 = -k, 6 = 2*k + 4*c - 5*c. Suppose 3*n - 