+ 6373 + 2239 = -m. Is x composite?
False
Let v = 0 + 79. Is v a prime number?
True
Let w(i) = -4*i - 10. Let t(r) = 11*r + 29. Let p(j) = 6*t(j) + 17*w(j). Let k be p(-5). Let c = k + -4. Is c a prime number?
False
Suppose -3*k + 9 = -0. Suppose k*y - 3*r = 48, 2*y + 12 - 35 = 5*r. Is y a composite number?
False
Let j = 490 + -347. Is j prime?
False
Suppose -2*j - 2*i + 38 = 0, -3*j - 11 + 64 = 2*i. Is j composite?
True
Let i(n) = -4*n**3 - n**2. Let m be i(2). Let r = m - -101. Is r prime?
False
Suppose a - 1384 = -3*a. Let s(z) = -z**2 + 9*z - 10. Let m be s(7). Suppose -m*t - 86 = -a. Is t a composite number?
True
Is 1114/6*(12 + -9) composite?
False
Let q = -6 - -13. Suppose -245 = -q*b + 2*b. Is b a prime number?
False
Suppose -221 = -l + 299. Suppose -5*q + 3*k + 507 - 11 = 0, 5*q + 5*k - l = 0. Suppose 2*z = -3*s + q, 2*z - 34 + 3 = -s. Is s a composite number?
True
Let a(m) = m - 2. Let s(r) = 2*r - 5. Let i(v) = 5*a(v) - 3*s(v). Let o(g) = g**3 - 6*g**2 + 3*g + 2. Let f be o(5). Is i(f) composite?
False
Let c = 1608 + -251. Is c a prime number?
False
Suppose 3*u - 19675 = -2*u. Is u prime?
False
Let f(t) = t**2 - 6*t + 3. Let b(k) = -k**3 + 4*k**2 + 7*k - 4. Let s be b(5). Let w be f(s). Is ((-25)/(-4))/(w/12) composite?
True
Let y(u) = 2*u**2 - 2*u - 1. Let f be y(5). Let x = 116 - f. Is x prime?
False
Is 1/((15/(-3183))/(-5)) prime?
True
Let w(v) = -v. Let i be w(-2). Suppose -4*k = -7*k - 12, 4*k = -i*r + 90. Let j = r - 28. Is j composite?
True
Is -3 + 1*2445 + (0 - -4) a prime number?
False
Let h = 21 + -15. Suppose -6 = -4*j + 2*t + 4, 3*t = -j + h. Let v(q) = q**3 - 2*q**2 + q - 2. Is v(j) prime?
False
Let i(g) = 9 - 2 + 10*g**2 + 2*g**3 - g**3 + g. Is i(-5) a composite number?
False
Let g(k) = 49*k**2 - 17. Is g(4) composite?
True
Let n(q) = -q**2 - 6*q + 2. Let b be n(-5). Let m(t) = t**3 - 7*t**2 + t - 6. Let o be m(b). Is o/(-1) + 1 + 67 prime?
True
Suppose 0 = -2*h + 7*h + 55. Let n = -8 - h. Suppose -n*w + 4*q + 126 = -0*w, 0 = w + 4*q - 58. Is w composite?
True
Suppose 4*r = -2*t + 20, -4*t + r = -t + 5. Suppose 4*m + 365 = i, t*m + 2*m = -i - 187. Is 2/4*m/(-2) a composite number?
False
Let g(i) = 6*i - 7. Suppose -4*d + 51 = 5*b, 3*d - 20 = -2*d. Is g(b) a prime number?
False
Let x = 5 - 1. Suppose -5*u = x*q - 451, 0 = 2*q + 2*u - 40 - 188. Is q prime?
False
Let j = -6 + 12. Suppose -3*l + 450 = -j*l. Let r = -97 - l. Is r prime?
True
Suppose 577 = 5*y + s - 130, 3*y - 433 = -5*s. Is y composite?
True
Is -4*582*(30/16 - 2) prime?
False
Let s be (2 + (-12)/5)*-5. Let i(h) = -h + 4*h**2 + 7 + 5*h - s*h**2. Is i(-9) composite?
True
Is (-30 - -28)*2/(4/(-1657)) composite?
False
Suppose 3*j = 2*u + 377, -4*u + 258 = 2*j - 7*u. Is j a prime number?
False
Suppose 4*q + 2*y = -0*y + 52, 4*q - y = 58. Is 1 + q + (0 - -4) a composite number?
False
Suppose 0 = -5*m - d + 800, 2*m + d - 298 - 19 = 0. Is m a composite number?
True
Let b = -14 - -9. Let i(u) = 6*u**2 + u - 1. Let x be i(b). Suppose -5*l + 280 - 44 = -2*d, 2*d = 3*l - x. Is l composite?
True
Let a = 287 - -990. Is a a prime number?
True
Let x be 6*(-2 - 58/(-4)). Suppose x = r + 4. Is r a composite number?
False
Let r be (3 - 0) + 2/(-1). Is ((-110)/(-6))/(r/3) prime?
False
Suppose 5*s - 2*t = 188, -4*t - 110 = -5*s + 2*s. Suppose x = -x + s. Is x a prime number?
True
Is (-5)/(15/9) - -1266 a prime number?
False
Suppose 4*k - 102 = 22. Suppose 456 = 5*m + k. Is m a composite number?
True
Is (-2)/(3/6 + (-8084)/16136) a prime number?
True
Let c(m) = -m + 6. Let i be c(6). Is (-38 - i)/(-3 - -1) composite?
False
Let s(i) = 38*i**3 - 5*i**2 + i + 7. Is s(3) a composite number?
False
Suppose 4*i + 4*c = 876, -c + 183 = -2*i + 609. Is i a composite number?
True
Let l(w) = w**3 - 10*w**2 + 10*w - 8. Let g be l(9). Is (-2 + g)/((-2)/166) composite?
False
Suppose 52 = h - 26. Let a = 56 + h. Suppose -k + a = k. Is k a prime number?
True
Let i(h) = 2*h**3 - 7*h**2 + 5*h + 7. Is i(6) a composite number?
True
Let h be -3 - 1/(2/(-24)). Suppose -s + l + 2 = -15, 0 = -s + 5*l + h. Is s prime?
True
Let j be 70/2*(-8)/(-5). Suppose -2*t = 3*p - j, p + p - 162 = -5*t. Is t a prime number?
False
Let g be 4*(0 + (-55)/(-4)). Let b = 130 + g. Is b composite?
True
Let w = 0 - -5. Let g(v) = v**3 - 4*v**2 - 6*v + 4. Let f be g(w). Is (-41 + -1)/(-3) + f a composite number?
False
Suppose 7*j - 3*j - 2012 = 4*r, -2*r + 4 = 0. Is j a composite number?
True
Let t be (15/6)/((-3)/(-6)). Suppose -5*l = s - 745, t*s - 162 - 136 = -2*l. Is l a composite number?
False
Let s(i) = -16*i - 2. Let b(w) = w + 6. Let q be b(-3). Let p be s(q). Let t = 85 + p. Is t a composite number?
True
Let c = -7 - -16. Let g = c - 7. Is g/(-8) + (-149)/(-4) composite?
False
Suppose 4*l = -0*l + 260. Is l a composite number?
True
Let c(p) = p**3 - p. Let i(m) = -146*m**3 - 4*m + 1. Let v(n) = 2*c(n) - i(n). Suppose 1 = -5*z + 6. Is v(z) prime?
True
Let w(b) = -b**2 + 4*b + 1. Let c be w(4). Let z(k) = -18*k. Let h be z(2). Is -1 - (h - (c - -1)) prime?
True
Let t(i) = 113*i - 3. Is t(2) a composite number?
False
Suppose -4*o - 64 = -2*u - 18, 4*o - 129 = -5*u. Is u a prime number?
False
Let q(n) = 2*n**2 + 5*n + 9. Is q(8) a prime number?
False
Suppose r = -4*r. Is r - (-59 + 0 - 0) composite?
False
Is (-4)/26 - (-15972)/52 a composite number?
False
Suppose -6*s + 16814 = s. Is s composite?
True
Let q = 0 - -1. Is q/((-2)/(-96)) - 2 a prime number?
False
Let q = 6751 + -2918. Is q composite?
False
Let s be 1/((-3 - -1)/8). Is 3035/55 + s/22 a composite number?
True
Let j(h) = 3*h**2 - 6*h - 3. Let s(p) = -13*p**2 + 24*p + 11. Let w(b) = -9*j(b) - 2*s(b). Let l be w(6). Suppose l*o - 74 = 3*o. Is o a composite number?
False
Is ((-1132)/(-6))/(14/105) a prime number?
False
Let a(l) = -l**3 + 4*l**2 + 6*l - 5. Let q be a(5). Suppose -3*h = h - 8. Suppose q = -h*b - 2*b + 44. Is b a composite number?
False
Let h(y) = -11*y**2 - 2*y + 1. Let n be h(1). Let s(q) = -q**3 - 10*q**2 + 16*q - 7. Is s(n) prime?
True
Let l(b) = b**3 - 4*b**2 - 11*b - 17. Is l(9) composite?
True
Suppose 0 = -4*l + 28 - 8. Suppose -u + l*u = 316. Is u composite?
False
Suppose -3*m + 10 = 2*m. Let r(w) = 3*w + 3 - 3*w + 2*w - 4*w + 12*w**3. Is r(m) a prime number?
False
Suppose -3*i = 5*s - 3 - 301, -4*s + 5*i + 221 = 0. Is s a composite number?
False
Let d(b) = 5*b**2 - b - 1. Is d(-9) prime?
False
Let a = -652 - -311. Let o = 519 + a. Is o a composite number?
True
Suppose -5*o - 1102 = -2*d, 5*d + 0*d - 5*o - 2725 = 0. Is d a composite number?
False
Let v(b) = 3*b**2 - 1. Let f be v(-1). Suppose -4*h + 10 = -5*a, 0 = -4*a + h + f*h - 7. Suppose -5 = -2*z + a*i + 41, -i = 5*z - 133. Is z a composite number?
True
Suppose -338 = -2*r + c - 82, 2*r - 248 = -3*c. Is r a prime number?
True
Suppose -2*v + 2*o = 3*v - 57, 1 = -o. Let y(j) = j**3 - 10*j**2 + 17*j - 7. Is y(v) a prime number?
False
Let w(a) = -7*a - 9. Let p(s) = 3*s + 5. Let r(t) = 5*p(t) + 2*w(t). Let u be r(0). Suppose -u*m = -4*m + 2*b - 49, -4*m - b = -57. Is m a prime number?
True
Let c(w) = 5*w + 27. Is c(8) composite?
False
Let w(q) = 88*q - 1. Let u be w(2). Suppose -4*f + u = 3*y - 428, -2*y - f = -397. Let b = -115 + y. Is b a prime number?
False
Let d = 4 - 1. Suppose -5 = 2*q - d*q. Suppose h + 3*m - 325 = q*m, 1658 = 5*h + m. Is h composite?
False
Let y = 15 + -11. Let z be (-6)/y*12/(-9). Suppose -42 = -z*j + 10. Is j prime?
False
Suppose -1115 = -5*b - 7*o + 3*o, 669 = 3*b + 3*o. Is b a composite number?
False
Let o(s) = s + 10. Let b be o(-8). Suppose -b*k + 13 = -k. Is k prime?
True
Suppose -3*h + 949 + 506 = 0. Is h prime?
False
Let n = -288 - -590. Is n a prime number?
False
Suppose -83 = -4*g - 7. Is g a composite number?
False
Let a(t) = t + 10. Let q be a(-7). Let u(o) = 4*o**2 - o**q - 7*o**2 - 6 + 1 - 2*o. Is u(-5) composite?
True
Suppose 2*l = -8, -k + 5*k - 3*l = 0. Let r be (k/(-6) + 0)*-4. Let a(j) = 24*j**2 + 2*j - 1. Is a(r) prime?
False
Let t = 2 + 0. Let j be 1/t*-2 + -10. Let i = 20 - j. Is i a prime number?
True
Is 28/12 - (-6)/9 a prime number?
True
Let x = -1129 - -2610. Is x a composite number?
False
Suppose -3*c = 2*o + 879, -3*o + 2*c - 1351 = -0*c. Let l = -249 - o. Let d = -103 + l. Is d a composite number?
True
Let g be (-7)/((1 + 0)/(-5))