 2*b - 5*f - 4. Is d(b) a prime number?
True
Let x(h) = 201*h - 5. Let l(c) = c - 1. Let t(q) = 6*l(q) - x(q). Is t(-1) a prime number?
False
Let b be ((-974)/(-8))/((-3)/(-24)). Is (3 + -2)*(-2)/(-4)*b prime?
True
Suppose 12*w - 96394 = 74. Is w prime?
True
Let r(q) = -3*q - 4. Let o be r(-3). Let l = 8 - o. Is (l - (4 - 0))*-38 prime?
False
Suppose 579 = 2*n + n. Let h = n + -900. Is (-1)/(-4) + h/(-4) composite?
True
Let r be 223/2 - 30/(-20). Let j = r - 44. Let n = j - 16. Is n a prime number?
True
Let f = -219 - -122. Let c = f + 144. Is c a composite number?
False
Let k(u) = -u**3 - 3*u**2 + 9*u - 10. Let t(n) = n**3 - n**2 - n + 1. Let h(j) = k(j) + 2*t(j). Is h(7) composite?
False
Suppose 2*v + 32 = 40. Is (332/(-6))/(v/(-6)) prime?
True
Let x(v) = v**3 + 11*v**2 + 2*v + 14. Let m be x(-11). Let n be (4 - 2)*(-12)/m. Suppose -415 = -n*p + 920. Is p prime?
False
Suppose 4*y + 1 + 4 = 3*b, -b + y + 2 = 0. Suppose -3*m + 319 = -4*r - 78, 4*m = b*r + 520. Is m prime?
True
Let b(w) = -2*w**3 - 7*w**2 + 13*w + 2. Let a be b(-9). Suppose -2*q + 0*q = a. Let g = q + 639. Is g composite?
False
Let f = -20 + 20. Suppose f = 2*z - 4273 + 787. Is 3/(-12) + z/12 composite?
True
Let w(y) be the third derivative of -17*y**4/12 + 5*y**3/6 + 11*y**2. Is w(-14) composite?
True
Let w = 40719 - -42568. Is w prime?
False
Let b be (-1)/((-1)/(-310)) + 1. Let k = 788 + b. Is k composite?
False
Suppose 2395 = 12*i - 7*i. Is i a composite number?
False
Suppose 5*d = 4*w - 47, 0*d - 41 = -4*w + 3*d. Suppose -w*l + 4*l = -68316. Is (-10)/(-85) - l/(-51) a prime number?
False
Let x be -3 + 1218/3 + 1. Let s be ((-7)/14)/(2/(-8)). Suppose s*u - x = -2*o - 0*o, 2*u + 3*o = 403. Is u composite?
True
Suppose -4*r + 11*r = 889. Let f = r + -50. Is f composite?
True
Let h(k) = 145*k - 10. Let r = 0 - 5. Let j be h(r). Let m = -488 - j. Is m composite?
True
Suppose 3*f + 3*d = -2*f + 43, 5*f - 71 = 4*d. Suppose 0 = f*n - 12*n + 809. Is n composite?
False
Let n = 3872 + 4637. Is n prime?
False
Suppose -18*o = -408376 - 506690. Is o composite?
True
Let f be 2/7 + (-530)/(-7) + -1. Let s = 1210 - f. Is s composite?
True
Suppose 0 = -o + 12 + 12. Suppose -6*q = -0*q - o. Is 4314/24 - 3/q prime?
True
Suppose 0 = 9*c - 4*c - 10. Suppose 4*m = -18 - 2, c*i = -5*m + 5. Is i a composite number?
True
Let g(p) = -p + 22. Let b be g(8). Suppose -b*o + 6824 = -6*o. Is o a composite number?
False
Is ((-4)/4)/(-2*(-3)/(-137958)) a composite number?
False
Let f(o) = -5101*o + 2. Let h be f(-1). Suppose -5*s - 2*c + 0*c + h = 0, 3*s - 5*c = 3037. Is s a prime number?
True
Let u(w) = -w**3 + 5*w**2 + w + 2. Let k be u(5). Let c = k - 5. Suppose -x = 3*t - 25 - 154, -c*t + 572 = 3*x. Is x composite?
True
Suppose 2*y + 0*y = -8*y. Is (y - 12/(-42)) + (-7271)/(-7) a prime number?
True
Suppose 117 = -2*i - i. Suppose 6*g = 5*g - 8. Let m = g - i. Is m a prime number?
True
Is (-9 + 13)/((-8)/(-29366)) a composite number?
False
Let i = 19170 - -15611. Is i composite?
False
Let b = -21 - -24. Suppose 202 = 4*z + 3*q - 657, -z + b*q + 196 = 0. Is z prime?
True
Suppose 0 = 2*m + m - 12. Suppose -3*d - 12 = -3*b, -d = m*b - 0*d - 1. Suppose 84 = 4*a - u, -2*a - b = -4*u - 43. Is a prime?
False
Suppose -265*w = -266*w + 5663. Is w prime?
False
Let h(p) = 2*p**3 - 2*p**2 - 2*p + 2. Let g be h(-2). Suppose -3*a - 2*a = -45. Is (-2)/a + (-346)/g a prime number?
True
Let r(h) be the first derivative of h**3/3 + 5*h**2/2 + h + 1. Suppose 4*k = m - 24, 4*k = k - 15. Is r(m) composite?
False
Let l be (-115)/(-20) + 1/4. Let m(r) = -r**3 + 13*r**2 + 3*r - 1. Is m(l) a composite number?
False
Let r be (-5)/((-20)/(-3624))*-1. Let o = 227 - r. Let c = o + 1076. Is c a composite number?
False
Let l be ((-8)/6)/(4/(-6)). Suppose -2*o + 20 = l*o. Suppose g = h + 442 - 151, -o*h = -g + 283. Is g a composite number?
False
Let m(q) = -5*q**2 - 3. Let x(j) = -11*j**2 - 6. Let w(z) = 13*m(z) - 6*x(z). Let n be w(4). Suppose -48 + n = -p. Is p prime?
False
Let n = -580 - -897. Suppose 23 = o + 5*d, 5*d = -3*o - 0*d + 29. Suppose -4*k = -o*k - n. Is k prime?
True
Suppose t - 4*k - 15 = 24, 4*t = -5*k + 198. Is t composite?
False
Let j be -1 + (-3)/(-12) - (-495)/20. Is 6*3*116/j prime?
False
Suppose 5*f = 5*c - 3685 + 154855, 2*c = -4*f + 120936. Is ((-25)/10 - -3)*f/3 a prime number?
True
Let v = 16991 + 5238. Is v composite?
False
Let s = 12343 + -5396. Is s prime?
True
Suppose 0 = -5*v + a + 3505, -4*v = -7*v - 4*a + 2103. Is v prime?
True
Suppose 4*f - 3443 = -n - 4*n, 3*n = -4*f + 2061. Let l = n - -78. Is l composite?
False
Let m(d) = 28*d + 23. Is m(6) a prime number?
True
Suppose 98 = 7*a - 7. Let v be (-7)/(-35) + 27/a. Suppose 1256 = 4*u + 3*i, u + 309 = 2*u + v*i. Is u composite?
False
Let a(n) = n**2 - 10*n - 5. Let p be a(8). Let q be (1 - -252) + p/(-7). Let r = q - 141. Is r a composite number?
True
Suppose -7*m = -251 - 771. Is m composite?
True
Let a(p) = -2*p**2 - 17*p + 5. Let v be a(-9). Is (4012/(-8))/(2/v) composite?
True
Let x = -3211 + 6510. Let j = x - 2230. Is j a composite number?
False
Let n(g) = 8*g**2 + 13*g - 6. Is n(5) composite?
True
Let b be (3/9)/((-3)/(-18)). Suppose -2*c - 28 = 2*c + b*z, 2*z = 4*c + 20. Is c/(-5)*1150/20 prime?
False
Let n be (-1)/(-4)*-1 + 4/16. Suppose -3*g + 546 = 5*i, 4*g + n*i = 3*i + 757. Is g a composite number?
True
Let p(q) be the first derivative of -1/4*q**4 + 8/3*q**3 - 4*q**2 + 9*q - 2. Is p(6) prime?
False
Let d(k) = k**3 - k**2 - 4*k + 2. Let h be d(3). Suppose -5*n - 12 = h. Is ((-3)/(-12))/(n/(-3056)) composite?
False
Is (-106205 + 0)*(-33)/165 prime?
False
Let m(n) = n**3 + 23*n**2 + 10*n + 43. Is m(-22) a composite number?
False
Suppose -4*m = 5*t - 10 - 15, 10 = 2*t - 4*m. Suppose d + 3*k = 5*d - 121, -t*d = -2*k - 153. Is d a prime number?
True
Suppose 2*c = -4*v + 54034, -2*v + 27026 = -c + 5*c. Is v composite?
True
Is ((-2434)/6)/((-7)/21) prime?
True
Let d be -1*(-1)/((-3)/(-2199)). Suppose -2*b + 6*b = -4*j + 2952, -d = -j + 4*b. Is j a composite number?
True
Suppose 0 = -u + 6574 + 1333. Is u a composite number?
False
Suppose 1263854 = 62*k - 2283476. Is k prime?
False
Let b(n) = 24*n**3 - 2*n - 1. Suppose 2*t + 2*s = 2, 3*t - 5*s = -t + 22. Is b(t) a prime number?
True
Suppose 5*r = c - 6497, -5*r - 3*c + c - 6491 = 0. Let q = 3100 + r. Is q a prime number?
True
Let r(n) = n + 1. Let j be r(1). Suppose 2*d + 2509 = 5*d + 4*i, -j*i = d - 837. Is d a prime number?
False
Suppose 13*g = 10*g + 543. Is g prime?
True
Let o = -591 + -1199. Is (o/30)/((-2)/18) a composite number?
True
Let k(x) be the third derivative of x**5/30 - 5*x**4/6 + x**3 + 14*x**2. Let f be k(18). Suppose g - 5*z - f = -2*g, -5*g = -2*z - 509. Is g a composite number?
False
Let r(s) be the second derivative of 9*s**3 + s**2/2 - 9*s. Is r(1) composite?
True
Suppose 3*u - 62337 = -u + i, -4*u + 62339 = -3*i. Suppose -4*d = -u + 4620. Is d prime?
True
Let g be (-21)/14 - 25/(-2). Let w(s) = 26*s + 2. Let x be w(g). Let q = x + -161. Is q composite?
False
Let s = 33 + -28. Suppose -s*f + 4 = -16. Suppose 7*r - 537 = f*r. Is r composite?
False
Let k(g) = -210*g - 20. Let m(s) = 52*s + 5. Let j(b) = -6*k(b) - 25*m(b). Suppose 5*z = 5*o + 45, -4*o - z = -0 + 11. Is j(o) prime?
False
Let z = 18107 + -10293. Is z a composite number?
True
Let q(g) = g**2 + 21*g + 6. Let k be q(-19). Let d = k - -36. Suppose 0 = -d*f + 1919 + 605. Is f composite?
False
Let s be -7 + -2 + 6 + -2. Let j = -7 - -14. Let v = j + s. Is v a composite number?
False
Let o = -5851 - -15086. Is o composite?
True
Let z(g) = g**2 - 4*g - 9. Suppose -50 = -4*k - n - 0*n, -k - 4*n = -5. Let m = k + -17. Is z(m) a composite number?
False
Suppose -k = -p + 115, 9 + 0 = 3*k. Let z(x) = -x**3 + 8*x**2 + 9*x + 6. Let b be z(9). Is (p/(-4))/((-3)/b) composite?
False
Suppose 13 = 2*u - 2*o - 15, 2*o = 0. Suppose u = d - 8. Is d prime?
False
Let m(r) = 23036*r**2 - 56*r + 1. Is m(2) prime?
True
Let l(w) = -2*w**3 - 2*w**2 - 10. Suppose 0 = -5*c + 2*a - 18 - 12, 5*c + 3*a = -55. Let n be l(c). Is (-3)/(-18) + n/12 a prime number?
False
Suppose -5*u + 5*l - 7445 = 0, -2*u + 5*l - 204 = 2786. Let n = u - -2654. Suppose v - 2*v = -n. Is v a composite number?
True
Let d = -40 + 26. Is d/((-27)/(-33) + -1) a prime numbe