+ 139, 4*c + 2*x + 658 = 0. Let a = c - -428. Is a prime?
True
Let y = -5 - -14. Let p be 0 + -3 + y/3. Suppose 3*j = 3, r - 5*j - 188 - 168 = p. Is r a prime number?
False
Let g be (-1 + 1)*(0 + (-2)/4). Suppose 2*i - 2 = g, -4174 = -3*v + 6*i - i. Is v prime?
False
Suppose -8 - 1 = -3*b. Is ((-166)/b)/(4/(-6)) a prime number?
True
Let g = 5 - 1. Suppose -4 = -6*t + 32. Is g/2 + (205 - t) composite?
True
Suppose -51*h + 55*h - 181512 = 2*i, 3*h = 4*i + 136139. Is h a composite number?
False
Let w(u) = u**3 + 14*u**2 - u - 16. Let o be w(-10). Let r(v) = v**3 + 8*v**2 + 7*v + 3. Let c be r(-9). Let y = o + c. Is y prime?
False
Let h(i) = 30*i**2 + 15*i**2 + 0*i + 12*i + 5 + 7*i. Is h(-6) composite?
False
Let i(q) be the third derivative of -3*q**2 + 0 + 0*q + 1/3*q**3 + 1/12*q**4 + 1/20*q**5. Is i(-3) composite?
False
Let f(g) = g**2 - 3*g + 3. Let o(u) = -3*u - 5. Let z be o(-3). Let k be f(z). Is 3 + k/((-28)/(-1664)) prime?
True
Suppose 19122 = 12*i - 6*i. Is i a prime number?
True
Suppose -8*l + l + 8988 = 0. Let v = 639 + l. Is v a prime number?
False
Suppose 3*c + 3 = -4*b - 10, 0 = 2*c + 6. Is 2/(2/133) - b prime?
False
Suppose 0 = x - 5*q - 15383, 2*x = 5*q - 6*q + 30810. Is x prime?
False
Suppose 0 = 8*r - 9*r - 5*o - 85, o = -4*r - 245. Is 2 - (-24)/(-15) - 52116/r a prime number?
False
Suppose 18 = r - 42. Suppose -18*b + 101 + 97 = 0. Let q = b + r. Is q a prime number?
True
Let f = -67580 - -106831. Is f a composite number?
False
Let a = -60 - -43. Let b be (-160)/(-2)*2/4. Let t = b + a. Is t a prime number?
True
Let w(u) = 121*u - 272. Is w(6) composite?
True
Suppose 20*a - 9 = 17*a. Let z be 2 - -2 - (a - 1). Suppose -5*s + 901 = z*m - 572, 0 = 5*m - 20. Is s a composite number?
False
Let f = 53706 + -25789. Is f a prime number?
True
Suppose 5*q - 104332 = -3*x - 10455, 4*x = 4*q - 75076. Is q prime?
True
Suppose -8842 = -2*b + 820. Is b composite?
False
Suppose 2*b = -21*b + 60973. Is b prime?
False
Let c be (-1)/(2/4 - 1). Let y = 213 - 213. Suppose 2*o - 1923 = -3*s, -3*o - 1282 = -y*s - c*s. Is s composite?
False
Let r(u) = 634*u + 75*u + 618 - 625. Is r(2) composite?
True
Let l(n) = -n**3 + 3*n**2 - 10*n + 1. Suppose -2*u + 0*u = 10. Is l(u) a prime number?
True
Suppose 2*f + 7837 = 5*y, 0*y + 3*f = -4*y + 6265. Is y a prime number?
True
Suppose -125*x = -119*x - 1266. Is x prime?
True
Let k(x) = 684*x + 193. Is k(11) composite?
False
Let d(b) = b**3 + 8*b**2 - 6*b - 6. Let t be d(7). Let z = t + 64. Suppose 0*h - h + z = 0. Is h composite?
False
Let n be (-4818)/(-5) - 9/15. Let w = n - 628. Is w a composite number?
True
Suppose 226 - 2562 = -4*w + 3*t, 0 = -5*t + 20. Is w a composite number?
False
Is 1222/(-2)*(12/(-4))/3 a composite number?
True
Suppose u - s = 12, -3*s + 0*s + 20 = 4*u. Let y = -3 + u. Suppose 3*l = y*w + 271 - 1182, 0 = 3*l + 6. Is w prime?
True
Let b(x) = x**3 + x**2 - 3*x + 4. Let t be b(5). Let g be t + (-5 - -2 - -7). Suppose m + 5*j = 5*m - 232, -4*j + g = 3*m. Is m a composite number?
False
Let u = -646 + 327. Let x = 570 + u. Is x prime?
True
Suppose 2*s + 12 = 4*s. Let r be s/15 - (-32)/20. Is 0/4 - (-138)/r a composite number?
True
Let p = -24331 - -42744. Is p composite?
False
Let h(s) = s**3 - 16*s**2 + 34*s - 1. Is h(14) a composite number?
False
Suppose -2*l + 1152 - 60 = 2*s, 0 = -5*l + 10. Let f = s + -173. Is f a prime number?
False
Let h = 163884 - 74303. Is h a composite number?
True
Let x = 750 + -423. Suppose 5*m + x = 2*m. Let f = m + 215. Is f composite?
True
Let m = 272 + -29. Suppose v + m = 884. Is v a prime number?
True
Suppose 5*o = 4*x - 11631, 4*x - 10092 = 3*o + 1541. Let j = x - 1548. Is j a prime number?
True
Suppose 0 = -3*s - 2*h + 33608 + 18189, 0 = 5*h + 25. Is s a composite number?
True
Suppose -5*v = -5*i + 2485, -i + 5*v + 328 = -185. Is i prime?
False
Let w(y) = -19700*y - 19. Is w(-1) prime?
True
Let w = -948 + 5131. Is w composite?
True
Let k(c) = 75*c**2 + 2*c - 2. Let a(n) = -150*n**2 - 5*n + 3. Let o(x) = 3*a(x) + 7*k(x). Is o(-3) a prime number?
True
Let g(n) = 73*n**2 - 6*n + 4. Let y(w) = -73*w**2 + 5*w - 3. Let r(k) = -4*g(k) - 5*y(k). Suppose 2*q = 4*o + 18, 4*q - 25 + 3 = o. Is r(o) a prime number?
True
Let t be (-4)/(-10) + (-1178)/(-5). Suppose 4*g - 608 = t. Is g a prime number?
True
Is (-4)/22 - (-172584)/88 composite?
True
Suppose 0 = 5*x - u - 11854, 19*x - 22*x + 5*u + 7108 = 0. Is x a composite number?
False
Let b be (-1115)/(-7) - 10/35. Suppose -q - b = -4*q. Is q a composite number?
False
Let i be 90646/14 + 2/7. Suppose -3*l + i = 4*x, -4*l + 3*x = 2874 - 11524. Is l prime?
True
Let d(h) = -h**3 + 14*h**2 - 13*h + 7. Let m be d(13). Suppose -m*f - 8 = -5*f. Is (-462)/(-12) - 2/f prime?
False
Let m be (75/2)/((-36)/(-1920)). Suppose -6*i + m = 230. Is i a prime number?
False
Let d(i) = -6*i + 32. Let h be d(7). Let v = h - -567. Is v composite?
False
Suppose h - 2*j + j - 3641 = 0, 5*j = -5*h + 18225. Is h prime?
True
Suppose 0*d + 8 = -4*d, 0 = w + d - 58. Suppose 5*o + 2*h = 279, -2*o + 27 = 3*h - 89. Let m = w + o. Is m prime?
False
Let f(a) = a**3 - 4*a**2 - 8*a - 9. Let m be f(8). Let q = -116 + m. Is q prime?
True
Suppose -4*o - 3 = -3*o, 0 = 3*y - 5*o - 5202. Suppose y = 4*m - 315. Is m composite?
True
Suppose 31 = -5*y + s, -3*s + 17 - 44 = 5*y. Let a = 6 + y. Is (-273)/(-13) - (a - -2) a prime number?
True
Let z(l) = l**2 + 12*l - 24. Let n be z(-14). Suppose -4*v = -3*a - 8017, -2*a = -n*v - a + 8019. Is v a composite number?
True
Let d(f) = 15*f**2 + 12*f - 19. Let k(m) = 15*m**2 + 14*m - 20. Let x(h) = 5*d(h) - 4*k(h). Is x(8) composite?
False
Suppose 196658 = -35*h + 1260273. Is h composite?
False
Suppose w = n - 54 + 22, -4*n + 162 = -5*w. Is w/51*(-1410)/4 composite?
True
Suppose -4*v + 6 + 6 = -4*q, 4*q - 20 = -4*v. Suppose 0 = v*p + 8, -5*l - p + 1523 = -0*p. Is l composite?
True
Suppose 0*m + 11 = -3*m + 5*w, -3*w + 9 = -m. Suppose 0 = 4*n - 2*n - 4*s - 3354, m*n - 4*s = 5025. Is n prime?
False
Let v be 3060/36*(-2)/2*-1. Suppose 4*c = 5*u - 1348 + v, 2*u = -4*c + 494. Is u composite?
False
Suppose -5*l + 2*a + 3*a = -1600, -3*l + 4*a + 956 = 0. Suppose t = 3*m + 4*t - l, 0 = 5*t - 10. Is m a prime number?
False
Let y be (2 - 9/4)*6704/(-4). Let h = y + -118. Is h composite?
True
Let b(k) = -2*k - 3*k + 6 - k + 0*k**2 + 8*k**2. Is b(2) composite?
True
Suppose 0 = 2*n - 48 + 8. Let r(s) = -5 - n*s + 7 + 3. Is r(-7) a composite number?
True
Let a = -1102 + 1973. Is a a composite number?
True
Let c = 3397 + -1661. Suppose 3240 = 3*a - 3*i, -2*a + i = -c - 421. Suppose 6*d = 3*d + a. Is d a composite number?
False
Let v = 9 - -5. Suppose -i - i = -v. Suppose -5*n = 4*c - i*c + 42, 0 = -2*c + n + 35. Is c prime?
True
Let n(o) = -334*o + 5. Let f(d) = 1671*d - 26. Let u(m) = -2*f(m) - 11*n(m). Is u(1) a prime number?
False
Is -10*14/(-35) + 1*13903 a prime number?
True
Is ((-48)/(-8) + 1145)/1 composite?
False
Is (0 + 3)*(-93476)/(-12) composite?
False
Let c(v) = v**3 + v**2 + v - 3. Let d be c(-3). Let u = 4 + d. Is 5/(-2)*3512/u prime?
True
Let f be (-1 - 1)/((-36)/54). Suppose a - 302 = -2*w - f*w, -5*w - 5 = 0. Is a prime?
True
Suppose 216 = 16*i - 216. Suppose -417 = -3*j + 135. Let h = i + j. Is h a composite number?
False
Suppose -2*r = -4*l + 4, -3*r + 4 = -r. Let n be -1*((-396)/2)/l. Let f = -64 + n. Is f composite?
True
Let q(v) = 7*v**3 - 39*v**2 + 23*v + 10. Let b(k) = 4*k**3 - 19*k**2 + 11*k + 5. Let d(s) = 13*b(s) - 6*q(s). Is d(6) a prime number?
False
Let r(q) be the second derivative of -23*q**3/2 + 4*q**2 + 4*q. Let j be r(-8). Suppose k + 4*b - 151 = b, -j = -4*k - b. Is k prime?
True
Let m(x) = -20*x + 29. Let q(f) = -10*f + 15. Let g(r) = -6*m(r) + 13*q(r). Is g(-9) prime?
False
Suppose -u + 5*q + 23 = 3*u, 0 = 5*u + 4*q - 80. Let f(z) = z**2 - 13*z + 16. Let v be f(u). Suppose 797 = v*t - 479. Is t a prime number?
False
Let o be ((-21)/14)/(6/(-32)). Let s be (o/(-10))/(4/(-20)). Suppose 0 = -s*y + 295 + 93. Is y prime?
True
Is ((-3)/4)/((-21)/50428) a composite number?
False
Let w(a) = 137*a**2 + 228*a - 13. Is w(8) composite?
True
Let l be (-10)/(-20) - 1150/4. Let n be (9/6)/(9/(-600)). Let a = n - l. Is a prime?
False
Suppose 4*s - 5*b = -38, 2*b + 13 + 18 = -5*s. Let m be 2/s - (-520)/7. Suppose 