 number?
True
Let r be 2 - -318 - 6/(-3). Suppose -2*v = -q + 243, 2*v + r = 3*q - 423. Is q a composite number?
False
Let f = -13 + 19. Suppose 2752 = 4*v - 4*j, 0 = -v + 5*j - f*j + 682. Is v composite?
True
Suppose 2 + 7 = -3*r, 3*r - 19316 = -5*i. Is i composite?
True
Let s be (2 - 2)/(-3) - -115. Suppose 5*v - s = 2*a + 41, -2*a = -4*v + 126. Let w = v - 11. Is w a composite number?
False
Let p(f) = 4208*f - 39. Is p(5) composite?
False
Suppose 2174 = x + 3*d, 4*x + x + 3*d - 10918 = 0. Let b = -1063 + x. Suppose 5*f + 3*l + 2*l - 1870 = 0, 0 = 3*f + 4*l - b. Is f a prime number?
True
Let s = 5 + -3. Suppose -4331 = -2*w - w - 4*y, -y + s = 0. Let b = w - 392. Is b prime?
True
Let f(a) = a**2 + 17*a + 3. Let d be f(-17). Suppose 1431 = d*t - 1230. Is t a prime number?
True
Let a(y) = 226*y + 7. Let u(j) = -7*j**3 - 2*j**2 - j. Let i be u(-1). Is a(i) a composite number?
True
Let d(h) = -88*h**3 - 2*h**2 - 7*h + 1. Let f be d(-3). Suppose 4*u + 384 = f. Is u a composite number?
False
Let n(f) be the third derivative of f**6/120 + 3*f**5/20 + f**4/4 - 11*f**3/6 - f**2. Let o be n(-8). Suppose 6*x - o*x - 47 = 0. Is x a prime number?
True
Let b(d) = d**3 - 2*d - 1 + 4 + 2*d - 11*d**2. Let z be b(11). Suppose -3*o + 4*h + 52 = o, 0 = -z*o - 4*h + 18. Is o composite?
True
Suppose p - 176162 = -5*h, 85931 = 5*h - 2*p - 90240. Is h a composite number?
True
Suppose -2*s = 7*s - 288. Let p = s - 21. Is p a composite number?
False
Let t be 7 + -5 - -3*1. Let r = t - 6. Let u(i) = -95*i**3 - i**2 + i + 1. Is u(r) a composite number?
True
Let d = 27 + 32. Suppose -d = -3*y - f - 0*f, 2*f = -5*y + 97. Is y prime?
False
Let n(b) = 1560*b**3 + b - 2. Is n(1) a prime number?
True
Let l = 7107 - 4892. Is l a prime number?
False
Suppose 43728 = 7*d - 9717. Suppose -2*p + 4*p + 4*z = 3822, -4*p + z + d = 0. Is p composite?
True
Let u = 22726 - 10119. Is u composite?
True
Let k(r) be the second derivative of 56*r**3/3 + 5*r**2/2 - r + 5. Let i(q) = q**3 - 6*q**2 + 6*q + 1. Let n be i(5). Is k(n) a prime number?
True
Suppose -3*c = 91*v - 96*v - 8781, 0 = 5*v. Is c a prime number?
True
Suppose -4*j + 10 - 2 = 4*m, 0 = 2*j. Let g(u) be the second derivative of u**5/20 + u**4/12 + u**3/3 - 3*u**2/2 - 6*u. Is g(m) a prime number?
True
Suppose 5*r = i - 0*i + 2, -4*r = 0. Let y(x) = 2*x - 2 + 9*x**2 + 4*x**2 - 3*x**2. Is y(i) a prime number?
False
Let c = 2698 + 393. Is c prime?
False
Let u(g) = -139*g**2 - 10. Suppose 3*y + 2*d - 2 = 2, -3*y + 14 = 4*d. Let k(p) = 139*p**2 + 11. Let a(m) = y*k(m) - 3*u(m). Is a(-3) composite?
False
Let g = 41 - 31. Suppose -1792 = -g*t + 1278. Is t a composite number?
False
Let l(o) = -107*o**3 + 2*o**2 + 3*o + 2. Let k be l(-2). Let m = k + -273. Is (-22)/11*m/(-2) a composite number?
False
Suppose 3*s + 1317 = 3*z, 0 = 5*s - s + 16. Suppose 6*o + 2*t = o + z, -2*o - t + 173 = 0. Is o a composite number?
False
Suppose -12 = m + 2*m, -n - 2630 = 3*m. Is -7 + 5 - -5 - n a composite number?
False
Let b(j) = -2*j**2 + j + 221. Let w(k) = -7*k**2 + 5*k + 883. Let i(x) = 9*b(x) - 2*w(x). Is i(0) prime?
True
Let h = -713 - -3661. Suppose -h = -304*m + 300*m. Is m composite?
True
Let i(d) = 3*d - d**2 - 3 + d**2 + 6*d**3 - 4*d**2 + d**2. Is i(3) a prime number?
False
Let v(u) = u**2 - 11*u + 28. Let y be v(7). Suppose 5*r - 3*w = -15, 5*w - 25 = 4*r - 0*w. Suppose y = 4*q + 4*h - 3160, r = q - 2*h + 6*h - 805. Is q prime?
False
Suppose -2*t = -v + 3*v - 4, 2*v - 4 = -5*t. Suppose -h + 195 = 2*h. Suppose 246 = v*a - q, -4*q + h = -3*a + 444. Is a prime?
False
Let t = 33 + -24. Is 99 - t - (1 - 2) a composite number?
True
Let w(i) = 2*i**2 - 9*i - 2. Let d be ((-9)/(-4))/((-3)/(-12)). Is w(d) a composite number?
False
Let u(t) be the third derivative of 0 - 1/24*t**4 + 0*t**3 + 0*t - 5*t**2 + 389/15*t**5. Is u(1) prime?
False
Suppose 13 = -6*t + 709. Suppose 4*i - 5 = 3, 4*q + t = 2*i. Is 1190/q*(-6)/5 a prime number?
False
Let h be (-20)/(-6)*3/(-2). Let z be (h/4)/((-3)/(-84)). Let a = z + 114. Is a composite?
False
Suppose 3987*w - 3991*w = -367636. Is w a prime number?
True
Suppose -3*s + 1724 = s. Suppose -4*v = -205 - s. Is v a composite number?
True
Let y(g) = 3*g**3 - 19*g**2 + 7*g - 4. Let j be y(6). Suppose j*d - 1034 = 2308. Is d a prime number?
False
Let d = -10 - -11. Let h = d - -38. Let i = -18 + h. Is i prime?
False
Let l = 17 - 25. Let o(z) = z**2 + 3*z - 8. Let s be o(l). Let t = s + -17. Is t prime?
False
Let y(t) = t**3 + 5*t**2 - 8*t - 3. Let h be y(-6). Suppose h = 3*k + 3. Suppose 2*i = 8, k*u - 3*i = -3*u + 3263. Is u a prime number?
False
Let r be (-5868)/(-16) + (-6)/8. Let d = r - 35. Is d composite?
False
Is -5*(-4 - 5201) + -13 + 17 a composite number?
False
Let x(z) = -z**3 + 7*z**2 - 8*z + 8. Let p be x(6). Let v be 1*(p + (1 - -3)). Suppose -5*y + 3*u - 334 + 1866 = v, -2*u = 5*y - 1537. Is y a prime number?
True
Let l(o) = -67*o + 12*o**2 + 17 - 3*o**3 + o**3 + 3*o**3 - 13*o**2. Is l(22) a prime number?
True
Let w be -1 + 7/(21/1431). Let v = -97 + w. Is v composite?
False
Let t be ((-54)/36)/((-6)/8). Is (-19266)/(-10) + t + (-16)/10 a composite number?
True
Suppose -j = -2*k - 2*k + 3600, -2*j - 2705 = -3*k. Let w = 1612 - k. Is w a composite number?
True
Let m = 10 - -5. Let k = 12 - m. Is (330/(-12))/(k/6) prime?
False
Suppose -41006 = -o - o - 2*n, -4*n = 5*o - 102519. Is o a prime number?
True
Let o(t) = 193*t**2 + 1 - 101*t**2 - 6 + 7*t. Is o(-4) a prime number?
True
Let c = -13 - -21. Let z(w) = -w**3 + 11*w**2 + w - 9. Is z(c) a composite number?
False
Suppose -4*i = 2*t - 8174, 10228 = 5*i + t - 2*t. Let o = -1026 + i. Is o composite?
False
Let c = -11 + 11. Suppose c*u = 2*u - 42. Is u composite?
True
Let x be 50/4 + (-2)/(-4). Suppose 17*i + 60 = 27*i. Let d = i + x. Is d a composite number?
False
Let p be 1 - (-1)/((-2)/8). Let n be p/(-2)*4960/30. Suppose -4*d = h - 83, 3*h - 4*d + 15 = n. Is h a prime number?
True
Let d = 68 + -6. Suppose -2*m + 136 = d. Is m composite?
False
Let m(r) = 80*r**2 - 17*r - 80. Is m(9) a prime number?
True
Let p(w) = -w**3 + 13*w**2 - 11*w - 14. Let m be p(12). Let y be (12/(-9))/(m/3). Suppose -k + 169 = -y*n, 2*k + 0*k - 311 = -5*n. Is k composite?
False
Suppose -11034 = -2*j + 4*v, v + 4707 - 15746 = -2*j. Is j prime?
True
Suppose -2*x + 12*x - 45290 = 0. Is x a composite number?
True
Let a(u) = -27*u + 14. Suppose 0 = 4*t + 31 - 3. Is a(t) a composite number?
True
Let c(v) = -v - 6. Let f be c(-6). Let t be (f + 1)/((-14)/(-2716)). Let x = 417 - t. Is x a composite number?
False
Let u(r) = -540*r + 1. Let c be u(-1). Let n be (-3 - 4/2)/(-5 + 4). Suppose -n*s + c = -94. Is s composite?
False
Let x be ((-1)/3)/(5/75). Let f(g) = 6*g**2 - 3*g - 5. Let w be f(x). Suppose -21 = c - w. Is c prime?
True
Let a(d) = d + 10. Let y be a(-7). Suppose -k = u - 108, -k = y*u - 136 - 194. Is u a composite number?
True
Let a = -10 + 6. Let j = -10 - a. Is 422/j*(-3 - 0) composite?
False
Suppose -6755 + 431 = -4*n. Suppose o + k - n = 0, 2*o - 3178 = -2*k + 4*k. Is o composite?
True
Suppose -3*p + 26 = 4*l, -2*l + 5 = -p - 3. Suppose 2*s - 968 = -p*s. Suppose 0 = -2*d + 2*q + s, 4*q + 110 - 697 = -5*d. Is d composite?
True
Let t(x) = -493*x + 45. Let m(f) = 329*f - 30. Let q(r) = 8*m(r) + 5*t(r). Is q(18) composite?
True
Let m(z) be the second derivative of -25*z**3 + 7*z**2/2 + 6*z. Let s be m(-3). Suppose 76 = -w + s. Is w prime?
False
Let l = -481 - -2364. Is l a composite number?
True
Let d(x) = 18*x**2 + 12*x + 11. Is d(10) composite?
False
Let j(u) = 2*u**3 - 95*u**2 + 13*u + 71. Is j(48) prime?
True
Suppose 0 = -m - 2*c + 9, 4*m - 10 + 13 = 5*c. Suppose -3*h + 836 = m*x - 304, -3*x - 5*h = -1142. Is x composite?
False
Let t(r) = 7*r**2 + 41*r - 19. Is t(-13) prime?
True
Let z = 4161 + 5366. Is z a composite number?
True
Suppose 10*g - k = 5*g - 1905, -3*g - 1151 = k. Let n = -91 - g. Is n a composite number?
True
Suppose -5*o = -0*o - 15. Suppose -i - o*j = -7*j + 5, 2*j = -2*i + 10. Suppose 3*b = 3*h + 447, 0 = i*b + 5*h - 182 - 265. Is b a composite number?
False
Let h be ((-5)/2)/((-14)/(-140)). Let c be (860/h)/(1/(-5)). Suppose 4*q = 2*p - c, -q - 372 = p - 5*p. Is p prime?
False
Let k(d) = -d**3 - 6*d**2 - 19*d + 25. Is k(-21) composite?
False
Suppose 30*