+ t, -u*g + 39 + 343 = -3*t. Is g a composite number?
True
Let k(j) = 4*j + 7. Let z be k(18). Is ((-191)/4)/((-4)/(1 + z)) prime?
False
Let a(k) = 48*k**2 + 25*k + 1. Is a(6) a composite number?
False
Suppose 0 = -7*x - 1739 + 5876. Is x a prime number?
False
Let k = -561 - -807. Let n = -164 + k. Is n prime?
False
Suppose -3252 = -3*s - 3*r, -3*s + 5*r - 663 + 3899 = 0. Suppose -4*o + s = 2*t, 3*o + 1279 = 4*t - 885. Is t a prime number?
True
Let y be 5 + 6 + -8 - 492/(-1). Let n = y + -304. Is n a prime number?
True
Is -3 - -14 - (-1 + -41877) prime?
False
Suppose 4*k - d - 2*d - 25 = 0, -2*k = 3*d - 17. Let c(f) = 45*f**2 - 6*f - 6. Is c(k) a composite number?
True
Is ((-1)/3*-1)/(6/602622) composite?
False
Let r(s) = 339*s + 9. Let n be r(-2). Let v = -274 - n. Is v a composite number?
True
Suppose -11*c + 15*c = 6152. Is c a prime number?
False
Let u(m) = -m**3 - 7*m**2 - 2*m - 10. Let y be u(-7). Suppose -y*a + 514 = -82. Is a composite?
False
Suppose 39*x + 524 = 43*x. Is x prime?
True
Suppose -q = -2*j + 830, 1754 = 4*j + 4*q + 94. Let y = j + 374. Is y composite?
True
Suppose -72*u + 8*u + 16753856 = 0. Is u a prime number?
False
Let t be -6*(-2 - (-3)/2). Suppose 0 = t*a - l - 25, -4*l = 2*a - a - 4. Suppose 1004 = a*s - 4*s. Is s a composite number?
False
Suppose 2*h - 4*k - 35317 = -3*h, -h + 7052 = 3*k. Is h a composite number?
True
Let d(k) = -31*k**2 + 3*k - 14. Let r(v) = -32*v**2 + 3*v - 13. Let t(m) = 6*d(m) - 7*r(m). Is t(-6) a composite number?
True
Let d(w) = -404*w - 6. Let a be d(3). Is (a/(-9))/((-4)/(-6)) a prime number?
False
Let s(g) be the third derivative of 0 + 7*g**2 + 13/15*g**5 + 0*g + 1/12*g**4 + 5/6*g**3. Is s(3) a composite number?
False
Let r(v) = -v**3 + 4*v**2 - 4*v + 7. Let n be r(3). Suppose 4*l + 266 = 2*o, -o - n*l = 4*o - 623. Is o composite?
False
Let m(o) = 6*o - 7. Let i be m(1). Is (-1)/((-2)/(-2922)*i) prime?
False
Let z = 1070 + -183. Suppose 5*f - 4*l - 1551 = -64, 0 = 3*f - 5*l - z. Is f composite?
True
Suppose q + 4*q - 5 = 0. Let a(v) = 354*v**3 - v + 2. Is a(q) a prime number?
False
Is -29242*(1/2 + 12/(-12)) a composite number?
False
Let y(a) = 45*a - 2. Let w(d) = d + 1. Let p(l) = -10*w(l) - 2*y(l). Let i be p(-6). Suppose -2*q + i = -2*h, -4*q + h = -4*h - 1192. Is q a composite number?
False
Suppose -11 = -b - i, 5*b + 0*i = 2*i + 34. Suppose -4*j - 5*d = 691, -522 = 3*j + 3*d - 0*d. Let w = b - j. Is w prime?
False
Is -7 + 1 - 173179/(-61) a prime number?
True
Let n(j) = -j + 2. Let s be n(3). Is (s + -1)*(-924)/24 prime?
False
Let a = -1230 + -893. Let j = -370 - a. Is j a composite number?
False
Let t be -2181*(-9 + 0 + 8/6). Suppose 4*p + 16723 = 5*j, -p - 2*p - t = -5*j. Is j composite?
False
Suppose 17 = -3*b + 74. Let q = -27 + b. Is -4*(-3 - (-502)/q) composite?
False
Let y(a) = a**3 - 6*a**2 - 4*a - 16. Let o be y(7). Suppose 0 = -s + 1 + o. Is 877/(-4 + s + -1) a prime number?
True
Is 4/20 + 106392/65 composite?
False
Let v be 2648/20*10/4. Let i = v + -679. Let x = -55 - i. Is x a composite number?
False
Suppose 12*x = 15*x. Let u be -3 - (-3 - x - -1111). Let z = u - -1602. Is z prime?
True
Let n(g) = 2*g**2 + 22*g + 31. Suppose -2*t = -3*y - 41, y = 2*t - 5*t - 32. Is n(y) composite?
True
Let o = -1067 - -2758. Suppose 2141 + o = 8*f. Is f a composite number?
False
Let q be (-407)/77 - (-2)/7. Is (4 + q)/(1/(-237)) composite?
True
Suppose -h + 2*x + 8 = 0, -3 = 4*h + 10*x - 11*x. Is ((-389)/2)/((7/h)/7) prime?
True
Let r(f) be the first derivative of f**4/4 + 2*f**3 - 4*f - 1. Let d be r(-6). Is (-3 + 226)*(-3 - d) a composite number?
False
Suppose -30*o + 459 = -228651. Is o prime?
False
Suppose 2*n + 4*h = -206, -3*n + h = -3*h + 309. Let o = n - -170. Is o composite?
False
Let t(m) = 42*m - 2. Let o be 4 + -5 + 7 + -4. Is t(o) prime?
False
Let g(x) = -2*x**3 + 2*x + 2. Let q be g(-1). Let b(n) = -n**3 + 3*n**2 - n - 1. Let p be b(q). Let u = 22 + p. Is u prime?
True
Let w(q) = 1453*q + 26. Is w(21) a composite number?
False
Is (0 - 2) + (-20853)/(-14 + 7) a composite number?
True
Suppose r = -z + 2308, -11508 + 2306 = -4*r + 2*z. Let x = r - 1560. Is x composite?
False
Let g(y) be the third derivative of y**5/30 - y**4/2 + 17*y**3/6 + y**2. Is g(12) prime?
False
Let m(b) = -2 - 1 - 2*b**2 - 2*b**2 - 58*b**3 + 60*b**3. Let o be m(4). Suppose 5*l = -3*g + o, g + 51 = 3*l - 2*g. Is l composite?
True
Suppose -4*x - 254 - 762 = 0. Let i = x - -399. Is i prime?
False
Let s = 13 + -8. Suppose -s*x + 10 = -10. Let f(u) = 40*u + 1. Is f(x) composite?
True
Suppose -10*w + 4039 = 4*f - 9*w, 0 = -w + 3. Is f a composite number?
False
Let s = 45545 - 19676. Is s prime?
False
Is 13747 + 2 + 12/(5 + 1) a composite number?
False
Let k be (345/(-9))/((-3)/(-9)). Let g = k + 306. Is g a composite number?
False
Let q(l) = 28*l**2 - 9*l + 109. Is q(10) a composite number?
False
Let p(w) = -98*w - 2. Let y be p(-4). Suppose 6*q + y = 7*q. Let x = q + -269. Is x composite?
True
Let t be (4/(-6))/(4/18). Let j be 4*(t + 2) - -12. Is 1902/24 + (-2)/j composite?
False
Let r(d) be the third derivative of d**6/120 - 7*d**5/30 + 19*d**4/24 - 3*d**3/2 - 13*d**2. Is r(14) prime?
True
Suppose -2*o - 4*o = 12. Is (-12 + 2333)*o/(-2) prime?
False
Let v(z) = 134*z**2 - 17*z - 49. Is v(-8) a composite number?
False
Let d(z) = -548*z + 195. Is d(-29) a composite number?
False
Let w(c) = 3*c - 20. Let h be w(7). Is (3048/(-48))/(h/(-2)) prime?
True
Suppose -5*z + 616 + 3134 = 0. Suppose 3*g - 987 = z. Is g composite?
True
Suppose 0 = 5*d - 5, 0*d = -2*i - 3*d + 1779. Suppose -5 = -5*x + 5. Suppose x*r - z = 254 + 184, 0 = 4*r + z - i. Is r prime?
False
Let d(a) = a + 8. Let f be d(-6). Suppose -191 = -2*v + v + 4*m, 3*v - 560 = -m. Suppose -f*h + v = 33. Is h composite?
True
Let a = -43 - -67. Suppose 2*u - 4*u + a = 0. Is 1958/u - (-8)/(-48) composite?
False
Suppose 0 = 3*f + 3*u - 7143, 0 = -2*f + 3*f + 5*u - 2361. Suppose 2*a - f - 3780 = 0. Is a a composite number?
False
Suppose 12767 = 4*j + 1783. Suppose 2*n - 268 - j = 0. Is n prime?
False
Let u = -93 - -92. Is ((-6)/12)/(u/530) a prime number?
False
Let f(w) = 42*w + 1. Suppose 4*n - 7 = 13. Is f(n) a prime number?
True
Let p(r) = 2*r**2 + r + 4. Let a be p(0). Suppose a*f - 14065 = -3245. Is f a prime number?
False
Suppose 5*v - d = 50, 5*v = -3*d + 8*d + 70. Let c(u) = 3 + 45*u + 8*u - 5*u - 8 + 28*u. Is c(v) prime?
False
Suppose 62 - 25102 = -16*s. Is s a prime number?
False
Let s(j) = -9*j - 4 - 1 + 0 - 85*j. Let a be s(-2). Suppose d - 110 = a. Is d a prime number?
True
Suppose -3*y + 17 + 10 = 0. Suppose -5*w + 904 - y = -q, -358 = -2*w - q. Is w a composite number?
False
Let l = -47 - 27. Let i be 6*l*1/(-4). Let v = i - -340. Is v prime?
False
Let z(x) = -77*x + 31. Is z(-8) composite?
False
Let f = 7 - -69. Suppose -12*x + f = -8*x. Suppose x = 2*l - l. Is l a composite number?
False
Let n(i) = 3747*i + 1187. Is n(28) a composite number?
False
Suppose 0*a = 32*a - 135712. Is a prime?
True
Suppose 9123 = -0*f + 3*f. Is f a composite number?
False
Suppose 5*s - c - 1591 = 0, 5*s - 4*c = 699 + 880. Is s composite?
True
Let l = 128 + -78. Let y be 30/l + 544/10. Is (y/44)/((-1)/(-76)) a prime number?
False
Let y(n) = n - 13. Let p be y(15). Let r(w) = 2*w**p + 4*w - 9 + 5 - w. Is r(-11) prime?
False
Let i(b) = -8*b**3 - 2*b**2 + b - 1. Let w(n) = -23*n**3 - 5*n**2 + 3*n - 2. Let o(j) = 17*i(j) - 6*w(j). Is o(4) a composite number?
True
Suppose -3*r = -3*f + 549, -4*f + 737 = -0*f + r. Suppose -2*t + 3*q = 319, -q - 123 - f = 2*t. Let v = t + 346. Is v a prime number?
True
Suppose -2*y + 28 = 4*w, 0*w + 15 = 3*w. Suppose -6*j = -y*j - 4310. Is j composite?
True
Let g(z) = -z**2 - 6*z + 4. Suppose 2*k + 13 = -a - 1, 3*k + 10 = 4*a. Let p be g(k). Suppose m = 3*m - 4*b - 34, 0 = m + p*b - 29. Is m composite?
True
Let v = -6 + 61. Suppose 4*a + 0*a - 1064 = 0. Let b = a - v. Is b composite?
False
Suppose -2*a - 248402 = -5*q - 3*a, 0 = 4*a + 12. Is q a prime number?
True
Is (-8)/(-60) - (-3619759)/195 prime?
False
Suppose 2*z + 2*r = 1356, 3*z = -0*r + 3*r + 2004. Suppose -2*j + j + z = 0. Is j a composite number?
False
Let h be -5 + 15/4 - 1/(-4). Is ((-2)/(-6) + h)/((-4)/13074) a prime number?
True
Suppose 7*b + 1500 = b. Let n = 85 + b. 