t = 18 - p. Suppose t = 4*l - 52. Is l a composite number?
False
Let w(a) = 2*a**2 - 10*a - 7. Is w(-7) a composite number?
True
Suppose 3*i + 4*t = -10, 2*i - 7*i + 3*t = 7. Is (-928)/(-24) - i/(-3) composite?
True
Let c be (3 - 4)*4 + 819. Suppose 3*g = -3*l + 5*g + 1175, 2*l = -5*g + c. Is l prime?
False
Let n(a) = -a**3 + 5*a**2 + 6. Let i be n(5). Let k be (-232)/(-10)*45/i. Suppose -l = l - k. Is l a prime number?
False
Is (-2553)/(-3) + 7 + -5 composite?
False
Suppose 2*r - 17 - 365 = 0. Is r a composite number?
False
Suppose -u - 5*m + 67 = 0, -5*m - 107 - 154 = -3*u. Suppose -5 = -5*n + 20, 4*q = 4*n - 4. Is u + (q - 2) + 1 a composite number?
True
Let q be (-4)/6 + (-52)/(-6). Suppose -z = z - q. Suppose -3*c + 4*l = -83, z*c - 5*l + 40 = 152. Is c composite?
True
Suppose -1 + 29 = 2*o. Suppose -o*g + 102 = -12*g. Is g a composite number?
True
Let u be (-12)/30 - (-2151)/15. Suppose -u = -k + 4*q, -q - 624 = -4*k + 2*q. Is k composite?
True
Suppose 3*d = -15, 0*d = 5*p - 4*d - 1135. Is p prime?
True
Let c be (-94)/(-3) - 3/9. Let b = c + -8. Is b prime?
True
Let c(h) = h**2 - 7*h - 5. Let q be c(11). Let f be 148/52 + 6/q. Is 57*(f - (-8)/(-3)) prime?
True
Let z = 178 + -102. Let m = z + -41. Is m a composite number?
True
Let f = -24 - -9. Let u = 6 - f. Is u a prime number?
False
Let o(l) = l**3 + 5*l**2 - 5*l + 8. Let t be o(-6). Suppose -t*a - 3 = 3*y - 6*a, 0 = 4*y + 3*a - 21. Is y prime?
True
Let k be -2*(-4)/((-16)/6). Let c = 6 + k. Is c a prime number?
True
Suppose -3*n - n = -5*m - 7, 2*n + m = -7. Let w be n*(-783)/6*1. Suppose 2*i + 2*x - w = -i, 0 = 3*i - x - 270. Is i composite?
False
Let k = -866 - -1213. Is k a prime number?
True
Let j be 57/9 + (-2)/6. Let x be 370/j + 2/(-3). Let f = x - 42. Is f composite?
False
Let g(c) = 33*c - 1. Let w(u) = u**2 + 7*u + 7. Let p be w(-6). Let h be g(p). Let t = h - -6. Is t a composite number?
True
Let q(t) = -t**3 + 7*t**2 - 4*t - 5. Let d be 12*((-9)/(-3))/6. Is q(d) prime?
True
Suppose -5*g - 3*q + 685 = -0*q, -5*g - 2*q = -690. Suppose o = -0*d + 3*d + g, 5*o - 2*d = 648. Suppose -o + 388 = 4*z. Is z composite?
True
Let o(l) = 3*l**2 - 4*l - 1. Is o(10) composite?
True
Suppose 5*c - 52 = -2*w, 5*c + 0*w - 40 = -5*w. Let s(l) = -4*l - 15 - l + c. Is s(-8) a prime number?
True
Let z(v) = v**3 - 8*v**2 - 13*v - 5. Suppose -50 = -4*a - 10. Is z(a) a prime number?
False
Suppose -2*l - 21 = 5*z, 7*z + 21 = -4*l + 4*z. Let y = 34 + l. Is y a composite number?
False
Let h(x) = -x**2 + 6*x - 9. Let z be h(6). Let u = 9 + z. Suppose -3*m + 166 + 5 = u. Is m composite?
True
Suppose -a + d + 2144 = 0, -a = a - 4*d - 4278. Is a a composite number?
True
Suppose 0 = i + 12 + 141. Let p = 284 + i. Is p a prime number?
True
Suppose 0 = -n + 3*z + 1195, 0 = -5*n - 2*z + 2414 + 3561. Is n a prime number?
False
Let w = -25 + 28. Suppose w*y - 381 = -0*y. Is y a composite number?
False
Suppose -c + 669 = 2*c. Is c a composite number?
False
Suppose -2*k = 3*q, -k - 1 - 4 = 4*q. Let m(t) = 0 + 2*t + 68*t**2 - 2 + k. Is m(-1) a prime number?
True
Suppose 155 = -4*w + 451. Is w a composite number?
True
Let r = 3 - 4. Let h be (-2)/10 - 1305/(-25). Is 0 + (r + h - -2) a prime number?
True
Suppose -h + 16 = u - 17, u - 49 = 3*h. Is u a prime number?
True
Let m(h) = -249*h**3 - h**2 - 2*h - 1. Let s be m(-1). Let a(q) = -q**2 - 10*q - 9. Let v be a(-9). Suppose v = -5*l + 166 + s. Is l composite?
False
Suppose -2*m - 696 + 4798 = 0. Is m a composite number?
True
Suppose 4*p = 2*p - 5*l + 1378, -5*p - 2*l = -3403. Is p prime?
False
Suppose 7 = t - 7. Suppose v = -4*b + 2*v + 17, -3*b + t = -2*v. Suppose 3*u + 3*g = 2*u + 74, 2*u = -b*g + 154. Is u a composite number?
False
Let o be 1/(-2) - (-46)/4. Suppose 0 = -z + o + 4. Is z a prime number?
False
Suppose -3*x - 275 = -884. Is x a prime number?
False
Let t(o) = o - 7. Let w be ((-14)/8)/(1/(-4)). Let f be t(w). Suppose -4*u + 351 = 5*x, 3*x + 0*x - 5*u - 181 = f. Is x a prime number?
True
Suppose -3*c = 0, -3*i + c = -6*i + 2733. Is i a composite number?
False
Let p(u) = 2*u + 4 - 12 - 8*u. Let t(y) = -3*y - 4. Let v(s) = 6*p(s) - 13*t(s). Is v(3) prime?
True
Suppose 2*t = b - 40, 0*b - 75 = -3*b - 3*t. Suppose -2*h + 2*u + b = 0, -u - 2*u = -h + 7. Is h composite?
False
Suppose a - 168 = -a. Suppose 0 = i - 4*i + 3*k + a, 2*i = 3*k + 59. Is 3 + -5 + (i - 0) a composite number?
False
Let l = 376 + 895. Is l prime?
False
Let k(p) = -21*p**3 - 4*p**2 - 2*p + 2. Let l be 5/(-3) + 7/(-21). Let w be k(l). Suppose 0*v + 2*v + 6 = 0, -5*i = -v - w. Is i a prime number?
True
Suppose 0*j = j - 357. Is (4/6)/(2/j) a composite number?
True
Let u(n) be the third derivative of -n**6/120 - n**5/30 + 7*n**4/24 - 3*n**3/2 - 2*n**2. Is u(-7) a composite number?
True
Let g(u) = 117*u**2 - 3*u + 5. Is g(3) a composite number?
False
Is (-318)/(2 + -3 + -1) composite?
True
Suppose 0*x + 6 = 3*x. Suppose u + 253 = 5*f, 2*f + x*u + 200 = 6*f. Is f a prime number?
False
Let m be (5/1 - 2) + 173. Let a be 4/(-18) + 2254/18. Let x = m - a. Is x a composite number?
True
Suppose 4*y = 165 + 63. Is y composite?
True
Let v(k) = -84*k - 1. Is v(-3) a prime number?
True
Let j(d) = d + 9. Let i be j(-9). Suppose 3*z - 26 = -c, -2*c - 2*z + 48 = -i. Is c prime?
True
Let g(w) be the second derivative of -14/3*w**3 + 0 - 2*w - w**2. Is g(-3) a prime number?
False
Let j = 5 + -3. Suppose -b = j*b - 69. Is b a composite number?
False
Suppose -x = -0*s + s - 16, -2*x + 5*s + 46 = 0. Let z be -22*(1 + x/(-4)). Is 0 + z + 6 + -6 prime?
False
Let d(n) = -2*n + 6*n + 0*n + 2 - n**2. Let k be d(4). Suppose -2*g - 4*w = -58, -3*g = k*g + 4*w - 163. Is g prime?
False
Let y(l) = -l**3 - 15*l**2 - 21*l - 22. Is y(-15) prime?
True
Suppose 5*z = -h + 480, 3*h - 300 = z - 4*z. Is z a composite number?
True
Let g(f) = -316*f + 59. Is g(-18) prime?
False
Let q(r) = r - 4. Let s be q(3). Let a = s + 0. Let i = 3 + a. Is i composite?
False
Suppose 5*k + 2*u + 2401 = 0, k - 1931 = 5*k + 5*u. Let f = -192 - k. Suppose 5*b = 5*m - 52 + f, 4*m - 8 = 0. Is b composite?
True
Let s be (38/4)/(1/6). Suppose -4*m + s = -m. Is m prime?
True
Suppose -3*x - 3*i + 2619 = 0, 3*i + 2595 = -2*x + 5*x. Is x a composite number?
True
Let w = 3 + -1. Suppose k - 135 = w*u, k - 2*u = -6*u + 111. Is k a composite number?
False
Let a(w) = -3*w**2 + 3 - 4*w - 2*w**2 + 4*w**2 + 5*w**2. Let b be a(-5). Let o = 242 - b. Is o a prime number?
False
Let m(p) = -2*p**3 - 6*p**2 + 6*p - 3. Suppose 17 - 7 = -2*y. Is m(y) a composite number?
False
Let j be 171*1*2/(-3). Let w = j - -245. Suppose -w = -0*h - h. Is h composite?
False
Let i(s) = -s**2 + 1. Let z(x) = 11*x**2 - x + 3. Let v(j) = 6*i(j) - z(j). Let m(t) be the first derivative of v(t). Is m(-1) composite?
True
Suppose -5*m = -5*z - 660, 4*z + 0*z = 4. Is m a prime number?
False
Suppose 3*g + 5*k = 5*g - 176, 3*k + 338 = 4*g. Is g prime?
True
Let l(h) = h**3 + 2*h**2 + 2*h + 1. Let j be l(-1). Let s be (-3 + j)/(9/(-12)). Suppose -2*y + 562 = s*c, -4*c - 130 + 677 = -3*y. Is c a composite number?
False
Suppose 31 = 5*r - 2*a, -4*r + a = -6 - 17. Suppose -6 - 6 = 4*o, 0 = 2*c - r*o - 25. Suppose -w - 7 = 4*j, c*j + 7 = 4*w - 49. Is w a prime number?
False
Suppose -11 = 5*r - 41. Let o(k) = 7*k + 2. Let s be o(r). Suppose 0*c - s = -4*c. Is c a composite number?
False
Suppose 5*y - 287 = 108. Is y prime?
True
Let f = -1964 - -2840. Suppose 2*r - 594 = -4*k, 3*r + 0*r + k = f. Is r composite?
True
Is ((-1148)/(-4))/(1 - 0) prime?
False
Let r(n) = -36*n + 31. Is r(-20) a composite number?
False
Let l be ((-40)/24)/((-3)/18). Let g be 2 - (3 - 1 - 3). Suppose -55 + l = -g*k. Is k composite?
True
Let c = 106 + 4. Suppose -2*o = 3*r - c, 3*r + 126 - 16 = 2*o. Is o a composite number?
True
Let v(g) = 1227*g**2 + g - 2. Is v(1) a composite number?
True
Suppose -2*k = 3*k + 5*x, k - 9 = 2*x. Suppose -k*t + 2*d = 2*t, -4*t - 2*d + 18 = 0. Suppose -a + 63 = t*a. Is a prime?
False
Let h = 49 - 36. Is h a composite number?
False
Suppose 6*n - 3*n + 2*m + 4 = 0, 31 = 3*n - 5*m. Let g(z) be the third derivative of 3*z**4/8 - z**3/2 + z**2. Is g(n) composite?
True
Let b be 2 - (-3 + 3 + 10). Let n = 5 - b. Is n prime?
True
Suppose -2*v - 177 = -5*v. Is v prime?
True
Suppose -5*x - 3*m + 99 