 = u + 4442. Let y = j - l. Is y composite?
False
Let d(c) = -c**2 - 9*c - 6. Let u be d(-8). Suppose -2*m = u*m. Suppose -j = 4*v - 485, m = 2*j + 2*v - 599 - 347. Is j a composite number?
True
Is (-1)/(2/17785)*(-21 - -19) a prime number?
False
Is (-131 - 3)*94/(-4) a composite number?
True
Suppose -5*g + 1386 = w - 159, -5*w = 0. Suppose 2*i = 4913 + g. Is i a composite number?
True
Let w be 6/3 - (6 + -4). Suppose 5*t + 2*u - 3641 = w, 5*u = 5*t + 2*u - 3626. Is t a composite number?
False
Let f be 2/9 + 948/108. Is ((-1002)/f)/((-2)/3) composite?
False
Suppose 48193 = 3*p - 71168. Is p prime?
False
Suppose z + 8 = 4*g, 0 = -2*g - 5*z + 24 + 2. Let x(f) = -2*f**3 + 6*f**2 + 1. Let h(o) = 5*o**3 - 13*o**2 + o - 2. Let v(r) = 4*h(r) + 9*x(r). Is v(g) prime?
False
Let w = 17 - 13. Suppose w*p - 2*p - 158 = 0. Is p composite?
False
Suppose 0 = 4*j - 0*j + 8. Is 2/(2*j/(-98)) a composite number?
True
Let l(z) = -1 - 10*z - 14*z - 4*z + 6*z. Let a(p) = -p + 2. Let x be a(5). Is l(x) prime?
False
Suppose 60*l = 62*l - 314. Is l a composite number?
False
Let q(t) = t**3 + 9*t**2 - 21*t + 16. Let j be q(-11). Suppose 4*s + 2*g - 842 = 0, 4*s - 520 = j*g + 329. Is s a prime number?
True
Suppose 6*m - 3*z = m + 31158, 4*z - 31186 = -5*m. Suppose 0 = -2*f + 15 - 5. Suppose d = -f*d + m. Is d a composite number?
False
Let y = 449 - 208. Let v = 252 + y. Is v composite?
True
Let g = 384 + 403. Is g a composite number?
False
Let g = 9 - 0. Suppose -3*l + 78 - g = 0. Is l composite?
False
Suppose -52 = -0*i - 3*i - 5*p, 0 = p - 5. Let f(m) = 468*m - 1. Is f(i) composite?
False
Let g(z) = -2*z**2 - 31*z + 39. Is g(-12) a composite number?
True
Is (0 - 32259/5)*(64 + -69) a composite number?
True
Let n(t) = 5*t**2 + 25*t + 5. Let s(o) = -o**2 - 6*o - 1. Let m(k) = -2*n(k) - 9*s(k). Let g be m(6). Is (1/(-3))/(g/1326) composite?
True
Let p = -112 + 97. Let z(q) = 2*q**3 + 33*q**2 + 16*q - 20. Is z(p) a composite number?
True
Let a(u) = -u**2 - 8*u + 8. Let p be a(-10). Let d = 15 + p. Is d + (-7)/1 - -123 prime?
False
Let d(p) = 4*p**2 - 2*p - 1. Let j be d(-1). Suppose -4*h + 16 = 4*b - 2*b, j*b - 5*h = 70. Is b/1 - (2 - -1) composite?
True
Let s(z) be the first derivative of -z**2/2 + 59*z + 5. Let q be s(0). Let l = q + -33. Is l composite?
True
Suppose 0 = m + 77*x - 72*x - 6763, -8 = 4*x. Is m composite?
True
Let h(w) = -3*w + 1. Let v = 26 - 28. Let n be 4 - (18/1 + v). Is h(n) a prime number?
True
Suppose 4*i - 76527 = -5*f, 11*i = 3*f + 12*i - 45919. Is f composite?
False
Suppose 226998 = 16*v + 2*v. Is v composite?
False
Let i be 8/28 - (24/(-14) + 2). Is (i + 1)*-1 + 200 a composite number?
False
Let w be ((-6992)/3)/(13/(-39)). Is 5 - 2 - w/(-8) a prime number?
True
Suppose 3*w = 6*w + 6, 0 = -2*s - 5*w + 2666. Suppose -2*q - z + 0*z = -679, -4*q = -2*z - s. Is q a prime number?
True
Suppose -9 = 3*n, 64*n - 61*n = -3*m + 15450. Is m prime?
True
Let o = 14 - 8. Let d(l) = 2 + o + 98*l - 11. Is d(3) a prime number?
False
Let v = -130 - -133. Suppose -7483 = -3*g - 4*u + 2*u, 3*g + v*u = 7482. Is g a prime number?
False
Suppose 2*i = 3*h + 9314, -2*i - h = i - 13993. Is i composite?
False
Suppose -5*b = -3*b - 56. Suppose -3*y - 3*d - 4 = -y, -3*d = -4*y + b. Suppose y*x = 2*p - 142, -p + 28 = -4*x - 47. Is p a prime number?
True
Let j(h) = -200*h**2 - h - 2. Let a be j(-2). Let f = a + 1567. Is f a prime number?
False
Let i(d) be the first derivative of 136*d**3/3 - 3*d**2 - 29*d + 23. Is i(-3) a prime number?
True
Let w(n) = 7*n**2 - 2*n - 16. Suppose -2*z - 27 = -6*z - 5*t, 2*t + 49 = 3*z. Is w(z) prime?
False
Let b(h) = -h**2 + 3*h + 6. Let t be b(-13). Let k = t + 493. Is k a composite number?
True
Let p(z) = -4*z**3 - 12*z**2 + 57*z + 32. Is p(-15) a prime number?
False
Suppose 8 = w + w. Suppose -w*o + 96 + 252 = 0. Let y = 130 - o. Is y prime?
True
Let d(w) = 11*w**2 - 7*w - 3. Let o = 14 - 12. Suppose -4*z = 0, -o*z + 12 = 4*b + 32. Is d(b) a prime number?
True
Suppose 12*d - 16*d - 32 = 0. Is 4 - (d/(-2) - 389) composite?
False
Let w = -891 - -1550. Is w a composite number?
False
Let z(c) = 27*c**2 + 4*c + 3. Let p be z(-8). Let r = p + -64. Is (r/(-30))/(2/(-12)) composite?
True
Suppose -24*a + 159202 = -141446. Is a a composite number?
False
Let t(h) = h**3 - 17*h**2 + 6*h + 25. Let a = 38 - -38. Suppose 0 = 3*i - 5*m - a, 3*i + m + m - 41 = 0. Is t(i) composite?
False
Let w(n) = -14*n - 61. Let q be w(7). Let y be 6*(-1 + 2 - 0). Is 3/y*-2*q a composite number?
True
Suppose 2*z - 5 = -4*t + 13, z = 2*t - 3. Is (-4)/4 + (t - 2)*347 a composite number?
True
Suppose 9*k - 9366 = -5*k. Is k a composite number?
True
Let y(c) = 3*c**3 + 3*c**2 - 7*c - 183. Let i(l) = -2*l**3 - 2*l**2 + 4*l + 92. Suppose 2*b + 12 = -2*b. Let a(s) = b*y(s) - 5*i(s). Is a(0) a composite number?
False
Let q(m) = 20*m**2 - 11*m - 16. Suppose 0 = 5*c + 5*z + 50, -3*z = -0*c - 2*c - 5. Is q(c) a prime number?
False
Suppose 0 = t - 6236 + 1513. Suppose -3810 = -7*o + t. Is o prime?
False
Let z = 16718 + 2229. Is z a prime number?
True
Let f(s) = 20*s**2 - 125*s - 24. Is f(13) a composite number?
True
Suppose 2*k + 2*k + 5*u = 19949, 5*u = -5*k + 24930. Is k composite?
True
Suppose -2*g + 141980 = 18*g. Is g composite?
True
Suppose 2*u = 2622 + 10732. Is u a composite number?
True
Suppose 0 = -4*w - 3*x + 4949, 2*w = x + 602 + 1885. Let b = -382 + w. Is b a prime number?
True
Let i(a) = 12*a - 5. Let o = -11 - -15. Let m(s) = s + 2. Let h be m(o). Is i(h) a composite number?
False
Let s be (-195)/(-5)*3/(-9). Let l = s + 17. Suppose -z - z = -l*w + 188, 3*z + 141 = 3*w. Is w prime?
True
Suppose 5*a = 2*a + 6. Suppose 3*u - 30 = r + 2*r, -4*u + 4 = a*r. Is 603/r*(-56)/12 a composite number?
True
Let u(n) = n**2 - 3*n + 2063. Suppose -4*d - 5*t = 20, 4*t - 4 = 5*d + 5*t. Is u(d) prime?
True
Let v be -2 - (-1)/(-2)*-22. Let n be (-260)/(-6) + (-3)/v. Let j = 77 - n. Is j a prime number?
False
Is 5/(50/(-130)) - -1266 a composite number?
True
Suppose 0 = 6*f - 11829 - 18633. Is f a composite number?
False
Let p be 4/6*(-48)/32. Is ((-8)/(-20) + 4597/(-5))/p composite?
False
Is ((13863/4)/3)/((-23)/(-92)) a composite number?
False
Let u be 0 + 0*(-1)/(-5). Suppose u = -j - 2, 4*w - 2*w - 2*j - 426 = 0. Is w prime?
True
Let s = 56 + -51. Is s/(20/6612) + 4 a prime number?
True
Suppose 49*c + 1249153 = 72*c. Is c a composite number?
False
Suppose -b + 3*y + 3974 = 0, -5*b - 4*y + 25753 = 5788. Is b composite?
False
Is (-4*7/6)/(2/(-1461)) prime?
False
Suppose 28031 = 17*u - 45222. Is u a composite number?
True
Suppose 3*q - 27 = -12. Suppose -2*d = -4*y + 894, 0*y + 4*d - 1111 = -q*y. Is y a prime number?
True
Let a be 86/30 - 4/(-30). Suppose 0 = -a*g - 10 + 46. Suppose 9*v - g*v + 4011 = 0. Is v prime?
False
Is 14/28 + (-8125)/(-2) composite?
True
Let f = -8 - -11. Suppose 5*u - 5765 = -0*u + o, -f*o = -2*u + 2293. Is u a composite number?
True
Let r(i) = 16777*i + 94. Is r(1) a prime number?
True
Let m(k) = -9*k + 6. Let s be m(5). Let r = s + 75. Is (-3)/r*86*-6 a prime number?
True
Suppose -230946 = -3*m - 3*y, -5*m + 84*y + 384902 = 81*y. Is m a prime number?
False
Suppose -5*p = -4*b - 1135, 5*p - p + 3*b = 908. Let m = p - 106. Is m prime?
False
Suppose j + 12 = -2. Let q be ((-1117)/2)/(j/28). Suppose q - 346 = 3*l. Is l a prime number?
True
Suppose 8 = -5*u + 2*u - 2*w, -w - 4 = 0. Let t = u + 4. Suppose 2*y - y - 713 = -5*j, -3*j + 437 = -t*y. Is j prime?
False
Let z(n) = 234*n**3 + 2*n**2 - n - 1. Let q be z(-1). Let g be 0 + 2 + (1 - q). Suppose 4*l - 2*o - g = -3*o, 5*l - 299 = -3*o. Is l composite?
True
Let u(h) = -5*h**3 - 2*h**2 + 18*h - 158. Is u(-17) a composite number?
True
Suppose 97 = 5*j - 108. Is 1*10*(-2 + j/2) a prime number?
False
Suppose -3*p = 12*g - 11*g - 29669, -4*g = -4*p - 118644. Is g prime?
True
Let r(x) = 163*x**2 - 3*x + 1. Is r(-3) composite?
True
Is 5*(-1 + 3) - -50059 composite?
False
Suppose 9*a - 4*a = 20. Suppose -3*x = 5*w - 2092, 2*w - 1261 = -w + a*x. Is w prime?
True
Suppose 0 = 5*x - 3*h - 3177, 0 = -2*h - 2*h - 16. Let b = 1342 - x. Is b prime?
True
Let p(b) = 954*b + 301. Is p(9) prime?
True
Is (1/(-3))/((-24)/233784) prime?
False
Let z = 4561 - 3084. Is z composite?
True
Let n(a) = 54*a - 7. Suppose 5 = -3*o - 4*v, o =