e 2326 - 760 = 6*h. Let g = z + h. Is g prime?
True
Let q = 3 - 6. Let d be 61*q/3*1. Let p = 60 - d. Is p a composite number?
True
Suppose 0*o - 83 = -o. Is o prime?
True
Suppose -60 = -t + 3. Suppose n = t - 12. Is (-2)/(-6) - n/(-9) a prime number?
False
Suppose 3*a - 3 = -3*o + 3, a - 5*o - 26 = 0. Let f(r) = 9*r + 7. Let y be f(a). Suppose 0 = -3*s + 32 + y. Is s a prime number?
True
Let r = -6 + 3. Let a = r + 2. Is -118*(1 + -2) - a a prime number?
False
Let s(u) = 6*u**3 - 4*u**2 + 2*u + 1. Let c = -7 + 12. Suppose c*h - 4 = 2*g, h - 1 - 7 = -2*g. Is s(h) a composite number?
False
Let z(p) = -p**2 - p + 2. Let g be z(1). Suppose -4*t = g, -119 = -x - 8*t + 3*t. Is x a prime number?
False
Let m = 846 + -3813. Is m/(-12) + (-3)/12 a prime number?
False
Is 210 + (1/(-1) - -2) a composite number?
False
Suppose -846 = -5*b + 2*b. Let j = b + -155. Is j a composite number?
False
Let v(r) = -r**3 + r + 5. Let k be v(0). Let c(n) = -n**2 + 5*n + 2. Let j be c(k). Is (2/j*-22)/(-2) a prime number?
True
Suppose -2 = -2*a + 4. Suppose -317 = -4*m + a*m. Is m a composite number?
False
Let k = 102 - 70. Suppose 3*j = 5*j - 4. Suppose j*m - 42 = k. Is m composite?
False
Let z(b) = 22*b - 3. Let j(g) = -g. Let h(n) = 4*j(n) - z(n). Is h(-2) prime?
False
Let r = -532 + 791. Is r prime?
False
Suppose n + 4*k = k - 9, 2*k + 8 = 0. Let c(q) = 5*q**2 + 4*q - 2. Is c(n) a prime number?
False
Let n(a) = -2*a + 233. Is n(0) a composite number?
False
Let c(r) = 0*r + 9*r + 4 + 8*r - 2*r. Let h(s) = -5*s. Let z be h(-1). Is c(z) a prime number?
True
Suppose -20 = -5*g - b, 2*g + 3*b + b - 8 = 0. Let m = g + 1. Let c(h) = 5*h + 1. Is c(m) prime?
False
Let w = 153 - 65. Suppose -y + w - 29 = 0. Is y prime?
True
Let p(b) = 1762*b - 3. Is p(1) a prime number?
True
Suppose -5*l - 1914 = -32779. Is l a prime number?
True
Let z = -59 - -193. Is z a composite number?
True
Let l = -12 + 12. Suppose l = -2*u + 47 + 51. Is u composite?
True
Suppose 5*l - 33 = -4*v, 6*l - 30 = -5*v + 2*l. Let x(q) = 18*q**3 - 3*q + 1. Let c be x(v). Suppose -c = 3*m - 532. Is m composite?
False
Let o(i) = i. Let q be o(0). Let a(p) = -p + 57. Is a(q) composite?
True
Suppose 0 = 3*j + 2*i + 213, -i = -j - 76 + 5. Let x = 88 - j. Is x composite?
True
Let y = 188 - -105. Is y prime?
True
Let f(m) = -2*m**3 - 5*m**2 + m - 5. Let s be 2/(-6) + 14/(-3). Is f(s) prime?
False
Let t(q) = q - 33. Let n be t(0). Let c = n - -136. Is c composite?
False
Suppose -3*g = -0*g. Suppose g*x - 237 = 3*p - 2*x, 323 = -4*p + 5*x. Let h = p - -124. Is h a prime number?
True
Let m(u) = -u**2 - 12*u + 3. Let c be m(-7). Let o = -1 + c. Is o prime?
True
Let o = -18 + 29. Let t = o - 5. Is (11/(-2))/(t/(-12)) prime?
True
Let t = 305 - 172. Is t a prime number?
False
Let s = -3 - -7. Suppose 5*b - 53 = s*b. Is b prime?
True
Let j = 5 - 6. Is 1/(j/(-26)) + 0 composite?
True
Let y(g) = -g + 20. Let q be y(0). Suppose 3*l - o = 283, -o = 4*o + q. Is l prime?
False
Suppose r = 153 + 1421. Is r composite?
True
Let u = 177 - -340. Is u composite?
True
Let a = -20 - -29. Let i = 10 + a. Is i a composite number?
False
Let n(j) be the second derivative of 23*j**3/3 - 3*j**2/2 - j. Let t be n(-3). Let h = t + 226. Is h a composite number?
True
Is 41/(-164) - 5997/(-4) composite?
False
Let z = -13 + 5. Let i be (-2)/8 + (-2)/z. Suppose 0 = -2*h - i*h + 3*v + 17, -h + 5 = -5*v. Is h a prime number?
False
Let h = 2272 - 743. Is h composite?
True
Let g be ((-24)/(-9))/((-2)/(-348)). Suppose 4*n - g = -2*y, 0 = -n - 7*y + 4*y + 121. Is n a prime number?
False
Let w = -233 - -482. Is w a prime number?
False
Let g(h) = -h - 6. Let m be g(-9). Let f = m - 3. Suppose f = -2*t + 7 + 31. Is t composite?
False
Let p(y) = -2*y**3 - 4*y**2 - 4. Let g = -8 + 5. Is p(g) prime?
False
Let i(y) = y**3 + 5*y**2 + 4*y - 5. Let w be i(4). Suppose -d + 4*f - 3*f = -76, f + w = 2*d. Is d a composite number?
False
Suppose 2*b = -2*y - 14, 4*y + 10 + 0 = 5*b. Suppose 5 = 2*x - 0*x + 3*c, 4*x - c = 3. Is 22*-1*x/b a prime number?
True
Let w be (201/1)/((-12)/(-16)). Let b = w + -135. Is b composite?
True
Let x(u) = 46*u + 3. Suppose -2*y - 8 = -4*d, -3*d + 5*y + 3 = 4. Suppose 2*n - 11 = -d*l, -4*l + 5*n + 16 = -14. Is x(l) a prime number?
True
Is 1998/14 - 4/(-14) a prime number?
False
Suppose -2 = -2*c - 0*c. Suppose n - c = 5. Let w = 17 + n. Is w a prime number?
True
Suppose -3*q = 1955 + 433. Let o = 763 - q. Is o composite?
False
Let z = 12 - -21. Let b = z - -30. Is 14/b - (-664)/9 composite?
True
Let v = 66 - -49. Let t(l) = l**2 - 4*l - 9. Let u be t(6). Suppose u*s - 8*s = -v. Is s composite?
False
Let m(z) = -3*z + 203. Is m(0) composite?
True
Suppose -4*p = -4*j, 2*j = -2*p - j + 20. Suppose -u - 2*f + 320 = 0, -5*u - p*f + 939 = -667. Is u/6 - 8/12 a prime number?
True
Let v be (2 + -5)*(-10)/15. Suppose -65 = -v*m + 21. Is m prime?
True
Let k(i) = i**3 + 3*i**2 + 5*i - 2. Is k(3) prime?
True
Let b(c) be the second derivative of -c**6/120 - c**5/10 + 7*c**4/24 + c**3 - c**2/2 + c. Let t(n) be the first derivative of b(n). Is t(-7) composite?
True
Suppose 3*f + 5*f - 12504 = 0. Is f a prime number?
False
Suppose -8 = -2*a + 3*d, 4*a - 2*d = -7*d - 6. Is a/(-10)*-4*10 a prime number?
False
Let w = -15 - -21. Let r = 6 - w. Suppose -2*z + 170 = -r*z - 4*l, 0 = -2*z - l + 155. Is z a composite number?
False
Let q(l) = l**2 - 7*l - 8. Let n be q(8). Suppose 1 = -n*i - i. Is 4*(i + 182/8) a composite number?
True
Suppose -p - 3*f = -6, 0 = -2*p - 3*p - 4*f + 8. Suppose 5*b + p*b - 130 = 0. Is b a prime number?
False
Let d = -18 + 227. Suppose 1537 = 4*t + d. Suppose -5*n = p - 338, 0*p + p = 5*n - t. Is n a composite number?
False
Suppose -1 = -u - 3*a - 4, -u + 11 = -4*a. Is 435 + 2/(u/3) a prime number?
False
Is (4/2)/((-24)/(-20316)) composite?
False
Is 4707 + (-2 - (-1)/((-4)/8)) a prime number?
True
Suppose -r = -1 - 4. Suppose r*j + 113 = 558. Is j composite?
False
Let a be ((-9)/(-2 + -1))/1. Suppose -82 = -a*y + 119. Is y prime?
True
Let q(k) = -4*k. Let n be q(2). Let g = n - -14. Suppose v - g*v + 265 = 0. Is v composite?
False
Suppose -3*r = -p + 1999, -p + 5*r + 0*r = -2007. Is p a composite number?
False
Let d be 476/(-4) - (0 + -2). Let q = d - -212. Is q prime?
False
Suppose 2*i - 517 = -5*x, 0*i - 1261 = -5*i - 2*x. Is i prime?
True
Suppose 5*p = p + 140. Suppose -n + 292 = -p. Is n a prime number?
False
Let f(l) = l**3 - 14*l**2 + 13*l + 14. Let o be f(13). Suppose -o + 0 = -m. Is m composite?
True
Let b(d) = 5*d + 1. Let w be b(4). Is (-958 - -1)*(-7)/w prime?
False
Suppose -d - 12 = -4*g, 4*g + 20 = -d - 16. Let c = 41 - d. Is c a prime number?
False
Is (-6 - -1)*(-62 + 9) composite?
True
Suppose -q + 0*q - 4 = -2*w, 0 = -3*w + q + 8. Suppose a = w*a - 537. Is a composite?
False
Let b(j) = j + 7. Let h be b(0). Is (-3 + h)*286/8 prime?
False
Suppose -11*u + 34541 = 2*u. Is u composite?
False
Suppose -3*n - 1 = 5. Let k be n*(-27)/6 - 1. Let p = k + 13. Is p a composite number?
True
Suppose -f - 8*j + 3408 = -3*j, 0 = 4*j + 4. Is f a prime number?
True
Suppose 0 = -10*v + 5*v + 25. Suppose 0 = v*a + 86 + 179. Let l = a + 90. Is l composite?
False
Let j(x) = -x**3 + 3. Let s be j(0). Suppose s*t = 4*t - 96. Is (t - -2)*(-2)/(-4) a prime number?
False
Let g = -2 - -5. Suppose 0 = g*h - 533 + 53. Let a = h + -33. Is a prime?
True
Let j be (-17)/(-4) - 11/44. Suppose 708 = j*l - 2*i, l - 4*i = 104 + 59. Is l composite?
False
Let d(v) = -2*v**3 - 11*v**2 - 8*v + 8. Let c be d(-7). Suppose -4*j = -2*y - j + 928, -y + 5*j = -450. Let g = y - c. Is g a prime number?
False
Suppose -5 = -4*f - m + 2*m, -2*f = -3*m + 5. Suppose -f*c + 3*c + 1030 = 5*n, -3*c = 15. Let r = n - 134. Is r a composite number?
False
Is (-1*(-6)/(-4))/((-41)/19762) a prime number?
False
Let b(j) = -791*j - 28. Is b(-7) composite?
True
Let p be (-3)/1 - 4/(-2). Is (-2*(-85)/p)/(-2) a prime number?
False
Suppose 622 + 17 = 3*l. Is l a composite number?
True
Let n = -93 - -133. Suppose -4*q = -0*q - n. Is q a prime number?
False
Suppose 2*q - 5*u = -15, -2*q + 3*q + 2*u - 15 = 0. Suppose 0 = -q*c - 11 + 61. Is c prime?
False
Suppose 5583 = -2*u + 5*u. Is u a prime number?
True
Let n be 18/15*(-40)/3. Is ((-53)/(-2))/((-8)/n) prime?
True
Let w(z) = 3*z**2 + 6*