= 2*u**2 - 2*u - 4. Let i be w(-11). Suppose -128 - i = -4*o. Is o a prime number?
True
Let x = -19609 + 28068. Is x prime?
False
Let d(k) = 234*k**3 + 4*k**2 - 4*k + 2. Let u be d(2). Suppose c + u = 3*c. Let v = 1440 - c. Is v a prime number?
True
Let j = -22 - -22. Suppose 0 = -3*l - j*l + 174. Is l a composite number?
True
Is (135590/21 + 1)/(2/6) prime?
True
Suppose -5*t + m = -6*t + 9, -5*t + 5*m + 75 = 0. Suppose 19*w - 3*w = 10528. Suppose -14*h = -t*h - w. Is h prime?
False
Let j be -2 - -4 - (-2 - 12). Suppose -j = -4*c - 0*c. Is 64 - (c + -8 - -6) prime?
False
Suppose 4*n + 1491 = -2649. Is 14/(-3)*n/30 a prime number?
False
Let s = -48 + 50. Is ((-32013)/(-39) + s/13)/1 composite?
False
Suppose 0 = 2*h + h + 384. Let z = h + 236. Let s = z - -5. Is s a prime number?
True
Let u(v) = 34*v - 30. Let s be u(10). Let x = s - -325. Is x prime?
False
Suppose -4*x = z - 10, -4*x + 17 + 11 = -2*z. Let w = z - 15. Is ((-159)/(-9))/((-1)/w) a composite number?
True
Let f(x) = 23*x**2 + 6*x - 3. Let w(l) = -l**2. Let k(j) = f(j) - 3*w(j). Is k(5) composite?
False
Let i(m) = 1854*m - 1. Is i(3) a composite number?
True
Suppose -u - 3073 = -2*o, -2*u = 3*o - 8*o + 6145. Let f = 5174 + u. Is f composite?
False
Let o(y) = -1002*y**3 + 2*y**2 - 2*y + 1. Suppose 0*r - 2*r = 4*l - 6, 0 = -l + r. Let d be o(l). Let c = d - -1468. Is c a composite number?
False
Suppose 0 = -2*q - 4*q + 78. Let b = q - 17. Is -127*(b + 6/2) a composite number?
False
Let v = -18 + 30. Suppose 11*y + 1314 = v*y. Suppose 8*l + 202 = y. Is l a prime number?
True
Suppose -3*s = 2*s - 25. Suppose -s*z + 24 - 4 = 0. Is z/10 + (-2065)/(-25) a composite number?
False
Suppose -27393 = -27*f + 213528. Is f composite?
False
Let c = -42 - -70. Suppose -3*l = -4*l + c. Suppose -872 = -4*q - l. Is q prime?
True
Let q(h) be the second derivative of 1/3*h**4 - 5/2*h**2 + 5*h + 0 + 1/3*h**3. Is q(4) a composite number?
False
Let k be 12/(-28) - (-117)/(-21). Let d be (2/k)/((-5)/(-45)). Is ((-178)/d)/(4/18) a composite number?
True
Is (-200534)/(-22) + (-10)/55 a composite number?
True
Suppose -33*y + 1318715 - 18218 = 0. Is y composite?
False
Let x = -20 - -21. Let d = x - -126. Is d composite?
False
Let r(d) = -371*d - 5. Is r(-2) a composite number?
True
Let r be 13 - (-1)/(-2)*0. Suppose 6 = 4*w - 7*w + 2*j, 4*j - 12 = -2*w. Is (w - -6)/3 + r a composite number?
True
Let p(m) = 5*m**3 - 8*m**2 + 22*m - 29. Is p(10) a prime number?
True
Suppose -20544 = 3*b - 6300. Is (100/(-40))/(2/b) a composite number?
True
Let m(h) = 5*h**2 + 3*h + 3. Suppose 4*f + 3*b = -10, -4*f + b + 3*b - 24 = 0. Is m(f) composite?
False
Let h(f) be the second derivative of 59*f**6/720 + f**5/40 - 2*f**4/3 - 3*f. Let j(n) be the third derivative of h(n). Is j(5) prime?
False
Suppose -6*z + 7*z = 1221. Let u = z + -490. Is u a prime number?
False
Suppose 0 = 2*u - 4*a - 8002, -u - 2*a - 8010 = -3*u. Is u composite?
True
Is 6 + (-54114)/(-6) - 2 a prime number?
False
Suppose 4 = -n, 0 = -4*b + 3*n + 21097 + 38967. Is b a prime number?
True
Let y(h) = 39*h + 10. Let q be y(-3). Let r = 32 - q. Is r composite?
False
Let l be 0 - -8 - (6 - 3). Let y = 1 + 4. Suppose y*z - l*r - 391 = -r, -394 = -5*z + r. Is z composite?
False
Suppose -9 = 5*x - 2*x, -f + x = -18. Suppose 26*b - 20185 = f*b. Is b prime?
False
Let s(y) = 3*y - 4. Let t be s(4). Suppose 3*c = -t + 281. Suppose 0 = 5*u - 234 - c. Is u composite?
True
Is (8/12*92211)/(0 - -2) a composite number?
True
Let t be ((-42)/(-8))/(24/(-64)). Is (-3490)/t + 2/(-7) a composite number?
True
Is (1/6*8223)/((-2)/(-20)) composite?
True
Let z(k) = -7*k**3 - 4*k**2 - 8*k + 10. Is z(-9) a prime number?
True
Let q = 7 + 37. Let v be (22/q)/(1/10). Suppose -v*d = -4075 + 1370. Is d a prime number?
True
Let u(x) = -55*x**3 + 3*x**2 + 4*x + 2. Is u(-3) prime?
False
Let n be 3 - 1/(2/10). Is (-2333)/2*((n - 4) + 4) prime?
True
Let y = 7530 - -1361. Is y prime?
False
Is (147/14)/(-3)*(-462416)/56 a prime number?
True
Let b be -7 + 9 + 0/(-2). Let n be (-2352)/11 + (-6)/33. Is b + 2/(-4)*n composite?
False
Let m(a) = -a**3 + 9*a**2 + 2*a - 16. Let v be m(9). Suppose v*c + 7279 = 3*o, c - 5*c = 5*o - 12095. Is o prime?
True
Suppose 2*g - 8 - 27 = -3*x, 0 = 5*g + 4*x - 84. Is g/(-40) - 7874/(-10) prime?
True
Suppose 12*r = 6*r + 37308. Is r prime?
False
Suppose -2*v = -4*v. Is (389 - -4) + (-4 - v) prime?
True
Is 7/35 - ((-14129)/5 - 1) a prime number?
False
Is 40/(-180) + (-641)/(-9) prime?
True
Let c = 2169 + 3491. Suppose 10*o - c = 3630. Is o a prime number?
True
Suppose -o + 4 = 0, 0 = g + 4*o + 62 - 1539. Suppose 2*t + t - g = 0. Is t prime?
True
Suppose 5*l - 5016 = -y, 10*y + l = 15*y - 25106. Is y a composite number?
False
Let a = 65 - 63. Suppose 3*m - 2129 = -d - 3*d, -a*m = 2. Is d a prime number?
False
Suppose 0 = -3*l - 2*o + 329, -3*l + 4*o - 549 = -8*l. Is l a prime number?
True
Suppose 0 = -5*o + 5, 14*y - 18*y + 95231 = -5*o. Is y composite?
True
Let y(k) be the second derivative of k**4/12 + 5*k**2 + 5*k. Let f(a) = -a**2 + 5*a + 6. Let z be f(6). Is y(z) prime?
False
Suppose 5*q = -z + 1647, -3*z + 3833 = 5*q - 1128. Is z a prime number?
True
Let l(n) = n + 1. Let d be l(2). Is (d + 0 - 0)*(-3207)/(-9) composite?
False
Suppose 6 = -10*k + 12*k. Suppose 0 = 5*x - 7 - k. Suppose 3*v - 46 = -5*f, 0*v + x*v = -6. Is f a composite number?
False
Let h(z) = 85*z**3 + 7*z**2 - 21*z + 10. Is h(5) composite?
True
Suppose 5 = 2*f + 3. Let p be -2*(f + 0)*1. Let b(n) = 84*n**2 - 1. Is b(p) a prime number?
False
Suppose -3*i = 4*a - 605, 7*a = 4*a + 2*i + 441. Is a composite?
False
Let g(i) = i**2 - 9*i - 10. Let z be g(10). Suppose z = 7*f - 3*f - 508. Suppose -2*s + 255 = -f. Is s prime?
True
Suppose 5*m - 5*o = 3079 - 1214, -2*m + 748 = -3*o. Is m a composite number?
True
Let y(d) = -d**3 + 7*d**2 + 6. Let l(z) = -z**3 + 13*z**2 + 13. Let a(n) = 3*l(n) - 5*y(n). Is a(4) a composite number?
True
Let v(z) = -3*z**3 + 110*z**2 - 77*z - 3. Is v(35) composite?
True
Is (-563)/(((-10)/75)/((-6)/(-9))) a composite number?
True
Suppose f - j - 1453 = 0, 0 = -f + 5*j - 2*j + 1451. Suppose 2305 = 3*c - f. Is c composite?
True
Suppose -152757 = -38*p + 5*p. Is p a composite number?
True
Let v = 9038 + -1629. Is v composite?
True
Is 191614/18 - (-66)/(-297) composite?
True
Let x(k) = -2*k**3 - 5*k**2 - 3*k + 4. Let q be x(-3). Let g = 71 + q. Is g composite?
True
Let d = -109 + 247. Suppose 2*z = -2*z - 12. Is (d/(-18))/(z/27) a prime number?
False
Is 2061334/30 - 4/30 prime?
True
Let l(m) = m**2 + 7*m - 9. Suppose 5*j = g + 41, 2*j + 3*g = -3*j + 57. Let v be l(j). Let y = v - 66. Is y composite?
True
Suppose -q = -2*q - 237. Let v = -260 + 664. Let h = v + q. Is h prime?
True
Let v be (-2)/(-4)*(4 + -4). Suppose v = -x + 96 + 35. Is x a prime number?
True
Let s be 1040/144 + (-2)/9. Suppose -s*i + 3027 = -4*i. Is i a prime number?
True
Suppose 532*b = 529*b + 2409. Is b a prime number?
False
Let m(v) = -22*v**2 + 5*v + 3. Let b be ((-12)/(-30))/(1/15). Let n be m(b). Let u = n + 1066. Is u a prime number?
True
Let x(v) be the second derivative of v**5/20 - v**4/4 + v**3/3 - v**2/2 + 3*v. Let j be x(2). Is (-55)/j + (-3 - -1) a prime number?
True
Let g be (-2 - -2)/(-4 + 3). Suppose g = -4*n - 3*n + 16527. Is n a composite number?
True
Let c be ((-12)/10)/((-3)/20). Suppose c*k - 3823 = 1321. Suppose -2*n + 5*g = -651, -2*n + k = -0*n + 3*g. Is n composite?
True
Let w(m) = -m**2 - 7*m + 12. Let h be w(-9). Let u(f) = -f**3 - 61*f + 7 + 31*f - 3*f**2 + 33*f. Is u(h) composite?
False
Suppose 57*p = 274889 + 196102. Is p a composite number?
False
Let r = 26 - 21. Suppose r*y = -3*v + 3913, 2*y - 1574 = -v + 2*v. Is y prime?
False
Let w = -9 + 25. Suppose 162 = 2*v - 4*n - 0*n, 0 = -4*n + w. Is v a prime number?
True
Let s be (10 - 12) + (1 - -6). Suppose -f = -s*f + 2164. Is f a composite number?
False
Suppose -7*t + 8277 = -39946. Suppose 0 = 12*c - 15851 - t. Is c composite?
True
Let f be 8/20*-685*3/(-3). Suppose 4*a + f = 6414. Is a a prime number?
False
Let n = 1835 + 29834. Is n prime?
False
Suppose -5*n + 20997 = 4*n. Is n prime?
True
Let l(v) = v**3 + 25*v**2 + 33*v - 28. Is l(-21) a prime number?
False
Suppose 2*d - 5*d + 160 = 4*g, g = 1. Suppose n - 284 = -t + d, -134