(17) a prime number?
True
Let l(u) = -u**2 - 12*u + 47. Let v be l(-14). Suppose -18*m - 641 = -v*m. Is m a composite number?
False
Suppose -2*y + 24312 = -30706. Is y prime?
True
Suppose 0 = -o - 5*d + 6*d + 2667, 4*o - 3*d - 10672 = 0. Is o a composite number?
False
Suppose 0*u - 5*o = -4*u + 38301, -5*o - 25 = 0. Is u composite?
True
Let m = -4 - -8. Let q be (1 - -1)/(m/8). Suppose -40 = -g + o, -100 = q*g - 7*g - o. Is g prime?
False
Let o be 1*0/5*-1. Suppose 0 = 9*z - 4*z - 2*u - 3841, o = 2*u + 6. Is z prime?
False
Let c = 40 + -18. Let k = -61 - -61. Let a = c - k. Is a a composite number?
True
Is (17/(-34))/(1/(-4358)) prime?
True
Suppose -5*a - 8*m + 10830 = -3*m, -2*a = 4*m - 4342. Is a prime?
True
Suppose 0 = 2*f - 5*g - 2088, 5*f - 5*g = -3*g + 5241. Is f prime?
True
Let v(b) = 2*b**2 - b + 3. Let u(z) = -z**3 + 4*z**2 + 5*z + 3. Let g be u(5). Let c be v(g). Is 1426/c - (-22)/(-99) a composite number?
False
Let c(y) = 1. Let n(d) = 38*d + 21. Let f(l) = -6*c(l) + n(l). Is f(8) a composite number?
True
Let s(u) = u - 266. Let l be s(0). Suppose y + 197 = 5*t, 189 = -y + 12*t - 9*t. Let f = y - l. Is f a prime number?
True
Suppose 2645 = 4*z + 449. Suppose -1479 = 4*j + j + 2*g, j + 303 = -4*g. Let m = z + j. Is m prime?
False
Let w be (7/14)/(1/2). Let t be (-1)/((-3)/6*w). Suppose 2*s + t*s - 140 = 0. Is s prime?
False
Let b = 8269 + -11622. Let q = b + 6994. Is q prime?
False
Suppose 3*z = -n + 47351, -29*z = -25*z - 16. Is n prime?
True
Let g = 37 - 23. Is (3 + (-74)/(-4))*g prime?
False
Suppose 3*u - 824 = -u. Suppose -f = -5*x - u, x + 0 - 2 = 0. Suppose t = f + 77. Is t a prime number?
True
Let q be (-5)/(25/10) - -4. Suppose -u = q*u - 285. Is u a composite number?
True
Suppose 3*f = 2*f - 10. Let l be (-4)/f*(488 + 2). Suppose v - l = 91. Is v composite?
True
Suppose 316045 = 72*b - 41*b. Is b composite?
True
Suppose 6*p - 3 = 5*p. Suppose p*c = 4*c - 4*u - 26, c = -3*u - 2. Let w(h) = 2*h**3 - 14*h**2 - 10*h + 21. Is w(c) a composite number?
False
Let w = -760 - -1140. Let p be ((-48)/(-20))/(3/w). Let h = -81 + p. Is h a composite number?
False
Let g(q) = 11*q**2 - 13*q + 53. Is g(-13) a composite number?
False
Suppose 30461 = b + 3*q, b = -19*q + 22*q + 30437. Is b a composite number?
False
Suppose 0*i - 4*b + 318 = 5*i, -4*i + 273 = -3*b. Let x = i + 6. Suppose 3*a - x + 15 = 0. Is a composite?
False
Suppose -10 = -4*j - 6. Is (j + -11)*(-3)/2 a prime number?
False
Suppose 4*r + 4*d = 5*r - 12, -4 = 2*d. Suppose 2*k - r - 6 = 0. Suppose -352 = -k*v + 353. Is v a prime number?
False
Let r = 10 + -8. Let b(g) = 1 + 0*g**3 + 10*g**3 + 17*g**3 + r*g. Is b(2) a prime number?
False
Let p(o) = o**2 - 5*o + 7. Let w be p(5). Let j be 9/21 - (-18)/w. Suppose -v + 4*b = -219, -5 = -j*b - 2*b. Is v composite?
False
Let l(y) = 38*y**2 + 26*y - 61. Is l(14) prime?
False
Let u(r) = r**3 - 7*r**2 - 7*r - 2. Let k be u(8). Suppose 5*y = 3*x + 20, 0 = -4*x - k*y + 4*y - 70. Is (52/6)/((-2)/x) a composite number?
True
Let d(l) = l**3 + l + 19. Let m be d(0). Let o = m - 25. Is 2/o + (-2444)/(-6) a prime number?
False
Suppose -3*m - 4*l - 80 = 0, 5*m + 173 = -2*l + 21. Let t be (-6 + 0)*16/m. Suppose -k = -5*k - 2*s + 1626, -t*k + 1223 = -2*s. Is k a composite number?
True
Suppose 4*a + 3*f - 38 = f, -4*f - 24 = -2*a. Suppose -g + a*g = 5301. Is g prime?
False
Let t(p) = -p**3 + 7*p**2 - 15*p - 22. Is t(-9) composite?
False
Suppose 84*m - 689 = -101. Let i be (-2)/4 - (-5)/2. Suppose 5*s - 1465 = -5*t, -i*s = -m*t + 4*t + 904. Is t prime?
False
Let y = 449 + -78. Is y prime?
False
Suppose -5*z + 11303 + 6762 = 0. Is z a composite number?
False
Suppose -4*j - 25200 = -4*w, -w = -0*w + j - 6294. Is w composite?
True
Suppose -y - 3 = -2*y. Let m = 1973 - 880. Suppose -y*i = -452 - m. Is i composite?
True
Suppose -4*x = 5*m + 1414, x + 350 = -5*m + 4. Let v = 658 + x. Is v a composite number?
True
Let v(f) = f**3 + 58*f**2 + 145*f - 33. Is v(-43) a composite number?
False
Let k(g) = 67*g**2 + 4*g + 25. Let z(i) = 334*i**2 + 21*i + 126. Let o(j) = 11*k(j) - 2*z(j). Is o(-4) a prime number?
False
Let a(l) = 647*l**2 - 3*l - 3. Is a(-1) prime?
True
Let s = -35707 + 105344. Is s a prime number?
False
Suppose -5*k + 4*i = -124, -k - 4*i + 44 = -0*k. Let b be 119 - 7/(k/16). Suppose 0*g + b = g. Is g a composite number?
True
Let v(j) = 30*j**2 - 5*j + 8. Suppose -1 = -4*m + 11. Is v(m) a composite number?
False
Suppose 0 = -3*t - f + 22252, 12*f = -4*t + 9*f + 29661. Is t a prime number?
False
Let p = -2264 + 4509. Suppose c - 3*c + 4481 = -5*v, 0 = -c - 2*v + p. Is c composite?
False
Let d(v) be the second derivative of v**8/6720 - v**7/630 + 7*v**6/720 - v**5/20 - v**4/12 + 3*v. Let r(a) be the third derivative of d(a). Is r(4) prime?
False
Let a(l) = 6*l**2 + 16*l + 3. Let h be a(-9). Suppose i = 66 + h. Is i a composite number?
True
Let k(g) be the second derivative of 28*g**3/3 + g**2/2 - 56*g. Suppose -3*u + p + 40 = 0, -3*u + u + 3*p = -36. Is k(u) prime?
True
Let d(b) = -23*b - 6. Let a = -17 + 13. Let k be d(a). Let l = k + -33. Is l prime?
True
Is 4403 - (4 - -2) - (-12)/(-3) a composite number?
True
Let v(o) = o - 1298. Let w(k) = 1. Let l(t) = -v(t) + 5*w(t). Is l(0) a composite number?
False
Let u(m) = -m**3 - 2*m - 1. Let q be u(-1). Suppose 1656 = q*k - 4*k. Let j = -569 - k. Is j prime?
False
Let p(r) = 3*r**3 + 7*r**2 + 40*r + 13. Is p(17) prime?
False
Let o(d) = 16*d**2 - 9*d + 21. Let p be o(7). Let g = p + -473. Is g a composite number?
False
Let m = 869 + -318. Let g = m - -336. Is g a prime number?
True
Suppose 7*b + 5*t = 5*b + 23038, -b = 2*t - 11519. Is b prime?
True
Let i = 7870 + -2156. Is i a composite number?
True
Suppose 4*c + 223 - 663 = 0. Let l = 6 - 3. Suppose l*j - c = j. Is j composite?
True
Let b(l) = -6*l**2 + 13*l + l**3 - 11*l + l - 17. Is b(9) a composite number?
True
Let t(h) = h - 5. Let z be t(11). Suppose 0*g - 2*g = -z. Suppose -g*q = -q - 134. Is q a composite number?
False
Let v(m) = -m**3 - 2*m**2 - m + 2. Let y be (2/(-3))/(5/15). Let c be v(y). Suppose 0 = -2*a - 3*b - 11, 3*b + 11 = -c. Is a a composite number?
False
Let h = -4478 - -10059. Is h a composite number?
False
Suppose 3*g = 4*g - 473. Let j = -222 + g. Is j a prime number?
True
Suppose -3*d + 1 = 2*h, 0*h + 10 = 2*d - h. Let r(n) = 234*n + 10. Let i be r(d). Suppose 4*x = i + 1828. Is x a composite number?
True
Let p(n) be the first derivative of 25*n**2/2 - 9*n + 29. Is p(8) composite?
False
Is 737 + (-8 - (-64)/8) a prime number?
False
Suppose -5*o - 1526 = 4*a, 1903 = -5*a - 6*o + 2*o. Is 9*(-3)/9*a composite?
True
Let x = 24 + -19. Suppose -x*v = -2*v. Suppose -2*l + 0*l + 3*w + 303 = v, -20 = -4*w. Is l a composite number?
True
Suppose 3*z - 557 = -r, 0 = 2*z - 3*r - 0*r - 375. Suppose -4*k - 1832 = -8*k + 4*p, 0 = -2*k - 3*p + 901. Let v = z + k. Is v composite?
False
Let t be 3/(0/3 - 1). Let k(h) = -h**3 - 2*h**2 + h - 2. Let s be k(t). Suppose -109 = -s*z + 15. Is z a prime number?
True
Let p(z) = 28*z**2 + 53*z + 52. Is p(-17) a prime number?
True
Let o = -7800 + 23461. Is o composite?
False
Is (0 + -2)/(-8 + 863152/107896) a composite number?
False
Let j be (-4)/16 - 57/12. Let x be (-10)/(-50) - (-26)/j. Is (-638)/x + 6/(-10) composite?
False
Let t = 2 - -10. Suppose -t = -j - 0*j - 4*v, -3*v + 6 = 0. Suppose 0 = -2*q + 4*g + 28, j*g + 8 + 8 = 0. Is q a composite number?
True
Let n = 1585 + -956. Is n a composite number?
True
Let w be (-6641)/(-1) - (-5)/(-5). Suppose 4739 = l - 5*c, w + 7551 = 3*l - 2*c. Is l a prime number?
True
Let q(p) = -63*p**3 + 2*p**2 - 2*p - 3. Let h be q(-1). Suppose 0 = 2*r - 882 + h. Is r prime?
True
Let d(s) = s**3 - s**2 - 4*s + 1961. Is d(0) a prime number?
False
Is 13908 - (56/(-12))/((-12)/18) a composite number?
False
Let s = 1882 + 8255. Is -1 + (s - 3/(1 + 2)) composite?
True
Let a(d) = 322*d - 14. Let g be a(3). Suppose t - 182 = -t. Suppose 0 = k - t - g. Is k composite?
True
Let u(p) be the first derivative of 14*p**3 + 3*p - 5. Is u(-3) prime?
False
Suppose -64153 = -4*h - 4*p + 71507, -3*h = 5*p - 101741. Is h prime?
False
Let h be (1 + -4)*(-6)/6. Let t(q) = 103*q**3 + q**2 + q - 1. Let k be t(1). Suppose l + 5 = 0, -y + 0*y - h*l + k = 0. Is y a composite number?
True
Let d 