4)/((-19)/(-76)) a prime number?
True
Suppose 2*z = 89 + 177. Suppose 13*i - 12*i = z. Is i composite?
True
Suppose -5*d - 4*o + 26318 = -2*o, 3*d + 5*o = 15806. Suppose 24*s + d = 30*s. Is s a prime number?
True
Let j be 2/2*(4 + -2). Suppose j*q + 4*s = s + 7, -1 = -q + s. Suppose -3*k + 2*g + 2*g + 905 = 0, 0 = -5*k + q*g + 1527. Is k a prime number?
True
Suppose -3*t + 9429 = -5*h - 7455, 2*t + 4*h = 11234. Is t prime?
True
Suppose 3*z - 5*z + 5135 = 3*u, -u + 1709 = 2*z. Is u a prime number?
False
Let h(j) = -70*j**3 - 7*j**2 + j + 9. Is h(-4) composite?
False
Let k(n) = n - 1. Let i be k(3). Suppose 0*p - i*p = -260. Suppose -316 = -2*z + p. Is z a composite number?
False
Suppose -7249 = -4*c - o, -c = -0*c - 3*o - 1796. Is c composite?
False
Let o(r) = 9*r**2 + r + 1. Let d be o(-2). Suppose 5*j - 4*a = d, j - 3*a = -6*a - 12. Suppose 2*s - 364 = -0*s + j*y, y + 923 = 5*s. Is s a prime number?
False
Let w(c) = -10*c - 14. Let s be w(-8). Suppose -v + 185 = -s. Is v a prime number?
True
Let x(h) = 32*h**2 - 14*h - 12. Let a be x(-9). Let w = a + -1697. Is w a composite number?
False
Let m(j) = 68*j - 23. Let z(p) = 23*p - 8. Let x(b) = -6*m(b) + 17*z(b). Suppose 2*w + 6 = 0, -5*t - w - 18 = -0*w. Is x(t) a composite number?
False
Let i(o) be the third derivative of -o**6/120 + 3*o**5/10 - o**4/2 + 5*o**3/2 + 11*o**2. Is i(14) prime?
True
Let t(h) = -305*h - 28. Let m = 22 + -37. Is t(m) a composite number?
False
Let x(f) = 84*f - 1. Let i be x(1). Suppose -4*l + 3*u + 319 = 0, l - i = -0*l + 4*u. Suppose -5*m = 5*q - 4*q - 120, 3*m = -2*q + l. Is m a composite number?
False
Let u = -203 + 360. Let q = u - -154. Is q a composite number?
False
Let q(b) = b**3 + b**2 + 2*b + 2. Let p be q(-1). Suppose 31 = -p*u - u. Let g = u + 62. Is g composite?
False
Let t(q) = -q**3 - q - 2. Let m be t(-1). Is (14 - 11)*(-734)/(m - 2) composite?
True
Let w(h) = 1788*h**2 + h - 3. Is w(2) composite?
False
Let l(m) = m + 8 - 8 + 5 + m. Is l(14) composite?
True
Suppose -227 = 3*c - 6*c - 5*t, 369 = 5*c - t. Suppose -i + 331 = c. Is i prime?
True
Suppose -4*d + d - 62120 = -4*u, 2*d + 31062 = 2*u. Is u a prime number?
True
Let n = 2246 + -885. Is n a prime number?
True
Let z = 56 + -53. Suppose -2*h + h + 373 = 4*c, z*c = 0. Is h prime?
True
Let c(b) = -11*b + b + 9*b + 1. Let w be c(-2). Suppose w*n + 32 = 2*f, 2*f = f - 5*n + 42. Is f composite?
True
Let v = -5800 + 14931. Is v a composite number?
True
Suppose 0 = 4*w - 9255 - 7829. Is w prime?
True
Let f(y) be the third derivative of 7*y**6/180 - y**5/40 - y**4/8 + y**3/3 - 2*y**2. Let t(l) be the first derivative of f(l). Is t(-2) a composite number?
False
Suppose 3*i - 5*s = 27, -5*i - 2*s + 6 + 8 = 0. Suppose i*x = 4*r - 124, x + 22 = -r - 7. Is 35/2 + x/(-20) prime?
True
Let p(l) = 143*l + 13 + 243*l + 58*l. Is p(2) a composite number?
True
Suppose 2*c - 7*c - 170036 = -4*f, 5*c - 127527 = -3*f. Is f composite?
False
Let t(b) = 6826*b**3 + b**2 + 3*b - 4. Is t(1) a composite number?
True
Suppose -1 + 80 = -y. Suppose 2*z + 2*z = 464. Let q = y + z. Is q a prime number?
True
Let v = -3108 - -4987. Suppose -v = -3*c + a + 3*a, 2*c = -a + 1271. Is c a prime number?
False
Let l be 1 + 0 - (-30 - 9). Let t = l + -22. Is ((-27)/t)/(2/(-28)) composite?
True
Let a(r) = 38*r + 13. Let h be (-23)/2 + (-3)/6. Let w = -1 - h. Is a(w) a prime number?
True
Let u(t) = -t**2 + 6*t + 7. Let n be u(7). Suppose 2*y - 6 = -n. Suppose -158 = x - y*x. Is x prime?
True
Suppose -n - r = -2 - 1, -2*n + 3*r - 9 = 0. Suppose n = a + 2, 2*a = -2*b - 366 + 3172. Is b prime?
False
Let y(x) = -3 + 7*x**2 + 14*x - 4*x + 7 + 6*x**2. Let s be y(-4). Let u = s - -277. Is u a prime number?
True
Let w = 6247 + -3266. Is w a prime number?
False
Suppose -3 = -2*q + 3*q. Is q*(2 + (-1052)/12) a prime number?
True
Is 227*((-16)/(-5) - 1/5) a prime number?
False
Suppose f = 6*f - 150. Is 6472/10 - 6/f composite?
False
Let g(m) = -5*m - 17. Let z be g(-4). Suppose -z*f - 1492 = -7*f. Is f a prime number?
True
Let p = -22345 - -46126. Is p composite?
True
Suppose -16*n = -i - 18*n + 1136, -5*i + 5689 = n. Is i a composite number?
True
Let u = 629 - 16. Is u a composite number?
False
Let k = -6 - -10. Suppose -l = -k*l + 15. Suppose 0 = -l*s + 7*s - 238. Is s a composite number?
True
Let f be 10/(-45) + 146/9. Let z be (-152)/f*(-18)/1. Suppose 4*i - z = 177. Is i a composite number?
True
Let c = 61795 + -31346. Is c a composite number?
False
Suppose 3*j + 16 = 5*j. Let o be (-2)/(-5) + j/(-20). Suppose 378 = 2*t - 2*p, o = p - 2 - 3. Is t a composite number?
True
Suppose 13*r - 7*r = 10644. Is (r/(-6))/((-20)/60) a prime number?
True
Let y = 40572 + -18305. Is y prime?
False
Let x(n) = -n**3 - 6*n**2 + 5*n - 1. Let h be x(-7). Suppose q = -9 - h. Is ((-17)/2)/(1/q) a prime number?
False
Suppose 27*t - 26*t - 5701 = 0. Is t a prime number?
True
Let s(b) = b**2 - 6*b - 4. Let z be s(5). Let q(g) = -g**3 - 8*g**2 + 10*g + 13. Let i be q(z). Suppose 2*n = -i*n + 834. Is n a prime number?
True
Is (-9094)/(18/27*-3) a composite number?
False
Let r(q) = 1 - 660*q - 4 - 2. Is r(-2) a prime number?
False
Is (2/4)/(10/3160) composite?
True
Let a(n) = 74*n**2 + 5*n + 16. Is a(-7) a composite number?
False
Suppose 24558 + 4672 = 10*k. Suppose -2947 - k = -2*i. Is i prime?
False
Let i(h) = -h**2 + 21*h + 27. Let v be i(22). Let b(r) = 4*r**3 - 9*r**2 + 12*r + 2. Is b(v) prime?
True
Suppose 0 = -q - 5*k + 3*k + 2, 0 = q + 3*k - 3. Suppose 4*d + 5*t - 2552 = q, -3*d = -0*d + 3*t - 1911. Is d prime?
False
Let w = -13 - 45. Let i = w + 89. Is i composite?
False
Let k = -497 - -3018. Is k composite?
False
Suppose 38004 = 8*n - 16468. Is n composite?
True
Suppose -56 = -3*d + 5*i, 0*i - i = 2*d - 20. Let y be (-9)/3 + d + -3. Let x(l) = 8*l + 11. Is x(y) a prime number?
True
Let n = 44160 - -11189. Is n composite?
True
Suppose -p + 5*f + 11 + 14 = 0, 3*p = f + 33. Suppose -4*b = 2 - p. Suppose b*i - 33 = i. Is i a composite number?
True
Let j(c) = 1633*c + 593. Is j(20) composite?
True
Suppose -5*q = 3*g - 23887, -70*g + 2*q - 31868 = -74*g. Is g composite?
True
Let c(x) = 4*x**2 + x + x**3 + 2*x**2 - 1 + 6 - 3*x**2. Let a be c(4). Let w = a + 216. Is w a prime number?
True
Let f(z) = z**3 - 15*z**2 - 11*z - 11. Suppose -a = -4, 4*a - 3*a + 5 = m. Let k be f(m). Let y = k + 853. Is y prime?
True
Is (6783/14 - 1)*26 composite?
True
Suppose k - 92636 = -4*h, 23159 = -2*h + 3*h + 3*k. Is h a prime number?
True
Let w = 565 + -111. Suppose -394 = i - 4*m - 115, -2*i = -4*m + 542. Let g = i + w. Is g composite?
False
Suppose -y = 175 + 316. Let m = 889 + y. Is m composite?
True
Let i(k) = -2*k**3 - 15*k**2 + 38*k + 47. Is i(-12) a composite number?
False
Suppose 3*g - 4*i - 1556 = 0, 4*g - 4*i + 668 = 2736. Suppose -5*v = 0, 4*c - g = 2*v + 356. Is c prime?
False
Let y(h) be the second derivative of 577*h**4/6 + h**3/3 + h**2 + 26*h. Is y(-1) composite?
True
Suppose 28 = 6*b - 13*b. Is 293 - 0/(b - -1)*1 a prime number?
True
Let k = -1553 - -4416. Is k + 0/(-3 - -1) a composite number?
True
Let k(d) = 5*d**3 + 5*d**2 - 7*d + 5. Let j be k(4). Let u = 631 - j. Suppose -2*l - 9 = -3*y + u, -184 = -2*y - 3*l. Is y prime?
True
Let q(t) = 261*t**2 + 7*t + 9. Is q(-1) composite?
False
Suppose -3*q + 21 = 2*j, -16 = -j - 3*q + 2. Suppose -u + 2*c = -529, 3*u + j*c - 1608 = 2*c. Suppose -2*m + b + u = -608, -3 = -b. Is m prime?
False
Suppose 7*d - 4*d = -4*g + 1655, -10 = -2*d. Let f = g - 123. Suppose 0 = -x + f + 44. Is x a composite number?
False
Suppose 31*z = 2587687 + 2538690. Is z prime?
True
Let l(i) = -3*i**3 + 2*i + 2. Let n be l(-1). Suppose -2*m + 779 = h, 8*m + 3051 = 4*h + n*m. Is h prime?
True
Let t(f) = 3*f**3 - 3*f**2 - f + 2. Suppose -a + 3*a - 20 = 3*h, 0 = 4*a + 3*h - 22. Is t(a) prime?
True
Let g = -11452 + 16189. Is g prime?
False
Let t(f) = -f**3 + 33*f**2 + 41*f - 41. Is t(30) prime?
True
Let h(l) = -l**2 - 2*l + 3. Let z be h(0). Suppose -4*i = -3*i - 2*a - 1533, 0 = 2*i - z*a - 3068. Is i composite?
True
Let h(c) = -1671*c**3 - 5*c**2 + 15*c + 9. Is h(-4) a composite number?
True
Is ((-6)/(36/(-159)))/((-5)/(-370)) a prime number?
False
Suppose -3*c - j + 1557 = -12434, 0 = 5*c - 3*j - 23337. Suppose -7*n + c = -4*n. Is n a composite number?
Tru