t w be f(-1). Suppose w = 2*c - u - 4*u, -c = -u - 248. Is c a composite number?
True
Suppose 3 - 5 = -2*h. Is (55/10)/(h/6) composite?
True
Suppose -m - 2 = -8. Let z = 5 + m. Is z composite?
False
Suppose 0 = -3*q + 5*u - 25, -q - 23 = q + 3*u. Let n = q + 48. Is n a prime number?
False
Suppose 5 = 3*m + 2, -3*m - 15 = -3*s. Let j be (-20)/s*171/(-6). Suppose -11 + j = 4*b. Is b prime?
False
Let m be (-3)/(-2)*68/3. Let l(x) = -2*x**3 - 5*x**2 + x - 5. Let b be l(-5). Let k = m + b. Is k prime?
True
Let z be (2 - 9/(-12))*-4. Let b = 58 + z. Is b composite?
False
Let t = 7 + -4. Suppose 0 = -t*y + 2*y. Suppose -3*l + 0*l + 99 = y. Is l composite?
True
Suppose 0 = 2*h - 0*h - 4. Suppose -6*p + p - 94 = -3*g, -3*g + 88 = -h*p. Let b = g + -14. Is b a prime number?
False
Let l(b) = -55*b - 12. Let g be l(6). Let k = 103 - g. Is k a composite number?
True
Let c be ((-9)/(-6) + -3)*6. Let y = -7 - c. Suppose y*t - 18 + 73 = 5*o, -o + 11 = t. Is o composite?
False
Let v = 1 - -6. Let n(q) = -q**3 - q + 12. Let m be n(0). Let c = m + v. Is c prime?
True
Let d = 152 + 95. Is d a prime number?
False
Suppose -3*l - 2*l - 5 = 0. Let r(b) = -40*b**3 - 2*b**2 + 1. Is r(l) a prime number?
False
Let m(d) = d**3 - 5*d**2 + 5*d - 4. Let k be m(4). Suppose 2 + k = j. Suppose 5*x = -4*o + 51, 6*o - o - 85 = -j*x. Is o composite?
False
Let g(q) = -q + 15. Let b be g(11). Suppose -b*l - l = -2680. Is 4/(-14) + l/14 a prime number?
False
Let b = 14029 - 8784. Is b composite?
True
Let k be 20/(-1 - -3) - 3. Let q = k - 7. Is q + 3 - (-29 + 7) a composite number?
True
Is (-1475)/(-7) - (-4)/14 a prime number?
True
Suppose i = -3*i. Is 0 + 25 + i - 3 prime?
False
Let t(r) = 17*r**2 + 5*r - 3. Is t(-5) a composite number?
False
Suppose 4*t - 5*t = -7. Suppose 2*m + 1010 = t*m. Suppose 2*p = m + 136. Is p prime?
False
Suppose 2*n + 192 + 98 = 5*b, -116 = -2*b + 2*n. Is b prime?
False
Let w = 2481 - 1592. Is w a composite number?
True
Let o = 14 - 8. Let f be (1/1 - 0)*8. Is o/(-4) + 260/f prime?
True
Suppose 0 = -5*i - 4*l + 2341, 0*i - 3*l + 935 = 2*i. Is i composite?
True
Suppose 2*o = o + 1. Let d(c) = 4*c**3 - c. Let r be d(o). Suppose -r*y + y = -38. Is y a prime number?
True
Let b = 465 - 244. Suppose -4*c - 4 = -2*c - z, 8 = c + 2*z. Suppose -5*x + 34 + b = c. Is x a composite number?
True
Let q = 17 + 8. Let t = 0 + 0. Suppose t*n + n - q = 0. Is n prime?
False
Suppose -o + 0 + 13 = 0. Suppose 5*v = o - 3. Is 28/(-2)*(-17)/v a composite number?
True
Let n(a) = 12*a + 1. Let j(u) = -6*u - 2. Let m(k) = -5*k - 3. Let b(p) = 4*j(p) - 5*m(p). Let h be b(-5). Is n(h) a composite number?
True
Let a = -20 + 58. Is a composite?
True
Let g = 3971 + -480. Is g composite?
False
Let l be (-438)/8 - 2/8. Let a = l - -88. Is a a prime number?
False
Suppose r = c + 28, r + 4*c - 31 = 22. Is r composite?
True
Let u be 1*(21/3 + -2). Suppose 2*h = -h + q + 335, u*h - q = 561. Is h a prime number?
True
Suppose 74 = 2*u - 18. Suppose 0*t - 113 = -t. Let l = t - u. Is l prime?
True
Suppose 2*t + 2*q = 1974, 5*t - 4963 = -3*q + 5*q. Is t prime?
True
Let c = 13 + -8. Suppose -c*v + 96 = 291. Let q = v + 126. Is q a composite number?
True
Suppose 1 = -f + k + 4, -5*f + 9 = -2*k. Let q be -22*(1 + f) - -2. Let s = q + 155. Is s prime?
True
Let u = 11 + -11. Suppose 0*w + w - 149 = u. Is w composite?
False
Let f be 3 - (140*1 + 3). Is (-6)/(-4)*f/(-6) a composite number?
True
Suppose 3*u = -4*z + 663, 0*u + 4*z - 229 = -u. Let t = 72 + u. Is t a prime number?
False
Let v(r) = -32*r - 9. Is v(-7) composite?
True
Let s = -70 + 633. Is s composite?
False
Let u(p) = 5*p**3 - p**2. Let j be u(1). Suppose 2*c - 3*c = -j. Suppose 84 = c*r - 8. Is r a prime number?
True
Let l(d) = 91*d + 6. Let v(i) = 1. Let c = -5 + 4. Let u(p) = c*l(p) + 6*v(p). Is u(-1) a composite number?
True
Let l = 65 - 13. Let j = -1 + l. Is j a prime number?
False
Is ((-93)/(-12))/((-3)/(-12)) composite?
False
Let p(t) = -11*t + 10. Is p(-11) composite?
False
Suppose -3*h = 12, 5*h = 3*v + 4 - 24. Suppose 5*u - 96 + 6 = v. Let p = 53 - u. Is p prime?
False
Suppose -4*z + 2*w = -1648, -3*z - 4*w = -z - 814. Is z a composite number?
True
Let o(j) = j**2 + 9*j + 7. Let r be o(-7). Let u be (-32)/14 + (-2)/r. Is u/(-8) + 123/4 prime?
True
Suppose 4*b = 8*b - 48. Let t be (b/(-8))/(2/(-4)). Suppose t*o + 15 = 72. Is o prime?
True
Let c(b) = 18*b**2 - 3*b - 1. Suppose 3*k - 3*x + 4 = 1, k - 4*x = 2. Is c(k) a prime number?
False
Let k(q) = -164*q - 3. Is k(-1) prime?
False
Let i(k) = 28*k - 5. Is i(17) a composite number?
True
Suppose 0 = -5*y + 2*n + 2 + 9, n + 4 = y. Suppose 4*k = c - 55, -5*k - c - 50 = 4*c. Is -2 + (k + y)*-1 a composite number?
True
Let v = 47 + -27. Suppose 2*g - 5*x = -11, -1 = 2*g + 5*x - v. Suppose 3*p - 4*p = -g*s + 68, -4*p = -s + 34. Is s a composite number?
True
Suppose -3*m - 253 = -3*n + 314, -5*n + 4*m + 943 = 0. Is n composite?
True
Let u(z) be the third derivative of 0*z + 3*z**2 + 1/120*z**6 + 0 - 5/6*z**3 - 1/10*z**5 + 1/4*z**4. Is u(6) prime?
True
Let s = 5734 + -4001. Is s a prime number?
True
Suppose -9444 = 9*w - 21*w. Is w composite?
False
Let k(n) = -2*n**3 + 4*n**2 - 2*n. Let v be k(2). Let y be (10/v - 0)*674. Is 4/(-10) - y/25 prime?
True
Suppose -38 = -4*w + 4*z - 6*z, -5*w - 4*z = -46. Let k = w - 7. Suppose -p - k*p + 220 = 0. Is p composite?
True
Let n(o) = -82*o**2 + o + 2. Let t be n(2). Suppose 2*v + 4*l + 922 + 60 = 0, 2*v = 3*l - 989. Let h = t - v. Is h a composite number?
True
Let n be (-25812)/39 + 4/(-26). Is (9 + -7)*n/(-4) a prime number?
True
Let y = -19728 - -29519. Is y a prime number?
True
Let k(w) = -w**3 - w**2 + 3*w + 3. Let y be k(-5). Suppose 4*m + 2*v + 3*v + 125 = 0, 15 = 5*v. Let o = y + m. Is o a composite number?
False
Let b(j) be the second derivative of -7*j**3 - j**2/2 - j. Let x be b(-1). Let w = x + 6. Is w prime?
True
Let t = 10 - 7. Suppose -6*q + t*q = -237. Is q a prime number?
True
Suppose 2*r - 62 = -0*r. Is r composite?
False
Suppose -2250 = -3*f + j - 0*j, -f + 5*j = -764. Is f a composite number?
True
Let t(c) = -c**2 - 4*c - c + 3*c - 1. Let u be t(-1). Is (-23*(-1 - u))/1 prime?
True
Let q = 28 - -81. Is q prime?
True
Let o = -98 - -285. Is o a composite number?
True
Suppose 2*f - f = 87. Suppose 0 = 2*j + 4*p - 154, 3*j - f = 2*j - 4*p. Is j a prime number?
True
Let r = -9 + 11. Suppose 0 = -r*u - 2 + 8. Is u a prime number?
True
Let q be 1 + (-6)/(-1) + -2. Let a = q - 3. Suppose 4*v = a*g - 54, -v - 18 = -3*g + 73. Is g a composite number?
False
Let y(x) = x**3 + x**2 - x - 3. Let n be y(-3). Let m(h) = 43*h**2 - h. Let k be m(-1). Let r = n + k. Is r prime?
False
Suppose 19 = -5*s - 4*b, 5*s = 4*b - 10 - 41. Let p be (s + 4)*(-2)/3. Suppose l + 0*f + 3*f = 70, -4*l = p*f - 310. Is l prime?
True
Let n(i) = -i**3 + 17*i + 6*i - 10*i**2 + 5 + 6 - 5*i. Is n(-12) prime?
True
Suppose 5757 = -0*k + 3*k. Suppose -518 = 3*n - k. Is n prime?
True
Let m(g) = g**3 + 28*g**2 + 29*g + 1. Is m(-25) prime?
True
Let v(j) = j**3 - 4*j**2 + j + 1. Let s be v(4). Suppose -4*x - s*h = -4*h - 200, -4*x + h = -192. Is x prime?
False
Let d = 392 + -215. Is d composite?
True
Suppose 0*k - 120 = -4*k. Suppose -6*w + 4*w + k = 0. Is w prime?
False
Suppose -g + 2 - 4 = 0. Is 54 + -3*g/(-2) composite?
True
Suppose -4 = -2*g + 3*w, 2*g + 4*w = g + 2. Suppose -2*h + g = 4. Is h/((-2)/20) + 1 a prime number?
True
Suppose 1723 = 5*f - 42. Suppose 2*h = 6, 2*w + f = 6*w - h. Suppose -243 = -2*b - w. Is b a composite number?
True
Suppose -h + 2 = 5, -o - 4*h - 35 = 0. Let l(g) = g**3 - 6*g**2 + 4*g - 5. Let d be l(7). Let z = o + d. Is z a prime number?
False
Let c(l) = l**3 - 8*l**2 + 9*l + 1. Suppose 0 = -2*u - 2*a + 20, -u + 3*u - 21 = -3*a. Is c(u) prime?
True
Let l = -11 + 18. Is -1 + 51 - l/7 composite?
True
Let h = -58 - -297. Is h composite?
False
Let k = -510 + 154. Is (-1 - k - 0) + 0 a composite number?
True
Let u = 3744 + -1039. Is u composite?
True
Let q be (-4)/(-1) + 1 + -2. Suppose 2*x = -q*r + 147 + 369, -4*r + 5*x + 665 = 0. Let k = -117 + r. Is k a composite number?
False
Suppose -6*m - 10 = -2*m - n, -m - 1 = -n. Suppose 5*q + 81 = 2*u, q + u - 5*u + 27 = 0. Is 1/m - 290/q prime?
True
Suppose 0 = 2*d - 489 - 185. Is d a composite number?
F