= a*f - 65. Is f prime?
True
Suppose -288 = -4*o + 4*u - 96, -2*o - 2*u = -116. Let x = o - -36. Is x prime?
True
Let h(k) = -k**3 - 9*k**2 - 9*k - 12. Is h(-9) composite?
True
Suppose -u + 22 = -2. Let d = -10 + 18. Suppose -4*x - u = -d*x. Is x a prime number?
False
Let u be (-9)/(-5) + (-4)/(-20). Is (70/(-6))/(u/(-6)) prime?
False
Let t(l) be the first derivative of -1/4*l**4 - 1 + 0*l**2 + 3*l + 7/3*l**3. Is t(6) prime?
False
Suppose 4*z = -d + 525, 2*z - d - 263 = -2*d. Is z composite?
False
Let j(y) = -33*y**2 - 5*y + 6. Let u be 1/((-3)/(-36)*-2). Let v(x) = -32*x**2 - 6*x + 7. Let a(c) = u*j(c) + 5*v(c). Is a(1) a prime number?
True
Suppose -3*m = -7*m - 12. Let t(a) = -a**3 - 2*a**2 + 5*a + 4. Let c be t(m). Is 138/4 + c/(-4) prime?
False
Let i = 1 - 99. Let p = -9 - i. Is p composite?
False
Let x = 120 - -7. Is x composite?
False
Suppose -g = 3*d - 792, -303 = 5*d - 5*g - 1603. Is d composite?
False
Suppose -p + 5*v + 139 = 0, -5*p - v + 591 = -0*p. Is p a prime number?
False
Let k(q) = 2*q**2 + q - 2. Is k(-4) a composite number?
True
Suppose 0 = -0*q + 4*q - 8. Suppose -q*z - 488 = -6*z. Is z/8 + (-1)/4 a composite number?
True
Let q = 1733 - 929. Suppose 5*w - q - 211 = 0. Is w a composite number?
True
Let w = -5 - -9. Suppose -b + 18 = 5*f, -w*f + 5*b + 18 = -2*f. Is 738/14 - f/(-14) a prime number?
True
Let k be ((-5)/4)/(2/(-328)). Let d(o) = o + 9. Let t be d(-5). Suppose -5*f = 5*c - 0*c - k, 0 = -t*c + 16. Is f composite?
False
Suppose 5235 + 684 = 3*o. Is o prime?
True
Suppose 4664 = 5*m + 1399. Is m a composite number?
False
Suppose 0 = -3*w + x + 115, -2*w = 2*x - 7 - 83. Let a = w - -57. Is a a prime number?
True
Let d = 7 - 3. Suppose 3*b + 303 = d*b. Is b a composite number?
True
Suppose -g + d + 145 + 15 = 0, 341 = 2*g + 5*d. Is g a prime number?
True
Suppose -5*w = -15, -4*v + 7*v = w + 2073. Let a = v + -454. Is a/(9/(-3) - -5) a composite number?
True
Let h(p) = p**3 - 6*p**2 - 5*p - 10. Let r be h(7). Suppose -3*f = -f + 8, -2*f - 204 = -r*v. Suppose -3*a + 147 = -4*o, a = -o - 4*o + v. Is a composite?
True
Suppose 0*y + 602 = -2*y. Let v = -59 - y. Suppose -v - 122 = -4*n. Is n composite?
True
Let z(j) = j**3 + j**2 - 2*j + 557. Is z(0) a prime number?
True
Let h be (-14)/49 - (-2004)/7. Suppose -4*r = -3*r + 3*u - h, 3*u = 4*r - 1084. Is r prime?
False
Let x = 12 - -21. Suppose -3*h + 3 = -x. Suppose 0 = o - h - 7. Is o a prime number?
True
Suppose 0*n + 154 = -n. Is n/1*2/(-4) prime?
False
Let p be (3 - 2) + -2 + 76. Suppose -4*w + p = w. Let u = 38 - w. Is u prime?
True
Let c = 70 - -559. Is c a composite number?
True
Let m(b) = 13*b - 11. Is m(18) a prime number?
True
Suppose -7*t + 20 = -2*t. Suppose -5*k + t*z + z = 0, z = 3*k - 4. Suppose -k*r - 3*r + 265 = 0. Is r composite?
False
Suppose -3*h + 5*i = -769, -4*i = 4*h - 66 - 970. Is (2/3)/(4/h) composite?
False
Suppose 0 = -c + 5*c. Suppose 3*y - 238 = 2*z + 201, 5*y + 2*z - 705 = c. Is y composite?
True
Let x be 26/91 + (-2418)/(-14). Suppose -2*m = 3 - x. Is m a prime number?
False
Suppose 9*q - 6*q = 9. Suppose 0 = 4*z - q*y - 519, -4*z + 253 = -2*z + 5*y. Is z prime?
False
Let j(w) = w + 18. Let b be j(-10). Suppose 4*p - b*p + 384 = 0. Let q = p - 65. Is q composite?
False
Suppose 0 = -0*k - 3*k + 414. Suppose 2*r - k = -0*r. Is r composite?
True
Let k be -1*(-4 + 3 + 84). Let v = 121 + k. Is v a composite number?
True
Let j = -1 + -5. Let v = 36 + j. Let r = v - -49. Is r a composite number?
False
Let b(a) = -a**3 - 5*a**2 + 6. Suppose -4*u - 5*l - 24 = 0, -7*u + 2*u - l = 30. Let j be b(u). Is 690/14 - 12/j a prime number?
False
Suppose -u = 5*n - 3*n - 10, 0 = 3*n - u - 15. Let y be -1 + (-5)/(n/(-346)). Suppose -y = -k - 4*k. Is k a prime number?
False
Suppose -3*a - 2478 = -2*y + 814, -y = -3*a - 1640. Is y/21 - 2/(-6) prime?
True
Let n(d) = d + 16. Let m be n(-11). Suppose 0 = m*s - 8*s + 63. Is s a prime number?
False
Let n = 111 - 1. Suppose -2*m + 0*m = -n. Is m a composite number?
True
Suppose -5*g = 3*p + 1, 5*p - 11 = -4*g + 2*g. Suppose -285 = -p*x - 2*x. Is x prime?
False
Suppose 0 = -2*t - t + 6. Is (136 + -2 - 3) + t a composite number?
True
Let b(n) = -34*n - 3. Is b(-10) a composite number?
False
Let k(z) = 4*z**2 + 3*z + 9. Let u be k(7). Suppose -u = -3*y - 2*g, 0 = 5*y + 4*g - 0*g - 378. Is y a prime number?
False
Let k(n) = 11*n. Let u be k(4). Let o = u - 30. Is o a composite number?
True
Suppose -5*u - x + 11698 = 0, 2*u + 5*x = x + 4690. Is u a composite number?
False
Suppose g - 172 = 2*y, y - 4*g = -0*g - 93. Let a = y - -134. Is a a composite number?
True
Suppose 5*v - 109 = 121. Let i(s) = s - 37. Let u be i(16). Let d = u + v. Is d composite?
True
Suppose -2*i + 5*i = 0, -3*j - 2*i + 261 = 0. Is j a prime number?
False
Let t = -7 + 7. Suppose t*a = -2*a - 5*p + 4, 0 = p + 4. Suppose 0 = -3*r - 3*b + 57, -2*r + a + 28 = b. Is r a composite number?
True
Let c = 10 + -5. Suppose 0 = -c*l + 2*l. Suppose -5*w + 260 = s, l = 5*w - w - 5*s - 179. Is w composite?
True
Let k(w) = 14*w - 3. Let g be (-6)/9 + (-6)/(-9). Suppose -2 = s - 3*n - g*n, 5*n = 5*s - 10. Is k(s) composite?
False
Let q(n) = 4*n**2 - n. Let m be q(-1). Suppose -3*b = 5*z - 336, 2*z + m*b = 41 + 82. Let h = z - -254. Is h composite?
True
Let a(b) = 2*b**2 + 10*b + 9. Let p be a(-6). Let z = -11 + p. Let q = z + -3. Is q a prime number?
True
Suppose -l - 2*m + 713 = 0, -4*l + 5*m - 784 = -3675. Is l prime?
True
Let o be 4/20 - 4923/15. Let b = o + 477. Is b a prime number?
True
Let k = -199 - -402. Is k prime?
False
Let x(d) = 11*d**2 - 6*d. Let g be x(5). Let c = g + 72. Is c a composite number?
False
Suppose -m = 14*m - 5955. Is m a prime number?
True
Suppose 460 = 10*o - 6*o. Is o composite?
True
Suppose 273 = 3*k + 2*i, -2 = 2*i - 8. Is k composite?
False
Is 2/(-8) + (-249)/(-4) a prime number?
False
Suppose 0*d + d - 128 = -3*l, -l = 5*d - 52. Let u = -22 + 31. Let y = l - u. Is y prime?
False
Suppose 45 + 82 = p. Is p a composite number?
False
Let s(t) = -t + 1. Let j(p) = -p**3 + 9*p**2 - 12*p + 8. Let r(k) = j(k) - 3*s(k). Is r(6) composite?
False
Let s(y) = -6802*y**3 - 2*y**2 - 2*y - 1. Is s(-1) prime?
False
Suppose 4*m = 2*m + 40. Is 10/8*m*1 prime?
False
Let w = 16 + -11. Suppose 0*t + 185 = w*t. Is t composite?
False
Let b(v) = -v**3 + 5*v**2 + 7. Let t be b(5). Suppose -6*i - 293 = -t*i. Is i prime?
True
Let b = -258 + 509. Suppose 0 = k + b - 760. Is k a composite number?
False
Suppose -a = -2*a. Let f(q) = q + 121. Let p be f(a). Suppose -p = -4*u + 3*u + 3*y, 3*y = -6. Is u prime?
False
Suppose -10*i + 620 = -6*i. Is i prime?
False
Let c be (4 - (-4)/(-4)) + 3. Suppose 2*q + 372 = c*q. Is q prime?
False
Suppose 3*t + 353 = 11. Let a = t + 347. Suppose -4*l - 45 = -a. Is l prime?
True
Suppose -o - 2*r + 1893 = 0, -2*r = 4 + 4. Is o composite?
False
Let g(n) = n**3 + 9*n**2 - 5*n - 5. Let j(w) = w - 1. Let s be j(-5). Is g(s) prime?
False
Suppose k - 83 = -3*a, -2*a + 53 = 4*k - k. Let z = -49 + a. Is 6/z - 555/(-7) composite?
False
Suppose 4*m - 52 = b, 5*m + 4*b = b + 82. Is m prime?
False
Let s(m) = -m**3 + 10*m**2 + 11*m - 25. Is s(10) composite?
True
Is -1*3 + (9 - -1643) a prime number?
False
Let y = -1415 - -2332. Is y composite?
True
Is (-6)/3*(-236)/8 a prime number?
True
Let h(l) = l**2 - 8*l - 2. Let j(s) = -s + 1. Let q(f) = -h(f) - 3*j(f). Is q(8) a composite number?
False
Suppose -5*k + 3*a = -2*a, -4*a = 3*k - 21. Suppose 0 = -k*t - 3*y + 21, 0 = 2*y - 2 - 4. Is (-1 - 1)*(-106)/t a composite number?
False
Let s = -5 - -42. Is s composite?
False
Let r(q) = -q - 5. Let u be r(-7). Suppose -u*c - 2 = 6. Is (-81)/(-6) - 2/c prime?
False
Let u = 160 - 276. Let t = u + 198. Let o = t - 49. Is o a composite number?
True
Let m = 6 - 5. Let k be (-281 - -1) + 1/m. Let h = 442 + k. Is h a prime number?
True
Suppose 8*k - 5*r = 3*k + 5730, -k + 1158 = 3*r. Is k a composite number?
True
Suppose -5*u + 0*a = 3*a + 168, -2*u - 92 = -5*a. Let k = u - -287. Is k composite?
False
Let y(j) = -j**2 + 7*j. Let x be y(5). Is 4/x - 3591/(-35) composite?
False
Let r = -3014 + 4349. Suppose 2*f + 133 = r. Suppose 0*q - 5*q = -3*l - f, 0 = -3*q + 4*l + 365. Is q a prime number?
False
Suppose -2*g + w = 4*w - 18, 2*g + w = 10. Suppose -9 = -2*h + l, 