uppose -5*m + o + 440 = 0, -3*m = f*m + 2*o - 425. Is m a composite number?
True
Let d(l) = -l + 2. Let g be d(-3). Suppose -g*a = -5*c - 255, -c - 63 = -a - 6*c. Is a a prime number?
True
Suppose 4*i + 5*b = -0*i + 30, -12 = -4*i + 4*b. Suppose -4*s = i*r - 124, 73 = 3*r + s - 0*s. Let a = -10 + r. Is a a prime number?
False
Suppose -t - 3*t = -2*n + 278, 2*t + 10 = 0. Suppose -3*i + 2*w = 38 - n, 0 = i - 4*w - 27. Is i a prime number?
True
Let r(v) = -38*v - 3. Is r(-7) a composite number?
False
Let k(x) = -x**3 - 5*x**2 + 5*x. Let q be k(-6). Let z = q + -2. Suppose -2*n + 70 = 5*y, 0 = z*n - 3*n + 2*y - 35. Is n prime?
False
Let b(y) = 17*y - 6. Let r(t) = -1. Let g(w) = b(w) - 5*r(w). Is g(4) a prime number?
True
Is (1268/10)/((-4)/(-10)) composite?
False
Let d = -14 + 24. Let l = d - 1. Is l a prime number?
False
Suppose 0 = -a + 7 + 14. Let r = a + 56. Let z = -42 + r. Is z a prime number?
False
Suppose 3*h - 33 = 3258. Is h prime?
True
Let j = -21 - -39. Let y(q) = 4*q**2 + 1. Let d be y(-2). Let x = d + j. Is x composite?
True
Suppose 4*n + 5*g - 212 - 1679 = 0, -1413 = -3*n - 2*g. Is n composite?
True
Suppose -3*p = p - 4*n - 116, 3*n - 116 = -4*p. Suppose s + 2*z = -z + p, -2*z + 27 = s. Is s a composite number?
False
Suppose 2*w + 3*z - 80 = 0, -6*w = -2*w + 3*z - 154. Is w a composite number?
False
Let q(y) = -y + 1. Let u be q(-5). Let p be 14/8 + u/24. Suppose p*w = -w + 69. Is w composite?
False
Let x(k) = -18*k + 1. Suppose 0 = -7*g + 3*g - 12. Is x(g) a composite number?
True
Is 2/(((-24)/2284)/(-3)) prime?
True
Let d(j) = 9*j**2 - 2*j - 3. Let a = -3 + -1. Is d(a) composite?
False
Let k(v) = -88*v + 1. Let l = -17 - -11. Let p be (-1)/(3 + l/3). Is k(p) composite?
False
Let s(k) = 12*k + 3. Let w be s(12). Let i = w + -94. Is i a composite number?
False
Let k(f) = 2*f**2 + 4*f + 5. Let x(p) = 0*p - 16 - 11*p**2 - p**3 - p + 2*p - 2*p. Let w be x(-11). Is k(w) composite?
True
Suppose 0 = -2*h - 2*h - 72. Let u be 8/36 + (-32)/h. Suppose -u*c + 177 = 5*m, -c + 0*c = -5*m + 174. Is m a prime number?
False
Suppose 3*r - 65 = 5*v - 1426, 2*r = 2*v - 542. Is v a prime number?
False
Suppose 4 = 2*o - 0. Let c(g) = 17*g + 1. Is c(o) a prime number?
False
Suppose 8*c = 10*c - 446. Is c a composite number?
False
Suppose -5*n + 0*n + 3*h + 476 = 0, 3*n - 2*h - 285 = 0. Is n a prime number?
True
Let o(v) = v**2 - 8*v + 2. Let m be o(8). Suppose m*x + 3*x - 65 = 0. Is x a prime number?
True
Let h = 33 - 12. Is h prime?
False
Let d(u) be the first derivative of 3*u**2/2 + 2*u + 1. Let f(h) = -h - 10. Let l be f(-13). Is d(l) prime?
True
Suppose 2*l - 959 = 303. Is l composite?
False
Suppose -h + 5 = 2*v, 4*v - 7 = -3*h + 4. Suppose v*n + n = 447. Is n composite?
False
Let p(j) = 5*j**2 - j - 9. Let x(w) = -2*w**2 + 4. Let k(m) = 3*p(m) + 7*x(m). Let s be k(1). Is ((-3)/s)/3 - -76 a composite number?
True
Suppose 4*c - 500 + 83 = -5*j, -j - 3 = 0. Suppose 104 + c = 4*r. Is r prime?
True
Let g(r) = r**3 + 2*r**2 + 2*r + 1. Let j be g(-1). Suppose 2*m + j*m = 70. Is m prime?
False
Let y(h) = h**2 - h - 7. Let i(l) = -l - 3. Let m be i(3). Is y(m) composite?
True
Let h(j) = -4*j**3 + 0*j**3 - 4*j**2 - 7*j + j**3 - 5 + 2*j**3. Is h(-5) a prime number?
False
Let r be (-7)/4 + (-1)/4. Let g(o) = -8*o**3 - o**2 - 2*o + 1. Is g(r) composite?
True
Suppose -w + 7*w - 1734 = 0. Is w composite?
True
Is 8*2022/20 + (-91)/(-455) a prime number?
True
Let a = -2666 + 4615. Is a composite?
False
Suppose 0 = -2*c - 3 - 3. Let p be c/6*2*-5. Is 15/p - (-16 + 0) prime?
True
Let d = -43 + 161. Is d a prime number?
False
Suppose 0*a - 3*a + 9 = 0. Is a a composite number?
False
Is ((-2)/(-8))/(2 + 26510/(-13256)) a prime number?
True
Suppose 3*f + 2*r - 833 = 0, 5*f + 2*r - 355 = 1040. Suppose o = -w + 151, w + 2*o - 166 = 6*o. Let v = f - w. Is v prime?
True
Suppose 4*k - 5*k + 12 = 0. Is (2/(-3))/(k/(-1638)) a composite number?
True
Suppose 9 = 3*h + 3. Let c(d) = 1 + 2*d**h - 6*d - 4*d**2 - 3 + d**3. Is c(5) composite?
False
Is ((-2)/6)/(5/(-9615)) composite?
False
Suppose 2*y = 2*i - 568, 3*y = -i - i + 593. Is i prime?
False
Let t(c) = c**3 + 9*c**2 + 7*c + 11. Let p(i) = -10*i. Let f be p(-3). Suppose -5*b - 16 = -3*l + f, 3*b + 18 = -3*l. Is t(b) a prime number?
True
Suppose -3*u = -2*u - 4*v + 7, 2*u + 5*v - 25 = 0. Suppose u*z = 2*z + 15. Suppose 20 = z*p, j - p - 3 = -0*p. Is j a composite number?
False
Suppose -3 = -g, 4*z + 0 = -3*g - 7. Let m be (14/z)/(2/4). Is m/(-2*3/6) a prime number?
True
Let j = 21 + -15. Let f = j - 3. Is f a prime number?
True
Let i(v) = v**3 + 4*v**2 - 6*v - 2. Let n be i(-5). Suppose -2*z + 2*x + 30 = 0, n*z - 6*z = -x - 53. Is z a composite number?
False
Let a(s) = s**2 + 12*s - 7. Let t be a(9). Suppose t = 4*i + w - 2*w, -w + 2 = 0. Is i composite?
True
Let m(j) = 39*j**2 - 11*j - 11. Is m(7) prime?
True
Let l(a) be the first derivative of 11*a**3/3 + a**2/2 + a - 3. Is l(-3) prime?
True
Suppose 0 = t + 4 - 0. Let l be (-1)/4 + (-473)/t. Suppose -19 + l = 3*c. Is c prime?
False
Let q(a) = a + 4. Let o be q(-2). Suppose -3*w + 41 = o*w + 3*m, 4*w + 2*m = 32. Is w a prime number?
True
Let u = 0 - -4. Suppose -1728 = -5*s - y, 5*s - 1738 = -0*y + u*y. Is s a prime number?
False
Let r(f) = -29*f + 3. Let s be ((-12)/(-10))/((-2)/10). Let c = s + 2. Is r(c) a prime number?
False
Let o(u) = -4*u**2 - u. Let g be o(-1). Let b = -1 - g. Suppose b*k = -c + 70, 4*c = c. Is k a composite number?
True
Let k(b) = 2 - 3*b + b + 19*b**2 - 1. Let c be k(1). Is 8/36 - (-68)/c composite?
True
Let q(a) = -a - 3. Let v be q(-5). Suppose -131 = -4*g - 3*l, v*g - 3*g + 2*l + 19 = 0. Suppose -47 = -4*i + g. Is i a prime number?
True
Let y be 220/(-16) + (-2)/8. Let f be (-1)/(-3)*(-1215)/(-5). Let c = f + y. Is c a composite number?
False
Let j = 29 - 24. Suppose d + 117 = b - 77, -j*d + 622 = 3*b. Is b prime?
True
Suppose 0 = 4*t + 5*x - 245, 0 = 3*t + x - 5*x - 145. Suppose 2*f - t = -3*f - 5*j, 0 = 2*f - j - 19. Is f a prime number?
False
Suppose -6*k + 280 = -k + w, -5*k = -3*w - 260. Is k composite?
True
Suppose 0 = 3*t + 3*m - 15 - 0, 3*m = -5*t + 23. Is ((-43)/(-2))/(2/t) a composite number?
False
Is 22/(-44)*(-262)/1 prime?
True
Suppose -2*w + 16 + 2 = 0. Let x be 1 + 0 + w/(-3). Is 2 + x + 249/3 composite?
False
Suppose -557 = -4*b + k, -6*k - 4 = -2*k. Is b a prime number?
True
Let b(w) = 261*w + 2. Is b(1) a composite number?
False
Suppose -2141 = -10*b + 2229. Is b a prime number?
False
Let c(b) = 40*b - 1. Is c(3) a composite number?
True
Suppose 5*x + c + 45 = 0, 4*x - 4 + 26 = 2*c. Let y be (148/5)/(x/(-20)). Suppose -4 = 2*r - y. Is r a composite number?
True
Let j = -286 + 795. Is j composite?
False
Is 0 + (-2)/(-9) + 25517/153 composite?
False
Let q(m) = 2*m**2 + 4*m + 4. Let y be 18/30 + 28/(-5). Is q(y) a composite number?
True
Let r(o) = 3*o**2 + 10*o - 8. Let a(i) = 10*i**2 + 29*i - 24. Let q(u) = 2*a(u) - 7*r(u). Is q(-11) a composite number?
False
Suppose 0 = 4*g - a - 24, g - 6 = -a - a. Let b(p) = -3*p + 7. Let q be b(8). Is (q + 2)*(-14)/g composite?
True
Suppose n = 5*w + 6, -4*w - 2*n = w + 3. Let x be 1/(w/(-3) + 0). Suppose 0 = -2*d + x*d - 33. Is d composite?
True
Let s(b) = 30*b - 1. Let f be s(1). Suppose 57 + f = u. Is u a prime number?
False
Suppose 0 = -2*m - 2*b - 6, -2*m - 2*m = -b + 2. Is m/(2/(-178) - 0) a prime number?
True
Suppose 5*r + 120 = r. Let b be (6/(-5))/(9/r). Is ((-111)/(-12))/(1/b) prime?
True
Suppose 0 = 5*l - 0*l - 1255. Is l prime?
True
Let d = 21 + -14. Suppose d*k - 393 = 4*k. Is k prime?
True
Suppose 33 + 42 = -5*v. Is ((-158)/(-10))/((-3)/v) a prime number?
True
Suppose -2*n + 4*n - 6 = 0. Let c be ((-8)/n - -1)*-3. Suppose c*g = 4*x - 24, 4*g + 24 = -2*x + 6*x. Is x a composite number?
True
Suppose 0 = d + 7 - 3. Is (-2)/d*(3 - -3) composite?
False
Let a(c) = -46*c**3 + c**2 + 5*c + 9. Is a(-2) composite?
True
Suppose 13*s - 1958 = 11*s. Is s composite?
True
Let k = -490 + 906. Suppose -412 = 2*y - 4*y + d, -d + k = 2*y. Let x = y - 122. Is x a prime number?
False
Let g = -75 - -134. Is g a prime number?
True
Suppose -2*x - i + 2095 = 429, 2517 = 3*x - 3*i. Is x composite?
True
Suppose 4*z - 59 + 11 = -2*w, -w - 5*z = -24. Is (-7)/(-1)*(w - 1) a composite number?
True
Let v(