
Let m be -1*(-2 + 50)/(-3). Let s = m - 11. Suppose 0 = s*w + 3*x - 366 - 433, -4*w - 3*x + 638 = 0. Is w composite?
True
Let b(h) = -3*h + 3*h + h. Let c be b(0). Suppose c = -2*a - a + 147. Is a a composite number?
True
Suppose 0 = 4*r - 43 + 15. Let f = 16 - r. Suppose -4*y - 190 = -f*y. Is y a composite number?
True
Suppose -2*t - w - 5 = 0, -20 = t + t + 4*w. Suppose t = v - 4*x + 5, -x - x = 3*v + 1. Is v/(2/(-17))*10 prime?
False
Suppose 10*w - 8886 = 4*w. Is w a composite number?
False
Suppose 3*t + t - 5012 = 0. Is t a composite number?
True
Let q be -16 + 2/(-3)*3. Is (-1329)/(-27) - (-4)/q prime?
False
Is -3*(-1)/12 - (-3846)/8 composite?
True
Suppose g + 6 = 2*g. Suppose -2*b + 306 = -4*w, 4*b + 3*w + 306 = g*b. Suppose 3 = -s, -4*s = 2*u - b - 61. Is u a composite number?
False
Let q(h) = -h**3 + 4*h**2 + 5*h + 4. Let v be q(5). Let d = 18 + -16. Is v + -2 + -1 + d a composite number?
False
Let z(h) be the first derivative of 3*h**4/4 - 4*h**3/3 + h**2 + 2*h - 3. Is z(3) composite?
False
Let p = 301 - 67. Suppose -3*i + 7*b = 2*b - p, 5*i = 3*b + 406. Is i a composite number?
False
Let g be 3/((-3)/83)*2. Is (-2 + 1)/(2/g) a composite number?
False
Suppose -f + 8 = 6. Suppose f*r + c + 4 = 29, 90 = 5*r - 3*c. Is r prime?
False
Suppose 10*t - 6*t - 1676 = 0. Is t a composite number?
False
Suppose -3*n + 2999 = -208. Is n composite?
False
Let z(k) = 4*k - 3. Let u be z(2). Suppose g - 26 - 265 = -4*l, -2*l - u*g + 123 = 0. Is l a prime number?
False
Let s = -150 + 649. Is s composite?
False
Is 7*(-68)/(-3 + -1) a composite number?
True
Suppose 20 = 5*z - 0*z. Suppose 0 = -z*d + 3*d + 5. Suppose -8*l + 3*l + 320 = d*n, 2*n = -l + 63. Is l prime?
False
Let m = -112 + 356. Let f = m + -21. Is f composite?
False
Let y(l) = 5*l**2 - 57*l + 33. Is y(25) composite?
False
Let x = 8 + -6. Suppose x*s - 260 = -2*s. Is s composite?
True
Let v(b) = 10*b + 1. Let j be v(7). Let i = j + 6. Is i composite?
True
Let i(o) = 40*o + 2. Let w be i(1). Is (w/9)/((-6)/(-333)) a prime number?
False
Suppose -3*x = -10 + 1. Suppose 0*k - x*k = -435. Is k a prime number?
False
Let g be (-7419)/(-27) + (-6)/(-27). Suppose -2*p = -g - 59. Is p a prime number?
True
Suppose 26 = -2*w + 108. Suppose 0 = 3*m + 2*t - 91, 2*m - m - w = 2*t. Is m composite?
True
Let z = -43 - -94. Is z a composite number?
True
Let v(r) = 58*r**2 - 4*r - 5. Suppose 6*j - j = -10. Is v(j) a prime number?
False
Let x(m) = 3*m - 2 + m + 3*m - 6*m. Let c be x(8). Suppose -c*g + 2*g = -332. Is g a prime number?
True
Suppose 2*o + 3 = -2*l - 11, 0 = -l + 5*o + 23. Let z = l + 4. Is 12 + 0 - -1*z composite?
True
Let l(d) = -57*d - 59. Is l(-14) composite?
False
Let h = 16 - 22. Let t be 4/h - 8/(-3). Is t + (-2 - 8)/(-2) prime?
True
Let d be -4*(42/(-4))/(-3). Is 4/d - (-2286)/14 prime?
True
Let n be -1 + 5*(-1 + 2). Suppose 4*g = 5*o - 417, o + 5*g = n*o - 245. Is o prime?
False
Suppose -4*z + 8*z + 216 = 0. Let f = z + 107. Is f a prime number?
True
Let j be (-9)/(5 - 2) - 7. Let v be (-4)/j + 8/5. Suppose -5*y + 4*z + 1481 = 0, y - 875 = -v*y - z. Is y composite?
False
Let o = -11 + 25. Is (-2)/(-1)*889/o a composite number?
False
Let q(w) be the second derivative of 2*w**3 + w**2/2 + 2*w. Is q(2) prime?
False
Let o(k) = 4 - 2*k + 3 + 120*k**3 - 6. Is o(1) composite?
True
Suppose 4*k - 4*s - 1008 = 0, 0*s + 2*s = 3*k - 755. Is k composite?
False
Let d(m) = 2*m**2 - 2*m + 9. Let f be d(-8). Let l = f - 38. Is l a prime number?
False
Suppose 0 = -2*k + 4*k + 8. Let c = 2 - k. Is 279/(-3)*(-2)/c prime?
True
Let w = -4 + 4. Let i be w/(0 - (1 + 1)). Suppose 0*g + 2*g - 14 = i. Is g a composite number?
False
Let l = 424 + -35. Is l a composite number?
False
Suppose 4*l + 69 + 272 = 5*m, -2*m = -2*l - 138. Is m prime?
False
Let s be (-117)/26*(-92 - 0). Suppose h - s = -n, 3*h - h = -3*n + 1237. Is n composite?
False
Suppose -4*l = -5*y - 1265, 3*y - 627 = -l - l. Suppose 0*d - l = -3*d. Suppose -o = 2*o - d. Is o a composite number?
True
Suppose q - 323 = 128. Is q a composite number?
True
Let l = -37 + 71. Suppose -z - 3*z + 46 = -3*t, 5*t + 4*z = -l. Let u = t + 21. Is u composite?
False
Suppose 3*i - 3973 = -2*f, -4*f + 2*i + 7979 = -3*i. Is f composite?
True
Suppose 12 = 4*o, o = -2*b - o + 144. Is b a composite number?
True
Let k = -6 + 8. Suppose 2*d - 44 = -k*d + 4*i, -2*d = i - 19. Is d a composite number?
True
Let v(m) = 2*m**2 + 1. Let g(r) = -r**2 - 5*r - 3. Let j be g(-4). Is v(j) prime?
True
Is (-6604)/(-18) + 1/9 a composite number?
False
Let r(q) = 8*q**2 + 3*q - 3. Is r(-14) a composite number?
False
Let p(x) = -x**2 - 10*x + 15. Let i be p(-11). Suppose 3*h - i = z - 13, 2*h = z - 7. Suppose -s + z + 4 = 0. Is s a composite number?
False
Let d = -13 + -117. Let h be 2 + -188 + 2/(-2). Let u = d - h. Is u composite?
True
Let z be -2*(363/(-6) + 3). Suppose x = -4*x + z. Is x composite?
False
Let q(g) be the second derivative of g**5/20 + 2*g**4/3 - g**3/6 - 7*g**2/2 - 3*g. Is q(-7) a composite number?
True
Let r(s) = -s**3 - 4*s**2 + 4. Let i be r(-4). Suppose 2*g - 54 = i*y - 2*y, 2*g = y + 57. Suppose -4*b = -2*b - g. Is b prime?
False
Suppose 6*l = 2*r + 2*l - 2206, -6 = -2*l. Is r a prime number?
True
Let c(h) = h + 9*h**2 + 5 - h. Is c(4) a prime number?
True
Let j be (39/(-2))/(2/(-4)). Let n = -20 + j. Is n a prime number?
True
Let s(z) = -z**2 + 5*z - 2. Let a be s(3). Suppose 6*w = 2*u + a*w - 22, 3*u + w = 29. Is u a prime number?
False
Suppose -2*v = -389 - 113. Is v prime?
True
Suppose -l - 240 = l. Let i = 211 + l. Is i composite?
True
Let t = 613 - 390. Is t a composite number?
False
Let a(j) = -394*j**3 - 2*j - 1. Is a(-1) a prime number?
False
Suppose -7*n - 11 = 3*b - 2*n, 4*b = -5*n - 8. Suppose 0 = -m - b*m. Suppose m = 4*k - 5*r - 221, 5*k - r - 298 = -2*r. Is k a prime number?
True
Suppose s = 3*s - 2*i - 294, -5*i = 5*s - 695. Is s prime?
False
Is 5/(-2)*(-78)/5 composite?
True
Is (4647/(-6) - 0)*20/(-2) composite?
True
Let a be (-32)/(-6) + 6/(-18). Let z(x) = -2*x - 1 + a - 1. Is z(-10) a composite number?
False
Let i be -4*(-2)/12*3. Is i/(-5) + (-1854)/(-10) composite?
True
Let u(o) = o**3 + 4*o**2 + 2*o. Let h be u(-5). Let p = 2 - h. Is p composite?
False
Is (-1563)/(-3) + 0/3 a composite number?
False
Suppose 78 = w - 415. Is w composite?
True
Let o(p) = p**3 - p**2 - 8*p + 7. Is o(6) a composite number?
False
Suppose -3*t + 4*d + 4151 = 0, -3*t = 2*t + 4*d - 6897. Is t a prime number?
True
Suppose 2*a - 88 = 5*v, -23 + 116 = -5*v - 3*a. Let l = 25 + v. Is l prime?
True
Let a be -70*-12*(-9)/(-30). Let h = a - 139. Is h composite?
False
Let a(x) = -4*x**2 - 7*x - 9. Let w(k) = 5*k**2 + 6*k + 9. Let j(t) = -4*a(t) - 3*w(t). Let i be (-1)/(-3) - (-31)/(-3). Is j(i) a prime number?
False
Is -2*((-4)/2 + 724/(-8)) composite?
True
Suppose -3*t - 6 = -5*r, 2*t + 1 + 3 = 5*r. Suppose s = -4*s - n + 350, -n - 5 = r. Is s prime?
True
Let t = 66 + 8. Is t prime?
False
Suppose -500 = -0*a - 2*a. Suppose 5*r - 607 = 3*w, -3*r + a = -r - 3*w. Is r composite?
True
Let d(p) = p**3 - 10*p**2 - 12*p - 8. Let y be d(13). Suppose -678 = -2*i + 4*q, -3*i = -4*i + 3*q + y. Is i composite?
False
Let k(u) = -u**2 - 8*u - 2. Let z be k(-7). Suppose 2*i = z*l - 455, -l + 3*i + 27 + 51 = 0. Is l composite?
True
Let f be 906 + (1 - 4) + 0. Suppose -3*t + 390 = -f. Is t a prime number?
True
Suppose 2*y - 4*j - 3264 = 0, -6543 = -4*y + 6*j - j. Is y a prime number?
False
Suppose -15*f = -f - 13342. Is f a prime number?
True
Let r(f) = -3*f. Let g be r(-1). Is 130/(-3)*g/(-2) a composite number?
True
Suppose 0 = -6*f + 3*f. Suppose -2*u + 4 + 2 = f. Suppose -m = -u*m + 22. Is m a prime number?
True
Let c(q) = -53*q - 4. Is c(-3) composite?
True
Let b(u) = u**3 + 7. Is b(0) prime?
True
Suppose 4*d - 315 - 1273 = 0. Suppose d = 5*p - 418. Is p a prime number?
True
Let m(t) = -9 + 2*t + 9*t + 6. Let z be m(-6). Is z*(2 - (-8)/(-3)) prime?
False
Suppose -4*w + 4447 = t + 816, 4*w = 3*t + 3619. Is w prime?
True
Suppose 11781 = -14*u + 31255. Is u prime?
False
Let d(c) = -c**3 - 12*c**2 + 13*c + 3. Let w be d(-13). Suppose 4*m = -2*q + 318, 3*q = w*m - q - 233. Is m a prime number?
True
Let i(f) = 10*f**2 - 5 + 0*f**3 - 10*f - f**3 + 5. Is i(7) a prime number?
False
Let r = 32 +