 Suppose m + c = 0, -4*m - 20 = 5*y - y. Suppose -4*w + 78 + 286 = y. Is w composite?
True
Let h(b) = b**3 - 11*b**2 + b + 8. Let i be h(8). Let t = i - -1045. Is t composite?
True
Let w(b) = -1 - 2*b**2 + 6*b + b**3 - 7*b**3 - b**2 - b**3. Is w(-5) composite?
False
Let m be 3*((-15)/9)/(-5). Let l be 1 + 1 + 115/m. Let z = l + -74. Is z a composite number?
False
Suppose 27 = 6*v + 3. Suppose 2*m - v = -0*m. Suppose -3*x - m*h + h = -761, x - 250 = -4*h. Is x prime?
False
Suppose -3*c = -5*o - 21, 0 = 5*c - 2*o - 2*o - 22. Is ((-15)/(-12))/(c/88) a prime number?
False
Let c = 159514 + -75723. Is c a composite number?
False
Let w(p) = -4*p + 8477. Let k be w(0). Let v = k + -5314. Is v a prime number?
True
Let x(m) = m**2 + 24*m + 259. Is x(-26) a composite number?
False
Let n be (-12)/(-5)*(-20)/3. Is (-1 + n)/(4/(-44)) composite?
True
Suppose 0*b = 2*b - 8. Suppose -b*a + 12 = -0*a. Suppose a*z + 1047 = 3*f, -4*f = -z + 5*z - 1380. Is f a composite number?
False
Let m = 122257 - 51458. Is m a composite number?
True
Suppose 3*y + 5*t = -2*y - 20, -3*y + t = 16. Let m(h) = -h**3 - h**2 - 4*h + 6. Let x be m(y). Suppose x = q - r, 3*r - 445 + 91 = -3*q. Is q a prime number?
False
Let r(m) = 15*m**2 + 8 + 5 + m**3 + 11*m + 0*m**2. Let w be r(-14). Let v = 161 - w. Is v a composite number?
True
Suppose -5*i + 7*h + 93 = 8*h, -2*i - h = -39. Let w(z) = z**2 + 34*z - 7. Is w(i) composite?
False
Suppose -5*d + 20 + 4 = 2*a, 14 = 3*d + a. Suppose 5*t - 1043 = d*t. Is t composite?
True
Let m be (30/(-25))/((-2)/5). Suppose -m*b - 64 = -w, 3*w - b + 68 = 4*w. Is w a prime number?
True
Suppose 2*s - 4*s = -19780. Let r = -6146 + s. Suppose -239 + r = 5*g. Is g prime?
True
Suppose 5*g = -0*g - 10. Is 373 + 1 + 1 - g composite?
True
Suppose 2*v - 1 = -3*f, -f - 8 = -v - 0*f. Suppose 5*y = m - 50, -v*m - y - y = -115. Is m composite?
True
Let x(u) = u**3 - 19*u**2 + 9*u - 13. Is x(22) composite?
False
Suppose l - 4*y - 39 = 215, 3*l + 4*y = 842. Suppose -4*h = -2*n - l, -5*h - 4*n + 337 = -38. Is h composite?
False
Let k(x) = 7*x**2 + 1 - 5*x**2 + 3*x**2 - 10*x**3 - 3*x**2 - 9*x. Is k(-4) a prime number?
True
Let s(x) = -x**2 - 3*x + 3511. Is s(0) a prime number?
True
Let m be -5 + 4 + 3 + -1. Let c = 208 - 469. Is c/6*m*-2 prime?
False
Let z(j) = -j**3 - 4*j**2 - 2*j - 3. Let a be z(-4). Suppose -a*n - 244 = 4*x - 2*x, 4*x = -n - 470. Let r = 246 + x. Is r a composite number?
True
Let z(q) = q. Let u(n) = 211*n - 5. Let v(p) = u(p) - 2*z(p). Is v(2) a prime number?
False
Let v be 1 + (-1 - 1) + 1119. Let x(c) = c**2 - 7*c + 5. Let i be x(7). Suppose i*r + z = v, -3*z = 2*r - z - 452. Is r prime?
True
Suppose 0 = 11*b - 16891 + 3009. Suppose -b = -5*p + 3. Is p prime?
False
Let c be ((-2)/(-6))/((-22)/12738). Let o(j) = 2*j**3 + 2*j**2 + 5*j - 5. Let g be o(5). Let l = g + c. Is l prime?
True
Suppose 9*y - 6*y - 33 = 0. Suppose 4*i - 1 = 3*l, 0*l + y = 3*l - i. Suppose 6*q + 2319 = l*d + 2*q, -d = 4*q - 459. Is d a composite number?
False
Let j = 90 - 63. Suppose -k + j = -4*m, -2*m - 3*k - 6 = -3. Is (1 - (-49)/(-2))*m a prime number?
False
Let h = 17567 + -3424. Is h a composite number?
False
Suppose -5*i + 5970 = 4*g, 0 = -0*g + 5*g + 4*i - 7458. Suppose -5*x + 3*b + g = 0, -x + 2*b + 68 = -237. Is x composite?
True
Let i(m) = -5*m + m**3 - 5 + 7*m**2 - 6 + m**3 - 2. Is i(6) a prime number?
True
Let b(o) = -o**3 + 6*o**2 + o - 13. Let t be b(6). Let q be t + 1*(-4 + 4). Let k(a) = 8*a**2 + 2*a - 1. Is k(q) a composite number?
True
Suppose -79*s + 8912 = -63*s. Is s a prime number?
True
Let o = -58 + 64. Is 0*(-2)/o - -31*11 a composite number?
True
Suppose 42 = -w + 3*w. Let x be (-74)/14 - (-6)/w. Is x/2*(-74)/1 a prime number?
False
Suppose 644772 + 759109 = 41*o. Is o composite?
True
Let z(g) = -65*g - 62. Suppose n + 2*t + 27 = 0, -5*t - 76 = 2*n + n. Is z(n) a prime number?
False
Suppose -a + 3*d + 2 = 0, -2*d = a - 2 - 0. Suppose 15 = 3*g + a*g. Suppose -g*i + 138 = -0*i. Is i composite?
True
Suppose 3928 = g - 2139. Is g a prime number?
True
Let a = -19 + 78. Is a a prime number?
True
Let o be (-9)/((-81)/6)*3. Suppose o*i = -a + 884, -5*a = 2*i + 2*i - 1762. Is i a composite number?
False
Is 3/(6*(-3)/(-10578)) a prime number?
False
Let a(b) = b**2 - 5*b - 10. Suppose -4*s + 45 = 13. Let j be a(s). Let r = j - -17. Is r prime?
True
Let y(a) = -29*a + 445*a + 35 + 168*a. Is y(4) composite?
False
Suppose 3*g + 12 = 0, -437 = -2*d - 4*g + 1429. Is d prime?
True
Let y(u) = -u**3 + 3*u**2 + u + 4. Suppose -2 = -2*s - 0. Let j(k) = -k**2 - 1. Let g(x) = s*y(x) + 4*j(x). Is g(-2) prime?
True
Let l(d) = 3*d**3 + 2*d**2 + d - 1. Let i be l(-1). Is (6609/9)/(i/(-9)) a prime number?
True
Suppose 0 = -4*v - 11*y + 8*y + 32588, -24441 = -3*v - 3*y. Is v a prime number?
True
Let p = -2424 - -3497. Is p composite?
True
Is (((-985)/10)/1*10)/(-1) composite?
True
Suppose -b - m - 270 = -2117, -5*b = 4*m - 9235. Is b a composite number?
False
Let b = -127 - -1150. Let u = b + -482. Is u composite?
False
Suppose -21*d + 635692 + 222515 = 0. Is d a prime number?
True
Let f be (-1)/2*2*(1 - 1). Suppose w + 48 - 225 = f. Is w a composite number?
True
Suppose -15*p - 66 = -14*p. Suppose 0 = 2*k - 425 + 111. Let q = p + k. Is q composite?
True
Let j = 275 - 123. Suppose -j - 73 = -9*p. Is 573/(p/(-10) - -4) composite?
True
Let o be ((-1)/1)/((-2)/20). Suppose 2 = 4*f - o. Suppose -6*c = -f*c - 291. Is c a prime number?
True
Let k(q) = q**2 + 102 + 2*q - 83 - 17*q. Let s be k(14). Let u(j) = 13*j + 2. Is u(s) prime?
True
Suppose -17*f = -677812 - 1545907. Is f composite?
False
Let q(t) = t**2 - 2*t + 35. Let r be q(-11). Let b(h) = 13*h - 4. Let z be b(-3). Let l = r - z. Is l a composite number?
True
Suppose 4*d + 11 = 2*j - 9, d + 5 = -5*j. Suppose -3*w = -j*w - 471. Is w composite?
False
Suppose 2*y + 3*i = 1639, -4*y + 3241 = -2*i - 45. Suppose 0 = 5*t - 2356 + y. Is t a prime number?
True
Let x(o) = o**3 + 17*o**2 + 15*o - 7. Let m be x(-12). Suppose m = 4*p - 5*u, -4*p + 6*u = 3*u - 523. Is p prime?
True
Suppose -5*y - 4*o = -o - 18, y = 3*o. Suppose -3*v - 69 = 4*p, y*p + 31 + 5 = 3*v. Is (-2096)/(-5) + 3/p composite?
False
Is 109807/5 - 36/90 composite?
False
Let p = 6579 + -3530. Is p composite?
False
Let n(t) = t**2 - 12*t - 4. Let j be n(10). Is 11 + -12 - j*23 composite?
True
Suppose -2*a + 8 = -0*a. Let o(j) = -j**3 + 5*j**2 - 3*j + 2. Let d be o(a). Suppose 4*v = 142 + d. Is v a prime number?
True
Let c(r) = -r + 5. Let z be c(2). Suppose z*y - 2*p = 641, -3*p = 2*y - 7*p - 438. Is y a prime number?
True
Suppose 223972 = -4*u - 3*u. Is (-2)/10*-1 - u/95 a prime number?
True
Let h(u) = 216*u - 25. Suppose j = 4*b + 3, 3*j - 5*j + 3*b = -6. Is h(j) a prime number?
False
Let g = 1179 + -650. Is g a prime number?
False
Let i = -23 - -21. Is (-105)/i + 3/6 a composite number?
False
Let a(b) = 324*b - 123. Is a(5) composite?
True
Suppose -9124 = 3*i - 1831. Let a = -538 - i. Suppose 0 = -4*d + d + a. Is d a prime number?
True
Let v = -14 + 14. Let t(g) = 3*g**2 + v - 4 + 7 + g**2 - 5*g. Is t(12) prime?
False
Let u(c) be the third derivative of -c**6/120 + 2*c**5/15 - c**4/12 + 4*c**3/3 - 10*c**2. Let d be u(8). Is d/2*(-6350)/40 a prime number?
False
Suppose 6*h + 0*h - 30 = 0. Suppose 3*s - 6*s = 3*w - 1419, -4*s = h*w - 1896. Is s a composite number?
True
Let a(r) = -1155*r - 4. Let o be a(-2). Suppose -4*p + o + 11398 = 4*k, -2*k + 10273 = 3*p. Is p a composite number?
True
Suppose -6*p = -3*p - 3*s - 15, 0 = 2*p + 2*s + 2. Suppose p*l - 4*l - 13 = 5*n, 0 = -2*l - 2*n + 2. Is (-235)/((l/2)/(-3)) prime?
False
Let a = -47638 - -79959. Is a composite?
False
Let f(k) = k**3 + 51*k**2 - 60*k - 99. Is f(-29) a prime number?
True
Suppose -h = -4 + 13. Let f(z) = 20*z - 5 - 22*z - 12*z - 34*z. Is f(h) a prime number?
False
Suppose 0 = -9*i + 5*i + 2200. Let u = i - 317. Is u a prime number?
True
Suppose -6*t + 5*r = -3*t - 1095, -2*r = 0. Let h = -208 + t. Is h composite?
False
Let h(x) = x**2 + 9*x - 6. Let q be h(-10). Suppose -2*z + 5*n = -24, -3*z + 26 = 2*z - q*n. Suppose -52 = -z*a + 246. Is a composite?
False
Suppose 5*o = -5*y + 860, 3*y - 36 - 144 = -o. Let i = -86 + o. Is i composite?
True
Suppose 0 = 3*c - 3*l - 23379, 3*l + 7 = -5. Is c prime?
True
Su