c) be the first derivative of c**3/3 + 5*c**2/2 + 10*c - 1. Is f(g) composite?
True
Suppose -2*d + 1955 - 669 = 0. Suppose -5*m + d = -4*o, -m - 3*m + o + 510 = 0. Is m prime?
True
Let d = 14 - -1. Let j = d + 98. Is j a prime number?
True
Let o be (1 + -3)/(2/3). Is ((-2)/(-6))/(o/(-171)) a composite number?
False
Let k = 240 + 104. Let a = k + 143. Is a a composite number?
False
Is (27 + -13)*2/((-8)/(-106)) composite?
True
Let j = -21 + 15. Is 62/j*(-5 + 2) a composite number?
False
Let q(g) be the first derivative of -g**4/4 - g**3 - 5*g**2/2 + 4*g - 3. Is q(-6) prime?
False
Suppose -4*d + z - 1 + 5 = 0, -3*z - 12 = 3*d. Suppose 3*h - 28 - 221 = d. Is h a prime number?
True
Suppose v - 5*x + 166 = 0, 3*v + 225 = -3*x - 237. Is (-24)/v + (-8498)/(-26) a composite number?
True
Let x(m) = m**3 - 4*m**2 + m - 5. Let r be x(4). Is ((-633)/(-12))/(r/(-4)) a prime number?
True
Suppose 5*g = 4*p - 2*p + 20, -3*p = 0. Let v(a) = 2*a**3 - 5*a**2 + 5. Is v(g) composite?
False
Let o(k) = -k**2 - 7*k + 10. Let c be o(-8). Let i be ((-4)/2)/(-2)*c. Suppose -i*b - 82 = -684. Is b prime?
False
Suppose 4*j - 12 = 0, -9 = 3*t - 4*j + j. Suppose 0 = -t*f - 5*f + 2515. Is f a prime number?
True
Let c be (-6412)/(-10) - (-11)/(-55). Suppose 2*j + f = c, 5*j - 3*f - 661 = 3*j. Is j a composite number?
True
Suppose -k = k - 2, 2*w - 108 = -2*k. Is w a prime number?
True
Let d(z) = -z**3 - 6*z**2 + 3*z - 7. Let b be (42/24)/(2/(-8)). Is d(b) composite?
True
Let g be (2 - 0)/(6/3). Let t be (g*8)/(6 - 4). Suppose -47 - 5 = -t*z. Is z composite?
False
Let h(d) = -3*d**3 + 28*d**2 + 3*d + 39. Let q(j) = -j**3 + 14*j**2 + 2*j + 20. Let x(a) = 2*h(a) - 5*q(a). Is x(-15) prime?
True
Let t = 6 - 3. Suppose 0 = -w + t*w - 382. Is w a prime number?
True
Is (-1080 + -4)/(-9 - -7) a composite number?
True
Suppose 5*d + 559 = -5*w + 1474, -4*d - 584 = -3*w. Suppose -6*o = -2*o - w. Is o prime?
True
Suppose -3*x + 4 = -5. Suppose -x*i - 75 = -8*i. Is i a composite number?
True
Suppose 5*b + 1162 = 7*b. Is b a prime number?
False
Suppose 2*x + 352 = 3*x. Suppose -4*u + x = -464. Suppose g + 2*g = 2*h + 201, 3*g - 3*h - u = 0. Is g composite?
True
Let k(i) = -79*i - 5. Suppose -4*b + 8 = -2*b. Let u be k(b). Is 4/(-10) - u/15 a prime number?
False
Suppose 0 = 3*u + u + 5*v - 1642, -3*u - 5*v + 1229 = 0. Is u composite?
True
Let w be -1 + 0 - (-3 - -1). Let b(d) = 253*d**2 - d + 1. Is b(w) a prime number?
False
Let a = 3 - 1. Suppose 0 = -3*r - 2*r. Suppose 0*k + 232 = 4*p - 4*k, 4*p + a*k - 202 = r. Is p a prime number?
True
Let c(z) = -z - 21. Let b(i) = -7. Let o(j) = -7*b(j) + 2*c(j). Suppose 0 = 3*t + 10 + 8. Is o(t) a composite number?
False
Let z = 12 + -111. Suppose 3*k = 3*h - 9, 0 = -k - 2*h - h - 15. Is ((-20)/k)/((-6)/z) a composite number?
True
Let v(u) = -6*u + 1. Let q(j) = -j. Let b(t) = 20*q(t) + 5*v(t). Is b(-7) composite?
True
Is 2 - (2247/(-27) - 14/(-63)) composite?
True
Let l = -1549 + 2271. Suppose 5*a + 207 = l. Is a composite?
False
Let f = 10 - 5. Suppose -4*h - 140 = -4*y, h - 140 = f*h - 3*y. Let i = 56 - h. Is i composite?
True
Let l be (0/(0 - 2))/(-3). Suppose l*k + 4*k = -w + 21, 123 = 3*w - 3*k. Is w composite?
False
Let z(j) = 4*j**2 - 2*j**2 - 3*j**2 - 1. Let b(g) = -5*g**2 + 15*g - 1. Let o(u) = -b(u) + 6*z(u). Is o(-6) a prime number?
False
Suppose 5*s - 690 = 2*k - 2491, 0 = -k - 5*s + 908. Suppose -4*t + k = -481. Is t a prime number?
False
Let v(h) = 5*h. Let y(d) = -18*d + 1 - 4*d + 6*d. Let i(g) = 7*v(g) + 2*y(g). Is i(4) a composite number?
True
Let r be (-1 + (-22)/(-6))*-6. Let c be ((-29)/2)/(4/(-8)). Let u = c + r. Is u composite?
False
Suppose 0 = -9*s + 8*s + 203. Is s prime?
False
Suppose 5*w + 3 = 28. Suppose 4*c + 156 = -y + w*y, 4*c - 188 = -4*y. Is y composite?
False
Let i(v) = -3*v. Let g be i(-2). Is (-635)/(-3) - g/9 composite?
False
Let i be (24/(-20))/(6/(-15)). Suppose -i*s + 40 = s. Is s composite?
True
Let w be ((-8)/(-6))/(4/1188). Suppose -32 + w = 4*g. Is g prime?
False
Let w(o) = 5*o**3 + 7*o**2 + 10*o + 10. Let a(l) = 6*l**3 + 7*l**2 + 11*l + 11. Let q be ((-12)/(-8))/((-6)/16). Let d(g) = q*a(g) + 5*w(g). Is d(-5) prime?
False
Suppose 2*x + 5*b - 1624 = -362, 5*b = -20. Is x a prime number?
True
Let f be 6/(-4)*8/(-6). Suppose -245 = -f*s - 3*s. Is s prime?
False
Let m = -112 + 246. Is m a prime number?
False
Let c be 1 + -1 + (3 - 2). Is (2 - c) + (30 - 0) composite?
False
Let v(c) = -182*c**3 - c. Let s be v(-1). Suppose -4*j = -s - 157. Suppose -260 = -5*a - j. Is a prime?
False
Suppose 0 = 3*g + 2*g. Let z be (g - 3)*(-108 - 3). Suppose z + 712 = 5*l. Is l a prime number?
False
Suppose -c - c - 6 = 0. Let q be (-1 - c)*1 - -11. Suppose 162 = 5*d - q. Is d prime?
False
Suppose 5*p = l - 116, 5*p + l + 100 = p. Let j = p - -11. Is j*(0/2 + -1) prime?
True
Suppose 9*t - 7022 - 1771 = 0. Is t a prime number?
True
Suppose 83*z + 365 = 84*z. Is z prime?
False
Suppose 85 = -5*n + 10. Is n/(-5)*7/1 a composite number?
True
Let w(x) = x**3 + 7*x**2 - x - 9. Let u be w(-7). Let i = u + 4. Suppose -5*d - c + i*c = -724, 0 = -2*d - 4*c + 294. Is d a composite number?
True
Let m(k) be the first derivative of k**4/4 - 4*k**3/3 - 4*k**2 + 6*k + 6. Is m(7) a prime number?
True
Let r(m) = -21*m**3 - 2*m**2 + m - 1. Let o be r(-2). Suppose -o = -2*j + j. Is j prime?
True
Suppose 4*g - 5*h = -20, -3*g + 5*h - 12 = 2*h. Suppose -4*p = -r + 4*r - 377, -3*r + 5*p + 386 = g. Is r a prime number?
True
Let d be (-2)/3*(-5 + 2). Let t be -10*(-2)/d*13. Suppose 4*g = -g + t. Is g a prime number?
False
Let i be (0/(2 - 1))/1. Is 3*(i + 19/3) a composite number?
False
Let l = 12 + -7. Suppose -l*b + 2*n = -641, -2*b = -b - 4*n - 139. Is b a prime number?
True
Let s(z) = -7*z**2 + 5*z + 19. Let m(r) = -3*r**2 + 3*r + 9. Let v(a) = -5*m(a) + 2*s(a). Let q = -1 + -4. Is v(q) composite?
False
Let a = 4 + -7. Let r(j) = j**3 + 4*j**2 + 4*j. Let m be r(a). Let c = m + 10. Is c composite?
False
Suppose -6034 = -4*j + 10. Is j a prime number?
True
Let f(v) = 27*v**2 - 8*v - 3. Is f(6) a composite number?
True
Let l = 97 - -90. Is l prime?
False
Let n be 1/(24/(-9) + 3). Suppose 0 = 4*z + n*h - 228 - 201, 545 = 5*z + 2*h. Is z a composite number?
True
Suppose 2*i - 10 = -0*i. Let g(b) = 65*b + 2. Is g(i) prime?
False
Let y(j) = -j**2 + j + 1. Let x(q) = -3*q**2 - 3*q - 10. Let z(w) = x(w) - 5*y(w). Is z(11) a prime number?
True
Let k(b) = -b + 10. Let w be k(9). Is -1 + 2 - w - -33 a prime number?
False
Suppose 5*r - 2*p = 485, -3*r = r + 5*p - 388. Is r prime?
True
Suppose 0 = -4*v + 7 + 9. Suppose 5*n + 4*t = -0*t + 53, -5*n + 77 = -v*t. Is n composite?
False
Let p(l) = -11*l + 3. Let r(y) = 4*y + 1. Let k be r(-1). Let i be p(k). Let o = i + -26. Is o prime?
False
Let s = 4437 + -2688. Let g = 2470 - s. Is g prime?
False
Suppose 0 = w - 5*b - 4, 0 = 4*w - 0*b + b + 89. Let a be (-6)/w - (-298)/(-14). Let q = -10 - a. Is q a composite number?
False
Let x(w) = -w**3 - 8*w**2 + 23*w + 45. Is x(-14) composite?
True
Let x = 12 - 7. Suppose s - 187 = -x*w - 0*w, -2*w = 2*s - 78. Is w prime?
True
Let v = 80 - 45. Is v prime?
False
Suppose 5*b - 3*b - 254 = 0. Is b a composite number?
False
Suppose -9852 = 10*w - 14*w. Is w a prime number?
False
Suppose 0 = -k - k + 10. Suppose -l = k*g, l = -4*l. Is 1 - 64/(g + -1) prime?
False
Let l be ((-2)/4)/(2/12792). Is (-3)/15 - l/15 a composite number?
True
Suppose -3*z - 2 = -h, 5*h + 5*z - 20 = 2*h. Suppose -h*d + 29 - 9 = 0. Suppose d*f + 7*y = 3*y + 92, 2*y - 109 = -5*f. Is f composite?
True
Let o(q) = -2 + 13*q - 1 + 7*q. Is o(4) a composite number?
True
Suppose 3*h = -0 - 3. Let d be (4 + -4)*h*1. Suppose 2*j - 7*j + 143 = 4*r, d = 4*r - j - 149. Is r composite?
False
Suppose -r - 4*r = 0. Suppose -5*i + 2 + 23 = r. Suppose -i*g - 3*u = -0*g - 77, -4*g - 3*u + 64 = 0. Is g prime?
True
Let o be (-10 - -12) + (-8 - 0). Is 411 - -1 - (o - -5) prime?
False
Let j(s) = -s**3 - 2*s**2 + 2*s - 2. Suppose 0 = 4*i + 5 + 7. Let p be j(i). Is 232/10 - p/5 a prime number?
True
Let n = -7 + 11. Let x be ((-2)/n)/((-1)/(-14)). Is (-6 - 5)*1*x a prime number?
False
Is (4 - 3)*3 - -158 a composite number?
True
Let d = -19 - -9. Let o be (-4)/(-3 + d/(-4)). Is 6/o + 770/8 prime?
True
Let a be -1*18*(-3 + 2). Let y 