Let t(b) = -2*b**3 - 14*b**2 - 3*b + 1. Let x = 6 - -9. Suppose -16*n - 10 = -x*n. Is t(n) a prime number?
True
Let m = 207 - -1625. Suppose f + f + 4*n = m, 0 = -4*n - 8. Let s = f + -625. Is s a composite number?
True
Let d be (8/6)/(4/(-438)). Let x = 610 + -1049. Let v = d - x. Is v a prime number?
True
Suppose 34750 = 16*f - 75618. Let c = f + -4695. Is c composite?
False
Suppose -k - 62 = -2*o - 6*k, -41 = -o - 5*k. Let t be (1 + o)*4/4*1. Suppose t*y = 17*y + 14745. Is y composite?
True
Let x = -22 + 24. Suppose -4*l - 7 = 1, 1248 = 4*m + x*l. Suppose 4*b = 3*b - 3*u + m, 2*u - 4 = 0. Is b a prime number?
True
Let j(f) = 2*f**2 - 18*f - 18. Let n be j(10). Suppose 6 = -3*v, 0 = 2*a + n*a + v - 6866. Is a composite?
True
Let n be 2/(-10) + 21704/20. Suppose 6*t - 390 - 10314 = 0. Let i = t - n. Is i composite?
True
Suppose -92310 = -13*r + 169133. Suppose -49186 - r = -3*s. Is s a prime number?
True
Let a(y) = -5*y - 42. Let m be a(-10). Let b be (4/16 + 30/m)*2095. Suppose n = -4*g - g + 2095, -4*n + g + b = 0. Is n composite?
True
Let t(y) = -y**3 + y**2 - y + 5167. Let q be t(0). Let v = q - 2120. Is v a prime number?
False
Is (-639693)/(-6) - (-14)/(-28) a composite number?
True
Suppose -7*y = -684 - 13652. Suppose 0 = -2*b - 418 + y. Is b composite?
True
Let p(v) = -1127230*v**3 - v**2 + 4*v + 4. Is p(-1) composite?
True
Let o(q) = 12 + 5*q - 11 - 5*q**2 + 4*q**3 + 2*q + 2*q**2. Suppose -6 = -0*l - l. Is o(l) prime?
False
Let l = 9793 + -6715. Suppose a + 6*d = 5*d + 1547, 2*a - 2*d - l = 0. Is a a prime number?
True
Let y be (1 - (-1)/(-2))/((-53)/(-3274658)). Suppose 2*k - 61786 = -2*j, 12*j - 10*j - y = -k. Is k prime?
True
Suppose 2*d = o + 1866708 - 149582, -2*o = 2*d - 1717126. Is d prime?
True
Suppose n + 5*y + 20 = 6*n, -3*n + 5*y = -12. Suppose -4*r - 7573 = -5*m, 2*m - r = -n*r + 3043. Is m a composite number?
True
Let b(k) = k - 2. Let f be b(7). Let g = -296 - -311. Suppose h + 86 = 2*h - f*n, -g = -3*n. Is h a prime number?
False
Is ((-6398982)/(-4))/3*(-8)/96*-8 prime?
True
Suppose -2107351 = -12*c + 5236625. Is c prime?
False
Suppose 5*d + 2*d + v - 4188795 = 0, 0 = -3*v + 6. Is d prime?
True
Let j = -182 - -188. Suppose -4*p = -b - 8686, 3*p - 2*b = j*p - 6509. Is p composite?
True
Is 7/((-308)/(-110))*73258/5 composite?
False
Let u = -478769 - -712432. Is u prime?
True
Suppose -4*u + 5*v + 11231 = 0, 7 = -3*v - 2. Suppose -c - f = -896, 4*c - 779 - u = -3*f. Suppose -3*z + 4*z = c. Is z prime?
False
Let g(u) be the second derivative of 0 + 223/2*u**2 + 0*u**4 + 1/20*u**5 - 12*u - 1/6*u**3. Is g(0) a composite number?
False
Let d(g) = g**2 + 11*g - 22. Suppose 1 = -3*c - 38. Let l be d(c). Suppose -5*u + 193 = l*p, p + 0*p - 150 = -4*u. Is u prime?
True
Let j be 76/8 + -5 - 2/4. Suppose p - 4*c = -55 + 386, 0 = 3*p - j*c - 993. Is p a prime number?
True
Is 227658 + (0 - ((-1)/4)/((-27)/(-108))) a composite number?
True
Suppose 3*m + 9 = 0, 0 = -w - 0*w - m - 1. Suppose -4*q = -w*y - 2016, 0*q + y = 5*q - 2514. Is q composite?
True
Suppose 0 = o + 5*a + 417, 0 = -2*a - a. Let m(b) = -114*b + 592. Let p be m(-4). Let i = o + p. Is i prime?
True
Is ((-29)/((-1044)/(-24)))/((-4)/879834) a prime number?
True
Suppose 0*y = 4*y - 3*g + 3435, -2*y - 1716 = -2*g. Let v = 4870 + y. Is v a composite number?
True
Suppose 5*y = m - 625296, -5*y + 748729 + 501938 = 2*m. Is m composite?
True
Suppose -9*z + 135854 = 33227 - 85014. Is z a composite number?
False
Suppose 3*y + 4*k = 26650, 4*k + 14658 - 5796 = y. Suppose -6*b = -y - 10940. Let u = b + -1744. Is u prime?
True
Let o = 8938 - -17283. Is o prime?
False
Suppose -11*d - 98636 = -15*d + 2*t, -4*d - 3*t = -98636. Is d a prime number?
True
Let o be (16 + 0)*(6 - 7). Let h be (3 + o/6)*1083. Let b = h + -227. Is b a composite number?
True
Is 8 - (-99074 - (-104)/8) composite?
True
Is 456/532*(-28)/6 - 30907*-5 composite?
True
Let p be (14/(-28))/(3 + 13/(-4)). Let s(f) = -f**3 + f**2 + 4*f + 2. Is s(p) a prime number?
False
Let l be 1067 + (15/5 - 4). Let n be 2 + 0 - (4 + -5 - l). Suppose 0 = -6*q + 5*q + n. Is q a composite number?
False
Let d(t) be the first derivative of -7/3*t**3 + 4*t + 19 + 1/2*t**4 + 6*t**2. Is d(7) prime?
True
Let r = 288179 - 169776. Is r a prime number?
False
Suppose x + 1 = 27. Suppose -2*s - x = -8. Is (s/2 + 4)*-3622 prime?
True
Suppose 5*r - 37 = 2*p - 9, 0 = -2*r + 2*p + 10. Suppose -4*i = -2*a - 4, -8*a = -4*a - 5*i + 11. Is ((-15)/r)/(a/88) a composite number?
True
Let m be 3 - -11 - 4/2. Suppose 0 = -v + i, 0*v = v + 5*i - m. Suppose 0 = z + z + v*s - 22, -3*z - 4*s + 31 = 0. Is z a composite number?
False
Let h = -50 - -61. Let g be h/5 + -2 + 19/5. Suppose -g*z = -3*z - 3109. Is z prime?
True
Let d(h) = -3*h**2 - 13*h - 4. Let l be d(-5). Is (-1193)/(-3) - ((-84)/(-18))/l a composite number?
True
Let s = -38074 + 56967. Let a = s + -11516. Is a composite?
True
Suppose 2*a + 7 = -3*i, -3*a + 3*i = -i - 32. Let l(b) = 327*b - 51. Is l(a) composite?
True
Let j be (-216)/(-1) + (-8 - -8). Let z = 211 + j. Is z prime?
False
Let s(c) = -15*c + 8. Let u be s(-14). Suppose i - 3*l = u - 26, 6 = 2*l. Is i prime?
False
Suppose -321815 = -5*q + 4*k, 3*q + 50*k - 193111 = 48*k. Is q composite?
True
Suppose 4 = -g + 2*q, -3*g - 4*q - 5 = 27. Is (-1010)/g*52/13 prime?
False
Let k(u) = 3*u - 2*u - 11*u - 11. Suppose -189 = -16*l - 333. Is k(l) a composite number?
False
Let c(o) = -18 - 8 - 1 - 7*o + 0 + o**2. Let u be c(-3). Suppose 6*n - 4541 = u*n - 4*j, 2*j + 6040 = 4*n. Is n prime?
True
Let k(m) = m**3 + 19*m**2 + 5. Let x be 19*(-5)/(-10)*-2. Let v be k(x). Suppose v*h + 44 = 119. Is h a composite number?
True
Let k(s) = s**3 + 19*s**2 + 35*s + 20. Let o be k(-17). Suppose -8*b + 46 = 3*z - 3*b, 4*z - 5*b - 3 = 0. Suppose o*w - z*w = -844. Is w a composite number?
False
Let i = 348 - 346. Suppose i*j - 35930 = -8*j. Is j a prime number?
True
Suppose -3*h + 79 = 31. Suppose -4*y + h = -220. Is 3 - 6/2 - -7*y composite?
True
Is 511586 + -10 + 21 + 9 a prime number?
False
Let c(l) = -9*l + 44. Let r be c(4). Is ((-66648)/6)/(r/(-10)) a composite number?
True
Let s = 561 - 104. Suppose 308 = 3*z + 4*q - s, z - 263 = -4*q. Is z a prime number?
True
Let z(n) = -n**3 - 9*n**2 + 8*n - 14. Let c be z(-10). Suppose -5*k - 26 = -c*k. Suppose 3*x - 547 - k = 0. Is x a composite number?
False
Let g be (-5 - -1) + 3419 + 3. Suppose -g = -m + 5*q, -7*m + 8*m + q = 3436. Is m a composite number?
False
Suppose -85*g = 3*t - 82*g - 2139864, -t - 3*g + 713294 = 0. Is t a composite number?
True
Suppose -d - 3264 = 3*m - 35221, -2*d = 4*m - 42612. Is m a prime number?
True
Let x(j) = -j**3 + 11*j**2 - 30*j + 6. Let g be x(7). Let b(s) = 337*s**2 + 3*s + 35. Let k be b(g). Is 8/20 - (k/5)/(-3) composite?
False
Let t = 1 + 12. Let f = 15 - t. Suppose 0 = -s + 2*g + 118, -f*s + 354 = s + 2*g. Is s a prime number?
False
Suppose 4*x + 4 = 8. Let a be 12/(-3) - (-9)/x. Suppose 2*j + a*y = 3*j - 242, -3*j + 707 = 4*y. Is j composite?
True
Is (-85637)/(-29)*(-202)/(-2) a composite number?
True
Is 115265*-9*9/(-81) a prime number?
False
Let s be (-503)/((-7)/644*-4). Let f = -7458 - s. Is f a composite number?
False
Let g(r) = 1855*r + 218. Is g(12) composite?
True
Suppose 8*s = -29023 - 51553. Is 2/((-4)/(s/((-8)/(-2)))) a prime number?
True
Let o(m) be the second derivative of -32*m**5/5 - m**4/6 - 5*m**3/6 - 7*m**2/2 - 2*m. Is o(-2) prime?
True
Let p be -1 + 0 + 57/3. Suppose 15*r - p*r + 6783 = 0. Let l = r + -862. Is l prime?
True
Let a(k) = 32*k**2 - 10*k + 0*k**2 + 9*k**2 - 2*k**2 + 7. Let z be a(-13). Let v = -2935 + z. Is v composite?
False
Is (-22)/(1100/(-3582635)) + (-6)/(-20) a composite number?
True
Suppose 106 = -5*j - 114. Let v = j - -28. Is (2/1)/((v/(-382))/4) a prime number?
True
Suppose 216 = -13*p + 645. Is 4742*11/p*6/4 composite?
False
Let i = -99 - -106. Suppose 3*x + 3*j = i*x - 7760, 4 = -j. Is x a prime number?
False
Suppose 2*j - 2268 = 8*j. Let y = -5 - j. Is y prime?
True
Let y(l) = 21*l**2 + 5*l - 7. Let o be y(2). Let m = o - 83. Suppose -3*a = -m*b - 318 - 191, -4*b = 3*a - 469. Is a composite?
False
Suppose 3*f + 4*i - 16 = 0, 0 = -i + 2 - 1. Let x(c) = -4 + 5 + 4*c - 5*c + 5*c**2 + 4*c**3 - 4 + 2. Is x(f) composite?
False
Let g = 14 + -4. 