 d prime?
True
Suppose m = 3 - 1. Is ((-154)/(-4))/(1/m) composite?
True
Suppose 3 = 5*l - 2. Let j(p) = 197*p + 360*p - 58*p. Is j(l) prime?
True
Suppose -4*n - 2*r = -0*n - 180, 0 = -2*n + r + 94. Is n prime?
False
Let l be (-123 - 3)/(2/2). Let z = -47 - l. Is z composite?
False
Let n be (-5)/(15/18)*-2. Let w = n - 21. Is (-120)/w - 4/(-6) composite?
True
Let o(b) = -b**3 + 8*b**2 - 10*b + 7. Let f be o(7). Is f/(-10)*1*5 a composite number?
False
Suppose 6 = -0*y + 3*y. Let m(x) = -x**3 - x**2 + 3*x - 3. Let d be m(y). Is (-57)/d + 2/(-6) prime?
False
Suppose 2*h - 39 = 7. Is h a prime number?
True
Let x(z) be the third derivative of 53*z**5/60 - 2*z**2. Is x(-1) a prime number?
True
Suppose 0 = -2*q - a + 442, -a - 2 - 2 = 0. Is q a composite number?
False
Let x(d) be the second derivative of d**5/20 - d**4/12 + d**3/6 + 21*d**2/2 + d. Let g(y) = -y - 9. Let p be g(-9). Is x(p) prime?
False
Let u(d) = 90*d**2 - d. Let l be u(1). Is 1 + -1 + 2 + l prime?
False
Let u(d) be the third derivative of -d**5/60 - 3*d**4/8 + 3*d**3/2 + d**2. Let x be u(-10). Is ((-15)/(-10))/(x/(-10)) composite?
True
Let t be (-4)/8*-20*-1. Is 4/t - (-1274)/10 composite?
False
Suppose -2*s - 358 - 2 = 0. Let z = s - -721. Is z a prime number?
True
Let a = 15 + -11. Suppose 0 = a*g - 127 - 201. Is g composite?
True
Let r(h) = h**2 + 3*h - 6. Let a be r(-5). Let f(n) = 4*n + 2*n + a + n**2 + 1 - 1. Is f(-6) a composite number?
True
Let r(k) be the second derivative of 1/6*k**3 + 0 + 3*k**2 + k. Is r(5) composite?
False
Suppose -4*w + w - 12 = 0, -4*w + 1230 = 2*a. Is a a prime number?
False
Is (1 - -146)*14/42 prime?
False
Let c(z) = 4*z + 1. Is c(14) a prime number?
False
Let n(a) = -a**2 - 5*a - 3. Let g be n(-4). Suppose -5*y + g = -24. Suppose -2*c + y*j + 17 = 0, j = -3*c + 7*c - 25. Is c prime?
False
Suppose -2*c - 5*o + 10*o = -152, 5*c + 4*o - 380 = 0. Suppose z - 12 = -2*z. Suppose z*t - c = -5*b, 2*t = -3*t + 5*b + 50. Is t composite?
True
Suppose -7*a + 4*a = -4*z + 61024, -61016 = -4*z + a. Is z a prime number?
False
Suppose 1 - 6 = 5*h. Is 3 - ((-3 - h) + -86) a prime number?
False
Suppose -y + 2*y = 1657. Is y prime?
True
Let g = 390 + -205. Is g prime?
False
Let w(m) = -m**2 + 6*m - 5. Let y be w(5). Let g(j) = -j**2 + 3*j + 4. Let f be g(6). Let k = y - f. Is k a composite number?
True
Suppose 0 = -4*b - o + 2*o + 5, -3*b + o = -3. Is 1*(b + 410)/4 a prime number?
True
Suppose 1270 = 3*f + 7*f. Is f prime?
True
Let f(w) = -w**3 + 4*w**2 + 2*w - 3. Let s be f(4). Let z = -58 - -133. Suppose s*y - 2*y = z. Is y a prime number?
False
Let s = 1689 - 1200. Is s a prime number?
False
Suppose -590 = 5*y + 5*t, 3*y + 4*t + 379 - 23 = 0. Let r = y + 165. Is r a prime number?
False
Let x = -37 + 16. Let i be (18/(-4))/(x/(-28)). Is i/2 - (-40 - 0) a prime number?
True
Let z(f) = 36*f**2 - f - 2. Is z(3) composite?
True
Is (-10)/(-25) + (-2933)/(-5) a prime number?
True
Let r(y) = -101*y - 2. Is r(-9) a prime number?
True
Let b(k) = k**2 - k. Let q be b(0). Suppose 0 = -q*h - 5*h - 25, -4*s + 5*h + 49 = 0. Suppose 2*g = s*g - 308. Is g prime?
False
Let r be 3 - (-1)/(-2)*-2. Suppose 5 = -3*b + r*b. Suppose b*j = 1818 - 763. Is j a composite number?
False
Let y be 11/3 + (-5)/(-15). Let f be y/5*(-205)/(-2). Suppose -4*v = -f - 2. Is v composite?
True
Let c be 898/8 - (-1)/(-4). Let v = -50 + 27. Let r = v + c. Is r a composite number?
False
Suppose 4*z = -0*z + 472. Is z a prime number?
False
Let w = 5392 - 2552. Is 1/4 - w/(-32) composite?
False
Suppose 6*g - g = 2*u - 19, 60 = 3*u + 3*g. Let a = 40 - u. Is a a composite number?
False
Let c(k) = k + 7. Let f be c(-11). Is ((-10)/(-15))/(f/(-1146)) a composite number?
False
Let g = -54 + 185. Is g a composite number?
False
Let w = 8 - 6. Suppose 3*o = w*o - 22. Is o*(-2)/2*1 a prime number?
False
Let r(b) = -3*b. Let w(k) = 10*k - 1. Let s(h) = 7*r(h) + 2*w(h). Let l be s(-4). Suppose l*v + 5*x = 28, -6*x = -4*v - x + 56. Is v prime?
False
Let b be ((-6)/(-1))/(1/2). Let q be (b/(-7))/(8/(-84)). Is 1390/q + 8/(-36) composite?
True
Is (-177 - 1)*18/(-36) prime?
True
Let v(f) = -f + 104. Is v(27) prime?
False
Let b = 633 + -304. Let h = b + -94. Is h composite?
True
Is -201*((-6)/(-1 + 3) - -2) prime?
False
Let a = -3331 - -4677. Is a a prime number?
False
Suppose 5*l - 2*l = -4*x + 1792, 5*l - 2976 = 4*x. Suppose 6*n - 2*n - l = 0. Suppose -25 + n = 4*u. Is u a composite number?
False
Suppose -q - 3*c + 77 = 0, 3*c + 8 = -4. Is q composite?
False
Let j(c) = -3*c + 7. Suppose -2*m + m - 5 = 0. Is j(m) a composite number?
True
Suppose 210 = -3*p - 0*p. Is (13/2)/((-5)/p) a composite number?
True
Is 53/(-106) - 2*11559/(-4) prime?
True
Suppose -15*y = -20*y + 2225. Suppose 12*d = 7*d + y. Is d a composite number?
False
Suppose 0 = -n + 9204 - 1111. Is n a prime number?
True
Suppose -4*f = -4*y + 204, f - 4 = -f. Is y prime?
True
Let c(w) be the first derivative of -2 + w**2 + 0*w**3 + 1/4*w**4 + 2*w. Is c(3) composite?
True
Suppose 4*z - 2*z + 5*a - 64 = 0, 5*z = 3*a + 98. Let w = z + 105. Is w composite?
False
Suppose -s - 3 = -7. Suppose -s*j = -q + 191, 4*q + 2*j = 4*j + 834. Is q a composite number?
False
Suppose 6*u = u + 10. Let c = 2 - u. Let g(q) = q**3 + q**2 + 91. Is g(c) a composite number?
True
Let x(n) = n**3 + 6*n**2 - n + 3. Is x(-3) prime?
False
Let i(k) = k - 1. Let m(g) = -g + 2. Let z(j) = 11*i(j) + 6*m(j). Let r(q) = q + 6. Let d be r(0). Is z(d) a prime number?
True
Let r(x) = -8*x**3 + 6*x**2 - 9*x - 5. Is r(-6) prime?
True
Let q(y) = -20*y + 4. Let h be q(-3). Suppose 5*z + 180 = 4*w - 25, -4*z = 4*w - 160. Let a = h - w. Is a a composite number?
False
Suppose 5*b + 18 = 63. Suppose 2*t = -2*t + 72. Is (-4)/t - (-281)/b composite?
False
Is -2 + 5 + 20 + -1 a prime number?
False
Let g be (-1237)/(-7) - (-2)/7. Let a(u) = -u**2 - 8*u - 10. Let w be a(-5). Suppose w*j - 253 = g. Is j prime?
False
Let d(s) = 144*s**2 - 1 - 2*s + 2 + 0*s. Is d(1) a composite number?
True
Suppose 2*k = -4*r - 4, -2*k - r - 1 = -k. Is 7 + (2 - (-1 + k)) a composite number?
True
Let v = 735 - 379. Let g = 589 - v. Is g prime?
True
Let f(c) = 37*c**2 + 3*c + 1. Is f(-2) prime?
False
Let l(u) = u + 1. Let p be l(0). Let t(y) = 6*y**2 - y. Let x be t(1). Is (-2)/(-4)*(x + p) a prime number?
True
Is 107 - (-5 - 3)/4 a prime number?
True
Let c(z) = -z**3 - 12*z**2 - 10*z - 17. Is c(-12) a composite number?
False
Suppose 0 = 4*h - 0 - 8. Suppose -f - 123 = h*f. Let n = f + 67. Is n a composite number?
True
Let k = 7 - 26. Is (k/(-2))/((-1)/(-2)) a composite number?
False
Let t(p) = 3*p**2 - 4*p - 1. Is t(6) composite?
False
Let y(z) = 0*z**3 + z**3 - 2 - z + 0*z. Let g be y(0). Is ((-1)/g)/(3/114) a composite number?
False
Let w(g) = 26*g - 13. Is w(9) a prime number?
False
Suppose 3*v = 2*o - 125, -4*o - 323 = -9*o + 4*v. Is o prime?
True
Is (-44)/(-22) + (-1 - -10) prime?
True
Let i(w) = -w - 3. Let z be i(-7). Suppose 0 = -4*k - s + 42, z*k - k - 34 = -2*s. Let j(h) = 2*h**2 - 8*h + 11. Is j(k) a composite number?
False
Is 0*1/4 + 307 a prime number?
True
Is 209/2*1*2 a prime number?
False
Let f = 6 - 4. Let p = -5 + 5. Suppose p = f*j + 17 - 87. Is j a composite number?
True
Let v = 3 + 365. Let l(x) = 106*x + 11. Let u be l(6). Suppose -v = -5*s + u. Is s composite?
True
Suppose 0*i + 2*i + 90 = 5*k, -36 = -2*k - i. Let q be 2/3*k/4. Suppose q*j + 2*r - 129 = 8, -3*r = -2*j + 100. Is j composite?
False
Let k be 1/(0 + (-3)/18). Let t be (-8)/10*15/k. Suppose 5*p + i - 62 = 0, t*p = -p - 2*i + 33. Is p a composite number?
False
Suppose 2725 + 2767 = 5*a + r, -5*r = -3*a + 3312. Is a composite?
True
Let s(k) = 17*k**2 + 2*k + 3. Let h = -2 + 2. Suppose -4*m + h*m = 8. Is s(m) a prime number?
True
Suppose x - 4*x + 12 = 0. Suppose x*r - 264 = 176. Suppose k + r = 3*l, 0*l + 3*k = 5*l - 182. Is l composite?
False
Let f(z) = 5*z. Let l be f(2). Let d be (2 - -1)/(3/l). Suppose 2*n - 110 = 3*c, -n - d + 63 = -c. Is n composite?
True
Suppose 3*l = 7*l - 84. Is l prime?
False
Let z(h) = 8*h**2 - 1. Is z(4) a composite number?
False
Let m = 1 + 1. Suppose -m*i + 2*k = -47 + 11, -3*k + 30 = i. Is i prime?
False
Let x = 44 + -25. Is x prime?
True
Let q = -3 - -5. Suppose -q*b - 212 = -4*s - 0*b, 4*b = -2*s + 106. Is s a co