umber?
False
Suppose -9*n = -2 - 16. Suppose -5*z - s + 13 = -3*z, 2*s = -n*z + 16. Suppose -24317 = -0*r - z*r - 4*u, -3*u = -r + 4852. Is r composite?
False
Suppose -549*j + 548*j = 4*a - 36859, a = -2*j + 73739. Is j composite?
False
Let s = 76 + -73. Suppose 3*d - 5*u = 10, -2*d - 3*d + s*u = -22. Suppose -6*m - d*o - 4380 = -7*m, 5*m = 4*o + 21921. Is m prime?
False
Suppose 0 = -s + 24 - 42. Is 2/s - 4824440/(-1044) prime?
True
Let z be (3/(-9))/(4/(-36)). Let y be (z/(15/(-10)))/(4/(-118)). Suppose -62*p = -y*p - 1959. Is p a composite number?
False
Let k = -281495 - -460806. Is k a composite number?
True
Let y(z) = 392*z + 123. Let j be y(6). Suppose -593 - j = -4*p. Is p a composite number?
True
Suppose w - 25215 = -4*h + 70303, 2*h + 4*w = 47766. Is h a composite number?
False
Suppose 0 = -29*q + 269163 + 1411329. Let w = q + -39055. Is w prime?
False
Let d(p) = -p**2 - 14*p + 19. Let c be d(-14). Suppose 32*v = c*v + 38311. Is v a prime number?
False
Let u be (-2)/(8/(-456)*3). Suppose -u*m = -42*m + 47836. Is m prime?
True
Let t(h) = -h**3 + 24*h**2 + 15*h - 22. Let d be t(25). Let q = 2079 - d. Is q a composite number?
False
Let k = -8021 - -31962. Is k prime?
False
Let s(j) = 146*j**2 + 12*j - 6. Let w be s(-5). Let i = w - -353. Is i a prime number?
False
Let x = 61 + -19. Let m be (230/6)/(2/x). Let t = m + -62. Is t composite?
False
Let z = -225 + 232. Is (-3299*1/(-4))/(z/28) a prime number?
True
Suppose -3122 = -f - 496. Let m(i) = -4*i**2 + 15*i + 11. Let l be m(4). Suppose l*w + 288 - f = 0. Is w a prime number?
False
Let g = 1241753 + -733974. Is g composite?
False
Let q be (-638)/(-88) - ((-10)/(-8) - 2). Suppose -q*k = -4685 - 747. Is k a composite number?
True
Let p = -196 + 224. Suppose 4 = l + 4*d + 28, 5*l - 2*d = -54. Is 2163/p + 3/l prime?
False
Suppose 2*d + 883 - 75 = 0. Suppose 2*o = -0*l - l + 592, l - 597 = -3*o. Let b = l + d. Is b composite?
True
Let w = -26880 - -31207. Is w prime?
True
Suppose 26*x + 6*x - 12545686 - 3493258 = 0. Is x a prime number?
True
Let l = -363 - -172. Let f = l + 310. Suppose 0 = z + f - 1966. Is z prime?
True
Is 2587211/76*4/11 a composite number?
False
Let d = -72 + 76. Suppose 5*p = -4*i + 21, p - d*i = 5 + 4. Suppose 17351 = p*r + 6096. Is r composite?
False
Let d(o) = 607*o**2 + 4*o + 6. Suppose -6*b = -150 + 162. Is d(b) a prime number?
False
Let t = -22956 - -46321. Is t prime?
False
Let s(c) = 1568*c**2 - 43*c - 452. Is s(-9) prime?
True
Suppose 0 = 4*g - 5*g + 2. Suppose -424 = g*a + 230. Let u = a + 590. Is u composite?
False
Is (-6)/(-24)*28 + -5 + 225228 + 11 prime?
True
Let m = 571775 + -809603. Is 4/12 + 1 + m/(-18) prime?
False
Let t(r) be the first derivative of -r**3/3 - 15*r**2/2 + 4*r - 9. Let q be t(-15). Suppose -q*v = -a + 1513, -v + 4 = -0*v. Is a a prime number?
False
Let a(i) be the second derivative of -39*i**3 + 7*i**2/2 + 2*i. Is a(-13) composite?
False
Let x(t) = 476*t - 23. Let l(f) = -5*f - 137. Let q be l(-28). Is x(q) a prime number?
False
Let w be 4/(-20)*26 - 2/(-10). Let i(p) = 85*p**2 + p + 2. Let g be i(w). Suppose -g = -6*v - 364. Is v a prime number?
True
Suppose 4*q + 20 = 0, 3*q + 6 + 1 = -4*j. Let l = j - -3. Suppose -3*x = -l*v + 4072, v - 1625 = -v + 5*x. Is v a prime number?
False
Suppose -f + 6*f - 21599 = -2*q, q - f - 10796 = 0. Suppose 5*p - 4*l - q = 0, 4*p - 7989 - 659 = -2*l. Is p prime?
True
Suppose -25*j + 93*j - 2241076 = 0. Is j prime?
True
Let z(y) = y**2 + 17*y + 2. Let v be z(-18). Suppose -v*r = -17*r - 1893. Is r a prime number?
True
Suppose -157*h + 23*h + 32754876 = -2*h. Is h prime?
False
Let d(j) be the first derivative of 35*j**3/3 - 9*j**2/2 + 3*j + 2. Let t be d(7). Suppose 2*w + 2764 = 5*o + 3*w, 3*o = -4*w + t. Is o a composite number?
True
Let w(n) = -6 + 5*n**2 + 2*n + 9*n**3 + 7*n**3 - 80*n**3. Is w(-3) a prime number?
False
Let o(v) = -921*v + 41. Suppose 4*q + 41 = 4*k + 1, 4*q + k = -45. Let l be o(q). Is (1 - -2) + (1*l)/2 prime?
False
Suppose 6*p = 8*p + 2. Let n be (-25)/(-6)*50 + p/3. Suppose 0 = 4*g - 236 - n. Is g prime?
False
Let k(v) = 13*v**2 + 18*v**2 + 35*v - v**3 + 21 - 49*v. Let n be k(12). Suppose 5*u = z - 489, 5*u - 573 = 4*z - n. Is z a composite number?
False
Suppose -3*o + 57 = 2*w, 0*o + 48 = 3*o + 5*w. Suppose -34*j - o*j = -115445. Is j prime?
True
Let l = 68173 - 48260. Is l prime?
True
Let a(h) = 64 + 4*h - 3*h - 9. Let u be a(16). Suppose 70*v + 77 = u*v. Is v a composite number?
True
Let o(m) = 4*m**3 + 2*m**2 + 13*m + 6. Let k be o(-6). Let w = 103 - k. Is w a prime number?
True
Suppose -3*v + 6*v + 2*f - 120646 = 0, -4*v - 5*f = -160852. Suppose 2*s - 38773 = b, -5*s + 56698 + v = 3*b. Is s composite?
True
Let h(f) = -f**2 + 16*f + 122483. Is h(0) a prime number?
False
Suppose 10*t + 68 = 28. Let x(l) = -47*l**3 + 5*l**2 - 5. Is x(t) composite?
False
Let w = -2357 + 4236. Is w a composite number?
False
Let t = -75 + 3721. Is (-2*t/6)/(40/(-60)) a prime number?
True
Suppose -g + 62661 = 3*t, 6*g = 2*t + 5*g - 41764. Is t prime?
False
Suppose 2*n - 18287 = -5*p, 5*n - 27349 = -5*p + 18346. Let y(r) = -r**3 + 8*r**2 + 5*r + 39. Let f be y(9). Suppose -1505 = -f*b + n. Is b composite?
False
Let r be (-253005)/(-18) + (1*-2)/(-12). Suppose -2*b - 6126 = -4*z + r, 2*b - 20178 = -4*z. Is z a composite number?
True
Let p(c) = -4 + 8*c**2 + 2*c - 3 + 0. Suppose -6*m + 17 = 71. Is p(m) a composite number?
True
Let y = -38097 - -435719. Is y prime?
False
Let f(l) = 241*l**2 + 3. Let v(p) = -241*p**2 - p - 3. Let q(o) = -3*f(o) - 4*v(o). Is q(-2) a prime number?
False
Let f = -378 + 382. Suppose -3*d + f*c = -233, -4*c = -22*d + 18*d + 312. Is d composite?
False
Let c = -54651 + 158420. Is c a prime number?
True
Suppose 44*j - 23*j = 1501017. Is j a prime number?
False
Suppose 57*v + 279774 + 9900 = 0. Let a = v - -12499. Is a a prime number?
True
Suppose 1 = 4*r + 17. Let n be ((-9)/(-6))/(-3)*544/4. Is (7/r)/(1/n) a composite number?
True
Suppose -3*f = -4*w - 1185943, -2*f - 16*w + 15*w + 790647 = 0. Is f prime?
True
Let d(g) = -353*g**2 - 48*g + 362*g**2 - 17 + 8*g. Is d(18) prime?
True
Let v(w) = 10626*w - 5915. Is v(6) a prime number?
False
Let j(c) = c**2 + c + 3709. Let x(f) = 17*f**2 + 3*f - 2. Let q be x(1). Suppose -q*u = -15*u. Is j(u) a composite number?
False
Suppose 3*n - 65 = -2*n. Suppose 12*a - 11 = n. Suppose -a*s + 242 = -5*v, 7*s + v - 135 = 6*s. Is s prime?
True
Let v = -78230 + 110503. Is v a composite number?
True
Suppose 11*w - 12*w = -882. Let a = w + 4298. Suppose 2*d + 7*f = 3*f + 5166, -a = -2*d + 3*f. Is d prime?
False
Suppose 0 = -5*g, 4*k = 2*g + 19 + 17. Let c(y) = -4*y**3 - 36*y**2 - k + 3*y**3 + 29*y**2 - 2. Is c(-8) prime?
True
Let m(x) = -29*x + 6*x + 9 + 43 - 4*x. Is m(-41) a composite number?
True
Suppose 5*h - 554209 = -u + 546658, -5*h - 2*u + 1100869 = 0. Suppose 0 = -3*a + h - 46656. Is a a composite number?
False
Is 89*8/(-32)*(0 + -11876) a composite number?
True
Let l = 15958 + 11635. Is l a prime number?
False
Is (-1)/5*(-340270)/(-42)*-21 composite?
True
Is ((1 - 158)*1)/(36 + (-2309315)/64147) prime?
False
Let h be (10/(-35))/(2/(-1 + -13)). Suppose 3*m = -h*t + 1154, 3*t - 2*m - 938 = 819. Is t prime?
False
Suppose -q - 3*m + 5 = 0, 2*m = 2*q + 6*m - 8. Let w be q/2 + 0/8. Is w + 1 + (-226)/(-2) a composite number?
True
Is 30/(-35) + 151316490/714 composite?
False
Let y = -595 + 324. Let d = y + 139. Let w = d - -554. Is w a composite number?
True
Suppose -172134 = -17*y + 167407. Is y prime?
True
Is 226*60/24*1641/15 a prime number?
False
Let f be (-1086690)/(-259) - (-4)/14. Suppose -11*u + 26175 = -f. Is u a prime number?
False
Suppose -2*w + 18632 = 5*y, -6*y - 46551 = -5*w - 4*y. Is w a composite number?
False
Is (-1*192651)/((-150)/(-50))*2/(-2) a composite number?
False
Let g be 195071/6 - (13 - (-1264)/(-96)). Let x(s) = -s**2 + s - 8. Let c be x(0). Is (g/(-8))/c*1/2 prime?
False
Let j(k) = -3*k**2 - 84*k - 83. Let r(a) = a**2 + 28*a + 28. Let t(u) = 4*j(u) + 11*r(u). Let v be t(-11). Let z = 908 - v. Is z prime?
False
Let t(h) = 155*h + 6. Let o(n) = 306*n + 12. Let p(c) = 2*o(c) - 5*t(c). Let m = 27 - 28. Is p(m) a composite number?
False
Let u = -8 - -11. Suppose b - 16 = -u. Suppose b = -4*h + 5*h. Is h a composite number?
