a. Is j(f) a prime number?
True
Let v(y) = y - 3*y - 1 - 3*y**3 + y + 0*y. Let q be v(-1). Let n = q + 88. Is n composite?
True
Let y(j) = -8*j**3 + j**2 + 2*j + 1. Let d be y(-1). Suppose d = b - 6. Is b a prime number?
False
Let b(y) = 8*y - 9. Let c be b(7). Suppose s - 5*f = 75, -s = 2*f - 0*f - c. Is s a prime number?
False
Let n = -70 - -135. Is n a composite number?
True
Let l(u) = -u**3 - 2*u**2 + 3*u + 4. Let i be l(-3). Suppose 3 + 121 = i*v. Suppose 3*o + 31 = 4*n + 7, 0 = 5*n - 4*o - v. Is n prime?
True
Let y be (-3)/2 + 14/4. Suppose 5*f = 2*c + c + 958, 0 = y*f - 3*c - 385. Is f a prime number?
True
Suppose 0*r + 2*v - 22 = -4*r, 4*r - 15 = 5*v. Suppose 5*m + 152 = x, 0 = r*x - 3*m + 2*m - 880. Is x composite?
True
Let p(i) = -2*i**2 + i + 1. Let m be p(-1). Let a be -9 + (0/m)/2. Is 2/a + (-2146)/(-18) a composite number?
True
Suppose u = 2*u - 15. Let g = -4 + u. Is g a prime number?
True
Let w(h) = 154*h**2 - 8*h - 5. Is w(-3) composite?
True
Suppose -3*r - 5*c = 2*r - 1050, -r + 219 = 4*c. Suppose -48 = -3*d + r. Is d a composite number?
True
Is (-54)/(-4)*22 + -4 a composite number?
False
Suppose -406 = -5*l + 359. Suppose -3*g + l = -219. Let q = g + 37. Is q composite?
True
Let x(y) be the first derivative of -3 - 161/2*y**2 + 0*y. Is x(-1) a composite number?
True
Suppose -5*z + 77 - 22 = 0. Suppose -3*y + z = -2*g, -4*y + g = -4 - 9. Suppose y*u - 7*u = 2*s - 18, u = -5*s + 72. Is s prime?
False
Suppose 2*q = q + 3*f + 6250, 3*f + 18744 = 3*q. Is q a prime number?
True
Is 15/(-10)*(-376)/6 a composite number?
True
Let q(f) = 9*f**3 + 2*f**2 + f. Let y be q(-1). Let r = y - -5. Is (-101)/r + 8/(-12) a composite number?
True
Is ((10/(-3))/5)/(4/(-17634)) a prime number?
True
Let o be 6/(-21) - 1032/14. Let g = 71 - o. Is g composite?
True
Suppose 5142 = -2*z + 794. Is 4/(-10) + z/(-10) a composite number?
True
Let b(d) = 4*d**3 - 5*d**2 - 4*d + 1. Let l be b(5). Suppose -2*q = 2*j - 244, -j - 2*j = 5*q - l. Is j prime?
True
Suppose -2*o - 2*o + 16 = 0. Suppose 4*y + 17 = -b, -o*b - 2*y - y = 3. Is 0/(-1) + b + 158 composite?
True
Let i(j) = -28*j + 1. Let p be i(1). Let h be (-6)/(-10) - 96/10. Is (-1595)/h + 6/p a prime number?
False
Suppose -4*p = -8, -m + 174 = m + 2*p. Is m a composite number?
True
Suppose -2*z - 533 = -3*z + 4*u, -4 = -2*u. Is z composite?
False
Let u(t) = 2*t**3 - 10*t**2 + 5*t + 17. Let c be u(10). Let n = c + -728. Is n composite?
True
Let c(z) be the second derivative of -3*z**3/2 - z**2 - z. Is c(-4) prime?
False
Let m be (-2)/4 + 28/8. Suppose 598 = 5*f - m*r, -2*f - r = 3*f - 594. Is f prime?
False
Suppose -j + 37 = -280. Is j a prime number?
True
Suppose -6002 = -2*c - 3*c - 2*g, -4797 = -4*c + 3*g. Suppose 0 = -3*d + 2*q + 685 + 204, -q = 4*d - c. Is d a prime number?
False
Suppose 0 = 3*l - 60 + 15. Suppose -d = 3*d. Suppose y = 2*o + 1 - 42, d = 5*y + l. Is o composite?
False
Suppose 0 = -38*z + 47*z - 8001. Is z a prime number?
False
Suppose 0 = -3*g - 2 - 7. Let a = g - -3. Is a + 0 + (-38)/(-2) a prime number?
True
Suppose 5*d = -2*c - 20 - 120, 0 = -d + c - 21. Let x = 18 + d. Is (-2)/x - 249/(-12) prime?
False
Let w(d) = -8*d. Let y be w(3). Let i(v) = v**3 + 10*v**2 + 10*v - 2. Let s be i(-9). Let b = s - y. Is b a composite number?
False
Let d = 25 - 23. Is 146/3 - d/(-6) a prime number?
False
Let m(j) = -j**3 - j**2 + 2*j + 633. Is m(0) composite?
True
Let u(a) = -374*a + 15. Is u(-2) a composite number?
True
Let v be 3/6 - 14/(-4). Is 92 - 0 - (1 - v) a prime number?
False
Let z = -176 + 119. Let p be 0 - z/(-1 + -2). Let b = 53 + p. Is b prime?
False
Suppose -15*d + 13016 + 7174 = 0. Is d a composite number?
True
Let n = 169 - 72. Is n a prime number?
True
Suppose -618 = 2*w - 6172. Is w a prime number?
True
Let h(x) = -x**2 - 3*x + 5. Let u be h(-5). Let q = 7 + u. Suppose 3*z = -q*z - 2*s + 443, -4*s - 245 = -3*z. Is z a prime number?
False
Let r(i) be the third derivative of i**6/120 - 3*i**5/20 - i**4/4 - i**3 + 7*i**2. Is r(10) composite?
True
Let u be 1/(-3) - (-118)/(-6). Let r = 57 - u. Is r composite?
True
Let i(g) = 21*g - 2. Let a be i(4). Suppose -5*m = -3*m - 8. Suppose m*d = 3*d - b + a, -4*d - 5*b = -328. Is d composite?
True
Let b be ((-1)/(-2))/(7/196). Suppose 0 = -0*r - r + b. Is r composite?
True
Let o(c) = c + 11. Let n be o(0). Let s(h) = 18*h + 13. Is s(n) composite?
False
Suppose -2*o = 5*j + 13, -3*j + o - 8 = 2. Let c(r) = -3*r**3 + r**2 + 3*r - 2. Is c(j) a prime number?
True
Suppose a + 9 = 41. Let s be (a/20)/(2/590). Is (-3)/15 + s/10 composite?
False
Suppose 78 = -2*l - 18. Let w be ((-1)/(-3))/(8/l). Is (-1)/(3/114*w) composite?
False
Suppose -2*x = 4*m - 1690, -x - m = -0*x - 849. Is x a prime number?
True
Let s(n) = 133*n**2 + n - 7. Is s(-7) prime?
False
Let n(b) = -55*b**3 + 2*b - 1. Let y be n(1). Let t = 1 + -2. Is t/(-4) - y/8 prime?
True
Let x(l) = l**3 - 11*l**2 + 10*l + 13. Let z be (-6)/10*1*-5. Let a be -1 + 3/z + 10. Is x(a) prime?
True
Let t(x) = x**2 - 15*x + 13. Let q = 48 + -33. Is t(q) composite?
False
Suppose 0 = -5*f + 5126 - 1401. Suppose f = 4*g + g. Is g a composite number?
False
Let w(t) = 2*t**2 - 3*t - 2. Is w(3) prime?
True
Let m = 6 + -4. Let q(k) = 58*k - 3. Let r be q(6). Suppose r = m*a + a. Is a composite?
True
Suppose -118 + 482 = 4*p. Is p a composite number?
True
Let q(u) = 54*u**2 + 36*u + 1. Is q(-5) prime?
True
Let v = -41 - -91. Suppose 3*t = t + 3*g - 3, -4*g = 5*t - v. Suppose -u = -q - 7, 71 = -u + t*u + 4*q. Is u prime?
True
Let d = -8 + 8. Let b be (0 + d/3)/1. Suppose b = c - 3*c + 76. Is c prime?
False
Let v = -4 + 1. Let m = -53 - -47. Is (-22)/m - 1/v prime?
False
Suppose -4*w + 158 = -170. Is w composite?
True
Let a(i) = i**3 - 5*i**2 + 10*i - 7. Is a(6) composite?
False
Let v(c) = c**3 + 6*c**2 - 8*c. Let n be v(-7). Suppose n - 19 = -3*b. Suppose 0*s - 147 = -s + 5*l, 496 = b*s + 3*l. Is s composite?
False
Let v(x) = x**3 + x**2 + x - 3. Let n be v(0). Let t = 7 + n. Is (141/(-6))/((-2)/t) a prime number?
True
Suppose 0 = -2*r - 11 + 3. Let v(y) = -9*y**3 - 2*y - 1. Let j be v(-1). Let z = r + j. Is z a prime number?
False
Let f(s) be the third derivative of 2*s**5/15 + s**4/6 + s**3/3 - 4*s**2. Is f(-2) composite?
True
Let a = -5 + 10. Suppose 0 = 3*o - a*o + 138. Is o composite?
True
Let b(s) = s + 2. Let r be b(8). Suppose 0 = -8*h + r*h - 452. Is h a composite number?
True
Suppose -2*l - 5*m + 1 = -0*l, -2*m + 10 = -4*l. Let f(o) = -o - 3. Let x be f(l). Let v = 14 + x. Is v a prime number?
True
Let m(r) = r. Let s(k) = -6*k - 4. Let l(x) = 3*m(x) + s(x). Let n be l(-3). Suppose 5*t + 13 = 2*c - 0*c, -5*t + 120 = n*c. Is c a composite number?
False
Let r(q) = -q**3 + 10*q**2 - 7*q - 3. Suppose 0 = -5*j + 8 + 27. Is r(j) a composite number?
True
Let u(a) be the third derivative of a**6/15 + a**5/60 + a**4/12 + a**3/6 - 3*a**2. Let o be u(-1). Is 107/3 - o/(-12) prime?
False
Let r(s) = 2 - 3*s + 0*s - s + s**2. Let f = -8 - -13. Is r(f) prime?
True
Let a be (18/9)/(1/(-73)). Let g = a - -541. Suppose -3*j + 8*j - g = 0. Is j a composite number?
False
Let s(j) = -j**2 - 7*j - 6. Let y be s(-5). Suppose y*u = h + 142, 2*u - 57 - 5 = -4*h. Is u a prime number?
False
Let y(t) = t**3 + 13*t**2 - 2*t + 9. Let q = 8 - 18. Is y(q) prime?
False
Let x(q) = 5*q - 6*q + q**3 + 5*q + 2*q**2. Let d be x(-4). Let l = -34 - d. Is l composite?
True
Let g(y) be the first derivative of 45*y**4/2 - y**2 + y - 2. Is g(1) a prime number?
True
Let a(m) = 7*m + 3*m + 11 - m**2 + 4*m. Is a(12) prime?
False
Suppose 5*o = -c + 3069, 3*c + c - 16 = 0. Is o prime?
True
Suppose -3*j - 2*v + 397 = -2*j, -5*j + 2*v = -1925. Suppose 3*p - j - 222 = 0. Is p prime?
False
Let l(u) = 249*u**2 - u + 1. Suppose -4*m + 6*m = 2. Is l(m) composite?
True
Suppose 4*p + 0 - 24 = 0. Suppose -4*q - p = -2*o, 4*q + 4*o = -0*o + 24. Is (-33)/(-5)*5/q a prime number?
False
Suppose 2*b - 4*m + 6 = -4, 0 = -b - m + 7. Is b prime?
True
Let x = 120 - 15. Suppose 0*i + 3*i - x = 0. Is i a composite number?
True
Suppose -2 = -2*l - 4, -4*y + 263 = 5*l. Is y a prime number?
True
Suppose -4*r - 5 - 18 = -5*s, 4*s - 8 = -2*r. Suppose -4 = -s*h + 26. Is h prime?
False
Suppose x - 6*x = 5*a - 5175, -1043 = -x + a. Is x composite?
False
Suppose 5*q - 5*