(a) prime?
True
Suppose -4*i + 77546 = -2*p, -2*i + 13*p - 16*p + 38777 = 0. Is i prime?
True
Let y be (-12)/(-16) + 26/8. Is (-63081)/(-81) - y/(-18) composite?
True
Let w(m) = -m + 2. Let u be w(-1). Suppose -4*i + 0 = 2*z - 7252, u*i - 5445 = -3*z. Is i composite?
False
Suppose -x = -2*o - 1931, 3*x = 9*o - 5*o + 5789. Is x prime?
False
Let q(i) = 9*i**2 + 4*i + 6. Let y be q(-7). Suppose -24*v = -23*v - y. Is v prime?
True
Is (-39041)/3*150/(-50) prime?
True
Let j(m) = -40*m - 6. Let c be j(5). Let r = 948 - 449. Let a = c + r. Is a prime?
True
Let l(t) = 2465*t**3 - t**2 + 2*t - 1. Let h be l(1). Suppose -19*k + h = -14*k. Is k composite?
True
Let w(m) = -3*m**2 + 53*m + 67. Let l(a) = -2*a**2 + 35*a + 45. Let t(b) = 8*l(b) - 5*w(b). Is t(13) a composite number?
True
Let i be 74/(-9) - (-6)/27. Is (-311)/i - 9/(-72) a composite number?
True
Let b = 328 - 2792. Let o = b + 4365. Is o a composite number?
False
Let i be (-10)/15*3/2. Let p(z) = 66*z**2 - z. Is p(i) a composite number?
False
Let t be (-5 + 14/4)*(0 + -2). Suppose -9*d = -6*d - 6, 5*g + t*d - 4351 = 0. Is g prime?
False
Suppose 0 = -z + p - 26 + 767, -2962 = -4*z + 5*p. Is z composite?
False
Let z = 865 - 689. Let j be (0 - -1755) + (-3 - -2). Suppose -6*v - z = -j. Is v composite?
False
Let o = -19 + 22. Suppose -2*v + 1784 = -5*s, -6*v + 5*s + 2671 = -o*v. Is v a composite number?
False
Let k(p) = -7*p - 15. Let u(b) = 11 - 20*b - 15 - 40. Let c(i) = 11*k(i) - 4*u(i). Is c(14) a composite number?
False
Let t(j) = 27*j**2 - 16*j - 121. Is t(18) a prime number?
False
Let s(v) = -v**3 - 2*v**2 + v + 1338. Let t be s(0). Suppose t = -7*p + 9*p. Is p prime?
False
Suppose 5*x - 8085 = -5*t, -3*x + 4883 = -7*t + 2*t. Is x composite?
False
Suppose -17 - 3 = 4*t. Let s(y) = y**3 + y**2 - 7*y - 11. Let q be s(t). Let v = q + 129. Is v composite?
False
Suppose 0 = 358*l - 364*l + 30198. Is l a composite number?
True
Let c = 6 + -5. Let j be c + -3 + (-12)/(-3). Suppose -2*r + 545 = r + j*x, 3*r + 4*x = 553. Is r a composite number?
False
Suppose -5*l + 12*l = 12649. Is l a prime number?
False
Suppose 5*s + 2*l = 73, 3*l = -5*s + 41 + 36. Suppose 3 = -2*o + s. Suppose 45 = o*r - 4*h, 3*r - 17 = -4*h + 42. Is r a prime number?
True
Let k(v) = 3*v + 22. Let f be k(-5). Let g(m) = -m**3 + 7*m**2 + 4*m - 4. Let b be g(f). Is 0 + 41 - b/8 a composite number?
True
Suppose 0*s - 4*s - 20 = 4*f, 4*f = 8. Let t(c) = c + 14. Is t(s) a prime number?
True
Let q be 2 + 4/(-6)*3. Suppose -5*r = -3*b + 1024, 3*r - 3*b + q*b = -612. Let a = r - -363. Is a prime?
True
Suppose 38250 = 4*n - 2*j, -14*j + 38245 = 4*n - 15*j. Suppose n = 5*w - 3350. Is w prime?
False
Let m be (-21)/(-35) + (-96)/(-15). Suppose -2586 = f - m*f. Is f prime?
True
Let a = 242 - -16. Suppose 2*n - j = 118, -2*n + 63 = 2*j - 67. Suppose n = m - a. Is m composite?
True
Let m = -24 + 1. Suppose 3*h + o = -0*h + 56, -4*o = -5*h + 116. Let j = h - m. Is j composite?
False
Suppose 0 = -3*j - 2*j + 4995. Suppose -4*l = 5*p - j, 2*l + 3*p - 498 = p. Let k = -68 + l. Is k prime?
False
Let a = -145 + 152. Let n(j) = j**2 - 19*j + 9. Let k(i) = 20*i - 9. Let o(c) = 2*k(c) + 3*n(c). Is o(a) prime?
True
Suppose -2*l + 2*z - 6 = 0, 0 = -l + 2*l - 2*z + 6. Suppose l = d - 1122 + 443. Is d composite?
True
Let c(y) = 2*y**2 - y**2 - 5 + 15*y - 5*y + 1. Let n be c(-10). Let q(z) = -2*z**3 + 3*z + 5. Is q(n) prime?
False
Suppose 4*x - 2*h = 7*x - 2299, -5*x + h = -3849. Is x a prime number?
True
Suppose -6*x + 2062 = -3398. Let p = x - 263. Is p composite?
False
Is -3 + (-11688)/(-20) + 4/(-10) prime?
False
Let a(t) = -t**3 + 6*t**2 + 9*t + 5. Let v be a(7). Suppose 23 + 187 = 5*f. Suppose -v*i = -22*i + f. Is i a prime number?
False
Suppose 2*s + 6 = 0, 4*z = 8*z + 3*s - 3. Suppose -4*w + z*w + 907 = 0. Is w a composite number?
False
Let c be 1/((7/(-2))/(-7)). Suppose -3*x + 3*b = 2*x + 15, 5 = -c*x + b. Suppose 3*k - 4286 - 1561 = x. Is k prime?
True
Let c(q) = -q**3 - 3*q**2 - 2*q - 3. Let x be c(-4). Suppose -2*m - 3*r + x = m, -4 = -2*r. Suppose m*v = -20, -4*t + 5*t = 2*v + 565. Is t a prime number?
True
Suppose 0*r + 5*r - 16 = -d, 3*d - 9 = -2*r. Suppose r*c = 8*c - 3365. Is c composite?
False
Suppose -2*i - 4*a = -16, i - 4*i = 5*a - 21. Suppose i*u = -4*b + 3326, -4*u + 7915 - 1284 = b. Is u prime?
True
Let d = -61 - 108. Suppose 4*q + 729 = 7*q. Let x = d + q. Is x a prime number?
False
Suppose 70626 = -8*r + 179386. Is r prime?
False
Let b(y) = -y + 12. Let l be b(3). Suppose l*r = 10*r - 235. Is r prime?
False
Let v = 9610 - 6773. Is v a composite number?
False
Let q = 10 - 4. Suppose 5*s - q*y + y - 1075 = 0, 5*y = -3*s + 613. Is s/4 - (-2)/8 composite?
False
Let f = 766 - -403. Is f composite?
True
Suppose -4*r = -4*m - 24, 0 = 2*m - 0*m - r + 7. Let s(b) = 288*b**2 - 3*b - 2. Is s(m) a prime number?
False
Let s(u) = u - 1. Let a(x) = -x**2 - 7*x + 12. Let v(j) = a(j) - 4*s(j). Is v(-9) composite?
True
Let j = -2 + 4. Suppose j*d - 1117 = d. Is d composite?
False
Let d = -180 + 771. Let s = d - -8344. Is s composite?
True
Suppose 0 = -3*n - 0*w + 5*w + 22291, -5*n + 2*w = -37139. Is n a prime number?
False
Let o be (-1)/(-3 - (-13)/4). Let l(y) = 396*y - 4. Let j be l(o). Is (-21)/35 - j/5 prime?
True
Let u(w) = 23*w**2 - w + 73*w**2 - 2 + 9*w**2 + 5*w**2. Let i be u(2). Suppose 2*n + 3 = 5*n, 0 = -3*p - n + i. Is p composite?
True
Let g = 995190 - 420450. Is (2/6)/(7 - g/82107) composite?
False
Let v = 5 - 2. Suppose -4*l = 4*o - 2*o - 8, -v*o - 12 = 0. Suppose -4*w + 8*w + 2008 = 4*h, 2*w + 2002 = l*h. Is h composite?
False
Suppose -r = -86 - 56. Let j = r + -92. Suppose -z - w = -5*z + 91, -2*z + j = 4*w. Is z prime?
True
Suppose -4*x - 3*z = -9344, 0 = 4*x - 4*z - 2214 - 7102. Is x a composite number?
False
Suppose 4*f = 18*f - 28742. Is f prime?
True
Let x(f) = 40*f**2 + 82*f - 67. Is x(27) a composite number?
False
Let g = 11 + -8. Suppose 52 = b + g*b + 4*k, 0 = -4*b - k + 55. Is b a composite number?
True
Suppose -2*r - 373 = -5*t - 5*r, 0 = 5*t + 2*r - 377. Let k = 21 + t. Suppose 40 = 2*p - k. Is p composite?
True
Let d be (11 + -4 + -4)/((-1)/(-389)). Suppose 5*m - 2*m = d. Is m prime?
True
Let a = 4 + -7. Let m = -1 - a. Suppose v + 0*v = -4*r + 14, v + m*r = 24. Is v a prime number?
False
Let l = -5 - -9. Let z be l/(-2) + 1 - 10. Let f = -1 - z. Is f a prime number?
False
Let k = 44 - 22. Let y = -19 + k. Suppose -y*p + v = -0*v - 974, 4*p - 5*v - 1284 = 0. Is p a prime number?
False
Suppose 3*g + 2*h = -0*h + 90, 4*g - 134 = 2*h. Suppose -325 = -5*o + 5*b, 4*o - 292 = -3*b - g. Is o a composite number?
True
Let y(t) = -6*t + 1452. Let b be y(0). Suppose 4*i = p + 2*p - 885, -b = -5*p - i. Is p prime?
False
Let f = -8 + 10. Let j(g) = 2*g**3 - 10*g**2 - 2*g + 3. Let l(q) = q**3 - 10*q**2 - 3*q + 3. Let i(y) = f*j(y) - 3*l(y). Is i(-7) composite?
False
Suppose 10859 + 2014 = 7*y. Is y a composite number?
True
Let o(i) = -3*i**2 - i + 2. Let z be o(-3). Let s = z + 18. Is (16/s - -1) + 22 a composite number?
False
Let j = 6092 - 3463. Is j a prime number?
False
Is (1*-1)/(81454/6788 + -12) composite?
True
Suppose -2*t - 608 = -2*h, t - 923 = -2*h - 306. Is h composite?
False
Let s be (-3830)/(-12) - (-3 + 57/18). Let r = s + -116. Is r prime?
False
Let n be (-60)/(-16) - 3 - (-1890)/8. Let k = 736 - n. Is k a prime number?
True
Let d(u) = -2*u - 7. Let q be d(-5). Suppose 2*a + 6907 = q*a. Is a prime?
True
Let g(k) = -36*k + 22. Let l(i) = i + 1. Let f(w) = g(w) - 3*l(w). Is f(-10) prime?
True
Let w(z) = -7*z**3 - z**2 - 8*z + 3. Let c(t) = 14*t**3 + t**2 + 16*t - 5. Let m(q) = -4*c(q) - 9*w(q). Is m(6) a composite number?
False
Let i(j) = 91*j**2 + 4*j + 4. Suppose 6*d - 15*d - 9 = 0. Is i(d) a prime number?
False
Suppose 5*m - 5026 = 2*q, -3*m - 4*q - q = -2997. Suppose -m = 5*b - 9*b. Is b a prime number?
True
Let j = 134 + -28. Suppose 105*p = j*p - 4049. Is p prime?
True
Let j = -1054 - -2122. Suppose 0 = -l + 13*l - j. Is l composite?
False
Let w(j) = 1802*j**3 + j**2 - 6*j + 4. Is w(1) a composite number?
False
Let s be 0/(5 - 5 - 1). Is 5/(-20)*(-11885 - (-1 - s)) composite?
False
Suppose -17 = 15*f + 103. Is ((-422)/8)/(((-10)/f)/(-5)) a composite number?
False
Let l be -4 + (-13)/(65/(-30)). Let w(v) = -v