3 = 2*x + 81. Let z be (-1101)/(-7) - (-2)/(-7). Suppose -3*g + z = 5*i, 0 = 5*g - g - 5*i - o. Is g a composite number?
False
Let h be (-1)/3 + (-19)/(-3). Is 1508/h + (-8)/24 a prime number?
True
Suppose 0 = 3*k + 2*k - 15. Suppose 3743 = k*v - 670. Is v a composite number?
False
Suppose 0 = -5*i + 15*q - 16*q + 16314, 4*i - 13055 = 3*q. Is i composite?
True
Let y be (16/(-14))/(9/(126/(-4))). Suppose 0 = -0*q - 2*q - d + 7274, -y*d - 18185 = -5*q. Is q prime?
True
Let s(d) = 2*d**3 - 12*d**2 + d - 2. Suppose 0 = n - 3*n + 22. Is s(n) a composite number?
True
Let x(n) = n**3 - 5*n**2 - 5*n - 4. Let s be x(6). Suppose -s*t + 67 = -43. Suppose -d = -m - t, -3*m - 179 = -5*d + 96. Is d prime?
False
Suppose 3*j = 91*i - 96*i + 100151, -4*j = -4*i - 133492. Is j a composite number?
False
Let y(l) = l**3 - 9*l**2 + 15*l - 9. Let g be y(8). Suppose 52*i - g*i - 2095 = 0. Is i composite?
False
Let l be (-8)/(-28) - (-172)/(-14). Let h be (-8)/(-48) - 34/l. Suppose -h*f = -6*f + 1437. Is f a composite number?
False
Let m(n) = 37*n**2 + 7*n + 71. Is m(15) a prime number?
True
Let q be ((-5)/(5/6527))/1. Let d = -4366 - q. Is d composite?
False
Let k(x) = 501*x**2 - 4*x - 14. Is k(-5) a prime number?
False
Is (14/42)/((-2)/(-1794)) a composite number?
True
Suppose -4*z = 35*w - 33*w - 29906, w = -z + 14958. Is w prime?
False
Suppose -4896 = -q + h + 8594, 0 = q + 2*h - 13505. Is q a composite number?
True
Let i(t) = -154*t**3 - 3*t + 4. Let p be i(2). Let g = -483 - p. Is g a composite number?
False
Let x be (-108)/(-30) - 3/5. Suppose 3*s = -x*f + 945, 3*f + s - 940 = 3*s. Is f composite?
True
Let j(o) = -o**3 + 7*o**2 - 6*o - 10. Let d be j(6). Is ((-65)/d - 5)*674 prime?
False
Let h(w) = -2*w. Let j be h(-6). Let y = j + -8. Suppose k + 429 = y*k. Is k a prime number?
False
Suppose 4*d - 1918 = -5*s, s + 2 = 2*s. Let z = -314 + 562. Suppose d = 5*f - z. Is f a composite number?
True
Let l(i) = -39*i + 61*i - 33 + 62*i. Is l(6) composite?
True
Let i(k) = k**3 + 6*k**2 + 5*k - 1. Let x be i(-5). Let d be x*3*(-1948)/(-12). Let q = d - -884. Is q a composite number?
False
Suppose -i + 4*i + 2607 = 0. Let c = i - -1570. Is c prime?
True
Suppose -5*k + 22081 + 4834 = 0. Is k a composite number?
True
Let t(c) = -200*c + 99. Is t(-10) a composite number?
False
Let v(u) = 66 + 134 + 57 - u. Let b(q) = 2*q - 257. Let k(n) = 2*b(n) + 3*v(n). Is k(0) composite?
False
Let o = 15447 + -1806. Is o a prime number?
False
Suppose 20*v = 22*v - 4358. Is v composite?
False
Is (-9)/((-117)/2) - (-64751)/13 a prime number?
False
Suppose -w = 4*j - 80, 5*w - 1 = -3*j + 2*j. Suppose o = -3 + j. Let q = o + 3. Is q composite?
True
Is (2 - 420390/(-26)) + (-12)/(-78) a prime number?
False
Suppose 28*q - 544677 = 7*q. Is q composite?
True
Let y(c) = c**3 + 51*c**2 - 8*c + 99. Is y(-32) prime?
False
Let b = 38 - 39. Is (-1781 - -7)/((-1 + b)*1) composite?
False
Suppose g - 5*k - 436 = 0, -g - k + 454 = -0*k. Suppose 3*l = -l + 2*b + 882, 0 = -2*l + 3*b + g. Let a = -5 + l. Is a prime?
False
Let q(f) = 49*f**2 - 3*f + 2. Let z be q(2). Suppose 3*x = -a - z, 0*a - 195 = 3*x + 2*a. Is 2/(-7) + (-13311)/x composite?
False
Suppose 8*d - 60 = 3*d. Let z be (d/(-8))/3*-4. Suppose o + 3*c - 121 = 0, -z*c - 639 = o - 6*o. Is o prime?
True
Suppose -n = 5, -a - 2*a - 7 = 5*n. Suppose a*x - 863 = -5. Is x a composite number?
True
Suppose -5*m - 3*r = -3 - 3, 4 = 2*m + 2*r. Suppose -5*o - 3*g + 33 = m, -5*g = -2 - 3. Let x = 85 - o. Is x composite?
False
Let x = 10 - 23. Let r = -9 - x. Suppose -59 = -r*j + 161. Is j a composite number?
True
Let g = 180 - 3. Let y = 351 - g. Suppose -d = d - y. Is d composite?
True
Suppose -4 = -2*n - 0. Suppose -3*q = n*q - 605. Is q a prime number?
False
Suppose -w = -4*w + 15. Let l(a) be the third derivative of 7*a**5/60 - 7*a**4/24 + 5*a**3/6 + 12*a**2. Is l(w) a prime number?
False
Let x(c) = -5*c**3 - 3*c**2 + c + 12. Let s be x(-5). Suppose -b + 284 = -50. Let q = s - b. Is q composite?
False
Let k = -7 - -11. Suppose -3 = k*l + 2*n - 17, 0 = -2*l + n + 5. Suppose 3*w = -l*w + 582. Is w a prime number?
True
Suppose -4 = -4*k + 3*k. Suppose -k*o + 643 = y, -4*y + 478 = 3*o + y. Let d = o - 106. Is d a prime number?
False
Let k(f) = f**3 + 19*f**2 + 4*f + 13. Is k(-14) composite?
False
Let l(i) = i**2 - 2*i - 1. Let k be l(0). Is -1*(-2)/k + 1101 a composite number?
True
Suppose 5*q - 7871 + 966 = 0. Suppose q = 3*x - 3062. Is x a composite number?
False
Suppose 2*r + 8*r = 2490. Is r - -1*(-1 + 3)*1 a composite number?
False
Let c be (-1)/((-5)/32075) - 3. Let h = -4275 + c. Is h prime?
True
Let m = 12051 + -4490. Is m a prime number?
True
Let y(b) = 277*b - 23. Let p(g) = 276*g - 22. Let a(w) = -4*p(w) + 3*y(w). Is a(-8) a composite number?
False
Let s be 42/12 - (-3)/2. Let o be (-112)/(-20) - (-2)/s. Suppose o*k - 1115 = k. Is k prime?
True
Suppose -a + r = -1134, 4*a = 2*r + 664 + 3878. Is a a prime number?
False
Let d = -117838 + 172237. Is d prime?
False
Suppose g = -2*g + 12, 2*r - 11706 = 2*g. Suppose -183 = 2*z - r. Is z a composite number?
False
Let q(d) = -3*d**2 + d**3 - 2*d + 1 + d + 3*d**2. Let z be q(3). Let r = z - -54. Is r a prime number?
True
Let y = 1 - -3. Suppose y*f = -0*f + 3*a + 266, -5*f + 331 = -3*a. Let p = -34 + f. Is p a prime number?
True
Let w(h) be the first derivative of 3*h**3 + h**2/2 - h + 8. Is w(-6) prime?
True
Suppose -2597 = -3*u + d, -u = -3*u + 3*d + 1743. Let i be 1*(1 + -3) + u. Suppose -k + 3*j + 31 = -180, -3*j - i = -4*k. Is k prime?
False
Let x = -73 + 85. Is (58*1/4)/(x/456) prime?
False
Let t(w) = w**3 - w**2 + w + 578. Let u be 0 + (-3 - -1) + 2. Let a be t(u). Let n = 1287 - a. Is n a prime number?
True
Let m(c) = 2*c**3 - 8*c**2 + 3*c - 95. Is m(18) a prime number?
False
Let f(h) = 192*h**2 + 2*h + 21. Is f(-25) a prime number?
True
Suppose 0 = 4*u + 36 + 16. Let i(f) = 2*f**2 + 2*f - 6. Let n be i(u). Suppose 0 = -4*k - 2*d + 3*d + 314, 4*k - n = 5*d. Is k composite?
False
Let i(h) = -17*h**3 - 3*h**2 + 19*h - 6. Let t = 73 + -78. Is i(t) a composite number?
False
Is 3770/5 - (10 - -1) prime?
True
Suppose 3*o + 4*u - 692 = -o, 3*o - 518 = -4*u. Suppose -3*v + 2*q = -o, 0 = -5*v + 3*q + 195 + 95. Let w = v + 21. Is w a composite number?
False
Suppose 4*s + 4*j - 99464 = 0, -s + 74616 = 2*s - 3*j. Suppose 13*n - s = -0*n. Is n composite?
False
Is 1/10 - 7982091/(-390) composite?
True
Suppose 0 = -3*i - c + 370, i = -4*i - 5*c + 610. Is ((235/(-10))/((-2)/i))/1 prime?
False
Let w = 94 + 155. Is w prime?
False
Is 140/10 + -8 - -20665 composite?
True
Let t(y) = y**2 + 12*y + 12. Let k be t(-12). Is (0 - (-6)/9)/(k/2538) a composite number?
True
Let z(j) = 44*j**2 + 24*j - 31. Is z(10) a prime number?
False
Let c(t) = -t**3 + 2*t**2 - 47. Is c(-26) a composite number?
True
Suppose -5*f = 2*a - 2409 - 1179, 0 = -5*f + 3*a + 3568. Suppose -f = -3*l - 83. Is l a prime number?
True
Let y(i) = 355*i + 6. Is y(19) composite?
True
Let c = -72207 - -118940. Is c a prime number?
False
Let a(t) = 100*t**3 + 2*t**2 - 11*t + 6. Let u be a(4). Suppose 3*j - u + 1639 = 0. Is j composite?
True
Let b be (-6)/9*(-15)/2. Suppose 0 = -4*d - b*s - 600 - 113, 5*s - 880 = 5*d. Is d/(-3) + -3 + 3 a prime number?
True
Suppose 5*w - 3*s - 27 = 37, 2*s = 5*w - 66. Suppose -w*a - 887 = -15*a. Is a prime?
True
Suppose 3*b = m, m - 5 = 5*b - 3. Is 1 - (-2*(-237)/m + 2) composite?
False
Let r(w) = w + 14. Let f be r(0). Let u be (-20)/70 - (-396)/f. Let a = -9 + u. Is a prime?
True
Let g(j) = j**2 + j - 1. Let i(o) be the third derivative of 17*o**5/30 + o**4/12 - o**3/6 + o**2. Let l(b) = -6*g(b) + i(b). Is l(-4) a prime number?
False
Suppose 0 = 5*q - 5*f - 3730, -2966 = -q - 3*q - 2*f. Is q prime?
True
Suppose 0 = 6*g - 117183 + 32541. Is g prime?
True
Let j(w) = w - 1. Let k(r) = 5*r - 313. Let h(t) = 6*j(t) - k(t). Is h(0) prime?
True
Let t = 1 - -3. Suppose -567 = -2*m - 5*q + 2188, 0 = m - 3*q - 1372. Suppose -t*h = -m - 7501. Is h a prime number?
False
Let s be 2030/(-5)*(-9)/(-6). Is -15*(s/18 - 2/(-12)) composite?
True
Let p(k) = 10*k - 2. Let i be p(4). Let h = -23 + i. Is h a composite number?
True
Suppose -9244 = -h + 3*m, 2*h = 9*m - 8*m + 18513. Is h a composite number?
True
Is ((-62994)/21)/(4/(-14)) a prime 