-4*b + 12, 2*b + 383597 = 3*r - 431656. Is r a prime number?
True
Let b = 169487 + 377496. Is b a composite number?
True
Is ((-6166806)/12)/(-23) - (-2 - 15/(-6)) prime?
True
Let d = 42044 + -16137. Is d prime?
False
Suppose -155893 = -3*o + 4*r, -5*o - 125729 = 3*r - 385599. Is o a prime number?
True
Suppose -517*q + 1985899 = -13096147 + 725473. Is q a composite number?
True
Let h = -79797 + 175988. Is h composite?
True
Suppose 4*f - 23 + 7 = 0. Let w(y) = -y**2 - 1. Let p(o) = -o**3 + o**2 - 5*o - 5. Let d(l) = -p(l) + 3*w(l). Is d(f) composite?
True
Let i be ((-26)/(-4) + -7)*-6. Suppose 6*q = -y + 3*q + 21458, 0 = -q - i. Is y composite?
False
Suppose 2*g + 0*g - 10 = 0, 4*g - 30 = -5*h. Suppose -8*m = -3*m - h*y - 24173, 3*y = -3*m + 14508. Is m composite?
True
Suppose -3*r = 4*w - 44609, -16*r = 2*w - 12*r - 22312. Suppose -w = 9*t - 19*t. Is t composite?
True
Let j(l) = 1. Let f(v) = 8*v - 5. Let t(c) = -23*c + 16. Let o(s) = 7*f(s) + 2*t(s). Let z(g) = 4*j(g) - o(g). Is z(-18) composite?
True
Let f = -325 - -771. Let j be (10/(-5))/(2/6). Is j*(-3)/18*f a prime number?
False
Let k(t) = -t**3 + 20*t**2 - t + 9. Let h be k(14). Suppose -c + 4*c - 12 = 0. Suppose -w + h = 3*y, -c*y + 1679 = w + 508. Is w composite?
False
Is (14/91 + 210/156)*(-1714746)/(-9) a composite number?
True
Let k(x) = -190*x - 261. Let j be k(7). Is 7 + -8 - -4 - j prime?
False
Suppose 5*r = -n - 3*n + 296413, -5*n + 2*r + 370541 = 0. Is n a composite number?
True
Let t(g) = g**2 + 11*g - 2229. Let o(p) = p**2 + 6*p - 1114. Let z(n) = 5*o(n) - 3*t(n). Let i = 4776 - 4776. Is z(i) prime?
True
Suppose -5876 = -16*a + 998813 + 4557567. Is a a prime number?
False
Let o(t) = -63*t - 135. Let n(i) = -250*i - 540. Let r(u) = -2*n(u) + 9*o(u). Is r(-7) composite?
True
Let s(b) = 3*b**3 + 3*b**2 - 6*b + 4. Let q be s(4). Suppose q = -t - 333. Let c = 1044 + t. Is c prime?
True
Let v(k) = -3*k - 5 + 4 + 7 - 6*k**2 + 0*k. Let d be v(-3). Let x = d + 160. Is x a prime number?
False
Let t(x) = 22*x**2 + 26*x - 7. Suppose 4*p = 2*b - 62, p - 4*p - 36 = 2*b. Is t(p) prime?
False
Let q be (1 + (-1 - -14))*17. Let m be q/4*(-20)/(-35). Is -3 + 1 + -1 + m a prime number?
True
Let u be -4 - ((-5 - -10) + -10). Let p be (u - (-84)/3)*(41 + 2). Let r = p - -620. Is r composite?
False
Is (-1123510621)/(-1991) - (-3)/(-33)*-4 prime?
False
Suppose 4*a + 3*a - 35 = 0. Suppose a*x = 33442 - 747. Suppose 0 = 5*g - 2*y - 8145, 2*y + y - x = -4*g. Is g a composite number?
True
Let w = 211725 + -143960. Is w composite?
True
Let x = -106701 - -526774. Is x composite?
False
Is ((-44628)/8)/((-9)/6) a composite number?
False
Let c(s) = 17526*s - 187. Is c(5) a prime number?
True
Suppose 3*r = 0, -2*l = -5*r - 0*r - 22. Let p(t) = 2*t**2 + 4*t - 17. Let c be p(l). Suppose -4*u = -h + 81, 7*u - c = -3*h + 6*u. Is h prime?
True
Let o(x) be the second derivative of 36*x**3 + 165*x**2/2 - 59*x. Is o(27) a composite number?
True
Let y(c) = -8*c**3 + 2*c**2 + 2*c + 13. Let s = -2 - -26. Suppose -n - s = 3*n. Is y(n) a composite number?
False
Let h be (-184)/12*6*-3. Let m be 4 + 2*(-3)/(-6) + -5. Suppose a - 177 - h = m. Is a composite?
True
Let m(b) = 2*b**3 - 48*b**2 - 2*b + 51. Let i be m(24). Suppose -321 = -i*p + 114. Is p a composite number?
True
Let h(c) be the second derivative of c**4/12 + 7*c**3/6 - 173*c**2/2 - 3*c - 6. Is h(-28) prime?
False
Suppose 0 = -1634*i + 1592*i + 3878238. Is i a composite number?
True
Suppose -47 - 40 = q - 2*w, -q - 62 = 3*w. Let z = 76 + q. Is -2 + z + (-2 - -166) composite?
True
Suppose 7*h - 19 = -5. Suppose -3*b - 31 = -2*n, -3*b = -h*b + 3*n + 3. Is b/(-12) + (-3193)/(-4) a prime number?
False
Suppose 55*p + 1435065 = 60*p. Suppose -p = -37*c + 8*c. Is c a composite number?
True
Suppose 2*h - 160822 = -i, 3*h = -3*i + 16*h + 482390. Is i composite?
True
Let b = 4252 + -6250. Let q = b - -5017. Is q a prime number?
True
Let a be -1 - (-5 + 3 + -1412). Let h = 910 + a. Is h a prime number?
False
Let f = 46 - 43. Suppose -s + f*s = 6. Suppose -s*q + 164 = -q. Is q composite?
True
Suppose 18*p + 120465 = 13*p. Is p/(-36) - (-1 - 5/(-4)) a prime number?
False
Let g(p) = -p**2 + 5 + 2*p + 1 + 5*p**2 - 6*p**2. Let v be g(7). Let y = v - -193. Is y a composite number?
True
Let m = 336 + -256. Is (m/100)/(90126/(-90130) + 1) a composite number?
True
Let k = 47579 - -56258. Is k a prime number?
True
Let r be (-264)/55 + (-2)/10. Let k = r + 10. Let n(f) = f**3 + 2*f**2 - 5*f - 4. Is n(k) a composite number?
True
Let x be (0 - -3)*5/(-9)*-3. Let n be 1/((x + -2)/(-3)). Is 0 + 2 + (n - -112) prime?
True
Let b be (-32)/72 + (-2156961)/(-27). Let a = b + -40252. Is a composite?
True
Let o = 1643261 - 1089210. Is o a composite number?
False
Let p(u) = -u**2 + 26*u - 68. Let k be p(17). Suppose 81*z - k*z = -14636. Is z a prime number?
True
Let b be (-2750)/(-18) - (-4 + 102/27). Suppose 3*o - b = 240. Let t = o + -34. Is t a composite number?
False
Let l be ((-1)/(-1))/(15/(-195)). Let h be (50/(-4))/(((-91)/(-1918))/l). Suppose 0 = -w + h + 680. Is w a composite number?
True
Is ((-4)/12)/(7/(-15274203)) prime?
True
Let w be 1/((-24)/132 + (-15)/(-22)). Suppose 0 = -2*p + q + 16, -5*q + 5 = w*p + 13. Is (2 - 15/p)/((-2)/932) prime?
True
Let f be 8 + -5 + (2 - 3). Suppose 3*s = -f*s + 205. Suppose 0 = 43*y - s*y - 2908. Is y a composite number?
True
Let s be (-12)/5 - 39/65. Is 1633 - (-2 + -5 + 2) - s prime?
False
Let t = -188 - -179. Let b(q) = -17*q**3 - 5*q**2 + 2*q - 11. Is b(t) prime?
True
Suppose 1004 = k + 179. Let c(q) = -78*q - 467. Let v be c(-13). Let x = k - v. Is x a prime number?
False
Suppose -18 = 2*m + 3*n - 3, 2*n = -m - 10. Suppose -g + 7 = -m. Suppose w + 2406 = g*w. Is w prime?
True
Suppose 10*l = -10 + 360. Suppose -2*j + l = 5*j. Suppose -m + 3*t - 9733 = -j*m, 2452 = m - 3*t. Is m a composite number?
False
Let r(l) = 1202*l**2 - 29*l - 100. Is r(-3) prime?
False
Let q(f) = 686*f**2 - 13*f - 32. Let t be q(-6). Suppose t = 4*d + 2*y, 4*d + 6199 = 5*d - 4*y. Is d composite?
True
Let f(r) = -r - 18. Let n be -23*5/((-5)/(-1)). Let k be f(n). Suppose -4*i - 1687 = -k*a + 2038, 0 = -2*i. Is a a prime number?
False
Let u = -155 - -460. Let c = u - 0. Let z = c + -156. Is z a prime number?
True
Let q(d) = 1012*d - 1. Let i be q(2). Let o = 462 - i. Let m = o - -2628. Is m a prime number?
False
Suppose -d + 2*r + 2376 = -5441, 5*r - 39010 = -5*d. Is d composite?
True
Let d = 6626 - 6603. Let b(p) = 20*p + 16*p + 7 - p**2 - 5*p. Is b(d) a prime number?
True
Suppose 2*h + 6*w - 10*w = 2, -2*h - 18 = w. Is 4/18 - h/(-63)*-369547 a prime number?
False
Let z(j) = 366*j - 593. Is z(17) a composite number?
True
Suppose w + 2*m = 8, m - 3 = 4*w - 17. Is 93037/12 - w/48 composite?
False
Let q be (-1)/(3 + 64/(-20)). Let t(a) = 183*a - 5. Let x be t(q). Let z = 1997 - x. Is z a prime number?
True
Let f be ((-12)/30)/(2/(-40)). Let j = -19 - f. Let o = j - -80. Is o prime?
True
Let d(c) = -15*c**3 - 4*c**2 + 4*c - 1. Let j be d(1). Let k(z) = z**3 - 7*z**2 + 7*z - 4. Let f be k(6). Is (j/6 - -3)/(f/6798) a prime number?
False
Let g be (3 + -1)/((-2)/2 + 3). Let n be (-5)/10*g*-3242. Is n - 9/((-45)/10) prime?
False
Let v(r) = -15*r**3 - 9*r**2 + 269*r - 183. Is v(-22) prime?
False
Let l = 6354 + 22205. Is l prime?
True
Let r = 31 - 29. Suppose l - r = -0*l. Suppose l*x + 2*o - 816 = -2*x, -x + 4*o + 195 = 0. Is x composite?
True
Suppose 360*t = 365*t - 3*i - 1493989, 1195192 = 4*t - 2*i. Is t composite?
False
Let x(q) = -q**2 + 7*q + 2. Let v be x(7). Suppose -20 = 5*k, 10 = 4*t + k - v. Suppose -2*j - 4490 = -t*a, j - 3370 = a - 4*a. Is a composite?
False
Suppose -r - 3*k + 514 = -5*r, 3*r + 5*k + 371 = 0. Let h = r - -132. Suppose -5*j + 1004 = -3*w, 4*w - h*w = 3*j - 608. Is j a composite number?
True
Let r(x) = -x**3 - 21*x**2 - 4*x - 200. Let m be r(-21). Suppose 0 = -4*f - 16 + 72. Is f/(m/59 - -2) a prime number?
False
Is ((4 - -14)/(-6) - -3) + 25341 + 8 a composite number?
False
Suppose 8*o = 24*o - 2287024. Is o a prime number?
True
Suppose -87*s + 22092 = -83*s - 4*i, 2*s - i = 11042. Is s prime?
True
Suppose 2*k - 5*d - 68 - 57 = 0, 3*d = 3. Suppose 4971 = 66*r - k*r. Is r a prime number?
False
Let l(s) = 10*s**2 + 107*s + 3. Is l(-52) composite?
True
