rime?
True
Is (5 - 8 - -2)*-1*10831 a composite number?
False
Suppose 2*y = y + 4. Suppose 0 = -y*m - 3 - 69. Is (-6)/m - 1336/(-6) prime?
True
Let m(n) = 10*n**2 - 8*n - 8. Suppose -6*x + 47 = -11*x + 4*z, -x + 2 = 3*z. Is m(x) a prime number?
False
Let o be 38/10 - (-60)/(-75). Suppose 3685 = 2*g + o*g. Is g composite?
True
Let o(t) = 154*t + 1. Suppose -3*p - 3*b = 0, -4*b = 2*p - 1 + 3. Is o(p) composite?
True
Suppose -34432 = -2*k + 2*m, -10*k = -9*k + 2*m - 17207. Is k composite?
True
Is (1422/12)/(-6*(-5)/2740) composite?
True
Let x(k) = 4*k - 4. Let v be x(-5). Let l = v + 26. Is (-1)/l*1*-1526 prime?
False
Suppose 0 = 26*w - 25*w - 5*s - 33573, 3*w + 4*s = 100681. Is w prime?
True
Suppose -2*l = -2*u - 6, 3*l + 8 - 35 = -3*u. Is (1651/3)/(26/l + -4) composite?
True
Suppose 88*c - 81*c = 737233. Is c composite?
False
Suppose -4*k = 5*k - 36. Suppose -k*d + d = -306. Suppose 0 = -2*l - d + 356. Is l a prime number?
True
Let i be (1 - 2) + (6 - 3). Suppose 4*h - i*n = 2*h + 172, 0 = h + 4*n - 66. Is h a composite number?
True
Let p(o) = -o**3 + o + 9527. Is p(0) composite?
True
Suppose 0 = -5*q + 2*n + 49021 + 4160, 3*n - 42554 = -4*q. Is q prime?
False
Suppose 33 = -4*u - 7. Is 46*(-1 + (-65)/u) prime?
False
Let w(o) = -5 - 5*o**2 - o + 4*o**2 + 7*o. Let v be w(3). Suppose -v*r = -284 - 368. Is r composite?
False
Suppose -3*a = -2 - 10. Suppose -146 = a*x - 3*w, w + 0*w = -2*x - 68. Let l = x - -58. Is l a composite number?
False
Suppose 0 = 5*u + 2*s + 7600, -2*u - 3040 = -2*s + 5*s. Let a = u + 2461. Is a a composite number?
False
Suppose -2*g + 4*v = -98, 4*g - v - 51 = 3*g. Is g a prime number?
True
Let d(n) = n**2 - 17*n + 29. Let f be d(15). Let s(q) be the first derivative of -28*q**4 + q + 4. Is s(f) a prime number?
True
Suppose -88*s + 6*s = -6591406. Is s a prime number?
False
Suppose -4*v + 6*h = 3*h + 411, 5*h + 301 = -3*v. Let a = 353 + v. Is a a prime number?
True
Let z(n) = 23*n + 17. Is z(7) a composite number?
True
Let z(i) = 22*i + 1. Let f(l) = l**3 + 11*l**2 + 8*l - 13. Let d be f(-10). Let u be z(d). Suppose -2*k = 3*k - u. Is k prime?
True
Let d = 623 + 26. Is d a prime number?
False
Let w be (4/(-6))/(10/(-1020)). Let y be w/(-16) - (-1)/4. Is (-438)/y - (-3)/(-6) a prime number?
True
Suppose 7*q - 14*c + 16*c = 29771, 5*q + 3*c = 21265. Is q composite?
False
Suppose 11 = 4*s - 1, -6 = -2*o - 2*s. Suppose -11*d - 1196 + 4155 = o. Is d composite?
False
Suppose 3*j + 2*i - 5 = 0, 26 = 5*j - i - 4. Let y(w) = 19*w**3 + 4*w**2 + 4*w. Is y(j) prime?
False
Suppose 6 = m + 4. Suppose 0 = -l - 3, u + 242 = m*u + 5*l. Is u a prime number?
True
Suppose -7*z + 5192 = -3*z. Let l be 12/(-8)*(1*-9 - -3). Is z/((-9)/(l/(-2))) a composite number?
True
Let i(d) = 212 - 215 - 31*d - 21*d. Suppose -3*u - u = 24. Is i(u) a prime number?
False
Suppose 0 = 4*r + 9*r - 3731. Suppose -5*f - 4*u = -1668 - r, -5*f + 1995 = -4*u. Is f a composite number?
True
Suppose 2*u = 17*u + 3300. Let g = -43 - u. Is g prime?
False
Suppose 0 = -2*i - q + 6981, 6*q - 3 = 9*q. Suppose -25*x + 26*x = i. Is x prime?
True
Suppose -4*i + 0*i + 4648 = 0. Is (-1 + 2)/(14/i) a prime number?
True
Let f(l) = -14*l + 2. Let b be f(5). Let q = b - -449. Is ((-2)/(-3))/(2/q) a prime number?
True
Let k be (6/12)/(1/4). Let g = k + -4. Let s(l) = -313*l + 3. Is s(g) prime?
False
Let z be (440/16 - 5)*(-5 - -1). Let t be (-2)/(-2)*(-596)/(-4). Let y = t + z. Is y a composite number?
False
Suppose -50*c + 46*c - 21314 = -2*x, 31956 = 3*x - c. Is x a composite number?
False
Let n(v) = -2*v**2 - 10*v - 2. Let i be n(-4). Let w(m) = 493*m - 17. Is w(i) a composite number?
True
Let j(z) = 2339*z + 21. Is j(2) a composite number?
True
Let n = -1129 + 1812. Let q = -426 + n. Is q composite?
False
Suppose -5*b = -2*h + 82, 5*b = -4*h - 30 + 164. Let r be (-6)/(-8) + (-27)/h. Suppose 2*i - 173 - 1265 = r. Is i a composite number?
False
Suppose 2*z = 3*m + 7, z + 2*m - 9 = -2. Suppose l - 797 = 2*r, l - z*r + r - 797 = 0. Is l composite?
False
Let f = -33 + 33. Suppose -9748 = -f*s - 4*s. Is s a composite number?
False
Suppose 0 = -10*u + 5*u - 4*n + 2586, -5*u = -5*n - 2550. Is u a prime number?
False
Let f(g) be the third derivative of g**6/120 - 11*g**5/60 - 5*g**4/24 + g**3/2 - 4*g**2. Let q be f(7). Let p = q + 515. Is p a prime number?
False
Is (4/24*-22948)/(6/(-9)) prime?
True
Let r = 14 + -11. Suppose -35 - 7 = -r*w. Is 2 + w*92/8 a composite number?
False
Let s = 6781 - -2530. Is s a prime number?
True
Let o(k) = 3*k**2 + k - 3. Let w be o(-2). Suppose 1964 = -3*c + w*c. Is c a prime number?
True
Let x = -44794 - -82833. Is x a prime number?
True
Let d = 1 - 1. Suppose -2*q + 0*q - 12 = d. Let w = 17 + q. Is w a composite number?
False
Let l(x) = 3*x**3 - 50*x**2 + 17*x + 19. Is l(22) a composite number?
True
Suppose -u + 7732 = 3*u. Suppose -3*k + 698 = -u. Is k a prime number?
True
Let k(t) = 529*t**2. Let p be k(1). Let u = p - 238. Is u a composite number?
True
Is (2330327/201)/(2/6) prime?
True
Let t = 46 + -76. Let l be -5*129*(-4)/t. Is 12/24*(0 - l) composite?
False
Let g be ((-6)/4)/((-6)/12). Let p(u) = -4*u - 12. Let c be p(-5). Suppose -1630 = -c*h + g*h. Is h prime?
False
Is (-94 + 93)/(1/(-203)) composite?
True
Suppose -5*r = -y - 3510, r + 4*y - 319 - 362 = 0. Is r a composite number?
False
Suppose 2 = -j, -10 - 24 = -4*d + j. Is 16/d - 9578/(-2) prime?
False
Let j = -6904 - -26402. Is j a prime number?
False
Let i(h) = 3*h + 29. Let p be i(5). Let d = p - -375. Is d composite?
False
Let q(t) be the third derivative of 11*t**5/30 - t**4/24 - 2*t**3 - 17*t**2. Is q(-7) composite?
True
Let b be ((-40)/1)/((-8)/(-8)). Is ((-60)/b)/((-6)/(-196)) composite?
True
Let u(k) be the third derivative of -k**6/120 - 2*k**5/15 + 5*k**4/12 + 5*k**3/6 - 4*k**2. Let c be u(-9). Is c + 1 + 832/4 a composite number?
True
Suppose 2*a - 5*n + 3*n - 22004 = 0, -3*n - 9 = 0. Is a a composite number?
True
Suppose -2*b - 5*o + 20 = 0, 0 = -3*b + o - 4. Suppose 3*f + b*f = 12. Suppose 0 = f*l + 4*t - 191 - 153, -5*t = -l + 116. Is l a prime number?
False
Let k(i) = -14*i - 7. Suppose 5*q = 2*p - 52, 5*q + 55 = 2*p + 3*p. Let l be k(q). Suppose -6*n = -7*n + l. Is n a prime number?
False
Let v = 46 - 41. Suppose -2*k + v*s = -0*k - 182, 0 = 3*k + 3*s - 252. Is k a prime number?
False
Let l be (-2)/(-4) - 1455/10. Let q = 636 - 432. Let s = q + l. Is s a composite number?
False
Let m = 159 + 634. Suppose -h - 791 = -3*g, 2*h - m = -3*g + 4*h. Is g prime?
True
Let s(f) = 92*f + 513. Is s(44) prime?
True
Let b = 2477 + 3072. Is b composite?
True
Let a = 4 + -12. Let k be 20/a*(-8)/5. Is (k - 3)*-3 + 37 a composite number?
True
Let u(b) = 2*b**2 + b + 3. Let z = 18 + -15. Let d be u(z). Let q = d - -50. Is q a composite number?
True
Let n = 18 - 14. Let i be 2 - (-7 + n/1). Suppose -i*z = -z - 812. Is z a composite number?
True
Suppose z = 3*b - 0*z - 11, 0 = -3*z + 3. Let y(u) = 203*u**2 + 6*u - 3. Is y(b) composite?
True
Let r be (16/(-28))/((-2)/14). Is 295 - (-3 + 28/r) prime?
False
Let v(p) = -14 + 7*p + 5 + 13 + 17*p**2 - p**3. Is v(15) composite?
True
Suppose 0*y + 8 = 4*y. Suppose -g + 0*g - y*k + 3 = 0, -4*k = -4*g + 24. Suppose g*b + 3*w = 2440, 5*w + 1034 = 4*b - 955. Is b a composite number?
False
Let h(d) be the first derivative of d**4/12 - d**3/3 - 5*d**2/2 - 4*d - 2. Let v(c) be the first derivative of h(c). Is v(-6) a composite number?
False
Suppose -39*n + 14253 = -36*n. Is n composite?
False
Suppose -b = 3*b - 52. Suppose -717 = -16*r + b*r. Is r a prime number?
True
Let v be -5*(21/15 - 3). Suppose q - 3*m = -v, q - m - 4*m = -10. Is (-3 - q) + -1 + 452 a prime number?
False
Suppose -5*g + 4*g + 4*a = 14, 0 = -4*g - a + 12. Is 1273/4 - g/(24/(-9)) prime?
False
Let r = 17794 - 7367. Is r composite?
False
Let m = 4 - 3. Let d = 3 + m. Suppose -d*v + 885 - 1 = 0. Is v a prime number?
False
Suppose 0 = 358*u - 360*u + 1366. Is u a prime number?
True
Let g(l) = 18*l**2 + l - 2. Let o be (-6)/(-18) - (-8)/(-6). Let q be (o/(-3))/(3/(-27)). Is g(q) composite?
False
Let u(b) = -b**3 + 5*b**2 - b. Let t be 2/5 + 13/5. Suppose -t*l + w + 5 = 0, l - 2*l = -3*w + 1. Is u(l) a prime number?
False
Let u(l) = 358*l + 3. Let m be u(3). Suppose 0 = q + 290 - m. Is q a compos