= 5*n. Suppose 0 = -g*r + 105 + 186. Is r a prime number?
True
Suppose -23*q = -2*q - 92841. Is q a composite number?
False
Let y(l) = -l + 6. Let r be y(-5). Let s(q) = q**3 + q**2 + 3*q - 3. Let c be s(3). Let o = c - r. Is o composite?
False
Let r = 3 - 1. Suppose 3*s = -r*s + 530. Suppose -6*k + 4*k = -s. Is k prime?
True
Let n be 1/(((-8)/2946)/(-4)). Suppose c + d - 301 = -2*d, -5*c + d + n = 0. Is c prime?
False
Suppose 2*m - l = -2*l + 4, 5*l = 3*m + 20. Is (0 - -113)*(m - -1) prime?
True
Let g = -7 + 3. Let q be 1/(58/30 - 2). Let n = g - q. Is n prime?
True
Suppose 2*u - 6*u + 140 = 0. Is (-138)/(-21) + 15/u a composite number?
False
Let t = 6 - 3. Suppose -t*l = 0, -4*s - l = 4*l - 16. Suppose -s*p - 91 = -4*i - i, 0 = -4*i + 2*p + 68. Is i prime?
False
Suppose -2*x - 3*x = -5*w + 30, x + 2 = 0. Suppose 4*p - w*a - 607 = -183, 0 = p + a - 112. Is p prime?
True
Suppose -5 - 1 = 2*t. Let o(g) = 6*g**2 + 2*g + 3. Is o(t) a prime number?
False
Let p(r) = r**3 - 7*r**2 + 4*r - 13. Is p(7) prime?
False
Suppose -r - 3*h - 3 = 0, -4*h - 2 = 2*r - 0. Let t be 4 + -1 - (r - 2). Suppose t*y - 20 = -y + 2*f, 5*f + 11 = y. Is y prime?
False
Let u(r) = -96*r + 1. Let j be u(-4). Let i be 2*(-1 - 22/(-4)). Suppose -4*m - j = -i*m. Is m a composite number?
True
Let z = 53 + 418. Suppose -4*c + 7*c = z. Is c a prime number?
True
Let h(k) = k + 6. Let l be h(-4). Suppose 215 = 3*z + l*z. Is z composite?
False
Let d(i) be the second derivative of i**5/10 - i**4/3 - 2*i**3/3 - i**2/2 + i. Is d(4) composite?
False
Let f(b) be the first derivative of -61*b**2/2 + 8*b - 10. Is f(-3) a composite number?
False
Let r(u) = 115*u - 1. Let x be r(1). Let m = 52 - x. Let f = -7 - m. Is f a prime number?
False
Let d be 76/3 + (-8)/6. Let k = d - -1. Is k a prime number?
False
Is 1120/15 + (-4)/6 composite?
True
Let w = 635 - 298. Is w a prime number?
True
Let j = 68 + -37. Is j composite?
False
Let l(i) = 24*i + 5. Is l(3) a composite number?
True
Suppose -2*w + 3*p = -4, 26 = 5*w + 5*p - 9. Suppose -5*q + 36 = -j, -w*q + 4*j + 0*j = -39. Let r = 40 - q. Is r a prime number?
False
Suppose 3*u + 3 = 2*u. Let h(z) = 7*z**3 + 8*z**2 + 4*z + 2. Let g(x) = 8*x**3 + 9*x**2 + 4*x + 2. Let c(t) = 5*g(t) - 6*h(t). Is c(u) a composite number?
False
Let w be (-118)/(-14) + 18/(-42). Let y = 119 + w. Is y composite?
False
Let f(j) = -3*j - 5. Let t = -9 - -3. Is f(t) composite?
False
Suppose -w + 67 = w - 5*d, -w - 4*d = -27. Is w a composite number?
False
Is (3/2)/(12/1688) a composite number?
False
Suppose 2*b - 8 = 0, -2*d + 5*b + 12 = 48. Let o = -1 - d. Suppose 42 = a - o. Is a prime?
False
Let m be 1 - ((3 - 4) + -2). Suppose 3*k = m*a + 2, 0*k = 2*k + 4*a - 28. Is k/24 + 1190/8 composite?
False
Suppose 2*u - 1 = 3*u. Let t be (u - 0)*(-8)/4. Suppose -c + 75 = t*c. Is c prime?
False
Suppose 7*h - 16 = -3*a + 2*h, -8 = -4*h. Suppose a*b - 3*x - 37 = -1, -2*b + 44 = -5*x. Is ((-56)/b)/(1/(-3)) prime?
False
Let u be (8/2)/(2/3). Suppose 3*p + 36 = 2*y + p, -4*p = 2*y - u. Is y a composite number?
False
Let q be 18/8 + 1/(-4). Suppose q*y = 2*j + 326, 0 = 4*y - j - 0*j - 643. Suppose 2*s + x - y = -4*x, -3*s - 5*x + 245 = 0. Is s prime?
False
Suppose -1127 + 35 = -4*l. Let a = l - 164. Is a prime?
True
Suppose 0 = 82*v - 89*v + 10619. Is v prime?
False
Suppose 0 = -4*d + 5500 + 1616. Is d a prime number?
False
Suppose -2*h + 400 = -0*h. Let r = -33 + h. Is r a prime number?
True
Let u(w) = 388*w**2 + 3*w - 2. Suppose -3*f - 2*f = -5. Is u(f) a prime number?
True
Let m be (3 - 4)/2*334. Let l = m + 298. Is l a prime number?
True
Is (-3208)/(-16) - (-1)/2 a composite number?
True
Let a(k) be the second derivative of -k**4/12 + 13*k**3/6 + 2*k**2 + 2*k. Is a(11) composite?
True
Let j = 13 - -1. Suppose j*u = 10*u + 452. Is u prime?
True
Suppose -717 = -3*q + 54. Is q composite?
False
Suppose -x + 5*h + 112 = -0*x, 2*x = 3*h + 245. Is x a prime number?
True
Suppose -2*a + 4*t - 20 = 0, t = -a - 12 - 1. Let h = 9 - a. Is h composite?
True
Let m(b) = -11*b**2 + 6*b - 4. Let j be m(4). Let h be (-10)/3*j/10. Let z = h - -13. Is z prime?
False
Suppose 0 = 2*q - 2*m, 4*q = 3*q - 2*m. Suppose -3*s + q*s = -213. Is s composite?
False
Suppose 9*x - 1979 = 2242. Is x composite?
True
Suppose -4*f + 8 = 2*i, 0 = f + 2*i + 3*i + 16. Suppose 998 = f*c - 2*g, 0*c + 2*c = -2*g + 508. Is c composite?
False
Let h be -5 - 5/(5/(-2)). Let b(v) = v**2 + v + 2. Let s be b(h). Is 1/(-4) - (-122)/s composite?
True
Is -11*(-20)/((-16)/(-4)) composite?
True
Suppose 0 = -4*b + 297 - 21. Let m(i) = 2*i - 17. Let z be m(10). Suppose 0*j = z*j - b. Is j a composite number?
False
Let r(b) = -b**2 + 4*b - 2. Let a be r(5). Let o(p) be the first derivative of -5*p**2/2 + 2*p - 1. Is o(a) a composite number?
False
Is (2/(-4))/((-4)/4328) composite?
False
Let w = 448 - 269. Is w prime?
True
Let k(m) = 117*m**2 + 5*m - 5. Is k(2) a composite number?
True
Let c = -1044 + 1631. Is c a prime number?
True
Let u = 176 - 90. Suppose u = t - k, 6 = -2*t + k + 183. Is t a composite number?
True
Suppose -2*v = -4*m + 5*m - 8, 5*v - 5*m = -10. Let d(c) = 107*c - 3. Is d(v) composite?
False
Let m = -6 - -10. Suppose 9*w - 1055 = m*w. Is w a prime number?
True
Suppose 3*o + 37 = j, 2*j = -2*j - 2*o + 176. Is j a composite number?
False
Suppose 0 = -3*n - 37 + 10. Let j(i) = -i**3 - 10*i**2 - 10*i - 9. Let l be j(n). Let f(x) = x**2 + x + 35. Is f(l) a composite number?
True
Let y(q) = 153*q**3 + q**2 - 2*q + 1. Let i be y(1). Is ((-6)/9)/((-3)/i) prime?
False
Let p be (-1)/(1/(-1 + 24)). Let m(s) = 233*s**3 - s**2 + s + 1. Let v be m(-1). Let c = p - v. Is c composite?
False
Let z = 79 + 121. Suppose z = 5*q - 0*q. Is (-1)/(-3) + q/6 a composite number?
False
Let w(o) = o**3 + 4*o**2 - 4*o + 2. Suppose -5*c - 5 = 3*s, 2*c - 8 = -2*c. Let z be w(s). Is z - -1 - 1*-5 composite?
False
Let q = -1884 - -2858. Let o = 1403 - q. Suppose 3*u = 144 + o. Is u a composite number?
False
Let r(v) = -10*v - 3. Is r(-5) a prime number?
True
Let c be -2 + 5 - (-4 + 2). Suppose 2*y + c*x + 1 = 0, -5*y - 4*x = -x - 26. Is 383/y - 2/(-7) composite?
True
Let h = 105 - 22. Is h a composite number?
False
Is (41/41)/(((-6)/(-25882))/3) prime?
True
Is (-1 + -3)*142536/(-96) composite?
False
Let t(q) = 777*q**2 + 17*q + 13. Let n(l) = 194*l**2 + 4*l + 3. Let h(g) = 9*n(g) - 2*t(g). Is h(-1) prime?
True
Let w be ((-8)/(-6))/((-1)/(-3)). Let m be ((-1)/3)/(w/(-12)). Is 1/(m*(-3)/(-633)) composite?
False
Let o = -460 + 875. Is o a composite number?
True
Let o(c) = c**3 + 27*c**2 + 18*c + 55. Is o(-23) a composite number?
True
Let v = 50 - 29. Is v a composite number?
True
Suppose -270 = 5*p + 4*q, -36 = -5*q - 11. Let y = 141 + p. Is y a prime number?
True
Let i = 655 + -444. Is i a prime number?
True
Let k = 4 - 11. Let h = -5 - k. Suppose -2*l + 4*t - h*t + 32 = 0, -4*l = -5*t - 69. Is l composite?
False
Let i(q) be the third derivative of -q**6/120 - q**5/30 + 5*q**4/24 - 5*q**3/6 + 3*q**2. Let y(m) = -m**2 - 4*m + 6. Let h be y(-6). Is i(h) a prime number?
True
Is (0 + 5 - 0)*(44 + -7) prime?
False
Let n(c) be the second derivative of c**4/12 + c**3/3 - 5*c**2 + 5*c. Is n(9) a prime number?
True
Let n(o) = 26 - 13 + 9*o - 39*o. Is n(-12) composite?
False
Suppose o = 2, k - 3*o + 8*o = 1269. Is k prime?
True
Let c(u) = -197*u - 8. Is c(-5) a composite number?
False
Let j(r) = 43*r - 5. Suppose 4*n - 8 + 52 = 0. Let f = n + 15. Is j(f) prime?
True
Is 0 + 1542 - (1 + -2) composite?
False
Let j(f) = 6*f**2 - 2*f + 7. Let q be j(-5). Let c = q + -102. Is c a prime number?
False
Let j(g) = 95*g + 4. Let f be j(6). Suppose 1898 = 4*x + f. Is x a composite number?
False
Let a(p) = -47*p + 7. Let i be a(-5). Suppose -i = -4*y + 230. Is y prime?
False
Let q(s) = 169*s**3 - s + 1. Let j(v) be the second derivative of -v**4/12 + 7*v**3/6 - 5*v**2/2 + 3*v. Let t be j(6). Is q(t) a composite number?
True
Suppose -2*b = 3*u + 11, -b - b - u = 13. Let n(k) = k**2 + 2*k - 4. Is n(b) composite?
False
Is 219*6/6 - -4 composite?
False
Suppose -2*x - 56 = 2*x - 3*o, 4*x = -2*o - 56. Is x/91 - 691/(-13) a prime number?
True
Let o = 5 + -1. Suppose o*x - 17 = 3*a, 0*a = 5*x - 5*a - 20. Suppose x*q + 20 = 0, -6*v + 1467 = -v + 2*q. Is v prime?
False
Let d(s) = s**3