11*b + 37248 = 0. Let l = b + -1181. Is l composite?
True
Let w(d) = 15*d**3 - 3*d**2 + d + 6. Let k be w(-2). Let l = k - -128. Is (22/4 - l)/((-2)/(-1676)) composite?
True
Suppose 0 = 18*n - 25*n + 21. Suppose 0 = -n*l + 16*l - 230191. Is l composite?
False
Suppose 13*q - 4866 = -472. Let n = q - -105. Is n composite?
False
Let r(m) = -7*m**3 - m**2 + 27*m - 1. Let l(y) = -6*y + 54. Let q be l(10). Is r(q) prime?
False
Suppose 2*d - 14 = -5*b + 23, -b = -4*d + 63. Suppose 3*f + f = d, 4*q + 3*f - 9608 = 0. Is q composite?
False
Let y(h) = 4*h + 26. Let f be y(-7). Let m(j) = 3338*j + 6. Let k be m(f). Let b = -4739 - k. Is b a prime number?
True
Suppose -3*k - 5*g = -48, -2*k + 0*g = -5*g - 32. Suppose 4*m = 0, 4*m = 2*h - 22 - k. Is (-92)/(2 + -3) - (-22 + h) a prime number?
False
Is (-4193697)/(-39) + 24/78 prime?
False
Is (-5459064)/(-8) - (-725)/(-29) a prime number?
False
Suppose -46*p = -34*p - 74784. Let t = p + -165. Is t a prime number?
True
Let i = 7523 - -85782. Is i a composite number?
True
Let u(f) = -3349*f + 11. Let g be u(2). Let x = -3660 - g. Is x a composite number?
True
Let m = -10055 - -31176. Is m a composite number?
False
Is ((-19209990)/(-135))/((-4)/(-18)) prime?
True
Let c(r) be the first derivative of -31*r**2/2 - 22*r - 78. Is c(-23) a prime number?
True
Is ((-2)/5)/((-18)/1503405) a prime number?
True
Let s(t) = 3*t**3 - 19*t**2 - 43*t - 37. Let o be s(15). Suppose -1161 = -p + o. Is p a prime number?
True
Suppose 4*v + 5*z - 90951 = 0, -5*z + 68212 = 31*v - 28*v. Is v a composite number?
False
Suppose 0 = 12*s - 6*s - 54. Suppose a = -0*a + s*a. Suppose 13*l - 16*l + 213 = a. Is l composite?
False
Let b(x) = -7*x**3 + 2*x**2 - x + 2. Let q be b(2). Suppose 590*d - 614*d = -2256. Let h = d + q. Is h a prime number?
False
Let i = -2218319 - -4298440. Is i composite?
False
Is (4 + 0)*((-12)/4 - (-1939726)/8) a composite number?
False
Suppose 4*w - 11928 = -0*w. Let g = -1465 + w. Is g prime?
False
Let s = -485 - -888. Let m = -26288 - -26300. Suppose 0 = 4*f - f - m, -s = -l + 4*f. Is l prime?
True
Let q(d) = -30*d**2 + 5*d + 35. Let l be q(-14). Let x be ((-4)/(-2))/(5 - l/(-1185)). Let r = -4 + x. Is r prime?
True
Suppose 24*m + 1110 = 22*m. Let b be 42/(4*(m/(-184) + -3)). Let d = b - 159. Is d composite?
True
Let w = 13009 + -8932. Let a = 7134 - w. Is a a composite number?
True
Let l be ((-2)/8*-67)/((-154)/4312). Let c = 22 - l. Is c composite?
False
Suppose 2*n - 51137 = 23447. Suppose 4*t = 2*g - n, -55894 = -3*g + t - 6*t. Is g composite?
True
Suppose 383471836 = 437*a - 187585890 - 351366681. Is a a prime number?
True
Suppose -x - 6*x = 2*x. Suppose x = 4*r - u - 49469, -5*r + 35207 + 26632 = -4*u. Is r a composite number?
True
Suppose 0 = 3*c - 0*b + 3*b - 1278, -3*c + 1254 = -3*b. Suppose a - c = 613. Let j = a - 704. Is j a composite number?
False
Let u = 390 - -1009. Let i = -638 + u. Is i a composite number?
False
Let u(x) be the third derivative of x**5/12 + x**4/4 + x**3/3 + 46*x**2. Let f be u(-2). Suppose c = -f*c + 5137. Is c a prime number?
True
Let r(l) = -l**3 + 31*l**2 + 68*l - 52. Let w be r(33). Suppose w*s - 5540 = 10*s. Is s a prime number?
False
Let h be 2*92/40 - (-8)/20. Is 783318/48 + ((-15)/24)/h composite?
False
Let x(g) = -g**3 - 2*g**2 + 31*g + 37. Let u be x(16). Let z = -2414 - u. Is z a composite number?
True
Let w(n) = n**3 + 2*n**2 + 20*n + 11. Let v = 4 - 4. Suppose 0*o + 3*o + 4*z - 31 = v, -3*o + 3*z + 24 = 0. Is w(o) composite?
True
Suppose 0 = -5*k + 3*f + 92, 0*f = -3*k + 2*f + 55. Suppose 6*p - 17 = k. Suppose 0 = b + p*b - 3878. Is b composite?
True
Let l = -45318 - -121322. Suppose 1513142 = 26*n - l. Is n prime?
True
Suppose -5*o = h - 12, -2 = -3*o - o + 3*h. Suppose 4*l = 5*q - 44423, 0 = o*q + 14*l - 18*l - 17762. Is q composite?
False
Let f = -779 + 785. Let g(y) = 15*y**3 - 9*y**2 + 12*y - 61. Is g(f) a composite number?
False
Let y = 58 + -56. Suppose 5*q - 3*a + 43555 = 0, -a = 4*q + y*a + 34871. Let b = q + 13149. Is b a prime number?
False
Let v be 12/(-10)*(-90)/(-27). Let c be (-2)/v*(7 - -381). Suppose 15 = j - d - c, 6 = 3*d. Is j a prime number?
True
Let u(b) = -b**2 - 16*b + 22. Let g be u(-17). Suppose 0 = -0*a - g*a - 2*d + 33809, 2*a + 3*d = 13528. Is a composite?
False
Let m = 3980606 + -1940359. Is m a prime number?
False
Is 100896 + 4 + (-56 - -77) prime?
False
Suppose 4*p - 4155042 + 198110 = 4*j, -3*p + 2967685 = 4*j. Is p prime?
True
Suppose 3*x + 913391 = 4*s, -34*s + 33*s = 3*x - 228344. Is s a composite number?
True
Suppose -96*l + 1290135 = 9*l. Is l a prime number?
False
Let m = 120991 + -8370. Is m composite?
False
Let r be (-50)/(-20 + 22 - 304/150). Let s be 752/((-10)/(-6) - 1). Suppose -3*i - 3*w + s = 0, 5*i - 2*w + 6*w = r. Is i composite?
True
Let s(f) = 9036*f**2 - 40*f - 13. Is s(-5) a composite number?
False
Let s(t) = t**3 - 6*t**2 - 2*t + 9. Let l be s(6). Let v(q) = -587*q + 18. Is v(l) prime?
False
Let w be -8 + 13 - 4 - -1*4. Suppose 0 = w*u - 5*j + 12676 - 30926, 18247 = 5*u - 4*j. Is u prime?
False
Suppose -4*k = -s - 552432, 320546 = 3*k - s - 93779. Is k a composite number?
False
Let l = 76133 + 1314. Is l a prime number?
True
Suppose -2*l + 17634150 = 4*v + 3*l, 2*v + 4*l = 8817078. Is v prime?
False
Suppose 5*t + 2*d + 31741 = 0, 31*d + 31747 = -5*t + 32*d. Let m = -3212 - t. Is m a prime number?
True
Let l(f) be the first derivative of 2*f**3 + 17*f**2/2 - 20*f + 2. Let t be l(-9). Suppose 2*d - 2*o + o = t, -d + 179 = 4*o. Is d composite?
True
Let t(a) = -a**3 + 16*a**2 - 29*a + 4. Let h be t(14). Is 280671/33 - 4 - h/(-55) a prime number?
True
Let i be ((-18)/(-27))/(2/93). Is (-6)/(-2 + 0) - (-5385 + i) a composite number?
True
Let b(u) = -u**3 - 6*u**2 - u + 15. Let c be b(-5). Is 1 + (-15106)/c + (-14)/70 a composite number?
True
Let i = -35 - -28. Let d(s) = -72*s + 4. Let w be d(i). Suppose 306 = 2*y - w. Is y a composite number?
True
Suppose 8*t = 441975 + 11119753 + 307240. Is t prime?
True
Let n be (-294970)/(-18) - (-26)/(-117). Suppose 3710 = -c + n. Is c a composite number?
True
Let h = -1 + 3. Suppose 2*w + h*o = 14, w + 3*w - 18 = o. Is 259/1*(w - 4) a composite number?
True
Let q = -355406 + 638379. Is q prime?
True
Let b be (0 + 36/(-30))*10/(-1). Suppose -j + 1160 = 2*a, 2*j + 1178 - b = 2*a. Is a a prime number?
False
Let y(j) = 642*j**3 + 2*j**2 + 10*j + 19. Is y(3) a composite number?
False
Suppose 5*z = 55*z - 2044100. Is z composite?
True
Let k(a) = 16*a**3 + 23*a**2 + 15*a - 9. Let z(w) = 8*w**3 + 12*w**2 + 8*w - 5. Let i = 86 - 75. Let c(l) = i*z(l) - 6*k(l). Is c(-3) a composite number?
False
Suppose -4*b = 3*w - 60889, -3*b + 3 - 9 = 0. Is w a prime number?
False
Suppose 0 = 4*k - 3*t - 33 + 109, 2*t - 8 = 0. Let b be (-12)/k + (-13)/(-4). Suppose -3*a = -5*g - 8*a + 3785, -b*a + 16 = 0. Is g prime?
False
Let n = -638642 - -1002793. Is n prime?
False
Let l be (-32)/(-40) + (-4)/5. Is (l - -3)*29918/6 a prime number?
False
Suppose 5*z - 33 = -3*l - 113, 3*l = 3*z - 72. Let y = 32 + l. Suppose -5*p - 4*s + 107 = 0, -26 = -2*p - 3*s + y*s. Is p prime?
True
Let c(g) = -9*g**3 + 4*g**2 + 8*g. Let s = -61 + 57. Let u be c(s). Let j = u + -297. Is j composite?
False
Let v be (-70)/(2/2 + -3). Let f = -36 + v. Is f*46*5/(-2) a prime number?
False
Let q be 14/6 - 13/39. Is (q/3)/((-3)/((-30636)/8)) a prime number?
False
Let p = -13131 + 8322. Let m = 10831 + p. Is m prime?
False
Suppose 0 = -2*d - 3*d + 1370. Let b = d - 115. Let w = b - 4. Is w composite?
True
Suppose -46*o = -42*o - 3044. Let y = o + 59. Is y + 4/3*6/(-4) a composite number?
True
Let b(s) = -76*s - 7. Let x be b(5). Let d be (723 - -37) + 12/(-9)*-3. Let g = d + x. Is g a composite number?
True
Let o = -15502 - -21851. Suppose 0 = 2*p + 5*p - o. Is p a composite number?
False
Suppose 3*d + w = -3*w + 103, 3*w - 41 = -d. Let l(k) = k**3 - 28*k**2 + 58*k - 20. Is l(d) prime?
True
Let y = 205389 + -135962. Is y a composite number?
False
Is 6 + (147614/6)/((-3)/(-9)) a prime number?
False
Let w(x) = 3359*x + 60. Let l be w(3). Suppose 2*b + l = 3*t, t + 5*b - 7*b = 3383. Is t prime?
False
Let f be 10 + (-6)/(-3) + -2. Suppose -13*n + f*n = -3. Is (7/14)/(n/66) a prime number?
False
Let b(r) = 505*r**2 + 39*r - 881. Is b(-42) p