25. Is a/(-36) - (-4730)/18 a composite number?
False
Suppose 3*i - j - 3 = i, 0 = 3*i - 5*j - 1. Suppose -168 = -a - i*a. Suppose -92 = -4*c + a. Is c a composite number?
False
Suppose 2*d - 64 = 7*b - 3*b, -5*b + 175 = 5*d. Is d composite?
True
Let f(c) = 2*c**2. Let t be f(-1). Suppose -215 = -t*g - 33. Is g prime?
False
Is 86/(-301) - (5870/(-7))/2 composite?
False
Suppose -y = 3*f - 0 - 10, -5*f = 3*y - 10. Let z be y/20 + 83/(-4). Let q = z - -74. Is q prime?
True
Let u(i) = 26*i**2 + 26*i + 25. Is u(-11) a prime number?
False
Let k(h) = 10*h**2 + 2*h - 7. Is k(3) prime?
True
Is 4/(-18) - (-1901)/9 prime?
True
Suppose 3*j - 731 = -4*h, -4*h - 95 = 4*j - 823. Is h a prime number?
False
Let c(i) = 12*i**2 - 2*i - 2. Let j be c(-2). Let g(a) = -39*a - 2. Let q be g(-2). Let t = q - j. Is t prime?
False
Let m be (1 + -3)/(-2) + 3. Let r(k) = 4 + 9*k**2 - 7 + 0 - k**3 + 3*k. Is r(m) prime?
True
Let x(d) = d - 2. Let b be x(0). Let g be 2 + 143 + 1 - b. Suppose 0 = 3*v - i - 107, 4*v + 2 = 2*i + g. Is v a prime number?
False
Let p = -201 + 346. Is p prime?
False
Let a(o) = -o**3 - 6*o**2 - 5*o + 3. Let m be a(-5). Suppose -2*j - 19 = m. Let n = j - -24. Is n composite?
False
Let t be (3 - -7)/(3/(-6)). Is (-1710)/t + 3/2 a composite number?
True
Let n be (-8)/4*3/2. Is 11 - 6/n - -1 a composite number?
True
Let k(r) = -r**2 - 13*r - 4. Let t = -29 + 19. Is k(t) prime?
False
Let y be ((-16)/20)/((-1)/5). Suppose -y*o = -o - 4*c + 15, -11 = 2*o - 3*c. Is (o + 0)*2 + 79 composite?
True
Suppose 14 = 3*n + 4*b, 3 = -5*n - b + 32. Suppose -3*u + n = -0*u. Suppose 0*o - 20 = -u*o. Is o a prime number?
False
Let t = 55 + -96. Suppose -3*c + 242 = 62. Let p = c + t. Is p a composite number?
False
Is -1*(-1918 + 4/(-4)) prime?
False
Suppose -2*g = 10, -p + 28 = -2*g - 61. Is p composite?
False
Suppose 0 = -5*i - 5*g + 1565, 2*g - 617 = -2*i + 3*g. Suppose -5*a + i = -135. Is a a prime number?
True
Let j = 147 - 78. Let a = j + -32. Is a prime?
True
Suppose -6*r = -7*r + 161. Is r a composite number?
True
Suppose 3*a = 76 + 98. Let m = 105 - a. Is m a composite number?
False
Let y(u) = 4*u**2 + 1. Let c be y(-1). Suppose -b = -3*s + 10, 0*s = 5*s + 3*b - 26. Suppose 2*n - 144 = -2*n + s*v, -4*n = c*v - 153. Is n a prime number?
True
Suppose -5*o + 2*o + 4*a + 8 = 0, 23 = 5*o + 3*a. Suppose -350 = -o*s + 542. Is s prime?
True
Let a be 24*(-4)/((-12)/17). Suppose 4*u - r = -3*r + 124, -r = -4*u + a. Is u composite?
True
Let t(l) be the first derivative of l**4/4 + l**3/3 + 307*l - 1. Is t(0) a composite number?
False
Suppose 5*g = -25, p + 0*p + 4*g = 33. Suppose m + 7 = p. Is m prime?
False
Suppose -11*s + 1185 = -6*s. Is s composite?
True
Let w be (-4)/((-4)/3) - 1. Suppose 0*g + 5*d + 99 = w*g, -5*d = 4*g - 243. Is g composite?
True
Suppose 0 = -5*r + 2*l + 447, 3*r - 262 = -3*l - 2*l. Is r a composite number?
False
Let w(x) = 14*x**2 - x. Is w(1) a composite number?
False
Let d(o) be the first derivative of 38*o**3 + o + 4. Let k = -2 - -1. Is d(k) prime?
False
Is 3*(-4)/(12/(-109)) prime?
True
Let w(p) = -2*p**3 + 39*p**2 + 7*p + 39. Is w(16) prime?
False
Let f = -94 - -179. Suppose 0 = -5*j + j - 4, 4*k - j - 1 = 0. Suppose -p = -k*p - f. Is p a composite number?
True
Suppose 3*u = -2*l - 21, u + 5*l = 3*l - 7. Let r(n) = -n**3 - 6*n**2 - 11*n - 7. Is r(u) a prime number?
False
Suppose 0 = 5*v - 2*v - 222. Is v composite?
True
Let s = -731 - -4190. Is s a prime number?
False
Let u = -23 + 60. Let b = u + -20. Suppose -2*n = -5*s - 25, 2*n - 12 - b = s. Is n a composite number?
True
Suppose 2*x + 229 = c + 44, 0 = -5*x + 5. Is c a prime number?
False
Suppose -c = c - 142. Is c a prime number?
True
Suppose -2*h - 183 = -3*h - 2*k, -2*h = -k - 371. Is h a prime number?
False
Let q(n) = 1 - 2 - 1 + 104*n - 3. Is q(2) prime?
False
Let y = -39 + 87. Suppose 4*o + y = 2*o. Let s = 2 - o. Is s a composite number?
True
Let g = -1 + 4. Let b(i) = -2 + 3*i + 1 + 17*i + 0. Is b(g) prime?
True
Let v = 12 - 8. Let f(g) = -g**2 + 4*g + 4. Let p be f(v). Suppose 3*a + 69 = 2*s, -p*s - a = -3*s - 32. Is s a composite number?
True
Let s be ((-2)/4)/(3/(-18)). Let b = 4 - s. Is (b*-4)/((-2)/3) a composite number?
True
Let d = 93 - 9. Suppose 5*q - 11 = d. Is q a prime number?
True
Suppose 14 = -2*t - 5*x + 98, 0 = -4*x. Suppose -4*q + 58 + t = 0. Is q a prime number?
False
Let m(b) = 6*b**2 - 2*b - 6. Is m(4) a composite number?
True
Suppose 5*f - 406 - 159 = 0. Is f composite?
False
Let z be (-749)/(-21) + (-2)/(-6). Suppose -z - 17 = -s. Is s a prime number?
True
Let b(d) = 2*d - 3. Suppose -4 = -2*s + 2. Let v be b(s). Let u(p) = 2*p. Is u(v) composite?
True
Let h = 9 - 6. Suppose 14 - 2 = h*n. Suppose -3*t - 4*j + 153 = -7*j, -3*t = -n*j - 157. Is t composite?
False
Let t(x) = 2*x**3 + 4*x**2 + 5*x + 2. Let d(n) = -n**3 - 4*n**2 - 6*n - 2. Let o(c) = -4*d(c) - 5*t(c). Let h = 5 + -8. Is o(h) composite?
False
Suppose -4*z - 12 = 0, 5*z + 17 = -3*v + 4*v. Suppose n + 2*o + 16 = 73, 0 = 5*n + v*o - 325. Is n a prime number?
True
Is (-16)/(-4) - 3 - -738 prime?
True
Let x(r) = -3*r + 5. Let m be x(4). Let g(j) = j**2 + 9*j + 10. Let b be g(m). Let q(y) = y**2 - y - 5. Is q(b) a prime number?
False
Let l(j) = 12*j + 1. Suppose 2 + 0 = -2*o, -2*o = -4*g + 14. Is l(g) a prime number?
True
Suppose -7 = 5*m - 27. Is 79/(-4)*-1*m prime?
True
Suppose 5*y - 3548 = y. Is y a composite number?
False
Let p(r) = r**3 - 9*r**2 - 1 + 0 + r + 5. Let g(y) = y**3 + 10*y**2 - y - 1. Let i be g(-10). Is p(i) a composite number?
False
Let b be 1/(-2) + (-7)/2. Let g be (20/(-8))/(2/b). Suppose 0 = -g*p + 131 + 54. Is p composite?
False
Let h be ((-12)/(-9))/((-4)/18). Let p be 225 - (-4)/((-8)/h). Suppose -v + p - 65 = 0. Is v composite?
False
Is (1 - (-3642)/(-9))/((-1)/3) prime?
False
Suppose -9*u + 5*u = -6036. Is u a composite number?
True
Suppose -2*u = -5*u + 156. Let v = u + -15. Is v composite?
False
Suppose 29*i = 25*i + 1016. Is i prime?
False
Is (422/4)/(1/(4 - 2)) a composite number?
False
Is -1*(-6 + 1) - -1112 a composite number?
False
Suppose -2*b - 8 = -4*d, b = 4*d - 11 - 1. Suppose -b*r = r - 420. Suppose -t = 3*t - r. Is t a composite number?
True
Suppose r - 3 = 4*c, -c = -3*c + 3*r + 11. Is 146 - (c + 2 + 3) a composite number?
True
Suppose -u - 2 = -1. Let y be (u/3)/((-2)/30). Suppose -62 = -4*m - z + 268, -3*m = y*z - 239. Is m a prime number?
True
Let p be 2*1 - 5/5. Let t(a) = 3*a + 4. Let i be t(-3). Is (i/(-2))/(p/6) a prime number?
False
Let k(o) = -2*o + 3. Let w be k(2). Let f be (0 - -1)/(w/(-2)). Suppose f*m - 80 = 450. Is m composite?
True
Let l be 696/(-16) - (-1)/(-2). Is ((-14)/1)/(8/l) prime?
False
Let r(l) = -47*l + 31. Is r(-26) a composite number?
True
Let s(q) = 45*q - 5. Let r be s(2). Suppose r = -4*t + 1857. Is t a composite number?
False
Let r(z) = -3 + 7*z**2 + 7*z + 5 - z**3 - 1. Suppose 0 = -5*g + 5*f + 50, -4*g + f = -g - 22. Is r(g) composite?
False
Suppose -35889 = -20*j + 17*j. Is j a prime number?
False
Let j be 0/((-1)/(2/2)). Suppose 5*t = -j*t. Is t/1 + 43 + 0 a prime number?
True
Let i(u) = 21*u**2 - 2*u + 1. Let r be i(-2). Let q = r - 46. Is q a composite number?
False
Let x = 17 - 3. Suppose 7*p - 2*p - 24 = -4*j, 3*p + 2*j - x = 0. Let l = 2 + p. Is l a prime number?
False
Suppose 0 = -q - 1, -6*q - 594 = -t - q. Is t composite?
True
Suppose 0 = 9*x - 12*x + 417. Is x composite?
False
Let y = -43 - -5. Let f(r) = 3*r - 30. Let c be f(-15). Let p = y - c. Is p composite?
False
Suppose -3*d - 4*y - y = -212, -5*y - 108 = -2*d. Let w = d - 11. Is w a composite number?
False
Suppose 0 = -2*v - 0*v. Suppose -4*z = l - 193, v = -3*z + 6 + 6. Suppose -5*f + 2*f = -l. Is f prime?
True
Let p(s) = 1 + s**3 - 4 + 2. Let a(n) = n**3 + 5*n**2 + 5*n + 6. Let r be a(-4). Is p(r) a composite number?
False
Let u be (-5)/(-1)*(-2)/(-2). Let m = u + 5. Is m a composite number?
True
Suppose 0 = -0*m + 4*m + 3*x - 4, 5*m - 24 = x. Suppose 2*u - s = -5*s - 32, -2*u = -m*s. Is (10/u)/(3/(-24)) composite?
True
Let i = -235 - -593. Is i a prime number?
False
Let d be (-8)/6*171/(-6). Suppose 0 = -3*x + 5*g + d, -g = 2 + 2. Is x a composite number?
True
Let j(p) = -p**3 - 4*p**2 + 1. Let h be j(-2). Let s = h - -29. Is s composite?
True
Let b = -25