z + 2892. Is z composite?
True
Let n(y) = 163*y + 112. Let d be ((-9)/(-6))/((-24)/(-208)). Is n(d) a prime number?
False
Let r(w) = -2*w**2 + 15*w - 36. Let p be r(6). Let k(t) = -t**3 - 8*t**2 + 15*t - 61. Is k(p) prime?
True
Suppose -5*c - 378722 = -4*d, 5*d - 5*c - 189905 - 283495 = 0. Is d a prime number?
False
Suppose 0 = 506*j - 513*j + 5910149. Is j composite?
True
Let k = -1974 + 1159. Let u = 2486 + k. Is u a composite number?
True
Let a(j) = 101*j**2 + j - 959. Is a(-44) a composite number?
True
Suppose -35*v = -4725282 - 641863. Is v composite?
True
Let b(t) = -4*t - 27. Let k = 131 - 136. Let r be b(k). Is r/((-105)/18)*130/4 a prime number?
False
Suppose 7*p = 39354 - 5327. Is p a composite number?
False
Let a(n) = 37*n**2 + 17*n + 75. Let h be a(-17). Let w = 23264 - h. Is w prime?
False
Let n(u) = 61 - 183 + 10 - 149 + 153*u - 734*u. Is n(-8) prime?
False
Suppose -12*a - 93*a + 20177745 = 0. Is a a prime number?
False
Suppose -306 = 2*w - 5*w. Let a be ((-5)/(-15))/((-2)/w). Let i(v) = v**3 + 17*v**2 - v + 22. Is i(a) prime?
False
Let t(x) = 95*x**3 - 4*x**2 + 4*x - 3. Let n(w) = -w**3 + 14*w**2 - 6*w + 4. Let j be n(14). Let c be 20/(-190) - j/38. Is t(c) a prime number?
False
Suppose 0 = 220*s - 146*s - 1188386 - 6563780. Is s a prime number?
True
Let p = 208325 + -116652. Is p a prime number?
True
Suppose -15486 = 2*z + 4*d - 93868, 156755 = 4*z - d. Suppose 46*p = 3*c + 51*p - 39189, 4*p + z = 3*c. Is c prime?
True
Suppose 520*m = 519*m + 5. Suppose 0 = 4*k - 2*i - 53084, 4*i + 15896 = m*k - 50465. Is k a prime number?
False
Let c be -5*(-78)/(-21)*-14. Let z = 891 - c. Is z a prime number?
True
Let q = 258477 + -168058. Is q a composite number?
True
Suppose -4*g + 5*p + 1359929 = 0, -2*p - 251631 - 768314 = -3*g. Is g a composite number?
True
Let o(y) = 14667*y - 72. Let g(b) = 14668*b - 73. Let x(f) = 5*g(f) - 4*o(f). Is x(3) a composite number?
True
Let h(i) = -15*i**3 - 15*i**2 - 6*i + 62. Let r be h(11). Is 1/(5 + -4 + r/21788) a prime number?
False
Let m be 12/16 + (-45)/(-20). Suppose 0 = -m*s - d - 2*d + 57, 3*s = d + 65. Suppose 5*w = -0*r + r - s, r = w + 25. Is r a prime number?
False
Let i(n) = 9*n**2 - 3*n + 11. Let c be i(8). Suppose -d + 752 = 3*d. Let y = c + d. Is y a prime number?
True
Suppose o - r + 3009 = 0, -2*o + 2325 = -r + 8346. Let l be 11/((-22)/(-8)) + 6 + 3 + 5598. Let z = o + l. Is z prime?
False
Let r(f) = 4*f**2 - 33*f - 27. Let h be r(9). Suppose 4*m + 8668 = 3*u, u - 3*m = 2675 + 211. Suppose -2*p + 0*a + 4*a + u = h, -3*a = 4*p - 5828. Is p prime?
False
Suppose 2972695 = 159*f - 19854458. Is f a prime number?
True
Suppose 4*m = 4*p - 80, -2*p + 5*m = -0*m - 25. Suppose 5*l + 2*c - 55 = -0*c, 5*c - p = 0. Let r(h) = 135*h + 12. Is r(l) a composite number?
True
Suppose 0 = -203*x + 143*x + 28805460. Is x a prime number?
True
Let p = -239 - -235. Is (3135 + 2)/((-3 + 1)/p) composite?
True
Suppose 0 = 4*b - 2*b + 8, -3*s + b + 575911 = 0. Is s a prime number?
True
Let m be (-1)/(((-28)/(-8604))/(-7)). Suppose m = -5*p - s, 0*p = -p - 4*s - 434. Let b = 633 + p. Is b a composite number?
True
Is 1535*(-10 + 147/5) composite?
True
Let x(k) = -9*k - 47. Let t be x(-13). Is (-240)/t + (-4)/7 + 545 prime?
True
Suppose -13 = -16*z + 51. Suppose -5*y + 20593 = z*a, -2*a - 5*y - 20583 = -6*a. Is a a prime number?
True
Let f = -187 + 2271. Suppose 6*v = f - 572. Let r = 185 + v. Is r a prime number?
False
Let r be (1 - 3334)*4/6. Let x = -3253 - -3247. Is r/x + 3/(9/2) a prime number?
False
Suppose -2*d = -4*i - 0 - 8, 32 = 5*d - 4*i. Suppose d*w - 400 = 7672. Is w a composite number?
False
Let n = 1751729 + -82624. Is n a composite number?
True
Let h be -4 - -129*13/(65/360). Let n = -17 + 26. Suppose -n*r = -5*r - h. Is r composite?
True
Suppose -11*h + a = -7*h - 44104, -3*h + 33065 = -4*a. Is h prime?
True
Let q(p) = -p**2 - 6*p - 8. Let c be q(-2). Suppose -84*l + 85*l - 16493 = c. Is l prime?
True
Suppose d - 16 = -5*g, 0 = -4*d - 5 - 11. Suppose 2*u - g = -a + 3*a, -6 = u - 5*a. Suppose -4*q = u*q - 8440. Is q a prime number?
False
Suppose v - 14 + 9 = 0. Suppose -503560 = -v*f - 3*f. Is f a prime number?
False
Let b = -24 + 28. Suppose 5*c = b*r + 12, 2*c = -2*r - 0*r + 12. Suppose 0 = t + 2*y - 543, 4*y = 3*t + r*t - 2743. Is t prime?
True
Let p(t) = 0*t - 11 - t - 3*t - t. Let g be p(-4). Let k(d) = 45*d**2 + 2. Is k(g) a prime number?
False
Let s = -985 + 29. Let r = 1477 + s. Is r prime?
True
Suppose 5*j - 739437 = -i, 46*j + 443667 = 49*j + 3*i. Is j a composite number?
True
Let f(o) = -7951*o - 844. Is f(-9) prime?
False
Let l be 2*(-1)/7 - (-56847147)/147. Suppose -5*a + 38*m - 33*m = -l, -2*m = -3*a + 232025. Is a composite?
False
Suppose 0 = 16*c - 13*c - 21000. Suppose -4*t - 5*p - 407 - 6602 = 0, -4*p = -4*t - c. Let m = 288 - t. Is m a prime number?
True
Suppose -3*w + 6851 = 4*d - 3358, d = -4*w + 13625. Suppose j - 4*f - w = 0, f = -2*j - 731 + 7563. Is j composite?
True
Suppose -20*w + 17*w + 293610 = -3*t, -3*w = 3*t - 293616. Is w a composite number?
False
Let f be 5 + (-1 - (13 - 5)). Let v(a) = 166*a**2 - 10*a - 5. Let j(k) = -165*k**2 + 10*k + 5. Let r(i) = -7*j(i) - 6*v(i). Is r(f) prime?
True
Let y(u) = -1785*u + 7433. Is y(-44) composite?
True
Suppose 15*m + 24 = 23*m. Suppose q = -3*v + 35593, 3*v + m*q = -q + 35605. Is v prime?
True
Is (98514/(-4) + 2)*-2 prime?
True
Suppose 0 = -31*g + 37*g + 828. Let w be (-6)/9 - g/18. Is 7471/w - (-32)/(-112) composite?
True
Suppose 80*k - 4137766 = 46*k. Is k a prime number?
False
Let q = -225587 - -380428. Is q prime?
True
Let g = -486581 - -913932. Is g a prime number?
True
Let v(a) = a**3 - 2*a**2 - 3*a + 4. Let t be v(3). Let d be (-3 - -1) + (-2 + 107 - t). Let c = 182 - d. Is c composite?
False
Suppose 115*v - 802214 = 101*v. Is v composite?
False
Let b(i) = -i**3 + 162*i**2 - 260*i + 5021. Is b(160) a composite number?
False
Let t(h) = 147*h**2 - 4*h - 35. Let a be ((-2)/6)/(21/252). Is t(a) composite?
False
Suppose 3*o + 163489 = 2*h - 133654, 0 = -3*h - 2*o + 445773. Is h composite?
True
Suppose 0 = -223*f + 46680628 + 33424592 + 16700641. Is f a prime number?
True
Let g = 8063 - 12477. Let a = g + 14285. Is a a composite number?
False
Let t(a) be the second derivative of 190*a**3/3 - 111*a**2/2 + 41*a - 2. Is t(17) prime?
False
Suppose -5*d + 3*c = 185, 0 = -c + 16 - 11. Is (142001/d)/((-1)/2) a prime number?
True
Suppose -58*w = -5*h - 62*w + 346451, -4*w = 4*h - 277156. Is h a prime number?
False
Let l = -259 - -10502. Is l prime?
True
Let l(g) = -1. Let n(r) = -r**3 - 3*r**2 - 34*r + 30. Let z(s) = -5*l(s) - n(s). Is z(15) composite?
True
Is 1477158*(1 - (-16)/(-12) - 2/(-4)) a prime number?
True
Let t = -275776 + 391589. Is t composite?
True
Suppose -273418 = -46*r + 42*r + 5*n, -3*n = -r + 68351. Is r a prime number?
False
Suppose 14 + 4 = 2*j + w, -3*j = -4*w - 16. Let l(s) = 135*s - 41. Is l(j) a composite number?
False
Suppose -27*z + 18*z + 894501 = 0. Is z composite?
True
Let h be (((-135)/(-10))/3*2)/(-1). Is (-2)/h - (1 - (-207316)/(-36)) a prime number?
False
Let p = 24289 + 7668. Is p a prime number?
True
Let y(s) = s**2 - 38. Let o be y(-11). Let p = o + -89. Is (758/(-3))/(4/p) prime?
True
Suppose -3*h = 15 - 6. Let d(z) = 53*z**2 + 4*z + 24. Is d(h) composite?
True
Is -110 + 95 + (308967 - 1) composite?
False
Suppose 0 = 15*z - 13*z + o - 208916, 2*z - 5*o = 208928. Is z a composite number?
False
Let q = 465359 + -199246. Is q composite?
True
Suppose -30*l + 30960369 - 653576 = 4319443. Is l composite?
True
Suppose -2 = 10*m - 2. Is 873 - (m + -4)*1 composite?
False
Let y = -783140 - -1880407. Is y a prime number?
True
Let g = -2960 + 8661. Is g a composite number?
False
Suppose -17*n + 153 = -14*n. Suppose -n = -s - 48. Suppose -159 - 132 = -s*d. Is d composite?
False
Let f(v) = -2*v + 2*v**2 - 5 + 6 + 6. Let h(m) = -2*m - 22. Let x be h(-19). Is f(x) a composite number?
False
Let c(v) = -2658*v + 35. Let o(r) = -r - 30. Let u be o(-23). Is c(u) a composite number?
True
Suppose -2*f + 0 = -4, -a = -3*f - 5828. Let s = a + -3860. Suppose r - 745 = s. Is r composite?
False
Suppose -2*v + 3958 = 1066. Suppose 0 = -7*g - 3 - v. Let u = 128 - g. Is u a composite number?
True
Is 273955/748*10888/10 a prime