 + 15. Let a be b(7). Is (-16)/136 + (-2690)/a a prime number?
True
Suppose 0 = -319*w + 314*w + 42970. Is w a prime number?
False
Suppose 0*y - 8 = -4*y. Let m(b) = -58*b**2 + 2*b - 3. Let k(s) = 59*s**2 - 2*s + 3. Let j(f) = -5*k(f) - 6*m(f). Is j(y) composite?
False
Is 765505/45 - 6/27 composite?
False
Let y = -2831 - -9636. Suppose -17*i + y = -12*i. Is i composite?
False
Suppose 5*x + 102258 = 4*z, 15*x - 20*x = 3*z - 76676. Is z a composite number?
True
Is ((-32480)/(-12) + 9)/((-3)/(-9)) a prime number?
True
Suppose -3*u - 1645 = -4*t, 6*t + 4*u + 421 = 7*t. Is t prime?
True
Let v = 29 + -16. Suppose -149 = -a - 2*r, 0 = 3*a - r + v - 446. Is a a prime number?
False
Suppose -2*i = -5*i + 1956. Suppose 4*q + i = 8*q. Is q a prime number?
True
Suppose 0 = -10*i + 89102 - 12612. Is i composite?
False
Let s(t) = 127*t**2 - t + 1. Let r = 8 - 6. Let k be r/(-3) - (-10)/6. Is s(k) prime?
True
Let i be (-3)/12 - 705/(-20). Let l = 169 - i. Is l composite?
True
Let h(p) = p**3 + 11*p**2 - 15*p - 13. Let w be h(-10). Suppose 5*j - 5*a - 395 = -0*a, 0 = -3*j - a + w. Is j a prime number?
True
Suppose 0 = -3*m - 15, -m = -k - 16 + 3. Suppose g - 15 = -0*g. Is (k - -16) + g*15 a prime number?
True
Suppose -x - 2 + 7 = 0. Suppose 5*i - 4*j + 1 - x = 0, 4*i - 2 = 2*j. Suppose i = 4*a - 3 - 37. Is a a composite number?
True
Let r(s) = s + 12. Let d be r(-7). Suppose -3*b + d*b - 14 = 0. Let j = 12 + b. Is j prime?
True
Suppose 22991 = 4*p - 6*k + 5*k, -3*k - 28737 = -5*p. Suppose 2*x - 6*x + p = 4*n, 5*n = -4*x + 7189. Is n a prime number?
False
Let j(v) = v + 15. Let r be j(-12). Let c(w) = 2*w + 40 - 13*w**3 - 3 + 14*w**r - 4*w. Is c(0) composite?
False
Suppose 6 = -5*d + 8*d. Is ((-1359)/(-6) - 2)*(4 - d) a composite number?
False
Suppose 19513 = -l + 5*v + 104093, -5*v - 253790 = -3*l. Is l a composite number?
True
Let h be (-3)/(-3*1/9). Suppose h = 3*z - 33. Is z a prime number?
False
Let d(h) = 17*h + 63. Is d(4) composite?
False
Let a(s) = -4*s**3 + 3*s**2 - s + 2. Let j(f) = 3*f**3 - 2*f**2 + f - 2. Let q(g) = -4*a(g) - 5*j(g). Let z be q(1). Suppose 19 = -z*k + k. Is k composite?
False
Suppose -q = q + 10. Is (q/(-15))/((-3)/(-4869)) prime?
True
Let n be (-1340)/6*(-18)/12. Suppose 0 = -b - 2*y - n, 0 = -2*b - 2*b - 5*y - 1343. Let p = b + 1020. Is p composite?
False
Suppose 0 = -y - 3 - 12. Let b be 3/y + (-161)/(-5). Suppose -a + 183 = 2*u, a - 175 = 4*u + b. Is a a prime number?
True
Is (-18)/135 + (-22594)/(-30) a composite number?
True
Suppose 3*t + 18 = 9*t. Is -1 - t - (-144 - -9) a composite number?
False
Suppose -5*h + 5*s = -8*h + 95866, 5*h - 5*s - 159790 = 0. Is h prime?
True
Let h be ((-148)/6)/((-1364)/342 - -4). Let t = -416 - h. Is t composite?
False
Suppose -2*r + 186 = k + 2*r, -2*r = -k + 180. Suppose 3*y + k = 5*y. Suppose 2*j + y = 3*j. Is j composite?
True
Suppose 5*s + 1912 = 3*s. Let t be (-1508)/(-8) - (-2)/4. Let u = t - s. Is u prime?
False
Suppose 2*m + 27 = -71. Let o = 129 + m. Suppose w - 51 = o. Is w prime?
True
Let l(p) = 380*p + 10 - 380*p + p**3 - 5*p**2. Is l(6) a composite number?
True
Let w = 25252 - -41539. Is w composite?
False
Let z = 3882 - 1361. Is z prime?
True
Let p(g) = 15*g**2 - g + 1. Let f be p(1). Let m = 19 - f. Suppose 0*j = m*j - 2492. Is j composite?
True
Suppose 53*f - 492471 = -10*f. Is f prime?
True
Suppose 242937 = 30*d - 15753. Is d composite?
False
Let i(d) = 160*d**2 - 2*d + 3. Suppose -q + 2*n = -11, -n + 4*n = q - 16. Is i(q) a composite number?
True
Let i = -14648 - -24519. Is i composite?
False
Suppose 3*p - t - 21835 = 0, 3*p + 10*t = 6*t + 21845. Is p composite?
True
Suppose 215400 = 26*g - 147638. Is g a prime number?
True
Let i(o) = -o**3 + 9*o**2 - 8*o - 1. Let b be i(8). Is 13/((3/(-51))/b) a prime number?
False
Suppose z = -0*z + 21. Is z/1*(-68)/(-12) a composite number?
True
Suppose 902 = t + 2*m + 242, 0 = t - 4*m - 630. Let b = -383 + t. Is b composite?
True
Suppose 3 = 3*p, -5*p + 139 = -9*g + 11*g. Is g composite?
False
Suppose 0 = -4*y - 14*o + 9*o + 5596, 5*y - 5*o = 6995. Is y a prime number?
True
Let a be 4*1/12*-6. Let w(b) = b**3 + 5*b**2 - 5*b. Let s(f) = 6*f**2 - 5*f - 1. Let x(c) = a*s(c) + 3*w(c). Is x(3) prime?
False
Suppose 5*a = -4*x + 9210, 3*x + x + 7368 = 4*a. Suppose 5*t + t = a. Is t a composite number?
False
Suppose 25 = 5*d, 3903 + 2995 = h - 3*d. Is h a composite number?
True
Suppose 2*b - 21 - 49 = 0. Suppose -130 = -3*n + b. Is n prime?
False
Let h(b) = 235*b - 13. Suppose -24 = 27*i - 30*i. Is h(i) composite?
False
Let x(m) = 835*m - 13. Suppose 19 = 2*t + 3*u - 0*u, -14 = 3*t - 4*u. Is x(t) a prime number?
True
Let o be (-11)/(-11)*(-2 + 5). Let y = -5 - -8. Is -79*y/((-9)/o) a prime number?
True
Let t be ((-6)/9)/(2/204). Let w = t - -207. Is w prime?
True
Let o(d) be the second derivative of d**5/20 + d**4/4 - 5*d**3/6 + d**2/2 - d. Let m be o(-4). Suppose -372 = -m*v - 37. Is v a prime number?
True
Suppose 0 = 4*d + 2*x + 18, x + 9 = 4*x. Let r(w) = -139*w + 1. Is r(d) prime?
False
Let n(l) be the third derivative of 437*l**6/120 - l**4/6 + l**3/2 - l**2 - 3*l. Is n(2) a composite number?
False
Suppose 0 = 11*a - 15*a + 6932. Is a prime?
True
Let t be 0/(2*9/6). Suppose -10*m + 2*m + 2648 = t. Is m composite?
False
Let l(a) = -a**2 + 6*a + 15. Let r be l(7). Suppose -r*s + 494 = -930. Is s a prime number?
False
Let w = -111 - -114. Let f(m) = 22*m**3 - 3*m**2 + m + 3. Let c be f(3). Suppose 0 = w*b - l - 2*l - c, -955 = -5*b + 3*l. Is b composite?
False
Let i(q) = q**3 + 1. Let d(k) = 4*k**3 + 12*k**2 + k + 18. Let w(l) = d(l) - 5*i(l). Is w(10) composite?
False
Is ((-20)/(-6) + -3)/((-10)/(-331710)) a prime number?
True
Let s(z) = 24*z**2 + 18*z + 113. Is s(-16) a composite number?
True
Let f(v) = -v**2 + 7*v + 2. Let o be f(9). Let n = -1 - o. Is 3066/n + 3/5 a prime number?
False
Suppose -17 = -r - 5*t, -3*r + 6 = -t + 3. Suppose -n = 176 - 690. Suppose -4*f + 1255 = 5*q, -5*q + n = -r*f - 711. Is q a prime number?
False
Suppose -6168 = -7*h + 20117. Is h prime?
False
Suppose c - 6*f + 18 = -f, 5*f - 24 = -2*c. Is (0 - -2)*c + 3931 a composite number?
True
Suppose 13*d = 15*d - 1034. Is d a composite number?
True
Let k(d) = d**3 + d**2 - 10*d. Let z be k(5). Let t = 61 + z. Is t a prime number?
False
Suppose 2*v - 7 - 2 = -3*t, -2*t + 3 = v. Suppose -7*q = -v*q + 1838. Is q prime?
True
Suppose 3*x + 3*b = 6*b + 23676, 3*b = 12*x - 94749. Is x a composite number?
True
Let q = -10 - -16. Let a be (q/(-2))/(1/(-1)). Suppose -5*d + 502 = -a*d. Is d composite?
False
Let n(d) be the third derivative of d**7/1260 + 7*d**6/720 + 11*d**5/120 - d**4/4 + 9*d**2. Let x(q) be the second derivative of n(q). Is x(-8) prime?
True
Suppose 0 = 5*a + 5*d + 120, -2*a + 40 = -3*a - 5*d. Is (-6)/8 + (-5875)/a a prime number?
True
Let k = -2276 - -3337. Let x = -430 + k. Is x a composite number?
False
Let g(y) = y**2 - 15*y + 39. Let w be g(12). Suppose -3*s = -4*s - 2*u + 125, 2*s - w*u = 215. Is s a composite number?
True
Is (-3)/1*(-8)/8 + 1220 prime?
True
Suppose -187 = -3*c + 1370. Is c prime?
False
Suppose -5*b + 83725 = -250665. Suppose 3*l + b = 21668. Is 4/(-10) + l/(-50) prime?
False
Let n(w) = -w**3 + 14*w**2 - 10*w - 2. Suppose 0 = 2*c - 3*f + 9, c + 37 = 5*c + 5*f. Suppose 5*z - 55 = 2*j, -4*z - j = c*j - 72. Is n(z) prime?
True
Let r = 11 + -8. Let q(a) = 25*a**2 - 6*a + 4. Is q(r) a prime number?
True
Let a be 48/1*(-56)/(-16). Let y = -102 - -53. Let w = y + a. Is w a composite number?
True
Let a be (-6)/(-4)*(-40)/10. Let j be a/(-27) + (-1576)/(-36). Let k = j + -6. Is k prime?
False
Let c = 11 + -16. Let s be (1 - c) + (0 - 3). Suppose -u + s*d = -2*d - 373, 0 = -2*d. Is u a composite number?
False
Let m = 13466 + -3829. Is m a composite number?
True
Let c(i) = i**2 + 5. Let h be c(0). Suppose h*q = 2*q - 36. Let k = 49 + q. Is k a composite number?
False
Suppose n + 23400 = 5*n - 5*m, -2*n = -4*m - 11694. Is n prime?
False
Let m = -17447 - -26796. Is m a prime number?
True
Suppose -4*p = 5*c - 3*p + 13, 2*c - 3*p = -12. Let n be (c + 65/25)*-5. Suppose -n*f - j - 377 = -3*f, -5*f + j = -1905. Is f prime?
False
Suppose 3*g = -2*t + 3 + 13, -5*t - 3*g = -31. Let k be 3/t + 34/10. Suppose 524 = k*c - 272. Is c a prime number?
True
Supp