. Is w(f) a prime number?
True
Let t(w) = 660*w**3 + w**2 - 2*w. Is t(1) a composite number?
False
Suppose o - 2*n + 1 = 0, 3*o + n = 6 - 23. Let v = -1 - o. Suppose -v*u = -2*u - 28. Is u a composite number?
True
Let y = -92 - -101. Let s(h) be the second derivative of h**5/20 - 2*h**4/3 + 7*h**3/6 - h**2/2 + h. Is s(y) prime?
False
Let y(g) = -8*g - 14. Let r(p) = -3*p - 5. Let s(u) = -11*r(u) + 4*y(u). Let f be s(1). Let h(i) = -i**2 - i + 19. Is h(f) a composite number?
False
Let h(k) = 2*k**2 - 6*k + 9. Is h(8) a composite number?
False
Let h = -1762 - -3039. Is h composite?
False
Suppose 3*s + 2*y = 649, -1080 = 4*s - 9*s - 5*y. Is s composite?
True
Suppose 14*z + 0*z = 28266. Is z prime?
False
Let t = 1054 - 201. Is t prime?
True
Suppose 24 = 5*a - 16. Suppose 5*u - 38 - a = 3*t, 0 = 2*u + 3*t - 31. Is u a prime number?
True
Is (-1510 + -51)*(1 + -1*2) a composite number?
True
Let x(v) = 5*v**2 - 11*v - 2. Let q be x(5). Let n = q - 34. Is n a composite number?
True
Let w = -6 + 9. Suppose -2623 = -4*c + w*k, -5*c - k - 556 + 3830 = 0. Is c a prime number?
False
Suppose -5*q = -4*b - 36, -4*q + 30 = -0*q - 2*b. Is 6/q + 1301/4 prime?
False
Suppose a - 2 = -0*a. Let o(j) = -j + 2. Let b be o(a). Suppose b = -h + 6*h - 395. Is h a prime number?
True
Suppose -3*c + 20 = c. Suppose c*i = -3*o + 232, 2*i = -5*o - 2*i + 365. Is o a prime number?
False
Let c = 88 - -799. Is c prime?
True
Let w(f) = 4*f**3 - 1 - 2 - 6*f**3 - 6*f - 7*f**2. Is w(-4) composite?
False
Let v be 0 - (12/3 - 1). Is 587 + 0/(v/1) prime?
True
Let n(o) = 2*o**3 - 10*o**2 - o - 42. Is n(11) a composite number?
False
Suppose 7*q = 2*q + 35. Let t = q + -5. Is (t/(-4))/((-6)/828) composite?
True
Let w = 8 + -7. Suppose 427 = 4*k + 3*o, w = -o + 2. Suppose 3*a - k = m, -5*a + 172 = 6*m - 3*m. Is a prime?
False
Suppose 0 = -0*p + 5*p, 2*l + 3*p = 478. Is l composite?
False
Let m(w) be the second derivative of w**7/504 - w**6/180 - w**5/20 - w**4/3 - w. Let f(b) be the third derivative of m(b). Is f(7) a prime number?
True
Let u be 2/(-1 - (-7)/5). Let m = -1 + 7. Let o = m + u. Is o a prime number?
True
Let c = -7 + 5. Let o be (2 - 4)/(c/35). Suppose 3*y - o = 136. Is y a composite number?
True
Let h(t) = t**2 + 6*t - 1. Let s be h(-6). Let c be (-3)/6*(s - 7). Let f = 22 + c. Is f a composite number?
True
Let b be (16/(-6))/((-3)/9). Suppose -3*w - 64 - b = 0. Let z = w + 101. Is z a prime number?
False
Let z = -1978 - -3341. Is z a prime number?
False
Suppose -m - a + 245 = 2*a, 0 = -5*m - a + 1253. Is m a composite number?
False
Suppose -3*o + o = 0. Suppose 2*w + w - 1713 = o. Is w prime?
True
Let s = 5 - 5. Let i(l) = l**3 + l**2 - l - 4. Let o be i(s). Is ((-471)/6)/(2/o) a prime number?
True
Let r = 376 + 387. Is r a prime number?
False
Suppose 28 = k + 5*q, 12 = -0*k - k + 3*q. Suppose 0 = -k*r + r + 134. Is r prime?
True
Let q(c) = -3*c**2 + 4. Let g be q(-6). Let v = -49 - g. Let r = -20 + v. Is r prime?
False
Suppose -d + 1503 = -4*h + 2*h, -h = -d + 1507. Is d prime?
True
Let t = 6 - 8. Let y be t/(-8) - 2/8. Suppose -4*z + 18 + 34 = y. Is z a composite number?
False
Is 1*(25884/16 + (-2)/(-8)) a prime number?
False
Suppose -440 = -5*k - q, -k - q = -6*q - 114. Is k a prime number?
True
Suppose 4*s = -0*s - a - 3, 2*a + 6 = -4*s. Is (-6)/(-3 - s)*2 prime?
False
Suppose -2*n + 1502 = -0*n. Is n composite?
False
Suppose x - 706 = -257. Is x a prime number?
True
Let j = 126 - 73. Is j composite?
False
Suppose -i + 103 + 54 = 0. Is i prime?
True
Is (-1756)/(-6) + 8/24 prime?
True
Let q(f) = -f**3 + 9*f**2 + 3*f - 13. Let u be q(9). Is 220/2*7/u a prime number?
False
Let f be (6/(-5))/((-2)/5). Suppose 0 = -f*n - 3*m + 249, 67 = 2*n - 4*m - 75. Is n a composite number?
False
Let o = -14 - -25. Let j(x) = 3*x**2 + 8. Is j(o) prime?
False
Suppose z + 0*z = 843. Is z composite?
True
Let m(y) be the first derivative of -y**2/2 - y - 1. Let x be m(-5). Suppose 4*g - a = g + 8, -5*g - x*a = -36. Is g a prime number?
False
Suppose -7*m = -5*m - 4. Suppose 4*r + 8 = n, -3*n - r - 6 = 2*r. Suppose n = -m*f + 166 - 48. Is f composite?
False
Let s(o) = 7*o**2 - 14*o - 7. Is s(10) composite?
True
Let q(a) = 4*a - 1. Let o be q(1). Suppose -o*k + 308 = k. Is k composite?
True
Let w = 2 + 21. Let q = 81 - w. Is q a composite number?
True
Suppose 5*f = -0*f + 1230. Suppose -2*q + 602 = 4*t, -3*q + 653 = 5*t - f. Is q a composite number?
False
Let r be -1*4/4 - -467. Suppose -3*w - o = -r, 0 = -w + 3*o + o + 151. Is w composite?
True
Let h = 1829 - 468. Is h prime?
True
Let c be 70/(-4)*(-12)/(-15). Let h = 0 - c. Is h a composite number?
True
Suppose -2*p + 2 - 28 = 0. Let f(v) = -5*v - 16. Is f(p) composite?
True
Let h(f) = -10*f**2 - 34*f - 12. Let k(m) = -3*m**2 - 11*m - 4. Let b(l) = -2*h(l) + 7*k(l). Let n be b(-4). Suppose -2*a = -6 - n. Is a composite?
False
Let a(i) = 35*i - 36*i - 5*i**2 - 8*i**3 + 0 + 1. Is a(-4) composite?
True
Let o = 18 - 18. Suppose o = a - 38 - 77. Is a a composite number?
True
Suppose 5*n = 2*n. Is (1/2 - n)*78 composite?
True
Let y = -39 + 86. Is y composite?
False
Suppose -7 = -3*d - 4. Let o(g) = 58*g + 1. Is o(d) composite?
False
Suppose -4*x + 2 + 1 = -5*b, x = 5*b - 3. Suppose -q - 388 = -x*q + 3*h, 5*q + 5*h - 1960 = 0. Is q composite?
True
Is 4*1/2 - -3657 a prime number?
True
Let i = -186 + 313. Is i prime?
True
Let d(x) = x**2 - x - 3. Let z be d(5). Suppose z = t - 22. Suppose r - 4*o = t, -56 - 43 = -3*r + 3*o. Is r composite?
False
Suppose 1397 = -15*x + 16*x. Is x prime?
False
Suppose 0 = -5*c + 2*c - 411. Let o = c - -194. Is o a prime number?
False
Is (-457)/((-4 + 3)/1) composite?
False
Let n = 19 + -10. Suppose 0*m = m - n. Is m composite?
True
Suppose 5*v - 2*q + 4 - 18 = 0, 0 = 3*v - 3*q - 12. Suppose 4*u + 68 = 4*h, 0 = 2*h + 5 + 3. Is (u/6)/((-1)/v) prime?
True
Let v = 9 + 22. Let j = v + 114. Is j a composite number?
True
Let n be 1/2*581*2. Suppose -n = -0*i - i - 4*x, -5*i - x + 2905 = 0. Is i composite?
True
Let r be -1 + (0 - -2)/2. Suppose 0 = -5*y - 5*k + 475, -2*k = 4*y - r*y - 380. Is y composite?
True
Suppose 54 = 2*n + 2*r, -3*n + 15 = -2*n - 5*r. Is 930/n - (-2)/(-10) prime?
True
Suppose -4*h + 5 = h. Suppose -4*u - 44 = -4*c, 0 = c - 3*u - 14 - h. Let m = c + 10. Is m prime?
True
Suppose 228 = 3*b - r - 559, 2*b + 2*r - 514 = 0. Suppose -3*a - x = 2*x - b, a = 4*x + 67. Is a a composite number?
False
Is -4*2/(-8)*161 prime?
False
Let l be ((-1)/1)/(2/(-4)). Suppose 2*u - 4*u = l*b - 68, 3*b = -u + 96. Is b a prime number?
True
Suppose 2*b - 5*b = -291. Is b composite?
False
Let i(d) = 7*d**2 - 4*d + 4. Let j(u) = 13*u**2 - 8*u + 8. Let l(z) = -11*i(z) + 6*j(z). Let q be l(4). Suppose 77 = k + 3*o, q*o - 11 = -27. Is k composite?
False
Suppose -2*j + 2688 - 934 = 0. Is j a prime number?
True
Suppose -191 = -3*i + 178. Let p = i - 58. Is p a prime number?
False
Suppose -3*w + w + 68 = 0. Let s(l) = 0*l - 2 + 23*l**3 + w*l**3 + 3 + l**2 - l. Is s(1) a prime number?
False
Is 180 - (2 - (-3 + 4)) a prime number?
True
Suppose 1 = 3*s + 7. Let x be 36 - s*(-3)/6. Is -2 + (1 - 0) + x a prime number?
False
Let z = -585 + 1024. Is z prime?
True
Let s(k) = 16*k**2 - 4*k + 3. Suppose -2 = 3*d + 4. Let u be ((-12)/(-9))/(d/(-3)). Is s(u) composite?
False
Is -5 - -13*(-2 + 113) a composite number?
True
Suppose 2*o + 140 = -5*i, -2*i = 2*o + 2*o + 56. Suppose -5*a + 0*z - 5*z = 0, 0 = -3*a - 5*z + 6. Is i/6*a*1 a prime number?
False
Suppose -d = -t - 4, -5*t = -5*d - 7*t + 27. Suppose -10 + 2 = 2*c - 2*l, 2*c - 4*l = -4. Let x = d - c. Is x prime?
True
Let s(w) = 0*w**3 - 1 + w + 2*w**2 + 4*w - w**3 + 3. Let o be s(4). Is 447/5 + 4/o prime?
True
Suppose 190 + 21 = s. Suppose 0 = 2*g - 0*g - 6, -4*m - 5*g = -s. Is m prime?
False
Let i = 348 + -211. Suppose -4*l = -2*b - i - 315, 0 = 3*b + 12. Is l a prime number?
False
Let r = 26 - 22. Let g(n) = 4*n**2 - 9. Is g(r) prime?
False
Suppose -4*b = -19305 - 14563. Is b a prime number?
True
Let h = -50 + 229. Is h composite?
False
Let d(o) = 2*o**2 + o + 5. Let h be d(0). Suppose 0 = -5*g - 3*p + p + 929, 3*g - 545 = h*p. Is g prime?
False
Suppose -4*v = 2*f - 458, 8*f - 4*f - 125 = -v. Is v a prime number?
True
Suppose 33 = 3*l - 114. Suppose -4*n - 5*r + l = 0, 3*r = -2*n - 0*r + 