Is q(8) a prime number?
True
Suppose 18 = -c - 5*v, 2*v = 2*c + 2*c + 28. Let k(a) = a**2 - 44*a + 21. Let n be k(23). Is c/12*n/4 prime?
False
Let h(k) = 434*k**3 + 2*k**2 - 3*k + 1. Let o be h(1). Suppose n + 5*l - o = 0, -n - 5*l + 10*l + 404 = 0. Is n a prime number?
True
Let u be (4*1 - 156/36)*-3. Let s(m) be the first derivative of 48*m**3 - m + 1. Is s(u) a prime number?
False
Suppose 23*t - 54 = 5*t. Suppose m = -t*n + n + 2083, 4*n + 4*m - 4168 = 0. Is n composite?
True
Let a(j) = -2*j**2 - 2*j + 17. Let p be a(15). Let h = -200 - p. Is h prime?
True
Suppose 0 = -2*c - 6, -2*y + 4*y - 394 = -2*c. Suppose o + s = -0*s + 50, 4*o - y = 2*s. Let i = -17 + o. Is i a prime number?
False
Let x be 26/(2/(-12)*-3). Let q = 25 + x. Is q prime?
False
Let w = 11 - 26. Let y be (-10)/(-35) + 690/(-14). Let g = w - y. Is g composite?
True
Let y(x) = 51*x - 6. Let n be y(4). Suppose 0 = 4*p, p + n = 3*r + 2*p. Suppose 3*d = 3 + r. Is d a prime number?
True
Suppose -4*i + 8081 + 46711 = 0. Suppose -2*c = n - 10848, 2*c - 2*n - 27111 = -3*c. Suppose 5*a - i + c = 0. Is a prime?
False
Let u(d) = -7*d + 11 - 14*d - d. Is u(-14) a prime number?
False
Let c(s) = s**3 + 21*s**2 + 21*s + 149. Is c(-18) a prime number?
True
Suppose -i = o - 2562, 4*i = -2*o + 5*o + 10262. Let h = i - 1035. Is h a prime number?
False
Suppose 101*z + 15 = 106*z. Suppose 7*c = -z*c + 4460. Is c composite?
True
Suppose 5*f = 5*q - 3*q - 7, -4*f = -q + 8. Let o be (114/(-9))/(q/6). Suppose -5*y + o = -z + 4*z, 5*z - 2*y = 73. Is z a composite number?
False
Suppose 1647 = -2*z + 8299. Let u = -1927 + z. Is u a prime number?
True
Let a = -34 + 34. Suppose 0 = 3*u - a*u - 471. Is u a composite number?
False
Suppose -11*o + 2 = 2. Suppose -2*t + o*y = -2*y - 168, -3*y + 143 = 2*t. Is t a composite number?
False
Suppose -2*x - x = -1521. Let y = x - 284. Is y a prime number?
True
Suppose -4*b + 31*b = 209007. Is b prime?
True
Let z(q) = -29*q**2 + 23*q - 35. Let x(h) = 29*h**2 - 22*h + 34. Let t(b) = 7*x(b) + 6*z(b). Is t(13) a composite number?
False
Let l = 16280 + -4878. Is l a composite number?
True
Suppose 2*o = 5*o - 4*i - 2, 2*o = 4*i. Is 4/o*(-3404)/(-8) prime?
False
Suppose 5*g - 21245 = -5*z, 0*g - 12771 = -3*g + 3*z. Is g a composite number?
False
Let v(n) = n. Let t be v(0). Let l(s) = -4*s**3 + s**2 - 4*s + 127. Let c(h) = -3*h**3 + h**2 - 3*h + 127. Let a(o) = 5*c(o) - 4*l(o). Is a(t) composite?
False
Let a(l) = 7*l**2 - 8*l - 8. Let p be ((0 - 5) + -4)/1. Is a(p) a composite number?
False
Suppose 3*d = -2*u, 4*u - 7*d + 2*d = -22. Is 358*(0 + u/(-2)) composite?
True
Suppose -24*d - 218120 = -5*k - 27*d, -2*k + 87229 = 5*d. Is k composite?
False
Is (-59876)/(-2)*(-25 + 37)/24 a composite number?
False
Suppose -57*g = -58*g + 7039. Is g composite?
False
Let v = -4307 + 24757. Suppose -k = -6*k + v. Is (k/(-20))/(1/(-2)) a prime number?
True
Let q = 243 + -442. Let m be (-20 + 4)/(-4) + q. Let v = m - -344. Is v prime?
True
Let b(x) = -x**3 - 14*x**2 + 42*x - 74. Is b(-31) prime?
False
Suppose 6*d = 2135 + 895. Is d composite?
True
Suppose 2*x = -x + 6. Let i(a) = 1008*a + 1. Is i(x) composite?
False
Let w(z) = 9*z**2 + 2*z + 3. Suppose 5*q - 35 = 5*c - 0*q, q + 9 = -3*c. Is w(c) prime?
True
Suppose 6 + 0 = -i + 5*d, 4 = 3*i - 4*d. Suppose -2*n + 3*r = -4, -n - 3*r = -i*n + 12. Suppose -4*m = -n, 4*m + 295 - 833 = -5*f. Is f prime?
False
Let b = -653 - -27744. Is b a prime number?
True
Let h = 1764 + -1313. Is h prime?
False
Let z = 74 + 7. Let t = z + -138. Let x = t + 94. Is x composite?
False
Let z = -10 + 12. Let w be z/11 - (-12)/(-66). Suppose -2*q - 15 + 53 = w. Is q composite?
False
Let n(v) = -v**3 - 5*v**2 + 24*v + 4. Let q be n(-8). Suppose -i = -q*h + 4995, -2*h = 3*i - 887 - 1614. Is h a composite number?
False
Suppose -2*c + 10349 = -3*b, -c + 6925 - 1733 = -5*b. Is c composite?
False
Suppose -8*m + 12*m = 120. Is (-3)/(m/8) - 31707/(-65) a prime number?
True
Let t(z) = 27*z**2 - 21*z + 18. Let g be t(-16). Suppose 2*m + g = 8*m. Suppose 2*f = f + m. Is f a composite number?
True
Let o = 101 + -68. Suppose -41*g + o*g + 6064 = 0. Is g a prime number?
False
Let l = 17467 - 7674. Is l composite?
True
Let y = -25 - -30. Suppose -3*q = -4*o + 952, 2*o - y*q - 313 = 177. Is o a prime number?
False
Suppose 4 + 4 = 4*u. Is 3 + (992/u)/2 a composite number?
False
Let f(q) = q**2 + 4*q + 5. Let h be f(-5). Suppose 5*a - h = 5. Suppose -t = a*t - 940. Is t a composite number?
True
Let i(z) = -51*z**3 - z - 1. Let y = -67 + 65. Is i(y) composite?
False
Let f = -37 + 36. Let x be 221 + 0 + -1 + f. Suppose 2*j = -2*r + 182, x = -5*r + 5*j + 654. Is r prime?
True
Let d be (-2)/(-14) + 474/14. Suppose -404 = -5*v - d. Is (v/(-4))/((-2)/4) composite?
False
Let c be 4/22 + (-138)/33. Let d be (-4)/12 - c/12. Suppose d*u - 99 = -u + r, 5*u + 3*r = 479. Is u composite?
False
Let h = -15931 - -26592. Is h prime?
False
Let b = 7 - 3. Suppose 5*g - 24 = -2*c + c, 24 = b*g - 4*c. Suppose -1329 = -g*r + 1006. Is r a prime number?
True
Let w(x) = -x**3 + 2*x**2 + 5*x - 1. Let z be w(4). Let u be (-12 + 2)/((-3)/6). Let b = u + z. Is b a composite number?
False
Let z = 95 - 90. Suppose -3 = -3*t, -2*r + 924 = -r + z*t. Is r a prime number?
True
Suppose -28352 = -4*y - 11444. Is y composite?
True
Is ((-18)/(-4))/(156/(-208)) - -18928 composite?
True
Is (-10 - -4775) + (2 - -2) composite?
True
Let z(c) = 2*c - 2896. Let y(w) = 3*w - 5793. Let o(t) = -3*y(t) + 5*z(t). Is o(0) a composite number?
True
Let f = 18 + -22. Suppose 0 = -11*d + 6*d + 415. Is (-2 + (f - -13))*d composite?
True
Let r(j) = 61*j - 237. Is r(16) a prime number?
True
Suppose x + x = -2*f - 1462, 1467 = -2*f - x. Let p = f + 1347. Is p a composite number?
True
Suppose -2*w - 4 = -w + 5*o, 2*w + 4*o = -8. Let r be (12/6)/(w/(-10)). Suppose -2*t + p + 13 = 0, -t + r*p = 2*p - 4. Is t a prime number?
True
Suppose 0 = j - 273 - 419. Let h = -486 + j. Is h prime?
False
Let t(m) be the first derivative of 199*m**2/2 - 8*m + 15. Is t(3) a prime number?
False
Let t(l) be the second derivative of l**5/20 + 7*l**4/4 + 7*l**3/2 + 27*l**2 - 48*l. Is t(-20) a composite number?
True
Suppose a + 5*q = 718, 3*a - 4*q = a + 1394. Suppose 2*p + a = 5*g, 0*p = -3*p - 12. Is g a prime number?
True
Let s = 37 + -33. Suppose -2*q - s*t = -1080, 1 = 2*t - t. Is q composite?
True
Let s be 66/14 - (-2)/7. Let j(q) = q**3 - 5*q**2 - q + 4. Let i be j(s). Is i/(((-4)/(-222))/(-2)) a composite number?
True
Let s = 17 - 10. Suppose 2*a = i - s + 205, 0 = -a + 4*i + 113. Is a composite?
False
Let k = 24 + -13. Let d = k - 9. Is (-7)/(d/(-22)*1) a composite number?
True
Let f(g) = 2*g + 33. Let m be f(-17). Is 4 - (-2322)/2 - 2/m prime?
False
Suppose -121*g = -110*g - 95293. Is g composite?
False
Suppose -m - 5*n + 4927 = 0, -n + 9830 = 2*m + 3*n. Is m a composite number?
True
Suppose -362 = -5*j + 4*j. Let y = 655 - j. Is y a prime number?
True
Let c = -24 + 31. Let y = -6 + c. Is 186 + (4 + -3)/y a prime number?
False
Suppose 6*i + 29*i = 102655. Is i a prime number?
False
Let y(x) = 2*x**2 + 10*x + 3. Let d be y(-4). Is (-2)/(((-20)/(-4642))/d) a composite number?
True
Let g = -32230 + 113735. Is g a prime number?
False
Suppose -5*z + 26 = 3*k, -37 = -k - 5*z - 15. Let j be 6*(-1)/2*476/(-42). Suppose -k*u - 8 = -j. Is u prime?
True
Suppose 8*b - 2000 = -2*b. Let n = b + -87. Is n a composite number?
False
Suppose -5*f + d + 46 = 0, 4*f - 2*d = -f + 47. Let y = -6 + 18. Suppose y*x = f*x + 633. Is x a prime number?
True
Let p = 51412 - 33469. Is p a prime number?
False
Let q(p) = -16*p - 2. Let u be q(-2). Suppose 5*t - z = u, 2*t - 24 = -2*t + 3*z. Suppose -t*m + 2*m + 1004 = 0. Is m prime?
True
Let g(y) = 7*y**3 + 0*y**3 + 2*y**2 - 3*y**3 - y - 3*y**3 - 1. Let p be g(-2). Is (1 - -12)*5/p composite?
True
Suppose 0*b = -5*b + 245. Let p(f) = -b*f + 1 - 5 - 2 - 4. Is p(-9) composite?
False
Let y = -2461 + 35838. Is y prime?
True
Let k(q) = 9*q**3 - 6*q**2 - q - 17. Let z(c) = -c + 13. Let a be z(8). Is k(a) a prime number?
True
Suppose 18*b = 3*o + 13*b - 15082, -2*o + 10062 = 4*b. Is o a composite number?
True
Let g(c) be the second derivative of 254*c**3/3 + 2*c**2 + 8*c. Let q be g(4). Suppose -7*z + 11*z - q = 0. Is z composite?
False
