umber?
False
Suppose 0*k - 2*k - r + 793 = 0, 4*r = -4. Is k composite?
False
Let l(x) be the second derivative of -5*x**3/6 - x**2/2 - 3*x. Let w = -11 - -8. Is l(w) composite?
True
Let u = -18 + 25. Suppose 0 = 4*j - i + 1, -u*j + 2 = -2*j + 2*i. Suppose j*q = -2*q + 74. Is q composite?
False
Let w(u) = -u**3 + u**2 + u + 67. Is w(0) a composite number?
False
Let a(v) = 10*v**2 - v + 2. Let b = -2 + 5. Is a(b) a prime number?
True
Let l(r) = -r**2 - r + 20. Let x be l(0). Suppose -4*f = f - x. Suppose f*q - 5*q = -82. Is q prime?
False
Let t(f) = -f + 10. Let v be t(6). Suppose v*u = u + 195. Is u composite?
True
Let k(v) = -39*v**3 - v**2 + 5*v + 5. Let r(q) = q**3 - 3*q**2 - 2. Let s be r(3). Is k(s) composite?
True
Let v = -556 - -1023. Is v composite?
False
Suppose -3*x - 329 - 50 = -5*v, x = 3*v - 229. Is v a composite number?
True
Suppose -b - b + 1784 = 0. Suppose -5*p + b = -p. Is p a composite number?
False
Suppose 6*m - 3*m - 6 = 0. Is (50/15)/(m/9) prime?
False
Let r(q) = 11*q - 14. Let w(p) = -4*p**3 - 2*p**2 + 1. Let z be w(1). Let m(f) = -11*f + 13. Let b(n) = z*m(n) - 4*r(n). Is b(6) prime?
False
Let u(i) = -3*i + 4. Let w be u(-6). Let p = w - 16. Let a(m) = 2*m**2 - 6*m - 5. Is a(p) composite?
False
Let l = -1 + 2. Suppose -l + 7 = 2*s. Suppose -3*z + 5*p + 59 = -2*z, -s*p = -4*z + 168. Is z a prime number?
False
Is (-2870)/(-8) - (-1)/4 prime?
True
Suppose -9 = m - 69. Let i = m + 117. Is i a prime number?
False
Is (2 + 3/(-6))*(-4044)/(-9) a prime number?
False
Let u(n) = 109*n + 35. Is u(14) prime?
False
Let h(p) = 31*p**2 - 7*p - 1. Suppose 4*a + 4 = -4*q, -5*a = -4*q + 33 + 8. Is h(q) prime?
True
Is (26/(-39))/((-4)/3126) a prime number?
True
Suppose 3*q = 6*q + 3*o - 3, -4*q + 8 = 2*o. Let u be q + (-3)/(9/3). Is 34 + (-1)/(-2)*u a composite number?
True
Let y(a) = -4*a**3 + 4*a**2 - 9*a - 10. Let v(k) = -k**3 + k**2 - k - 1. Let d(w) = w - 4. Let q be d(5). Let s(l) = q*y(l) - 6*v(l). Is s(3) composite?
False
Let p(f) = f - 1. Let x be p(2). Let q be (-6 - -8) + (-17)/x. Is 6/q + 167/5 a composite number?
True
Suppose 12*j = 16*j - 6524. Is j prime?
False
Suppose 10 = -4*b + 3*b - 4*p, 0 = 2*p + 4. Let h be -2*(-1)/b + -61. Let n = h + 117. Is n composite?
True
Let v(z) = -150*z**3 - z**2 + 8*z - 6. Let s be v(3). Let a(o) = o + 2. Let l be a(-6). Is s/(-27) + l/6 composite?
False
Let g(l) = -8*l**2 - 4*l + 1 + l**3 - 4*l + 1 - 6*l. Is g(11) a prime number?
True
Let r(y) be the second derivative of 1/6*y**3 - 21/5*y**5 + 1/2*y**2 - 2*y + 0 - 1/12*y**4. Is r(-1) prime?
True
Let v = -9 - -10. Is 2/(-6)*-267*v prime?
True
Suppose -4*q - 3*s = 19, -6 = 2*q + 3*s + 5. Is -2 - (q - 0) - -125 a composite number?
False
Is (2/(1 - 3))/(48/(-252912)) a prime number?
False
Let b = -19 + 198. Is b a prime number?
True
Let k(a) = -19*a. Let b be k(9). Is -1*(b + (-1 - -3)) a prime number?
False
Suppose -70 = -5*o - 5*g, -5*o + 35 = 2*g - 38. Is o prime?
False
Suppose 3057 - 215 = 14*n. Is n a prime number?
False
Let j = 20 - 28. Let o = 57 - j. Is o prime?
False
Suppose -2*p + 356 = 138. Is p prime?
True
Let n(t) = t**2 + 5*t + 5. Suppose 5*w = -2*p - 24, 15 = -5*w - 8*p + 3*p. Is n(w) composite?
False
Suppose 1 = -4*w - 11. Suppose 5 = 6*g - 5*g. Let s = g + w. Is s prime?
True
Suppose -2*n = 2*n + 80. Let v = 35 + n. Is v a composite number?
True
Let x = 983 - 240. Is x a composite number?
False
Suppose 9*c - 10922 = -4217. Is c composite?
True
Suppose q = -3*z + 403, 5*z = -q + 2*q - 435. Is q a prime number?
False
Suppose -469 = 5*x - 1529. Suppose 4*o = -0*o + x. Suppose 5*y - 4*b = o + 22, 2*y - 30 = -b. Is y a prime number?
False
Suppose 4*p - 8*p + 32 = 0. Is 14/p*(9 - -43) prime?
False
Let s(f) = 6*f - 4*f**2 + 0*f**3 - f**3 + 0*f**3 + f - 8. Is s(-6) a prime number?
False
Let f(u) = 4*u + 1. Let h(z) = -4*z - 1. Let x(r) = -2*f(r) - 3*h(r). Let k be x(5). Suppose 0 = -s - 0*s + k. Is s prime?
False
Let a(s) be the third derivative of -s**4/24 - 19*s**3/3 - 3*s**2. Let f be a(0). Is (-1)/(2/f*1) composite?
False
Suppose -4*t + 365 = -959. Suppose -2*x - 5*k = -t, -4*k - 61 = 2*x - 387. Suppose n - 2*q - 27 = 0, 0 = 3*n + 5*q + 50 - x. Is n a prime number?
True
Suppose 6*h = 1520 + 754. Is h composite?
False
Let h(f) be the third derivative of f**5/60 + 5*f**4/24 + 5*f**3/6 + 3*f**2. Let w be h(-5). Suppose w*u = 153 - 43. Is u prime?
False
Let c(r) = -r**2 + 89. Is c(0) a prime number?
True
Suppose -3*g = -g. Let c be 0 - g - -2 - 2. Let s = c + 6. Is s prime?
False
Let v be (-1)/(3/9*-1). Suppose v = 2*r - 5. Suppose 2*y - r*y = -20. Is y composite?
True
Let i be 0*(4 - 14/4). Suppose r = 3*n + 4 + 4, 0 = -2*r + 3*n + 10. Suppose 2*k = -d - i*k + 13, -r*d + k = -21. Is d a prime number?
True
Is 12190/26 - 4/(-26) prime?
False
Suppose 3*r - 405 = 156. Suppose -4*h + 172 = 3*d + d, r = 5*d - 2*h. Suppose -3*q + d = -54. Is q a prime number?
True
Suppose -h + 265 = z, -4*z + 0*z - 1092 = -4*h. Is h a composite number?
False
Suppose -3*v + 1 = 5*r + 19, -4*r - 44 = -5*v. Let q(j) = j**3 + 9*j**2 - 5*j - 11. Is q(r) a composite number?
False
Suppose -17*z + 1082 = -15*z. Is z prime?
True
Let u(f) be the third derivative of f**6/120 - 2*f**5/15 + 3*f**4/8 + 7*f**3/6 + 3*f**2. Let i(z) = -z**2 - 11*z - 11. Let m be i(-9). Is u(m) a prime number?
False
Let c = -41 + -47. Let a = c - -236. Suppose a = 7*z - 3*z. Is z a prime number?
True
Suppose -4*k - 4 = 4*z, -3*z - 9 = -5*k - z. Suppose 0 = -4*d - k + 89. Is d prime?
False
Is (2 + 1024/(-10))/(12/(-30)) a prime number?
True
Suppose -3*x - z - 17 + 74 = 0, -2*x = 3*z - 38. Is x a prime number?
True
Let i = 685 + -1091. Let u = 217 - i. Is u composite?
True
Suppose 10*i = 5*i + 8755. Is i a composite number?
True
Suppose -j - 264 + 1247 = 4*a, -5*j + 4915 = -5*a. Is j prime?
True
Let g(r) = 2*r**3 - r**2 + 3*r + 3. Let p be 2 - 2*(-3 + 2). Is g(p) prime?
True
Let p be 4/16 - 90/8. Let y be ((-96)/(-10))/(21/105). Let g = y + p. Is g prime?
True
Let l be (-1)/(-2) + (-765)/(-18). Suppose 2*v = -4*q + 150, -v + l + 27 = q. Is v a composite number?
True
Suppose 4*l + 4817 = 1757. Let k = 1118 + l. Is k a prime number?
True
Suppose 3*w + 2243 = -5*r, w = 3*r + 5*w + 1337. Let o = -290 - r. Is o a composite number?
True
Let a be (-3)/18 + (-66)/36. Let i(q) = -6*q**3 - 3*q**2 - q - 1. Is i(a) a prime number?
True
Let u(w) = -58*w - 3. Suppose -1 = 2*l + 3. Is u(l) a prime number?
True
Let v = 185 - 22. Is v prime?
True
Let x(u) = u**2 + 6*u + 3. Is x(10) composite?
False
Let k be (-1)/1 + -1 + 7. Suppose 4*b = k*b - 39. Is b composite?
True
Is ((-1346)/(-8))/(3/12) a prime number?
True
Suppose 3*d + 2*d = -340. Let j = -33 - d. Is j prime?
False
Suppose 373 = -5*m + 1668. Is m composite?
True
Let w(q) = 6*q + 10. Let x = 9 + -6. Suppose -r + 5 = -x. Is w(r) prime?
False
Let v(a) = a**2 + 3*a - 1. Let w be v(4). Is 561/w + (-2)/(-9) a prime number?
False
Suppose 432 = -2*t - 2*t. Let j = t - -231. Is j a prime number?
False
Let m = -13 + 15. Is (-55)/m*(-72)/60 prime?
False
Let z(p) = 55*p - 16. Suppose -v = 2 + 2. Let k(h) = 27*h - 8. Let r(f) = v*z(f) + 7*k(f). Is r(-9) prime?
False
Let z(v) be the second derivative of 23*v**4/12 + v**3/3 - v**2/2 + 3*v. Let s be z(1). Suppose -s = -2*g + 4. Is g a composite number?
True
Let d(t) = -t**2 + t + 7. Suppose -21 = -5*j - 3*q, 0 = -5*j - q + 27. Let p be d(j). Is (p/(-4))/(3/12) prime?
True
Let i(k) = k**3 - 13*k**2 + 35*k + 2. Is i(11) prime?
False
Let v(f) = -f**2 - 16*f + 6. Let s be v(-13). Suppose s = -p + 712. Is p a prime number?
False
Suppose 2*w - 2*f = 166, -3*w - 379 = -8*w - 4*f. Is w composite?
False
Let f(c) = 13*c + 13. Is f(10) a composite number?
True
Suppose 5*t + 2*c = 5911, -4*t - c - 1178 = -5*t. Suppose d - 1 = 0, -2*z + 6*z + d = t. Is z a composite number?
True
Is 6/(-39) + 2162/26 prime?
True
Suppose 0 = -n + 3 - 0. Suppose -n*d + 3*i + 46 = -119, 3*d - 189 = -5*i. Is d a composite number?
True
Let o(g) = 2*g**3 - 8*g**2 + 2*g + 5. Let u be o(9). Suppose 2*a - u = 5*b, -2*b = -3*a + 3*b + 1242. Is a prime?
True
Let c(z) = z - 7. Let i be c(12). Suppose 0 = 4*o - y - 601, i*o - 418 - 317 = -2*y. Is o a composite number?
False
Let k(p) be the third derivative of 9*p**4/4 - p**3/6 - 3*p**2. Is k(1) a prime numb