s 2*4/((-16)/(-194)) composite?
False
Let x be (-6)/(-9) - 53/3. Let r = x + 36. Is r a composite number?
False
Let j be (-32)/(-12)*9/2. Is (-548)/(-6) - 4/j composite?
True
Let u(m) = 5*m**2 + 12*m - 3. Is u(8) prime?
False
Suppose 0 = -5*d + d + 172. Suppose d + 993 = 4*g. Is g a composite number?
True
Let o = -482 - -889. Is o composite?
True
Let t be ((-14)/(-8))/((-3)/(-12)). Let o be 350/(-4)*(3 - t). Let g = o + -159. Is g a composite number?
False
Suppose -5*j = 5*p + 25, p - 5*j + 0 = -5. Let r(i) = -5*i - 1. Let g be r(p). Let z = g - 14. Is z composite?
True
Let b be (3/4)/((-1)/4). Is 11 - (-2)/3*b a composite number?
True
Let s(i) be the first derivative of 5*i**3 + 2*i**2 - 4*i - 1. Let c be s(4). Suppose c = -3*u + 903. Is u composite?
True
Suppose 0 = 2*f + 3*f - 3425. Is f prime?
False
Suppose -o = -6*o - 3950. Is o/(-6) + (-14)/21 a prime number?
True
Let f be ((-2 - -3)*0)/3. Let m be -4 - -3 - (-3 - f). Suppose 2*s + r - 91 = 4*r, 0 = s - m*r - 45. Is s a prime number?
True
Let n = -49 + 88. Is n composite?
True
Let f(t) = 2*t**2 + t - 1. Let x be f(-2). Let k(b) = -b**3 + 4*b**2 + 6*b. Let g be k(x). Suppose -c + 87 = 5*q - 3*c, 2*c = -g*q + 103. Is q prime?
True
Suppose 4*d = -3*f + 427, -2*f - 2*f = 5*d - 571. Is f composite?
False
Let q = 16 + 15. Is q a composite number?
False
Let r(i) = i**2 + 4*i + 3. Let l(y) = y**2 + 8*y - 4. Let u be l(-8). Is r(u) a prime number?
True
Suppose -5*v + 5 = 0, 5*v + 22 - 132 = -d. Suppose -4*m = m - d. Is m a composite number?
True
Suppose -5*i + 2*f = 87, -2*f - 7 = 1. Let u = i + 33. Is u prime?
False
Suppose 2 = s - 2. Suppose -4*a - 4*l = -84 - 200, -2*l = -s. Is a prime?
False
Suppose -2*l + 7 - 1 = 0. Let a = 172 + -111. Let x = a - l. Is x prime?
False
Let w be (-14)/((-2)/1 + 4). Let z(f) be the first derivative of f**4/4 + 8*f**3/3 + 3*f**2 + 6*f - 2. Is z(w) a prime number?
True
Is 18/(-12)*758/(-3) a composite number?
False
Is 47437/91 - (-4)/(-14) a composite number?
False
Suppose -5*h = -0*h - 25. Suppose 4*n - 521 = h*u, 704 = 5*n + u + 60. Suppose 4 + 50 = 2*s + x, 5*s - n = -x. Is s composite?
True
Let g(y) be the first derivative of 10*y**2 - y + 7. Is g(3) prime?
True
Suppose 2*z = -2*z + 16. Suppose -z*i = -2 - 6. Is (25/(-10))/(i/(-44)) composite?
True
Let x = 13 - 18. Let a be ((-102)/8)/(x/20). Let l = a + 18. Is l a composite number?
True
Let l = 117 - -157. Is l prime?
False
Is 211/((6/(-2))/(-3)) a prime number?
True
Let h(y) = y**2 - 4*y + 3. Let z be h(3). Suppose z*u - 2*u + 322 = 0. Is u a composite number?
True
Suppose 0 = 8*g - 6*g - 132. Is 40/(-12)*g/(-4) composite?
True
Suppose -5*a - 127 = -6*a. Is a prime?
True
Suppose 2*r - s - 7665 = 0, -2*s + 5*s = 2*r - 7671. Is r prime?
False
Let w = -162 + 951. Let y = -416 + w. Is y a composite number?
False
Let b(j) be the second derivative of j**5/10 + j**4/12 - j**3/6 + j**2/2 + 2*j. Let y be b(1). Suppose y*w = 77 + 160. Is w composite?
False
Let k(q) = 2*q - 2 + q - 6*q. Let a be k(10). Let g = a - -66. Is g a prime number?
False
Let l(z) = z**2 - 4*z - 2. Suppose -15 = 2*v + 5. Let j = -4 - v. Is l(j) a composite number?
True
Suppose 9*r - 1439 = 64. Is r a prime number?
True
Let y(u) = -u**2 - u + 97. Is y(0) a composite number?
False
Suppose -5*o - 3*p - 1000 = 0, 5*o + 0*p = 2*p - 1000. Let s = 423 + o. Is s a composite number?
False
Let g(j) = -9*j**3 - 3*j**2 - 4*j + 1. Let l be g(-3). Suppose -5*d - 1549 + l = 0. Let o = -185 - d. Is o a composite number?
False
Suppose -b = -2*x + 7, -4*x + 5 + 6 = b. Suppose -x*k = -k + 10. Is 548/10 - 1/k a composite number?
True
Let l = 11 - 8. Suppose 114 = -l*x + 315. Is x a prime number?
True
Let b(g) = 4*g + 1. Let s be b(-3). Let o = -7 - s. Suppose -4*x + 132 = f, o*x = 5*f - 76 + 208. Is x a composite number?
True
Let y(l) = -14*l + 3. Is y(-13) prime?
False
Let d(h) = -h + 4. Let n be d(0). Let w be 1*(2 - (5 - 2)). Let t = n + w. Is t composite?
False
Suppose 0 = b + 3*b - 5*n - 1901, 4*b = -5*n + 1931. Is b a prime number?
True
Suppose -d - 52 = -3*d. Is (1 - -1)/(d/871) a prime number?
True
Suppose 2*t = 5*l + 18, l + 4*t - 14 = -0*t. Let g(y) = -3*y - 2. Let v be g(l). Suppose v*w + 3*f - 67 = -0*w, 0 = -2*f - 6. Is w a prime number?
True
Let v(t) = -t**3 + 9*t**2 + t - 9. Let z be v(9). Suppose 5 = -w, -4*r + z*w + 198 = -2*w. Is r composite?
False
Suppose -5*m = -4*j + 108, 2*j + m - 64 = 6*m. Let q = 89 - j. Is q a composite number?
False
Let r = -10 + 0. Let u = 34 + r. Suppose -3*z + u = -p - 13, 3*z - 43 = -2*p. Is z composite?
False
Let u = -4 + -23. Let j = u - -13. Is 288/21 + (-4)/j prime?
False
Suppose 2*z - 3*q = 391, z + 3*q - 2*q = 193. Is z prime?
False
Let k(o) = -o**3 - 10*o**2 - 10*o - 3. Is k(-10) a composite number?
False
Suppose 4*y = -49 - 71. Let v = -18 - y. Suppose -5*o + v = -2*o. Is o composite?
True
Let z = 2 + 0. Suppose -z*x + 23 = -x. Is x a prime number?
True
Let u(j) = 133*j + 18. Is u(5) a composite number?
False
Let w(y) = -y**3 + 14*y**2 - 6*y - 7. Is w(8) a composite number?
True
Is -1 - -6*(-208)/(-12) a prime number?
True
Let c(g) = g**2 + 2*g - 1. Let x be c(1). Suppose 0 = x*z - 3*z + 3. Let m(a) = 11*a + 2. Is m(z) composite?
True
Let w(d) = 184*d + 1. Is w(1) a composite number?
True
Let g be (-6)/(-27) - 4/18. Suppose g = -4*y + m - 14, -4*m - 18 = 5*y - 5*m. Let p(r) = r**3 + 5*r**2 - 2*r + 1. Is p(y) composite?
True
Suppose 0 = -4*a - 20, 5*a = -3*f + 8899 + 3409. Is f a prime number?
True
Let b(s) = -s**2 - 6*s - 3. Let r be b(-5). Suppose -u = -y - 189, -225 + 42 = -u - r*y. Is u prime?
False
Suppose -4*j + 14 = -2. Suppose j*c - 4644 = 2*c. Suppose -4*q = 2*p - p - c, q = -3*p + 575. Is q a prime number?
False
Suppose 10 + 23 = 3*w. Suppose 4*y + 5 = -h, y - h + w = -3*y. Is (-1)/y - (-146)/4 composite?
False
Let t(m) = -52*m**3 + 2*m + 1. Is t(-1) composite?
True
Suppose -4*t - 762 - 527 = -o, 0 = -5*o + 3*t + 6394. Suppose 3*q + o = 4*w, -2*w - 2*q = 3*q - 619. Is w a prime number?
True
Let h = -8 + 14. Let g = h + -4. Is g + -2 + (-37)/(-1) a composite number?
False
Suppose -361 = -6*q + 425. Let x = q + -54. Is x composite?
True
Let f(c) be the first derivative of 34*c**3/3 + c**2 + c + 2. Let w(r) = r**3 + r - 2. Let u be w(0). Is f(u) prime?
False
Suppose -2*q = 3*q - 5*c - 420, 4*q + 5*c = 381. Is q composite?
False
Suppose 719 = n + d, 0 = -2*n + 5*d + 1597 - 159. Is n composite?
False
Let k(u) = 14*u - 6. Let p be k(4). Let d = 72 - p. Is d prime?
False
Suppose -2 = 2*l, 354 = v - 4*l - 241. Is v composite?
True
Let g(f) = f**2 - 6*f + 6. Let v(l) = -l - 3. Let r be v(7). Let j be (12/(-10))/(2/r). Is g(j) prime?
False
Let r(y) = -y**2 - 7*y. Let m be r(-7). Let w = -13 + 37. Suppose -b + 89 - w = m. Is b a prime number?
False
Is (-4 + 291 - -2) + 4 prime?
True
Suppose 3*k = 5*p - 559, -5*k = -p - 0*k + 103. Is p/6 + (-5)/(-30) composite?
False
Let i be (-2)/7 - (-1710)/7. Suppose 0*p + 4*p = i. Suppose 0 = 4*a - 16, a = 3*v + 2*a - p. Is v a prime number?
True
Let b = 6 - 4. Suppose 2*v - 8*a = -3*a + 16, b*a + 16 = -4*v. Is (65/v)/((-1)/2) a composite number?
True
Suppose 0 = -s - 0*s + 5. Is ((-76)/s)/(2/(-5)) a prime number?
False
Let a be (-4)/(-8) + 7/(-2). Let o = a - -22. Let g = 29 - o. Is g prime?
False
Let q = -1 + 3. Suppose 2*s + 212 = 6*i - 2*i, q*s - 4 = 0. Suppose i - 197 = -k. Is k a prime number?
False
Let s be 4 + -2 + 1/1. Suppose -s*m - 20 = -8*m. Is (-12)/(-1) - (-6 + m) composite?
True
Suppose -154*u = -157*u + 2139. Is u prime?
False
Let p(d) = -7*d + 8. Is p(-5) composite?
False
Let d be (-10)/(-45) - 356/(-18). Suppose w + 117 = 4*m, 0 = -0*w + 4*w + d. Suppose -m = -4*u + 2*u. Is u prime?
False
Suppose -42324 = -3*y + b, -3*b = y - 0*y - 14098. Is y a prime number?
True
Let u be (3 - 2) + 124 + 0. Is 1*(u + (-2 - -4)) a composite number?
False
Let w(k) = -5*k + 6. Is w(-5) composite?
False
Let t = 3667 - 2010. Is t prime?
True
Let b(q) = 2*q - 9. Let p be b(6). Let s(h) = -2*h + 13. Let t be s(-11). Suppose t = 2*l + p*l. Is l composite?
False
Let s(z) = 5*z**2 + 6*z + 2. Suppose 2*r = 3*n + 2, -4*n - 2*r + r - 21 = 0. Is s(n) a composite number?
True
Suppose -2*r - 3*o + 497 = -0*o, -1280 = -5*r + 5*o. Is r a prime number?
False
Is (0 + 322/(-8))/(36/(-144))