45. Suppose o + n = 5*o + 3*b, -720 = -4*o + 4*b. Is o a composite number?
True
Let x be 4 + (-5)/(5/1372). Let i = 2543 + x. Suppose i = 5*s - 5*c, -2*c + 260 - 19 = s. Is s a composite number?
True
Let g = 1843 - 192. Is g prime?
False
Suppose -23*f + 43*f - 38860 = 0. Is f a prime number?
False
Is (-5)/(-1) + (395 - -43) a prime number?
True
Suppose 33 = -3*y - 4*u + 7, -4*y + 3*u + 7 = 0. Is 91/1 - (2 + y) prime?
False
Let b be (-29235)/(-10)*8/12. Suppose 3*u - 5*c = b, -1308 = -2*u - c - 0*c. Is u composite?
False
Suppose 151 = -f - 35. Let c = f + 342. Suppose -c - 2648 = -4*t - z, -2*t + 1402 = -3*z. Is t composite?
False
Suppose -2*x + 5*n = -152642, -239845 - 141760 = -5*x + n. Is x a composite number?
True
Let u be 6/(-8) + 459/36. Let o = 15 - u. Suppose -5*g + 1930 = 5*y, -o*g + 5*y + 384 = -734. Is g a composite number?
True
Suppose 53*u - 9*u - 1514084 = 0. Is u prime?
False
Let q(a) = -2585*a - 6. Is q(-1) composite?
False
Is ((-18)/6 + 10)/((-3)/(-87)) prime?
False
Suppose t = 2*t + 4*t. Suppose -4*n + t*k - k + 2153 = 0, 3*n - 3*k = 1611. Is n a composite number?
True
Suppose 0 = -2*d - 3*v + 1294, 0*d + 673 = d - 5*v. Is d a composite number?
False
Let k = 1275 - -1588. Is k composite?
True
Let o(p) = 11*p - 6. Let u be o(1). Suppose 0 = u*v - 3*f - 2573, 0*f - 2048 = -4*v + 5*f. Is v prime?
False
Suppose -5*o + 87 = 22. Let q = o - 9. Suppose 5*l + q*r + r = 570, -5*l + 564 = -r. Is l a composite number?
False
Let y be (70/(-10))/(-1*1). Suppose -y*v = -35 + 7. Suppose 3*o + 3*x - 261 = 0, 2*o - v*x = 7*o - 439. Is o a composite number?
True
Let m(q) = 2*q**2 - 10*q - 5. Let u(l) = l**3 - 2*l**2 - 5*l - 1. Let y be u(4). Is m(y) composite?
False
Suppose -4*o + 8*o = 8. Suppose 4*y - o*y = 666. Suppose -4*u = -119 - y. Is u prime?
True
Suppose -4*v + 5*f + 28 = 0, 5*v + 6 = 2*f + 24. Suppose -13 = -v*j + 7. Is 443 - 1 - (7 - j) prime?
False
Let l(z) = -z**2 - 13*z + 2. Let j be l(-13). Is (1/2)/(j*3/4668) a composite number?
False
Let z(c) = 133*c - 136*c + 10 + 101*c**2 - 1. Is z(-4) prime?
True
Suppose -u - 14620 = -6*u. Let l = u + -1269. Is l prime?
False
Let j(s) = s**3 + 12*s**2 + s - 15. Let p be j(-11). Is p + -12 - (-4)/(-1) a composite number?
False
Let t be (-16290)/(-14) - 4/7. Suppose -323 + t = 5*j. Let r = -46 + j. Is r prime?
False
Suppose 0 = t - 0 + 84. Let a be 131/4 + (-21)/t. Suppose l + a = 2*l. Is l prime?
False
Let y(s) = -6*s + 16. Let l(x) = -3*x + 8. Let k(q) = -5*l(q) + 3*y(q). Let t be k(4). Is 8 - -3*t/6 a prime number?
False
Suppose -b = -2*q + 4 - 0, 5*b + 20 = -3*q. Let d(p) = -p - 4. Let o be d(b). Suppose -2*s + 1312 - 166 = o. Is s composite?
True
Suppose 0 = 2*i + i + 57. Let x = -7 - i. Is ((-21)/x)/(2/(-16)) composite?
True
Suppose 325389 = 67*j - 23614. Is j prime?
True
Suppose 3*a - 4 = 2*a. Suppose q + 3*k = 11, 2*k + 2 + 0 = a*q. Suppose -q = z + t - 31, -5*z + 161 = t. Is z a composite number?
True
Let s = -48513 + 75024. Is s composite?
True
Let q = 630 + -392. Suppose 0 = -2*r + 3*r - q. Suppose 2*f - 120 = r. Is f a composite number?
False
Let t(v) = 2*v - 26*v**3 - 23 - 18 + 42. Is t(-4) a composite number?
False
Let r(h) = h**3 - h**2 - h - 1. Let c(u) = 18*u**3 - 7*u**2 + 10*u - 8. Let g(q) = -c(q) + 5*r(q). Is g(-5) composite?
False
Is 4/22 - 19/((-418)/55986) a composite number?
True
Suppose 4*n + 6*n - 10 = 0. Is (-9)/3*((-3800)/6 - n) prime?
False
Suppose 43*k - 44*k + 1729 = 0. Suppose k = 2*j + 135. Is j a prime number?
True
Let k = -36 - 56. Let i = 158 + k. Let a = i - -235. Is a a composite number?
True
Suppose -2*m = -3*m + 4. Suppose -5*b - 3*v + 0*v + 41 = 0, m*v + 32 = 2*b. Is b composite?
True
Let a(x) = x**3 + x**2 - x - 2. Let d be a(-3). Let m be d*3*(-325)/(-13). Is m/(-12) + 2/(-8) prime?
False
Let h = -1508 + 6255. Is h composite?
True
Let v(m) = 14*m**2 + 45*m + 14. Is v(11) composite?
False
Suppose -4*i = -40 + 428. Let a = 202 - i. Is a a prime number?
False
Suppose 18*d - 31*d = -14963. Is d prime?
True
Suppose -2*q = 3*c - 10155, 2*q + q = -3*c + 10152. Is c a composite number?
True
Let k be 10/55 - 222/11 - -3. Let w(u) = u**3 + 18*u**2 + 11*u + 25. Is w(k) prime?
True
Let h be 2 - (2*-3)/(-1). Is 1053/4 - (-1)/h a composite number?
False
Suppose -9*i - 12*i + 66423 = 0. Is i prime?
True
Let a(m) = m - 1. Let z(o) = 2*o - 88. Let h(y) = 3*a(y) - z(y). Let n be -1 + 2*(-2)/(-4). Is h(n) a prime number?
False
Let q(n) = -n - 10. Let p be q(-10). Suppose -3 = s, p = 7*v - 2*v + 4*s - 3923. Is v composite?
False
Suppose -4*w + 3*s = -5*w + 4, -4*s = -4. Let x = -9 + w. Is 405/6 + 4/x composite?
False
Let i be 32/112 - 5304/(-7). Let w = i - 369. Is w a prime number?
True
Let h be 0*(-1)/2 - -4. Suppose f + h = 35. Is f composite?
False
Suppose -h = 3*n - 4*h + 2367, -5*h = -4*n - 3155. Is n/(-25) + 3/(-5) composite?
False
Let a be 4/3*3270/4. Suppose 5*l - j = 2*l - 2265, 3*j = -l - 755. Let t = a + l. Is t composite?
True
Suppose 0 = 4*w - 0*w + 4. Let f be (w - -156)*(-3)/(-5). Suppose 0 = 5*m - 4*m - f. Is m a prime number?
False
Is (21/21)/(4/18332) prime?
True
Let r(f) = -1981*f + 20. Let m be r(4). Let j = m + 11517. Is j a prime number?
True
Suppose t - 4*t + 2*v = -443, -2*t = -3*v - 292. Suppose -5*f + 36 = -t. Is f prime?
True
Suppose 11*b - 22673 - 22141 = 0. Suppose -4024 = -o + 5*y, 4*o + 5*y - b = 3*o. Is o composite?
False
Let u be (-135)/54 - 2*(-1)/(-4). Is -1*(u - (148 + -3 - -1)) composite?
False
Suppose -3*h = -9, 2*r - h + 6*h - 4489 = 0. Is r a composite number?
False
Suppose -6*d - 64 = -2*d. Let u = -133 - -186. Let f = d + u. Is f a prime number?
True
Suppose -18*m + 8*m + 140 = 0. Suppose -m*l + 19667 = 2125. Is l composite?
True
Let y(n) be the first derivative of -239*n**2/2 + 2*n - 23. Is y(-9) a composite number?
False
Let a(h) = 13*h**2 + 2*h. Let f(l) = l**2 - 6*l - 10. Let j be f(7). Is a(j) a composite number?
True
Let z(w) = 20*w + 3. Let g(h) = 21*h + 4. Let y(b) = -2*g(b) + 3*z(b). Let a be ((-2)/(-6))/(2/12). Is y(a) prime?
True
Let o = -73 + 75. Suppose 3*t - 2753 = -0*h - o*h, 0 = -3*t - 9. Is h composite?
False
Let r(g) = 7 + 1 - 6 - 28*g. Let s be r(-6). Suppose -5*p = -3*h + s, -h - 4*p + 47 = -38. Is h composite?
True
Let f be -5 - 1/(-2)*2. Let u be f/((-2)/1) - 0. Suppose -4*o - 2*p = -1678, o + p = u*p + 418. Is o a prime number?
True
Suppose 0 = -6*x + 31463 - 5645. Is x composite?
True
Suppose -4*u - 1498 = -4*o - 7*u, 2*u + 742 = 2*o. Suppose -552 - o = -5*p. Is p prime?
False
Let i = -2 - 0. Is i/5 - 314/(-10) a prime number?
True
Let w = 3 - 3. Let p be 0/2 - (w + 0). Suppose -3*n = -5*c - 308, p*n + 206 = 2*n - 3*c. Is n a prime number?
False
Let n = 316 + -589. Let w(v) = -6*v**3 + v**2 - 5*v + 4. Let m be w(3). Let j = m - n. Is j prime?
True
Let f(k) = -k + 19. Let m be f(12). Suppose -9*h - c + 34511 = -m*h, 34505 = 2*h + 3*c. Is h composite?
False
Suppose 4*f = 7564 - 240. Is ((-2 - 2) + 5)*f a prime number?
True
Let j be 3/2 - (-9)/18. Suppose -4*b - j*r - 476 = -6*r, -5*r = -b - 99. Is (-6)/(-2) - 1*b a prime number?
True
Suppose 0 = -5*x + 20, -5*x = 3*t - 216835 - 78382. Is t composite?
True
Suppose 4*t = -c + 53, 4*c = -4*t + 34 + 34. Let d be 41/(-3) - (-8)/t. Is (-2 - d) + (2 - -1) a composite number?
True
Let z(a) = 4*a**2 + a + 2. Let f(p) = p**3 + 5*p**2 + 3*p. Let d be f(-2). Suppose -d*y - 15 = -69. Is z(y) a prime number?
False
Suppose 2*q - 1462 = -r + 1848, -5*r - 20 = 0. Is q composite?
False
Let t(y) = 44*y**3 - 5*y**2 - y + 2. Let s be t(6). Suppose 2*b + 2*b - 7480 = 4*w, 5*b + 5*w = s. Is b a composite number?
False
Suppose 0 = -4*i - 5*s + 16 - 40, -5*s = 5*i + 25. Is ((-9)/(18/(-1156)))/(i + 3) a composite number?
True
Let v = -17 + 20. Let s be 2*2/(-8)*0. Suppose s*x - 903 = -v*x. Is x composite?
True
Let m(l) be the second derivative of 34*l**4 - l**3/3 + l**2/2 + 11*l. Is m(1) a composite number?
True
Suppose -242479 = 22*v - 848205. Is v a composite number?
True
Let h(v) = 14*v**2 - 3*v + 2. Let i be h(1). Let g(p) = -p**2 + 3*p + 2. Let s be g(2). Is i - (s/(-2) - -1) composite?
True
Suppose 3*k - 6*k = 3*l + 93, 0 = 2*k - 5*l + 27. Is (-2 + k)*(-14)/8 a prime number?
False
Suppose -2742 - 5158 = -4*v. Suppose 3*z + 520 = v. Let f = 824 - z. Is f a composite number