 = y. Suppose 0*g + 6 = -3*g, 0 = d*i - g - 102. Is i prime?
False
Suppose 4*j = 7*j - 1713. Is j prime?
True
Let j(p) = p**2 + 7*p - 4. Let m = -6 + 6. Suppose -14 = 2*t - 2*s, m = 5*t + 2*s + s + 43. Is j(t) a composite number?
True
Let y be (21/(-35))/(2/(-20)). Let z(a) = 5*a + 3. Let q(x) = -14*x - 8. Let s(j) = 2*q(j) + 7*z(j). Is s(y) a prime number?
True
Let g(t) be the first derivative of -3*t**4/2 - t**3/3 - t**2/2 + t + 1. Is g(-3) prime?
True
Let c(p) be the third derivative of p**6/24 + p**3/2 - p**2. Let l(f) = 11*f**3 + f**2 - f + 7. Let w(s) = 13*c(s) - 6*l(s). Is w(-7) composite?
True
Let u = 222 + -111. Suppose -3*j - 2*n = -u, -2*j + 37 = 3*n - 32. Is j a prime number?
False
Let z(w) = 275*w**2 - 7*w - 1. Is z(-3) composite?
True
Is 21/49 + 39656/14 a composite number?
False
Suppose 8 = 9*q - 7*q. Suppose 5*f + 16 = z - 64, 0 = -5*z + q*f + 337. Is z prime?
False
Let i be (-292)/(0 - 1) + -1. Let y = -146 + i. Is y composite?
True
Suppose 5*l = -5*j + 105, -2*l - 3*l - 155 = -5*j. Suppose o - 65 - j = 0. Suppose 74 = 5*n - o. Is n a composite number?
True
Suppose 10 = -2*s + r, 4*r = -5*s + 2*s - 4. Let f be 0/((-2)/(-4)*s). Suppose f = t - 5*t + 156. Is t composite?
True
Let x(w) = -w**2 + 10*w - 3. Let d be x(9). Suppose d*i - 4*f = i + 60, 4*i - 52 = 4*f. Is (-182)/(-8) - (-2)/i prime?
True
Let m = 3 - -1. Suppose k = -0*k - 5*b + 5, -k = -m*b + 13. Let j(i) = i**3 + 6*i**2 + i - 1. Is j(k) a prime number?
True
Suppose 2*j = g + 287, 0 = -4*j - 2*g + 349 + 221. Suppose 0 = -0*w - 5*w - 20. Let q = j + w. Is q a composite number?
False
Let j be (-1)/2 - 5/(-2). Suppose 9*c - 13 - 23 = 0. Suppose -d = -j*k - 33, c*d - 129 = k + 4*k. Is d a prime number?
True
Let r(y) = -y**2 - 14*y + 7. Let w(i) = -i**2 - 4*i + 3. Let b be w(-4). Suppose 4*t = -b - 37. Is r(t) a prime number?
True
Suppose 5*n - 20 = -2*l, -n + 5*l = -2*n + 27. Suppose n*m - 65 = 45. Is m a composite number?
True
Suppose 0 = -3*s + u - 2 + 7, 5*s + 4*u = -20. Let t(n) = -n**2 + n + 839. Is t(s) composite?
False
Let p(y) = -y - 4 + y - y + 2. Is p(-11) prime?
False
Let d(x) = 32*x**3 - 2*x**2 + 1. Let c = -2 - -3. Is d(c) composite?
False
Let o be (-20)/70 + 86/7. Let p(v) = -v**3 + 13*v**2 - 3*v + 3. Is p(o) a composite number?
True
Let r(f) = -f**2 - 7*f - 4. Let u be r(-6). Let a = 2 + u. Is a a prime number?
False
Is 8/(-28) - 14345/(-7) a composite number?
True
Suppose -2*b + 9 = 1, j - 18 = -3*b. Suppose -j*p = -p. Suppose -6*g + 3*g + 141 = p. Is g a prime number?
True
Let b be 12/5 + 4/(-10). Suppose 0 = -0*w - b*w + 162. Suppose 6 = -3*h + w. Is h composite?
True
Suppose 0 = -2*q - 0 + 6. Let g = q - 3. Suppose n - 40 - 39 = g. Is n a composite number?
False
Let r(k) = k**2 - 5*k - 1. Let v be r(6). Suppose 0 = -v*y + 5. Is (-148)/8*(-2)/y prime?
True
Let d(p) = -p - 4. Let k be 18*(-1)/(-4)*-2. Let u be d(k). Suppose 0 = -u*c + 4*c + 31. Is c prime?
True
Suppose -4*o - 4*r + 8*r + 1980 = 0, 5*o - 2*r = 2463. Is o a prime number?
True
Suppose 4*w = -0*w. Is (w - 3) + 151 + 1 a composite number?
False
Suppose -3*b - a = -6*b + 32, -4*a = 5*b - 25. Let p = b - 5. Suppose p*c = 28 + 28. Is c composite?
True
Let w = -626 - -891. Is w a composite number?
True
Let i(m) = m**3 + 6*m**2 + 3*m - 5. Let q be i(-5). Let h = q - -1. Is h a composite number?
True
Let m(i) = 2*i**2 - 13*i - 14. Let x = 36 + -25. Is m(x) a prime number?
False
Suppose -5*b = -2*h + 426, -3*h - h + 888 = -b. Is h a prime number?
True
Let a be 7*(2 - (-40)/(-14)). Let t be (2/a)/((-3)/4383). Suppose 3*v = -2*v - 15, 5*s - 4*v = t. Is s a composite number?
True
Let i(h) = h - 2. Let y be i(6). Suppose 2*a - y*a = -46. Is a a prime number?
True
Suppose -4*f - 5*n + 3109 = 0, -3*f + n + 2308 = -0*n. Suppose 3*h - 5*m = f - 231, -m - 367 = -2*h. Is h prime?
False
Suppose 2*k = -0*k + 10, -4*w - 540 = 4*k. Let f = 331 + w. Is f a prime number?
True
Let z = 8 + -3. Suppose -4*g - 8 + 150 = 3*d, 5*g + z*d = 175. Let j = g - 26. Is j a composite number?
False
Let q(k) = 3*k**3 + 2*k**2 + 6*k - 7. Let a be q(4). Let r = a + -128. Is r a prime number?
True
Let o(f) = -108*f**3 + f**2 + 2*f + 1. Let h be o(-1). Suppose -6*k + h = -2*k. Let y = 50 - k. Is y composite?
False
Let n = 689 + -93. Suppose 0*s - 4*s + n = -i, -4*s + 5*i + 596 = 0. Is s a prime number?
True
Let l(y) be the first derivative of y**4/12 - 2*y**3/3 + 3*y**2/2 + 4*y - 1. Let s(j) be the first derivative of l(j). Is s(4) a composite number?
False
Suppose t - 193 = -t + 3*g, 0 = -t + 5*g + 114. Is t a composite number?
False
Let x(n) = -21*n - 5. Let q be x(-4). Is q/2 + (-51)/34 a composite number?
True
Suppose y - 2 = -6, -3*s - 29 = -y. Let p(r) = -3*r + 14. Is p(s) composite?
False
Let t(a) = -2*a**2 + 12*a - 6. Let p be t(5). Suppose 575 = p*s - 413. Is s a composite number?
True
Suppose 2*h - 15 = -3*h + 5*g, h + 3*g = 3. Let n(q) = -1 - q - 10*q**3 + 0 - h*q**3. Is n(-1) prime?
True
Suppose 0 = 3*t + 2 - 11. Suppose -3*u + t = -f + 17, 0 = 4*f + u - 17. Let i = 26 + f. Is i a prime number?
True
Let v = -7 + 11. Let u = -4 + v. Suppose 2*o = -u*o + 42. Is o prime?
False
Let k(m) = -m - 2. Let l be k(7). Is (l + 7)*142/(-4) composite?
False
Suppose 4*y + 141 = -5*o - 30, -2*y + 5*o = 93. Is (y/10)/((-2)/10) prime?
False
Is 18592/6 - (56/21)/4 a prime number?
False
Suppose 1020 = 3*l + 2*l. Let b be l - -5 - (1 - -1). Is (-12)/(-66) - b/(-11) prime?
True
Let l(r) = -15*r - 1. Let y(q) = -30*q - 1. Let g(i) = -5*l(i) + 2*y(i). Let h be g(-5). Let m = h - -123. Is m composite?
True
Let q(j) = -8*j**2 - 10*j + 10. Let t be q(7). Let m = 12 + -24. Is t/(-24) - 2/m prime?
True
Suppose -272 = -0*u - u. Let o = -127 + u. Is o a prime number?
False
Suppose -2*z = z - 15. Let q be -3*1*(-38)/3. Is q*(15/6)/z a composite number?
False
Suppose 524 = -3*l - 2*r - 40, -3*l + 2*r = 564. Let u = l + 294. Let b = 7 + u. Is b composite?
False
Suppose -12 = f - 0. Is 1/(-6) - 2438/f prime?
False
Suppose -76*w = -74*w - 1438. Is w a prime number?
True
Suppose -4*b - 5*f + 2930 = -347, 4*b = 2*f + 3270. Is b a composite number?
True
Suppose -2*a - 2*n + 208 = 2*a, 259 = 5*a + 3*n. Is a a composite number?
False
Suppose 0 = -7*s + 4612 - 1861. Is s a prime number?
False
Let u(t) be the second derivative of 11*t**4/6 + t**3/3 + t**2/2 + 2*t. Is u(-1) a composite number?
True
Let d be (-327)/2 + (-3)/6. Is d/(-8) + (-1)/(-2) prime?
False
Let r = -44 - -337. Is r a composite number?
False
Suppose 3*g + 2*v = 8*g - 337, 196 = 3*g + 5*v. Is g prime?
True
Let d(l) = l + 163. Is d(0) a prime number?
True
Suppose -4 = -2*m + 6. Let b = 21 + m. Is b composite?
True
Let k be ((-2)/4)/(11/(-88)). Suppose -y + 304 = 2*s - k*y, -y + 157 = s. Is s prime?
False
Suppose -3*j - 8 + 11 = 0. Is -8*(-180)/8 - j a composite number?
False
Let p be 1/((4/(-4))/(-4)). Is (-6)/(-24) + 315/p prime?
True
Let l be (-6)/(-4) + (-5)/10. Suppose -19 = -3*x - l. Is x composite?
True
Let r = 18 + 299. Is r a prime number?
True
Let r = 13 + -10. Suppose 2*n + r*n = -140. Is (-4)/(-14) - 1196/n a prime number?
True
Let n(j) = j**2 - j - 2. Let c be n(3). Suppose 0*t + 20 = c*t + 4*w, 10 = 5*w. Suppose 6*q - t*q = 30. Is q a composite number?
True
Suppose 5*a = 3*u + 5, -2*a - 7 + 18 = -3*u. Let j be -2*(a - 3/(-2)). Suppose 0 = -g - p + 4*p - j, -43 = -2*g - 3*p. Is g composite?
True
Let b(a) = a + 1. Let d be b(0). Let y = 3 + d. Suppose y = 2*f - 10. Is f a prime number?
True
Suppose 4*n - 3*g - 8 = 0, 0 = -n - 5*g + 2. Let t = n - -35. Is t prime?
True
Let c(p) = 2*p**2 - 7*p - 2. Let d be c(6). Suppose 3*i + 8 = s, 5*s - 5*i + 2*i - d = 0. Suppose -231 - 4 = -s*r. Is r prime?
True
Suppose -2*x + 4*t + 174 = 0, -4*x = -0*t - 4*t - 328. Is x a composite number?
True
Suppose 2*j + 36 - 326 = -2*w, -153 = -j + w. Is j a prime number?
True
Suppose 11 = n - 3*b + b, -4*b = -5*n + 31. Is (-6)/(-9)*n + 83 composite?
True
Suppose -5*h - 2*d + 10 = 0, -d = -3*h + 4*d - 25. Suppose 2*i = -h*i + 14. Let a(w) = 3*w**2 - 7*w - 9. Is a(i) prime?
True
Let l be (4/(-10))/(1/(-5)). Suppose -l*x = -3*q + 6, q - 5*x - 15 = -0*q. Is q - -63 - (0 + -2) composite?
True
Let s(v) = 15*v - 1. Let g = -6 - -18. Let c be (g + -3)/(3/2). Is s(c) a prime number?
True
Let i be (-258)/(-8) - (-2)/(-8