**2 - 3*w + 4. Let k = 4 - 8. Let r be c(k). Suppose 5*t + 13 - 68 = r. Is t a prime number?
True
Suppose -3*r + 4*t + 155 = 0, r + t - 51 = 3*t. Is r a composite number?
False
Let z(j) = -j**2 - 2*j + 4. Suppose -a - 4*a = 25. Let h be z(a). Let m(y) = y**3 + 11*y**2 - 2*y - 11. Is m(h) a prime number?
True
Let o = -21 + 29. Suppose 0*l - 335 = -5*l + 2*d, -3*l = 5*d - 201. Suppose 3*x + 5*b - l = 0, 2*x - 2*b - 10 = o. Is x a composite number?
True
Suppose 2*b = -b + 24. Let g(q) = 9*q - 2. Let l(f) = 8*f - 1. Let n(y) = -4*g(y) + 5*l(y). Is n(b) prime?
False
Let c be (3/5)/(2/10). Suppose -u = c*u - 340. Is u prime?
False
Let u(r) = -7*r**3 + 2*r**2 - 1. Let j be u(-1). Suppose 4*o - 12 = j. Suppose 7 + 8 = -5*v, -4*b + o*v + 171 = 0. Is b composite?
True
Let z = -76 - -21. Let w = z - -244. Suppose 3*r + 42 = w. Is r a prime number?
False
Let o(h) = 49*h - 7. Let i be o(-5). Let n = 467 + i. Suppose 5*z - n = 120. Is z prime?
True
Is -3*(-28)/(-24)*-1082 prime?
False
Suppose -3*v - 15 = -6*v. Suppose 5*p + q - 365 = 2*q, -p + 99 = v*q. Is p a prime number?
False
Suppose 0 = -4*q + 20, 0*f + 5*q = -3*f + 58. Is f a prime number?
True
Let m = 876 - 385. Is m a composite number?
False
Is 12/8*(-2564)/(-6) a prime number?
True
Suppose -1212 - 328 = 5*y. Let l = y + 441. Is l prime?
False
Suppose -v - 3*v + 76 = 0. Let y = -11 + v. Is (-1*2 - -1) + y composite?
False
Let u(x) be the first derivative of 59*x**4/4 - x**3/3 + x + 2. Is u(1) a composite number?
False
Let i(d) = 84*d**3 + d**2 + 1. Is i(2) composite?
False
Let g = -2 - -14. Let l(h) = -h + 9. Let x be l(g). Let w = x - -12. Is w a composite number?
True
Let f be (-2)/10 - (-16096)/(-20). Is f/(-10) - (-3)/(-2) a composite number?
False
Let q be ((-3)/6)/1*0. Let d be 4 + 1 + q/4. Let x(g) = g**2 - 6. Is x(d) composite?
False
Let t = -10752 + 17531. Is t prime?
True
Let k = -2 - -13. Let m = k + -9. Suppose -m*a + 339 = a. Is a a prime number?
True
Suppose g - 2*m - 8 = 0, 2*g + g - 3*m - 15 = 0. Let u(a) be the first derivative of a**4 + a**3/3 + a - 12. Is u(g) prime?
True
Suppose 0 = -2*f + 9*f - 5509. Is f a prime number?
True
Let g = -183 - -92. Is 1/(-1 - 92/g) a composite number?
True
Let p = -1740 - -5423. Is p composite?
True
Let j = 0 + 2. Suppose -j*d + 105 = 3*d. Is d/1 + 2 + -4 composite?
False
Let t(p) = p**2 - 3*p - 2. Let j be t(3). Is 74*((-2)/4 - j) composite?
True
Suppose 6*t - 4072 = 2402. Is t a composite number?
True
Suppose -2*m - 3*m = -5*p + 1970, -2*m = 4*p + 764. Let d = 553 + m. Is d composite?
False
Let f(l) = 105*l + 1. Is f(2) prime?
True
Suppose 617 = 2*l - 4*y + 97, 0 = -4*y - 16. Suppose 3*f - 343 = 4*t, 2*f - l = 2*t - 4*t. Is f composite?
True
Let x(n) = 684*n**2 - 3*n - 4. Is x(-1) a composite number?
False
Suppose -3*w - 2*w + 1441 = 2*l, -2*l + 1423 = -w. Is l prime?
False
Is -254*(1/(-2) - (-6)/(-6)) a prime number?
False
Let d(v) = v**3 + 7*v**2 + 5*v - 4. Let a = -17 - -12. Is d(a) composite?
True
Suppose 3 = -2*n + 1. Let h be 2*(0/n - -1). Suppose -2*s - h*s = -172. Is s prime?
True
Let i(q) be the third derivative of 3*q**4/4 + q**3/6 - 3*q**2. Is i(7) composite?
False
Suppose 3*f + 181 = -u - 46, -5*u = 4*f + 288. Let s = f + 234. Is s composite?
False
Suppose 2*i - 3*d = -112, -3*d = 2*d + 10. Is -1*i/1 + -1 prime?
False
Let t(f) = -f**3 - 9*f**2 + 10*f + 6. Let q be t(-10). Suppose 2335 = -p + q*p. Is p prime?
True
Suppose -3*m - 2*m + 170 = 5*c, -3*m = 3. Is c prime?
False
Let i = 3 + 30. Suppose 2*h + 60 = r - i, -h = 0. Let g = -60 + r. Is g composite?
True
Suppose -3*s = 4*i + 4, 0 = 4*i + i + 3*s + 2. Suppose -i*y - 11 = -63. Is y a composite number?
True
Let a(m) = 5*m**3 + 2 - m - 3*m + 4*m**2 - 2*m**3 - 4*m**3. Let f be a(2). Suppose 3*g = -x + f*x - 10, 4*g = 4*x - 32. Is x composite?
False
Suppose -5*j - 460 = -9*j. Is j a prime number?
False
Let a(l) = 32*l - 11. Let f be a(10). Suppose z = -3*d + 4*d - 103, -3*z + f = 3*d. Is d composite?
False
Suppose -w + 393 = 2*m - 6*w, -3*m + 4*w = -607. Is m a composite number?
True
Suppose 4*t + 2*d + 4 = -0*t, -2*t = 4*d + 2. Let x(v) = 90*v**2 + v. Is x(t) prime?
True
Suppose 2*a + 4*c + 9 = 25, 2*c + 12 = 4*a. Suppose -k = a*d + 112, -k + 0*k - 130 = -2*d. Is (-2 + -1)/(6/k) a prime number?
False
Suppose 2*c + 30 = n, -3*n + 30 = -c - 55. Suppose n = 2*s - 18. Is s a prime number?
True
Let w be (-2)/(-6) - (-131)/3. Let x be (4/8)/(2/w). Is ((-158)/6)/(x/(-33)) a composite number?
False
Let o(f) = 59*f + 1. Suppose -15 = -5*s, -4*s + 14 + 1 = m. Is o(m) a prime number?
False
Suppose -4*x = -7*x + 366. Let g = x - 25. Is g composite?
False
Let g be (7/((-14)/20))/2. Let h(z) = -2*z**3 - 7*z**2 - 2*z. Is h(g) prime?
False
Let p = -51 - -85. Suppose 80 + p = 3*a. Is a composite?
True
Suppose 0 = -7*o + 8*o - 1211. Is o a composite number?
True
Is ((-3)/3)/(1938/1939 + -1) a prime number?
False
Let b(w) be the third derivative of w**6/60 - w**5/12 - w**4/6 - w**3/3 + 2*w**2. Is b(5) composite?
False
Let u be ((-15)/(-1))/(1 - 0). Suppose f - u = -0*f. Is f a prime number?
False
Let d = -1 - 4. Is 411 - ((-12)/4 - d) a composite number?
False
Suppose 46 - 4 = 3*b. Let w be ((-110)/(-7))/(2/b). Let q = 207 - w. Is q composite?
False
Let c(r) = 379*r**3 + 2*r**2 - 2*r. Is c(1) a composite number?
False
Suppose -2*v - 3*z + 1411 = 0, z - 2115 = -3*v - 3*z. Is v a composite number?
False
Let f = -22 - 10. Let t(g) = 19*g - 2. Let n be t(3). Let z = f + n. Is z a prime number?
True
Let i(a) = a**3 - 5*a**2 + 5. Let c be i(5). Suppose c*b + 60 = 3*s - s, -s + 25 = -5*b. Is s composite?
True
Suppose 0 = 2*d - 5*f + 2*f - 18, 28 = 3*d - 5*f. Let g(p) = -16*p - 3. Let q(o) = -5*o - 1. Let j(r) = -6*g(r) + 17*q(r). Is j(d) a prime number?
True
Let k = -440 + 625. Let x = k + -100. Is x a composite number?
True
Let j(w) = 40*w - 15. Is j(4) prime?
False
Suppose -3*c - k + 40 = 0, 5*k = -4*c + 5*c + 8. Suppose 280 = 3*o + m, 468 = 2*o + 3*o + 2*m. Is (o/c)/((-1)/(-3)) a prime number?
True
Suppose -4*h = -2*q + 20 + 32, -5*h - 14 = -q. Suppose 3*v + 5*s - 272 = 0, -50 = -v + 5*s + q. Is v a prime number?
True
Suppose -2*c - 126 = -4*c. Let b = c - 25. Is b prime?
False
Suppose -v + 3*n + 17 = 0, 5*v + 5 = -2*n - n. Suppose t + v*t = 447. Is t a prime number?
True
Let l be -3*51/(-9)*-13. Let f = 318 + l. Is f a composite number?
False
Suppose 0 = 4*n + 2*u - 4, -2*u + 3 + 2 = 5*n. Let q(h) = 370*h + 1. Is q(n) a prime number?
False
Let w(p) = p**2 - p + 3. Let b be w(0). Let y(q) = -2*q**b - 2*q**3 + 6*q**3 - q + 1 - 5*q**2. Is y(5) a prime number?
False
Suppose b = 4*x - 3679, 0 = -5*b - 0*b + 25. Is x composite?
True
Let f = -109 + 218. Is f prime?
True
Let k = 122 + -3. Is k a prime number?
False
Suppose -3*t + x = -361, 0 = 2*t - 0*t + 5*x - 218. Is t prime?
False
Let d(n) = -n**3 - 8*n**2 - 8*n - 4. Let m be d(-7). Suppose -m*v + 266 = 2*t - 735, 5*v + t = 1673. Is v a prime number?
False
Suppose 3*s = 6*s - 6. Suppose 0 = -3*r - 4*l + 2865, -1910 = -s*r - 0*l + 2*l. Is r a prime number?
False
Let u(p) = -p**3 - 10*p**2 - 2. Is u(-11) composite?
True
Let i(r) = 3*r + 2. Let v be i(-2). Is (1 + (-129)/v)*4 a composite number?
True
Let v be (2/(-6))/(5/(-45)). Suppose -25 = 2*q - v*q. Is q a composite number?
True
Let q be 3496/12 + 2/3. Suppose 0 = -u + q + 157. Is u a composite number?
False
Suppose -7 = -f - 2, 3*k - 4 = 4*f. Is 1 - -6*k - 0 composite?
True
Let m(t) be the first derivative of 10*t**3/3 + t**2/2 - t - 7. Is m(1) a prime number?
False
Suppose -2*c = -y - 6*c + 4, 5*y + 2*c = 74. Suppose 2*x + s = 111, -2*x + 3*s = y - 139. Is x composite?
True
Let s be (5/(-2))/(1/(-2)). Suppose w = s*w. Is 2 + w/1 - -9 composite?
False
Is (211/4)/(1/4) a prime number?
True
Let j(n) = 5*n**2 + 2*n + n**2 - 4*n + n**3 - 8. Let a be j(-6). Is ((-70)/a - -2)*-2 composite?
False
Let i(p) = -5*p - 15. Let l(f) = -1. Let o(m) = i(m) - 15*l(m). Let a(z) = 9*z + 1. Let w(j) = 2*a(j) + 5*o(j). Is w(-7) a prime number?
False
Let a = 0 + -1. Let f be a/(-6) + (-284)/(-24). Let l = -2 + f. Is l composite?
True
Let x(j) = 89*j**2 + 4. Let b be x(-3). Suppose 14*l - 19*l + b = 0. Is l a prime number?
False
Let v = 250 - 71. Is v a composite number?
False
Suppose -11 = -4*t + 4*j + 661, 4*j + 183 = t. Is 