e 5*u - 5 = 4*g + 23, -5*u = 2*g - 16. Let n = 8 + 1. Let w = g + n. Is w a composite number?
False
Suppose -3*w - 708 = -5439. Is w composite?
True
Let j(r) = r**2 - 10*r + 15. Let y(k) = k + 11. Let m be y(0). Let p be j(m). Suppose 0 = -2*u - 0*u + p. Is u a prime number?
True
Suppose 4*d - 4*g - 4408 = 0, 0 = -4*d + 5*g + 3272 + 1135. Is d prime?
True
Let k = 23 - 10. Let d = k + -4. Is d prime?
False
Let q = -329 - -578. Is q composite?
True
Suppose -v - k = -4*v - 177, -3*k = -3*v - 171. Let i(x) = 98*x**2 - 2*x + 1. Let y be i(1). Let q = y + v. Is q a composite number?
False
Let n = -27 - -19. Let j(a) = 2*a**2 + 9*a - 9. Let v be j(n). Suppose 3*t - v = t - 3*g, -5*g + 115 = 5*t. Is t composite?
True
Suppose 4*k + 8 = 0, 0 = -5*d + k - 10 + 197. Is d a prime number?
True
Suppose 0*k - 4*k = -28. Let u(t) = -t**3 + 9*t**2 - 3*t. Is u(k) a prime number?
False
Let i = -26 - -16. Is (-534)/i + (-2)/5 a prime number?
True
Is ((-27097)/14)/7*(1 + -3) a prime number?
False
Let z be 1/2*(-2 + 104). Suppose 3*o - 3*d - z = 0, -o + 25 = -2*d - d. Is o a composite number?
False
Let h = -250 + 467. Is h prime?
False
Let f(r) be the second derivative of r + 0 - 3/4*r**4 - r**2 - 3/2*r**3 - 1/20*r**5. Is f(-9) prime?
True
Let l be -70*(-3 + 4)*-1. Suppose -4*a + 282 - l = 0. Is a a prime number?
True
Let i = 16 - 7. Is -4*-2*i/12 a composite number?
True
Is 471/((27/(-6))/(-3)) a prime number?
False
Suppose -4*b + 2*s = -0*s - 7614, -3*s - 15 = 0. Is b a prime number?
True
Let x = 2 - -2. Suppose -4*l + 1024 = -76. Suppose -u + l = x*u. Is u prime?
False
Let z = 12 - 6. Let i = 10 - z. Suppose -i*c + 0*c + 508 = 0. Is c prime?
True
Suppose 0 = 3*p + 5*m - 196, 5*p - 2*m = -6*m + 331. Is p a prime number?
True
Suppose q + 2*o + 30 + 71 = 0, -3*q - 287 = -2*o. Let j be -37*(-7)/(14/8). Let u = q + j. Is u a composite number?
True
Let i be (5 + -1)/(2 - 1). Let r(f) = -f + 1. Let g be r(i). Is ((-3)/(-3))/(g/(-285)) composite?
True
Let r = -163 + 342. Is r a composite number?
False
Let g = 3063 + -1129. Is g a composite number?
True
Let t(z) = -z**3 - z**2 - z - 1. Let x(s) = 5*s**3 - 5*s**2 + 18*s + 11. Let y(l) = -6*t(l) - x(l). Let m = -8 + -3. Is y(m) prime?
True
Let y(r) = -r**2 + 6*r - 5. Let o be y(5). Suppose o*s = 3*s - 1335. Is s a prime number?
False
Suppose t = -21 + 85. Let u = t + -43. Let z = u - 0. Is z composite?
True
Suppose 0 = 2*f - 1195 + 449. Is f a prime number?
True
Let q be (-7)/21 - 2756/(-6). Let h = -261 + q. Let l = h - 59. Is l a prime number?
True
Is ((-1174)/3)/((-22)/33) composite?
False
Suppose -5*t + 101 = 426. Let w be 4/18 - (-3770)/(-117). Let b = w - t. Is b a composite number?
True
Let b(z) = -9*z + 11. Let m be b(-10). Suppose c + 483 = 4*l + l, -l + m = 2*c. Is l composite?
False
Let g(h) = h**2 + 4*h - 1. Let y be g(-4). Let u = y - -1. Suppose u*z - 24 = -b + 3*z, -3*b - 2*z = -105. Is b a prime number?
False
Let t(o) = -3*o - 6 - 2*o + 4*o. Let g be t(-8). Is -4 + (g - 0) + 135 prime?
False
Suppose 0 = -5*f + f. Suppose 4*h = -f*h + 340. Is h a composite number?
True
Let g = -2 + 2. Let l(z) = z**3 + z**2 + 2*z + 223. Is l(g) prime?
True
Suppose 18*r - 1367 = 487. Is r a composite number?
False
Let s(t) = 3*t**2 + t + 2. Is s(-4) a prime number?
False
Suppose 5*u - 2 = 4*u. Let t(w) = -3*w + 18*w - w**2 + u*w - 2*w - 4. Is t(13) composite?
True
Suppose a = 5*a - 20. Suppose -n + 29 = 4*u - 59, 0 = a*u + 3*n - 103. Is u composite?
False
Suppose -4*q + 25 = q, -p = -q - 14. Let b = p + 18. Is b a composite number?
False
Suppose 207*c = 204*c + 2661. Is c composite?
False
Is (18 + 1)*1/(-2)*-46 composite?
True
Let l be (-2)/10 - (-80)/25. Suppose l*c = -d + 2, -5*c + c = -2*d + 14. Suppose 1 + 19 = 5*j, -d*r - 3*j + 467 = 0. Is r prime?
False
Let y = -66 + 509. Is y prime?
True
Let q = -15 - -19. Let c(v) = -6*v**2 - 4*v + 5. Let k(g) = g**2 + g. Let x(j) = -c(j) - 3*k(j). Is x(q) composite?
False
Suppose 2440 = 2*l + 2*l + 4*p, 2*p + 2 = 0. Is l a composite number?
True
Suppose -3*a - 2*v + 7409 = 0, 0*v = -a - 4*v + 2483. Is a composite?
False
Suppose -a + 4*t + 787 = 0, 2871 = 4*a + 3*t - 372. Is a prime?
False
Let a = 934 - 647. Is a composite?
True
Let p(v) = -21*v + 10. Is p(-7) composite?
False
Let k(s) = -3*s**3 - 7*s**2 + 4*s - 3. Let l(t) = 4*t**3 + 8*t**2 - 4*t + 4. Let w(p) = -3*k(p) - 2*l(p). Let v be w(-6). Is (-3 + 4/(-2))*v a prime number?
False
Let l(m) = 33*m**2 - 4*m - 6. Is l(-5) prime?
True
Let i(u) = -2*u**3 - 2*u + 1. Let b be i(1). Let j = 0 - b. Suppose -j*s + 212 = s. Is s a prime number?
True
Suppose 576 + 180 = 3*v + o, -759 = -3*v - 2*o. Is v prime?
True
Suppose -3*z + 4*k = 9, -5*z + 4*z - 3*k - 3 = 0. Is (1 + z)/(2/(-11)) prime?
True
Let z = -460 + 329. Let i = -46 - z. Is i composite?
True
Let t be -2 - ((0 - -1) + -23). Suppose -m + 35 = g + 4*m, 5*m + t = 0. Is g composite?
True
Suppose 457 = 4*s + 93. Is s prime?
False
Let k(t) = 16*t**3 - 2*t**2 - t + 1. Let j(x) = x**2 + 6*x + 2. Let p be j(-6). Is k(p) a composite number?
True
Suppose s = -s + 132. Suppose -4*o + s = -2*o. Is o a composite number?
True
Is (-35)/30*-2*129 a composite number?
True
Suppose -4*z = 3*z - 7427. Is z prime?
True
Let r(k) = -k**2 - k - 1. Let z = 0 - -1. Let d(n) = -2*n**2 - 7*n - 7. Let u(a) = z*d(a) - 5*r(a). Is u(2) a prime number?
False
Let n(h) = 56*h + 1. Is n(8) a prime number?
True
Let o(r) = 7*r - 4. Is o(5) composite?
False
Let r(h) = h**2 - 2*h + 3. Is r(-8) a composite number?
False
Let v(j) = -j**3 + 10*j**2 + 11*j + 3. Let h be ((-22)/(-8))/(5/20). Let n be v(h). Suppose n*d + 367 = 4*q, -q + 365 = 3*q - d. Is q prime?
False
Let y(z) = -695*z - 3. Is y(-4) a prime number?
True
Let r(f) = f**3 + 2*f**2 - f - 5. Let t be r(-4). Is ((-35)/(-21))/((-1)/t) prime?
False
Suppose 3*m + 3*v + 74 = 281, 5*v - 10 = 0. Is m composite?
False
Let g be 1*9/(27/780). Suppose -3*f - f = -g. Is f prime?
False
Suppose -18*l = -23*l - 10. Is 2*(99/6 - l) a composite number?
False
Suppose 2*m - 4*m = -8. Suppose 0 = -m*a - 3*c + 10, -13 = -5*a - 5*c - 3. Suppose b - 4*l = 75, a*b - 438 + 100 = -3*l. Is b composite?
False
Suppose 0*f = 3*f - 6. Suppose -2 - 66 = -f*a. Is a a composite number?
True
Suppose 0 = 3*u + 56 + 16. Let h = u + 173. Is h a composite number?
False
Suppose -5*p - 2*p = -665. Is p a prime number?
False
Suppose 2003 + 514 = 3*l. Is l composite?
False
Suppose 2*r + 5*w = -1, -6*r = -3*r + 4*w + 19. Let g = 18 - r. Is g a composite number?
False
Let h(f) = -5*f**3 - 2*f**2 + 3*f - 2. Let o be h(-3). Suppose -2*p = -o - 130. Is p composite?
True
Let x = 5 + -7. Let u be x - -1 - (2 + -3). Suppose u*r = -r + 9. Is r a composite number?
True
Suppose 0 = -7*u + 11*u - 444. Is u composite?
True
Let h be ((-10)/4)/(6/(-12)). Suppose h*j - 3*j = 2*z - 264, 4*z - 503 = -j. Is z a composite number?
False
Let d(f) = -7*f. Let t(k) = 8*k + 1. Let w(h) = -5*d(h) - 4*t(h). Is w(5) a prime number?
True
Let i be 5296/12 - 4/(-6). Suppose -y = 2*h + 3*h - i, 4*y = -3*h + 255. Is h prime?
True
Suppose -3*v + 2*b + 2*b = -8, -2*b + 10 = -5*v. Let t be v/(-18) - (-1429)/9. Is (-1)/(474/t - 3) a prime number?
True
Suppose -3*m = -4 - 2. Suppose -5*q + 33 = v - 4*q, m*q = -v + 28. Suppose 2*k - 29 = -h, h - v = -6*k + k. Is h composite?
False
Let s(n) = -3 - 1 + 0 + n. Let y be s(4). Is (-15)/(-6)*(y + 34) a prime number?
False
Suppose -2*l - 5*h + 5 - 16 = 0, -7 = -2*l + h. Let x = 14 - -60. Suppose -l*d = -4*d + x. Is d prime?
True
Let j = 2 - 0. Suppose 2*z + 0*o - 102 = -j*o, z = 4*o + 61. Is z prime?
True
Let h = -13 + 9. Let j = h - -29. Suppose 0*r = -r + j. Is r composite?
True
Is (-1 - -1) + 786 + 1 a composite number?
False
Let b(k) = -75*k**2 - k + 4. Let p(t) = -150*t**2 - 2*t + 9. Let c(r) = -9*b(r) + 4*p(r). Is c(-2) prime?
False
Suppose 2*j - 22 = 10. Let y be (-4)/j + (-1781)/(-4). Suppose 6*p - y = p. Is p a composite number?
False
Let c = 1 + 0. Let i be ((-3)/c)/(-5 + 4). Suppose -4*p + 377 = i*k, -2*k - 2*p + 5*p = -274. Is k prime?
True
Let q(i) = -19*i - 2. Is q(-3) a composite number?
True
Suppose -3*a + 731 = -712. Is a a prime number?
False
Suppose -5*u + 7 = -3. Suppose -6*p + u*p = -460. Is p composite?
True
Suppose -453 = -3*g - 3*m, -3*m + 598 = 4*g - 2*m. Is g a prime numb