Is k - -71*1*(2 + 0) a composite number?
True
Let k(c) = -27*c - 2. Suppose -2*f - 12 = 2*p - 5*f, -3*p - 2*f = 5. Is k(p) a prime number?
True
Suppose m + 536 = -486. Is (15/(-30))/(1/m) a composite number?
True
Suppose -404163 = -27*l - 0*l. Is l composite?
False
Suppose -4*o = v - 182313, -3*v - 4 - 5 = 0. Is o composite?
True
Let u(s) be the third derivative of -s**6/120 - 7*s**5/60 - s**4/24 + s**3/2 - s**2. Let d = 11 - 18. Is u(d) a composite number?
True
Let t = 23 - -284. Is t prime?
True
Is -5*(-1 + 352/(-20) + 0) prime?
False
Let c be ((-8)/(-6))/(1/3). Let l be (-10)/4*(-3470)/25. Suppose 3 - l = -c*y. Is y a prime number?
False
Let p be 3/12 - 5/20. Let t(m) = 5*m**2 - 115. Let c(w) = w**2. Let s(i) = 6*c(i) - t(i). Is s(p) a composite number?
True
Suppose -316 = 5*s + v, 6*v + 66 = -s + 3*v. Let b = s - -116. Is b prime?
True
Let l(x) = -x**3 + 5*x**2 - 4*x + 3. Suppose 4*t - 4 = 2*t. Let n be l(t). Is 3 - n/((-14)/172) a composite number?
False
Let t be 2/(-7) - 74/(-14). Let f be (2 - 0)*(t + -3). Suppose -3*l - 9 = -4*l - j, 0 = 5*l + f*j - 49. Is l composite?
False
Suppose -6*a + 45 = -3*a. Is 1/((-5)/a - (-1058)/3156) a composite number?
True
Let u(p) = -521*p**3 + 4*p**2 - 29*p - 83. Is u(-3) a prime number?
True
Suppose 4*g + u - 27215 = 0, -59*g + 58*g + 6818 = 5*u. Is g composite?
False
Let r = -1 + 5. Let p(k) = k**2 - 5*k - 2. Let z be p(r). Let n = z - -29. Is n a prime number?
True
Suppose 26 = -b + 6*b - f, b - 9 = 4*f. Suppose -1860 = -b*k + 2110. Is k prime?
False
Suppose -g + 5*z - 52 = -365, -2*z = g - 278. Let l = 133 - g. Let s = 364 + l. Is s prime?
False
Suppose 3 = 4*l - 3*l - m, -5*m + 9 = 3*l. Is 124 + (4 + l - 4) a prime number?
True
Let l(a) be the first derivative of 3 + 1/2*a**2 + 1/2*a**4 + 0*a**3 + 163*a. Is l(0) composite?
False
Let v be (-3 - (-15)/6) + (-22)/4. Let p(x) = -x**3 + 7*x**2 + 26*x + 2. Is p(v) a composite number?
True
Let i(y) = y**2 - 2*y + 2. Let l = -5 - 1. Let c = 8 + l. Is i(c) composite?
False
Suppose -676 = -3*b - u, 46*u - 902 = -4*b + 45*u. Is b composite?
True
Suppose -42*x + 12269 = -41*x. Is x a prime number?
True
Suppose 5*b = -5, 4*l + 4*b - 1492 = -0*l. Suppose w - l - 345 = 0. Is w a prime number?
True
Suppose 0 = 5*w - 10, t = 4*w + w + 344. Suppose 0 = -o - o + t. Is o composite?
True
Suppose c + b - 13652 = 0, 5*c - 4*b - 29991 - 38296 = 0. Is c composite?
True
Let y(w) = 3834*w**2 - 19*w - 68. Is y(-3) a prime number?
False
Let u(w) = 20*w**3 - 5*w**2 - 6*w + 15. Is u(4) a composite number?
True
Let b(u) = -u**2 - 15*u + 4. Let l be b(-14). Let q = l - 4. Let a = q + 0. Is a prime?
False
Let p(z) = z**3 - z**2 - z + 1. Let j(q) = 12*q**3 + 2*q**2 + 3*q - 10. Let d(f) = -j(f) - 5*p(f). Is d(-3) a prime number?
False
Suppose 5554 + 5509 = 23*m. Is m a composite number?
True
Let f be 17/(((-2)/5)/2). Let m = 23 - f. Suppose 2*b = 2 + m. Is b prime?
False
Suppose -f + 16 = 3*y, 7 + 9 = 2*y + 2*f. Let s(n) = 13*n**3 + 6*n**2 - 2*n - 1. Is s(y) composite?
False
Let s(l) = l**2 - 17*l - 15. Let h be s(18). Suppose -h*v + v + 258 = 0. Is v a prime number?
False
Let k = 2 + -2. Suppose j - 15 = 2*y, k = 3*j + 5*y - 2*y. Suppose 2*t + 2*o - 3*o - 423 = 0, -3*o = -j*t + 1058. Is t a composite number?
False
Suppose 294*a + 159131 = 301*a. Is a a prime number?
False
Let a be 15510/14 + 9/63. Let d = 363 - a. Let g = -326 - d. Is g composite?
False
Suppose -70*k - 1574974 = -4386384. Is k prime?
True
Let m = 197 + -390. Let p = m - -446. Is p composite?
True
Suppose -20 = 4*q - 5*n, 0*q + 3*n = -4*q + 12. Suppose 0 = -q*k + 4*k. Suppose -1045 = -k*p - 5*p. Is p composite?
True
Is (-4)/10 - 163098/(-170) composite?
True
Let s = -3 + 6. Suppose -2*i + s = -i. Suppose -5*p - 839 - 1156 = -5*d, 5*d - 1991 = i*p. Is d composite?
False
Suppose -15 = -x - 2*f, 0 = 5*x - 3*x + 3*f - 26. Suppose -2*g = 2, -g - 4150 = 4*s - x*s. Is s a prime number?
False
Suppose -y = -4 - 2. Let g = -10 + y. Is (-70)/6*(1 + g) prime?
False
Let w(s) = -117*s - 7. Let m(u) = 58*u + 4. Let h(j) = 5*m(j) + 3*w(j). Suppose 37 = -2*i - 9*b + 4*b, -5*i = b + 35. Is h(i) a composite number?
True
Let b be -2 - (-2)/(4/2). Let z = b + -9. Is (-85)/z*(-26)/(-1) a prime number?
False
Is ((153/27)/17)/(1/21507) prime?
False
Let t(a) = 116*a**2 - 5*a - 6. Let i be t(-2). Let r = i + 151. Is r a prime number?
True
Let o(r) = 91*r**2 - 2*r + 7. Let a(u) = -45*u**2 + u - 4. Let m(l) = -5*a(l) - 3*o(l). Let c be m(-5). Is 20/110 + c/(-22) prime?
False
Let o(h) be the first derivative of 557*h**3/3 - h**2/2 + h - 4. Let b(x) = -556*x**2 + x - 1. Let w(f) = -4*b(f) - 3*o(f). Is w(1) a prime number?
False
Let z = 3721 + -1547. Is z a prime number?
False
Is 25/30*2 - (-3850)/21 prime?
False
Suppose -4593 = 7*a + 2351. Let j = a + 2047. Is j a prime number?
False
Is 3 - (3 - 14 - 33248) a composite number?
True
Suppose -2*f + 1 = -5*d - f, -1 = 4*d - f. Suppose d*j - 4 = -2*j. Suppose 0 = -j*z + z + 58. Is z prime?
False
Is 7/(-168)*-6 + 373708/16 composite?
False
Suppose -u - 3*o = -953, -2*u - 5*o + 949 = -u. Let z = 4998 - u. Is z composite?
True
Let f be 4 + -2 - 2/1. Let k be (0/1)/(f + -3). Suppose 0 = -k*a - a + 3*u + 9, 0 = -3*a + 2*u + 41. Is a composite?
True
Let l(o) = o**3 - 8*o**2 + 8*o - 3. Let f be l(7). Let i be (8/f + 2)*-1. Let p(h) = -61*h + 5. Is p(i) prime?
False
Suppose -3*k = -f + 4, -2*k - 2*f + 8 - 24 = 0. Let p be k + 2*(-12)/8. Let b(m) = -m**3 - m**2 - m + 1. Is b(p) prime?
False
Let c(p) = -2005*p - 49. Is c(-6) prime?
True
Suppose 5*t - 16 = t. Suppose -2*q = 5*d - 205, t*q + d - 68 - 315 = 0. Suppose 2*m - s = q, 2*m - 3*s = s + 98. Is m prime?
True
Suppose -b + 86 = -5*g - 888, 0 = -3*b + 12*g + 2925. Is b a composite number?
True
Suppose 127*o + 3*x + 59303 = 132*o, 0 = -3*o + 4*x + 35573. Is o composite?
False
Let d(n) = 949*n**2 - 8*n - 4. Is d(3) composite?
False
Let o = -8819 + 17290. Suppose -6*r + 2083 = -o. Is r prime?
True
Let b(y) = -y**3 + y**2 + 2*y - 11. Let t be b(0). Let v(q) = -2*q**3 - 4*q**2 + 7*q - 6. Let s be v(t). Suppose -s = 4*f - 9*f. Is f composite?
False
Let w be 11/77 + 6635/7. Let j = 431 + w. Is j a prime number?
False
Let a(b) = -b**3 + 16*b**2 - 7*b - 1. Let r = 39 + -32. Is a(r) a composite number?
True
Suppose -77*s = -71*s - 17070. Is s a prime number?
False
Let c = 3416 + 790. Suppose 2*i - c = -4*u, 6*u - 4*u + 6293 = 3*i. Is i composite?
False
Let u(z) = -z**3 + 7*z**2 - 7*z - 3. Let g be u(6). Let l = g - -8. Is 0/(-5) - 587*l a composite number?
False
Let c = 3520 + -999. Is c a prime number?
True
Suppose n = 5*k - 4416 - 6466, 6518 = 3*k + 5*n. Suppose -5*g - 5 = 0, 3*j - k - 1902 = -5*g. Is j a prime number?
True
Is 8/(-92) + 1180686/46 prime?
True
Suppose -3*l + 0*l + 18 = 0. Suppose -2*d - 3*s + s + 76 = 0, 5*d + s - 210 = 0. Let w = d + l. Is w prime?
False
Let p = 10 - 7. Suppose 2339 = p*o + 4*q, -1595 = -2*o - q - 34. Is o a prime number?
False
Is (-13872561)/(-357) - 4/(-14) a composite number?
True
Let w(x) = -2*x**2 + 3*x**2 - 2*x + x - 2 + 2*x. Let k be w(-2). Suppose k = 4*j - j - 63. Is j prime?
False
Let n(p) = 4*p**3 + 15*p - 2*p + 3*p**2 - 2*p - 3 - 7*p. Is n(4) a composite number?
False
Suppose -3*g - c + 13315 = 0, 0 = -7*c + 2*c + 5. Let y be 13/65 + g/10. Suppose -2*n - 6*o + 7*o + 289 = 0, -3*n = -5*o - y. Is n a prime number?
False
Let g(z) = -7*z + 7. Let k(i) = 11*i - 11. Let r(w) = 8*g(w) + 5*k(w). Let h be r(-5). Is 1077/(h/16*4) prime?
False
Suppose 4*d = 12*d - 247688. Is d prime?
False
Let f = 225 + -130. Let q(u) = -u**2 - 9*u - 8. Let g be q(-8). Suppose -4*z + g*y = -y - f, -2*y = 4*z - 110. Is z a composite number?
True
Let y(l) = -l + 6. Let g be y(6). Suppose g = 3*v - 3*s - 6, 6 + 4 = 5*v + 3*s. Suppose -r + v*r + 5*m = 87, 0 = -3*r - m + 289. Is r prime?
True
Suppose 0 = 7*o + o - 4096. Let n = 519 + o. Is n a composite number?
False
Let m(f) = -244*f**3 - 13*f**2 + 5*f + 11. Is m(-5) a composite number?
False
Let y(s) = -1 - 2 - 71*s + 4 - 3. Suppose 2*b = 4*b + 6. Is y(b) a composite number?
False
Let a(h) = 7*h + 27. Let o be a(-7). Let b(m) = -204*m - 97. Is b(o) composite?
False
Let h = -38 + 26. Is (-3*(-2)/h)/((-2)/956) a prime number?
True
Let p = 15959 + -6358. Is p composite?
False
Let h(o) = 133*o**2 - 