rime number?
True
Let g(f) be the first derivative of -f**3 - 18*f**2 + 4*f + 4. Let o be g(-12). Suppose o*x + 1344 = 5*c - 1311, -c + 2*x = -537. Is c a composite number?
True
Is (15168429/2)/((-7173)/(-1594)) prime?
True
Let y(f) = 2*f**2 + 17*f + 3. Let n = 133 - 117. Is y(n) a prime number?
True
Let s = -300 - -298. Let r(z) = -1304*z - 29. Is r(s) composite?
False
Let h(t) = 7814*t**2 + 1. Let j(k) = 3*k - 41. Let r be j(14). Let x be h(r). Suppose 5*w + 5*v = x, -76 = -2*w + v + 3038. Is w composite?
False
Let n = -35 + 21. Let b be (5 + -8)/(3/n). Suppose b*y - 149 = 13*y. Is y a composite number?
False
Let m(y) = 432*y + 2*y**3 - y**3 - 447*y - 31 + 34*y**2 - 14. Let w be m(-19). Let f = w - 3202. Is f a composite number?
True
Let b = 1273 + 18075. Suppose 46*u - b = 32*u. Is u a composite number?
True
Let n = 443 - 381. Suppose -4328 = n*p - 66*p. Is p composite?
True
Let f(g) = g**3 - 11*g**2 - g + 15. Let d be f(11). Suppose k = d - 16. Is ((-9740)/k)/1*3 composite?
True
Suppose 3*v - 420 = -150. Let g = v + -90. Suppose -4*o + n + 1676 = g, -7*o + 3*o = -5*n - 1676. Is o a prime number?
True
Let f = 7 - 110. Let m = -101 - f. Is ((-20)/40)/(m/(-16804)) composite?
False
Suppose 0 = -16*r - 12*r + 13*r + 521715. Is r composite?
False
Let l = -383 - -273. Let d = l + 135. Suppose 34*x - 22797 = d*x. Is x a prime number?
False
Let f be (3 + (-4 - 3))*(-17)/4. Suppose f*q - 12*q = 30. Suppose -q*w + 4361 = w. Is w a composite number?
True
Let u(x) = 217*x**2 - 12*x - 40. Let g = 343 - 346. Is u(g) a composite number?
False
Let p(q) = q - 10. Let z be p(10). Let v be ((-188)/12)/(2/(-204)). Suppose y - 5*b + 440 = v, z = b - 1. Is y composite?
False
Let x = -33 - -31. Let q(m) = -m**2 - 3*m - 2. Let o be q(x). Is (-1926)/(-3) - (o - -2) - -1 composite?
False
Let d = 39 + -4. Let j be -1 - (-14)/d - (-28)/5. Is (6 - (-68)/(-10)) + 10859/j a prime number?
False
Suppose 0 = 4*r - 2*n - 583669 - 76855, 3*r = -4*n + 495415. Is r composite?
False
Let u(y) = -y**3 + y**2 + y + 2. Let b be u(0). Suppose 0 = -3*c + 28 + b. Suppose 3*x = c*x - 19649. Is x a prime number?
False
Let x(r) = -10*r - 212. Let t be x(-23). Suppose -10*u = -t*u + 94808. Is u a composite number?
True
Let v = 5994 + -10324. Let g be (-7)/((-14)/v) + (1 - 1). Is 4/22 - (g/11 + 3) a composite number?
True
Let w be ((-192)/(-40))/(4/(-50)). Let h be 5/w*4 - 9232/(-3). Suppose 745 = -4*f + h. Is f prime?
False
Let q = 42 - 52. Let x be 102277/21 - (1 - q/(-6)). Is (-10)/45 + x/9 a composite number?
False
Let b(p) = 147*p + 43. Let t be b(15). Suppose 0 = y - t + 95. Is y composite?
False
Let z(h) = -h**3 - 6*h**2 - 17*h + 14. Let x be z(-8). Let k = 2325 - x. Is k a composite number?
True
Suppose 587772 = -3*u + 39*u. Is u composite?
True
Is 811105*(221/(-65))/(-17) prime?
True
Suppose -498753 = -t - c, 391*c + 1496257 = 3*t + 393*c. Is t composite?
True
Suppose 4*b = -4*w + 1524, -5*b + 397 = w - 0*b. Let j be (-152)/(-1900) - 82773/(-25). Suppose w = -6*s + j. Is s composite?
True
Let u(p) = p**3 + 32*p**2 + 27*p - 68. Let m be u(-31). Suppose -m*q + 55*q = -326. Is q composite?
True
Let j(k) = k**2 + 10*k - 7. Let g be j(-8). Let m be 2*1 - (-23 - g). Suppose 3*y - 2705 = -z, 3*z + 2*y = m*z + 2705. Is z a prime number?
False
Suppose 5*w + 26 = -k + 5*k, 4*k + 4*w = 8. Suppose -k*r = -2*j - 2, -16 = -3*j - 5*r + 3. Suppose 4*m + 0*m + j*y = 376, -5*m = -4*y - 470. Is m composite?
True
Suppose -3*y - 5*p + 757 = 0, 0 = -5*y + 4*p + 1454 - 217. Suppose k + r = 126, -2*k + 0*r = 5*r - y. Is k prime?
True
Suppose z = 2*x + 8, -4*x + z - 28 = 2*z. Suppose -2*m = 2*w - 2 + 14, 4*m = -w - 15. Is (m/x)/(2/332) prime?
True
Let d = 18484 - 5399. Is d composite?
True
Suppose 4*p + 17519 = c, -3*p + 35071 = -12*c + 14*c. Let t = c + 666. Is t composite?
True
Suppose -63*k + 47462971 - 30250190 = -51954352. Is k prime?
True
Is (-23 + 15)*3387917/(-104) composite?
False
Let h(g) = g + 9. Let f be h(-13). Let z be (2/f)/((-4)/(-8)). Is 744 - -17 - (z + -1) composite?
True
Let n = -52 + 22. Let k be 5*(1 + (-2328)/n). Suppose 0 = -m + k + 20. Is m composite?
True
Let r be 8/32 - (-1)/((-4)/(-23)). Suppose 5*w - r = -16. Is (1/w)/((-2)/5484*3) prime?
True
Let p = 449551 + -158814. Is p composite?
False
Let k = 210 + -235. Is (7495/k)/(3/(-75)) prime?
False
Is 4*1837/176*548 a prime number?
False
Let k be 1828/(-52) + (-4)/(-26). Is 7/k + 35486/5 composite?
True
Suppose 5*i - 13*i = -966104. Is i a composite number?
False
Suppose 0 = -6*i + 3*i - 15. Let y be 0*i*(-2)/30. Suppose y*m = m - 113. Is m a prime number?
True
Let n be -1*((-25)/5 - 9). Let v(i) = 117*i - 77. Is v(n) a composite number?
True
Let p(m) = -17119*m + 7. Is p(-1) composite?
True
Let q(x) = 74174*x + 29. Let p(r) = -18544*r - 7. Let s(f) = -9*p(f) - 2*q(f). Is s(1) prime?
True
Let y = 72 - 67. Suppose 2*h = 3*j + 3805, -y*h + 0*j = 5*j - 9500. Is h composite?
False
Suppose -3*t - 4*y = -8949, -1690 = -2*t - 5*y + 4269. Suppose t = u - 4*n, 2*u + 2*n = -2*n + 6010. Is u a composite number?
False
Let h be (14/(-4) - 2)*2. Let m be 2*((-4)/(-14) - h/(-14)). Is -2 - m*374/2 a prime number?
False
Let k(l) = 5975*l**2 - 224*l + 1504. Is k(7) prime?
True
Suppose 4*f - 2*f = a + 10918, 0 = -3*a. Let o = -2328 + f. Is o a prime number?
False
Let l(c) = -c**3 - c**2 + 3*c + 3. Let k be l(-1). Suppose -14*i - 10*i + 214152 = k. Is i a prime number?
True
Is (-15446)/(-4)*8 - (54 + -45) a composite number?
True
Suppose 4*b - 12071 = -5*d, 5*d + 15125 = 5*b + 4*d. Suppose 2*v - b = -w, 3*v + 2*w = -365 + 4902. Is v prime?
True
Suppose 5*n + 40 = -15*n. Is 336566/102 - n/(-3) a prime number?
True
Let f(b) = 13*b**2 - 7*b + 326. Let c be (-2 - 4/3)/(8/12). Let u(j) = -19*j**2 + 10*j - 489. Let o(v) = c*u(v) - 7*f(v). Is o(0) a composite number?
False
Let s = 71066 - 45225. Is s composite?
False
Let h = 3730 - -74. Suppose 10*v + h = 14*v. Is v composite?
True
Let m = -84 - -84. Let x(l) = -3*l**2 - l + 5. Let f be x(m). Suppose -1433 = -y + 2*u, -3*u = -f*y + 4691 + 2502. Is y a composite number?
True
Suppose s - 3*h = 4253, -2*s + 8490 = 5*h - 3*h. Suppose 4*d - 2*d = 4*p - 3058, -4571 = 3*d + 2*p. Let y = s + d. Is y a prime number?
False
Let p = 91821 - 19322. Is p a composite number?
True
Let y = -264 - -266. Suppose 15071 = -d + y*d. Is d a composite number?
True
Suppose -3*h + 5*c = -90700, -3*h = h + 3*c - 120914. Is h/3*210/140 composite?
True
Is (6 - -45497)/(-5*9/(-45)) + 6 prime?
False
Let g = -30669 + 383956. Is g prime?
False
Let l(x) = 2*x**2 + 3*x + 23. Let y be l(10). Let r = y - -40. Is r*(0/1 + 1) a prime number?
True
Let s(r) = 156731*r - 1655. Is s(2) prime?
True
Let a be 12 + (-8 - -4) + -4. Suppose 4*y - 2960 = 2*m + 538, a*y + 5*m = 3533. Is y prime?
True
Let d = -15650 + 32895. Is d a prime number?
False
Let j(x) = -4*x + 99093. Let d be j(0). Suppose 3*z + z + 3*k - d = 0, 2*z = -k + 49545. Suppose -9*n + z = 4782. Is n composite?
False
Let b = -618 - -393. Let u = 225 - 373. Let w = u - b. Is w a composite number?
True
Suppose -k - 7575 = -a - 70393, 5*k + 5*a - 314050 = 0. Suppose 26*l - 71684 = k. Is l prime?
False
Let m(d) = 258*d + 3. Let x(o) = 259*o + 4. Let w = 29 - 33. Let j(r) = w*x(r) + 5*m(r). Is j(1) a composite number?
True
Let p(y) = 3*y**3 - 25*y**2 + y - 59. Let j(g) = -7*g**3 + 50*g**2 - g + 117. Let t(o) = 2*j(o) + 5*p(o). Is t(27) prime?
False
Suppose 0 = 12*z - 66618 - 22878. Suppose z = -31*y + 37*y. Is y a composite number?
True
Let s(z) = -2*z**2 + 3*z - 1. Let c(b) = 13*b**2 - 12*b + 23. Let h(y) = c(y) + 6*s(y). Suppose -5*d - 5*m - 60 = 0, -48 = 4*d - 2*m + 7*m. Is h(d) prime?
True
Suppose t + 20 = 2*j, 3*j + j = 5*t + 52. Suppose -5*q + j*q - 15 = 0. Suppose 407 = q*c - 28. Is c prime?
False
Let w = 17 - 17. Suppose w = -i + 10 + 8. Suppose i*c = 14*c + 5036. Is c prime?
True
Let y(l) = -l**3 - 3*l**2 + 2*l - 21. Let w be y(-5). Suppose 17*j = w*j - 6, -x - j + 881 = 0. Is x a composite number?
True
Suppose 16*i - 15*i = 67. Suppose 744 = x + i. Is x composite?
False
Let f(q) = q**2 + 10*q + 441877. Is f(0) a composite number?
False
Let u(m) be the second derivative of -m**5/20 + m**4/12 + m**3/2 + 1151*m**2/2 - 14*m - 1. Is u(0) a prime number?
True
Let y = 2782 + -1791. Is y a