ppose 0 = 2*b - g*b - 45. Is (170/b)/(1/(-3)) prime?
False
Let w = 171 + 64. Let r = w - 56. Is r a prime number?
True
Suppose 3*y - 8 = -y. Suppose 0 = 3*u - 2*k + y, -4*k = k - 5. Suppose 0 = -2*s - u*s + 178. Is s composite?
False
Let h(t) = 2571*t + 5. Is h(4) a prime number?
True
Suppose -3*u + 21 = 4*f, 4*u = u - 3*f + 18. Let t(y) = 20*y**2 + y + 4. Is t(u) a prime number?
False
Suppose -3*x = 2*x - 15, -4*x - 8 = z. Let a = 177 + z. Suppose -2*n + 97 = -a. Is n a prime number?
True
Let n be 10/14 + (-20)/(-70). Suppose m + 2 + 0 = 0, a + 6 = -2*m. Is (-1)/(a*n/76) a composite number?
True
Let r(p) = 15857*p**3 + 4*p**2 - p - 1. Is r(1) a composite number?
False
Suppose 12 = 3*y + y. Suppose 254 + 129 = y*f + 5*t, -347 = -3*f + 4*t. Is f a prime number?
False
Is (-3 + 2822)*3/3 a composite number?
False
Let u = 3 + -5. Let x be (-2)/20*4 - (-10153)/(-5). Is x/2*u/3 a prime number?
True
Let o = 265 + -102. Is o a prime number?
True
Let c(b) = 135*b**2 - 3. Let o be c(2). Suppose 0*w + 3*w - 3*t - o = 0, -716 = -4*w - 3*t. Is w prime?
True
Let z be 6*(-4)/(-6) + 5. Let t(a) = 15*a**2 - 11*a - 13. Is t(z) a composite number?
False
Let a = -82 + 79. Suppose -k - 2*k - 84 = 0. Let n = a - k. Is n a prime number?
False
Is (12 + 657/(-54))/((-2)/80844) composite?
False
Suppose -5*x + x = 5*b + 12, 3*b + 5*x = -15. Suppose b = -3*g - g + 1052. Is g composite?
False
Let s be (-1 + 9 - 1) + 1. Suppose -18 + 39 = 7*h. Suppose h*n = s*n - 255. Is n prime?
False
Suppose 0 = 3*q + 15, -4*x - 1 = -q + 10. Let i be x/(-3 - 1) - -3. Suppose t - 935 = -4*y, -5*t - 1395 = -i*y - 430. Is y a prime number?
False
Let n be (-3)/(-1) - (-2 + 5). Let v(a) = -a**3 + a**2 - a + 293. Is v(n) composite?
False
Suppose -2 = 2*l + 2*l - 3*a, 3*l = 3*a. Is (978/24)/(l/(-16)) prime?
False
Let o = 20 - 12. Let w(h) be the first derivative of -h**4/4 + 8*h**3/3 + h**2 + 3*h + 2. Is w(o) a prime number?
True
Is (-3)/(-2)*(-32824)/(-132) a prime number?
True
Suppose -5*d + 29 = -11. Let b(u) = 23*u + 27. Is b(d) prime?
True
Let a(t) = -t**3 + 24*t**2 - 22*t - 3. Let n be a(23). Let y(i) = 55*i + 14. Is y(n) prime?
False
Let k = -783 + 447. Let h be k/8*(-74)/4. Let c = h + -190. Is c a composite number?
False
Suppose 0 = 5*x - 3*s + 2*s - 4161, -s + 831 = x. Is 4 + -1 + x/4 a composite number?
False
Let i(h) = h**2 + 4*h - 7. Let t be i(-6). Suppose -y + 5*b - 150 = 4*y, t*b = 2*y + 51. Is 2/(-11) - 2877/y prime?
False
Let n = 2923 - 897. Is n composite?
True
Let q be 7/(-2)*12/(-21). Let d = 12 - q. Suppose d*a - 716 = 6*a. Is a a prime number?
True
Let d = -47 + 49. Suppose d*c = 2116 - 302. Is c a composite number?
False
Let y(z) = -3*z + 1. Let s(l) = -2*l + 1. Let j(x) = -4*s(x) + 3*y(x). Let c(m) = -m + 52. Let w(q) = c(q) - 3*j(q). Is w(0) prime?
False
Suppose -55193 = -5*x + 31802. Is x a composite number?
True
Let i(k) = -k**2 - 11*k - 7. Let n be i(-8). Suppose n*u - 9*u - 10936 = 0. Is u a composite number?
False
Let x(b) = -b**3 - 8*b**2 - 11*b - 29. Let v be x(-7). Is v/5*(6 + -5761) prime?
True
Suppose 0 = -0*s + 6*s - 12. Suppose m = -s*o - 2*m + 2956, -o - m = -1479. Is o a composite number?
False
Let l = 1648 - 871. Is (-1)/(1/l*-3) prime?
False
Let h(k) = k**3 + k**2 - 3*k + 689. Is h(0) a prime number?
False
Is 1855983/21 - (-16)/(-14) composite?
False
Suppose 0 = 12*s - 416708 - 495664. Is s a prime number?
True
Is 294 - -3*5/3 prime?
False
Let a(w) = -95*w + 13. Let f be -8 + ((-12)/2)/(-3). Let d be a(f). Suppose r - d = -2*k, 4*k - 358 = 2*r + 804. Is k prime?
False
Suppose -220 = 3*f - 7*f. Suppose -f = 2*q - 557. Is q a prime number?
True
Is 991/(-2)*(-17 + 7) composite?
True
Let t(q) = 565*q**2 - 4*q + 7. Let m be t(2). Let p = 3770 - m. Is p prime?
True
Suppose 2*o - 17421 = 9285. Is o a prime number?
False
Let p be 726/42 + (-4)/14. Let d(u) = u**3 - 17*u**2 + 3. Let w be d(p). Suppose -4*o - 4*g = o - 83, w*o - 3*g - 66 = 0. Is o a prime number?
True
Is 2/(8/53300) + (-138)/(-23) composite?
False
Is (3/2)/((-9)/(-107826)) a composite number?
False
Let a be (-3)/(3 + (-9)/2). Suppose 0 = 2*o - 5*h + 10, 2*o - 5 = a*h - 15. Is (-1)/(-5) - 1434/o composite?
True
Let i be 1/(2 + (-35)/20). Suppose -3204 = -i*r + 3392. Is r a prime number?
False
Let q = 15 - 13. Let x be q/(-9) + 60/27. Suppose -y = x*y - 699. Is y composite?
False
Let m be 5/3 - (-2)/6. Suppose 361 - 39 = m*l. Is l a composite number?
True
Suppose 45133 = 18*u - 7*u. Is u a prime number?
False
Suppose -9*n + 20 = -4*n. Let s be (-12)/18 - 11/(-3). Suppose -n*r + 185 = -s*r. Is r prime?
False
Let a = 4913 + -2784. Is a composite?
False
Let h(k) = 24*k - 20. Let y(x) = 5*x - 4. Let l(d) = 3*h(d) - 14*y(d). Let b be l(3). Is 2122/6 - b/3 a prime number?
True
Let t be 27/(-135) - 452/(-10). Is (333/t - 7) + 3066/10 a prime number?
True
Let y(r) = -2*r**3 + 10*r**2 - 8*r - 7. Is y(-9) composite?
False
Let l(v) = v + 6. Suppose -2*m - c = -m, 0 = -4*m + 4*c - 16. Let q be l(m). Suppose -7*h + q*h + 291 = 0. Is h composite?
False
Suppose -19 = -2*i - 3*p, 5*i - 3*p - 25 = -6*p. Suppose 3*f + i*f + 5 = 0. Is 125 - 2/f - 0 prime?
True
Suppose 3*v + 5061 = 8*a - 5*a, -a - 3*v + 1703 = 0. Is a prime?
False
Let f(c) = -17*c + 1. Let t be f(1). Let d be (-253)/2 + 24/t. Is 2/(d/(-62) + -2) a composite number?
False
Let n = -132 - -196. Let k(q) = -q + 18*q**2 - 16*q**2 + n*q**3 - q - 2. Is k(2) composite?
True
Let h = -9 + 1. Let w(n) = n**3 + 9*n**2 + 4*n - 11. Is w(h) a composite number?
True
Let v be -2*-18*1/4. Suppose -v*c + 5444 = -5*c. Is c a composite number?
False
Suppose -y + n = -4*n - 14, 18 = -3*y - 5*n. Let f be (-3 - -2)*y*-15. Is ((-294)/15)/(6/f) a composite number?
True
Let z be (6/(-6))/(1/(-4)). Suppose -l = -z*x - 0*l - 73, 4*l + 12 = 0. Let m = -5 - x. Is m a composite number?
True
Let x = -23 - -28. Suppose -6*u + x*u = -9. Is 466*(-4 - u/(-2)) prime?
True
Let r(m) = 617*m - 260. Is r(53) prime?
True
Let o(q) = q**3 + 3*q**2 + 3. Let a be o(-3). Is (-59)/(-1*a/15) a prime number?
False
Let z(t) = 986*t**3 - t**2 - t + 1. Let a be z(1). Suppose 1685 = 5*c - a. Suppose -5*q + 261 + c = 0. Is q composite?
True
Suppose 0 = 40*x - 47*x + 128737. Is x prime?
False
Suppose 2*x - 2 = 2. Let w be (-6)/((-4)/x + 3). Let o(k) = -8*k - 1. Is o(w) composite?
False
Let p(x) = 79*x**2 + 5*x + 1. Let u = -5 - 18. Let y = -25 - u. Is p(y) composite?
False
Suppose -4*q + 1006 + 3982 = 0. Suppose 2*t + q = w, 4*w = w + 3*t + 3753. Is w a composite number?
True
Suppose -130*c + 128313 = -121*c. Is c composite?
True
Let c = 8 + 3. Suppose -4*z - 1435 = -c*z. Is z composite?
True
Suppose 0 = -15*p + 6*p + 261. Suppose 2*c + 4*s - p - 153 = 0, 3*c - 4*s - 233 = 0. Is c a composite number?
False
Let v(k) = k**2 - 2*k - 820. Let b be v(0). Let n = 2181 + b. Is n prime?
True
Let z = 7688 + -4875. Is z composite?
True
Let c be 8/(-5)*((-45)/(-6) + 0). Let p = 9 - c. Is p a prime number?
False
Suppose -o + 5*o + 4 = 0, -4*w = -3*o - 3. Suppose 2*j - 3 = 3, w = -2*g - j - 3. Is -1*(g/(-3) - 38) a prime number?
True
Let j = 85 - 87. Let y(h) = -108*h + 5. Let u(x) = 215*x - 11. Let a(l) = 2*u(l) + 5*y(l). Is a(j) prime?
True
Suppose 3*a - 53 - 49 = 0. Let q be (3 - 0) + -6 + a. Let b = 84 - q. Is b composite?
False
Let z be (-1)/(-5 + (-124)/(-24)). Suppose 45 = -5*w - 15. Is (-8)/w*(-351)/z composite?
True
Let j(x) = -2*x**2 + 2*x. Let f be j(2). Let o(m) = -3*m - 35. Let s be o(-11). Is (2 + s)/f - -251 prime?
True
Let r be ((-54)/(-180))/(4/(-10))*-8980. Suppose -3*f - 2*f + r = 0. Is f a prime number?
False
Is (1114 - -3)/(2/6*3) composite?
False
Suppose 2*o = 4*w + 2, 2*o + 2 = w + 7. Suppose -o*d + 1312 = 2*s, s - d = -4*d + 659. Is s a prime number?
True
Let m(f) be the first derivative of -2*f**3/3 + 3*f**2/2 + 5*f - 7. Let p be m(4). Is (-4295)/p - 6/(-9) a composite number?
True
Let o be (73 - (-6)/3) + 0. Let z = 216 - o. Is z/(-2)*2/(-3) a composite number?
False
Suppose y = -y + 2*g + 56, -4*g = -2*y + 62. Suppose 30*w - y*w = 3985. Is w prime?
True
Let q(r) = 5*r - 13. Let j be q(3). Suppose -a = 3*w - 248 - 90, 0 = 2*w - j*a - 212. Is w prime?
False
Let m(k) = 6*k**2 + 174*k + 41. Is m(-40) prime?
False
Suppose 0*z - 4*z + 16 = 0. Let n be 1/((16/20)/z). Suppose 992 + 23 = n*m. Is m