= 3484 + 33898. Is k composite?
True
Let q be (-3)/2*1192/(-6). Let i = 597 - q. Is i composite?
True
Suppose -330575 = -75*s + 40*s. Is s prime?
False
Suppose -q + 4*v + 8919 = 0, -14325 = -2*q - 2*v + 3563. Is q a prime number?
False
Let d(x) = -x**3 - 34*x**2 + 33*x + 61. Is d(-38) composite?
False
Let g = -83 + 69. Is ((-4109)/g)/(3/6) prime?
True
Let d be 23/5 + ((-12)/20 - 0). Suppose -5*o = j - 203, -d*j + 112 = 2*o - 700. Is j composite?
True
Let b(z) = 29*z**3 - 2*z**2 + 3*z. Let i be b(2). Suppose 9*p + 11*p = 26*p. Suppose p = 3*m - m - i. Is m prime?
False
Suppose 2*b - 30 = -3*b. Is (443/2)/(b/12) a composite number?
False
Is 0 - -1 - -3804*(-15 + 20) a prime number?
False
Suppose -j = -3*j. Suppose -6*i + 2*i + 4 = j. Is i/(2/(-534)*-3) a composite number?
False
Suppose -3*i + 523 = 100. Let o = i + 356. Is o composite?
True
Let r = -64 + 2466. Let p = r - 1059. Is p a prime number?
False
Let c be (-2 + -10)*((-20)/(-16) + 0). Is ((-2630)/(2/2))/(13 + c) a prime number?
False
Let c(k) = 46*k + 5 + 2 - 5. Let m(w) = 45*w + 2. Let f(r) = 6*c(r) - 7*m(r). Is f(-3) a composite number?
True
Let m(r) = -3*r**2 - 6*r - 19. Let u be m(-3). Is (-5 - u/6) + 5794/3 composite?
False
Let l be (-2*479)/(20/8 + -3). Is (36/(-24))/(6/(-1))*l composite?
False
Let i = -54485 + 137122. Is i prime?
False
Suppose 0 = 3*s - 4*i - 3085, 191 + 850 = s + 5*i. Is s a prime number?
True
Let a(o) = o - 1. Suppose -5*s - 2*l + 19 + 13 = 0, 9 = 2*s - 3*l. Let g be a(s). Suppose -795 = -g*n - 0*n. Is n a prime number?
False
Let k(m) = -m**2 - 7*m - 6. Let r be k(-7). Let f be -4 + (-7)/(14/r). Let p(y) = -494*y - 1. Is p(f) prime?
False
Let t(r) = 295*r**2 - 29*r + 95. Is t(7) composite?
False
Let c(d) = -42*d**3 + 11*d**2 + 49*d + 185. Is c(-17) prime?
True
Suppose 0 = 6*r - 1934 + 992. Is r a prime number?
True
Let q(b) = 51*b + 7. Let t(p) = 2*p**2 + 9*p + 3. Let h(w) = 2*w**2 + 8*w + 3. Let c(i) = 6*h(i) - 5*t(i). Let g be c(-2). Is q(g) a prime number?
False
Suppose 10 = -2*k + 4*p, 2*k - k = -5*p + 23. Suppose 0 = 4*m + 5*a - 8, 2*m + a + 14 = k*a. Is (15/(-9))/(m/657) prime?
False
Suppose -3*q = -0*q + 6. Let c = q + 0. Is c/(2 - 320/158) a composite number?
False
Let q = -3127 - -4904. Is q prime?
True
Suppose 37 = -2*j - l, -5*l = 4*j - 0*j + 77. Let z = 20 + j. Is z + 3 + (-126)/(-3) composite?
False
Let z = -4216 - -6466. Suppose z = 2*d - 3676. Is d prime?
True
Let r(c) = 3 - c**3 + 1 + 12*c**2 + 4*c**3 - 7*c - 4*c**3. Let k be r(8). Suppose l - 50 = k. Is l composite?
True
Let c be (0 - 0)*((-15)/(-5))/9. Suppose 587 = 3*d - 5*w, -d + 2*d - 4*w - 198 = c. Is d composite?
True
Suppose 4 = s - 0. Is (-1)/(s/1784*-2) a composite number?
False
Let z(a) be the first derivative of -65*a**4 + a**2 + a - 4. Is z(-1) composite?
True
Let i(h) be the third derivative of h**5/10 - h**4/12 + h**3/2 - h**2. Let g(o) = o**3 - 5*o**2 - 2*o + 12. Let b be g(5). Is i(b) a prime number?
True
Let q be (4/(16/12))/1. Let s be (2 + -3)*-1 - q. Let x(b) = -19*b**3 - 2*b**2 - 2*b + 1. Is x(s) a composite number?
False
Is 1 - (-14)/(-13) - (-373632)/832 prime?
True
Let m = -31478 + 45049. Is m a composite number?
True
Let i = 15 - 14. Let o be (-6 - -3)*(-1)/i. Is o + -1 + -3 + 114 a composite number?
False
Let s = 2033 - 814. Is s composite?
True
Suppose 5*t - 7512 - 8679 = -h, 2*t - 6458 = -5*h. Is t prime?
False
Let n = 534 + -266. Let j = n + -175. Suppose -3*f = j - 1332. Is f prime?
False
Let t(l) = 32*l**2 + l - 7. Is t(-6) prime?
False
Suppose 5*t = -2*d - 26 + 2, 5*t = -5*d - 30. Let u = 159 + -334. Is 1/d - u/2 a composite number?
True
Let z(a) = -56*a - 5. Let u(d) = d - 10. Suppose 5*m - 21 = 2*m. Let n be u(m). Is z(n) prime?
True
Suppose 3*y - 7*x + 2*x = -11, -2*y = -3*x + 6. Is y - (3 + -2 - 407) a composite number?
False
Suppose -7124 = -8*g + 88532. Is g composite?
True
Let n(g) = -g**3 + 9*g**2 - 7*g + 2. Let w be n(8). Let i = w + -2. Let u(o) = 6*o + 11. Is u(i) a prime number?
True
Let t be 852/(-5)*5/(-1). Suppose t = 3*f - m - 61, -2*m - 1521 = -5*f. Is f prime?
False
Let u(p) = -p**3 - 11*p**2 - 11*p + 2. Let b be u(-12). Suppose -4*j + 5*j - b = 0. Let m = 691 - j. Is m a prime number?
False
Is 298460/50*5/2 prime?
True
Suppose -7*f + 12186 - 223 = 0. Is f composite?
False
Let x(y) = 5*y**2 + 52*y - 499. Is x(46) a prime number?
True
Suppose 13*d - 204168 = -14589. Is d a composite number?
True
Suppose 0 = 34*h - 9*h - 117575. Is h prime?
True
Is (26/6)/((-40)/(-58920)) composite?
True
Let l = 32 + -42. Is ((-8)/l)/((-2)/(-335)) a composite number?
True
Suppose -5*m + 36277 = -2*s, 5*s + 21751 = -4*m + 7*m. Let i = -4688 + m. Is i a prime number?
False
Suppose -86 - 4994 = 5*x. Let h be ((-8)/4)/(4/3394). Let b = x - h. Is b a composite number?
True
Suppose 5*j - 8 = -w, 0*j - 12 = -5*j + w. Suppose -r + 414 = 3*b - 367, 1562 = j*r - 4*b. Is r a prime number?
False
Let h(c) = 2*c**2 - 11*c + 5. Suppose 4*w + 6 = 7*w. Suppose -w*g + 30 = g. Is h(g) composite?
True
Let y(w) = 53*w**2 - 19*w - 77. Is y(-6) prime?
False
Let a = 4397 + -2026. Is a prime?
True
Suppose 0 = -7*h + 889 + 112. Is h composite?
True
Let o = 641 + -918. Let t = o - -1154. Is t a composite number?
False
Suppose -4*j + 8 = 4*u, 0 = -4*j - 0*j - u + 5. Is j + 260 + -10 + 11 a prime number?
False
Let o(x) = x**3 - x**2 - x + 4861. Is o(0) prime?
True
Let g be 0 - (6/9)/(12/(-54)). Suppose -3*v + g*n = -1656, -3*v - 2*n + 1686 = n. Is v a composite number?
False
Suppose l = 5*q - 7 + 5, -4*l - 3*q = -15. Let h(p) = -p**3 + 7*p**2 - 3*p + 4. Is h(l) a composite number?
False
Let d be 48/26 + 6/39. Is (1/d + 0)*502 a composite number?
False
Is (-2)/12 + (-19426970)/(-516) composite?
False
Let q = -17 - -29. Let f(n) = n**2 + 8*n - 19. Let m(i) = -2*i**2 - 17*i + 39. Let z(t) = 5*f(t) + 2*m(t). Is z(q) prime?
True
Let h(v) be the first derivative of -v**4/4 + 5*v**3 + v**2/2 - 10*v + 2. Suppose 0 = -5*a + 3*d + 48 + 22, 0 = -5*a - 3*d + 40. Is h(a) composite?
True
Suppose -4*m = -5*m + 11. Let o(d) be the third derivative of d**4/4 - 13*d**3/6 - 8*d**2. Is o(m) a composite number?
False
Let b(o) = 38*o**2 - 6*o - 5. Is b(-1) a prime number?
False
Suppose 2*a + j = -5, 2*a - a + 5 = -j. Suppose -2*h + 3*k + 9 = a, h - 4*k - 12 = -2*h. Suppose y = -3*l - h*l + 737, -3*l - 6 = 0. Is y composite?
False
Suppose 0 = -4*u + 862 + 914. Let z be (-28)/(-6) - (-4)/(-6). Suppose -z*t + u = -784. Is t prime?
True
Let n be 32/10 - (-1)/(-5). Suppose -n*y - 2204 = -7*y. Is y a composite number?
True
Let k(q) = q + 26. Let v be k(-17). Suppose -v*h = -16 - 101. Is h composite?
False
Suppose c + n - 4943 = 2619, 0 = -2*n - 2. Is c composite?
True
Suppose -3249 = -5*d - 1074. Suppose 0 = 8*t - 3*t - d. Is t a prime number?
False
Let a(i) = 2*i + 43 + i**2 + 98 - i. Let w be a(0). Let u = w - 62. Is u a prime number?
True
Let k = -15 - -9. Let w(r) = -185*r - 11. Is w(k) a composite number?
True
Suppose 3*v - w - 8313 = 6147, -5*v - w + 24100 = 0. Suppose 3604 = -3*l - 0*l + 4*p, -v = 4*l + 2*p. Let f = -689 - l. Is f composite?
True
Let f(s) = -23*s**2 - 4*s - 4. Let a be f(-2). Is -3 - (-3 - 0) - (a + -1) composite?
False
Suppose 21*d - 108175 = -4*d. Is d prime?
True
Let i = -4832 - -7435. Suppose 0 = -3*d - 2*z + i, 2*d + z - 980 - 754 = 0. Is d prime?
False
Let y(v) = 49*v**2 - 50*v + 383. Is y(-24) composite?
True
Let y be -2*2690/8*-2. Suppose y + 527 = -4*n. Let m = -269 - n. Is m a prime number?
True
Let w = 3 + 0. Suppose 3*n = -z + 265, -3*n + 908 = w*z + 143. Suppose 135 = p - 3*v, -v + 0*v - z = -2*p. Is p prime?
False
Let x(m) be the third derivative of m**5/15 + m**4/2 + 11*m**3/6 + 3*m**2. Is x(7) a composite number?
True
Is 1*14/(-3)*(-14853)/2 composite?
True
Is (-46079)/(-6) - 40/48 a composite number?
True
Suppose -4341 = -13*g + 13846. Is g prime?
True
Suppose -8 - 7 = -5*s. Suppose 0 = -7*y + s*y - 4. Is y + -2*73/(-1) a prime number?
False
Let g be (-2)/14 - 19815/(-35). Suppose -3*b + g = -391. Is b a composite number?
True
Suppose -4*d + 4*l = -0*l - 1143300, -4*l = -3*d + 857477. Is d a composite number?
False
Suppose -514 = 3*t - 2*t. Let r be t*10*3/(-12). Suppose -5*z + 0*z + r = 0. Is z a composite number?
False
Let z(u) = u**3 - 13*u**2 - 7*u + 5. Let w be z(14). Le