rue
Suppose 11*a - 25*a + 61810 = 0. Is a a composite number?
True
Suppose 289 + 160 = w + 2*a, 3*w - 1342 = -5*a. Is w a prime number?
True
Let i(v) = 15*v**2 + 6*v + 2. Let y be i(6). Suppose 4*s - 1650 - y = 0. Suppose -3*j + s = u, -j + 95 = 5*u - 72. Is j composite?
True
Let o be (-1*5)/(6 - 7). Suppose 0 = o*q - 42 - 118. Is (10/8)/(4/q) a prime number?
False
Let b be 18/5 - (-3)/(105/14). Suppose c = 2*i + 1359 + 484, -i = b*c - 7336. Is c a prime number?
False
Let c(p) = 2*p**2 + 5*p + 12. Let n be c(-9). Let m = n - -74. Is m prime?
False
Let z(k) = k**3 - k**2 - 3*k + 3. Let i(m) = 3*m**3 - 3*m**2 - 8*m + 9. Let n(b) = 3*i(b) - 8*z(b). Let t be n(7). Let v = t - -446. Is v a composite number?
False
Suppose -i + 6 = 4. Suppose -h + i*m = m - 2145, -h - 2*m = -2157. Is h prime?
False
Suppose -6*o + 92253 = 20835. Is o composite?
False
Let a(b) = b**2 - 12*b + 7. Let m be a(11). Let f be (-6 - m)*(-1962)/4. Is ((-26)/39)/((-2)/f) prime?
False
Suppose -15*l = -11378 - 42427. Is l a composite number?
True
Let h(o) = 10*o**2 + 4*o + 1. Let q be (32/(-24))/((-2)/(-9)). Is h(q) a composite number?
False
Let b be 595 - (-1 + (-2)/1). Suppose 0 = -v - 5*k - 206, -3*v - 2*k - 347 = 232. Let i = b + v. Is i a prime number?
False
Let n(i) = -i + 20. Let s be n(16). Is (27 - (-3 + s)) + -3 composite?
False
Let h be -5*2/(-2)*1. Let v = 3 + -1. Suppose -v*z + h*c + 16 = z, 4*c + 10 = 2*z. Is z a composite number?
False
Suppose -2*x + r = -960, 2*r + 8 = -0*r. Suppose -2468 - x = -6*p. Is p a prime number?
True
Let d = -5377 - -10098. Is d prime?
True
Suppose 180 = -4*q + 2*f - 12, 104 = -2*q + 3*f. Suppose -7*v + 11*v + 380 = 0. Let b = q - v. Is b a composite number?
True
Let n(d) = d**3 - d**2 - 5*d + 2. Let j be n(3). Suppose j*t - 2*t - 1980 = 0. Let x = -434 + t. Is x a prime number?
False
Let z = 52 - 58. Is (-2)/z*(110 + 1) a prime number?
True
Let u(v) = -v**3 - v**2 - 3*v + 667. Is u(0) composite?
True
Let f = -4272 - -14327. Is f composite?
True
Suppose -20 = -5*q - 0*q. Suppose 2*c + 4 = -2*t - 0, 0 = -3*c - q*t - 7. Is 5 + -4 - (-113 + c) composite?
True
Suppose 0 = -5*h - 5*j + 100, 3*h + 7*j - 2*j = 66. Let u be -1 + 219 + (-34)/h. Let s = u - -221. Is s prime?
False
Is 48527*(-6)/(-2)*(-179)/(-537) composite?
False
Let s(l) = 10*l**2 + 32*l - 7. Is s(13) composite?
False
Is 8204 + (5/15 - 4/3) prime?
False
Suppose 8 = -5*g + 9*g. Let o(f) = -239*f**2 + 2*f - 3. Let l be o(g). Is (l/(-20))/(1/4) composite?
False
Let v(h) = 281*h - 24. Let x be v(5). Let p = 3202 + x. Is p a composite number?
False
Suppose 0 = -0*w - 2*w - 18. Let c(u) be the third derivative of -133*u**4/24 + 8*u**3/3 - 2*u**2 - 11. Is c(w) a composite number?
False
Let g(s) = 77*s - 33. Let w(a) = 155*a - 65. Let x(o) = -5*g(o) + 2*w(o). Is x(-4) composite?
True
Is 9/3*(-242538)/(-18) composite?
False
Suppose 4*y - 4*u - 9836 = 0, 0 = -y - 12*u + 9*u + 2455. Is y a prime number?
False
Suppose -q + 4*d = -12, 4*d + 12 = q + 6*d. Let s be -1*3 + 1 + q. Suppose 0 = -f + 4 + s. Is f a composite number?
True
Let n(x) be the third derivative of 0*x + 9*x**2 + 2*x**3 - 29/24*x**4 + 0. Is n(-5) a prime number?
True
Let y(v) = -10*v**3 + 11*v**2 + 52*v - 6. Is y(-5) prime?
True
Let k(x) be the second derivative of x**4/6 - 2*x**3 - 8*x**2 + x. Is k(15) composite?
True
Let m(v) = 119*v**2 - 3*v + 1 + 1 + 241*v**2. Let i be m(1). Suppose 4*j + 43 - i = 0. Is j composite?
False
Suppose q - c = 1217, 0 = 5*q + 4*c - 0 - 6049. Is q a prime number?
True
Let a(u) = 2*u**3 - 23*u**2 - 11*u + 14. Suppose 24 = 2*z + 4*x, z - 10 - 2 = 3*x. Is a(z) a prime number?
False
Let l(a) = -460*a - 37. Is l(-5) composite?
True
Let o(q) = 2934*q + 325. Is o(5) composite?
True
Let o be (21 - -1) + (-2 - -2). Suppose -189*k - 289 = -172*k. Let g = o - k. Is g prime?
False
Suppose -13*o = -86351 - 167552. Is o composite?
False
Let r(a) = 29*a**2 - 59*a + 23. Is r(15) prime?
False
Suppose -121821 = -4*y + 5*r, -152220 = 5*y - 10*y - 5*r. Is y prime?
True
Suppose -46 = -i - 2*k, -2*k + 0*k = 4*i - 184. Suppose i = -y + 493. Is y a composite number?
True
Let p(z) = -532*z - 267. Is p(-8) composite?
False
Suppose d + 105 = 3*v, -4*v + d = 5*d - 124. Let y = v - 30. Suppose y*s = 85 + 71. Is s prime?
False
Suppose 0 = y + 4*q - 2, y - 2*q + 5*q = 0. Let u be (-4149)/(-13) + y/39. Suppose b + u + 67 = 3*z, -5*z + 655 = -4*b. Is z a composite number?
False
Suppose 21 = 5*g + 6. Suppose -g - 3 = -3*c. Suppose c*w = 5*h + 365 + 72, 4*w = 3*h + 853. Is w a composite number?
False
Suppose -114688 = -5*o + 5*j - 4*j, 22925 = o + 4*j. Is o composite?
False
Let f(a) = -1354*a + 225. Is f(-13) a prime number?
True
Let p(o) = 286*o**3 + o**2 + 3*o - 15. Is p(4) a prime number?
False
Let i = 13324 - -10279. Is i composite?
False
Let r be (2/4)/(1/1374). Suppose -a + 7*w - 5*w = -r, -4*w = -4*a + 2756. Is a prime?
True
Suppose 0 = 2*b + 4, c + 5*b = 2*b - 3. Let j be ((-1)/c)/((-5)/30). Suppose -3*s - 2*s + 160 = 4*a, -4*a - j*s + 148 = 0. Is a a prime number?
False
Suppose -5*i = -3*r - 1420, 0*i - 2*i - 5*r + 568 = 0. Let h = i + -483. Let p = h - -698. Is p a prime number?
True
Suppose -25 = -3*r - r - 3*x, -2*r + 3*x - 1 = 0. Suppose 5*u - 4*z - z = 135, 3*u - r*z = 82. Suppose 212 - u = 6*f. Is f a composite number?
False
Let i(v) = 3*v + 34. Let s(c) = -c - 17. Let w(x) = -2*i(x) - 5*s(x). Let m be w(5). Suppose -m = -j + 3. Is j a prime number?
False
Suppose 5*t + 10 = -5*r, -4*r + 0*r = 2*t. Let i = r + 1. Suppose 0 = -i*a + 5*a - 290. Is a a composite number?
True
Suppose -4 + 12 = 3*q - o, 2*q + o - 2 = 0. Suppose q*c = 7*c - 30. Is ((-202)/c)/((-1)/6) a composite number?
True
Let l(n) = 194*n + 5. Let d(s) = 2*s + 33. Let p be d(-16). Is l(p) a composite number?
False
Let a be (716/6)/((-6)/(-36)). Let s = -1087 + a. Let b = -148 - s. Is b composite?
False
Suppose 4*s = 2*k - 428, -k - 55 = -3*s - 270. Let m = -133 + k. Suppose w = -0*w + m. Is w composite?
False
Suppose -1 = -3*l + 14, 2 = -2*u + 2*l. Suppose -u*m + 1591 = -0*m + d, 2*d = 6. Is m composite?
False
Suppose 0 = 10*r - 2*r - 32. Suppose -1052 = -r*g + 504. Is g prime?
True
Suppose -t - 2*w = -18853, 5*t + 2*w - 17936 - 76353 = 0. Is t a prime number?
True
Suppose 4*l + 3*u - 1 = 3*l, -5*l + 25 = -5*u. Suppose -7160 = -4*z - l*a, 0 = -2*z - 4*a + 3998 - 428. Is z a composite number?
True
Let b(k) = 2*k**2 - 11*k. Let p be b(6). Suppose -4*i - 18 = -2*q + p, 32 = 4*q - 4*i. Suppose 5*r = -2*y - 0*y + 841, 0 = -q*y + r + 1649. Is y prime?
False
Suppose -5*h - 12*h + 38981 = 0. Is h a prime number?
True
Is 7214/(-3)*(-10 - (-136)/16) a prime number?
True
Suppose 5*b = -x + 3*x - 90, x = 4*b + 72. Let w be (b/(-4) + -2)*2. Suppose f - 4*f + 176 = w*r, f = 3*r + 82. Is f prime?
True
Suppose -5*x + 32032 - 4062 = 0. Is x prime?
False
Let s(q) be the second derivative of q**5/20 - q**4/12 + q**3/2 - 2*q**2 + 6*q. Is s(5) a composite number?
True
Let b = 86 + -46. Let l = b + -35. Suppose 7*o - 1913 = l. Is o prime?
False
Suppose 7*j = -361 - 290. Let z = -204 - j. Let b = z - -476. Is b composite?
True
Suppose 0 = 5*s - 25, -12*y + 1295 = -7*y + 2*s. Is y a composite number?
False
Let g be 2/(-5) + (-2)/(-20)*-11206. Let a = g + 2114. Is a a composite number?
True
Suppose -2*f - 5*r - 8944 = -2*r, -3*f - 2*r = 13416. Is f/(-6) - 8/(-12) a prime number?
False
Suppose -8110 - 28398 = -4*k. Is k prime?
True
Suppose -4*l + 6574 = 2402. Is l a composite number?
True
Let c = 36285 + -18766. Is c composite?
False
Let w = 28 - 30. Is (w/(-4))/(3/1122) a prime number?
False
Suppose 0*b = -2*b - 5*v + 34, -5*b - 3*v + 47 = 0. Suppose 0 = -4*f - 5*c + 2497, -1874 = 4*f - b*f - 5*c. Is f a prime number?
False
Suppose 21 = 3*f - 0*f. Let z(t) = -t**3 + 8*t**2 - 7*t. Let m be z(f). Suppose -n + 667 + 228 = m. Is n a composite number?
True
Let g = -5706 - -12019. Is g composite?
True
Let s be -3 - (0/1 + -6). Suppose -p = s*p - 356. Is p a composite number?
False
Suppose 3*b = -2*g + 5*b + 4200, -10496 = -5*g + b. Is g composite?
False
Let o be ((-3)/(-1) - -38) + -3. Suppose -4*i = -14 - o. Let c = 18 + i. Is c a composite number?
False
Is (-296285)/(-10) + (15/(-10) - -2) a composite number?
False
Is (-42)/(-56) + 58875/12 a prime number?
False
Let a be (-65)