prime?
False
Let w = -7609 - -11976. Is w a composite number?
True
Let o be (-5)/15*(-7694 - -2). Suppose -o = -90*p + 88*p. Is p prime?
False
Let g be (-30)/(-4)*20/30. Let i be 5/g*4/2. Let j(n) = 57*n**3 - 3*n**2 + 1. Is j(i) composite?
True
Let b(x) = 5*x**2 + 18*x + 21. Let o be b(9). Suppose 3*y + 3*j = o, 0*j = -3*y + 3*j + 558. Is y composite?
False
Let n(j) = -1409*j - 242. Is n(-9) composite?
True
Let a(o) = -o**2 - 9*o - 3. Let m be a(-7). Let l(u) = u**3 - 12*u**2 + 11*u + 3. Let r be l(m). Suppose 5*p = -2*n + 719, -r*n = 2*n + 15. Is p prime?
False
Let k be (77/(-35))/((-2)/10). Suppose i = 6 + k. Let p = i + 5. Is p a prime number?
False
Let f = -45 - -120. Let l be f*1*(-1 - -4). Suppose 4*s - 115 = l. Is s composite?
True
Suppose 22*m + 25 = 17*m. Let u be (-108311)/35 - (-2)/m. Let t = -1902 - u. Is t composite?
False
Let x(y) = y**3 - 2*y**2 - 2*y + 1. Let f be x(3). Let c(a) = -47*a - 1. Let n be c(-2). Suppose 3*j = f*j - n. Is j a prime number?
False
Let w = -99 + 104. Suppose -i = -3*v - 1071 + 3260, -4*v - w*i = -2944. Is v a composite number?
True
Let a(h) = h**3 + 10*h**2 + 2*h - 1. Suppose 2*f = -24 + 10. Let k be a(f). Suppose 3*c + 0*v - k = -3*v, 131 = 3*c + 2*v. Is c a prime number?
True
Let c be 312/169 - (0 + 2/(-13)). Let f be (-2)/(-4) - (-5)/2. Suppose c*x = 5*v + 487, -5*x + 762 = -2*x + f*v. Is x a prime number?
True
Let c(q) = 169*q - 32. Is c(15) prime?
True
Let r(a) = a**3 + 13*a**2 + 4*a + 10. Let g(n) = -n - 5. Suppose 2*m = -m + 2*l + 22, m - 3*l - 19 = 0. Let y be g(m). Is r(y) composite?
True
Suppose 0 = j + 607 + 223. Let s = -537 - j. Is s composite?
False
Suppose -20*y - 1470 = -5690. Is y composite?
False
Suppose 0*o = -o. Suppose 6*x + 51 = 4*q + 3*x, -2*q + 4*x + 28 = o. Is 16/q*(-42)/(-4) composite?
True
Suppose 79*q + 267 = 80*q. Is q prime?
False
Let w = 37699 + -9353. Is w a composite number?
True
Suppose 2*x + 0 = 10. Suppose 0*b - 4*b - k + 9 = 0, -x*b - 2*k + 12 = 0. Suppose b*d - 5*d + 201 = 0. Is d composite?
False
Let m(o) = -40 + 5*o**3 - 5*o**3 + 10*o**2 - o**3 - 3*o + 37. Let p be m(9). Suppose 0 = -a + 4*h + p, -3*a + 5*h = -51 - 102. Is a composite?
True
Suppose -2*b + 6 = -j + 2*j, 5*j + 10 = 0. Suppose -p - 5260 = -4*z, -b*z + 2728 + 2532 = -5*p. Is z a prime number?
False
Let l(k) = -74*k - 1. Let t be l(-1). Suppose 3 = 4*c - t. Suppose -23*j + 204 = -c*j. Is j a composite number?
True
Is (-15)/(-5) + ((-7306)/1)/(-1) composite?
False
Suppose -5*u + 3 = 23. Let g be (-8)/(0 - u) + 4. Suppose 0 = g*j + h - 522, -3*j + 157 = -2*h - 612. Is j prime?
False
Suppose -1269 = -3*l + 1317. Suppose 7*t + 6 = 9*t. Is (-4 + t)/((-2)/l) prime?
True
Suppose 0 = 3*p - 117 + 861. Let k = -465 - p. Let n = -99 - k. Is n a composite number?
True
Suppose -4*w = -s + 17, -2*s + 83 = 2*s - w. Let q = s + 0. Is q a composite number?
True
Let t = 9302 - 6043. Is t composite?
False
Let u(o) = -572*o - 28. Let f(b) = 572*b + 29. Let t(x) = 5*f(x) + 6*u(x). Is t(-5) composite?
False
Is (-126)/(-105) + -30098*1/(-10) prime?
True
Let g(y) = -12*y**3 - 2*y**2 - y. Let a be g(-1). Suppose 0 = a*p - 5*p - 1290. Is p a prime number?
False
Let l be 1*-177 + 0 + 1. Suppose -75*k = -54*k + 6363. Let t = l - k. Is t composite?
False
Suppose 770499 = -35*k + 62*k. Is k composite?
False
Let z(i) be the first derivative of -2771*i**2/2 - 2*i - 42. Is z(-5) a composite number?
True
Suppose 26507 = 8*c - 48557. Is c composite?
True
Let a(y) = -y**3 + 19*y**2 - 24*y - 23. Let c be a(17). Suppose c = n - 184. Is n a prime number?
True
Let g(d) = 92*d + 19. Let q be g(-3). Let s = q - -508. Is s prime?
True
Suppose -40*h + 47352 = -16*h. Is h a composite number?
False
Let w be (4 - 5 - 0/2) + -19. Is w/(-8)*1890 + -4*1 a composite number?
False
Suppose -6*j + 1583 = -4*a - 7*j, 5*a + 1975 = -2*j. Suppose 4*o = 779 + 781. Let y = o - a. Is y a composite number?
False
Let v = 15165 + -10012. Is v a prime number?
True
Let c = 15 + -9. Let k(s) = 40 + 19*s - 5*s - 39. Is k(c) composite?
True
Let v(i) = 4*i**2 - 13*i - 9. Let y be v(4). Suppose -5*t = -244 - 36. Let c = t - y. Is c a composite number?
False
Is (-112712)/(-11 + 7) - 9 a prime number?
False
Let c be 2*(-1)/3*3. Let u = 673 + -675. Is 495 + (6 + c)/u prime?
False
Suppose -l - 67700 = -2*s, -3*l = -2 - 4. Is s prime?
True
Suppose -60 = -2*v + 6*v. Is (2 - v/(-6))*-3518 a composite number?
False
Let h = 29 + -17. Let g = h - 7. Suppose -g*t + 2*t = -759. Is t a composite number?
True
Suppose 3*w = -z + 14, -w - 2*w = 5*z - 10. Suppose -60 = -4*y + x + 748, -w*y + 4*x + 999 = 0. Is y a composite number?
True
Let x(j) = 5*j + 1. Suppose 0 = -5*v - 10, -5*v - 10 = 5*q - 3*q. Suppose -2*h + h = -1, 2*g - 3*h - 9 = q. Is x(g) prime?
True
Let p(s) = -78*s + 21. Suppose -14 = -5*x + 36. Let i be p(x). Let o = -472 - i. Is o composite?
True
Suppose -9*w + 86726 + 7117 = 0. Is w composite?
False
Let q = -32 + -35. Suppose -1690 = -2*j - 13*l + 11*l, -5*j = 3*l - 4231. Let i = q + j. Is i a composite number?
True
Let n be (-2 + 4)*2 + 1. Let h(s) = 2*s**3 + 7*s**2 - s - 10. Let p(v) = -3*v**3 - 8*v**2 + v + 11. Let u(a) = -4*h(a) - 3*p(a). Is u(n) a composite number?
False
Suppose 3*w = -4*p + 4*w + 8641, 0 = 4*w + 20. Is p a prime number?
False
Let g = 98 + 23. Let n = -153 - -408. Let c = n - g. Is c a composite number?
True
Suppose o = 157 + 118. Let q = 582 - o. Is q composite?
False
Let o = 47 - 40. Suppose 5866 = o*q - 1953. Is q a composite number?
False
Let p = 30 - 34. Is 9780/54 - p/(-36) prime?
True
Let b = 33290 + -1849. Is b composite?
True
Is 1/(20 + -18 + (-108714)/54358) a composite number?
False
Let l be 4 + (-7)/((-35)/(-40)). Is (10 + -2804)*2/l a composite number?
True
Suppose 0 = 3*g - 16*g + 38389. Is g a composite number?
False
Let f(c) = -94*c**3 - 3*c**2 + 2. Suppose -n - 141 = -138. Is f(n) a composite number?
True
Suppose 3*x + 1221 = 3*b + 435, 3*b - 5*x = 794. Let q = b - 131. Suppose 0 = d - 2*d + q. Is d composite?
False
Let l be 2190/(-9) - 3/(-9). Let s = -953 + 473. Let i = l - s. Is i composite?
True
Suppose -2*y + 510 = 2*z, y + 5*z + 231 = 2*y. Is y a prime number?
True
Is 126/63 - (2/1 - 2101) a composite number?
True
Let r = -14 - -12. Let z(n) = 182*n**2 - 2*n - 1. Let p be z(r). Let v = p - 462. Is v a prime number?
True
Let u(m) = -4*m - 40. Let x be u(-11). Suppose -3*h - 1757 = -x*k, k - h = 5*k - 1777. Is k composite?
False
Let a be (-12)/(-20) - (-24)/(-15). Let f(u) = -888*u**3 - u - 2. Is f(a) a prime number?
True
Is 2/(-6)*-3*(616 - -85) composite?
False
Let b = -1110 + 336. Suppose -4*s = -4*c + 4828, 12*c = 11*c - 4*s + 1197. Let v = c + b. Is v composite?
False
Let b be ((-24)/20)/(3/(-7185)). Suppose -6*a + 0*a + b = 0. Is a a prime number?
True
Suppose -404*m - 274345 = -409*m. Is m a composite number?
False
Suppose 2*a = -2*f + 118, -5*f - 236 = -4*a - 0*f. Suppose 64*g - 1455 = a*g. Is g a prime number?
False
Suppose -1437 = -2*x + 3*v, 4*x - 2864 = -4*v - 0*v. Let p = x + -26. Is p a composite number?
False
Let j(y) be the second derivative of 6*y**3 + y**2/2 - 3*y. Is j(7) a prime number?
False
Is 1*2036 - (-20)/4 a prime number?
False
Let s(b) = -4979*b - 173. Is s(-8) prime?
True
Let u(i) = -5*i + 77. Let g be u(17). Is (-118*(-7)/(-28))/(2/g) a prime number?
False
Suppose -4*q + 3*p + 12 = -q, 2*p - 27 = -5*q. Let s = 3 + -1. Suppose q*i = s*i + 435. Is i prime?
False
Suppose -b + 0 = 4, -4*z = -b + 8. Let k = z - 9. Let i = 71 + k. Is i a composite number?
False
Suppose -22 + 70 = 2*h. Let b(z) = -1 + 0*z + 16*z + h*z. Is b(3) a prime number?
False
Let v = 1251 - -4072. Is v a prime number?
True
Is (1/3 - 1)/((-40)/83940) prime?
True
Suppose -5*z + 14 = 2*t, 4*t = 3*z + 2*z - 32. Suppose -3*j + 2*f + 20 = 0, -5*f = 3*j - f + 4. Suppose -z*w + c + 668 = 3*c, -j*c = 4*w - 672. Is w prime?
False
Let p(k) = -3*k + 10 + k**2 - 3 - 3 - k. Let b be p(4). Suppose 283 = 5*o - b*i, -i = 3*o - 0*i - 163. Is o prime?
False
Let g(a) = a**2 - a - 24. Let d be g(0). Let n = 95 + d. Is n a composite number?
False
Let k(t) = 19*t**2 - t - 1. Let q be k(1). Let s(b) = b**3 - 11*b**2 + 2*b - 37. Is s(q) a composite number?
True
Suppose -7 + 4 = -3*w. Suppose -3 = -2*a + w. Is 420/16 - a/8 a composite number?
True
Let d(r) 