
Suppose 5*t + 1085 = -s + 6*s, -t = s - 215. Suppose 4*b - 224 = s. Suppose 758 + b = 4*y. Is y composite?
True
Suppose -8*b + 3*b = -5. Is ((-4)/12 + b)*(-1518)/(-4) a composite number?
True
Let h be (918/(-4))/((-9)/12). Let y = 625 - h. Is y a composite number?
True
Suppose 0*i - 10*i = -10870. Is i a prime number?
True
Suppose a - 3679 = 2770. Is a composite?
False
Let f be 7/(126/48) - (-4)/(-6). Suppose z = -f*d + 2762, -3*z = 5*d - 3170 - 3737. Is d prime?
False
Is 284/(-10)*(-9)/((-63)/(-35)) composite?
True
Let s(x) = -396*x - 4. Let q be s(-3). Let g = q - 790. Suppose -3*h = -4*o + 2336, 3*h = o + g - 969. Is o prime?
True
Suppose 5*a - 2965 = -50. Is a prime?
False
Let d(i) = 1. Let n(s) = 27*s + 22. Let l(b) = -3*d(b) + n(b). Is l(8) a prime number?
False
Let k(f) = 12*f**2 + 2*f + 1. Let d be (-10 - -9)/(1/(-3)). Suppose -d + 0 = -l. Is k(l) a prime number?
False
Let u(t) = -36*t - 9. Let g(n) = -n - 1. Let x(j) = -5*g(j) + u(j). Let v be x(4). Let a = 237 + v. Is a a composite number?
False
Suppose -2*a = -8, a + 12 = -4*m + 4*a. Suppose 4*y - 1514 - 514 = -4*h, -5*h - y + 2535 = m. Is 2 + -6 + h*1 composite?
False
Is -7 - -2 - (3 - -7277)/(-14) a composite number?
True
Let f = -201 - -366. Let s = -65 + 67. Suppose 0 = s*j - f + 59. Is j composite?
False
Suppose -85*m + 160837 = -890868. Is m a prime number?
True
Suppose 4*a = a + 297. Let n = a + 202. Is n a prime number?
False
Let k(n) = 1943*n**2 + n - 1. Let f be k(1). Suppose -4*b + f = 5*m + 191, -1309 = -3*b - 5*m. Is b a prime number?
True
Let u(q) = -295*q - 7. Suppose 6*w + 4 = -8. Is u(w) prime?
False
Let q = 3 - 0. Suppose z = 4*u - q*z - 2212, 0 = -2*u - 4*z + 1130. Is u composite?
False
Let w(p) = -1737*p - 343. Is w(-6) a prime number?
True
Is (-4)/10*11229530/(-52) prime?
True
Suppose -4*m = -3319 - 64725. Is m composite?
False
Let g(f) = 1421*f - 202. Is g(9) prime?
False
Let z(u) = 51*u**2 + u - 33. Is z(8) a prime number?
False
Suppose -5*l = -5*v + 26 + 14, v - 4*l - 20 = 0. Suppose 5*q - q + 19460 = 4*t, 0 = -v*t - 4*q + 19428. Is t composite?
False
Let k = -2758 + 6321. Is k composite?
True
Let b be ((-3)/1)/(-1) + 5. Let z(p) = p**2 - 9*p + 7. Let k be z(b). Is 68/1 + 3*k composite?
True
Let b(w) = -w**2 + 10*w - 1. Let x be b(9). Suppose 7*g + 967 = x*g. Is g a prime number?
True
Suppose 4*t = -0*t + 20. Let p(s) = -2*s + 15. Let g be p(5). Suppose -395 = -t*h + g*d, -2*d = -3*h + 384 - 147. Is h composite?
False
Let c = -2070 + 10371. Is c a composite number?
True
Suppose 3*z - 123339 = 3*r, -10*r = 4*z - 12*r - 164452. Is z composite?
False
Suppose -2*y - 1036 = -u, -2*y - 6 = 4. Let f = 2015 - u. Is f a prime number?
False
Let f = -351 + -3. Let z = f - -563. Is z a composite number?
True
Is (-255852)/(-30) + -9 - (-6)/(-15) prime?
False
Let t = 28 + -23. Let z be 2/4 + t/2. Is (408/z - 0) + 3 prime?
True
Suppose -3*s = -10207 - 2462. Is s a prime number?
False
Let u(i) = i**3 - i + 1. Let t(w) = 13*w**3 - 7*w + 7. Let s(c) = t(c) - 4*u(c). Suppose 3*x - 2*v - 13 = -3, -2*v = -x + 6. Is s(x) composite?
True
Let s(g) be the first derivative of -g**5/60 + 691*g**4/24 + g**3/3 - 8. Let f(b) be the third derivative of s(b). Is f(0) composite?
False
Let m(r) = r**2 - 2 + 2*r**2 + 4*r**2 + 7*r - 4*r**3. Let n(x) = -3*x**3 + 8*x**2 + 8*x - 2. Let u(q) = 6*m(q) - 5*n(q). Is u(-3) prime?
False
Let h(s) = 8*s**2 - 7*s - 4. Let i be h(-5). Suppose -2*z + i = z - 2*w, -2*w = -6. Is z composite?
False
Let k = -787 - -1464. Suppose 6*t - 6047 = -k. Is t composite?
True
Let c(g) = -2*g**3 + 13*g**2 + 4*g + 25. Let x be c(7). Let f(d) = 0*d**3 + 0*d**2 + 6*d**2 + 1 + d**3 - d. Is f(x) a prime number?
True
Let p = 249 + -126. Is p a composite number?
True
Let a(f) = f**3 - 3*f**2 - 8*f - 5. Suppose -2 = 4*b - 34. Is a(b) composite?
False
Suppose 0 = -3*x + 4*n + 518, -5*n + 355 = 3*x - 118. Let l = x - 5. Is l a prime number?
False
Suppose -40 + 13 = -2*o + 3*l, -3*o + 42 = -5*l. Suppose o*i - 5*i - 4740 = 0. Suppose 0*t = -3*t + 2*v + i, -4*t = v - 1591. Is t prime?
True
Suppose -2701 = -5*y - 4*t, -3*y - 3*t + 538 = -2*y. Is y composite?
False
Suppose -2*m - 36 = -4*q - 12, 2*m = -5*q - 51. Is (9/m)/((-1)/1706) a composite number?
False
Let q = 1915 + 588. Is q prime?
True
Suppose 12 = 3*q + 5*j - 22, 20 = 3*q - 2*j. Is 2858/4 - 4*3/q a prime number?
False
Suppose 0 = 4*h + h - 5, 0 = 3*w + 3*h - 15. Suppose -3*r - 5*f = -308, -5*r + 0*f + 538 = -4*f. Suppose -w*v = -274 - r. Is v prime?
False
Let b = -3 + 8. Let v(w) = w**2 + 3*w - 1. Let o be v(b). Suppose 0 = -t + 4*t - o. Is t a prime number?
True
Suppose o - 6 + 8 = 0. Let l be (-1)/o*(1 - -73). Suppose -4*d + 31 = 3*w, 8 - l = -3*w - 5*d. Is w prime?
True
Is 48 - -6850 - -5*(-1 + 0) composite?
True
Let j(q) = 24*q + 1. Let v(s) = -s**3 - 4*s**2 + 3*s - 5. Let y be 3 - (3 + -6 + 11). Let a be v(y). Is j(a) prime?
False
Let z be 1/(5 - -1) - (-66)/36. Is z/(-2)*(-1908)/12 composite?
True
Let t = -3 + 8. Suppose -4 = -2*d + 4*h, 2*d = -h + 4 + t. Suppose -d*v = -6*v + 254. Is v composite?
False
Let y(p) = 16*p + 19 - 5*p**3 - 7*p - 11*p**2 + p**3 + 6*p**3. Is y(9) a composite number?
True
Suppose -26 = -38*u + 39*u. Let c(y) = y**2 + 5*y + 27. Is c(u) composite?
True
Let n = 13 + -9. Let f be 5 + (-4)/(-2 + n). Is -1 + f*20/3 a prime number?
True
Suppose t + 418 = 1694. Suppose t = 45*b - 41*b. Is b prime?
False
Suppose 1 = -4*k - 23. Is 1*(534 + (-5 - k)) prime?
False
Let f(a) = -21*a**3 + a**2 + 6*a - 11. Let j(u) = -u**3 - 1. Let z(t) = f(t) - 2*j(t). Let k be z(4). Is 10/(-35) + k/(-7) composite?
True
Let p(m) = -24*m + 1. Suppose -3*v + 7*v = -36. Let w be p(v). Suppose -37 - w = -2*f. Is f a composite number?
False
Let d = -356 + 7749. Is d composite?
False
Let h(x) = -x**3 + 7*x**2 + 5*x + 1. Let n be 6*(-3 - (-11)/3). Suppose 0 = -n*a + 36 - 12. Is h(a) composite?
False
Let w be (-26 + 1)*(-1 + 2). Is 427/5 + (-15)/w a prime number?
False
Let k(j) = -543*j - 8. Let v = -50 - -45. Is k(v) composite?
False
Is (-12)/(-30) - (-2 + (-150069)/15) a prime number?
True
Let x = -32 + 36. Suppose -2*r + x*v + 554 = 0, 5*r + v = -3*v + 1455. Is r prime?
False
Is 6/4*2456/18*3 composite?
True
Is (-1)/(3/(-3400)) - (-2)/(-6) a composite number?
True
Suppose 7*h - 12*h - 650 = -5*v, 142 = v - 5*h. Is v a prime number?
True
Let l(t) = -80*t + 5. Let m be l(-8). Suppose 0 = 3*h - 4*c - 1666, 4*h = 4*c - m + 2873. Is h prime?
False
Let m(j) = -5*j**2 - 4 + 4 - 177*j**3 - j - 4 - 2*j. Let s be m(-3). Suppose 3*r - 10*r + s = 0. Is r prime?
True
Let x = 19 - 15. Suppose -i = x*i - 8900. Suppose 3*h + h - i = 0. Is h composite?
True
Let h(t) be the third derivative of 191*t**5/60 - t**4/24 - t**3/6 + 3*t**2. Suppose 4*y + 25 = -y + 4*d, 0 = 3*y - 4*d + 23. Is h(y) a composite number?
False
Let j be (3/9)/((-3)/(-9)). Let a(g) = 0 - j + g - 5*g - 2*g**3 + 5*g**2 - 2. Is a(-4) a composite number?
True
Let f = -140365 + 238866. Is f prime?
False
Let d = -2839 + 1533. Suppose 0*z - 13559 = -7*z. Let i = z + d. Is i a composite number?
False
Let b = -4323 - -18806. Is b a prime number?
False
Suppose -18*b - 4*b + 166342 = 0. Is b a prime number?
True
Let l = 425 + 12. Suppose -6*m = -2*m - 1392. Suppose -5*x + l = -m. Is x a composite number?
False
Let o be ((-548)/2)/(8 - 9). Suppose 3*z - 197 = o. Is z composite?
False
Let a = -219 + 346. Is a prime?
True
Let g(w) = 1123*w**2 + 39*w - 147. Is g(5) a composite number?
False
Let s = 7140 + -3658. Let z = s + -1149. Is z composite?
False
Let h(r) = 81*r - 6. Let o be h(2). Suppose 4*d = 8*d - o. Let g = d - 8. Is g prime?
True
Suppose 0*o + 2*o + 3*k = -5, 0 = 2*o - 5*k - 19. Is ((1772/(-1))/2)/(-4 + o) prime?
True
Suppose 2*r + r - 5*b - 3744 = 0, 2*r - 2492 = 2*b. Is r prime?
False
Let r(k) = 376*k + 5 + 10 - 8 + 4. Is r(3) a prime number?
False
Suppose -5*f = 3*a - 0*f + 30, -2*a = 4*f + 20. Is 34260/75 - (-1 + (-8)/a) composite?
False
Let i(s) = 5 - 3*s - 11*s + 2*s. Suppose 4*n + 20 = -4*x, 3*x - x + 5*n + 7 = 0. Is i(x) a prime number?
False
Let s(y) = -y - 4. Let v be s(-9). Suppose -v*k = -0*k. Is k - ((-3)/3 - 22) a composite number?
False
Is 5 - (-10016 - (1 + -7)) a prime number?
False
Let x be (297/6)/(18/(-36)). Suppose 30 = -2*k + 3*r, k - 5*r + 11 + 11 = 0. Le