ite?
True
Let v = -12 + 30. Let k = v - 9. Is k a prime number?
False
Suppose 5*f + 5*c + 10 = 0, -3*f + 5*c - 4 = -22. Suppose 2 = -m + 2*m. Is -1 - (m/f - 17) a composite number?
True
Let d(s) = 13*s**3 - 2*s**2 + s - 1. Is d(2) prime?
True
Let g = 22 + -4. Let d = 12 - g. Is (74/d)/(1/(-3)) a composite number?
False
Let j(d) = -2 + 5*d + 2*d - 4*d. Let x be j(-2). Let k = x + 21. Is k prime?
True
Let h = 2165 - 1276. Is h composite?
True
Suppose -3*p - 2 - 94 = 3*z, -z + 49 = -2*p. Let n be 6/p - (-500)/(-18). Let h = n - -51. Is h prime?
True
Suppose 3*g + j = 278, 0*g - g + 5*j + 66 = 0. Suppose -21 + g = 2*i. Is i composite?
True
Suppose 0 = -5*u + 13 - 3. Let g(q) = 15*q + 1. Is g(u) prime?
True
Let f(u) = -13*u + 38. Let g(m) = 4*m - 13. Let l(a) = 6*f(a) + 17*g(a). Suppose -b + 10 = -3*b. Is l(b) a prime number?
False
Let q(b) = -18*b**3 + b**2 + 3*b + 1. Is q(-2) a prime number?
False
Is 2/(4 - (-3510)/(-879)) prime?
True
Let l(f) = f**3 + 15*f**2 + 13*f - 14. Let d be l(-14). Suppose 0 = -z - z. Suppose 73 = -d*s + s + 3*t, 2*s + 3*t - 152 = z. Is s composite?
False
Suppose -n - 1180 = -5*n. Suppose 2*h = b - 105, n = 6*b - 3*b - h. Is b a composite number?
False
Suppose 3*b + 2*f - 172 = -0*b, -5*f = 4*b - 241. Let c = b - -11. Is c a composite number?
True
Let l(o) = -o**2 + 11*o - 6. Let b be l(9). Let x be 8/b + 86/6. Suppose 0 = -4*h - x + 43. Is h a prime number?
True
Let c = -343 + 484. Is c a composite number?
True
Is ((-11694)/(-15))/(6/15) composite?
False
Suppose 5*w - 4395 = 4280. Is w a composite number?
True
Let a(n) = -2*n + 4. Let v be a(0). Suppose -2*k - v*k = -318. Is k a composite number?
False
Let s(o) = 4*o**2 - 4*o + 5. Let d be s(-5). Suppose -n + 5*a + d = -760, 5*a = 5*n - 4345. Is n a composite number?
True
Let d(s) = 6*s**2 - s. Let n be d(1). Suppose -4*m + 24 = -n*b, 0*b + 2*b = 8. Is m*((3 - 1) + -1) a composite number?
False
Let d be (3 - -10)/((-4)/8). Suppose -3*f = -8*f - 415. Let y = d - f. Is y composite?
True
Let i be 228/14 + (-2)/7. Suppose -4*l - 3*z = -z + i, -4*z = 3*l + 2. Is 54/4 - (-3)/l a composite number?
False
Suppose -251 + 2171 = 3*o + 5*b, -3*b = -5*o + 3166. Is o a composite number?
True
Let i(f) = 2*f**2 + 7*f - 2. Let t be (1 + -1)/(-1) - 5. Is i(t) a composite number?
False
Let w(l) be the first derivative of -l**4/4 - 8*l**3/3 + 3*l**2/2 - 7*l + 3. Let j(p) = 4*p + 3. Let s be j(-3). Is w(s) prime?
True
Let z be ((-4)/3)/(4/6). Let h = -2 + z. Is (-10)/3*246/h prime?
False
Let b(j) = -j**3 + 10*j**2 - 10*j + 7. Let h be b(6). Let y = h - 65. Let v = y - -20. Is v composite?
True
Suppose 4*z - p - 2115 + 434 = 0, -p = -3*z + 1262. Is z prime?
True
Suppose 2*k = -y + 1403, 5*y + 1401 = 2*k + 4*y. Is k prime?
True
Let v(d) = 121*d**2 + 6*d - 18. Is v(5) a prime number?
True
Suppose 0 = -4*d - 4, -5*q = -d - 2076. Is q a composite number?
True
Let r = 26 + -25. Let i be ((-3)/2)/(6/(-16)). Is (137 + r)*i/8 composite?
True
Let t(j) = -20*j - 5. Let x(n) = -100*n - 26. Let u(w) = -w**2 + 9*w + 3. Let m be u(8). Let i(b) = m*t(b) - 2*x(b). Is i(-4) composite?
True
Let o = 32 + -11. Suppose -o = p - 182. Is p a composite number?
True
Let f(o) = -o**2 + 7*o - 1. Let q = 2 - -3. Let t be f(q). Is t/2*28/6 prime?
False
Let t be (-10)/5*6/(-4). Suppose -t = 4*u - 27. Is u composite?
True
Let i(a) = a**2 - 6*a + 3. Let x be i(5). Let c(q) = -13*q + 1. Let h be c(x). Suppose v + 2*v + h = 4*d, d + 4*v - 21 = 0. Is d a composite number?
True
Let m(z) be the first derivative of -z**4/4 + 3*z**3 - 7*z**2/2 + z + 3. Is m(6) prime?
True
Let p be (-3)/(6/(-10)) + -3. Suppose h + 185 = p*h. Is h a composite number?
True
Let o(m) = -121*m**3 - 5*m - 5. Let z(f) = -3*f + 10. Let u be z(4). Is o(u) a prime number?
False
Let d be (-1 - 4)*(-24)/(-60). Is 636 - 5 - (2 + d) a prime number?
True
Suppose 7*g + 10 = 2*g, 2*a + 3*g = 14616. Is a a composite number?
True
Let o be 27/6 + (-12)/(-8). Suppose -o*s + 114 = -4*s + 4*z, -2*z + 6 = 0. Is s a prime number?
False
Suppose -2*w - 64 = -0*w. Suppose 4*j + 3*u - 219 = 0, 8 = -2*j - u + 115. Let c = w + j. Is c a composite number?
False
Suppose 12487 + 2031 = 14*c. Is c a composite number?
True
Let x(p) = -p**2 + 10*p - 4. Let n be 2/(1 + -3)*-5. Is x(n) prime?
False
Suppose 0*f - 646 = -2*f. Is f a composite number?
True
Suppose -3 = -2*j - 1. Is 307/j - (-4 + 4) prime?
True
Let b(s) = s**3 - s**2 - 2*s - 4. Let a be b(-3). Let r = a - -73. Is r a composite number?
True
Let s be -4*((-33)/(-12) + -2). Let j = s - -5. Is 2/j - (0 - 48) a composite number?
True
Let z(v) = v**3 - v**2 + 2*v + 2. Let m be z(3). Suppose -4*f + 46 = -m. Suppose f = 2*o + 2*j, 2*o = -0*o + 2*j - 2. Is o a prime number?
False
Let r = 5563 - 3932. Is r a composite number?
True
Suppose w - 331 = 179. Suppose 429 = 2*x + 2*x + t, w = 5*x - 4*t. Is x a prime number?
False
Let u(i) = -i**2 - i. Let w be u(0). Suppose 748 = 5*o + 3*l, w = -0*o - 4*o + 4*l + 592. Is o a prime number?
True
Suppose 7*x = 8033 - 1096. Is x a prime number?
True
Let b = 0 + 3. Suppose 31 = s + b*x, s = 2*x + 51 - 20. Is s prime?
True
Let p(o) be the first derivative of 2 - 1/3*o**3 + 1/4*o**4 - 1/2*o**2 + 37*o. Is p(0) composite?
False
Let o = -2215 + 3888. Is o composite?
True
Is (6425/10)/(1/2) a composite number?
True
Let x = 16 + -16. Suppose 5*h - 3*u + 5*u - 2593 = x, h + 3*u - 529 = 0. Is h a composite number?
True
Let t(g) = -6*g**2 - g. Let y be t(-1). Let a(x) = -5*x - 5. Let k be a(y). Suppose -5*d + 4*w + 90 = k, 5*w - 56 = -4*d. Is d a composite number?
True
Let y(l) = -3*l - 2. Let m(v) = -2*v - 8. Let t be m(-6). Suppose -29 = 3*s + 4*o, 3*s = 4*o + 7 + t. Is y(s) a prime number?
True
Let g(k) = k**3 - 8*k**2 + 2*k - 12. Let i be g(8). Suppose q = -1 - 2, j = -i*q + 8. Let n = 35 + j. Is n prime?
False
Let x be (11 - 7)/((-1)/(-28)). Suppose 4*a = 2*a + x. Let s = -37 + a. Is s a prime number?
True
Let a(h) = 1 - 4 - 4*h - 19*h. Let m be (4/(-3))/((-4)/(-12)). Is a(m) prime?
True
Let m = -191 + 310. Is m a composite number?
True
Let b be 6/15 + 396/10. Suppose 0*q - 3*q + 62 = i, -b = -2*q - i. Is q a prime number?
False
Let d(i) = 4*i**2 + 4 + i - 4*i**2 - 2*i + 2*i**2. Let q be d(-3). Suppose -17 - q = -3*y. Is y a composite number?
True
Let a(y) = -4*y**3 - 8*y**2 - 9*y. Let t be a(-7). Let z = t - 656. Suppose -2*n - z = -6*d + d, 3*d - 3*n - 234 = 0. Is d composite?
True
Suppose l - 4 = 0, -3*k - l = l - 380. Suppose t - 3*r + 31 = 2*t, 4*t - 2*r = k. Is t a prime number?
True
Let b be (-2594)/(-4) - 1/(-2). Let u = -414 + b. Is u a composite number?
True
Let m = 39 - 3. Let a(u) = -u - 5. Let r be a(-4). Let o = m - r. Is o a composite number?
False
Let u(h) = -5*h + 1. Let t(i) = -i**2 - 3*i + 8. Let v be t(-6). Let w = 6 + v. Is u(w) prime?
False
Suppose -4*c + 3482 = -1422. Is c composite?
True
Let h(c) be the first derivative of 8*c**3/3 - 3*c**2/2 + 9*c + 1. Let b be h(7). Suppose -2*i - b = -6*i. Is i composite?
True
Suppose 4*g = -5*y + 23, y = -3*g + 3*y. Suppose -g*w + 6*w - 476 = 0. Is w composite?
True
Suppose -b + 5 = -0*b. Suppose 68 = -b*a + 333. Is a composite?
False
Suppose -y - 5*g = 8, -4 = 2*g - 0*g. Suppose 8 - 306 = -y*q. Is q a prime number?
True
Let d = 1998 - 1147. Is d composite?
True
Suppose -2*v + 15 = 3*v. Suppose v*l + 3 = 4*l. Suppose f = l*f - 166. Is f a composite number?
False
Let h be 5/(-10) - (-85)/2. Suppose -2*f - h + 464 = 0. Is f composite?
False
Let u be (-4)/(-8) + (-5)/(-2). Let a(x) = 1 - u*x - 5*x + 0. Is a(-1) prime?
False
Let p(n) = n**3 + 8*n**2 - 5*n + 3. Suppose y - 3 = -0*y, -12 = 3*s + 4*y. Is p(s) a prime number?
True
Is -3*116/(-24)*34 composite?
True
Suppose -5*c = -6*c + 3. Is c + -2 - 10*-2 composite?
True
Is 4/(-10) - 106227/(-55) a composite number?
False
Is -6*2/3 + (-687)/(-1) prime?
True
Let t be (-2)/4 + (-7)/(-2). Suppose 2*r = m - 23, m + 0*r = -t*r + 13. Is m a prime number?
True
Let x(o) = 4*o**3 - 9*o**2 + 9*o + 8. Let r(u) = -u**3 + u**2 + 1. Let s(j) = r(j) + x(j). Is s(7) a prime number?
True
Suppose 2*d + d = 15. Suppose 0 = 5*p + d*x - 290, -3*x + 234 = 4*p - x. Is p a composite number?
False
Let y(q) = -q**3 + q**2 - q + 7. Suppose -9 = -5*l + 6. Suppose -2*g + 2*r - 6 = 0, -3 - l = 3*g - 4*r. Is y(g) prime?
