= -2*c, 153 = c + 5*l. Suppose 2*d + d = c. Is d a composite number?
True
Let m(n) = -25*n - 1. Let i be m(-3). Suppose -u - 2*o = -i, -3*u + 7*u - 296 = 5*o. Is u a composite number?
True
Let f(k) be the second derivative of 11*k**5/20 - k**3/2 + k**2/2 + 2*k. Let w be -1*3*2/(-3). Is f(w) composite?
False
Is 5*(-37)/1*-1 prime?
False
Let j be 1/((-1)/(-4746)) + 2. Suppose o - j = 3*q, 0 = q - 0*q + 4*o + 1600. Is (-5)/35 + q/(-14) composite?
False
Suppose 3*l - 1374 = 1113. Is l a prime number?
True
Let h be (-2)/(-3 + 21/9). Suppose -5*d - h*t + 413 = -7*t, 0 = -3*d - 5*t + 270. Is d composite?
True
Let x = 2 + -15. Let n = -6 - x. Is n + -3 - -1*3 a composite number?
False
Let t(h) = h**3 - 16*h**2 + 20*h + 5. Is t(17) a prime number?
False
Suppose h - 4*h + 2661 = 0. Is h a prime number?
True
Let d be (-1 - -2) + 0 + -5357. Is (-4)/(-18) - d/36 composite?
False
Let a = 174 - 96. Suppose -4*k + a = m, -2*k + 6*m + 30 = 2*m. Is k composite?
False
Suppose 0 = -h - 2 - 8. Let y(f) = 9 - 4*f - 2*f + f - 3*f. Is y(h) a composite number?
False
Suppose 0 = -6*v + 3937 + 857. Is v a prime number?
False
Suppose 12*x = 18*x - 7458. Is x composite?
True
Let o be ((-4)/12)/(1/(-12)). Suppose 5*j + 3*d - 55 = 0, -2*d - 40 = -o*j + 26. Is j a prime number?
False
Let d(v) = 21*v**3 + 4*v - 1. Let o(f) = f**3 + f. Let g(h) = d(h) - 6*o(h). Is g(2) a prime number?
False
Suppose 7 - 44 = 3*b + 5*d, 0 = -b + 5*d + 21. Let w = -3 + b. Is 2444/28 + 2/w prime?
False
Let v(l) = 209*l**2 - 6*l + 2. Is v(-3) a prime number?
True
Suppose 0 = -q - 4 - 0. Let k be 2/q + 202/4. Suppose -5*o + k = -0*o. Is o a prime number?
False
Let p = 6 - -2. Let b = p + 14. Is b composite?
True
Is 479*2 - (-5 - -4) a prime number?
False
Suppose 7*k = 2*k + 2675. Is k a prime number?
False
Let m(r) = -r**2 - 5*r - 2. Suppose -2*h = -3*k - 0*h - 11, -4 = k - h. Let a be m(k). Suppose -730 = -5*x - a*g + 63, x = g + 164. Is x prime?
False
Let j(z) = z**3 + z + 493. Let h be j(0). Suppose 5*f + g + 1573 = 0, -4*g - h = 3*f + 444. Let p = -50 - f. Is p a prime number?
False
Let n(w) = w**3 - 11*w**2 + 8*w + 22. Let y be n(10). Let d be (42/5)/((-1)/(-60)). Suppose -t - d = -4*m, t = -y*m - t + 262. Is m prime?
True
Let v = -31 - -3. Let g = v - -87. Is g a prime number?
True
Let l(j) = 4*j**2 - 2*j**3 - 6*j**2 - 3*j - j**2. Is l(-2) prime?
False
Let i = -412 - -719. Is i a composite number?
False
Suppose 2*d = -11 + 85. Is d prime?
True
Let i(r) = -r**3 + 9*r**2 + 11*r - 12. Is i(7) a composite number?
False
Let t(w) be the first derivative of -w**4/4 - 4*w**3/3 + 2*w**2 - 5*w - 1. Let f be t(-5). Suppose -u + 108 - 23 = f. Is u composite?
True
Let j be (0 + 5)*14/35. Let q = 4 - j. Suppose -q*k - 12 = -6*k. Is k a prime number?
True
Let i = 2185 + -714. Is i a composite number?
False
Suppose -16 = 3*x - 5*z, 26 = 2*x + 3*z + z. Let v(l) be the second derivative of l**4/12 + 2*l**3/3 + l**2/2 - l. Is v(x) a composite number?
True
Suppose 0 = -2*y + 5*m + 112, 3*m - 155 = -3*y + 4*m. Suppose y = -3*n + 4*n. Is n composite?
True
Let c = -1224 + 6008. Let k be 6/(-21) + c/(-14). Let d = -179 - k. Is d prime?
True
Suppose x - 553 = 732. Is x a composite number?
True
Let x be (6/(-4))/(1/(-2)). Suppose 0 = l + x*l - 8. Let g(k) = 45*k + 1. Is g(l) composite?
True
Suppose -3*f - 5*u + 45 = -5*f, -5*f - 165 = 5*u. Is (-26680)/f + 2/(-6) prime?
False
Let r(s) = s**3 + s**2 - s - 6. Let k be r(0). Let l(j) = j**3 + 9*j**2 + 4*j + 5. Is l(k) a prime number?
True
Let u be (-1130)/(-6) - 3/9. Let y = u - 102. Is y composite?
True
Let d(n) = -2*n - 2. Let w be d(3). Let m = w - -18. Is m prime?
False
Suppose 3*f - 3 = -0*f, -2*z - 4*f = -96. Let x = z + 69. Is x a prime number?
False
Suppose -2*y = 4*y - 1014. Is y a prime number?
False
Let a(g) = 8*g**2 - 6*g + 3. Is a(8) prime?
True
Let o(q) = -2*q + 291. Suppose 0*b = -4*b. Is o(b) prime?
False
Let a = -223 + 101. Let y = 177 + a. Suppose -b = -2*b + y. Is b a prime number?
False
Let g = -1 + -5. Let p be 163/6 - (-1)/g. Let h = 102 + p. Is h a prime number?
False
Let b = 570 + -337. Is b a composite number?
False
Suppose -3*u - 434 = -4*n - 5*u, 3*n + u - 327 = 0. Suppose -2*q + 7*q + n = 0. Let r = q + 35. Is r composite?
False
Let w(y) = -y**2 + 7*y - 1. Let f be w(6). Suppose -4*q - 4*v - 28 = 0, -2*q + f*v = q - 11. Is (19/q)/(2/(-6)) a composite number?
False
Let z be (-3 + 9)/2 + 0. Suppose o + 8 = d, -2*d + 33 = z*d + 2*o. Is d a prime number?
True
Let w be (2/3)/((-3)/1431). Let a = -51 - w. Let d = a - 140. Is d a prime number?
True
Suppose 0*u - 3*u = -426. Suppose -z - z + u = 0. Is z composite?
False
Suppose 0 = -2*u + 4. Let f(v) = 6*v - 1. Is f(u) a prime number?
True
Suppose -3*o = -4*k - 226, 0*k + k - 236 = -3*o. Suppose 3*s - 33 = 3*v + o, 5*s - 179 = 2*v. Is s composite?
True
Suppose -3*k + 4975 = 5*z - 0*k, -3*k - 5005 = -5*z. Is z prime?
False
Let t = -6 - -11. Suppose t*l - 489 = 4*f + 95, -5*l = 4*f + 624. Let y = -32 - f. Is y a prime number?
False
Suppose 0*f - 25 = -5*f. Let h = f + -1. Suppose -2*w = -h*g + 152, 2*w = 5*w - 6. Is g a prime number?
False
Let b(w) be the first derivative of w**4/4 + 5*w**3/3 + 3*w**2/2 + w + 2. Let f = -4 - -1. Is b(f) a composite number?
True
Let u(q) = 94*q**2 + 3*q - 7. Let n be u(6). Suppose 0 = 2*s + 3*s - n. Is s a composite number?
True
Let b = -3097 + 4356. Is b prime?
True
Let f be 6/3*(-15)/(-6). Suppose -f*i + 179 = -1116. Is i a prime number?
False
Suppose 3*n = 4*y - 2 + 40, -n + 5*y + 31 = 0. Let h(t) = 7*t - 2*t**2 + t**3 + n - 2 - 4*t. Is h(3) a prime number?
False
Let n = 19 - 10. Suppose 2*b - b = n. Suppose 0 = -3*f + 6*o - 3*o + b, 4*f - 20 = 2*o. Is f prime?
True
Suppose -4*g = -5*v - 215, 4*v + 3*g = -v - 180. Let t = -92 - v. Is 4/(1 + 1) - t a composite number?
True
Let k(u) = -3*u**2 + 2*u. Let r(j) = 6*j**2 - 4*j - 1. Let z(b) = -5*k(b) - 2*r(b). Is z(5) prime?
True
Let g = 1367 + -976. Is g a composite number?
True
Let f = -1 + 3. Let j be -92 + 2 - -1*f. Is j/(-12) - 1/3 composite?
False
Suppose 0 = z - 78 - 141. Let c = z - 116. Let l = c + -64. Is l composite?
True
Suppose -2*p + 0*p = 0. Is 196 - (p - (4 - 1)) prime?
True
Let g(m) = -4*m**2 + 5*m + 8. Let r be g(6). Let q = -50 - -107. Let s = q - r. Is s composite?
False
Suppose 0 = -4*g - 3*h - h + 5484, -g = 5*h - 1387. Is g composite?
False
Suppose 0 = 3*l + 15, -2*l + 2 = 4*a - a. Suppose -3*b + a*i + 179 = 0, -4*b + i + 260 - 43 = 0. Is b a composite number?
False
Let l(o) = -9*o - 1. Let f = -1 - 5. Is l(f) a composite number?
False
Suppose 322 = 2*j - 2*b, -443 + 115 = -2*j + 4*b. Is j a prime number?
False
Suppose 5*s - 3*a - 1550 = a, -4*a = -4*s + 1236. Is s a prime number?
False
Is ((-6)/4)/(24/(-1360)) a prime number?
False
Suppose -2*d - 3 = -9. Suppose -m - d*m - 3*a + 98 = 0, 2*m = 5*a + 36. Is m a prime number?
True
Let x = -118 - -251. Is x composite?
True
Let y be (1/(-2))/((-2)/8). Is (1/y)/((-2)/(-380)) composite?
True
Suppose 3*c - 1451 = -3*m + m, m = c + 728. Suppose -m = -5*b - 152. Is b a composite number?
True
Let l be (-16 + -3)/(3/(-3)). Let a(h) = 2*h**3 + 3*h**2 + h + 2. Let j be a(-2). Let b = l + j. Is b prime?
False
Let b = 19 + -32. Let p = 1 - 20. Let u = b - p. Is u composite?
True
Suppose 0 = -l - 0*l + 158. Is l composite?
True
Let i(x) = x**2 + 2*x. Let s be i(-2). Suppose 2*m - 10 = s, -m - 54 = 2*t - 237. Is t composite?
False
Suppose 445 = 4*n + n. Let m = n - 12. Is m composite?
True
Let v = 1733 - 538. Is v a prime number?
False
Let o(t) = 2654*t + 15. Is o(2) composite?
False
Let u be 40/6*(-12)/8. Let v be 8/4*u/4. Let d = v - -12. Is d a composite number?
False
Suppose 0 = 2*p - p + 95. Let a = -16 + p. Is 1/1*a/(-3) a composite number?
False
Let t(n) = -11*n. Let v be t(5). Is 1 + (-1 + 2 - v) a composite number?
True
Let n(j) = 2*j**2 + 3*j. Let m be n(-2). Suppose -5*u - 25 = 5*l, -2 = u + m*l - 1. Is 20 + 3*(-3)/u composite?
True
Let n(f) = -f**2 + 9. Let r(u) = -u**2 + 9. Let d(m) = -5*n(m) + 4*r(m). Is d(8) a composite number?
True
Let a be (-4)/(-1) - 2 - -65. Let s = a - 33. Is s a prime number?
False
Let b(v) = 5*v**3 - v**2 + v. Let d be b(1). Suppose 2*o = 0, -3*s - 282 = -d*s + 4*o. Is s prime?
False
Let l(c) = c**2 - c + 13. Let o(k) = k**2 -