osite?
True
Let u = 8 + -5. Let f be (28/6)/((-2)/(-75)). Suppose -f = -2*c - u*c. Is c composite?
True
Suppose -c + 2*n - 12 = -3*c, 3*c + n - 12 = 0. Suppose -22 = -5*z + z + 2*j, -c*z + 18 = -3*j. Suppose -z*f + 52 - 695 = -3*h, -f - 2 = 0. Is h a prime number?
True
Let f = 77 - -97. Is (55/15)/(2/f) a composite number?
True
Suppose 4*k - 130 = 54. Suppose -3*p + 46 = 2*m + 5, 0 = 2*m - 2*p - k. Is m a prime number?
False
Suppose 5*c + 1113 = -367. Let o = c - -589. Is o composite?
False
Suppose 2*i + i - 48 = 0. Let o = -23 + i. Let a = 30 - o. Is a prime?
True
Suppose -11 = -4*j - 3. Let z be j*((-3)/(-2) + 1). Suppose z*a - 848 = 437. Is a a composite number?
False
Suppose 0 = -2*q - 6, -n + 4*q = 3 - 12. Is 12 + 2/(-1) + n prime?
True
Let p(h) = h - 6. Let w be p(7). Is (w + -3)*38/(-4) prime?
True
Is ((-327)/12 - 3)*-4 composite?
True
Suppose -3*x - 199 = -6*x + 2*w, 4*x - 273 = -5*w. Is x a prime number?
True
Let o(u) = 385*u - 4 + 7 - 2 - 97*u. Is o(1) a composite number?
True
Suppose -5*o + 48 = 3*m - 27, -4*o - m + 67 = 0. Suppose 6*b = 3*b + 111. Let c = b - o. Is c a prime number?
True
Suppose 0 = -5*l - 0*l + 510. Let m = -72 + l. Let q = -17 + m. Is q prime?
True
Suppose -5*r - 660 = -7*r. Suppose -3*k = -r - 855. Is k prime?
False
Let q(b) = -b**3 - 4*b**2 + 2. Let k be q(-4). Suppose -k*p + p + 6 = 0. Is p a composite number?
True
Suppose -3*l = -4*z - 27, -2*l + 5*z = -0*l - 25. Suppose -8 - 7 = -l*b. Suppose 38 = b*s - 319. Is s prime?
False
Suppose 0 = -t - 4*t. Is 2/1 - t - -125 a composite number?
False
Suppose 0*f - 2*o - 706 = -4*f, 2*f - 5*o - 357 = 0. Let b = 29 + f. Is b a prime number?
False
Suppose 15 = -y + 4*k + k, 5*y = k + 21. Let j = y + -8. Is j + 2 + 54 + 2 a composite number?
True
Suppose 5*v + 115 = -20. Let q = 58 + v. Is q prime?
True
Let t be 1/(-3 - 42/(-15)). Is ((-39)/t)/((-2)/(-10)) a prime number?
False
Suppose -3*t = -3*f - 21 - 135, 268 = -5*f + 3*t. Let v = f - -99. Is v a composite number?
False
Let b be 0 + 2 + -7 + 11. Suppose -5*w - 97 = -b*w. Is w a prime number?
True
Is 1339 + ((-14)/(-35))/(3/(-15)) a composite number?
True
Let k(r) = -r**3 + 30*r**2 - 15*r - 15. Is k(21) composite?
True
Let f(a) = a + 4. Let t be f(-2). Suppose t*m - 4 = 2. Suppose -77 = 2*r - m*r. Is r composite?
True
Let z = 17 - 12. Suppose 5*p = -4*m - 27 + 7, 3*p = -12. Suppose m*r - z*r = -125. Is r composite?
True
Suppose 7 = 3*h + 1. Suppose -5*p = -l - 40 + 7, -5*p = -h*l - 31. Is p prime?
True
Suppose 0 = 3*r - 2*d - 132, 4*r + 3*d - 256 = -97. Let a = -4 + 4. Suppose a*v - 2*v = -r. Is v composite?
True
Let n(w) = -15*w + 2. Let x(p) be the first derivative of -15*p**2/2 + 3*p + 4. Let s(u) = -5*n(u) + 4*x(u). Is s(5) a prime number?
False
Suppose -4*q + 1795 - 159 = 0. Suppose 4*h - 2*c - 675 = 919, -h + 4*c = -q. Is h composite?
False
Let t = -8 - -2. Suppose 2*n + 3*y = 5*n - 747, -3*n - 4*y = -747. Is (-2)/(t/n - 0) composite?
False
Let a = -44 + -27. Let u = a + 126. Is u prime?
False
Let k = 258 + -555. Let c = k + 710. Is c composite?
True
Let p(r) = 2 - 6 + 2 + 6*r - 2*r**2. Let v be p(4). Is (v/(-8))/(2/24) a prime number?
False
Suppose 0 = -4*r + 3*r - 24. Let j = r + 94. Suppose l - 63 = j. Is l prime?
False
Suppose -5 = -5*m - 20. Is (-4)/(-5 - m) - -395 composite?
False
Let v(z) be the first derivative of z**3/3 + 2*z**2 + 4*z + 2. Let p be v(-4). Suppose -284 = -p*r + 48. Is r prime?
True
Suppose -o + 633 = 5*z - 0*o, -2*z = -3*o - 260. Is z prime?
True
Suppose 8 = 5*p - 7. Suppose p*t - 8 = -t. Is 14/2*(3 - t) a prime number?
True
Let z = 1959 - 1214. Is z a prime number?
False
Let d(t) = 23*t + 5. Let g(n) = -2*n - 7. Let k be g(-5). Let r be 16/k + (-4)/(-6). Is d(r) a prime number?
False
Let n = -30 - -2. Let b = -17 - n. Is b prime?
True
Let p(x) = 5*x - 9. Let o be p(7). Let j be (o/(-6))/(3/(-9)). Is 1 - (j*8)/(-2) prime?
True
Suppose -c - 1 = -4*x - 3, 10 = 2*x + 5*c. Suppose 2*g - 25 - 49 = x. Is g prime?
True
Let a(u) = -2*u**2 - 2*u - 4*u**3 + 5*u**3 + 0*u. Let t(o) = o**3 - o**2 - o + 1. Let l(r) = 3*a(r) - 2*t(r). Is l(5) prime?
True
Let m = -1 - -7. Let l be m/(-5) - (-4)/20. Is (-2 - (l + -2))*211 a composite number?
False
Let f = -4 + -6. Let t = f + 69. Is t a composite number?
False
Let c be (236/8 - 2)*4. Let v = -64 + c. Is v a composite number?
True
Let v(j) = -18*j + 1. Let u be v(-9). Let f = -14 + u. Is f composite?
False
Let r(h) be the third derivative of -h**6/120 + h**5/10 - h**4/6 - 5*h**3/6 - h**2. Let u be r(5). Suppose -k + 6*k - 445 = u. Is k prime?
True
Suppose 4*j - 2*k = -2, 3*k - 10 - 3 = j. Suppose -4 = 4*g + 12, -3*g = -4*f + 12. Suppose 30 = -f*v + j*v. Is v a prime number?
False
Suppose -2*q - 5*p = -1084, -2*p - 2681 = -2*q - 3*q. Is q a composite number?
True
Let c = 16 + 35. Is c a composite number?
True
Let j = -5 - -5. Suppose -2*p + 0 - 4 = j. Is (-10)/(-2) + (-4 - p) composite?
False
Suppose z + 55 = 5*g - 2*z, -5 = z. Let l(p) = p**3 - 9*p**2 + 8*p + 3. Let t be l(g). Let j = t - -1. Is j composite?
True
Let p(m) = m + 4. Let q be p(0). Suppose 0 = -q*k - 0 + 8. Suppose 0 = k*x + o - 7, 0 = -4*x + 4*o + 44. Is x a prime number?
False
Let k(y) = 5*y**3 + 3*y**2 + 4*y. Let r be k(3). Suppose -3*j - 5*m + r = 0, j + 5*m = 2*m + 62. Is j prime?
True
Let t be (-956)/(-6) - 1/3. Let g = t + 4. Is g a prime number?
True
Suppose -l - 4*l + 43 = 3*g, 2*l = 10. Suppose 21 = r - 5*w, g = -2*w - w. Is r prime?
True
Suppose -806 = 6*d - 4880. Suppose -3 = 5*s + 7. Is 0/s + d/7 composite?
False
Suppose 20 = 2*j + 2. Let h be -2 + 12/j*3. Suppose -p = 3*b - 57, 3*b = -0*b + h*p + 57. Is b a composite number?
False
Suppose i - 14 = -5*k - 43, -3*k - 5*i - 13 = 0. Let r = -1 - k. Suppose -4*f + 2*p = -128, -r*p + 52 = f + f. Is f a prime number?
True
Let c be (0/(-1 + 3))/(-1). Suppose 0 = -c*u - 4*u - 1364. Let f = -124 - u. Is f a prime number?
False
Let u = 7 - 3. Let d(n) = 5*n**2 + 3*n + 2. Is d(u) prime?
False
Let s(t) = 26*t - 1. Let a(d) = -7*d - 3. Let k(m) = -3*m - 1. Let l(b) = 2*a(b) - 5*k(b). Let z be l(3). Is s(z) composite?
True
Suppose -2*z + 503 = 73. Is z prime?
False
Is (-19927)/(-8) - (-2)/16 a composite number?
True
Let x = -46 + 77. Is x prime?
True
Let p = -704 - -1405. Is p a prime number?
True
Let i(z) = 2*z + 2. Let l be -2 + 2*(1 + -2). Let w = 6 + l. Is i(w) composite?
True
Let a(d) = -d**3 - d. Let y be a(0). Let m = y + 4. Is 59/m*2*2 prime?
True
Suppose -2*w + 8 = -w. Let m(p) = 3*p**2 - 8*p + 11. Is m(w) a prime number?
True
Suppose 2*y - 66 = -y. Is y a prime number?
False
Let o(t) = -47*t**3 + 13*t**2 - 15*t + 11. Let l(n) = 23*n**3 - 6*n**2 + 7*n - 5. Let i(g) = 9*l(g) + 4*o(g). Is i(2) a prime number?
True
Let k(p) = 3*p**2 - 6*p + 23. Is k(-16) a prime number?
True
Suppose 3*h - 6 = 0, 3*w + 3*h = 7*w - 1478. Is w a prime number?
False
Let s be 15/(-10)*(-1816)/(-6). Let n = -639 - s. Let l = n + 262. Is l a prime number?
False
Let h be -1*2/4*0. Let a = h + 4. Suppose -36 = -a*q + 112. Is q a prime number?
True
Suppose 3*f = 4*f - 331. Is f prime?
True
Let j(n) = -n**3 - 4*n**2 - 4*n - 2. Let z be j(-2). Let o(u) = 2*u**3 - 1 + 0*u**3 + u**2 - 3*u**3 - u. Is o(z) prime?
True
Let a(k) = -k**3 - 4*k**2 - 5*k - 2. Let i be a(-3). Suppose i*p = -c - 2*c + 59, -5*p + 51 = 2*c. Is c a composite number?
False
Suppose 2*h + 0 = 6. Let n(r) = r**3 + 7*r**2 - r - 1. Let k be n(-7). Suppose -5*d = -10, 5*g + h*d = k*g - 3. Is g prime?
False
Let p = 1 + 1. Suppose 953 = v - 6*v - j, -v = p*j + 196. Is v/(-6) + 12/(-18) a prime number?
True
Let s = -58 + 35. Let o = s + 69. Is o composite?
True
Suppose c + 35 = 2*c. Let i = 190 - c. Suppose 3*m + i = 8*m. Is m composite?
False
Let o(t) be the third derivative of -t**5/60 + t**4/24 - t**3/6 - 2*t**2. Let v(b) = -b**2 + b - 9. Let x(k) = -2*o(k) + v(k). Is x(6) a composite number?
False
Let l = 14 + -26. Let y(w) = w - 1. Let b(q) = -3*q + 4. Let p(c) = l*y(c) - 3*b(c). Is p(-3) a composite number?
True
Let j(g) = -g**3 + 15*g**2 - 20*g + 13. Is j(13) a prime number?
False
Suppose 14 = -2*u - 4*x - 4, 0 = -4*u + 2*x - 16. Let o be (-303)/(-15) + 1/u. Let g = o + -1. Is g composite?
False
Let f be 13/6 + (-2)/12. Let t be 1 + 1 + (f - 2). Is t/6 + 112/6 a composite number?
False
Let f be