-6. Let d be (20/c)/(6/9). Suppose -r + 4 = 0, -109 = -d*x + r - 2*r. Is x composite?
True
Suppose -x + 2*j = -j, -3*x = -4*j - 15. Suppose -7*f + 3*f = -96. Let b = x + f. Is b a prime number?
False
Suppose -h + 3*h = -2*r - 150, -84 = h + 4*r. Let l = h + 346. Is l composite?
True
Suppose -2842 = 12*x - 9286. Is x prime?
False
Let v be 2 - (-4)/(6/3). Let w(t) = -13*t. Let y(l) = -13*l - 1. Let s(n) = v*w(n) - 3*y(n). Is s(-4) a prime number?
False
Let h = -27 + 29. Let w(q) = 62*q + 3. Is w(h) composite?
False
Let t(h) = 18*h - 1. Let s be ((-12)/(-10))/((-9)/(-30)). Let r be 6/s*(-20)/(-6). Is t(r) composite?
False
Suppose 11 = 2*y - 7. Is y a prime number?
False
Let k = -11 + 30. Is k a composite number?
False
Let q be 97 - 3/(-6)*2. Suppose -5*f + q = 3. Is f prime?
True
Is -1*2/((-10)/475) a prime number?
False
Suppose -2*i - 5 = -507. Is i prime?
True
Let j(s) = s**2 + 6*s + 2. Let x be j(-6). Suppose w = -3*w + x*y - 10, -3*w - 7 = -y. Is 194/4 - 1/w a composite number?
True
Let c(i) = -14*i - 7. Let d be c(-9). Let v = 30 + -64. Let y = d + v. Is y prime?
False
Suppose 5*d + 0*d - 3*g = 49, -15 = 5*g. Suppose 0*z - d = -2*z. Suppose 0 = -c - z*c + 35. Is c composite?
False
Let g(t) = t + 6 - 2*t + 3 - 3. Is g(3) a composite number?
False
Let n(f) = f**2 + 5*f + 5. Let b be n(-4). Let x(k) = 9*k**2 + 2*k - 1. Let h be x(b). Suppose 5*o - h = r, 5*r + 5*o - 44 = 56. Is r composite?
True
Suppose 0*y - 2*y + 322 = 0. Is y composite?
True
Let k(i) be the first derivative of -i**3/3 - 7*i**2/2 - 3*i - 1. Let g(f) = f**3 + f**2 + f - 5. Let r be g(0). Is k(r) a prime number?
True
Suppose -3*i - 12 = 0, 3*j + j - 12 = -i. Suppose 199 = v - 48. Suppose -j*o = -v - 197. Is o a composite number?
True
Let w be 1*(-6 + (5 - 2)). Is (1/w)/((-4)/2196) composite?
True
Let f = 556 - 311. Let p = -34 + f. Is p a composite number?
False
Suppose d + 74 = 2*k + 2*k, -5*k + 87 = -4*d. Is k a prime number?
True
Let a(i) = -i**3 + i**2 + i + 5. Let o be a(0). Let z(m) = -m**3 - 3*m**2 - 2*m - 2. Let f be z(-3). Suppose 119 = f*x - o. Is x composite?
False
Let b = 46 + -28. Let r = 31 - b. Is r prime?
True
Suppose 191 = 5*x - 814. Is x a composite number?
True
Suppose -a + 27 = -4*u, 16 + 4 = -4*u. Is 537/a - (-8)/28 a prime number?
False
Suppose 3*c = 5 + 10. Suppose 3*l + 0*i - 99 = c*i, 3*l = 3*i + 105. Suppose l = -h + 3*h. Is h a composite number?
False
Let o = -12 - -71. Is o a prime number?
True
Suppose n - x = 115, -3*x = 3*n - 7*x - 350. Suppose 15*s - n = 13*s. Is s prime?
False
Let n(w) = w**3 - 5*w**2 - 3*w - 26. Is n(11) a prime number?
False
Suppose 3*s = -5*p + 1361, 3*s + 2*p = 4*s - 439. Is s a composite number?
True
Let n(a) = -a**2 - 6*a - 3. Let o be n(-5). Suppose -o*t = -4*b + 596, 0 = -b + 2*b - 2*t - 149. Is b a composite number?
False
Suppose -4*g = -122 - 18. Is (g/4 + 2)*4 prime?
True
Suppose 3*g + 6*g = 13887. Is g prime?
True
Let u(z) = -15*z - 23. Is u(-10) a prime number?
True
Suppose 0 = 5*n, -4*j + 2*n - 7 = 1. Let w = j + 5. Suppose -i - 10 = 4*l - 69, -5*i = w*l - 278. Is i composite?
True
Suppose 5*g + 5*q - 25 = 0, g + 6 = 4*q - 14. Let l = -127 + g. Is (l/2)/((-2)/4) a composite number?
False
Let v(o) = 49*o**3 + o**2 - 1. Let l(p) = p**2 + p + 1. Let m be l(0). Is v(m) prime?
False
Suppose 4*l = -5*j + 1, l = -4*l + 20. Is (555/10)/(j/(-4)) a composite number?
True
Suppose 480 = 4*f + f. Suppose f = 3*w - 5*m, -3*w - w = 3*m - 157. Is w composite?
False
Let q = 6503 + 1784. Is q a prime number?
True
Let j(p) = 2*p + 373. Is j(0) composite?
False
Let q be ((-274)/(-3))/((-4)/(-12)). Let t = -163 + q. Is t a composite number?
True
Let d(b) = -b**3 - b**2 + 4*b - 3. Let x(h) = -h**2 - h - 1. Let p(l) = d(l) + 6*x(l). Let s be p(-7). Let m = s - -48. Is m composite?
False
Let x be (-1)/(-3)*3 + 648. Suppose 0 = 4*u - x - 263. Suppose -5*v + 281 = 3*h, 0 = -2*v - 2*v - 4*h + u. Is v a prime number?
False
Let w(u) = -7*u + 5 - 1 - 9. Let g = -15 + 9. Is w(g) prime?
True
Let x(v) = v**3 - 2*v**2 - 3*v. Let l be x(3). Let w(f) = -2*f**3 - 6*f**2 - 4*f + 4. Let t be w(-4). Suppose l*b - 3*m - t = -b, b = m + 42. Is b prime?
True
Is (0 + -1)*(-4)/(16/3508) composite?
False
Suppose -3*x = -4*f - 1321, -3*x - 2*f = -333 - 1000. Is x composite?
False
Let r be 3/(-9) - 356/(-6). Suppose 3*j = 9, o = 3*j - 5*j + r. Is o prime?
True
Suppose 2*z + 141 = a, 5*z + 425 = 5*a - 2*a. Is a prime?
False
Let x(q) = q**3 - 7*q**2 - 8*q. Let r(l) = l**2 - 1. Let s(p) = -2*r(p) + x(p). Let a be s(9). Let z = -35 - a. Is z a composite number?
True
Let h be 3/(-1)*(-5 + 4). Suppose 4*x + m = 57, h*x - 35 = -4*m + 24. Is x composite?
False
Is 260 + 0 + -14 + 17 composite?
False
Is (61 - 2) + -10 + 8 a composite number?
True
Suppose 0 = -5*k - 5*f + 809 + 761, -f + 946 = 3*k. Let g = -81 + k. Is g a composite number?
True
Let w(s) = s**2 - 3*s + 1. Let b be w(8). Let a = 76 - b. Is a a composite number?
True
Let g(f) = -f**3 - 8*f**2 + 8*f - 9. Let d be g(-9). Let h be (2 + d)/(6/(-213)). Let b = h - -102. Is b a prime number?
True
Suppose 0*m = -s + 2*m - 576, -3*s + 3*m - 1728 = 0. Is (-2)/4*(s + -14) a prime number?
False
Let i be 2/(-10) - (-36)/(-20). Let o be (i - -1)/(2 + -1). Is (-1108)/(-6) - o/3 a prime number?
False
Is (-4 - -1) + 192 + -2 a composite number?
True
Let g = 22 + -19. Let w(i) = i**3 + 4*i**2 - 5*i + 3. Let x be w(-4). Suppose g = f - x. Is f composite?
True
Let i(t) = 39*t + 1. Let n be i(2). Is ((n*3)/3)/1 a composite number?
False
Let f(o) = o**3 - 9*o**2 + o - 12. Let g be f(9). Is 17/(g + (-10)/(-3)) prime?
False
Suppose -4*q + 3*q = 2*f - 491, 3*q + f = 1473. Is q a composite number?
False
Suppose -2*d - 3*t + 23 - 60 = 0, -3*d - 46 = -5*t. Let c = 35 + d. Let r = -8 + c. Is r composite?
True
Suppose 0*y + 1960 = 4*k + y, 5*y + 20 = 0. Is k a composite number?
False
Let d = 864 + 103. Is d a prime number?
True
Suppose 0 = 5*q - 7 - 3. Let s(h) be the third derivative of 3*h**5/20 + h**3/6 - 2*h**2. Is s(q) composite?
False
Let a(j) = j**2 - 4*j - 8. Is a(9) composite?
False
Let h = -3549 - -5006. Is h a prime number?
False
Suppose 0*m - 830 = -5*m. Is m a prime number?
False
Let w = 22 + -17. Suppose -4*x + 585 = w*h, 3*h + 4*x = 3*x + 358. Is h a composite number?
True
Suppose -5*v + 0*z = z - 11, z + 4 = 0. Let n = v - 1. Suppose -21 = -n*w + w. Is w a prime number?
False
Let o = 12 + -8. Suppose -4*i - i + 62 = h, -3*i = o*h - 299. Is h a composite number?
True
Suppose 2*v = -3*i + 153, -2*v + 118 = -3*i - i. Is v a composite number?
True
Let g = 11 + -17. Let h be 16/g*15/(-10). Suppose k = 4*k - h*f - 241, -4*f + 8 = 0. Is k a prime number?
True
Suppose 3*z - o = -4*o + 633, 0 = 3*z + 5*o - 631. Suppose 0 = 6*h - 2*h - z. Is h prime?
True
Let l(x) = -x. Let k be l(-7). Suppose d + k = 3*p, -p + d = -3*d - 17. Is -1 - 24*(-1)/p prime?
True
Let h = 70 + -42. Is 2648/h + 3/7 composite?
True
Let b(z) = z**3 + 9*z**2 + 7*z - 9. Let u be b(-8). Is u/(1/(-16)) + 3 composite?
False
Let m(a) = -190*a**2 + 7*a - 3. Let s(p) = -63*p**2 + 2*p - 1. Let o(z) = 2*m(z) - 7*s(z). Suppose -3*k - 1 = 5*b, -3*b + 2*k = -2*b - 5. Is o(b) composite?
True
Let b = -3 + 2. Let r(y) = 3*y. Let w be r(b). Is w*(-15)/(-6)*-2 a prime number?
False
Suppose 2*u + 212 = 4*u. Is u prime?
False
Suppose -d + 3 = -0. Let u be (d/(-6))/((-2)/(-8)). Let o(q) = -7*q**3 - q**2 + q - 1. Is o(u) composite?
True
Let g = 25 - 41. Is (-12)/(-20)*(-1 - g) prime?
False
Let a(g) = -7 - 2*g**2 + 8*g + g**3 + 2*g**2 + 0*g. Is a(6) a composite number?
False
Let n = 15 + -6. Is n a composite number?
True
Suppose 3*v - v - 2*u = 398, 2*u = v - 195. Is v a prime number?
False
Is 16/24 + (-637)/(-3) a composite number?
True
Let n(g) be the second derivative of g**7/840 - g**6/72 + g**5/24 + g**4/8 + g**3/3 + 3*g. Let h(y) be the second derivative of n(y). Is h(4) composite?
False
Is -3 - (0 + -4)*(182 + 8) a composite number?
False
Let z(a) = 14*a**2 + 9. Let h be z(5). Let u = h + 12. Is u a prime number?
False
Let i be 2 + -66*(-3)/6. Suppose -o - i = -94. Is o a prime number?
True
Suppose -4*b - 6 = -4*z + z, 3*z - b - 6 = 0. Suppose z*j + 873 = 5*j. Suppose 7*q - 4*q - j = 0. Is q a prime number?
True
Let m be 33/6 - 2/4. Suppose -m*a = 2*w + 13, -w + 0 = 2*a +