 Suppose 3*j - 487 = 2*m, j + 153 = k*j + 4*m. Is j a composite number?
True
Let d(v) = -15*v**2 + 5*v - 8. Let g(s) = s**2 - 2*s + 1. Let c(l) = -d(l) - 2*g(l). Let u = -6 - -11. Is c(u) a composite number?
True
Let c(u) = 6*u - 64*u**2 + 13 + 44*u**2 + 2 - 4. Let x(m) = m**2 - m + 1. Let l(g) = -c(g) - 6*x(g). Is l(6) composite?
False
Suppose l + 3*l + 1928 = 0. Let y = 1599 + l. Is y a prime number?
True
Is 4 - (9*4/12 + -2812) composite?
True
Suppose 26*r - 21*r - 15 = 0, i - 4 = -3*r. Let t = 3 + -1. Is (-2686)/(-10) - t/i composite?
False
Let v = 37 - 29. Suppose -868 = -v*n + 1012. Is n a prime number?
False
Suppose -4*m + 1856 = -51212. Is m prime?
True
Suppose -4*c + 8 + 27 = -3*y, -50 = 5*y - 5*c. Let d be (-4)/(-2) - 5/y. Suppose 1157 = 4*q - 2*l - d*l, 595 = 2*q + 3*l. Is q composite?
False
Let l = -63 + 66. Suppose q + 2*y = -l*q + 1354, -y - 1682 = -5*q. Is q prime?
True
Let q = 85678 - 32087. Is q a composite number?
False
Suppose -4*z - 186 = -186. Let q = -4 - -6. Suppose 0*s + 227 = q*d + s, z = d - s - 106. Is d a prime number?
False
Suppose -3*w - 6 = 4*b - 27, 12 = -b + 5*w. Suppose -b*u + 2*u = -314. Suppose 24*l + u = 26*l. Is l a composite number?
False
Let c(u) = -u - 2. Let b be c(-3). Let s = 8 - b. Suppose -s*o + 4*o + 678 = 0. Is o a prime number?
False
Let v = -5 + 17. Is (v/15)/(2/115) composite?
True
Let z = 0 - -5. Suppose -z*c = 3*y - 6809, 0*c = -c - 2*y + 1359. Is c a prime number?
False
Let y be 10*3/((-9)/(-33)). Let p = -55 + y. Is p composite?
True
Let o(j) = -57*j - 2. Let y be o(-6). Suppose -4*u = 3*t - t - 134, -5*t = 5*u - y. Is t prime?
False
Suppose -4*z + z - 5*l = -24, 0 = z - 3*l + 6. Suppose 0 = -2*y + z*f - 1207 + 5856, 3*f + 11618 = 5*y. Is y a prime number?
False
Let q(i) = -6*i**3 + i**2 + 15*i - 59. Is q(-15) composite?
True
Let c = 469 - -46. Let g = c + -354. Is g a composite number?
True
Suppose 0 = -3*m + 15, -2*d + 0*m + m = 1. Let j(i) = 6*i**3 - 4*i**2 + i + 2. Let u be j(d). Suppose u*v - 35*v - 133 = 0. Is v a composite number?
True
Let u(k) = -10175*k + 254. Is u(-7) prime?
True
Let w(j) = 2*j + 8. Let k be w(-4). Is 439*-1*(-1 - k/6) a composite number?
False
Let b = -22 - -27. Suppose 0 = b*z + 5, -5*d + 2*z + 6057 = 0. Is d a composite number?
True
Let k(m) = 5*m**2 + 7*m - 7. Let w(s) = s**3 - 10*s**2 + 9*s + 23. Let y be w(8). Let z = y + 27. Is k(z) composite?
False
Let k(g) = 5 - g**2 + g**3 - 6*g**2 + 2*g**2 + 6*g**2 - g. Let l be k(0). Suppose -3*q = -l*c + 1893, -4*c - 3*q = -0*q - 1536. Is c prime?
False
Let f = -105 - -203. Is 19726/f + (-4)/14 prime?
False
Is ((-12)/(-9))/4*(3408 - 3) a composite number?
True
Is 31715/2 - 8/(32/(-6)) a prime number?
True
Suppose 4*h - b - 9076 = 2*h, -5*h + 22691 = -2*b. Suppose -4*u + 6053 = -3*c, 4*u - 7*u + 2*c + h = 0. Is u a prime number?
True
Suppose -4*b + 21 = 5, 0 = -4*w - 2*b + 136. Suppose 2*g = -5*p + w + 3, 4*p + 4*g = 40. Suppose 0 = y + p*i - 58, 5*y + 4*i = 3*i + 266. Is y composite?
False
Suppose 4*a - 10 = -c - 1, -2*c + 5 = -5*a. Suppose g = c*q - 16, 4*q + g = -2*g + 9. Suppose h = 2*d + 123, h = q*h - 5*d - 247. Is h composite?
True
Let h = -11 + 0. Let r(x) = -121*x**3 - x**2. Let n be r(-1). Let j = n - h. Is j prime?
True
Let x be (6/(-4))/(18/(-24)). Let i be x/((4/(-5))/(-2)). Suppose -i*t = -4*w + 499, -w - 3*t + 233 = w. Is w a prime number?
False
Suppose -2*n - 15 = -7*n + 5*u, -17 = -4*n + 5*u. Let t be 6 - 4 - n - -744. Suppose 2*v = 5*m - v - t, -5*m + v = -746. Is m a composite number?
False
Let a = -36870 - -18215. Is a/(-21) - 6/(-9) a prime number?
False
Is 5/3*(-11112822)/(-630) composite?
False
Suppose 0*p = -6*p + 24. Let y be 282 - (-2 - p)/2. Let k = y - -62. Is k prime?
True
Let w be 4*(108/(-16))/(-9). Suppose -w*z = -37 - 41. Is z a prime number?
False
Suppose -109*r + 6 = -111*r. Is 2922/(-9)*r/2 prime?
True
Suppose z + 2*z + 225 = 0. Let m be (-1)/2*(z - -13). Suppose 2*b = m - 9. Is b composite?
False
Let x be (2 + 0 + 2)*1. Suppose -9*l + x*l - 3710 = 0. Let s = l + 1485. Is s composite?
False
Suppose -z + 0*m + 21248 = 3*m, 0 = -4*z - 5*m + 84999. Is z a prime number?
False
Suppose -1644 = y + 5*y. Let p = 432 - y. Is p a prime number?
False
Let h be 192/(-30)*(1 + 4). Let d be 6/(-4)*h/(-6). Is (-3 - d)*158/10 prime?
True
Let p(w) = -w**3 + 8*w**2 - 2*w. Let x = 1 + 2. Suppose 12 = 3*r + x*b, 0 = r + r + 3*b - 5. Is p(r) composite?
True
Let k(g) = 145*g**3 + 2*g**2 + 6. Let m be k(3). Is (-2)/(-2) + (m - (-9)/3) prime?
True
Suppose -4*k + 12 = -m - 3*m, -k = -5*m - 3. Let q(t) = 11*t + 1 - 5 + m + 4*t**2. Is q(9) composite?
False
Let l(o) = o - 10. Let s be l(10). Suppose s = -3*p + 263 - 2. Is p prime?
False
Let t(h) = -h**3 - 9*h**2 - 23*h - 5. Suppose 2*y + 9 = y. Is t(y) a prime number?
False
Suppose -5*l + 3*m = -2*l - 111, 3*m = -9. Let p(s) = 1 - 5 + l*s - 5. Is p(4) prime?
True
Let g(h) = h**3 + h**2 - 18*h - 40. Let i be g(-17). Let u = 6513 + i. Is u composite?
True
Let i(r) = -r**2 - r - 1. Let g(h) be the third derivative of 3*h**5/20 + 3*h**4/8 - 5*h**3/6 - 6*h**2. Let x(w) = g(w) + 2*i(w). Is x(-6) a composite number?
True
Let f be (1/(-3))/(4/(-12)). Let p = 1 - f. Suppose -4*c + 2*a + 996 = p, -c = -4*c - a + 757. Is c composite?
False
Suppose 0 = -6*p + 3*p. Suppose 5*b - 30 = 5*h, -5 = 5*h - p. Suppose -4*x - d = -255, -b*x - 5*d + 222 = -78. Is x composite?
True
Let a(y) = 4*y - 4*y + 2*y**2 - 2*y - 3*y - 3. Is a(-10) a composite number?
True
Is 3/9*21*1 prime?
True
Let t(s) = 1105*s**2 + s + 1. Let g be t(-1). Suppose 0 = -3*u + 2*n + 824 + 835, n = 2*u - g. Is u a composite number?
True
Let a(n) = -45*n**3 + 5*n**2 + 5*n**2 - 9*n**2. Let s be a(1). Let b = s + 339. Is b a composite number?
True
Suppose 0 = 26*o - 11*o - 1875. Suppose -u + 364 = -o. Is u a composite number?
True
Suppose -3108 = -12*f + 13656. Is f a prime number?
False
Suppose -5*f + 0*r - 5373 = -3*r, 3*r - 3 = 0. Is (-2)/6*(f - 0) a prime number?
False
Let z = 29 + -30. Let a be (1 + -2521)/(-4) - z. Suppose -219 + a = 3*p + 5*u, -5*p + 678 = 4*u. Is p composite?
True
Let b = -28 - -35. Is (-1 - (-5585)/b) + (-1)/(-7) prime?
True
Suppose 2*r + v = 6*v + 3439, 0 = r + 3*v - 1714. Is r prime?
False
Suppose 0 = -2*t + 28 + 98. Let c = t + -222. Is (c + 2 + -2)/(-1) prime?
False
Suppose 5*b = 33139 + 10316. Is b prime?
False
Suppose -5*p + 3*p - 12 = 0. Is (-3)/p*1338/3 composite?
False
Suppose b + 4 = -5*o, -5*o = 3*b + 7 + 5. Suppose 0*z + 2*z = o. Is z - 1/(1/(-187)) a composite number?
True
Let v(h) = 194*h**2 + 32*h - 23. Is v(-11) a composite number?
False
Suppose 4*h - 2*a + 364 - 38 = 0, -4*h + 3*a - 325 = 0. Let t = 165 + h. Is t prime?
True
Suppose 3*i = -0*y - y + 17, 2*y - 18 = -2*i. Suppose -d + i*k = -6*d + 181, 5*k = -4*d + 152. Suppose -35 - d = -2*t. Is t prime?
False
Let a = 803 - 474. Is a prime?
False
Suppose -7*f + 11*f - 5*i = 33003, -2*f + 16504 = -2*i. Is f composite?
True
Let r = -2 + -7. Let i(o) = -o**3 - 8*o**2 + 10*o + 11. Let l be i(r). Suppose -54 = -l*z + 280. Is z a composite number?
False
Is (-13)/((-39)/181083)*1 a prime number?
False
Let x(j) = 6*j**2 + 6*j - 19. Is x(-10) a composite number?
False
Let v = -210 - 725. Let p = v + 2604. Is p a composite number?
False
Suppose 66*t = -5049991 + 17737105. Is t composite?
False
Let h(q) = -398*q - 19. Let y = 59 + -68. Is h(y) composite?
True
Suppose -4*l - 50 = 3*v, 0*l + 5*v = -l - 21. Let c(y) = 2*y + 20. Let n be c(l). Is -1*(-89)/(-2)*n prime?
True
Let i(n) be the second derivative of 152*n**3/3 + n**2/2 - n. Suppose -4*c + 10 - 2 = 2*s, c + s = 3. Is i(c) a composite number?
True
Suppose 0 = 5*h - 2*o + 1, -2*o + 5 = 4*h - 5*h. Is -1 - (-29*47 + h) a prime number?
True
Let f = 223 - -710. Is f prime?
False
Suppose 4*j + 12 = 28. Is (-338)/(-4) - 6/j a prime number?
True
Let h be (-5)/(10/(-4)) - -1. Suppose -h*t = 6, 0 = -s - 3*t + 2*t + 732. Let u = 1063 - s. Is u composite?
True
Let b(l) = 6*l**2 - 6*l - 5. Let j be b(5). Suppose -p + 135 = 3*p - s, 3*p + 2*s - j = 0. Is p composite?
True
Let c be -2 + 10757 + -6*(-4)/(-8). Suppose 9793 = 5*n - c. Is n a prime number?
False
Let d = -148 - -1304. Suppose 1959 + d = 7*n. Is n a composite number?
True
Suppose 3*g - 2*h = 205, 93 = 3*g + h - 97. Let f = 153 + 