 -3*j. Is j prime?
False
Let t = 1238 - -6959. Is t composite?
True
Suppose 3*x - 841 = -v, -907 = -2*v + 3*x + 730. Suppose 0 = b + v + 698. Is ((-2)/(-6))/((-4)/b) prime?
True
Let x = 224 - 141. Let y = x + -36. Is y composite?
False
Let d(y) = y**3 + 8*y**2 + 7*y + 5. Let n = 9 - 16. Let h be d(n). Suppose -p - 3 = 0, 4*p = h*m - 104 - 73. Is m a composite number?
True
Let p = 5 + -1. Suppose -4*d - m + 1722 = 0, -m + 1714 = 4*d + p*m. Is d composite?
False
Let f = 950 - -885. Is f prime?
False
Let z = 10 - -108. Is z prime?
False
Let i(f) = -f**3 + 6*f**2 + f - 8. Let c be i(6). Let v(k) = -35*k**3 + 2*k**2 - 3*k - 3. Is v(c) prime?
False
Suppose t - 3*t + 664 = -2*i, 4*t + 2*i = 1358. Is t prime?
True
Let c(v) = 7*v**2 - 19*v - 7. Is c(9) a prime number?
True
Let w(g) be the third derivative of 43*g**4/12 + g**3/6 + 3*g**2. Let l be w(1). Let m = l - 29. Is m a prime number?
False
Is (573/6)/(1/2) prime?
True
Let h = -388 - -655. Is h composite?
True
Is (-314)/(-4) + (-14)/(-28) a prime number?
True
Suppose -2*g - 4 = -2*l, 4*l - 17 = -3*g + 19. Suppose 15 = 3*m - l*m. Is (-8)/20 - 112/m prime?
False
Let b be (16/4)/(-4) - -1. Suppose 0*n + n - 85 = b. Is n prime?
False
Let z(g) = g**3 + 5*g**2 + 3*g. Let d be z(-4). Suppose -d*h + 54 = -h. Suppose w - 71 = h. Is w composite?
False
Suppose -p + 113 = -98. Let l = -377 - -561. Suppose -l - p = -5*o. Is o a prime number?
True
Let m = 9960 + -4971. Is m composite?
True
Suppose -13*v + 8*v + 790 = 0. Is v a composite number?
True
Let m(o) = -5*o - 32. Is m(-17) a prime number?
True
Let l(b) = -b - 3. Let q be l(-6). Suppose -16 + 161 = 5*z - 4*u, -q*u - 84 = -3*z. Is z prime?
False
Suppose -3*v + v = -2. Is (v/1 + 20)*1 a prime number?
False
Let y be -1 - (-1 - -2 - 0). Is (-5 - -7)*(-65)/y composite?
True
Let g(q) = 2*q**2 - 16*q + 2. Let x be g(8). Is -59*1*(-5 - x) a composite number?
True
Suppose 0 = 2*d + 2*d. Suppose -2*t + 265 = -l, -5*t + d*l - 4*l = -643. Is t prime?
True
Let p be 3/(-9) + (-8)/(-6). Suppose q - p = -2. Is (12/8)/(q/(-34)) prime?
False
Let j(k) = 8*k**3 - 5*k**2 + 4*k + 3. Let u be j(4). Let s = u + -177. Is s a prime number?
False
Let s(f) = 51*f**2 + 12*f - 7. Is s(8) composite?
True
Let u(y) = -23*y**3 + y + 1. Is u(-3) composite?
False
Let k = 2 - 4. Let s(a) = 18 - 17 - 3*a + 0*a. Is s(k) prime?
True
Suppose 11 = 4*q + 3. Suppose -q*n + 127 = -31. Is n a composite number?
False
Let j(m) = 4*m**2 + 13*m + 24. Is j(17) a composite number?
True
Let t(z) = z**3 - 3*z**2 + 3*z + 9. Is t(8) a composite number?
False
Let i = -467 + 2440. Is i composite?
False
Let i = 17 + -17. Suppose i = -3*s - 0*b + 4*b + 182, 3*s - 166 = -4*b. Is s prime?
False
Let p be (-801)/(-3) - 0 - 1. Suppose 5*l = 104 + p. Suppose -g - g = -l. Is g a composite number?
False
Let u be 1/3 - (-127)/(-3). Let a = -65 + 129. Let l = u + a. Is l a composite number?
True
Let m(h) = h**2 - 6*h - 4. Is m(13) prime?
False
Let a(j) = 5*j**3 - 13*j**2 - 14*j + 1. Let g(d) = -4*d**3 + 13*d**2 + 14*d. Let w(t) = 5*a(t) + 6*g(t). Is w(-11) prime?
False
Suppose k - 68 = -6. Let f = -65 - -26. Let x = k + f. Is x prime?
True
Suppose -10*w = 13 - 143. Is w composite?
False
Let q = 73 + -27. Suppose -4*j - 4*k + 5*k = 62, -3*j + k - q = 0. Let g = 5 - j. Is g composite?
True
Suppose 0*b + 578 = 3*b - 5*k, 0 = 4*b + 4*k - 760. Is b composite?
False
Let d = 1113 + -634. Is d a composite number?
False
Let s = 477 - -1540. Is s a prime number?
True
Let r = -3604 + 6878. Is r prime?
False
Let m = 39 + -140. Let c = 433 + m. Is (1 - c)*(-1 - 0) prime?
True
Let a = 2 + -2. Suppose a*c - 201 = -3*c. Is c a composite number?
False
Suppose -g + 41 = -159. Suppose -2*l = -g + 46. Is l a composite number?
True
Let l(h) = h + 1627. Let a be l(0). Suppose -5*i = 4*x - a, i = -2*i + 4*x + 957. Let s = -100 + i. Is s composite?
False
Suppose 2*h - 8 = -3*g + 3*h, g - 5*h - 12 = 0. Suppose -4*t + 2*s = -172, 6*t - 2*t + 2*s = 180. Suppose t = g*m + 2*m. Is m composite?
False
Let v be (-2)/(-4) - 10/(-4). Suppose -3*d - 5*w = -25, w + 11 = v*d - 2*d. Is d composite?
True
Let q = 9009 + -4414. Is q prime?
False
Let b(j) be the first derivative of 2*j**3/3 - j**2 + j - 1. Let n be b(1). Is 1/(1*n/163) prime?
True
Suppose -14 = 3*k - 2*o - 489, 3*k - 465 = -3*o. Is k a composite number?
False
Let u = 4 + -1. Let l be 3/18*u*634. Suppose 2*f = -2*f - i + l, 2*i - 81 = -f. Is f prime?
True
Let l(o) = 2*o - 10. Let n be l(7). Is (n/(-2) - 0) + 69 a composite number?
False
Let x(q) = -q**2 - 63. Let f(z) = z**2 + 63. Let r(c) = 4*f(c) + 5*x(c). Let i be r(0). Is (-1)/(129/i + 2) prime?
False
Suppose 8477 = w + 6*w. Is w composite?
True
Let z = 6 - 24. Let v = z - -87. Is v composite?
True
Let z(m) = -13*m + 5. Is z(-6) a prime number?
True
Let z(i) = -53*i + 10*i - 5 - 11*i. Is z(-6) prime?
False
Is 446/(-1*(-1 - 1)) a prime number?
True
Let n(m) = 37*m**3 + 6*m**2 - 4*m + 2. Is n(2) prime?
False
Let f = 321 + -70. Is f composite?
False
Let k(t) = -10*t - 1. Let m be ((-2)/(-2))/((-2)/10). Is k(m) a composite number?
True
Let q(o) = o**2 + o + o + 35 - 2*o. Is q(0) prime?
False
Suppose 0*h + h = 0. Suppose -u = -h*f - f - 9, 5*f - 72 = -4*u. Is u a composite number?
False
Is 50037/26*(-2)/(-3) composite?
False
Let q = 329 + 44. Is q composite?
False
Suppose -5*g = 4*h + h - 4095, 3294 = 4*h - 5*g. Is h composite?
False
Let p = 812 - 111. Is p prime?
True
Let h be (6/(-2))/(1/(-1)). Suppose 3*s = s - 2*j + 20, 0 = -s - 5*j + 30. Suppose 5 = 5*a - 15, -h*a = s*d - 82. Is d composite?
True
Is (-4)/(-28)*6353 - 12/21 composite?
False
Let q(t) = -t - 2. Let r be q(-6). Suppose 3*l - 263 = -0*f - 2*f, -r*f = 4*l - 520. Is f a prime number?
True
Let b(f) = 8*f**2 - 3*f - 1. Let i be b(-2). Let w = i - 12. Is w a composite number?
True
Let a(r) = -2*r**3 - 2*r**2 + 10*r + 3. Let c(g) = -g**3 + 2*g**2 + g - 1. Let q be c(3). Is a(q) prime?
True
Let t be ((-8)/6)/(4/(-6)). Let n(f) = -8 + 11*f - t*f - 4 + 1. Is n(10) composite?
False
Suppose 5*j - 5*w = 6*j - 2754, -8280 = -3*j + 3*w. Is j composite?
True
Suppose 0 = -2*h + 2*b + 42, -h - h = 5*b - 49. Suppose -10 = 3*o - h. Suppose -o*r + 35 = r. Is r a composite number?
False
Let q = -60 + 118. Is q prime?
False
Let c(x) = 4*x - 3*x - 15*x**3 + 93*x**3 - 2*x. Let i be c(1). Suppose 5*b - 120 = j, -3*b + i = b + 3*j. Is b a composite number?
False
Let z = -10 - -14. Let i(n) = n**2 + 5. Is i(z) a composite number?
True
Suppose -5*j - 346 = -951. Is j prime?
False
Let n = 28 + 42. Is (-3 + n)*(-2)/(-2) prime?
True
Let q(u) = u**3 + 12*u**2 + 11*u + 3. Let w be q(-11). Suppose -3*o = w*s - 765, 767 = -0*s + 3*s + 2*o. Is s composite?
False
Suppose s + 2*z = 493, -4*s + 1972 = z - 0*z. Is s a prime number?
False
Let x = -32 + 164. Let g = x - 74. Is g a composite number?
True
Let z(t) = t**3 - 4*t**2 - 6. Let d be 159/33 - (-6)/33. Is z(d) prime?
True
Suppose 2*f = -2*f + 56. Let w(u) = 5*u**2 + u + 3 + u**3 - f*u + 5*u**2. Is w(-11) composite?
True
Suppose c - 2*k + 21 = -3*k, 0 = -5*c - k - 121. Let t = 25 + -69. Let q = c - t. Is q a composite number?
False
Let w(x) = -x**3 + 2*x**2 + 2*x + 3. Let m be w(3). Suppose m*b = -3*b. Suppose 2*r = j - 45, b = -2*j + 3*j - 3*r - 43. Is j prime?
False
Suppose 1 + 24 = 5*b. Suppose -f - f + b*g = -466, 0 = -5*f - 3*g + 1165. Is f prime?
True
Let i = 8 - 16. Let k(s) = -s - 6. Let z be k(i). Suppose -v + 174 = z*v. Is v a prime number?
False
Suppose 2*n + 0*k = -4*k, 0 = -5*k - 15. Suppose 5*w - 4*h = 1539, -2*w - 1232 = -n*w + 4*h. Is w prime?
True
Let q be 3/18 + 14/(-12). Let h = 5 + q. Suppose -5*x = -n + 114, -h*x - 51 = -5*n + 540. Is n a prime number?
False
Suppose -3*t + 12 = k, -4*t - t - 2*k = -19. Suppose 0 = 3*w + 4*u, 0 = -3*w - 2*w + 2*u. Suppose -4*c = 2*r - 150, -r + t + w = 0. Is c a prime number?
False
Let s(t) = t**2 - t - 3. Let x be s(3). Suppose 4*f - p = -131, f = 5*f - x*p + 121. Let v = f + 81. Is v a prime number?
True
Suppose 0 = 3*o + 3*h - 39, 4 = -h + 3. Let w = o - -23. Is w composite?
False
Suppose p - 4*q - 667 = 48, -4*q = -4*p + 2872. Is p a prime number?
True
Let b(a) = -a**2 - 10*a - 10. Let i be b(-8). Is (2 - i)/(4/(-106)) a prime number?
False
Let w = 110 - -17. Is w a composite number?
False
Let o(c) = -c**3 