 a composite number?
True
Let i = 411 + 224. Is i a prime number?
False
Let h(u) = 38*u + 0 + 0 + 0. Let g be h(4). Is ((-14)/4)/((-4)/g) a prime number?
False
Suppose 135 = 6*l - 399. Suppose 5*c - l = 16. Is c a prime number?
False
Let x(u) = 8*u + 7. Let d(j) be the second derivative of j**3/6 + 2*j. Let b(g) = 4*d(g) - x(g). Is b(-5) a composite number?
False
Suppose 0*y = -y - 22. Let b(h) = -9*h + 17. Let n be b(8). Let q = y - n. Is q a composite number?
True
Let j = -678 - -1906. Suppose -122 = 2*n - j. Is n composite?
True
Let z = -2 + 7. Is z/(16/(-6) + 3) composite?
True
Suppose -5*i + 20 = -5*r, -4*i + i + 12 = -r. Suppose 2*m = m + i. Suppose 55 + 50 = 5*a + m*h, 100 = 5*a + 5*h. Is a a composite number?
True
Let x = -856 - -1575. Is x a prime number?
True
Let z be 5*(588/15 + -3). Suppose j - 238 = z. Is j a prime number?
True
Suppose 3*g = -3*v + 1929, -5*g + 4192 = v + 985. Is g a composite number?
False
Let p = -4 - -8. Suppose -5*c = -p*k - 130, 5*k + 57 = 3*c - 34. Is c composite?
True
Is 2 + (-4 - 2) - -222 composite?
True
Let i = 411 - 248. Suppose -3*p + 92 = -i. Is p a prime number?
False
Let f(u) = u**3 + 6*u**2 - 2*u + 5. Let l be f(-6). Suppose -2*k = -69 + l. Is k a prime number?
False
Suppose 0 = -2*d - 6, 5 = -k + 2*d + 13. Let i = -3 + k. Is (4/4)/(i/(-79)) a prime number?
True
Let r be 29/3 - (-10)/(-15). Suppose -6 = 4*g - 78. Is 4/g + 421/r a composite number?
False
Let d(k) = 13*k**2 - 2*k + 8. Let o be (-1)/(3 - 88/28). Is d(o) composite?
False
Suppose 6*o - 448 - 950 = 0. Suppose -44 + o = 2*f + s, -f = -4*s - 117. Is f prime?
True
Let l(v) be the first derivative of -v**3/3 + 9*v**2/2 - 10*v + 4. Let n be l(8). Is (-235)/n - (-8)/16 prime?
False
Let o(g) = -g**3 - g. Let u be o(-1). Suppose s - i = u*i + 15, 3*s - 4*i - 65 = 0. Is (s - -2 - 1) + -2 a composite number?
True
Let y(c) = 17*c - 21. Let h(f) = -9*f + 10. Let o(b) = 9*h(b) + 4*y(b). Let v be o(-6). Suppose 841 = 5*w - v. Is w prime?
False
Let q(g) = g + 35. Let a = 7 - 7. Is q(a) a prime number?
False
Let d(c) = c**3 - c + 1. Let m be d(0). Let g be (-27)/2*4/m. Let b = 107 + g. Is b composite?
False
Let d(g) be the third derivative of g**5/60 - g**3/6 - 3*g**2. Is d(-4) composite?
True
Let k(n) = -n**3 + n + 1. Let m(a) = 8*a**3 + 5*a + 6. Suppose 0 = 3*o - 2*d - 1, -4*o + 4 = -5*d - 2. Let l(h) = o*m(h) + 3*k(h). Is l(-2) a composite number?
False
Let c(r) = r**3 + 6*r**2 + 6*r. Let q be c(-5). Let n(l) = 7*l**2 - 1. Let d be n(2). Let i = d + q. Is i a composite number?
True
Suppose -4*d + 188 = 3*w, 5*d + 16 = d. Suppose c + k = 38, 5*k + 248 = 5*c + w. Is c a prime number?
True
Let j(c) = -3*c**3 - 6*c**2 - 2*c - 2. Is j(-5) prime?
True
Let r(y) = y**3 - 5*y**2 + 7*y + 4. Suppose 2*l + l - 18 = 0. Is r(l) composite?
True
Let u = -8 - -2. Let o = u - -8. Is o a composite number?
False
Let x be 6/(-9) + 22/6. Is (2 - x/(-4))*4 a composite number?
False
Suppose -5*g = -3*n + 73, n - 5*g - 8 - 3 = 0. Is n prime?
True
Let z(y) be the third derivative of -125*y**4/24 + y**3/3 + 5*y**2. Is z(-1) composite?
False
Suppose 5*s - 3*s = 2*r - 70, 2*r + 4*s - 88 = 0. Let u be 6 + (-1)/((-2)/(-6)). Suppose -i + r = -3*p, -4*i - 7*p + 232 = -u*p. Is i composite?
False
Suppose 2*x - 2*u - 554 = 2*u, 0 = -5*x - 2*u + 1373. Suppose 2*i + x = 7*i. Suppose -3*w + 2*v + 2*v + 65 = 0, -5*v - i = -2*w. Is w prime?
False
Suppose -5*x - 5*l = -1040, -428 = -3*x + x + 2*l. Is x composite?
False
Let y(o) = -27*o**3 - 5*o**2 + o + 5. Is y(-4) composite?
True
Suppose 4 = 2*v + 2*v. Let p(g) = 36*g**2. Let n be p(v). Suppose -2*u + n + 36 = -2*f, f = 5*u - 168. Is u prime?
False
Let z = -12 + 0. Suppose 2*p = 3*c + 47 - 142, 190 = 5*c + 3*p. Let x = c + z. Is x prime?
True
Suppose 0 = u - 0*u + 3. Let f be u/(-6)*(5 + 1). Suppose -f*g + 284 = 3*a - 58, 5*a = 3*g - 350. Is g a prime number?
False
Suppose -l + 2046 = 5*l. Is l composite?
True
Suppose -15 - 80 = -5*r. Is r a composite number?
False
Let n = -237 + 568. Is n prime?
True
Suppose -6 = 3*l, -y + 4*l + 9 = -0*y. Let b(s) = s - 11. Let v be b(8). Is (y + v - -9)*3 composite?
True
Suppose -g - 3*m + 19 = -0*g, 3*m - 31 = -4*g. Is (-96)/(-1) + g/(-2) prime?
False
Let y(q) = q + 8. Let z be y(-6). Suppose b - 2739 = -4*t - 1089, z*t - 822 = -2*b. Is t composite?
True
Suppose 6*i - 3*i - 267 = 0. Is i composite?
False
Let u be 2/(-3)*(-5 + 2). Suppose 0 = -5*y + u*y. Let g = y - -39. Is g composite?
True
Suppose -3*n - 4*g = -984, -3*g = -n - n + 656. Suppose -2*t - 2*t + c = -263, -c - n = -5*t. Is t a composite number?
True
Is 3/(-2) + 3487/22 a prime number?
True
Suppose -s - 4*s = -3*w - 158, -5*w - 3*s - 218 = 0. Let i = -109 - w. Let x = -32 - i. Is x prime?
True
Let z(k) = k + 21. Let y be z(-17). Let t(v) be the second derivative of v**5/20 - v**4/6 + v**2 + v. Is t(y) composite?
True
Suppose 24 + 4 = 4*v. Let w(b) = -b**2 + 7*b - 5. Let j be w(5). Is v/(1 - 4/j) prime?
False
Suppose -4*o = 5*a - 336, 3*o - 3*a + 7*a = 251. Is o a composite number?
False
Let n be 2/(-16)*-4*-12. Is 2/n + (-238)/(-3) prime?
True
Let z(t) = t**3 + 4*t**2 + 5*t + 4. Let i be z(-3). Let p(f) = -4*f**3 - f**2 - f + 1. Is p(i) prime?
True
Let h(w) = -35*w + 13. Let s(g) = g**2 + 7*g. Let l be s(-6). Is h(l) prime?
True
Suppose -5*s - 1987 + 182 = 0. Let u = s - -618. Is u prime?
True
Is 5*(1 - 312/(-20)) composite?
False
Let n = 411 - -78. Is n a composite number?
True
Let j(v) = v**3 - 12*v**2 + v - 12. Let u be j(12). Suppose u = -4*q + 70 + 150. Is q a prime number?
False
Let f(c) = -7*c. Let i be -1*-3*(1 + -2). Let y = i - -1. Is f(y) a prime number?
False
Let h(p) = 17*p. Let o(f) = -18*f - 1. Let w(t) = -6*h(t) - 5*o(t). Suppose -8*j - 2 - 30 = 0. Is w(j) a prime number?
True
Suppose 95*b - 91*b - 580 = 0. Is b composite?
True
Suppose -37 + 5 = -4*v. Suppose -122 = -5*j - 2*x + v, -38 = -2*j + 2*x. Suppose 0 = 2*b - j - 38. Is b a prime number?
True
Let f = -647 + 925. Is f a prime number?
False
Let r(o) = 6*o + 2. Let f(q) = -q + 1. Let z(m) = -4*f(m) - r(m). Let b be z(-4). Suppose 0 = b*g - 0*g - 50. Is g prime?
False
Suppose 5*r = -4*u + 831, u + 235 = 2*r - 87. Is r a prime number?
True
Suppose 0 = -0*y - 3*y. Let r be ((-20)/(-3) + y)*3. Suppose 0*i = -2*i + r. Is i a composite number?
True
Let g = 14072 - 9359. Is g a prime number?
False
Let d be (-3)/(-9)*(-2 - -77). Suppose a - d = 198. Is a composite?
False
Let x(n) = -32*n. Let c be x(-2). Suppose -z + 48 = 5*d, -5*d + c = 2*z - 37. Is z a composite number?
False
Suppose -2*z = 3*w, -z + 12 = -5*z. Suppose w*y = 5*y - 2*o - 159, 3*y - 3*o = 159. Is y prime?
True
Let g(t) = 74*t - 41. Let v(p) = 19*p - 8. Let l(f) = -f. Let d(o) = -4*l(o) - v(o). Let h(i) = -11*d(i) - 2*g(i). Is h(5) prime?
True
Let y be 4/(-6)*-3 - -3. Suppose 5*p - 5*q = -q + 1067, -y*q - 648 = -3*p. Is p a composite number?
False
Is (-151)/(5 + -6) + 4 a prime number?
False
Let n = 3 - 3. Suppose n = -4*c + c + 156. Is -2 - (2 - c)/2 a prime number?
True
Suppose 2*h = -2*h - 4*u - 2680, -3*h + 5*u - 1978 = 0. Let p = -335 - h. Is p a prime number?
True
Let q(t) = -5*t**3 + 5*t**2 - 6*t - 13. Is q(-6) prime?
True
Let w = 3 + 1. Let l be 2/9 - w/18. Let b = 19 - l. Is b a composite number?
False
Let v = 4 - -1. Let k be 2/v + (-94)/10. Is (-6)/k + 271/3 a composite number?
True
Let l(k) = k**3 + 11*k**2 + 11*k + 11. Let p be ((-16)/6 + 3)*-27. Is l(p) a composite number?
True
Let q = 38 - 21. Let h = -26 - -46. Suppose g - q = h. Is g prime?
True
Let n(a) = a**3 + 26*a**2 + 25*a + 16. Is n(-22) a prime number?
False
Is 5/10*422/1*1 prime?
True
Let a = 307 - 176. Let k = -54 + a. Is k prime?
False
Let k(y) = 101*y - 10. Is k(3) prime?
True
Let z(b) = 4*b - 1 + 4 - 23*b**3 - b**3 + 3*b**2. Let p be z(-2). Let n = p + -130. Is n a prime number?
False
Suppose -13*o - 813 = -16*o. Is o a composite number?
False
Let h(s) = s**3 + 12*s**2 + 10*s - 9. Let a be h(-11). Suppose 0 = 4*b + 4*r - 224, -110 = -2*b + a*r - 5*r. Is b a prime number?
False
Let a(z) = -12*z**3 - 6*z**2 - 10*z - 9. Is a(-7) a composite number?
True
Suppose -2*h = -k - k - 34, -4*k + 2*h = 60. Is (k/(-4))/(8/32) a prime number?
True
Let l(x) = 2*x**3 + 4*x**2 + 4*x + 7. Is l(4) prime?
False
Suppose 0 = 2*x - t + 5*t + 16, 2*t + 8