d = -264. Is h composite?
True
Suppose 0 = -3*w + 4029 - 48. Let l(y) = -23*y - 157. Let s be l(-7). Suppose -s*j = -w + 3. Is j prime?
True
Suppose 0 = -2*l + 10, -94363 + 12808 = -5*k - 4*l. Is k a composite number?
True
Suppose 0 = 2*o + 19 - 9, -o = -4*d + 13201. Is d composite?
False
Let f(h) = -5795*h + 148. Is f(-5) composite?
False
Let m(q) = 37*q - 19*q - 35*q - 3. Let c be 12/9*(-3)/2. Is m(c) composite?
False
Let v be (608/40)/(2/75*-3). Let d = -44 - v. Is d a composite number?
True
Suppose 41*h - 338051 = -8*h. Is h composite?
False
Let q(s) = 8*s + 15. Let k be q(-6). Let b = k + 13. Let i = 35 + b. Is i prime?
False
Let t(c) = 3*c**3 - 2*c**2 - 2*c - 1. Let w be t(-1). Let v(i) = -71*i - 1 + 148*i - 95*i. Is v(w) composite?
False
Suppose 0 = -5*w + w. Let j be (0/4 + w)/(-2). Suppose -6*a + 5*a + 14 = j. Is a a prime number?
False
Let s = 5631 + -430. Is s a composite number?
True
Suppose -106*y - 51470 = -116*y. Is y a prime number?
True
Let c(w) = -8*w - 9. Let d be c(6). Is (d/9)/(1/(-21)) a composite number?
True
Suppose 4*j - 24 = -5*u, -u = 4*u. Is 1*(394 - (-3 + j)*-1) a composite number?
False
Suppose -3*u - 546 = -3*g - u, -u = -g + 182. Let k(a) = 2*a**3 - 21*a**2 - 13*a + 9. Let d be k(12). Let m = d + g. Is m prime?
True
Let s = 1498 - -1178. Suppose 0 = -5*c + c + s. Is c prime?
False
Suppose -25*t - 204 = -21*t. Let o = 82 + t. Is o a composite number?
False
Let d = 661 - 244. Let t = -20 + d. Is t a composite number?
False
Let l(b) = 6*b**2 - 2*b + 1. Let c be l(1). Suppose 3671 = 4*y - 3*i - 2591, 7812 = c*y + 4*i. Is (-12)/8*y/(-6) prime?
False
Let c = 26554 - 13839. Is c a composite number?
True
Let g(x) = 190*x**2 - 37*x + 283. Is g(8) prime?
False
Let f = 31 - 26. Suppose 0 = l - f*l + 1796. Suppose u + a - l = 0, 2*a = u - 5*u + 1788. Is u a prime number?
False
Let g be (-2)/(-6)*789/(-1). Let p = g - -820. Is p a composite number?
False
Let x(h) = 102*h - 2. Let r be x(-1). Let c = r - -433. Suppose -2*w + 191 = 3*u, -5*u + 3*w = w - c. Is u a composite number?
True
Suppose -3*h = 3*u - 10854, 6934 = 4*h - 5*u - 7520. Suppose -4*j + h = -0*j + 3*c, 0 = -2*j - 2*c + 1806. Is j composite?
False
Let g(h) = -4*h**3 - 18*h**2 - 28*h + 59. Is g(-19) a prime number?
True
Suppose 5*p + 20 = 4*i, -6*p + p = 5*i - 25. Let h(w) = -w + 1. Let n(q) = 2*q + 106. Let s(b) = 3*h(b) + n(b). Is s(p) a prime number?
True
Is 8776*1 - -3 - 0/(-9) composite?
False
Suppose 91337 = 5*n - 2*p, -p - 2798 = -2*n + 33736. Is n composite?
False
Let q be (-7666)/10 + 4*(-5)/50. Is 0 + (0 - q)/1 a prime number?
False
Let v(r) = -r**3 + r**2 - 130. Let k be v(0). Let d = 423 - k. Is d a prime number?
False
Let z = 12084 + -6878. Suppose -5*j + 3*v + z = 0, -5*v - 4014 + 900 = -3*j. Is j prime?
False
Let m(h) = 220*h**2 + 3*h + 2. Let x be m(5). Suppose -3*v = -4455 - x. Suppose -8*c = -268 - v. Is c prime?
True
Let j(c) = 14*c**2 - 180*c + 35. Is j(-22) a prime number?
True
Is 1 + 1589 - (1 - 15)/2 a composite number?
False
Suppose -884 = -o + 1144. Let q = o - 985. Is q prime?
False
Let s = 7 + 1. Suppose -3*o = o - s. Suppose -o*m = -h + 65, h - m - 68 = -1. Is h a prime number?
False
Let r = 543 - 290. Is r a composite number?
True
Let n = -9883 - -20874. Is n composite?
True
Let v be (-186 + 3 - 4)*-1. Suppose -4*r = -3*r - v. Is r composite?
True
Suppose 0 = 7*u - 2*u - 7360. Suppose 2626 + u = 6*h. Is h a prime number?
True
Let s = 4889 + -2980. Is s prime?
False
Let k(b) = 13 - 2*b + 3*b - 45*b**2 + 47*b**2. Is k(14) composite?
False
Suppose -2511 = k + 2*k. Suppose 0 = 18*o - 23*o + 6940. Let a = k + o. Is a a prime number?
False
Let n be 2/(-15) - 2889/(-405). Let r(t) = 222*t - 19. Is r(n) composite?
True
Let t be 0 + 5/(15/(-18)). Let b(f) = -6*f - 8*f - f**2 - 2 + 1. Is b(t) a composite number?
False
Let m(n) = 8*n**3 + 4*n**2 + 15*n - 4. Let k be m(5). Let q = -377 + k. Is q composite?
True
Let b(c) = c**3 - c**2 + c - 1. Let f(j) = -21*j**3 + j**2 + 2*j + 5. Let u(x) = -2*b(x) - f(x). Is u(4) a composite number?
False
Let i = -5428 - -7865. Is i a prime number?
True
Suppose -97*t + 93*t = -9932. Is t a prime number?
False
Suppose -3*t - 5*c + 22084 = -13103, 4*c - 11729 = -t. Is t composite?
True
Let k be (-4)/(-34) - 158728/136. Let x be 27/(-9) - (0 - k). Is 2/4 + x/(-4) prime?
True
Is 0/(-2) - (-192790)/26 prime?
False
Let u be 4/12*-3 - -9. Let o(f) = f**3 - 7*f**2 - 8*f + 3. Is o(u) prime?
True
Suppose 4*i - 5*k - 37018 = 0, 3*i - 27773 = 32*k - 33*k. Is i prime?
True
Let a be (20/16)/((-3)/12). Let u = a + 1. Let y = 49 - u. Is y composite?
False
Suppose 4*o = -14 + 26. Let a(s) = 356*s**2 + 6*s - 7. Is a(o) prime?
False
Let j(f) = -67*f**2 + 4*f + 35*f**2 + 7*f + 17 + 35*f**2. Is j(-12) prime?
True
Suppose 2*x = 2 + 6. Suppose 3*d = -2*d + 4*z + 12, 2*d = 2*z + x. Suppose -80 = -4*u + m, -3*u + 0*m = d*m - 41. Is u a prime number?
True
Suppose -q = 4*v + 258, q - 2*v + 264 = -3*v. Let w = q + 477. Is w a composite number?
False
Let z be (2184 - 10) + 3*3/3. Suppose 3*w + 4*w - z = 0. Is w prime?
True
Suppose 3988 = 11*c - 3723. Is c a composite number?
False
Is 4/(-18) + (196820764/153)/28 composite?
False
Let q = -4494 + 8483. Is q a prime number?
True
Let a = 10165 - -4156. Is a a composite number?
False
Suppose 3*v - 5194 = 3*d - 565, -2*v - 5*d = -3086. Is v composite?
False
Suppose -7*v + 0*v = 350. Let d = 329 - v. Is d a composite number?
False
Let c = 604 + -24. Let z be (-1243)/(-5) - 6/(-15). Let q = c - z. Is q a composite number?
False
Let s = 422 + 595. Suppose -3*h + 2*c = -s, 0 = 2*h - 3*h + 3*c + 346. Suppose -h - 39 = -4*a. Is a a prime number?
False
Suppose 8 = i + 4. Let v be 629/119 - i/14. Suppose -1228 = b - v*b. Is b a prime number?
True
Let l = -49 + 51. Suppose 55 + 54 = 3*c + l*b, 5*b + 42 = c. Is c prime?
True
Let t = 4062 + 6045. Suppose 0*d = 9*d - t. Is d a prime number?
True
Suppose 0 = z + 5*l - 10*l - 31119, 4*z - 3*l - 124544 = 0. Is z a composite number?
False
Suppose 4*f = 3*v - 4*v + 6817, 5*v = -f + 33990. Is v a prime number?
False
Let i(k) = 647*k**2 + 12*k - 8. Is i(-3) prime?
True
Let k = 1803 + -404. Is k prime?
True
Suppose -4562 = -5*o + 4*y, y - 4*y = 5*o - 4541. Let k = -339 + o. Is k a prime number?
True
Let t be -1*(8/14 - (-6250)/14). Is 9 + 2 + -7 - t a composite number?
True
Let h(y) = 111*y**2 + 3*y + 1. Is h(-5) a composite number?
True
Suppose -5*h - 18 = 3*g - 57, 17 = 4*g - 5*h. Suppose 9*p - g*p - 104 = 0. Let o = -45 + p. Is o prime?
True
Suppose j + 4*r - 28 = -3*j, -14 = 3*j - 4*r. Is 34/(j + 220/(-115)) a composite number?
True
Let z = 23392 + -16591. Is z prime?
False
Suppose 0 = -4*j - 5*k + 8639 - 1247, -20 = -5*k. Is j a prime number?
False
Let m = 7616 + -4832. Let y = m - 1093. Is y composite?
True
Let v be -3*31*56/(-24). Let z = v + -56. Is z a composite number?
True
Suppose 0 = -5*p - 4*k + 8514, p - 847 = -5*k + 860. Let f = 2635 - p. Is f a prime number?
False
Let r(s) = -s**2 - 5*s + 5. Let w be r(-5). Suppose -4*d = 3*v + 11, 2*v + 0*v + w*d + 12 = 0. Is ((-1)/2)/(v/134) a composite number?
False
Let h = 19 - 9. Let y(s) = s**3 - 11*s**2 + 10*s. Let g be y(h). Suppose 3*f = -3*t - 2*t + 479, -5*f - 5*t + 805 = g. Is f composite?
False
Let r(s) = 619*s**2 + 273*s + 13. Is r(-10) composite?
False
Let j(d) be the first derivative of 1/3*d**3 - 3/2*d**2 + 3*d - 4. Is j(7) a composite number?
False
Let o(f) = 19*f**2 + 9*f + 9. Let i be -3*((-32)/12 - -4). Is o(i) composite?
False
Let b(p) = -15*p**2 - 1. Let g be b(-1). Let s(o) = -19*o + 23 - o**2 - 30 - 8. Is s(g) a composite number?
True
Is 261947/21 + (-6)/9 prime?
True
Let w be (-4 + 98/4)*-2. Let q = w - -6. Let m = 36 - q. Is m a composite number?
False
Let z = 9 + -3. Let p be (-36)/(-54) - (-26)/z. Suppose -2*t = m - 125, -p*t - 595 = -6*m + m. Is m prime?
False
Suppose -3*r - 5*y + 2389 = 0, -5*r + 7*r = -y + 1602. Is r a prime number?
False
Suppose -1498 = 2*t - 3*t - 4*q, 5*q + 20 = 0. Is (-3)/(-6) - t/(-4) composite?
False
Suppose -2*d + 6490 = 3*d. Suppose -a - 1268 = -2*a + k, -5*k = a - d. Is a a prime number?
False
Let w(l) = 36*l**2 + 19*l - 3. Is w(8) composite?
True
Let f = -1468 + 3521. Is f prime?
True
Suppose -20*u - 5*u + 9775 = 0. Is u prime?
False
Suppose -16 = -2*y +