Is m(p) prime?
True
Suppose 2*m - 3 = -9. Is m/12 + 7037/4 prime?
True
Suppose -12*g + 53574 = -123054. Is g a composite number?
True
Let o = 27685 - -29236. Is o composite?
False
Let j = 1125 + -968. Is j a prime number?
True
Let d = -11979 - -59318. Is d prime?
True
Let s(p) = 14*p**2 + 7*p - 86. Is s(13) a prime number?
True
Suppose 3*f = -2*s + 1129, 6*f = s + 3*f - 569. Let n = s + -375. Is n composite?
False
Let b(g) = 2824*g**2 + 53*g - 235. Is b(4) prime?
True
Suppose 0 = -j + 388 + 2719. Suppose j = 5*s - 3158. Is s a prime number?
False
Suppose -2*r = -29 - 111. Suppose 0 = -4*t + 2*t + r. Is t composite?
True
Suppose -o + 9745 = -2*i, 0 = 79*i - 77*i + 2. Is o prime?
True
Suppose -18*d - 11272 = -4*c - 16*d, 0 = d - 2. Is c a composite number?
False
Suppose -3*q + 11*q = 32. Suppose 2*c = -q*u + 1650, -u - 3328 = -4*c - 73. Is c composite?
True
Let l(w) = -39*w + 1. Let i = -17 - -21. Suppose -i*g + 9 = 5*y, -3*g = 7*y - 2*y - 13. Is l(g) a composite number?
False
Let i(o) = o**3 + 7*o**2 + 6*o - 2. Let p be i(-3). Let q be p/(-24) + (-26)/6. Let j(d) = 26*d**2 + 4*d - 7. Is j(q) a prime number?
False
Let p(f) = 3*f**3 - 4*f**2 - 4. Let w = -12 + 9. Let s be p(w). Let u = s + 266. Is u prime?
False
Let d = 70 + 62. Suppose d - 390 = -2*n. Is n composite?
True
Let x be 27/(-3)*160/(-3). Suppose 171 = 3*a - x. Is a a composite number?
True
Let p = 4 + -2. Suppose -p = -4*l - 10. Is 38*(3/l)/(-3) a composite number?
False
Suppose -z - 27770 = -3*r, 18500 = 3*r - 4*z - 9267. Is r composite?
False
Let u(j) = 14*j**2 + 15*j + 7 + 2*j**2 - 13*j**2 + 12*j**2. Is u(-9) prime?
True
Suppose 0 = 6*x - 6487 + 1045. Is x composite?
False
Suppose -3*g + 931 = -128. Is g a composite number?
False
Suppose 5*u - 2*g = -0*g - 1, 0 = -u - 4*g + 13. Let y be (u/2)/(4/328). Suppose 0 = -3*d + 4*b + 200 + y, -3*b = 4*d - 313. Is d composite?
False
Let s(w) = 2*w**2 - 26*w + 26. Let m be s(12). Is (-6)/(-6)*(1 - m)*-941 prime?
True
Let a(q) = -27*q - 5. Let r(n) = -26*n - 5. Let t(f) = -5*a(f) + 4*r(f). Let i = 29 - 17. Is t(i) prime?
False
Let j(h) = 23*h + 4 - 98*h - 19*h - 35. Is j(-12) a composite number?
False
Suppose -2*l + 537 = -1169. Is l a prime number?
True
Is (-24)/(-21) + (-1311030)/(-98) a prime number?
False
Let l(c) = 2*c**3 - 9*c**2 + 10*c - 9. Let u be l(6). Suppose -2*a = u - 805. Suppose 3*p - 2*z - a = 0, -p - 4*z - z = -136. Is p a prime number?
False
Let c be (5/2)/(17/34). Suppose 2*t - 1000 = -2*b, 189 - 693 = -b - c*t. Is b composite?
False
Let c(g) = g**2 - 5*g + 8. Let y be c(7). Suppose -21*p + y*p - 43 = 0. Is p a prime number?
True
Suppose 224760 = 25*s - s. Is s a prime number?
False
Is 8/(-8)*(-10616 - 1) composite?
True
Suppose -2 = 13*m - 14*m. Suppose -m*g - 3*g = -5345. Is g a composite number?
False
Let h(x) = -x**3 - 5*x**2 - 2*x + 8. Suppose 2*a + 10 = 4*d - 18, 0 = -3*a + 3*d - 30. Let r be h(a). Suppose -r = -3*k - k. Is k prime?
False
Let h(c) = 7*c**2 - 3*c + 13. Let i(f) = -f + 13. Let b be i(-4). Is h(b) composite?
True
Is (2 - 1 - -1)*(-45892)/(-88) prime?
False
Let a(m) = m**3 + 4*m**2 + 2*m + 4. Let l be a(-4). Let u be l/8 + 1/2. Suppose u = 7*p - 6*p - 155. Is p a composite number?
True
Let i(w) = w + 223. Let r = -3 - -6. Suppose -4*u = -r*u. Is i(u) a prime number?
True
Let u = -5602 - -10619. Is u composite?
True
Suppose 4*b - 3 = b, 0 = -2*n + 5*b + 7. Is 730/n + (-10)/15 a composite number?
True
Is (101962/28)/((-4)/(-8)) prime?
True
Let o(v) = 1995*v + 329. Let l(x) = -133*x - 22. Let r(g) = -91*l(g) - 6*o(g). Is r(7) composite?
True
Let q(g) = 248 - 5 + 172 - 96 + 3*g**2. Is q(0) a prime number?
False
Let f be 369/18*(-3 + 1). Let j = f + 147. Is 1 - (2 - j*2) composite?
False
Let n(m) = 2*m**2 + m. Let u be (-12)/(-4) + 0 + -5. Let i be n(u). Is (-12 - -106)/(4/i) a prime number?
False
Let n be 2/6 + 98/21. Let f(x) = 2 + 7*x - 5 + n. Is f(5) prime?
True
Suppose n + 5*b = 3*b + 14, 2*n + 2*b - 20 = 0. Suppose -y - 185 = -n*y. Let k = y + 141. Is k prime?
False
Suppose 14*o - 17*o = -2*h - 12533, -2*o + 8351 = 3*h. Is o a prime number?
True
Let m = 9828 - -8328. Suppose -5*p = -17*p + m. Is p composite?
True
Let c(z) = 3*z**2 - 4*z + 3. Let h(d) = -4*d**2 + 5*d - 4. Let f(m) = 2*m + 6. Let b be f(-5). Let j(a) = b*h(a) - 5*c(a). Is j(5) a prime number?
False
Suppose 9*w - 10203 = 6*w. Is w a prime number?
False
Is ((-12)/(-8) + -3)*331606/(-33) prime?
True
Is 1384*1 + (-8)/(-4) + -1 composite?
True
Let t be (-25)/(-2) + 9/6. Suppose 2*c - t - 10 = 0. Suppose -c = 3*b - 213. Is b prime?
True
Let r = 340 + -41. Suppose -r = 5*g - 3*h - 913, 378 = 3*g - 5*h. Is g composite?
True
Let k = 45 + -17. Let j = 79 - k. Let w = 4 + j. Is w composite?
True
Let n(b) = b**3 + 14*b**2 + 8*b - 14. Suppose 9*y + 26 = 7*y. Let a be n(y). Is (-2)/17 - (-20763)/a a composite number?
True
Let w = 5810 - 2951. Suppose 4*y + w = k, -4*k - 5*y + 5937 = -5415. Is k composite?
False
Let y = 4 - 2. Suppose 1851 = y*t - k, -t - 2*t + 2754 = 3*k. Is t a composite number?
True
Let y(h) = -31*h + 37. Suppose -5*b - 4*w = 51, -16*b + 11 = -17*b - w. Is y(b) a prime number?
False
Let m(z) = 60*z**2 - 25. Let w(h) = -2*h**2 - h - 3. Let p be w(-2). Is m(p) composite?
True
Let s = 5866 - 4023. Is s prime?
False
Let q = -16 + 28. Let u be (-26)/q + (-13)/(-78). Is u + (-1701)/(3/(-1)) a composite number?
True
Suppose 3*a = 4*h - 3*h + 8, 5*a + h = 16. Suppose -3*z - 65 = -a*t + 1108, 2*z = t - 389. Is t prime?
False
Suppose -3*b + 4 = -2. Suppose b*n + 4*z + 3816 = 0, -3*z - 9592 = 5*n - 6*z. Is (4/(-16))/(1/n) composite?
False
Let q be 90 - -6*4/8. Suppose 0 = 5*h + 2*t - 112, 0 = -2*h - 5*t - 0*t + 49. Let f = h + q. Is f a prime number?
False
Let w = -592 - -936. Is -1 + (-5)/(-4) + 395858/w composite?
False
Suppose 3*m + 3*c = 9, -4*c + 8 = -2*m - 10. Let d be (2 + 1)/(0 - m). Suppose 3*v - 3*k + d - 99 = 0, -5*v + 164 = -3*k. Is v a composite number?
True
Let y(p) = 3*p**2 + 12*p + 10. Let d(h) = -h**2 - 6*h - 5. Let c(g) = 7*d(g) + 4*y(g). Let a(o) = o + 3. Let s be a(-9). Is c(s) a composite number?
False
Let q be 61*13 + (-10 - -11). Suppose -2*w = -4*t + 84 + q, -t = -5*w - 224. Is t prime?
False
Let n(c) = -c**3 + 56*c**2 + 11*c + 163. Is n(54) prime?
False
Is (-3554)/((12/30)/((-2)/10)) composite?
False
Let c(u) = 4*u - 7. Let m be c(4). Suppose m*f - 14833 - 15344 = 0. Is f a prime number?
False
Suppose -4*x + 2*q - 17014 = x, -6817 = 2*x + 3*q. Let n be 0 + (-3)/((-9)/6). Is 3/(n + x/1708) composite?
True
Let v = 1658 - 2886. Let n = -2025 + 3768. Let y = v + n. Is y prime?
False
Let r be ((-1)/(-2))/((-3)/(-18)). Suppose 2*h = y - 9, -3*h - 3 = r*y + h. Suppose y*j = 4*q - 210 - 240, 10 = -5*j. Is q a composite number?
True
Let o = -13047 - -22658. Is o prime?
False
Let q = 29 + -23. Let p(j) = 192*j + 13. Is p(q) a prime number?
False
Suppose -m + 7*t + 1239 = 2*t, 4*t = -2*m + 2534. Is m composite?
False
Let w be 4/((-8)/26)*-1. Is (w + 7)*298/8 prime?
False
Suppose 52*c = 55*c. Suppose 4*b - 13*b + 1179 = c. Is b composite?
False
Let y = -5500 - -29993. Is y composite?
True
Is ((-6)/(-8))/(6/(-4))*-20062 a prime number?
False
Let g(f) = -2*f - 4. Let q be g(-4). Suppose -5912 = -q*o - 2*i - 1764, -3*o + 3*i = -3129. Is o composite?
False
Let c be 10505/44 - 6/8. Let m = c + -149. Suppose 9*d + m = 10*d. Is d a composite number?
False
Suppose -3*j + 23 = -2*n, -n = -3*j + 4*j - 1. Suppose -3*f = -5*s - 323, j*s - 4 = 3*s. Is f prime?
False
Suppose 3*l + 21 - 6 = -3*k, 0 = -k + 2*l + 10. Suppose 4 = a - k. Is 267 + 0/a - 2 prime?
False
Let d = -3 + 7. Suppose 5*l + 46 = 4*p, d*l + p + 21 = 2*l. Is (-654)/l + (-2)/5 composite?
True
Suppose 423*j + 14786 = 425*j. Is j composite?
False
Suppose 0 = 6*m + 1599 - 27. Is 1*(-2)/4*m a composite number?
False
Suppose -2*v + 47*d + 32166 = 45*d, -5*d = -2*v + 32154. Is v prime?
True
Let w = -3269 - -8870. Suppose 2*g + w = 5*g. Is g a prime number?
True
Suppose 5*l - 19 = -3*k, 5*l - k + 3*k - 21 = 0. Let f = l + 0. Suppose -f*y - 4*p + 441 = 0, 5*p + 395 - 34 = 4*y. Is y a composite number?
False
Let w = 6581 - 2268. Is w prime?
False
Suppose 10*v - 219757 = 33153. Is v composite?
True
Let j = 11 + -9. Suppose 3*s - 748 = 3*w - 2677, -j*w - 5*s + 1272 = 0. Is w a prime numb