ue
Suppose -q = q - 10. Let p = q + -3. Suppose -p*w = 2*w - 4*s - 352, -3*w + 274 = -5*s. Is w a prime number?
True
Let n(h) = 360*h + 47. Is n(8) a composite number?
False
Let c = -2993 - -2012. Let g = -682 - c. Suppose -g - 724 = -5*d + 2*s, 12 = -3*s. Is d prime?
False
Suppose 0 = -4*a - 15 + 35. Let h(k) = 12*k**2 - 2*k + 3. Is h(a) prime?
True
Suppose -5*i + 10634 = u, -5*u + 59132 = 2*i + 5939. Is u composite?
False
Let o(m) = 15*m**2 - 14*m - 9. Is o(8) prime?
True
Suppose 7*m + 32 = 3*m. Let f = 9 + m. Is f + -1 - 99/(-3) composite?
True
Suppose f + n = -3*f + 24690, f - n - 6175 = 0. Is f a prime number?
True
Suppose -10483 = -3*y - 4*d + 1452, -3*y = 2*d - 11945. Is y a composite number?
True
Suppose 3*c + t - 19989 = 0, 9*t - 7*t - 33315 = -5*c. Is c a prime number?
False
Suppose 0 = -t + 3*t - 2370. Is 0 - (-2)/(6/t) prime?
False
Let k(r) = 15*r**2 - 32*r + 2. Is k(17) prime?
True
Let c(q) = -903*q + 4. Is c(-1) prime?
True
Let a(i) = -i**3 - 10*i**2 - 10*i. Let w be a(-9). Let o be w/12 + 9/4. Suppose -o*q - 114 = -495. Is q composite?
False
Let p = 19 - 11. Let q(c) = -c**2 + 9*c - 6. Let g be q(p). Suppose g*d - 434 = -0*d. Is d prime?
False
Let o be 2/6 - (2 + 14372/(-12)). Let z = -549 + o. Is z a prime number?
True
Let m = -14331 + 21446. Is m prime?
False
Let n(g) = 14*g**2 + 11*g - 13. Suppose -2*o - 1 = 3, -2*o = -2*y + 16. Is n(y) a composite number?
False
Let b = 6027 - 2524. Is b prime?
False
Suppose 18*r + 12626 = 19*r + 5*n, -2*r = n - 25207. Is r a composite number?
False
Let h(t) = t**3 + 9*t**2 - 17*t + 21. Let f = 25 + -35. Is h(f) composite?
True
Suppose 5*g - 20 = -0*g. Suppose 0*r + 5*r + 5*b = 745, 614 = g*r - 5*b. Let j = 242 - r. Is j a prime number?
False
Let f be (-14)/(-70) + 6/(-5). Let s be (-15)/((-3)/(-1)) + f. Is 2/s*-318*1 a prime number?
False
Let w(g) = -39*g - 68. Is w(-33) composite?
True
Let i = 23 + -22. Let n be (5 - i) + -1*1. Suppose 159 = -n*a + 6*a. Is a prime?
True
Suppose 8 = 3*x + x. Let u(t) = -2*t - 1 + 7*t + 9*t**x - 9*t. Is u(4) prime?
True
Let c(t) = t**3 - 2*t**3 - 2*t - 8*t**2 + 2*t + 4 - 6*t. Let g be c(-7). Is (g/(-2))/((-1)/(-86)) composite?
True
Suppose 0*h + 3*h - 1755 = -3*z, 1156 = 2*h - 5*z. Is h prime?
False
Let i(d) = 23*d**2 - 175*d + 19. Is i(14) prime?
False
Let c be 6/(-8) + 11746/56. Suppose 5*p + c = -v + 4891, 2*v = 4*p - 3754. Is p a composite number?
False
Suppose 3*h - 740 = -3*n + 799, 3*n - 4*h = 1518. Suppose 13*c - 7*c - n = 0. Is c prime?
False
Let f(b) = b**2 + 6*b + 5. Let x be f(-5). Let u = -187 + 213. Suppose x = m + u - 85. Is m prime?
True
Let u(o) = 2*o**2 + o + 26715. Let c be u(0). Is (-2)/(-11) + c/143 prime?
False
Is (-520240)/(-19) - 11/209 prime?
False
Let s(o) = 220*o - 3. Let k(f) = -2*f**3 + 17*f**2 - 7*f. Let q be k(8). Is s(q) a composite number?
True
Suppose 3*w = 4168 + 3269. Is w composite?
True
Let v(l) = 142*l + 9. Let u be v(10). Suppose -3*j - u - 657 = -5*p, 4*p - 2*j = 1670. Is p prime?
True
Suppose 0 = 83*s - 69*s - 534898. Is s a prime number?
False
Let i be (-10)/6 + 8/(-6). Is 1033 - i - 0 - (-12)/4 a prime number?
True
Suppose 0 = -u - 2*u + 2*q + 4593, 3*u = 5*q + 4593. Is u composite?
False
Suppose 2*p + 734 = 3*p. Let z = 1271 - p. Is z composite?
True
Let y = -53 - -78. Let o be 16/(-96) - y/(-6). Suppose 3*m - 5*h = -438 + 2063, -2*m = -o*h - 1082. Is m prime?
False
Let f = 12 - 10. Suppose 2*j + 5 = y - 0, -f*j = y + 11. Is (-286)/(-2) + (-1 - y) a composite number?
True
Let q = 6 - -4. Suppose -t + 4*l + 11 = 0, -l = 4*t + l + q. Is (t + 11)*5/2 a prime number?
False
Let c = 7509 - 4472. Is c composite?
False
Suppose -10*y + 42*y - 511008 = 0. Is y prime?
False
Suppose -9 = 5*i + 16. Let p = -1 + i. Is (487/p)/(7/(-42)) prime?
True
Let g(d) = -d**2 + 49*d - 65. Is g(41) a composite number?
False
Let a = -30 + 33. Let u be (-4 - -1) + 331 + a. Is (-9 + 10)*u*2 a prime number?
False
Suppose 2*i - 14 = -g, 7*g - 2 = 4*g + 2*i. Is ((-15)/g - -4)*(-1 - -2165) a composite number?
False
Let z = -4952 + 7518. Is z composite?
True
Let m be (7 - 5) + (1 - -1). Let q = 7 + -2. Suppose 0*t + t = q*d + 223, 3*t - m*d - 625 = 0. Is t a prime number?
False
Suppose 12612 = -n + 31597. Is n composite?
True
Let m(y) = 118*y**2 + 39*y + 52. Is m(-11) prime?
True
Suppose -7*u - 4*p + 3381 = -2*u, 3*p = -2*u + 1358. Is u prime?
True
Let j = -113 - -113. Suppose 5*q + j*w - 3*w - 2885 = 0, -2885 = -5*q - 2*w. Is q a prime number?
True
Let y(c) = 255*c**3 - c**2 - c + 1. Is y(1) a composite number?
True
Let p(s) = 20*s**2 + s - 4. Let j(z) = -20*z**2 - z + 5. Let c(g) = 3*j(g) + 4*p(g). Let t be c(-2). Suppose t = 2*m - 311. Is m prime?
False
Suppose -1907 - 307 = -5*a + b, 5*a + 2*b = 2217. Is a composite?
False
Let q = 3048 - 1363. Is q composite?
True
Let m(b) = -7*b + 6*b + 3 - 2. Let t(v) = -41*v. Let h(f) = -6*m(f) + t(f). Is h(-11) composite?
False
Let q(h) = 144*h**2 - 53*h - 12. Is q(-13) prime?
True
Let o be ((-1)/(-3))/(28/26124). Suppose -o*l = -316*l + 17705. Is l composite?
False
Is ((-2)/(18/57) + 2)*-327 a composite number?
True
Suppose -55*i - 510670 = -65*i. Is i a composite number?
True
Let m(u) = u**2 + 15*u - 29. Let z(p) = -p**3 - 4*p + 4. Let w be z(2). Let y be m(w). Is (-5434)/y - 3/5 prime?
True
Let j(n) = 371*n - 8. Suppose -5 = -0*x + 2*x + 5*c, -x + c + 8 = 0. Is j(x) a composite number?
False
Suppose -14504 = -y - 5*c, -2*y - 2*c - 28948 = -4*y. Is y a prime number?
True
Let r = -10098 + 14659. Is r a prime number?
True
Let x be (-460)/(-40)*1*6. Let v = x + 182. Is v prime?
True
Let z be (-1022)/4*108/(-63). Suppose 0 = -5*g - i + 722, -g - 2*g + i + z = 0. Suppose -g = -w + 150. Is w a prime number?
False
Let a = -2 + 3. Let r be 3/a + 1 + 0. Suppose -48 = -r*v + 308. Is v prime?
True
Let j be (-5)/((-10)/588) - -2. Is j/(-4)*(-3 - (-11)/(-2)) a prime number?
False
Let k(u) = 4*u - 4*u**3 + 3*u**3 - 9 + 3*u - 2*u + 7*u**2. Is k(4) a composite number?
False
Suppose -3168 = -4*x + 3*s + 1297, 3*s + 5582 = 5*x. Is x a composite number?
False
Suppose 0 = 85*f - 2*f - 518501. Is f a composite number?
False
Suppose -3*q = -15, 4*y + 1 = 3*q - 14. Suppose y = -d + 3*d - 4. Suppose -2*m - c = -80 - 282, -d*c + 545 = 3*m. Is m a prime number?
True
Let f(i) = i**2 + 8*i + 10. Let j(q) = -8*q**2 + q. Let w be j(1). Let v be f(w). Suppose -7 = v*h - 184. Is h composite?
False
Let p = -30021 - -42609. Is 4/(-6)*p/(-8) prime?
True
Suppose k - 4 = 8. Suppose -2*n = -4*h + 2*h, 0 = n - 4*h + k. Is 6/n + (-926)/(-4) composite?
False
Let z(j) = 25*j**2 + 4*j. Let h(d) = 16*d + 1. Let s be h(1). Suppose -3*k - 14 = -o, -4*o + 3 = -s. Is z(k) prime?
False
Suppose -2*o = 5*i + 16, -4*o - o = 3*i + 21. Let u = -96 + 180. Is u - (2 - 4 - o) a composite number?
False
Let j(d) = 172*d**3 - 16*d**2 - 8*d + 101. Is j(6) prime?
True
Let n(w) be the first derivative of 21*w**2/2 - 7*w - 5. Is n(10) prime?
False
Is 10/(-25) - (103924/(-10) + 1) prime?
True
Let k be 0*(1/2)/(-1). Suppose -35 = -u + 5*i, k = -3*u + 4*i - 2*i + 40. Is 1992/15 + 2/u a composite number?
True
Suppose 2*m - 7448 + 546 = -3*z, -4*m - 5*z = -13808. Suppose 0 = -3*d + 5*b + 2205 + 1268, b = 3*d - m. Is d a composite number?
False
Suppose g = -g + 8. Let k be 306/g - 2/4. Suppose -12*l + 10*l + k = 0. Is l a prime number?
False
Is (-74)/(-259) + (-7)/(49/(-96)) composite?
True
Suppose 7*p - 9*p + 108814 = f, 0 = 5*f + 3*p - 544035. Is f/72 - (-1)/(-6) a composite number?
False
Let u(f) = 3*f**2 + f + 101. Is u(-12) a prime number?
True
Suppose 0 = -6*t + 9481 + 2327. Suppose -z + 5*z - t = -h, -2*z = -2*h - 994. Is z a prime number?
False
Let v = 12 + -15. Let r(j) = -484*j + 9. Is r(v) composite?
True
Let f be 6/8 + 1629/4. Suppose -f = 3*n - 7*n. Suppose 5*j - 54 = -s, s - 3*s = 4*j - n. Is s prime?
False
Suppose 4*f + 3*n - 118 = -f, n - 116 = -5*f. Let y be 29 - (6/(-6) + -1 + 1). Let v = y - f. Is v a prime number?
True
Let s(v) = 415*v - 2. Is s(1) composite?
True
Let r(y) = 36*y**2 - 3*y + 4. Let n be (-3)/6 - (-15)/(-6). Is r(n) composite?
False
Let l(o) be the first derivative of -o**4/2 - 7*o + 11. Is l(-7) prime?
False
Let o(g) = g + 7. Let w be 14/21*(-21)/2. Let p be o(w). Suppose p = 5*d - 185 + 15. Is d composite?
True
Suppose 5*i - 81573 = 