. Is 4791/15 + i/k a composite number?
True
Suppose -6*a = -4*a - 1336. Suppose 5*s = f - 648, -3*s + 2*s = -f + a. Is f a prime number?
True
Suppose -4*p + 32827 = 5*v, -12*v + 15*v - 9 = 0. Is p a prime number?
False
Let o(t) = t**3 + 4*t**2 - t - 2. Let j be o(-4). Suppose -20 = -j*a - h, -2*h = -4*a - 7*h + 28. Is (-993)/(-6)*a/6 a prime number?
True
Suppose 6*p = u + 3*p - 40, -2 = 2*p. Suppose 3*d - 12 = -0*d. Suppose k = d*v + u, 0*k + 3*k + 4*v = 175. Is k a prime number?
True
Suppose -12*o = -27*o + 118545. Is o a composite number?
True
Suppose -b = -6*l + 2*l, -l = 3*b. Suppose l = -2*m - 108 + 256. Is m prime?
False
Is -16663*-5*(-3)/(-15) a composite number?
True
Let g = 18 + -18. Suppose 8 = -2*v, -3*z - 3*v + 44 + 43 = g. Is z a prime number?
False
Suppose -6*b = b + 21. Let t be ((-1)/b)/(1/2685). Let k = 1440 - t. Is k a prime number?
False
Is 493*(-1 + -4)/(-5) a composite number?
True
Let p be 0/(-1) - 10 - -4. Let l(h) = 9*h**2 + 4*h - 1. Is l(p) a prime number?
False
Let a(n) = -n**3 + 3*n**2 + 5*n - 5. Let i be a(4). Let s(t) = -300*t - 1. Is s(i) a prime number?
False
Let s = -26063 - -38260. Is s a prime number?
True
Let v be ((-6)/9)/(4/(-18)). Let l(w) = -v*w - w - 2 - 5 + 0. Is l(-8) prime?
False
Let s(i) be the third derivative of -i**4/12 + 2*i**3 + 2*i**2. Let a be s(10). Let v(l) = -l**2 - 17*l + 7. Is v(a) a composite number?
False
Is (-46)/(-69) + 13593/9 a composite number?
False
Suppose 0 = 5*p + 2 + 13. Suppose -x + w - 5 = -0*w, -5*x - 4 = 2*w. Is (143/x)/(p/6) a composite number?
True
Suppose -4*v = -7*v + 3*y, 4*v + 3*y = 14. Suppose -180 = 2*i - 4*i + v*b, -5*i + 443 = 2*b. Is i a prime number?
True
Suppose 2*t = 4*t - 14. Suppose 9*o + 48 = t*o. Is (-34)/((o/92)/3) prime?
False
Let s be 0/(2/(-4)*-2). Suppose i + 83 = 4*m, -m + 20 = -i - s. Suppose -m - 53 = -2*k. Is k a prime number?
True
Let o(d) = d**2 - 18*d - 47. Let y be o(19). Let j(g) = g**3 + 28*g**2 - 24*g + 13. Is j(y) a composite number?
True
Let v(r) = r**2 + r - 4. Let d be v(-3). Suppose 0 = 4*p - d*y - 16, 2*y + 8 = -4*p - 2*y. Suppose 2*m = -i + 3*i - 766, m = -p*i + 754. Is i prime?
True
Let z(t) = 26*t**2 - 10*t - 5. Is z(-5) composite?
True
Let d = -8165 - -16150. Is d prime?
False
Let u(q) = 547*q**2 + 11*q + 13. Is u(-2) a composite number?
False
Suppose -24*d + 22*d = 0. Suppose -4*f + 816 = 4*i, 776 = 4*f - 4*i - d*i. Is f prime?
True
Suppose -4*b = c - 5, 3*c = b - 16 + 5. Let z be -4*(-60)/32*b. Is 3/(z/(-10)) - -256 a prime number?
False
Let g = 25309 + 13780. Is g composite?
False
Let p(f) = f - 1. Let h be p(6). Suppose 2*a + 0*a + 14 = h*g, 3*g = 5*a + 16. Suppose -g*w = -469 - 209. Is w prime?
False
Let r(a) = -a**3 - 5*a**2 + 5*a - 3. Let n be r(-6). Suppose m + n*d - 290 = 0, 0 = 10*m - 6*m - 3*d - 1235. Is m composite?
True
Suppose 2*x - x + 133 = -4*q, 2*x = -4*q - 134. Is (1262/6)/((-11)/q) a prime number?
True
Let a(f) = 144*f**3 - 2*f**2 + 3*f + 1. Is a(2) prime?
True
Let h = 6656 + -555. Is h a prime number?
True
Suppose -63 = -9*x + 261. Suppose -s - 2*n + 7 = -x, 0 = -2*s - 3*n + 83. Is s composite?
False
Suppose -12*z + 133073 = 36605. Is z prime?
True
Let w(v) = -5*v**3 + 4*v**2 + 3*v + 1. Let l(k) = k**3 + k. Let c(o) = l(o) - w(o). Let x(a) = -a**2 + 7*a + 22. Let q be x(9). Is c(q) composite?
False
Let q = -10 + 13. Let w be 13/4 - (-4)/(-16). Suppose -345 = -3*x + w*t + t, -q*x + 5*t + 342 = 0. Is x composite?
True
Suppose -33 = 2*a + 2*a + 5*n, -5*n - 21 = 3*a. Let i = a - -12. Suppose i = -2*q + 6 + 22. Is q composite?
True
Let v(b) = 5*b**2 - b + 5. Let y be v(2). Let r = y - 21. Is r prime?
True
Let v(t) = 62*t**2 + 311*t - 7. Is v(8) a prime number?
True
Suppose 3*z - 4*r + 18 = -32, -2*r = -2*z - 30. Is -2 - 13903/(-5) - 4/z a composite number?
True
Let r be 226*(-3 - (-17 - 2)). Let u = r - 1962. Is u composite?
True
Suppose 0 = -f - 8 + 11. Suppose f*x + 1131 = 3*m - 483, 2708 = 5*m + x. Is m prime?
True
Suppose 0 = -2*p - 262 - 314. Let o be 506 + (10 - 5)/(-1). Let m = o + p. Is m composite?
True
Let o(z) = -34 + 6*z - 13 + 23*z + 10. Is o(4) prime?
True
Let f(b) = -11*b**2 - 44*b - 18. Let w(p) = 4*p**2 + 15*p + 6. Suppose 30 = 5*q - 2*u - u, -4*q = 5*u - 24. Let s(x) = q*f(x) + 17*w(x). Is s(13) prime?
False
Let m(x) = 7*x + 13. Let f(w) = 3*w + 6. Let p(d) = 5*f(d) - 2*m(d). Let t be p(0). Suppose 548 = t*z - 296. Is z a prime number?
True
Let x(a) = 9*a**2 + 1. Let g be x(-4). Suppose 11*c - 12*c + 92 = 0. Let r = g - c. Is r a prime number?
True
Let a(u) = -2*u**2 + 3*u - 1. Let x be a(3). Let d(h) = 19*h**2 - 12*h - 35. Is d(x) a composite number?
True
Let f(p) = 49*p**2 - 3*p + 85. Is f(-18) a composite number?
True
Suppose -2*g = 3*d - 3175, -d - 4779 = -3*g - 0*d. Suppose b - g = 249. Is b composite?
True
Let y(k) = -k**2 + 11*k - 4. Let m be y(10). Is (m/(-4))/(-1) + (-1395)/(-18) composite?
False
Is (-18)/(-24)*(0 - -2)*142 composite?
True
Let f = 11069 - 5922. Is f prime?
True
Let m be ((-13)/2)/((-1)/(-36)). Let k = 167 + m. Let l = 194 + k. Is l a composite number?
False
Suppose 4757 = k + 19507. Is k/(-6) - (-2)/3 composite?
False
Suppose 0 = 2*j - w - 7057, -2*j + j - 3*w + 3518 = 0. Is j composite?
False
Suppose -t - 5*a = -18 - 10, 2*t - 28 = -3*a. Suppose -5*z + t = -7*z. Is (-419)/((-2)/z*-2) a composite number?
False
Let u(j) be the first derivative of 7*j**3 + 3*j**2 + 7*j + 1. Is u(-2) a composite number?
False
Suppose 4*m + 5*r - 67977 = 0, 0 = 5*m - r + 7862 - 92826. Is m a composite number?
False
Suppose 7*d - 2*d = 55915. Is d composite?
True
Suppose 4*w + 14234 = -15*v + 17*v, 3 = -3*w. Is v composite?
True
Let p = -128 + 132. Let y = -509 - -752. Suppose 5*f = -p*c + 1167, 2*f + y = 3*f - 4*c. Is f composite?
True
Let p(h) = -5*h**2 + 4*h - 4. Let v(f) = -f + 1. Let a(s) = -2*p(s) - 4*v(s). Let c be a(3). Suppose -c = -4*b + 154. Is b composite?
False
Let t = 29566 + -17055. Is t a prime number?
True
Let d = 725 + -328. Suppose -548 - 372 = -8*g. Suppose -d = -2*p - g. Is p a composite number?
True
Suppose 5*o + 7620 = -5*b, 6*o + 4593 = 3*o + 4*b. Let c = -1054 - o. Is c composite?
True
Suppose 16*n = 3*n + 39. Suppose -3*b + 341 = 2*t, -7*b + n*t + 110 = -6*b. Is b a prime number?
True
Let z(g) = -g**3 - 14*g**2 + 17*g - 6. Let v be z(-21). Let a = -775 + v. Is a a composite number?
False
Suppose -7*l - 1263 = -8*l. Suppose -i = 37 - l. Is i a composite number?
True
Suppose 42*v - 36*v = 2706. Is v composite?
True
Let n(p) be the second derivative of -16*p**3 + 11*p**2/2 + 21*p. Is n(-19) a composite number?
True
Suppose 18081 = 6*i - 15*i. Let o = i + 3570. Is o prime?
False
Let q = -16 + 36. Suppose s = -b + 433 - 18, 5*b = -q. Is s a prime number?
True
Suppose 11*s = 8*s - 33. Let r = -26 - s. Is 188/(-6)*r/10 prime?
True
Let b = 3298 + -549. Is b a prime number?
True
Let v = -1963 + 3490. Is v composite?
True
Is (49/(-28))/((-2)/101704) prime?
False
Suppose -4*o + 6*h = -31766, -12*h + 17*h = 2*o - 15889. Is o a prime number?
True
Let k = 4728 - 679. Is k composite?
False
Suppose -f = f - 4. Suppose f*q + 12 = 4*q. Is 796/q + (-1)/(-3) a prime number?
False
Let n(k) = -160*k - 3. Let o be n(-6). Suppose -o = -2*t + 717. Let d = t - 518. Is d prime?
False
Let p(z) = -z**2 - 2*z - 1. Let u be p(-2). Is (4 - -989) + 2 + (u - 3) a prime number?
True
Suppose -h - 3 + 8 = 0. Suppose h*f - 922 = -i, 0 = 4*i + f + 3*f - 3640. Is i a prime number?
True
Let o(i) = 390*i - 41. Is o(5) a prime number?
False
Let y(w) = w**3 - 2*w**2 - 8*w - 1. Let l be y(4). Is ((-5389)/(-34))/(2/(-4))*l prime?
True
Let x be 29210/15 - (-4)/(-12). Let a = 370 + x. Is a prime?
False
Suppose 0 = -9*i + 170759 + 398410. Is i a composite number?
False
Suppose 5*v + 5*t - 14 = 1, -5*t + 5 = 0. Suppose -v*n + 0*z = -z - 71, 3*z + 38 = n. Is n composite?
True
Let s(x) = 152*x + 19. Let p be s(5). Suppose -2*l + 2*a = -211 - p, -a + 503 = l. Is l a composite number?
False
Suppose 0 = -y + 2*j + 775, 4*y + 0*j = -5*j + 3126. Let h = y - 310. Is h a composite number?
True
Let n(w) = 6*w**2 + 6*w - 1. Suppose 0 = l + 4*g - 1 - 1, g = -4*l + 23. Is n(l) prime?
True
Let f = 4804 - -9. Is f prime?
True
Let j(g) = g**3 - 4*g**2 - 14*g + 11. Let w be j(10). Suppose -3*q = -2*b - 760, -801 - w = -5*q - 2*