*m + 2*n, 4*m - 3*n - 1102 = 0. Is m a composite number?
True
Let x be 11/(-3)*(-6)/1. Let g = 61 + x. Is g prime?
True
Let d = -15 - -23. Let k(p) = -p**3 + 8*p**2 + p - 6. Let m be k(d). Suppose q = m*b + 45, -b - 3*b = 16. Is q prime?
True
Let u be 2/(-6) + 1547/51. Suppose -3*x = 2*x - u. Is x a composite number?
True
Let s = -2591 - -4134. Is s a prime number?
True
Let s = 2 + 725. Is s a prime number?
True
Let h = 364 - 237. Is h a composite number?
False
Suppose -2*a - 1 = -5. Suppose -3*l - a*n = -4*n + 124, -2*l - 79 = -5*n. Is (1/3)/((-2)/l) a composite number?
False
Suppose 0 = 2*j + 2*p - 4712, -j - j + 2*p = -4716. Is j prime?
True
Let a(p) = 2*p**3 - 11*p**2 + 7*p - 11. Is a(10) composite?
True
Suppose 5*x + 18 = -7. Let i = -3 - x. Is (1/1)/(i/20) a prime number?
False
Suppose 0*n - 3*n = -699. Is n a prime number?
True
Suppose 2*l = -5*b + 505 + 90, -b = 2*l - 607. Let o = l + -138. Is o a prime number?
True
Let a(g) = 15*g**2 + 6*g + 5. Is a(-4) a prime number?
False
Suppose 3 = -3*m + 21. Let d(c) = -c**2 + 7*c + 4. Is d(m) composite?
True
Suppose 2*k + 10 = 4*f, 2*k - 4 = -6. Suppose -f*v + v = -2. Suppose 0 = v*z - 4 - 2. Is z prime?
True
Let b = 48 + -17. Is b prime?
True
Let z be (-2)/5*15/3. Is -2 + (z + 4 - -25) composite?
True
Is (0 - -158) + (-3 - -3) + 3 a prime number?
False
Let u(t) = t**2 - 4*t + 2. Let k be u(4). Let f be 0 + -101 - k/2. Let p = -25 - f. Is p composite?
True
Suppose 4*i - 66 = 26. Let c be -5 - (2 + 0)*-1. Is 6/(-9) - i/c a prime number?
True
Let t = -22 + 1089. Suppose 0 = 3*v - 0*v + 3, 4*s - 3*v = t. Let o = s + -177. Is o a composite number?
False
Let t = 83 + -150. Let f = 122 + t. Suppose -6*x + x = -f. Is x prime?
True
Let r be 30/8 - (-24)/(-32). Suppose -3*x + 4*x + 1121 = r*k, x = -2. Is k composite?
False
Let l(b) = -b**2 - 5*b - 1. Let d be l(-5). Let u(k) = 8*k**3 + 2*k + 1. Let c be u(d). Let j(w) = w**3 + 10*w**2 + 7*w + 5. Is j(c) a composite number?
False
Let x(k) = 4*k + 3. Is x(4) prime?
True
Let o(b) = b**2 + b + 119. Let d be o(0). Is d*(-1)/3*-3 a composite number?
True
Suppose -2*x + j + 8 = -4*x, 3*x - 4*j = -1. Is (-103 + 1)/x - -1 composite?
True
Is (-330)/(-4) + (-5)/(-10) prime?
True
Suppose 2*m = 5*s + 107, -4*s + 2*m - 89 = -3*m. Let d = 132 + s. Is d composite?
True
Suppose 2758 + 9849 = 7*p. Is p prime?
True
Let r(h) = h**2 - 11*h + 2. Suppose 0 = -g + 3*g - 24. Is r(g) a composite number?
True
Let f(w) = 5*w**2 - 3*w + 1. Let x be (14 + -2)/4 - 0. Is f(x) prime?
True
Is 2 + 1 + -1 + 209 a composite number?
False
Suppose 510 = -3*v - 111. Let d = v - -474. Is d prime?
False
Let b = 533 + -372. Is b composite?
True
Let v(h) = -14*h + 4. Let n(r) = -r - 11. Let j be n(-6). Is v(j) a prime number?
False
Let j(s) = -s + 7. Let y be j(6). Let p be (15/4)/(y/4). Suppose -2*z = -o + z + p, o = -z + 7. Is o composite?
True
Let r(c) = 9*c**2 - 5*c - 3. Suppose 0*y + a = y - 3, 4*a = y. Is r(y) a prime number?
False
Let n = 290 - 156. Is n composite?
True
Suppose -4 = -5*o - 9. Let q be ((-1)/3)/(o/18). Let g(f) = 3*f**2 + 3*f + 1. Is g(q) a prime number?
True
Let t be 292*(-4)/16*-2. Let r = t - 81. Is r prime?
False
Let x(h) = 28*h**2 + 2*h - 2. Let s be x(2). Let l = s - -112. Is l prime?
False
Is 4179/28 + 3/(-12) prime?
True
Let l(x) be the second derivative of -x**5/5 + x**4/4 - x**3/6 - 2*x**2 + 31*x. Let y = -6 + 3. Is l(y) composite?
True
Let b(h) = -h**3 - 4*h**2 - 5*h + 4. Let f be b(-6). Suppose -3*q + 2 = 8, -q = -2*a + 192. Suppose -3*x + f = -a. Is x composite?
False
Suppose -4 = 3*m - 10. Suppose 3*d = -m + 59. Is d a composite number?
False
Let r be 3560/30 - (-4)/(-6). Suppose 87 = 4*d - d. Let a = r - d. Is a composite?
False
Let y(d) = 7*d + 1. Let u be y(3). Let v = 33 - u. Is 585/11 - 2/v prime?
True
Let u(m) = 2*m**2 - 1 + 3*m + 0 - 3*m**2 + 3*m**3. Is u(4) a prime number?
False
Let j(n) be the second derivative of n**3/6 + 18*n**2 + 8*n. Is j(-15) a prime number?
False
Let i(b) = 11*b + 6. Let z(f) = f**3 + 8*f**2 - 2*f - 9. Let h be z(-8). Is i(h) composite?
False
Let g be 0 + (6/3 - -4). Suppose -4*d + 66 = -g. Suppose d = 5*u - 57. Is u composite?
True
Suppose 13 = 3*v - 0*v + 2*f, 14 = 2*v + 4*f. Let g be 12*(-1)/4*v. Is g*(0 - 9) + -2 composite?
False
Let v = -178 - -513. Suppose -3*b + v = -19. Is b a composite number?
True
Let h(j) = j**2 - j + 1. Let k(p) = 2*p**2 - 6*p - 12. Let b(n) = -h(n) + k(n). Let v be (6/(-8))/(11/(-132)). Is b(v) composite?
False
Let v(h) = -h**3 - 6*h**2 - 4*h + 4. Let j be v(-5). Let f(x) = -40*x + 1. Let u(m) = 81*m - 2. Let o(a) = 9*f(a) + 4*u(a). Is o(j) a composite number?
False
Suppose 5*l + 5*g = 20, -g = 4*l - 3 - 1. Suppose l = -w + 122 + 39. Is w composite?
True
Let f = 2 - -1. Suppose -8*y = -f*y - 10. Let j = y - -1. Is j a composite number?
False
Let y = 1 - -480. Is y a composite number?
True
Suppose 12 = 5*k + w, -k = 2*w + 3*w + 12. Suppose -3*s = 2*c - 17, -s - k = -2*s. Is (-1)/(-4) + 523/c a composite number?
False
Let i(j) = -j**3 + 7*j**2 - 3*j - 5. Suppose -3*y = -4*y + 6. Is i(y) a composite number?
False
Suppose 3*j - 515 = 112. Is j prime?
False
Is ((-1)/3)/((-3)/6759) composite?
False
Is 2/(-4) - (-766)/(-8)*-2 a prime number?
True
Suppose 189 = -0*k + k. Let o = -83 + k. Is o prime?
False
Is 1 + -2 + 140*1 a prime number?
True
Let h(k) = -4*k + 10 - 2*k + 3*k + 4*k. Let v be h(-10). Suppose -3*d + 100 = 5*m, d + 2*m + v*m = 33. Is d composite?
True
Let g(u) = -u**3 + 8*u**2 - 6*u - 10. Let j be g(7). Let o be (j/(-2))/((-1)/(-2)). Suppose 5*p = o*p + 38. Is p composite?
False
Suppose 4*v + 35 = -v. Let f(q) = -q**2 - 6*q + 10. Let a be f(v). Suppose -a*l + 7 = -2*l. Is l composite?
False
Let z be 141/27 + 4/(-18). Suppose z*q = -9 - 6. Is q/6 - (-117)/2 a prime number?
False
Let c(i) = -3*i**2 + 17*i + 5. Let p(l) = 2*l**2 - 16*l - 5. Let d(v) = 3*c(v) + 4*p(v). Is d(-10) a prime number?
False
Let a = -5 + 44. Is a a composite number?
True
Let d(m) = 5*m**2. Let t be d(1). Let j = t - 4. Suppose -2*q + j = -49. Is q a prime number?
False
Suppose 3*m = -0*m + 1611. Suppose 121 = 2*f - m. Is f a prime number?
False
Suppose 0 = -3*w + 3 - 18, 0 = -2*c - 4*w + 3782. Is c composite?
False
Let m = -13 + 19. Suppose -m*f + 3*f + 534 = 0. Is f a composite number?
True
Suppose 176 = 5*w - 4. Suppose o = -c - 23, c = 3*o - 2*o - 29. Let p = w + c. Is p prime?
False
Is (-2*68/8)/(3/(-15)) prime?
False
Suppose 3*a - 2973 = -0*a. Is a composite?
False
Let x(k) = 23*k**2. Let r be x(-4). Let n = r - 177. Is n a prime number?
True
Let o(q) = -14*q**2 + 2*q + 2. Let s be o(-2). Let v = -20 - s. Is v prime?
False
Suppose -3*o - 247 + 982 = 0. Suppose 27 = -2*b + o. Is b a prime number?
True
Let d = -92 + 213. Is d a prime number?
False
Let i(d) = 167*d**3 - 3*d**2 + 2*d - 2. Let k be i(2). Let p = k + -545. Is p composite?
True
Let g(h) = 5*h**3 - 2*h**2 + 2*h + 4. Let x = -3 - -4. Let d be (x + -4)/((-3)/3). Is g(d) a composite number?
False
Suppose 5*q = -4*t + 2901, -3*t = -0*q + 2*q - 1159. Is q a prime number?
False
Suppose 2*s - 3 = s + 5*f, f = -3. Is ((-8)/s)/((-4)/(-1110)) a composite number?
True
Let r = -4 + 4. Suppose 0*h - 2*h + 6 = r. Suppose 183 = h*q + 24. Is q a composite number?
False
Suppose 2*y - 4*p = 159 + 75, -y - p = -129. Let h = -6 + 6. Suppose y = 5*z - h*z. Is z composite?
True
Suppose 11 + 4 = 3*d, -3*f = -2*d - 761. Suppose -5*c = 2*q - f, -c + 4*c - 2*q = 167. Is c prime?
True
Suppose 4*p - 637 = 5*a, -7*a + 133 = p - 3*a. Suppose 0 = -j + p + 178. Is j a composite number?
False
Let h = 0 + -15. Let k be h/6 - (-6)/4. Is 57 + 2 + k + 1 a prime number?
True
Suppose 14 = 5*m - 61. Let a = m - 10. Suppose -a*v = 5*r - 2*v - 5, -5*v - 21 = r. Is r composite?
True
Suppose 6*k = k + 380. Suppose 2*h - k = -2*q - 0*h, 32 = q - h. Let z = -20 + q. Is z a prime number?
False
Let j(g) = 5*g**3 - g**2 - g + 1. Let y be j(1). Suppose -5*s + 1 = -y*s, 3*s = -2*m + 121. Is m composite?
False
Let o = -55 + 182. Is o a prime number?
True
Is ((-2201)/(-4) - -4)/(12/16) composite?
False
Suppose -3*x + 13 = -3*h - 5, -2*x + 15 = -5*h. Suppose 5*l - 41 = -0*l - 4*i, 3*l + x = 5*i. Suppose -l*t = -3*t - 46. Is t a composite number?
False
Let u(i) = i**3 + 5*i**2 + 3*i - 5. Let q be u(-4). Is 