09. Is l a composite number?
True
Let u(p) = 48*p + 6. Let z(v) = -47*v - 7. Let c(a) = 6*u(a) + 5*z(a). Let g be c(8). Suppose 7*q - 2*q = g. Is q prime?
False
Suppose t + 4 = 2*t. Suppose -3*k = k - t, 3*q = -k + 19. Suppose -5*d + 4*m = -14, -4 + q = -2*m. Is d prime?
True
Let v(a) = a**3 + 6*a**2 - 6*a + 9. Let y be v(-7). Is (y - (-3 + 192))*-1 a prime number?
False
Let u = -5 - -10. Suppose -o + 229 = 2*v - 6*o, u*v + 4*o - 655 = 0. Is v composite?
False
Let n(p) = -49*p + 105. Is n(-8) a composite number?
True
Is (-5)/2*1324/(-10) composite?
False
Let s be (-11 - 1*-2)/(-1). Let a = -5 + s. Suppose -t + 123 = a*y, 6*t - 151 = -5*y + 2*t. Is y a composite number?
False
Suppose j + 2 - 6 = 0. Let x(r) = 119*r. Let p be x(5). Suppose t - p = -j*t. Is t a prime number?
False
Let v(l) = l**2 - 3*l + 2. Let p be v(2). Suppose 3*f - 6*f = p. Suppose f = 2*j + 3*j - 155. Is j a prime number?
True
Let k(r) be the third derivative of 11*r**5/120 - r**4/4 - r**3/2 - r**2. Let j(i) be the first derivative of k(i). Is j(5) composite?
True
Suppose 0 - 2 = -d. Suppose -d = y, 4*y = -5*w - 138 + 525. Is w composite?
False
Let m(o) = -o**3 + 10*o**2 - 11*o + 20. Is m(9) a prime number?
True
Let w(x) = 8*x**2 + 6*x - 5. Let a be w(-5). Let g = -42 - -112. Let c = a - g. Is c composite?
True
Suppose q = 2*q + 14. Let n be (-7914)/q + (-4)/14. Suppose 2*v - 35 - 78 = -r, v = 5*r - n. Is r a composite number?
False
Let l(j) = 289*j**2 - 3*j + 1. Is l(-2) prime?
True
Is (0 + 4)*(-21)/(-4) prime?
False
Suppose -b + s - 2 = -4, 0 = 4*b + s - 13. Suppose 0*l - 57 = -b*l. Is l composite?
False
Is (-3 + 857)/1 + -3 prime?
False
Suppose 0*u + 6*u - 1062 = 0. Is u prime?
False
Suppose 3*t - 4*q - 185 = 0, -2*q + 285 = 5*t - 4*q. Is t prime?
False
Suppose 0*v + i = 3*v - 443, i = 4*v - 592. Is v composite?
False
Let v = -4507 + 6636. Is v a prime number?
True
Let t be -28*((-35)/4 - -2). Suppose 0 = 4*j + 5*b - t, j + j = -5*b + 87. Is j composite?
True
Is 3163 - (16 + -16)/(3/1) composite?
False
Let x be 32/(-5) + (-6)/(-15). Is (x + 32)/((-1)/(-1)) composite?
True
Let y(v) = v**3 + 6*v**2 + 3*v + 4. Let g be y(-4). Suppose -4*r + 4*d = -g, 2*r + d - 10 = 4*d. Is 5/r*-14*-4 a composite number?
True
Let d = 1457 - -852. Is d a composite number?
False
Suppose 1 = -0*n + n - 2*c, 0 = -n - 5*c - 13. Let t(m) = -9*m**3 + 2*m**2 + 2. Is t(n) composite?
False
Let h = 4 + -5. Is h/(1/(-25)) + -2 a composite number?
False
Suppose 5*q - 29 = -4. Suppose 3*r = 2*s + 127, 44 = 3*r + 3*s - 73. Suppose r = 4*b + q. Is b composite?
True
Let c = 0 + -2. Let k be c/(-7) - (-1762)/7. Suppose -5*y = -k - 323. Is y composite?
True
Suppose -4*v + 1180 + 269 = 5*s, 3*s + 5*v = 859. Is s a prime number?
True
Suppose u - 28 = -5*t - 3*u, -14 = -5*t + 3*u. Let f(x) = x - 2. Let d be f(t). Is 22/33*393/d prime?
True
Suppose 6*n - 5*n - 21 = 0. Is n prime?
False
Let c(k) = 6*k**2 - 7 + 7 - 4*k + 1. Is c(-3) composite?
False
Let c(b) be the second derivative of b**5/20 + 5*b**4/12 - b**3/2 + 3*b**2/2 - 3*b. Is c(-4) a prime number?
True
Let g be (-30)/(7/(-2) - -2). Suppose g = 7*f - 2*f. Suppose 0 = u - f*u + 69. Is u prime?
True
Suppose -5*f + 76 = 3*h - h, 3*h + 3*f = 105. Let m be -1 + 0/(-2) + h. Suppose m = 4*n - 60. Is n a composite number?
False
Let g be 839 - (2 + 0/(-1)). Suppose -2*c = -2*h - 408, -4*h + 174 + g = 5*c. Is c a composite number?
True
Suppose 39 = -4*k + 3. Let s(t) = t**3 - 2*t**2 - 2. Let u(n) = -2*n**3 + 4*n**2 - n + 4. Let a(z) = k*s(z) - 4*u(z). Is a(-3) a prime number?
False
Suppose -2*o - 95 = 5*j - 10, 0 = 2*j - 4*o + 34. Let k = 362 - j. Is k a composite number?
False
Is 9/((-12)/(-4)) - -116 composite?
True
Let x be ((-7)/4)/(1/(-4)). Let m = x - -3. Is 3/15 - (-68)/m prime?
True
Let p = -5 + 9. Suppose -11 = -p*s - q, 0 = 2*q + 1 - 7. Suppose 24 + 4 = s*u. Is u a prime number?
False
Let n(g) = g**2. Let m be n(2). Suppose 3*h + 12 = -v, -m*v = -h - 2 - 2. Suppose v = -2*x - 0*x + 14. Is x a prime number?
True
Let i be (-2)/4*-2*2. Suppose -p + i*p - 16 = 0. Suppose 0 = q - 3 - p. Is q composite?
False
Suppose 4*d = z - 79, -4*z + d = -0*z - 316. Is z composite?
False
Let c(o) = o**3 + 4*o**2 - 6*o. Let z be c(-5). Suppose -3*m = -z*m + 212. Is m a composite number?
True
Let x be ((-12)/(-8))/(2/344). Suppose 2*r = m + x, 3*r + 5*m = 5*r - 274. Is r prime?
True
Suppose 0 = -4*n - 2*t + 16, 4*n - 4*t = 2*n - 2. Suppose -3*u + 41 + 26 = r, -3*r = -n*u - 165. Is r a prime number?
False
Let w(z) be the second derivative of z**5/20 - z**4/4 + 7*z**3/6 + 2*z. Suppose 2*j - 14 = h, 0 = -4*j + 6*j + 4*h + 6. Is w(j) a composite number?
True
Let i(h) = -h**2 + 16*h - 5. Let b be i(11). Is (b - (-3 + 0))*1 composite?
False
Let v be 4/6*(4 + 197). Is (8/4 - 3) + v prime?
False
Suppose 7*c = 5*c + 3118. Is c prime?
True
Let b = 3 - -2. Is b/5*(1 - -48) composite?
True
Suppose 5*m + 6 = 2*m. Let j be 1/(-1 - 3/m). Suppose -2*y = -j, -2*z + y + 0*y + 105 = 0. Is z composite?
False
Let q(g) = g - 13*g + 5 - 4*g. Is q(-5) a prime number?
False
Let t(w) = -17*w**3 - 3*w - 1 + w**2 + w**2 - 6*w**2. Is t(-3) prime?
True
Suppose 513 = 5*x - 1082. Is x a prime number?
False
Suppose 5*y = -2*c + 1364, 4*c - 2698 = -0*y + 5*y. Is c prime?
True
Let l(f) = -2*f**3 - 2*f**2 + 5*f + 2. Let s be l(-4). Let p = 137 - s. Is p composite?
False
Let y be -3 + (5 - -1 - 2). Suppose s + 4 = 0, k + 4*s - y = 38. Is k a prime number?
False
Let u = 7 - 4. Suppose -5*d = v - 89, u*d + 219 = 3*v + 6*d. Is v a prime number?
False
Let l(d) = d**3 - 4*d**2 + 2*d - 1. Let q be l(4). Suppose -q*g + 3*g + 16 = 0. Suppose 5*c = 4*x + 54, -2*c - c = -g*x - 26. Is c a composite number?
True
Let k(q) = q**2 + 67. Is k(0) prime?
True
Let i(s) = -3*s**3 - s**2 - s - 9. Is i(-8) prime?
True
Let d be 4/((-12)/(-15)) - 1. Let m = d - 2. Suppose 0 = 2*q + m*q - 3*c - 1412, 4*q + 5*c - 1412 = 0. Is q composite?
False
Let r(i) = -43*i - 3. Let c = -11 - -9. Is r(c) prime?
True
Let n = -1507 + 3180. Is n prime?
False
Suppose 27 = 5*l - 3. Is ((-3)/2)/((-1)/l) prime?
False
Suppose u - f = 0, -2*u - 4*f = 3*u. Let v(r) = r**2 - r + 191. Is v(u) a composite number?
False
Suppose -165 + 783 = -2*b. Let g = -168 - b. Is g prime?
False
Let p be (-3 - (2 - 1))*2. Suppose 5*l - 4*u - 798 = 0, 3*l = -5*u - 0*u + 464. Is (l/p)/((-1)/4) a composite number?
False
Let d = 636 + -299. Is d composite?
False
Suppose -8*v + 20 = -3*v. Suppose v*h + 20 = 64. Is h composite?
False
Let b(f) = f**3 + 5*f**2 + 2. Let m be b(-5). Suppose 434 = -m*l + 4*l. Is l composite?
True
Suppose 3*g - 23 + 8 = 0. Let x(p) = 5*p**2 - 3*p + 1. Let d be x(g). Suppose 0 = -2*t - t + d. Is t composite?
False
Let f = -3 - -5. Is (f/(-4))/(10/(-1300)) prime?
False
Suppose -320 = -2*w - 2*w. Suppose -15 + w = -5*l. Let n = l + 38. Is n a prime number?
False
Is (-1178)/(-5) - 12/20 prime?
False
Is (-37342)/(-42) - 4/42 a prime number?
False
Let d(n) = 2*n**2 + 7*n + 4. Let a be d(-4). Let q = 66 + a. Is q a composite number?
True
Let a(c) = 4 - 4 + 3 - 36*c. Let u be a(-3). Suppose 0 = -x - 2*x + u. Is x a composite number?
False
Let g = 403 - 259. Suppose 0 = 4*z + 3*y - 6*y - g, -z = -4*y - 23. Is z a prime number?
False
Let n = 78 + -55. Let o = n - -188. Is o composite?
False
Suppose p = -5*n + 5*p + 10, 3 = 3*n - 3*p. Suppose w + 133 = n*w - 4*h, h + 127 = 5*w. Is w a prime number?
False
Let h = -9 + 5. Let f = h - -9. Suppose f*r - q - 291 = 0, 0 = r - 3*q - 12 - 49. Is r a prime number?
False
Let x = -79 + 148. Is x a prime number?
False
Suppose -7*z = -s - 2*z + 5, -25 = 5*z. Let w be s/6*(-3)/2. Suppose 313 = w*j + 23. Is j composite?
True
Suppose 5*v + 772 = 2*n, 457 + 318 = -5*v + 5*n. Let b = -27 - v. Is b a prime number?
True
Let t(l) = 0*l + 7*l - 2*l + 3. Let g(h) = h**3 + 4*h**2 - 8*h - 5. Let y be g(-5). Is t(y) a composite number?
False
Suppose 0 = 3*p - 2*i - 15893, -5*p = -i + 5*i - 26481. Is p a prime number?
True
Let k(r) = 555*r + 1. Let y be k(1). Suppose -2*b = -9 + 1. Suppose 278 = 3*a - a - x, b*x - y = -4*a. Is a composite?
False
Is 4 + -2 + 1544 + 3*-1 a prime number?
True
Suppose -y - 3 = 0, -2*t + 4*t - 4*y - 978 = 0. Suppose 0*i - 5*r - 180 = -2*i, 0 = -5*i - 4*r + t. Is i a composite number?
True
Is (-11998)/(-7) + 0 + -5