 + -1169. Is l a prime number?
False
Suppose 0 = -4*s - 0*s + 444. Suppose p - 2*l + 3*l = -68, 2*p + s = 3*l. Is (-31325)/p - (-2)/(-9) composite?
True
Suppose -5*w - 24 = -34. Suppose w*q = -4*h + 200, -2*q = -q + h - 97. Is q a composite number?
True
Let r = -46 + 25. Let s be (-36)/21*4*r. Let k = 107 + s. Is k prime?
True
Let j(h) = -2*h**3 - h**2. Let m be j(1). Is 201 + 0 - 12/m a composite number?
True
Suppose -c - w + 253 = 0, 5*c + 4*w + 0*w = 1260. Let r be (-4)/6 + 68/12. Suppose l = r*l - c. Is l a composite number?
True
Suppose -5*g + 6668 = -6227. Is g composite?
False
Suppose -q = -4 - 10. Suppose -q = -5*s + 6. Suppose 4*o = -5*l - o + 715, 3*o = s*l - 586. Is l a composite number?
True
Suppose 4*w - 3*z - 5176 = z, -w - 3*z = -1314. Suppose -6*t + 2*t = -5*a - w, -4*a + 351 = t. Is t composite?
False
Suppose -5*w - a - 10 = 0, 0 = -2*w + a - 0*a + 3. Let i be (-4)/(-2) - (3 + w). Suppose 0*n + 3*n - 1113 = i. Is n a prime number?
False
Let b(h) = -h**3 - 7*h**2 + 9*h + 10. Let y be b(-8). Suppose -1412 = -4*f - 4*g, y*g - 5*g - 1781 = -5*f. Is f a composite number?
True
Let x(n) = -4*n**3 - 14*n**2 - 12*n - 13. Let y be x(-7). Suppose 4*i + y = 5*c, 3*c = -6*i + 11*i + 462. Is c composite?
False
Let z = 84 + -210. Let k = z + 1038. Suppose 0 = 3*q - 2*q + o - 219, 4*q - 5*o = k. Is q a prime number?
True
Suppose 0 = 8*z + 28*z - 214524. Is z a composite number?
True
Let s be (-6)/30 + 272/10. Suppose -3*z - 1237 = 2*h, z + 409 = h - 5*h. Is 9/(s/(-12)) - z prime?
True
Is (9470/80)/((-2)/(-16)) prime?
True
Let c(v) = v**3 + 34*v**2 - 11*v + 25. Is c(-14) prime?
True
Let x(t) = t - 7. Let v be x(9). Suppose -f + 3 + v = 0. Suppose f*j = 1725 + 230. Is j a composite number?
True
Let q be 700/(-30)*234/(-7). Suppose 11*w - 8*w + 3*s - q = 0, 5*w + 3*s = 1298. Is w prime?
False
Is ((-6)/4)/(150/(-5105500)) composite?
True
Suppose 35*g = 36*g + 276. Let j = g + 595. Is j a composite number?
True
Suppose 2*h = p - 2726 - 3322, 0 = 2*p - 4. Let o = -1980 - h. Is o a composite number?
True
Let a be 27/63 - 157/7. Let t(j) = -13*j - 75. Is t(a) a composite number?
False
Suppose -25 = -4*u + f + 34, 5*f = -u + 20. Let d(m) = 54*m**2 - 53*m**2 + 22 - 2*m - 15*m + 5*m. Is d(u) a prime number?
True
Let l(r) = 6*r**3 - r**2 + 4*r + 7. Let z be l(7). Suppose -3*n = 4*f - 2465, -z = -5*f - 4*n + 1038. Is f a prime number?
False
Let i = -136 - -208. Suppose -5*z = -3*x + i, 2*z - 7*z = -2*x + 53. Suppose 65 = 4*r - x. Is r a prime number?
False
Let r(o) be the first derivative of -5*o**4/4 - o**3/3 - 9*o**2/2 - o + 7. Is r(-6) composite?
False
Let r(j) = j + 3. Let n be r(-4). Let g be ((-25)/(-5))/(n/(-8)). Is 3074/10 - 16/g a composite number?
False
Let v(f) = -f**3 - 7*f**2 - 7*f - 4. Let h be v(-6). Suppose -8 = -3*m - s + 5*s, -h*m = 2*s - 10. Suppose 0 = m*t + 267 - 703. Is t a composite number?
False
Let c(w) = -w**3 + 9*w**2 - 8*w - 3. Let t be c(8). Let o be 1/t - 4240/(-12). Suppose 4*f - 711 = k, f + o = 3*f - k. Is f a prime number?
True
Is 2/2*(17 + 7574) a prime number?
True
Let f(a) = 4*a**2 - a + 4. Suppose 4*y + 4 + 4 = 0. Let z be (2 + -1 - y)*-1. Is f(z) a composite number?
False
Let h be 2/1 + -2 - 1. Let t(p) be the third derivative of -257*p**4/12 - 60*p**2. Is t(h) prime?
False
Let p(l) = l**3 + 22*l**2 + 8*l + 9. Suppose -5*i = -3*x + 97, -i - 24 = 3*x + x. Is p(i) prime?
False
Let n(j) = -16*j**2 - 2*j - 1. Let f be n(-1). Let p = f - -20. Suppose p*b = -3*l + 462, 0 = -l + 5*b + 77 + 97. Is l a composite number?
True
Suppose 5*o = y + 1249, 0 = 5*y + 5*o + 644 + 5541. Let q = y + 3958. Is q prime?
True
Suppose x = 5*x + 4*p - 13108, -2*p + 16385 = 5*x. Is x a prime number?
False
Suppose 11815 = 3*u - 62612. Is u prime?
True
Let s be (2/14)/(17/119). Let d be s/3 - 70/(-42). Is -1*6/d - -26 a prime number?
True
Suppose i + 2 = 4*k, 2*i + 2 = k - 23. Let u = -58 - i. Is (u/2)/((-28)/742) a composite number?
True
Let r = 987 + -465. Let u be r/2 - (0 + 3). Let q = -125 + u. Is q a composite number?
True
Suppose 3*b - 4 = 5*b. Let c be b/(-8) - 52/16. Let j(g) = -65*g - 4. Is j(c) a prime number?
True
Let b(d) = -5900*d - 9. Is b(-1) prime?
False
Let b(s) = 6*s**2 - s - 4*s**2 + 1 + s**2 - 3*s**3. Let m be b(-6). Let w = m + -434. Is w prime?
False
Let s(d) = d**3 - 10*d**2 - 11*d + 11. Let r be s(11). Let w(y) = -y + 22. Let p be w(r). Suppose -16*m + 1115 = -p*m. Is m a prime number?
True
Let w be 3/(9/21) - 3. Let g(r) = r**3 - 5*r**2 + 2*r + 7. Let a be g(w). Is ((-632)/(-10) - a)*5 composite?
True
Suppose -3*a - i + 3*i + 15 = 0, -3*a + 3*i + 12 = 0. Let u(t) = -4 + 7*t + 5*t - 3 - 3*t - t**2. Is u(a) composite?
False
Suppose -677 = -3*v + 4*w - 51, 0 = 5*v + 4*w - 990. Suppose 0 = 4*o - 978 - v. Let s = o + 6. Is s a prime number?
False
Let a(n) = -4*n + 21*n - 18 + 2*n + n. Is a(4) a prime number?
False
Suppose -10540 = -4*j + 4*o, -3*j + 4*o + 4253 + 3654 = 0. Suppose -3*r = -4*k + 5267, 0*r + r + j = 2*k. Let f = k - 273. Is f composite?
True
Let w = -8 + 10. Suppose w*u + u = 6. Suppose 222 = u*g - 0*g. Is g a prime number?
False
Suppose n + s - 736 = 0, 0 = 2*s + 6 + 4. Let r be 1100/(-5) - 0/2. Let v = r + n. Is v a composite number?
False
Suppose -11 = -i - 8. Let d be 2*((-2)/4 + i). Is d/10 + (-842)/(-4) a prime number?
True
Is (-15)/((-60)/(-872))*17/(-2) a composite number?
True
Suppose -3*n + 31*q - 35*q = -1563, 4*n + q = 2084. Is n prime?
True
Suppose p - v - 23 + 7 = 0, -3*p + v = -52. Let c = p - -1. Is c a composite number?
False
Suppose -3*g = 20 - 56. Suppose -127 = -g*f + 11*f. Is f composite?
False
Is (90102/12)/((-7)/(-14)) composite?
False
Let r = 899 + -318. Is r a prime number?
False
Suppose 3*d - 1980 - 4719 = -3*r, 2*r - 4474 = -4*d. Suppose 0 = -8*z + 5*z + r. Is z a prime number?
True
Suppose -2*g - 4*o = -968, 2*g + 3*o - 615 - 350 = 0. Is g composite?
True
Suppose -2*b + b = -2179. Is b prime?
True
Is ((-9257)/2)/((-11)/22) a composite number?
False
Suppose 1123 = 2*o + 149. Is o composite?
False
Let z(w) = -w**2 + 6*w - 5. Let m be z(2). Suppose 13*k - 3260 = m*k. Is k a composite number?
True
Suppose 8*y + 191 = 3799. Is y composite?
True
Suppose -6*l = -4*l. Let b be -3 - -5 - (1 + l). Is b - -208*(2 + -1) prime?
False
Let x = -16 + -6. Let q be 4/x - 6/(-33). Suppose 0*w - 3*w + 633 = q. Is w composite?
False
Let c be 28/98 - (66/(-14) - -1). Suppose -c*z - l + 9258 = 0, 9262 = 2*z + 2*z - l. Is z prime?
False
Let z = -8 + 9. Let p be -1 + (1/z - 0). Suppose 0 = -p*u + u - 163. Is u a composite number?
False
Suppose 2*j + 3*a = 32, 5*j - 66 = -4*a - 0*a. Let i(r) = -r**3 + 7 + 2*r**3 - 3*r**2 - 8*r**2 - j*r. Is i(12) a prime number?
True
Let n = -459 - -293. Is (6/(-12))/(2/12) - n a composite number?
False
Suppose 101839 = 17*l - 10327. Is l prime?
False
Suppose -4 - 16 = -p. Suppose -5*b - 3 - p = -c, -8 = 5*b + 4*c. Is (-7 - b) + 80/2 a composite number?
False
Suppose -4*u + 5 + 7 = 0. Suppose 7*p = -4*j + 2*p + u, -3*j + p + 7 = 0. Suppose -5*h - 3*l = -155, 4*h = -j*l + 7*l + 124. Is h composite?
False
Suppose -2*c = -4*o - 1974 + 19900, o - 4483 = 2*c. Is o a prime number?
True
Let q be (-17 + -7)/((-2)/3). Let z = 38 - q. Suppose 0 = z*j + 46 - 644. Is j composite?
True
Suppose 7*f - 4 = 3. Let l be ((-2)/(-6))/(f/7374). Suppose -t - 3*t = u - 1967, -5*t - u + l = 0. Is t composite?
False
Let x = -67 - -152. Let d = 184 + x. Is d composite?
False
Suppose 3*i = -3*q + 8*q + 1901, -2*i + 3*q + 1266 = 0. Let d = i - 46. Is d prime?
False
Let t = -11 + 6. Let i = 7 + t. Suppose -s = i*x - 2088, -4*s + 5223 = 3*x + 2*x. Is x composite?
True
Suppose 0 = 3*g + 2*n - 1093, 2*n - 5*n = -6. Let o(z) = -4*z**3 - 4*z**2 + 4. Let u be o(3). Let f = g + u. Is f a composite number?
False
Let j = -20 + 22. Suppose -2*y - 18 = -4*v, 5*v - j - 19 = 4*y. Is y/((-313)/314 - -1) a composite number?
True
Let r(l) = -l**3 - 7*l**2 + 3. Suppose -3*i + 7 - 16 = 0. Let t(g) = g**3 + g**2 - 2*g + 4. Let q be t(i). Is r(q) composite?
False
Let n(m) be the second derivative of -31*m**4/24 - 11*m**3/6 + 3*m**2/2 - 5*m. Let g(u) be the first derivative of n(u). Is g(-10) a composite number?
True
Let s be (2 - -1)*(1 - 2). Let r = -1 - s. Is (1/(-2) + 2)*r prime?
True
Let o(t) = 107*t**3 + 2*t**2 - 13