 7797 = 9829. Is b a prime number?
True
Is 207800/56 - (-192)/(-112) a composite number?
False
Let t = -26 + 58. Let c be (-16)/t*0/(-2). Suppose 4*k = -4*i + 13 + 19, 3*i - 3*k - 12 = c. Is i a prime number?
False
Is 331*11 + 46/(-23) composite?
True
Let b be -1777 - -8*4/(-8). Let j = 3246 + b. Is j prime?
False
Suppose -10 = -s - 3*c, 7*c - 4*c - 13 = -4*s. Let u be 520/(-12) - s/(-3). Let t = 46 - u. Is t composite?
False
Suppose 0 = 5*g + 4*t - 9575, 0 = -2*g + 4*t + 3387 + 443. Is g a prime number?
False
Let n(m) = -53*m + 5. Let p be n(-4). Suppose -p = -4*b - 3*b. Is b a prime number?
True
Let o be (4/(-8))/(6/(-60948)). Suppose -15*w + 12*w + o = 0. Is w a composite number?
False
Let z = 343 - 580. Let h = z - -447. Suppose g = -53 + h. Is g a prime number?
True
Let p = 3591 + 2840. Is p composite?
True
Suppose 4504 - 61715 = -7*x. Is x prime?
False
Let d = -3710 - -9853. Is d composite?
False
Let g = 29 + -28. Let k(t) = 478*t**3 + 2*t**2 - 1. Is k(g) a composite number?
False
Suppose 4*m + 15 + 5 = 0, 0 = 2*x - 5*m - 14023. Is x a prime number?
False
Let j be (-3)/12 + (-305)/(-20). Suppose j*k = 11*k + 568. Let c = -23 + k. Is c a composite number?
True
Let p(t) = 5*t**2 - 7*t - 18. Let a(j) = -9*j**2 + 13*j + 36. Let k(r) = 2*a(r) + 5*p(r). Is k(8) composite?
True
Let v be (-4 - (4 - 9))*-5. Let a(k) be the second derivative of -k**3/2 + 5*k**2 + 3*k. Is a(v) composite?
True
Let k(i) = -5*i + 15. Let o be k(2). Suppose -o*g = -576 - 1869. Is g a composite number?
True
Let h = 813 - -3008. Is h prime?
True
Suppose -2*k - 17129 = -3*x, -x = -0*k - 4*k - 5693. Is x composite?
True
Let q(n) = 34*n**3 - n**2 - 15*n + 47. Is q(15) a prime number?
False
Let h be ((-2)/4)/(15/90). Let m = h - -17. Suppose b - m - 21 = 0. Is b a composite number?
True
Is (-135 + 1)*(-141)/6 composite?
True
Let k = 5 - 2. Suppose t - 1 = v, -3*v + t - k = -3*t. Is v + 3 + 235 - 2 prime?
False
Let n(y) = -5*y + 2*y + 2*y - 3*y - 18 + 3*y**2. Suppose -4*k + 4*l = 8, -5*k - 15 = -0*l - 4*l. Is n(k) prime?
True
Let d be (-445)/3 - 10/15. Let u = 822 - d. Is u a prime number?
True
Suppose -2*g + 3317 = z, 5*z + 0*g - 16592 = -3*g. Is z a prime number?
True
Let z = -244 - -444. Let g = z + -109. Is g composite?
True
Suppose 3*d = 8*d + 4*u - 11807, 2*u - 2365 = -d. Is d a prime number?
False
Suppose 1420 = 3*l - 3734. Suppose 1239 = o - l. Is o a prime number?
True
Suppose 0 = -6*p + p + 4*d + 3463, d = 5*p - 3457. Suppose 0 = -z + p + 396. Is z a composite number?
False
Suppose 0 = -0*d + 5*d - 15. Suppose 20 = -2*y + d*y. Suppose -y = 10*u - 12*u. Is u prime?
False
Suppose 2*k - 4*j = 606, 3*j - 6*j - 1187 = -4*k. Suppose 0 = -2*r - z + 448 + k, 2 = -2*z. Is r a prime number?
False
Suppose 5*q - 141446 - 151513 = i, -5*q - 3*i = -292943. Is q composite?
True
Let n = 88285 - 34556. Is n prime?
False
Let w(l) = -1648*l + 21. Is w(-5) composite?
True
Suppose 135*l = 117*l + 117738. Is l a prime number?
False
Let q(b) = 145*b**2 - 8*b - 1. Let s(z) = z**2 - 13*z - 26. Let x be s(15). Is q(x) composite?
False
Let t = -19 - -19. Is 5 + -2 - (t - 32) prime?
False
Suppose -92*k = -97*k - 5. Is k/(-2)*11/(44/13096) a prime number?
True
Let t be 7*22/(-4)*-12. Suppose 593 + t = v. Is v composite?
True
Suppose 3*u + 3*c - 6 + 0 = 0, -2*c - 2 = 0. Is 54/u + 4 + -3 a prime number?
True
Suppose 3*m = 7 - 25. Is ((-100)/12 + 4)*m prime?
False
Suppose -i = 3*g + 1194, -4*i = -2*i + 4*g + 2398. Let w be (i/9)/(2/(-6)). Suppose -5*p + 2052 = -w. Is p prime?
True
Suppose 5*t = 15, -213 = -5*i - 0*t - t. Suppose 0*j + 2*y - i = -4*j, y = -j + 8. Is j a composite number?
False
Let l(s) = -s + 7. Let j be l(4). Suppose -h + j = 2. Suppose 7 - h = g. Is g composite?
True
Suppose 426 + 263 = a. Is a composite?
True
Suppose -3*a - 2*c + 9003 = 449, 5*a - 14258 = -3*c. Is a composite?
True
Let d(a) = a**3 + a**2 - 5*a + 7. Let h be d(-3). Suppose -5*w - h*o + 1907 = 0, -w + o + 0*o + 376 = 0. Is w composite?
False
Let b be (1 - 4)/(-9 + 8). Suppose -b*i - 2*y - 1364 = 0, -838 = -5*i + y - 3120. Is (1/(-2))/(6/i) prime?
False
Let x be -4 - (-5)/((-15)/(-12)). Suppose -2*f + 757 = n + 2*n, x = -n - 5*f + 261. Is n a prime number?
True
Let h = 1 - -23. Suppose -3*u - 6 = -4*u - d, 5*u - h = -2*d. Suppose -4*c - 6 - u = -2*y, y = 3*c + 6. Is y a composite number?
False
Is -97*(2 + -11 - 490) a prime number?
False
Let x(l) = 4521*l + 5. Is x(2) a prime number?
False
Suppose 4*h - 48 = -2*o + 2, -2*h + 19 = -o. Let v(k) = k**3 - 7*k**2 + 11*k + 8. Let x be v(h). Let i = x - 350. Is i a prime number?
True
Let v = -866 + 1398. Suppose 0 = -9*w + v + 269. Is w composite?
False
Suppose -2*r - 3*g + 3 = -0, r + 4*g = 14. Let u be r/4*(-124)/6. Suppose n - 54 = -2*t, -n - 5*t + 11 = -u. Is n prime?
False
Let d(a) = -1020*a**3 - 2*a**2 - 2*a - 7. Is d(-2) a prime number?
False
Let i be (4/(-6))/(1/(-3)). Let g = 2512 + -1472. Suppose -i*u = l - 201, -2*u = 5*l + u - g. Is l prime?
True
Suppose -3*t = -11 + 2. Let i(k) = k**3 + 30*k**2 + 29*k + 4. Let g be i(-29). Suppose -5*q = -t*j - 796, -q + 0*q - g*j = -173. Is q a composite number?
True
Suppose -41 = -3*f + 19. Suppose -19*r - 3758 = -f*r. Let q = r - 2587. Is q prime?
True
Let i be (3 + -2 - -1) + 0. Suppose 5*y = 4*y + i. Is y/(-14) + (-18630)/(-21) a composite number?
False
Is (3 - 39513)/(-9) + -5 composite?
True
Let q = 77 + -65. Suppose 2*j = q*j - 25030. Is j prime?
True
Let z be (-132)/24 + (-1)/(-2). Let s(c) = 0 - 5*c**2 + 2 + c - 2*c - c**3. Is s(z) prime?
True
Let r = 4 + -1. Suppose 3*j = -m + 422, 4*j = -m + r*m - 834. Is m a prime number?
True
Let v(k) = 77*k**2 - 5*k + 1. Let f(x) = 153*x**2 - 10*x + 2. Let d(s) = -4*f(s) + 9*v(s). Is d(-5) composite?
True
Let g(t) = -11720*t**3 - 9*t**2 - 9*t - 1. Is g(-1) a composite number?
False
Suppose 0 = -14*w - 7*w + 15603. Is w prime?
True
Suppose 3*x + 0*g - 15 = 3*g, x = -5*g - 13. Suppose -4 = -x*u - 4*l, u - l = -2*u + 6. Suppose -7*w = -u*w - 185. Is w a prime number?
True
Let c(v) = 3406*v**2 - v - 1. Let q be c(-1). Let a = q + -2284. Suppose 2071 = 5*k - 2*f, 2*f = -5*k + 937 + a. Is k composite?
True
Let j = 484 + -490. Suppose -k + 1 = 7. Is (-2)/k + (-1264)/j a composite number?
False
Suppose b = -2*b + 4*i + 16, -5*i - 20 = 2*b. Suppose -l + b*l + 745 = 0. Is l a composite number?
True
Suppose -v = -5*q + v + 11799, q = -v + 2357. Is q a composite number?
True
Let c be (-3)/7 + 3562/14. Suppose 5*w = 3*w + c. Is w a prime number?
True
Suppose -g = -4*b + 18798, -3*g - 10048 - 13453 = -5*b. Is b prime?
False
Suppose 4*i - 4 = 3*g, 0 = 3*i + g + 4*g - 32. Suppose -h + i*h = 126. Suppose d - 307 = -h. Is d prime?
False
Is 4474/4*(2 - (5 + -5)) composite?
False
Suppose 5*g = -4*b + 4*g + 67, 5*g = 15. Let c be 2/(-10) + (-6 - (-2856)/30). Suppose -17*u = -b*u - c. Is u a composite number?
False
Let g(r) = 27088*r + 93. Is g(5) composite?
False
Suppose -3*f - 137 = -2. Let j = -22 - f. Is j/(2 + (-9)/5) prime?
False
Let r(b) = -8*b**3 - 23*b**2 - 17*b - 35. Is r(-15) a composite number?
True
Is (-331)/((-4)/(-6) - (-1221)/(-1683)) prime?
False
Let u(b) = 400*b + 11 + 14 - 15*b - 8. Is u(6) a composite number?
True
Suppose -3*y + 3 = 0, 4*m - 29574 - 1268 = 2*y. Is m composite?
True
Let t be 3*4*1/4. Suppose 6*l - t*l = 0. Suppose -o + 1 = 0, -o + l*o + 212 = n. Is n prime?
True
Is ((-149)/4)/(2*4/(-2144)) composite?
True
Let o(g) = g**3 + 7*g**2 - 7*g + 5. Let z be 66/(-9) + (-4)/6. Let k be o(z). Is (-2)/k + 2710/30 prime?
False
Is ((-28)/8 + 5)/(3/13030) a composite number?
True
Let v(f) = f**3 + 3*f**2 + f + 5. Let c be v(-3). Is (-2)/(-7) - -2147*c/14 a composite number?
False
Suppose 4*c - 3*l - 14424 + 1000 = 0, 0 = 4*c + 5*l - 13456. Is c composite?
False
Suppose 4*t + 8 = 0, 76 = l - t + 26. Suppose 2*d = -2*d - l. Is (-4)/(-6)*(-6030)/d a composite number?
True
Let y be (-2 - -4)*(-161)/14. Let f = y + 25. Suppose -l + 3*l - 20 = f*r, -5*l = 4*r - 95. Is l composite?
True
Let a(f) be the third derivative of -43*f**4/24 + f**3/6 - 5*f**2. Let y be a(-1). Suppose k + 5*j = 35, -k + j + y = 9. Is k a composite number?
True
Suppose 2*h + 0*v - 4522 = -4*v, 3*h + 5*v = 6787. Is h prime?
True
Suppose -71*c + 1201111 = -358120. Is c a prime number?
True
Let s = 8 + -9. Let