Let a be 32/56 + 185/7. Suppose 0 = -20*z + a*z - 47453. Is z a prime number?
True
Let v be (-2)/(2/1) + (-10 - -59). Let a = 47 - v. Is (-2)/(-8)*-4*(-528 - a) a composite number?
True
Let n(y) = 684*y + 15. Let b be n(17). Let t = b - 4460. Is t a prime number?
False
Let f(w) = 287205*w**2 - 56*w + 87. Is f(2) a composite number?
True
Let o(y) = 31515*y - 3167. Is o(44) composite?
False
Is 21/(-7)*22450454/(-78) a prime number?
True
Let d be 3 + 1/(1/(-3)) - -12. Suppose -d*l - 11847 = -l. Is 0 - l - (-7 - 15/(-3)) a composite number?
True
Suppose 10 = 4*w + 2, -4*w = -d + 3169. Let m(x) = 8*x + 52. Let h be m(-6). Suppose b + 5*k = 1076, -h*b - 2*k = -7*b + d. Is b a composite number?
False
Let m(f) = 5*f**3 + 21*f**2 - 21*f + 17. Let u be m(10). Suppose -5*j + 11898 = -u. Is j prime?
True
Let y(i) = -123*i + 11. Let g = 4 + -18. Is y(g) a composite number?
False
Let f be (-639219)/(-27) + 64/288. Suppose -20*p + 15*p + f = 0. Is p composite?
True
Suppose 3*z + 2 - 11 = 0. Let p be ((-2)/(-3))/(((-7)/z)/(-7)). Let g(b) = 20*b**3 - b**2 + 8*b - 11. Is g(p) composite?
True
Let u be (-1611)/(-2) - 3/6. Let o = -166 + u. Suppose 0 = -7*c - 86 + o. Is c a prime number?
True
Suppose 3*l - 4*l + 23 = 0. Let x(w) = -2*w + 49. Let d be x(l). Suppose c + 91 = d*p, c + 2 = 2*c. Is p a prime number?
True
Is 1782377/8 - ((-22)/(-44))/((-8)/(-2)) a prime number?
False
Suppose 0 = 5*d + 9*v - 433361, 4*d - 5*v - 156492 = 190148. Is d composite?
True
Suppose -3*t + 20 = -5*v, -12*t = -10*t - 5*v - 15. Let r(k) = 44*k**3 + 18*k - 9. Is r(t) a prime number?
True
Let b(c) = -11*c**3 - c**2 + 4*c + 5. Let t be b(-2). Let m = t + -76. Suppose -4*z = m*f - 2375, f - z - 3*z - 499 = 0. Is f prime?
True
Suppose -3*m = -4*f - 1115, 2*m + 9 = -m. Suppose -34*a + 444 = -37*a. Let j = a - f. Is j prime?
False
Let h(u) = -4*u + 50. Let p be h(11). Suppose 0 = -p*w + 4093 + 1061. Is w a prime number?
True
Let s = 2367707 - 1575726. Is s composite?
True
Is (16/48)/((-29)/(-58254243)) prime?
False
Let m(k) = 1474*k - 3. Suppose 166 = 2*t - 5*g, -4*t - g - 4*g = -392. Suppose t*u - 97*u + 4 = 0. Is m(u) a prime number?
True
Let t(l) = 943*l - 3197. Is t(28) prime?
False
Let d(u) = 124*u**2 + 10*u - 41. Suppose -5*h = 5*g - 13 - 37, 15 = 5*h - 2*g. Is d(h) a prime number?
True
Suppose -36572 = -2*r - 3*v, -r - 3*v + 2*v = -18284. Suppose -7*j = -2888 - r. Suppose 205 = t - j. Is t prime?
True
Let n(z) be the first derivative of z**4/4 + 17*z**3/3 + 17*z**2/2 + 20*z + 14. Let d be n(-15). Let v = -112 + d. Is v a prime number?
True
Let l(t) = 6*t**2 + 161*t + 209. Is l(60) prime?
True
Let f = -3483 + 2081. Is 7/(-14)*1*f a prime number?
True
Is -2819*(-8 + (-70)/(-10)) a prime number?
True
Suppose 4*k = -5*u + 90, -5*u + 48 = 3*k - 42. Is 29741 + -2 + u + -16 prime?
True
Suppose -5*y + 123569 = h, -8*y - 3*h - 49414 = -10*y. Is y a prime number?
False
Suppose 0*x + 7*x - 5215 = 0. Suppose -j + 1 = 3*q, -3*q = 2*j - 1 - 4. Suppose -3*p - x = -j*p. Is p a composite number?
True
Let z(v) = 510*v - 27. Let g(a) = 170*a - 9. Let f(p) = 8*g(p) - 3*z(p). Suppose 20*j = -153 + 53. Is f(j) composite?
False
Suppose 0 = 5*f - 2*a + 4*a - 2, -a = -4*f + 12. Suppose 0 = 2*s + 2*x + 2*x - 19014, s - f*x = 9515. Is s a prime number?
True
Suppose 803695 = i + 18*i + 131532. Is i prime?
False
Let y = -3 + 4. Let p(d) = -17*d**2 + d - 1. Let c be p(y). Let t(m) = -20*m - 9. Is t(c) prime?
True
Let k be (-174)/(-48) + (-6)/(-16). Suppose 2*u = 10, -k*b = u - 2341 - 3324. Is b a composite number?
True
Suppose 38 + 10 = 8*l. Let m be ((-22)/(-3) + -4)/((-2)/l). Is (m + 7)/((-1)/17) a composite number?
True
Let j(p) = 71*p**2 + 144*p**2 - 53*p + 23 + 76*p. Is j(-4) a prime number?
True
Let l = 65 - 73. Let b be -1 - (-324)/l*14/(-3). Let m = b + 135. Is m a composite number?
True
Let s be 2/10*-4*150. Is s/66 - -2 - (-14362)/22 composite?
False
Let l = 148 + -214. Is (l/12 - -2)*-662 a composite number?
True
Let t(m) = 3398*m**2 + 158*m - 9. Is t(10) prime?
False
Suppose -2*z + 3*z = -4*m - 36, -8 = 2*z. Is -1*m/(-12) + 4925/3 prime?
False
Let l be 6 + -3 - (1 - 33). Is (-7)/(l/20) - -3113 prime?
True
Suppose 3*z + 5*q = 359238 + 38719, 5*q + 132679 = z. Is z composite?
True
Let o(i) = -4*i + 14. Let a be o(9). Let z = 26 + a. Suppose -z*j + 1052 = -5*c + 5437, -877 = -c + 2*j. Is c a composite number?
False
Let c(g) = -g**3 - 6*g**2 + 3*g - 1. Let u be c(-5). Let z = 133 - 365. Let v = u - z. Is v composite?
False
Let v = -59 + 65. Is -3*(-4)/v - -2153 a composite number?
True
Suppose -2*o = 5*z - 15, 4*z - 5*o - 2 = 10. Is 9/(z - 0)*79 a prime number?
False
Suppose -4*a - 42 = -5*a. Suppose -11*y - a = -14*y. Is y*(-1 - (-916)/8) a prime number?
False
Suppose -61920 = -4*a + 4*i, 0 = 7*a - 30*i + 29*i - 108354. Is a a composite number?
True
Let g = 36 - 31. Suppose -82378 = -3*m - g*a, -23*a = -2*m - 26*a + 54919. Is m a prime number?
False
Suppose 0 = b - 4*p - 41383, -b + 17450 = -3*p - 23930. Is b prime?
False
Let m(g) be the third derivative of -g**6/120 - 7*g**5/30 + 19*g**4/24 + g**3/2 + 43*g**2 + 2*g. Let o be (-20)/30 + 92/(-6). Is m(o) a prime number?
True
Is (-16 + (-2620606)/(-8))/((-1)/(-4)) prime?
False
Let x(h) = -49119*h**3 + 7*h**2 + 3*h - 28. Is x(-3) prime?
True
Suppose 0*n + 8*n = -56096. Let k = 9875 + n. Is k a composite number?
True
Suppose -13 = -4*f - 5*u, 5*f - u - 2 = 7. Suppose f*k - 10 = 0, -8*k + 2616 = 3*c - 11*k. Is c prime?
True
Let y = 20 + -18. Suppose -3*q - 3890 = -4*t, -y = 3*t - 4*t. Let z = 187 - q. Is z a prime number?
True
Suppose 3*f - 4*o = -8, 7*f - 2*f - 2*o = 10. Let r(h) = 89*h**3 + 4*h**2 - 7*h + 5. Is r(f) a composite number?
False
Suppose 1756224 - 361994 = 10*o. Is o composite?
False
Let y(h) = 7*h - 107. Let o be y(16). Suppose 2*p = -g + 2425, -o*p - 1128 = -5*g + 11012. Is g a composite number?
True
Let m(y) = 22*y + 181. Let t be m(-8). Is ((-1)/(-3))/((-149872)/29976 + t) a prime number?
True
Let h be (74184/36)/(1/3). Suppose 5*k = 4*d - h, 0 = -9*d + 4*d - 3*k + 7709. Is d a composite number?
False
Suppose 4*o + 3*n - 48 = -0*n, 5*o + 2*n - 60 = 0. Let x be (15/o)/(6/(-24)). Is (x - (-6)/3) + 382 composite?
False
Let s(h) = 9*h + 156. Let x be s(-13). Is 41373/x + (-22)/(-143) composite?
False
Let k(l) be the first derivative of -27*l**2/2 - 5*l - 12. Let t be k(-8). Suppose -3*b - 2*z + 3*z = -633, -z + t = b. Is b a composite number?
False
Suppose -3*j = d + 24, -17*d - 45 = -15*d + 3*j. Let z(v) = v**2 - 17*v + 43. Is z(d) a prime number?
False
Let t(y) = -3139*y**3 - 62*y**2 - 121*y. Is t(-2) composite?
True
Suppose -271*i + 266*i + 22875 = 0. Let b = 8218 - i. Is b composite?
False
Let i = 402199 + -163742. Is i composite?
True
Suppose -2*s - 29 = -35. Suppose -o + 131 = 2*t, 6*o = -s*t + 3*o + 192. Is t prime?
True
Let i(f) = 203*f**2 - 370*f + 18. Is i(19) prime?
True
Suppose 11*k - 1024 = 7*k. Suppose k = 2*f + 2*y, -f - 5*y + 166 - 30 = 0. Suppose 2*m = -2*u + 636, 2*m - 439 = -u - f. Is u prime?
False
Suppose -3 = 3*u, -3*u + 1 = 2*b - b. Let m be (238*b/(-16))/(2/4). Let h = 24 - m. Is h a composite number?
True
Let k(l) = -l**3 + 8*l**2 + l - 6. Let d be k(8). Suppose 0 = -27*w - 36 + 117. Suppose -149 = -5*t + t - w*m, d*m - 146 = -4*t. Is t a composite number?
True
Let y(a) = -45 + 19*a**2 + 30*a**2 + 8 - 29*a**2 + 10*a**2. Let z(p) = 2*p + 3. Let b be z(4). Is y(b) prime?
True
Suppose 5*j - 6521 = 3*b + b, -4*j = 2*b + 3228. Suppose 5*t + 4*l - 18381 = 0, -4*l + 2253 = t - 1420. Let d = t + b. Is d composite?
False
Suppose 51 = -2*d + 95. Suppose -d*a + 533190 = 20*a. Is a composite?
True
Let j = 42168 + -29339. Is j composite?
False
Suppose -5*m = -5*w + 5, 0 = m - 3*w + 2 + 7. Suppose m*g - 9949 = -5*i, 3*g = i + i + 9935. Is g composite?
False
Let q = 36 + -33. Let v(f) = 99*f + 42. Let g(o) = 50*o + 21. Let u(a) = 5*g(a) - 2*v(a). Is u(q) a composite number?
True
Let c = 36020 + 8393. Is c composite?
True
Let s be 0 - 1 - (-629248)/32. Is (15/(-18))/5 - s/(-6) a composite number?
True
Suppose -3*p - 1406166 = -3*z, 0 = 4*z - p - 2265977 + 391098. Is z composite?
False
Let r = -289925 - -437756. Is r a composite number?
True
Suppose 2*p - 5 = 5*o - 0, 4*p = -4*o + 24. Let c be -2 + p + 57700/((-25)/(-5)). Suppose 2