Let m = 8 - -7. Is a(m) prime?
False
Suppose -3*u + 18*u = 419745. Is u a composite number?
False
Is (248823/(-36))/(5/(-20)) composite?
False
Let a be 62/(-2)*270/(-5). Suppose 4*l - 3*w = 4849, 2*w = l + 468 - a. Suppose -2*x + l = x - 5*h, -5*x + 4*h + 2005 = 0. Is x prime?
True
Let s be (-116)/(-203) + 0 + (-10)/(-7). Suppose -n = 4*v - 735, 4*n - 1479 = s*n + v. Is n a prime number?
True
Suppose -z = 2*z - 3, 2*z = -3*r + 8. Suppose -4*o - 1 = 5*v - 3, r*v = o + 6. Suppose 70 = v*u - 0*u. Is u a prime number?
False
Let c be (-3 + 12/5)*-5. Let w = 7 - c. Suppose 498 = w*l - 2*l - 2*b, 0 = -3*b + 6. Is l a prime number?
True
Let c(w) be the second derivative of 13*w**3/6 + 15*w**2/2 - 2*w. Let o(m) = 66*m + 74. Let v(l) = 11*c(l) - 2*o(l). Is v(10) a prime number?
True
Let o be (-34)/((-4)/(-34)*(-1)/4). Let j = o + -683. Is j a composite number?
True
Let r(t) = 818*t + 1. Let s be r(2). Let y be 4 + (-32)/(-24)*6/(-4). Suppose 3*z + y = -10, 2*z + s = 3*x. Is x prime?
False
Suppose -r = -3*z + 17, -z + 0*z + 2*r + 9 = 0. Suppose -z - 15 = -j. Is (j - 4/2) + 1 composite?
False
Let r = -10 - -7. Let k be 5/((r - -2)/(-1)). Is (-10)/2*(-86)/k prime?
False
Let m = 220471 + -330829. Is (2/3)/(-5 - 551802/m) a composite number?
False
Suppose 826 + 1509 = 5*v. Suppose 0 = -0*h + 4*h - 3*t - 927, 5*t = -3*h + 717. Let f = v - h. Is f prime?
True
Suppose 14*r - 532 = 16*r. Let q = 71 + r. Let j = q - -356. Is j composite?
True
Let q(p) = p**2 - 5*p - 3. Let m be q(5). Let n(z) be the second derivative of -55*z**3/6 - 2*z**2 - 2*z. Is n(m) a composite number?
True
Suppose 2*v = -4*h + 4710, 4*h - 2*v = -5*v + 4705. Suppose 5*j - 3*o - h = 0, -3*j + o = 3*o - 689. Is j prime?
True
Suppose -y - 3 + 5 = 0. Suppose 0 = k + 4, 2*m + y*k + 142 = 4*m. Is m a prime number?
True
Suppose 3*t = 7245 + 11346. Is t composite?
False
Suppose -7*b = -782 - 5168. Suppose 0 = -2*h + 1220 + b. Let w = h + -526. Is w a composite number?
False
Let m(w) = -w**2 - 12*w + 14. Let c be m(-14). Is (-42)/(-4)*(16 + c) a composite number?
True
Let a = -8 + 10. Suppose 5*w + 4*c = 25, w - 15 = -a*w + 2*c. Suppose -w*t + 189 + 76 = 0. Is t composite?
False
Suppose 0 = 5*q - 3 - 17. Suppose 3*x = q*x - 6. Is x/9 - (-397)/3 composite?
True
Let v = -6192 - -12449. Suppose -8*b + 25623 = -v. Is b a composite number?
True
Suppose -2*r + 30 = -0*r. Let b(d) = -26*d - 8 + 14*d - r*d. Is b(-5) prime?
True
Suppose 24*z = 27*z - 3*k - 9951, 5*z = -3*k + 16553. Is z prime?
True
Let p be ((-1)/4)/((-7)/56). Let r(m) = 7*m**p - 3 - 4 + 8*m**2. Is r(8) composite?
False
Let s = 23 - 10. Suppose -5*b + 27 = 3*r, 2*b + s = 4*r + 3. Suppose 4*n - 4*c + 522 = 3114, -4*n + b*c = -2591. Is n a composite number?
False
Suppose 2*m + b - 21958 = 0, 5*m + b - 37968 = 16933. Is m a prime number?
False
Let f(w) = -26*w - 1. Suppose -3*p = 2*p + t + 87, -105 = 5*p - 5*t. Let g be (-3)/1*(-12)/p. Is f(g) prime?
False
Is 29937*((-1)/(12/(-64)) - 5) a prime number?
False
Suppose -3*l = -3*r - 12, -3*l = 4*r + 54 - 3. Let q = -4 - r. Suppose -a = -4*z - 25, -q*z = -2*a - 2*z + 65. Is a prime?
True
Let r = 7017 + -4143. Let a = r - -289. Is a prime?
True
Let h = 5401 - 3830. Is h a composite number?
False
Suppose -861 = -z + 7*c - 3*c, -4*c = -4*z + 3492. Is z a composite number?
False
Let h = -30599 + 54240. Is h prime?
False
Let i(w) = w**2 + w + 1. Let h be i(3). Let r(p) be the third derivative of -p**5/60 + 2*p**4/3 + p**2 - 7. Is r(h) a composite number?
True
Let g(a) = a**3 + 9*a**2 + 10*a + 11. Let u be g(-8). Let i(j) = j**2 - 7. Let d be i(u). Is 11403/81 - (-4)/d a composite number?
True
Let h be (8/10)/((-3)/(-15)). Suppose -h*f + p = -7 - 2, 4*f - 3*p - 19 = 0. Is (300/24)/(f/2) a prime number?
False
Suppose 5*d + 3*g - 120099 = 7*g, 0 = 3*d - 5*g - 72062. Is d prime?
True
Is (3/((-1)/(-1)))/(72/104952) a composite number?
False
Suppose -5*p - j + 74855 = 0, 3*j = 5*j. Is p prime?
False
Suppose -3*t + 280565 = -4*q, -q - 99736 = 5*t - 567352. Is t composite?
False
Let o(b) = -17*b - 20. Let x be 0/1 + (-9)/(-3). Let z be -4 - (0 + x)*3. Is o(z) a prime number?
False
Let s be (0 + -15)*(-1)/3. Suppose a - y - 1665 = 0, -a + 4*y = -6*a + 8280. Suppose 195 + a = s*f. Is f a prime number?
False
Suppose -2*r = -0*h - 3*h + 7, 0 = 4*h + 3*r - 15. Suppose -5*n + 4099 = -5*d - 4861, h*n + d = 5380. Is n a prime number?
False
Let n = 32 + -17. Suppose -5*q + 5*y + n = -0*q, q - 3 = 5*y. Suppose -6*j + 2739 = -q*j. Is j prime?
False
Suppose 5*w = w + 60. Suppose -142 = -c - w. Is c a prime number?
True
Is (111985/(-10))/((-62)/12 + 5) a composite number?
True
Let f = 13 + -13. Let w be -1 + -1142*1/(-2). Suppose -g + 5*i - i + 179 = f, 3*g - i - w = 0. Is g prime?
True
Let d = 1052 - 743. Let r = d - 165. Suppose -4*z + 5*m = -348, -5*z - 2*m = r - 546. Is z prime?
False
Let f = -5 + 7. Let n be 65 + (f - 1)*-1. Suppose 227 + n = 3*r. Is r a composite number?
False
Suppose -41698 = 5*s - 7*s. Is s a prime number?
True
Suppose 0 = 28*o - 30*o + 2110. Suppose -5*m + 5*l + o = 0, -223 = -3*m + 2*m - 2*l. Is m composite?
True
Let v(g) = 8*g**2 + 14*g + 59. Is v(17) a prime number?
True
Suppose v + 1280 = 4*z, v + 5*z + 340 + 967 = 0. Let j = -679 - v. Is j composite?
False
Suppose 0 = -n + 10542 + 7577. Is n a prime number?
True
Let b(q) = -147*q - 13. Let i be b(-5). Suppose 0 = 3*p - 4*z - 881, 2*p = -4*z + i - 168. Is p composite?
True
Suppose 3*z + 3 = 4*z. Suppose -2*v - 284 = 3*y + 138, z*v = y - 633. Let u = v - -510. Is u composite?
True
Let h be (3/(-9))/(2/24). Is ((-123)/(-6))/(h/(-56)) a prime number?
False
Let z(g) = -16310*g - 27. Is z(-1) a prime number?
False
Is 1277*(14/28)/((-1)/(-2)) a composite number?
False
Let x(g) = 520*g + 51. Is x(10) prime?
False
Let l = -3936 + 8119. Is l composite?
True
Suppose 45796 = 5*j - 3*j - 3*w, 4*j = 5*w + 91594. Is j prime?
True
Let u(b) = -9*b. Let a be u(-2). Suppose 13*i = a*i - 1655. Is i composite?
False
Suppose 0 = -3*x - 11977 + 107848. Is x a composite number?
False
Suppose z - 8851 = 8*r - 9*r, 0 = 5*r + z - 44247. Is r prime?
True
Let c(t) = t**3 + 4*t**2 - 2*t + 11. Let b be c(-5). Is (16 - 18)/(b/1486) composite?
False
Let p(u) = -267*u - 160. Is p(-7) a prime number?
True
Let v(n) = 4*n - 119. Let s be v(28). Suppose -5*j = -114 - 96. Is 6522/j + 2/s a composite number?
True
Let t(g) = -530*g + 55. Let d be t(-11). Is d/15 - 5/(15/4) a prime number?
False
Let t be -4 - 88/(-16) - (-3)/(-2). Suppose 19*x - 15*x - 212 = t. Is x prime?
True
Suppose 3*k - 2*k + 57797 = 2*g, 0 = 3*k - 15. Is g composite?
False
Let a(i) = -27*i - 41. Let g be a(-17). Suppose k + 37 = -j + 146, 4*k - 2*j - g = 0. Is k composite?
True
Suppose 4*z - 939 = 3*z. Is z a composite number?
True
Let c(f) = 780*f**2 - 115*f + 14. Is c(7) a prime number?
False
Suppose -10 = 5*i, 4*i = 3*z + 2*i - 40. Is (-10467)/z*8/(-6) a composite number?
False
Let i(u) = 15*u**2 - 35*u - 129. Is i(-19) a prime number?
False
Let b(l) = -l**2 - l + 2459. Is b(0) a prime number?
True
Let a(t) = 5*t**2 - 2*t - 14. Let r be a(-11). Suppose 1 = 4*j - 19. Suppose -767 = -4*q + 4*s - 127, j*s = -4*q + r. Is q a prime number?
True
Let b(x) = 3*x**2 + 4*x - 2. Suppose 5 = -n, 0 = -g + n - 0*n - 2. Let f be b(g). Suppose -f - 588 = -3*w. Is w a composite number?
True
Let d(x) = -x**2 - 2. Let s be d(0). Let u = s - -7. Suppose 235 - 5 = u*p. Is p a composite number?
True
Suppose 14 - 4 = -l + w, 4*l - 3*w + 35 = 0. Let q(c) = c**3 + 10*c**2 + 4*c + 7. Let t be q(l). Suppose 0 = -j + t + 1. Is j a composite number?
False
Let i(r) = 2*r + 17. Let t be i(-7). Suppose -t*p = -6*p - 39723. Is 21/(-168) - p/8 a prime number?
False
Suppose 0 = 5*o - 5 - 10. Suppose o*s = l - 12, -3*s - 20 = 2*s. Suppose 614 = 2*h - l*h. Is h prime?
True
Let z(i) be the first derivative of 15*i**2/2 - 3*i - 5. Is z(4) a prime number?
False
Let f(q) = -77*q - 16. Let s(h) = -77*h - 17. Let x(b) = -5*f(b) + 4*s(b). Is x(5) prime?
True
Suppose 2*a = -2*c - 8 + 24, -16 = -c - 3*a. Let g = 8 - c. Is g + (-3)/3 - -254 composite?
False
Let b be (-3 - 1)/(-3 - -2). Suppose -b*p + 1 - 25 = 0. Let q = 20 + p. Is q a prime number?
False
Let o(r) = r**3 - 3*r**2 - 3*r + 2. Let w be o(4). Suppose -3*a - 5*z + 0*z = -1939, 2*z + 1266 = 