ppose -r = 3*p - 1770, -p + 0*r + 604 = 5*r. Is p composite?
True
Suppose 63 = 5*b - 2*b. Let r = 4 - -25. Suppose -5*h + b = -r. Is h a composite number?
True
Suppose 0 = -m + 2360 - 21. Is m composite?
False
Is (-1)/(-2) - (-11934)/12 a prime number?
False
Let r(v) = -9*v + 12. Let x be r(-3). Let h be (50/4)/((-2)/4). Let o = h + x. Is o prime?
False
Let q be -2*((-15)/2)/5. Suppose -q*b - 15 = -3. Let r(t) = t**2 + t + 2. Is r(b) composite?
True
Let a(t) = -t**2 + 6*t + 1. Let y be a(6). Let q be 1/y - 6/(-3). Suppose 0 = 3*u - 6 - 6, -x - 10 = -q*u. Is x a composite number?
False
Let a(b) = b**2 + b - 3. Let l be a(-3). Let f be 1 - (-4)/(3/l). Suppose o - 5*n = 33, -5*o + f*n = -89 + 4. Is o prime?
True
Let s be (-1 + -1)*(-20)/8. Suppose -2*w + 2 = -4*j, 0*w + w - 15 = -s*j. Suppose 14 + 15 = c - 2*l, -w*l = 5*c - 70. Is c prime?
True
Suppose -h + 6*h - 3265 = 0. Is h a prime number?
True
Let k = -193 + 272. Is k a prime number?
True
Let d = 153 - -32. Is d a composite number?
True
Suppose i = -3*i. Suppose -4*d + 0*m + 976 = 3*m, 3*m + 12 = i. Is d a prime number?
False
Let k = -3 + -3. Let t(a) = a**3 + 9*a**2 + 6*a + 7. Let d be t(k). Let f = -2 + d. Is f a prime number?
False
Let a = -1104 - -1551. Is a prime?
False
Let s(v) = 2*v**2 - 5*v - 4. Let a be s(7). Suppose 0 = -m + 3*t + a, -2*t + 0*t = 8. Is m a prime number?
True
Let t(o) = -o**3 + 2*o**2 - 3*o. Let x be t(2). Let j = 6 + x. Suppose j = -u + 2*u - 43. Is u prime?
True
Let m(u) be the second derivative of u**4/12 + u**3/6 + 51*u**2/2 - 4*u. Is m(0) a prime number?
False
Suppose -d + 5*z + 383 = 0, -2*d - d = 5*z - 1229. Is d a prime number?
False
Let f = 148 - 26. Is f composite?
True
Suppose 0 = t + 2 - 6. Suppose m = t*m - 147. Is m composite?
True
Let u(c) = 110*c**2 + 3*c - 2. Let j(v) = -331*v**2 - 10*v + 7. Let r(y) = 2*j(y) + 7*u(y). Let s be -1 + (9/(-3) - -5). Is r(s) a composite number?
False
Let z = -15 - -8. Let d(a) = -3. Let w(f) = -f + 3. Let o(v) = 3*d(v) + 4*w(v). Is o(z) a composite number?
False
Let i = 0 - 0. Suppose -3*j + 354 = -i*j. Suppose -4*c = -w + 59, -8*c + 3*c = 2*w - j. Is w a prime number?
True
Let k be 310/6 - 1/(-3). Let l be 1/(-5) + k/10. Suppose 0 = -3*f + a + 9, 0 = -l*f - 4*a - 2 - 0. Is f composite?
False
Let z = -12 - -22. Suppose 5*v - 5 = 4*b, -4*v + z = -2*v. Suppose 3*t + b*j = 4*j + 24, 4*t = j + 39. Is t composite?
True
Let s(o) = -o + 0*o**3 + 9*o**2 - o**3 + 2*o - 5. Let c be s(9). Is 2/c + 51/2 a prime number?
False
Let q = 2933 - 1846. Is q a prime number?
True
Let d = -2 + 10. Let j(f) = -15*f - 6. Let y be j(d). Let b = y - -215. Is b prime?
True
Is ((-2)/(-6))/(4/10668) a prime number?
False
Suppose 5*x - k - 2*k - 955 = 0, -955 = -5*x - 2*k. Is x composite?
False
Let q be (0 + 0)*(-2)/4. Let h = 98 + -49. Suppose q = -f + t + t + 7, -3*f = t - h. Is f a prime number?
False
Let m = 55 - -4. Is m a prime number?
True
Let h = -15 - -8. Let i = 26 + h. Is i prime?
True
Suppose -5*p + 713 + 102 = 0. Is p composite?
False
Let q(y) = 5*y**2 + 2*y**2 - 2*y**2 - 1. Suppose 31*r - 8 = 32*r. Is q(r) composite?
True
Let q(l) = -l**2 + 4*l + 7. Let i be q(5). Let u be 9/(-3) + i*27. Is u*6 + -4 + 3 composite?
True
Let m = 21475 + -12024. Is m a prime number?
False
Let s(d) = -5*d - 1. Let n(j) = -j**3 - 2*j**2 + 4*j + 2. Let c be n(-3). Let l be s(c). Suppose -z - 2*k - 61 = -l*z, -5*z + 103 = -2*k. Is z prime?
False
Suppose -8*r + 7*r + 323 = 5*f, -r + 5*f + 323 = 0. Is r a prime number?
False
Let r(o) = 2*o**3 + o**2 - 1. Let w be r(1). Let d be 684/15 + w/5. Suppose -j - j = -d. Is j prime?
True
Let s(n) = n**3 + 4*n**2 + 2*n + 4. Let o be s(-3). Is -5 + o + 96 + -1 a prime number?
True
Suppose -20 = 5*h - 465. Is h composite?
False
Suppose -2*u - 2 + 8 = 0. Suppose -o = 4*o - 5, -c - u*o + 8 = 0. Suppose -123 + 458 = c*z. Is z prime?
True
Let d be 2/(-5) - 52/20. Is ((-2)/6)/(d/801) a prime number?
True
Suppose 5*g + 0*g = 1055. Is g prime?
True
Let h(a) = -325*a - 18. Let u be h(-10). Suppose 4*m - 4*y - 3736 = -1144, 3*y = -5*m + u. Is m a prime number?
True
Is (-4)/(72/(-14550)) - (-4)/6 prime?
True
Suppose -2*s + 4*c = -16, 7 - 26 = -2*s + 5*c. Let g = -3 - 7. Is (-535)/g + (-1)/s composite?
False
Suppose -3 = 3*q - 3*s, -3*q - 4*s = 19 - 2. Let k(b) = -b**3 + b**2 + b - 1. Let n(c) = -3*c**3 - c**2 + 4*c - 3. Let j(w) = -k(w) + n(w). Is j(q) prime?
False
Suppose 0*a + 5*a - 5*s = 2415, s = 2. Suppose -120 = -5*b + a. Is b composite?
True
Let n(a) = a**2 - 9*a - 7. Let j be n(10). Suppose 4*z - 1512 = j*y - 5*y, -5*y = 3*z - 1141. Is z a composite number?
True
Let p be (-3 - -1)/(2/7). Let w = 12 - p. Is w a prime number?
True
Let o(u) = 711*u**3 - 2*u**2 + 5*u + 6. Let l(j) = j**3 + j + 1. Let y(p) = 5*l(p) - o(p). Let h be y(1). Is ((-4)/(-6))/((-10)/h) prime?
True
Let z = 13901 - 9864. Is z prime?
False
Let z(j) = 6*j**2 + 14*j + 7. Is z(-9) a composite number?
False
Let y(c) = 43*c**2 + 7*c + 15. Is y(-5) a composite number?
True
Let j(v) = v**3 - 3*v**2 + 8*v + 1. Is j(6) prime?
True
Let f(s) = -s**2 - s + 4. Let y be f(0). Suppose r - 2 = -z, -2*z - 1 = 1. Suppose -y*u + 4 = 0, -87 = -5*a + a - r*u. Is a a composite number?
True
Let x(p) = -p**3 + 16*p**2 + 22*p + 1. Is x(14) a composite number?
False
Is ((-6)/(-9))/((-6)/(-2853)) prime?
True
Let w(l) = 18*l**2 - 9*l - 1. Is w(-6) a prime number?
True
Is (6/(-4))/(3/7652*-1) prime?
False
Let s(m) = -m**3 + 8*m**2 + 6*m + 4. Is s(5) prime?
True
Let o = 166 + 45. Is o a prime number?
True
Let w be (0 + -1 - 0)*7. Let a(g) = -g**3 - 8*g**2 + 5. Let b(j) = -2*j**3 - 16*j**2 - j + 10. Let l(c) = -7*a(c) + 3*b(c). Is l(w) prime?
False
Let i(l) = 210*l + 1. Is i(1) a composite number?
False
Suppose 0 = 5*p + 2*q + 637, p + 2*p = -5*q - 367. Let k = -203 - p. Let x = -43 - k. Is x composite?
False
Let a(k) = 2*k**2 + 12*k - 10. Is a(-12) composite?
True
Let b(o) = 8*o**2 - 23*o - 5. Let q(n) = -4*n**2 + 11*n + 3. Let x(a) = -2*b(a) - 5*q(a). Is x(6) a composite number?
True
Is 69/1 - (3 - 3) composite?
True
Let o(l) = 19*l**3 - 2*l**2 + 1. Let p be o(1). Suppose -h + 25 = -p. Is h a prime number?
True
Let g be 2/(2*(-3)/(-21)). Suppose 0 = -g*h + 3*h + 1148. Is h composite?
True
Suppose 2*r + 695 = 7*r. Is r a prime number?
True
Let f(d) = 1803*d**3 + d**2 - 1. Is f(1) a composite number?
True
Let u = 770 + -229. Is u a prime number?
True
Let w(h) = -47*h + 1. Suppose 5*v = 4*v - 8. Is w(v) a composite number?
True
Let d(h) = -h**3 - 2*h**2 - 3*h + 1. Is d(-3) a prime number?
True
Suppose 0 = -5*x + 2*x. Suppose 4*t - 323 + 103 = x. Is t a prime number?
False
Suppose -156 = -2*a - 2*g, 4*a - g - g - 318 = 0. Suppose -a = m - 16. Let o = 14 - m. Is o prime?
False
Suppose l - 77 = 5*a, -a - 3*a - 231 = -3*l. Is l a prime number?
False
Let w(a) = a**2 - 14*a - 3. Let o be w(12). Let y = 42 + o. Is y composite?
True
Suppose -2*z - 2 = 4*b, -4*z - 4 = 3*b - 0*z. Suppose b = -5*c - 15, 4*c = -6*j + j + 913. Is j prime?
False
Let y = 45 - 20. Let n = -13 + y. Suppose 0 = 2*z - 34 + n. Is z a prime number?
True
Is 1677 + (10 - (-12)/(-3) - 2) a composite number?
True
Let j = -8 + 13. Suppose -103 - 567 = -j*m. Is m a composite number?
True
Suppose 0 = 237*k - 234*k - 5505. Is k prime?
False
Let o(q) = -q**2 + 4. Let h be o(0). Let p = -83 - -122. Suppose -h*n + 5*n = p. Is n composite?
True
Let s be (-2)/3 + (-48)/9. Let q be (-2)/(-3) - 8/s. Suppose -q*o + 10 = -64. Is o a composite number?
False
Let h(r) = r**3 + 12*r**2 + 2*r + 4. Is h(-11) a prime number?
True
Let j(z) = z**2 + 12*z + 11. Suppose -10 = h + 3*y - 4*y, -2*h = y + 23. Let n be j(h). Suppose -4*p - p + 485 = n. Is p prime?
True
Let s(j) be the first derivative of -13*j**2/2 + 4*j + 3. Let z be s(-10). Suppose m + m = z. Is m prime?
True
Let l(u) = -u**2 + 4*u + 6. Let c be l(5). Let g be (4 - 1) + c/(-1). Suppose 0 = 3*x + g*x - 110. Is x a prime number?
False
Let t = -3 + 5. Suppose -t*r + u + 122 = 4*u, -u + 176 = 3*r. Is r a composite number?
True
Suppose -5*n + n + j = -561, j = -4*n + 567. Is n prime?
False
Suppose -5*o + 22 = -3*j, o + 4*o = -j + 26. Suppose o*i - 28 + 8 = 0. Is (-96)/(-3)*i - -3 prime?
True
Let g be -1 + (2*-1)/(-1). Let o(h) = -91*h**3 - 20*h**2 - 17*h - 17. Let r(s) = 30*s**3 + 7*s**2