*u - 2*u = -5*l + 57. Is u prime?
True
Is 6/(-4)*(-3318)/9 composite?
True
Let w be ((-3)/(-6))/(1/12). Let j be (0 - (-3)/w)*0. Suppose -2*c + 4*f = -242, j*f - 5*f = -5*c + 620. Is c prime?
True
Let p = 1540 + -870. Suppose -p = -8*y + 3*y. Is y a prime number?
False
Let k be (-1)/(-3) + (-24)/(-9). Let w(q) = 4*q**2 + 2*q - 3. Let r be w(k). Suppose 0 = 4*n - i - r, 5*i = 3*n + 14 - 39. Is n prime?
False
Suppose -4*r + 5*f = -4128, 5*r - 1429 = -4*f + 3772. Is r prime?
False
Let c(z) = -16*z - 1. Let m(y) = y + 1. Let s(l) = -1. Let o(f) = -m(f) - 3*s(f). Let q be o(5). Is c(q) a composite number?
False
Let t(a) = -4*a + 4. Let j be t(3). Is 2/j + 765/4 prime?
True
Let n(t) = -t**3 + 12*t**2 + 3*t + 3. Let o = 20 - 8. Is n(o) prime?
False
Suppose -2*m - 1659 = -5*u + 2*m, m - 1344 = -4*u. Is u a composite number?
True
Suppose 4*a - 123 - 17 = 0. Is a composite?
True
Let p(k) = -k**2 + 5*k - 2. Let b be p(3). Suppose 11 = -3*c - b*f + 3, 4*f = -2*c - 4. Is c*(-3)/6 + 9 a prime number?
True
Suppose -3*z - 3*m + 184 = 2*m, -5*m = -3*z + 134. Is z composite?
False
Let h(i) = i**3 - 4*i**2 - 5*i + 11. Is h(9) a prime number?
False
Let h(z) = -z**2 + 8*z - 6. Let v be h(7). Let f be (-4)/(-12)*(2 + v). Suppose a - 18 = f. Is a prime?
True
Suppose w = -i + 50, -3*i - 2*w + 155 = -0*w. Let u = 164 - i. Is u prime?
True
Let v(k) = -219*k - 3. Let u be v(-2). Suppose -90 = -d + l, 5*d - u = 4*l - 2*l. Suppose -2*y + 53 = -d. Is y a composite number?
True
Suppose -k = -26 - 1. Suppose -h = -z + 88, -2*z + 174 = 3*h - k. Suppose 0*q + 4*q - 5*m = 124, 0 = -3*q + 5*m + z. Is q a prime number?
True
Let y = -1706 + 2390. Suppose -y = -2*j - u + 410, 0 = -2*u + 8. Is j prime?
False
Let p = -29 - -55. Suppose -l + p = l. Is l composite?
False
Let l(z) = -71*z + 35. Is l(-4) prime?
False
Let t(u) = 0 + u**2 - u**2 + u**3 + 2 + 7*u + 7*u**2. Is t(-4) prime?
False
Let l(m) = -m**2 - 5*m - 3. Let x be l(-5). Let k = x - -8. Suppose 0 = k*f - 139 - 36. Is f prime?
False
Let y = 133 + -61. Suppose 4*z - 105 = z. Let m = y - z. Is m composite?
False
Let d(b) = 2*b**2 - 61*b - 29. Is d(-24) a composite number?
True
Suppose 5*h - 5*m - 1317 = 228, 0 = 3*h + m - 919. Is h a composite number?
False
Let g(n) = -n**3 + 3*n**2 + 2*n - 3. Let r be g(3). Let j be -2 - (-21)/6*2. Suppose -5*k = r*t - 16, -j*k - 2 = -3*k. Is t a composite number?
False
Suppose -86 = -k - k - 5*b, 2*k - 74 = -2*b. Suppose y - 2*i + 1 = 0, 2*y = 2*i - 5*i + k. Is y a composite number?
True
Let l(p) = -p**3 - 3*p**2 - 3*p - 2. Let u be l(-2). Suppose c - 1 = u, -5*n + 48 + 545 = -2*c. Is n composite?
True
Let p(z) = 30*z - 1. Is p(7) composite?
True
Let f(m) = -6*m**2 - 7*m - 2. Let p(j) = 5*j**2 + 6*j + 1. Let n(y) = 3*f(y) + 4*p(y). Is n(-3) a prime number?
True
Suppose -12 = 2*w + 5*r + 16, 5*w = -4*r - 87. Let c = 12 - w. Is c a composite number?
False
Suppose 2*i - 2147 - 2643 = 0. Is i a composite number?
True
Suppose 9*u - 455 = 4*u. Is u prime?
False
Let w = -4 - -7. Let l be w/(1 - -2)*-18. Is (-1)/6 - 921/l a prime number?
False
Is ((-266)/(-56))/(1/4) prime?
True
Suppose -2465 = 4*q - 9*q. Is q prime?
False
Let z(k) = 7*k**3 + k**2 - k + 1. Let x be z(1). Suppose 234 = -x*f + 5*f. Let b = f + 112. Is b prime?
False
Let p = 3 - 0. Suppose -5*v + p*v = -1438. Is v a prime number?
True
Suppose 0 = 2*f - 5*j - 2, 0 = 4*f + j + 18. Let y be ((-30)/f)/((-15)/(-100)). Let z = y + -28. Is z prime?
False
Let i be (1/3)/(7/27615). Suppose -i = -2*k - 3*k. Is k composite?
False
Suppose -3*n + 4*t + 849 = -0*n, 3*n - 876 = -5*t. Is n a prime number?
False
Let l = 21 - 16. Is 279/6 + l/10 a prime number?
True
Let h(f) = 3 - 3 - 3*f + 4. Let b be h(-7). Suppose -185 = -4*n + 3*z - b, 5*z = -2*n + 54. Is n a composite number?
False
Let p(i) = -i**2 - 6*i - 4. Let m be p(-4). Suppose 6 = -3*y, m*u + 6*y - 1304 = 4*y. Is ((u/1)/(-3))/(-1) composite?
False
Let x(z) = z**2 - 9*z - 15. Suppose -2*n = -6*n + 44. Is x(n) a composite number?
False
Let a = -190 + 447. Is a a composite number?
False
Suppose -2*x = -2 - 6. Suppose 3*k - w = -157, -x*w = -3*w - 4. Let m = -28 - k. Is m a composite number?
False
Let d(n) = -100*n - 12. Let s(w) = -33*w - 4. Let z(i) = -4*d(i) + 11*s(i). Is z(3) a composite number?
True
Let s = 2 + 3. Let a(m) = 2*m**3 + 6*m**2 + 2*m + 5. Let v be a(s). Suppose 7*o = 2*o + v. Is o composite?
False
Let d(w) = -w**3 - 11*w**2 + 3*w + 10. Is d(-12) a composite number?
True
Suppose -377 = 5*q - 8*q - 4*l, 5*q - 639 = -4*l. Is q a prime number?
True
Suppose 5*j = 4*q + 2*j - 221, 5*j = -q + 38. Is q composite?
False
Let h(b) be the third derivative of -19*b**4/12 + b**3/6 - 4*b**2. Is h(-3) a prime number?
False
Let j = 50 - 25. Let m = j + 25. Let f = 71 - m. Is f prime?
False
Suppose 0 = 2*t + 2*x - 210, 5*t - x - x = 532. Is t a prime number?
False
Let j = -9 - -20. Let l be (-10)/14 + (-4)/14. Let m = j + l. Is m a prime number?
False
Suppose -2*g + 4*g = 52. Suppose -g = 3*d + 19. Let r = -5 - d. Is r composite?
True
Let p be (-128)/(-2) - (-1 - 0). Suppose -2*a = -y - 0*y + p, -a - y = 31. Let h = 123 + a. Is h a composite number?
True
Let b be (-18)/22 - 6/33. Is 291/(-3)*b + 0 prime?
True
Let f(k) = k**3 + 5*k**2 + 1. Let p be 22/4 - 4/8. Is f(p) a composite number?
False
Let r(z) = -z**3 + 10*z**2 - 14. Is r(7) a prime number?
False
Let r(y) = -11*y + 8. Is r(-7) a prime number?
False
Suppose l + 132 = 1019. Is l a prime number?
True
Is 941/4 + (-10)/40 a prime number?
False
Suppose -20 = -d + 49. Suppose 162 = 3*j + 3*v, -j + d = -0*j - 2*v. Is j prime?
True
Suppose -u - 4*u = -295. Is u composite?
False
Let b(g) = -26*g**3 + g**2 - 2*g - 5. Is b(-2) a prime number?
True
Let o be (3 - 4)/(2 + -1). Let y be 69 - ((-3 - o) + 2). Suppose 2*u - y = -u. Is u a prime number?
True
Suppose -4*j = -4*m - 28, 2*j - 20 + 2 = 3*m. Let u(f) = 3*f**3 + 5*f**2 - 6*f - 2. Is u(j) a composite number?
True
Suppose y + y + 4 = 0, 3*u + 2*y = 2555. Is u a composite number?
False
Suppose -2*l = 5*a - 65, 0*a + 10 = l - 2*a. Let p = 174 - l. Is p/6 - (-3)/9 prime?
False
Suppose -5*u - 5*i + 50 = -0*i, -2*u + 18 = 4*i. Is u a composite number?
False
Let t(i) = -i**3 + 11*i**2 - 8*i + 10. Let a(v) = -v**2. Let q(r) = a(r) + t(r). Is q(9) prime?
True
Is -221*(4/(-2) - -1) composite?
True
Suppose 3*l = 2184 - 342. Is l prime?
False
Suppose -2*o - 1199 = -4513. Is o prime?
True
Suppose 2 = -4*h - 5*z, -z - 3 + 9 = 4*h. Suppose d - h*d + 8 = 0. Suppose d = 3*x - 22. Is x prime?
False
Suppose 0 = -2*v - 2*v + 628. Is v composite?
False
Let v(i) = 2*i**3 - 6*i**2 + 7*i - 5. Let n be (1 - -2 - -1) + 0. Is v(n) a composite number?
True
Suppose 2*q - 230 = -5*y, 3*y + 2*q - 4*q = 122. Let j = 74 - y. Suppose 0 = 2*m - 0*m - j. Is m a prime number?
False
Suppose 0 = -3*w - 2*w + n - 23, -2*w + 2*n = 6. Let i(r) = -146 + 6*r - 2*r + 147 + r**2. Is i(w) a composite number?
True
Let n(c) = -c**3 + 3*c**2 + 3*c - 2. Suppose 5*p + 0*p - 10 = 0. Let g be n(p). Suppose -5*v + i = -279, -4 - g = 3*i. Is v prime?
False
Suppose -3*l = -0*l - 81. Suppose -2*o = o - l. Is 2/((-12)/(-14))*o a composite number?
True
Let y = 18 - 13. Let d = y - 3. Suppose 7*a - d*a - 20 = 0. Is a composite?
True
Is (-1 - -1) + 55 + 3 a composite number?
True
Suppose 4*h = 4*j + h - 493, 2*j = 3*h + 251. Is j prime?
False
Let u = 198 - -112. Let z = -161 + u. Is z prime?
True
Suppose -1636 = -o - o. Let c = o - 569. Suppose 0 = -3*p + 5*p - 4*b - 166, 3*p - c = 5*b. Is p composite?
False
Is (1397/22)/((-2)/(-4)) a composite number?
False
Is (2/((-10)/6685))/(-1) a composite number?
True
Suppose -2*x - 52 = r + 3*x, 5*x - 56 = 3*r. Suppose 5*n + 56 = -134. Let q = r - n. Is q a composite number?
False
Let q(r) be the second derivative of 7*r**3/6 + r**2/2 + 2*r. Let l be q(1). Suppose l + 14 = 2*s. Is s prime?
True
Suppose -5*c - 58 = s - 3*s, 2*s - 46 = 4*c. Is 3*(-4)/(-6) - c prime?
False
Is (3 + -1)*(-5558)/(-28) a composite number?
False
Is 943/4 + (-3)/4 composite?
True
Suppose -6*b + b + 1055 = 0. Is b composite?
False
Let z(d) = -2*d**2 + 11*d + 7. Let g be z(6). Is (2/g)/((-2)/(-31)) composite?
False
Suppose f + 3*d = -2*f + 84, 3*f + 4*d - 89 = 0. Is f a composite number?
False
Let r(x) be the third derivative of -1/2*x**3 + 