j - 12. Suppose -2*v - 459 = -j*v. Suppose 0*g - 2*g = 2*s - 934, s + 5*g = v. Is s composite?
True
Let q(a) = -3*a**3 - 12*a**2 - 2*a + 29. Let u(c) = -7*c**3 - 23*c**2 - 4*c + 58. Let h(b) = 9*q(b) - 4*u(b). Is h(18) a prime number?
True
Let n be ((-1)/(-3))/(2/6). Let h be (-12)/n*(-872)/12. Suppose r - 309 = 2*d, -h = r - 4*r - 5*d. Is r composite?
True
Suppose 0 = -5*s + 1339 + 1476. Suppose 9*x - 14*x + 120 = 0. Let t = s + x. Is t a composite number?
False
Is (-4 + 0)*1 - -27333 a prime number?
True
Suppose -2*h = 2*x - x - 70, -h + 44 = 5*x. Is h composite?
True
Let f = -14 - 13. Let s = 64 + f. Is s prime?
True
Suppose 149*x + 451626 = 170*x. Is x a composite number?
True
Let n be (-713)/(1*(1 + -2)). Suppose -o = -5*k - 225, o = 4*o + 4*k - n. Is o a prime number?
False
Let u(q) = -280*q + 3. Let c(i) = 280*i - 5. Let w(x) = -5*c(x) - 4*u(x). Is w(-3) a composite number?
False
Let i(p) = -269*p - 46. Is i(-7) composite?
True
Suppose 27019 = 5*l + 4*x, 0 = 32*l - 35*l + x + 16225. Is l a composite number?
False
Let y(h) = 7 + 4 - 4 - 22*h - 14*h. Is y(-8) a composite number?
True
Suppose 23*r - 82472 = 64061. Is r a prime number?
False
Suppose -5*n + 26 = 16. Is n - 578*2/(16/(-12)) a prime number?
False
Suppose 3*n - 8 + 23 = 0. Is -3*(-235 + n + 1) prime?
False
Let b(c) = -210*c**3 - 8*c**2 - 10*c - 19. Is b(-5) a composite number?
True
Let m(l) = 3148*l + 13. Is m(1) a composite number?
True
Let x be 4/(-28) - 3638/14. Let y be x/(-25) - (-2)/(-5). Suppose -y*d + 11*d = 397. Is d a prime number?
True
Let a = 25019 - 15238. Is a a composite number?
False
Suppose -d = -9*d - 8. Let r be -1*d/(-2)*0. Is (6 + 761)*(1 + r) composite?
True
Suppose 0 = 7*h - 4*h. Suppose d + h = 5, 50 = 5*n + 3*d. Is (-1749)/(-21) - 2/n prime?
True
Let r(q) = 10*q**2 + 10*q**3 - 9*q**2 - 3*q - 4*q**3 + 4*q. Let s be r(-1). Let u(m) = -6*m + 1. Is u(s) composite?
False
Is (-13488)/(-72) - 3/36*4 composite?
True
Let q(j) = -j**3 + 11*j**2 + 14*j - 13. Let y be q(12). Suppose y*c - 10*c = 194. Is c a prime number?
False
Let g(w) = -3*w**3 - 5*w**2 + 3*w + 23. Let h(d) = 2*d**3 + 3*d**2 - 2*d - 15. Let o(r) = 5*g(r) + 8*h(r). Suppose 0 = 4*q - 26 + 2. Is o(q) a prime number?
False
Suppose 0 = 4*v - 3*y - 3, -2*v = -4*v - 5*y - 5. Suppose -s + v*s + 812 = 5*x, -2*x + 5*s = -341. Is x a composite number?
False
Let m = -100 - -118. Suppose -27*g + m*g = -44865. Is g prime?
False
Suppose 4*g - 94120 = -o, 2*g + o = -3*o + 47046. Is g prime?
True
Let d = 1450 + -717. Is d a prime number?
True
Let y(s) = -17*s**3 + 8*s**2 + 27*s + 31. Is y(-9) prime?
True
Let s(q) = -1660*q + 417. Is s(-19) a prime number?
True
Let l(j) = -116*j + 5. Let t = -18 - -47. Let m = t + -35. Is l(m) a prime number?
True
Suppose 4*s - 4*l = 20, 5*s + 3*l + l = 52. Suppose -s*g + 3*g = -2*k - 1260, 4*k = -3*g + 782. Is g prime?
False
Let j = 17 - 10. Suppose 5*v - 2*w - 14 = 0, 4*v + 3*w - 32 = -j. Suppose -2*h = v*l - 228, 2 + 2 = -l. Is h a composite number?
True
Suppose 0 = -5*v + 43528 - 14793. Is v a prime number?
False
Let x(z) = -12*z + 9. Let g(y) = -12*y + 8. Let o(m) = 4*g(m) - 5*x(m). Let u(j) = -11*j + 14. Let b(q) = 5*o(q) + 4*u(q). Is b(8) composite?
True
Let l = 14 + -12. Suppose -220 = -a + 3*p, l*a - 58 = -p + 361. Is a composite?
False
Suppose o = l - 3, -l + 5*l = 2*o + 12. Suppose -a + 147 - 26 = o. Is a a composite number?
True
Let q = -15 - -20. Let v be 1/(5 + -3)*0. Suppose -q*x + 449 + 441 = v. Is x a prime number?
False
Suppose l = -5*u + 2 + 235, 2*l = 2*u + 462. Let q = l - 143. Is q composite?
False
Suppose 9*g - 2797 = 4*g - 3*h, -2*g - h = -1118. Is g a composite number?
False
Suppose 22*b = 30*b - 1147544. Is b composite?
False
Suppose -9*w - l + 7083 = -4*w, -3*l = w - 1411. Is w composite?
True
Suppose -3109 = 5*u - 6*u. Suppose 8*j = 4*f + 3*j - u, 5*f - 2*j = 3865. Suppose 4*t + 3*x + x - 3080 = 0, 0 = t + 2*x - f. Is t composite?
False
Let a be (-228)/(-8)*-3*2/(-9). Suppose -a*h + 22*h = 399. Is h a prime number?
False
Let x(y) = 16*y + 10*y**2 + 23 - 2*y - 9*y**2 - 4*y. Let g be x(-7). Suppose g*k - 1887 = -k. Is k composite?
True
Let d = -1661 - -3626. Suppose -2*t = -2*r + d - 199, -2*r = -4*t - 1758. Is r prime?
True
Let z = 5 - -1536. Is z composite?
True
Is (-8605941)/(-217) + (-6)/(-21) prime?
True
Let p be (18/4)/(13/5434). Let j = -730 + p. Is j a prime number?
True
Suppose p + 1621 = 10*w - 7*w, -2697 = -5*w + 4*p. Is w a prime number?
True
Suppose x = -r + 2*x - 2, 0 = 4*x - 16. Suppose 4*c - 893 = -3*m, r*m - 2*c - 588 = -c. Suppose 0*z + m = 5*z. Is z a prime number?
True
Let w(i) = -i**2 + 20*i + 13. Let o = -1 - -4. Suppose 4*x = -5*k + 56, 0 = -5*x - o*k + 24 + 46. Is w(x) a composite number?
False
Let f(h) = 2*h**2 - h - 2. Let i(c) = -c**3 + 2*c**2 - 1. Let r be i(-1). Let o be f(r). Suppose 516 = o*m + 2*p - 6*p, 4*m + 2*p = 516. Is m prime?
False
Let f(j) = -15 + 29 - 15 - 12 + 6*j**2. Is f(-6) a composite number?
True
Let c(k) = -k**3 + 13*k**2 + 10*k - 3. Let h(j) = -6*j + 21 + 2*j + 0*j + 3*j. Let g be h(8). Is c(g) prime?
True
Let g = 12 + -15. Let b be (5 + -5)/(2 + g). Suppose -169 - 244 = -2*j - 3*i, -j - 4*i + 199 = b. Is j a prime number?
True
Let g(q) = 6963*q + 34. Is g(1) a prime number?
True
Suppose -4*v - 50627 = -5*m, -m - 4*m = -6*v - 50633. Is m a composite number?
True
Let z = -10459 + 15320. Is z a prime number?
True
Suppose 4*s - 4*w - 11836 = 0, 5*s - 2*w = 12396 + 2384. Suppose 22020 - s = 2*u. Is u prime?
True
Let d = 2 - -3. Suppose 3*n - 4*n - 4*i + 346 = 0, -d*n + 1793 = -i. Is n a prime number?
False
Suppose -o - 1 = -4*u - 11, 4 = -4*u - 2*o. Let b(y) = 43*y**2 + 2. Let v be b(u). Is (66/9)/(4/v) a composite number?
True
Let w(j) = 39*j**3 + j**2 - 3*j + 2. Is w(3) composite?
True
Let h(b) = 28*b**2 - 3*b + 27. Let m(p) = 16*p**2 - p + 13. Let l(q) = -6*h(q) + 13*m(q). Let r = -1 + -1. Is l(r) a prime number?
True
Let r = 134 + -137. Let q be (-12)/2*(-16)/(-6). Is ((-28)/q + r)*-8 a composite number?
True
Suppose -2*p + 2*l = -8, -7*p - 5*l = -2*p - 40. Suppose -8 = -u - p. Suppose -925 = -5*w + k, 2*w + 0*k - u*k - 370 = 0. Is w prime?
False
Let c be (-3 + 1)/2*-6. Suppose -4*m + c*m - 4 = 0. Suppose -8*f + m*f = -2622. Is f composite?
True
Suppose -2*f + 11857 = -18241. Is f prime?
False
Let l(u) = 14*u**3 - 3*u**2 + 2*u - 1. Let n be l(3). Let v = 125 + -230. Let p = v + n. Is p a prime number?
True
Let r(g) = 2*g**2 - 14*g + 23. Is r(-29) prime?
True
Let w(s) = 4*s**2 - s - 10. Let o be w(20). Let g = o - 893. Is g composite?
False
Suppose -2*w - 4*l + 28090 = 0, 2*w = 3*l + 21418 + 6693. Is w composite?
False
Let z = 26 + -16. Is 6/z + (-364)/(-10) a prime number?
True
Is 1182 + (1 - (13 + -7)) a composite number?
True
Suppose 5*o + 0*o = -3*h - 2947, -2*h = -5*o + 1948. Let m = h + 1425. Is m composite?
True
Let i = -71 - -53. Is ((-584848)/(-198) - 4/i) + -3 a prime number?
False
Suppose 14 = -5*i - 9*i. Is (i + 5)*1/((-4)/(-5403)) a composite number?
True
Let j(b) = b**2 + 9*b + 6. Let s be j(-9). Is (-3)/s*-358 + 0 a composite number?
False
Let c(v) = v**3 - 6*v**2 - 6*v - 2. Let k = -26 + 33. Let s be c(k). Suppose -s*i = 0, -6*h + 5*i = -2*h - 132. Is h a prime number?
False
Let b(d) = 18*d**3 + 5*d - 8. Let t(z) = -6*z**3 - 2*z + 3. Let o = 11 - 0. Let i(m) = o*t(m) + 4*b(m). Is i(4) a composite number?
True
Let j(d) be the first derivative of -d**3/3 + 8*d**2 - 7*d + 4. Let h = 12 - 2. Is j(h) composite?
False
Let u(z) be the third derivative of z**5/60 + z**4/8 + z**3/2 + 5*z**2. Let v be u(-3). Suppose 2*m = 3*s - 243, 5*m + 331 = v*s + s. Is s a composite number?
False
Let d be (0 - 5)*(8 + -1267). Suppose w + 4*w + 4*a - d = 0, -3777 = -3*w + 4*a. Is w a composite number?
False
Suppose 701 = 8*w - 363. Suppose -1378 = w*u - 135*u. Is u prime?
False
Let l = -9414 - -13517. Is l composite?
True
Suppose -5 = -2*m - z, -m - 20 = -6*z + 2*z. Suppose -4*v - 4*f + 4 = 0, m*v + 2*v - 20 = 4*f. Is 396 + v/((-16)/(-4)) a prime number?
True
Suppose -4*z - f = -9*z + 20, 2*z - 8 = -3*f. Let v be -4 - (z + (-2178)/(-3)). Let l = 1087 + v. Is l prime?
True
Suppose 2*a + 2596 = 4*g, 0*a = 5*g - 4*a - 3251. Let m = -250 + g. Suppose 2*h = -4*d + 1588, 0*d + d - h - m = 0. Is d prime?
True
Let q = 2