 a prime number?
True
Suppose 0 = -2*n - 3*n + 5, -z + n = -2002. Is z a composite number?
False
Is (-57)/(-76)*449556/9 prime?
True
Is ((-7469)/(-22) + -3)/((-1)/(-22)) a prime number?
False
Let h = 7 - 1. Suppose 2*y = -0*y + z + h, 5*z + 15 = -5*y. Is (y*-1)/(5/(-665)) a composite number?
True
Let v = 3064 - -893. Is v prime?
False
Let l(n) = 8878*n + 53. Is l(2) a composite number?
True
Is 162363*(456/855 + 1/(-5)) a composite number?
False
Suppose -5*t + 20 = 5*y, 5*t - 18 = -y - 3*y. Suppose y*h - 758 = 904. Is h prime?
False
Is (-3 + (-481 - -3))/(-1) composite?
True
Let w be 74/14 + 12/(-42). Suppose 792 = w*j - m - m, -4*m = 5*j - 786. Let v = j - -33. Is v prime?
True
Suppose -13242 = -2*x - 4*d, x - 5*d - 26471 = -3*x. Is x a composite number?
False
Let v(p) = -22*p - 34*p - 2 + 25 - 6. Let i be v(7). Let w = i - -580. Is w prime?
False
Let h(p) = 48*p**2 + 3*p - 22. Let s be h(6). Let m = -8 + 15. Suppose -s = m*k - 4321. Is k prime?
False
Let f(b) = -177*b - 29. Is f(-12) composite?
True
Is ((4 - 0)/(-4))/((-3)/32847) a prime number?
True
Let b be 1 + -1*2 + 790 + 6. Let h = b - -292. Is h a composite number?
False
Let u(i) = 11*i**2 + 3*i - 2. Let m(w) = 9*w**2 + 2*w - 1. Let h(v) = 6*m(v) - 5*u(v). Let k = 4 - 7. Is h(k) prime?
False
Suppose 14 = 2*a - 60. Let f = 51 - a. Is f a composite number?
True
Let s(f) = 2*f**2 - 1. Let d be s(-2). Let z be d*1 + 9 + -12. Suppose 111 = -4*o + z*c + 1131, -239 = -o + 5*c. Is o composite?
True
Let y be 6632/(-20) + 6/(-15). Let g = -229 - y. Is g composite?
False
Let g = 5 - 3. Suppose g*o - 6*o + 24 = 4*n, -3*n = -2*o + 2. Suppose n*b = 4*b - 86. Is b composite?
False
Let f = 4 + 1. Suppose f*a - 3*a = 4. Suppose -a*l + 3*l = 97. Is l a composite number?
False
Let t(z) be the third derivative of 257*z**6/120 + z**5/60 - z**4/12 + z**3/6 + 19*z**2. Is t(1) a prime number?
True
Let i(w) = 124*w**2 - 2*w - 3. Let n be i(-5). Suppose 7864 = 9*o - n. Is o a composite number?
True
Let v = -6 + 8. Suppose -v*l - 11 = -t, 10 = -t - 4*l + 3. Suppose 0 = -2*z - 2*u + 102 + 52, t*z + 3*u = 389. Is z a prime number?
True
Let i = -93 + 101. Suppose -i*u + 2215 = -3*u. Is u a composite number?
False
Let j(z) = 107*z**3 - 11*z**2 + 2*z - 17. Is j(5) prime?
True
Let q(h) = -h**3 + 7*h**2 + 5*h - 5. Let c be q(7). Let u be (-6)/4*c/9. Let j(z) = -2*z**3 - 2*z**2 - z - 4. Is j(u) a prime number?
False
Let q(v) = -v**3 - 26*v**2 - 14*v - 57. Let a be q(-24). Let i = a - -3232. Is i prime?
False
Suppose f = -f - 4, 0 = -4*l - f + 17394. Is l a composite number?
False
Let c = -36090 + 52705. Is c a composite number?
True
Suppose 17*c + 0*c = 27863. Is c a prime number?
False
Let d(h) = -13*h**3 - 4*h**2 - 6*h + 4. Suppose 4*b - 4*a = 0, 5*b = -2*a - 42 + 7. Is d(b) a prime number?
True
Let m(c) be the first derivative of 239*c**3/3 - c**2 + 2*c + 6. Is m(1) a prime number?
True
Let a(l) = -2393*l - 3. Is a(-2) a composite number?
False
Let g(z) = 2*z**3 - 34*z**2 - 9*z - 41. Is g(20) composite?
False
Let q be (-11)/(-2)*6/3. Suppose -3*g + 3*a = -24, 4*a = 5*g + q - 49. Suppose -g*o = -o - 245. Is o composite?
True
Suppose -4*v + 22926 + 12766 = 0. Is v a prime number?
True
Let n(v) = -v**3 + 5*v**2 + 4*v + 8. Let c be n(6). Let s be (-8)/3*(-822)/c. Let b = 87 - s. Is b a prime number?
False
Suppose -852 = -4*i + 3752. Is i a composite number?
False
Let x(p) = -24*p**2. Let y be x(1). Let n = -19 - y. Suppose -4*h = -5*m + 1 + 204, -n*h - 25 = 0. Is m a prime number?
True
Let l = -10 + 15. Suppose -l*r - 101 - 1790 = -3*o, -2*o = -4*r - 1262. Suppose 4*x - o = x. Is x prime?
False
Let i be (-89)/(-1) - (-3 - 0 - 1). Suppose 2*q = i + 145. Is q composite?
True
Suppose 0 = -9*g + 161 - 17. Suppose 5*w + 3*r - 2 = 28, 2*w + 2*r - g = 0. Suppose w*t - 1525 = 2702. Is t a composite number?
False
Let r be (2 + -2)/3 - -3. Suppose -2*o + 0*v + 33 = -5*v, 0 = r*o + 3*v + 3. Is o prime?
False
Let g = 978 + 281. Is g a prime number?
True
Is 1115/223 - (4541 - -1)/(-1) a prime number?
True
Let q be 134979/(-65) + (-2)/5. Is q/(-2) + 4/8 prime?
True
Let x(f) = -143*f - 4. Let t be x(3). Let b = 701 + t. Suppose -5*h + h + b = 0. Is h prime?
True
Suppose 0 = -4*y + 16, -5*l + 5*y = -8*l + 4181. Is l a composite number?
True
Suppose 3*z - 4395 = 3807. Is z a prime number?
False
Is 7 - (-108)/(-16) - 58035/(-4) a prime number?
False
Suppose 4*j = 4, 2776 = 3*u + 4*j - 3*j. Suppose 3*n + 122 = 3*m - 811, 3*m - n = u. Is m a composite number?
False
Suppose -3*b + 2*t + 1 = -8, -5*b + 19 = -2*t. Suppose -2284 = -4*n + p, n + b*p + 2855 = 6*n. Is n composite?
False
Let d = 78683 + -48672. Is d a composite number?
False
Let b(g) = 23*g**2 - 5*g - 7. Let a(l) = -l**3 - 18*l**2 - 16*l + 2. Let h be a(-17). Let t be 5/h*-3*-2. Is b(t) composite?
True
Let d = 44556 - 20485. Let r = d + -12668. Suppose -q - 8*q = -r. Is q composite?
True
Let f be (4/12)/((-1)/(-9)). Suppose 0*p - p = f*h - 16, -5*h = -25. Let z(s) = 149*s**2 - s + 1. Is z(p) composite?
False
Let c be 8/(-44) - 48/(-22). Suppose 4*h = 2*z + 9446, c*h - 3*z + 536 - 5257 = 0. Is h prime?
False
Let s(h) = 385*h**3 - 6*h**2 + 4*h - 2. Let m(n) = -386*n**3 + 5*n**2 - 3*n + 2. Let p(q) = 6*m(q) + 5*s(q). Is p(-1) prime?
False
Suppose 5 = 3*y - 10, 0 = -i - 4*y + 2187. Is i a prime number?
False
Let o = 15 + -17. Let c(x) = 0 - 4 - 167*x + 1. Is c(o) prime?
True
Let f be 4/(-6)*(0 - 3). Let a(z) = 2*z**3 - 4*z**2 + 2*z + 1. Let b be a(f). Suppose -o - 2*u = o - 268, 394 = 3*o - b*u. Is o a composite number?
True
Is (-10)/(-4)*17/((-595)/(-6846)) prime?
False
Suppose -3*z + 84006 + 35856 = 5*i, 5*i - 79903 = -2*z. Is z prime?
False
Let o be (-4)/(-18) + (-3725)/(-45). Suppose f - 58 = o. Is f prime?
False
Let b = 18 - 15. Suppose -8*u + 4*u + 42 = 2*o, -b*u + o = -29. Suppose 6*q = u*q - 212. Is q prime?
True
Suppose -5*b + 330 = -90. Suppose -3*u - 4*d + b + 185 = 0, 0 = -u - d + 88. Is u a prime number?
True
Let i = 411 + -613. Let n = 1981 - i. Is n prime?
False
Let p be 2/10 + 95/25. Suppose -z + 41 = -p*b, 4*z = 5*z - b - 29. Is z a composite number?
True
Let r(t) = 5013*t**2 + 12*t - 17. Is r(2) a prime number?
False
Suppose 5*q = -0*d + 3*d + 8, -5*d + 40 = 5*q. Suppose -q*h - 439 = -w - 4*w, 4*h = 16. Is w a prime number?
False
Is (12 - -6831)*(-1)/(-3) a prime number?
True
Let k(q) = -9*q**2 - 2*q + 1. Let m be k(1). Let n = 42 + m. Let o = -18 + n. Is o a composite number?
True
Suppose 12*x + 459 = 9*x. Suppose 0 = -2*r + 483 + 65. Let u = x + r. Is u a composite number?
True
Let i = 5 - 11. Let y be i/(-4)*18/(-27). Is (375 - y) + 13 + -10 a prime number?
True
Let x = -370 - -624. Is x a prime number?
False
Let s = 13273 + 23956. Is s composite?
True
Is 8/(24/(-226971))*(-2)/6 a composite number?
False
Let v = -9 - -15. Let t be 0*(2 + v/(-4)). Let n = t + 13. Is n composite?
False
Suppose -4*u + 2*i - 14 = 0, u + 3*i + 5 = -16. Let p(v) = 2 + 5 - 5*v - 8 + 9. Is p(u) composite?
True
Suppose r = -2*r - 6. Let t(k) = -3*k**3 - 12*k**2 + 18*k + 2. Let w(q) = 7*q**3 + 24*q**2 - 37*q - 3. Let i(p) = r*w(p) - 5*t(p). Is i(-7) a prime number?
True
Suppose -5*l = n - 236, 2*n - l + 266 - 683 = 0. Is n composite?
False
Let x be 5 - (-2 - 6/(-3)). Let w(s) = 1205*s - 18. Is w(x) a prime number?
True
Suppose 3*t = t + 206. Suppose 2*h - t = 265. Is (-20)/(-2)*h/16 a composite number?
True
Suppose -2 = -2*c, -6*z - c + 3317 = -2*z. Let k = z + -350. Is k composite?
False
Suppose 0 = -3*k + 2*i - 0*i - 8, -5*k + 5*i - 10 = 0. Let m(o) = -o**2 + 3 + 15*o**2 + o + 0*o**2. Is m(k) composite?
False
Suppose -5*p = -10*p - 50. Let r = 12 + p. Suppose 377 = 3*u - 2*f, 233 = r*u - 5*f - 11. Is u composite?
False
Let h(s) = -36*s**3 - 6*s - 37. Is h(-4) composite?
True
Let t = 18951 + -9424. Is t prime?
False
Let y(v) = -v**3 - 15*v**2 - 20*v + 7. Suppose -2*q + q = 3, -q = n + 17. Is y(n) a prime number?
False
Let o = -498 + 6548. Suppose 5*j + o = -14930. Is ((-4)/(-16))/((-1)/j) prime?
True
Suppose -991 = -4*j + 1225. Let r = -388 + j. Is r composite?
True
Suppose 0 = -19*l + 14*l + 55565. Is l composite?
False
Let y(o) = 1259*o**3 + 2*o**2 - 18*o + 40. Is y(3) a composite number?
False
Suppose -h + 5969 = -3*s, 3*h - 6609 = 3*s + 11322. Is h a composite number?
False
Let p(a)