posite?
True
Is -23*(2 - (9 - 0)) composite?
True
Let f = 5 + 5. Suppose -k + 0 - f = -5*c, 2*c = -5*k + 31. Suppose c*v = -53 + 194. Is v a prime number?
True
Let y = -12 - -421. Is y a prime number?
True
Let k(o) = -307*o - 1. Suppose 3*i + i = 5*y + 17, 10 = 2*y + 4*i. Let w be k(y). Let p = w + -179. Is p a prime number?
True
Let c(b) be the first derivative of -3 + 1/4*b**4 + 4*b + 13/2*b**2 + 11/3*b**3. Is c(-9) a prime number?
False
Suppose 2*v - 4*p = -p + 183, 3*p + 9 = 0. Is v prime?
False
Let z(k) = 2*k - 6. Let x be z(5). Suppose -7 = -x*r + 9. Suppose -r*t - t = -1535. Is t a composite number?
False
Let n(i) be the first derivative of -i**3/3 + 4*i**2 + 3*i - 2. Let v be n(6). Let m = v - -8. Is m composite?
False
Suppose 0*j - 4*j = -z - 132, 5*j + 591 = -4*z. Let x = 229 + z. Is x prime?
False
Let u be 2/4*954 + 4. Suppose -5*j = -114 - u. Is j a composite number?
True
Let c = 0 + 6. Let j(x) = 2. Let a(h) = -h + 1. Let b(i) = -3*a(i) + 2*j(i). Is b(c) a composite number?
False
Let g(k) = k + 10. Let r be g(-10). Suppose 3*t + 4*x - 10 = r, -t + x = 3*x - 4. Is t/6 - 690/(-9) prime?
False
Let l be (0 + 3)*(-4)/3. Let t(y) = -y**3 - 4*y**2 - y - 1. Is t(l) a composite number?
False
Let m(l) be the first derivative of l**3 + 2*l**2 + 16*l + 2. Let u be m(11). Let j = u - 212. Is j composite?
False
Let z(g) = -23*g**3 + 2*g**2 - 3*g. Let u be z(2). Let t be (3 - 14/5) + 2558/10. Let b = t + u. Is b a composite number?
True
Suppose -3*i + 8 = -i. Suppose -i*p + 9 + 203 = 0. Is p a composite number?
False
Suppose -4*c + 8 + 12 = 0. Suppose -4 = -c*l - q + 2, 3*q = 5*l - 22. Is 168/5 - l/(-5) prime?
False
Suppose -5*t + 4*t + 4 = 0. Let i = 2 + 0. Suppose 0 = 2*q + q - t*w - 55, i*q = w + 30. Is q composite?
False
Suppose 27*l - 2676 = 23*l. Is l a prime number?
False
Suppose 0 = 4*z + 4*r - 1016, -3*z - 5*r - 163 + 919 = 0. Is z a prime number?
True
Let j(v) = -2*v**3 - 10 + v**2 + 5*v + v**3 - 7*v**2. Let a be j(-7). Suppose -5*l = a*x - 94, -x + 3*l + 36 = x. Is x prime?
False
Let l(o) = o - 5. Let a be l(-5). Let k = a - -16. Is 127/3*(k + -3) a prime number?
True
Suppose u + 78 = 497. Is u a prime number?
True
Suppose -1328 = 4*m + 3*p + 389, 2*p = m + 432. Let k = 737 + m. Is k a composite number?
False
Let m(g) = g**3 - 11*g**2 + 4*g. Let l be m(10). Let z = l + 139. Is z a composite number?
False
Let f(c) = -c + 217. Is f(0) prime?
False
Let w(z) = z + 12 + 7*z + 3. Is w(14) composite?
False
Let x(o) = 2*o - 16. Let v be x(9). Suppose 5*m + 4*d = v*d + 669, m - d = 131. Is m a composite number?
True
Suppose -2*c = 3*p - 0*c - 13, 5*c + 5 = 5*p. Suppose p*v + 0*v - 114 = 0. Suppose -3 = 5*h - v. Is h prime?
True
Let z = 8 + -5. Suppose -z*x - 210 - 327 = 0. Let q = -30 - x. Is q prime?
True
Let q(t) = -18*t - 1. Let w = -3 + 8. Suppose -y = 3*d, 0 = -2*y + y - w*d + 2. Is q(y) a prime number?
True
Let k(s) be the third derivative of s**5/15 - s**4/6 + 7*s**3/6 - 7*s**2. Is k(-5) a composite number?
False
Let i = -12 - -3. Let s(o) = o**2 + o + 5. Is s(i) a composite number?
True
Suppose 20*d + 2631 = 23*d. Is d prime?
True
Suppose -5*i - 24 = -t, -22 = 2*t + 2*i + 2*i. Let f = -1 + t. Is 3/((-3)/f) + 9 a prime number?
True
Let b = 102 + -53. Is b prime?
False
Let g(a) = 5*a**2 - a + 4. Let u(d) = 5*d**2 - d + 3. Let t(z) = -6*g(z) + 7*u(z). Is t(3) a prime number?
False
Is (254/3)/(26/39) composite?
False
Suppose -5*f = 2*b - 29, 3*f - 45 + 6 = -2*b. Suppose 42 = -14*w - 14. Let a = b - w. Is a a prime number?
True
Let c(k) = 4*k**2 - 4*k + 3. Is c(5) prime?
True
Suppose -i + 7 - 243 = 2*r, i - 3*r + 211 = 0. Is i*(9/6 + -2) a prime number?
True
Suppose 11 = 2*k + 3. Suppose 4*j = k*u + 2*j - 1044, -u = 3*j - 247. Is u composite?
True
Let q be 40/12 + (-4)/(-6). Suppose -5*s = -g + 5*g + 4, -5*g - 4*s = -q. Suppose 8*v = g*v + 356. Is v a prime number?
True
Is 13405/28 - (0 - (-2)/(-8)) composite?
False
Let g(u) = -u**2 + 7*u - 7. Let k be g(5). Suppose k*n - f = -3*f - 4, 3*n + f = 1. Suppose n*h - 78 = -10. Is h prime?
False
Suppose 0 = 2*r + 3*r - 3770. Suppose 3*k - r = 563. Is k a prime number?
True
Let a be (-1)/(1 - (-18)/(-15)). Suppose -95 = -a*p - 2*b + b, b - 76 = -4*p. Is p a prime number?
True
Is (-1071)/(-12) - (-4)/(-16) a prime number?
True
Suppose -2 = 5*t - 7. Let p(g) = 68*g**2 + 1. Let i be p(1). Is t/2 + i/2 a composite number?
True
Suppose -4*n + 4*i + 996 = 0, -245 - 12 = -n - 3*i. Is n prime?
True
Let m = -4768 + 7077. Is m a composite number?
False
Let b(q) = q**3 - q**2 + 8*q - 7. Is b(8) prime?
False
Is 700 + 1 + 2 + 0 prime?
False
Suppose -4*q + 5*f + 34 = -10, -2*q + 20 = -2*f. Suppose 2*l = q*l - 212. Is l a composite number?
False
Let z be -1 - (1 + (-1 - 1)). Let q = 0 - -4. Suppose 40 = 4*t - q*p, z = -0*t + 5*t + 3*p - 26. Is t composite?
False
Suppose 0 = -0*j + j + 4*i - 467, 5*j - 3*i = 2243. Is j a prime number?
False
Suppose 2*h + 1152 = 222. Is (h/12)/((-3)/12) composite?
True
Let t be ((-20)/16)/(2/(-8)). Suppose -t*d + 2 = -6*d. Let c(n) = -31*n. Is c(d) composite?
True
Let n(o) = -o**2 + 6*o - 2. Suppose -4 - 5 = -3*m. Is n(m) a prime number?
True
Suppose 0 = 2*p + 80 - 1654. Is p a composite number?
False
Let j be 1028/9 + (-2)/9. Suppose -j = -k - k. Is k composite?
True
Let l be 2/((-28)/12 - -3). Suppose -4*k - 3*m + 57 = 0, -k - 3*k + l*m = -63. Is k a composite number?
True
Let x = 2 + 1. Let w be (-1)/(3*x/27). Is w/(-6)*38 + 0 a prime number?
True
Let i = -1 - 2. Let u(f) be the third derivative of -f**6/120 - f**5/30 + f**4/24 - f**3/3 - 4*f**2. Is u(i) a composite number?
True
Suppose -392 = -3*a + 3*y - 8*y, 4*a - 541 = -3*y. Is a composite?
False
Suppose 2*a - 2*w - 2*w = 418, -4*a + w = -836. Is a a prime number?
False
Let p = -1 + 0. Let b be -1 + (0 - -2) + p. Suppose b = q - 2*q + 11. Is q a prime number?
True
Is (5 - (3 + 0)) + 1359 prime?
True
Let f(j) = j**3 + 0 + 0 + 0 + 7 + j**2. Let x be 1/1 - 0 - 1. Is f(x) a composite number?
False
Let y = 2746 - 1620. Is y a composite number?
True
Let a(r) = 2*r**2 + 11*r - 16. Is a(11) composite?
False
Let x(q) = 16*q**2 + q + 2. Let z be (-23)/(-5) + 6/(-10). Let k(p) = -p**3 + 4*p**2 + 3. Let a be k(z). Is x(a) composite?
False
Let u be 86/(-18) - 2/9. Let r = u - -8. Let b = r - -16. Is b a composite number?
False
Let i(d) = 6*d + 5*d + 7*d - 3 - d. Is i(4) prime?
False
Let w = 1902 - 1271. Is w prime?
True
Suppose -12*o - 228 = -8*o. Let v = o - -142. Is v a prime number?
False
Suppose -8845 = -5*n - 4*d, 3*d - 15 + 0 = 0. Is n a prime number?
False
Let c(y) be the first derivative of 23*y**3 - y**2/2 + y + 8. Is c(1) a prime number?
False
Is (-3)/(0 - -15) - (-3816)/5 composite?
True
Let a(l) = -l**3 - 6*l**2 + 7. Let p be a(-6). Suppose -7*w + 253 = -111. Suppose 3*r + 3*h = 102, h + w = 2*r - p. Is r a composite number?
False
Suppose -3*i = -4 + 1, -5*f = 5*i. Is (-3)/f*(-174)/(-9) a prime number?
False
Let g = -4278 - -12779. Is g a prime number?
True
Let o = 195 + 134. Is o a composite number?
True
Let w = -77 + 163. Is w a prime number?
False
Let y be (-74 - 0) + (-12)/(-6). Let f = -142 - -15. Let x = y - f. Is x prime?
False
Is (7 - 6)/(3/7377*1) composite?
False
Suppose 3703 = 5*u + 648. Is u a composite number?
True
Is ((1174/(-1))/(-2))/1 a prime number?
True
Suppose b - 2*y - 1065 = 0, -4*b - 3*y + 4269 = -8*y. Suppose b = 5*c - 224. Is c composite?
True
Is (-17)/(-2)*(-28)/(-2) composite?
True
Let z = -46 - -309. Is z a prime number?
True
Let x(s) = -29*s + 11*s - 5 + 2 - 4. Is x(-7) composite?
True
Let h(q) = 420*q**3 - 2*q**2 + 3*q - 2. Is h(1) a prime number?
True
Is (-1475)/(-2) + (-8)/16 a composite number?
True
Let a be (0 - -1)/(4/52). Let f = -7 + a. Is 68 - (f + 2 + -5) a prime number?
False
Let t = 3 - 6. Let b be (1 - t)*(-3)/(-6). Suppose -4*m + 22 = b*a - 0*m, 2*a + 3*m = 20. Is a a composite number?
False
Let c(t) = -8*t**3 + t**2 + 2. Let w be -2 - 0/(2 + -4). Let x be c(w). Suppose 0*q - 2*q = r - x, 4*r - 169 = -5*q. Is q a composite number?
False
Let z = 23 - 11. Suppose 4*i - z = -0*i. Suppose -5*r - 3*h + 220 = -0*r, 0 = -i*r + 3*h + 156. Is r composite?
False
Let q(k) = 5*k + 18. Let r be q(8). Let l = r - 37. Is l prime?
False
Let l(p) = 10*p**2 - p + 2. Let v be ((-2)/(-6))/((-1)/(-