81 - 43. Let x = y + -59. Is x prime?
True
Let p = 1422 + -781. Is p a prime number?
True
Suppose 5*c + 5*b - 42 = 48, -2*b + 6 = 0. Is (5/c)/(2/1986) composite?
False
Suppose 2684 = 4*y - 1880. Is y prime?
False
Let g(i) = -i - 126. Let v be g(0). Is v/(-4) + (-12)/(-8) prime?
False
Let c = 836 + -495. Is c composite?
True
Let g(r) = -r**2 + r + 35. Is g(0) composite?
True
Let d = -34 + 13. Let s = 82 - d. Is s prime?
True
Let s be (-12)/(-3) + 6 + 2. Is 483*-4*(-1)/s a prime number?
False
Suppose -3*i + 2 = -2*i. Is -5 + i - -112 - -2 a prime number?
False
Suppose 0 = -6*l + l + 155. Is l composite?
False
Let k(q) = -q + 12. Let x be k(9). Suppose 0*z - 4*d - 18 = -z, 0 = -x*d - 12. Suppose 0 = 2*g + 5*v - 103, -z*g - v + 3 = -80. Is g composite?
True
Let r(z) = 122*z**3 - 1. Is r(1) a composite number?
True
Let u be (0 + -1)*(1 - 2). Let j be (-1)/(-2)*(u - 1). Suppose j = 3*r + 11 - 74. Is r a composite number?
True
Let w = 46 + -100. Is (-2)/9 + (-6384)/w prime?
False
Suppose -3*l = -i - 10, 2*i - 30 + 5 = -3*l. Suppose 2*f + 4*g + 181 = l*f, -5*g - 130 = -2*f. Is f a prime number?
False
Let q be 1*(-195)/3 - -1. Let x be q/(-28) - (-4)/(-14). Suppose 4*d + x*y - 135 = -y, -37 = -d - 4*y. Is d prime?
False
Suppose 7*y - 5*y + 6 = -z, 3*z - 2 = -y. Suppose -4 = z*n - 5*s, -n = 2*n - 5*s + 16. Is ((-382)/3)/(8/n) a composite number?
False
Let s = 3080 - 1438. Is s prime?
False
Let z be (-140)/(-30)*(-30)/4. Is z*(2/(-1) - -1) a composite number?
True
Suppose 239 = 3*t - 622. Is t composite?
True
Let c(k) = k**2 + k. Let d be c(-2). Suppose -l - 5*z + 63 = 0, -d*l + 24 + 146 = -z. Is l prime?
True
Let x = 8 + -6. Let t(l) = 5 + 3*l - 5 + 7 - x. Is t(6) composite?
False
Let h be 0 - -2 - (0 + -2). Let q be 1/(-4) + (-227)/h. Let g = q - -112. Is g prime?
False
Let k(y) be the third derivative of y**6/120 - 7*y**5/30 + y**4/3 + 2*y**3/3 - 4*y**2. Let n be k(10). Is n/(-10) + 9/(-15) prime?
True
Let g(y) = 3*y + 7. Let f be g(-5). Let c = f - -10. Suppose 5*u - c*u - 159 = 0. Is u prime?
True
Let b = -1339 - -2810. Is b a composite number?
False
Suppose -5*h = -2*a + 9, -4*a = -5*a + 3*h + 5. Let q(p) = 22*p - 5. Let g be q(5). Suppose a*x + x = g. Is x a prime number?
False
Let g(t) = -t**3 + 5*t**2 - 5*t - 1. Let f be g(5). Suppose -5*u - 13 = 22. Let y = u - f. Is y prime?
True
Let w(m) = -m - 9. Let n be w(-12). Let f be 2 - (1 - -289) - n. Let g = -208 - f. Is g a prime number?
True
Suppose -3*t = -0*t. Suppose 17 = 4*l - 3*a, -4*l + t = a - 5. Suppose 121 = 3*m + 2*f + 20, 4*m + l*f = 138. Is m a composite number?
False
Let r(p) = 8*p + 1. Suppose 0*w - 11 = -w. Is r(w) prime?
True
Let s = -2344 - -5205. Is s composite?
False
Suppose -4*j = -6 - 6. Suppose -3*q = -3*p + 58 + 197, j*q = 5*p - 427. Is (-4)/(12/(-9)) + p prime?
True
Suppose 4*o = -2*v + 1058, 2*v - 6 = -0*v. Is o composite?
False
Suppose 4*c = 16 - 0. Suppose -c*z + 3*z + 262 = 0. Is z composite?
True
Let s(a) = a**3 + 6*a**2 - 2*a - 6. Let d be s(-7). Let u = 42 - d. Is u composite?
False
Let b = -42 - 71. Let r = b - -198. Is r prime?
False
Let o be 14 - (2 + (-1 - -1)). Let f = o - 3. Is -3*(-13)/f*3 a composite number?
False
Let m(h) = h**2 + 5*h + 8. Suppose -24 = 3*n + 2*n + 3*o, -3*n + 2*o - 22 = 0. Is m(n) prime?
False
Let w = -16 - -11. Let f(a) = -2*a + 3. Let d(t) = -3*t + 4. Let b(p) = 4*d(p) - 5*f(p). Is b(w) prime?
True
Let m(k) = -494*k**2 - 2*k - 1. Let g(a) = -a**2 + 6*a + 6. Let i be g(7). Let v be m(i). Let p = -344 - v. Is p a composite number?
False
Suppose 0 = y - 4 - 5. Let d(z) = 5 - y*z - z**3 - 8*z**2 + 0*z - 4. Is d(-7) prime?
False
Let n(i) = i + 77. Let k = -3 + 3. Let v = k - 0. Is n(v) prime?
False
Let b(s) = s**3 - 7*s**2 + 7*s - 7. Let g be b(6). Is g + (0 + 1 - -133) a composite number?
True
Let b(c) = -c**3 + 5*c**2 + 2. Let f be b(5). Suppose -4*i = -3*u - 20 + 1, i = -4*u. Suppose -2*j = -2*q + 182, i*q = f*q + 3*j + 178. Is q a prime number?
False
Let u = 606 + 131. Is u a prime number?
False
Let c be (-5300)/(-36) - 4/18. Suppose n - c + 20 = 0. Is n prime?
True
Suppose 5*u + 7 = 17. Is 65/u + (-3)/(-6) composite?
True
Suppose 5*u - 18 = 142. Suppose 0 = 2*o + 2, u = -p + 4*p - 2*o. Is p prime?
False
Let k = -601 - -894. Is k prime?
True
Let s(p) = -28*p**2 + 4*p - 5. Let z be s(3). Suppose 0 = -3*f + f - 816. Let x = z - f. Is x a prime number?
True
Let n(y) = -6*y**3 + 6*y**2 + 6*y + 1. Let i(r) = r**3 - r**2 - r - 1. Let x = -2 + 1. Let p(f) = x*n(f) - 4*i(f). Is p(2) composite?
False
Suppose 6*k = 2*p + 4*k - 82, 5*p + 5*k = 255. Let r = p + -22. Suppose -2*w - t + r + 70 = 0, -2*w - 4*t + 94 = 0. Is w a prime number?
True
Suppose -6*b = -b - 265. Is b composite?
False
Let l(y) be the second derivative of 5*y**3/6 - 2*y**2 + 2*y. Let r be l(6). Suppose r = w + 5*g + 7, w + 4*g - 22 = 0. Is w prime?
False
Let r(k) = k**2 - 7*k - 1. Is r(11) a composite number?
False
Is ((-204144)/72)/((-4)/6) composite?
False
Let p(r) = 2*r - 32. Let f be p(17). Let s(k) = -2*k + 4. Let l be s(3). Is l*((-215)/2 + f) prime?
True
Suppose 0 = a - 90 - 27. Let x = -102 + 34. Let r = a - x. Is r a prime number?
False
Suppose 4*k + 2*d - 6 = 0, -5*k + 5*d = -k - 41. Let u(p) = 3*p**3 - 5*p - 5*p**2 + 3*p**2 + 2 - 2*p**3. Is u(k) a composite number?
True
Let y be (-6)/9*(-6)/(-4). Let v be (y - 15*-15) + -2. Suppose 0 = -4*o + 38 + v. Is o prime?
False
Let r = -1 - -1. Suppose r*t - 51 = -3*t. Let y = t + 22. Is y a prime number?
False
Is (-322 + 5)/(2/(-2)) composite?
False
Let g be (-10)/(-2)*(5 - 4). Suppose 0 = -0*z - g*z + 455. Is z a composite number?
True
Let l(d) = 4*d**2 + 8*d + 5. Suppose -j + 4 = 3*j. Let i = -6 - j. Is l(i) a prime number?
False
Let y(l) = -36*l + 4. Let d be y(-2). Suppose -4*m + 208 = d. Is m a prime number?
False
Let k(v) = v**3 + 13*v**2 - v - 3. Suppose 3*i = 4*j - 60, 3*j + i - 30 = j. Let b be 2*j/9*-3. Is k(b) prime?
True
Let w(f) = -f**3 - f**2 + 2*f + 5. Let v be w(-5). Suppose x = v - 9. Is x a prime number?
False
Let s be -2*(-3 + 3/3). Suppose s*j - 1641 = -g, 0 = 5*j - 2*j - 2*g - 1217. Is j a prime number?
True
Let v(a) = 144*a**2 + 1. Let o = 2 - 1. Is v(o) a composite number?
True
Let j(v) = v**2 + 6*v. Let b be j(-10). Is ((-6)/(-4))/(15/b) prime?
False
Let o be 15/4 - (-2)/8. Suppose o*n - 3*c = 21, -5*n + 5*c + 22 = -8. Suppose -4*g + w = -236, n*g - 295 = -2*g - w. Is g composite?
False
Suppose -4*o = 3*h - 2*o + 13, 0 = 3*h - 2*o + 5. Suppose 4*d - 31 = -5*b, 2*d - 32 = -4*b - 3*d. Let c = b - h. Is c a prime number?
False
Let d(t) = 3*t**2 - 12*t + 11. Is d(10) a composite number?
False
Let q(c) = c**3 + 4*c**2 - 4*c + 5. Let d be q(-5). Suppose 10 + d = 2*b, v + b = 58. Is v prime?
True
Let c = 4431 + -2722. Is c a prime number?
True
Let k(i) = -1 - 2*i**2 + 2*i + i**3 + 2 - 2*i**2 + 0*i. Is k(4) a prime number?
False
Suppose y + 4*y = 14135. Is y prime?
False
Is (-1308)/(-10) - (-11)/55 composite?
False
Suppose -8*b + 948 = -4*b. Suppose -2*w = w - b. Is w composite?
False
Let f = -138 + 429. Suppose -2*w = 4*d - 416, 4*w = -w + 4*d + 998. Let s = f - w. Is s composite?
False
Let u(c) = -5*c + 1. Let k be u(-1). Let m(w) = 3*w - 7. Is m(k) prime?
True
Let a be 885/(0 - (-1)/(-2)). Is a/(-7) - 2/(-14) a prime number?
False
Let w be ((-2)/(-3))/(1/(-12)). Let f = w + 8. Suppose f = 2*p - 117 - 65. Is p composite?
True
Let z(c) = -c**3 - 6*c**2 - c - 6. Let s be z(-6). Let a = s + 5. Suppose 4*u = u - 4*y + 143, -4*u + 192 = a*y. Is u a composite number?
False
Let m(b) be the second derivative of 2*b**4/3 + b**3/3 - b**2 + 3*b. Is m(4) composite?
True
Suppose -6*o = -o + 40. Let g = o + 19. Is g composite?
False
Suppose -5*d + 4*t - 2*t + 51 = 0, -24 = -2*d - t. Is 1439/d + 8/44 composite?
False
Let z = 9 - 6. Suppose 4*x + 16 = 0, -z*k - 2*x + 0*x = 2. Is (-4 + 3)/(k/(-94)) prime?
True
Let i be 264 + (-2 - 1)/(-3). Let t = -116 + i. Is t a composite number?
False
Let u = -2 + 4. Is (-1099)/(-14) - u/(-4) a prime number?
True
Let w = -9 + 11. Let x be 306/10 - (-4)/10. Suppose -w*v = -x + 5. Is v composite?
False
Suppose 4*g - 1013 - 252 = -3*d, -5*d = 4*g - 2103. Is d a prime number?
True
Suppose 5*y - 1201 = 11584. Is y a prime number?
True
Let w(z) = -z**2 - 14*z + 4. Let j(n) = n**3 + n**2 - 3*n -