11*3 - (-12)/s a composite number?
True
Let v be (-4)/((-12)/9)*35083. Let p = -59966 + v. Is p prime?
False
Suppose -3528 = 421*w - 457*w. Suppose 3*t = 291 + 1056. Suppose 547 - w = x + 3*s, -t = -x - 2*s. Is x a composite number?
False
Let x = -12057 - -27700. Suppose -30*f + 148153 = x. Is f prime?
False
Suppose -g - 6 = 0, -3*j + 25*g - 21*g + 1178433 = 0. Is j a composite number?
False
Let v(n) = 10*n**2 + 10*n + 20. Let m be v(-10). Suppose 11*b - 15*b + m = 0. Let a = -147 + b. Is a composite?
False
Suppose 25*z = 19*z - 9426. Let a = 991 + z. Let l = -257 - a. Is l a composite number?
True
Let p(f) = 26*f**2 - 26*f - 49. Let s be p(10). Let j = s - 454. Is j a composite number?
True
Let z(t) = 91*t - 17. Let q be z(-7). Let v = 1728 + q. Suppose -u = 3*y - v + 363, -y - 2 = 0. Is u a composite number?
True
Let k = 308 - 285. Let g(i) = i**2 + 22*i - 32. Is g(k) a prime number?
False
Let y(n) = -n**2 - 18*n - 41. Let h be y(-16). Is (4 - -3611)*(-3)/h composite?
True
Let t(o) = o**2 + o + 14. Let f = -97 - -92. Let l be t(f). Suppose -z = -l - 24. Is z composite?
True
Let z(j) = -8 - 16*j + 33*j + 1 + 35*j**2 - 18*j. Is z(-6) composite?
False
Let m(r) = 3*r - 9. Let x be m(6). Suppose 9 = 3*u, 0*f = -3*f - u + x. Suppose f*n - 4499 = -3*n - 3*a, 2*n = -5*a + 1792. Is n prime?
False
Is (3106 - -13)/(12/(-120) - 1071/(-10410)) a composite number?
True
Let v(c) = 2151*c - 4. Let t be v(-2). Let w = t + 11147. Is w composite?
False
Let n be 1/1*1*-268. Let v = 459 + n. Is v composite?
False
Let m = -345407 + 993094. Is m a prime number?
True
Suppose -919*m + 894*m = -2037775. Is m prime?
False
Suppose -15 = 5*z, m + 7*z - 11*z - 14 = 0. Suppose -32694 = -m*y - 4*y. Is y a prime number?
True
Let f(g) = g**3 - 13*g**2 - 30*g + 20. Let q be f(15). Suppose q = 5*c, -5*m - c - c = -33. Let z(s) = 113*s - 24. Is z(m) prime?
True
Let h(c) = 1110*c**3 - 22*c**2 + 128*c - 29. Is h(6) composite?
True
Suppose 30*s = 45*s - 3844020. Suppose -s = -40*w + 63452. Is w a prime number?
True
Let c(x) = -6*x - 35. Suppose l + 3*z - 13 = 0, 0 = -2*l + 5*z - 3 + 7. Suppose j - 54 = l*j. Is c(j) composite?
False
Suppose 3*j - 411985 = 4*g, j = -4*g + 25454 + 111853. Is j a prime number?
False
Suppose -t + 8 = 5. Suppose t*b - 15 = 4*h + 12, -b + 2*h + 11 = 0. Suppose -b*d = -4*m - 2693, 5*m - 9 = 2*m. Is d composite?
False
Let v = -157760 - -606357. Is v prime?
True
Suppose 0 = -2*o - 3*t + 71, -5*o + 224 - 81 = -4*t. Let x(a) = -o + 92*a - 10*a + 19*a. Is x(10) prime?
False
Suppose -4*q = -3*q. Let g be (-589930)/(-190) + 7 + (-2)/(-19). Suppose 14*k - 6*k - g = q. Is k a composite number?
False
Let x be 2 + -4 + (-7)/(-1). Suppose -x*u + 3*i + 2733 = 0, -1599 + 503 = -2*u + 4*i. Suppose -2*r - 3*p = -383, 5*p = 4*r - r - u. Is r composite?
True
Suppose -4*a + 28 = 28*d - 30*d, d - 2 = 0. Suppose -3*n - 22924 = 5*j - 94781, 2*n - a = 0. Is j a composite number?
False
Suppose 15 = 3*i - 0*i. Suppose -i*n - 1457 = -4*p + 9478, 2*p - 2*n - 5468 = 0. Is p prime?
False
Let x = -671 + 8491. Let t = x + -3421. Is t composite?
True
Let l(o) = -14*o + 315. Let d be l(22). Suppose 3*m + 4*y - 33697 = 0, -5*m - 22493 = -d*m + 3*y. Is m a composite number?
False
Let j = -172 - -82. Let s = -349 - j. Let q = s + 710. Is q a composite number?
True
Let f = -1031406 + 1498735. Is f prime?
True
Let r be (30 - -1596) + 1*5. Let h = r - -8376. Is h prime?
True
Let n(c) = 1271*c**2 - 2*c - 3. Let x be n(-2). Let q = 8 + -22. Is (q/21)/((-6)/x) a composite number?
True
Suppose 2*w = -3*s - 462, 210 = -2*s + w - 91. Let o = -24 - s. Is (-1)/4*1 + 57760/o a composite number?
True
Is (1 - -2)/((-21)/(-63)) + 293304 composite?
True
Suppose -4*y + 2*l + 6 = 0, -l - 1 - 6 = -3*y. Suppose 3*z = -3*f - 6390, y*z - 8*z = -16. Is (2 - 0)*-2*f/8 composite?
True
Suppose 0 = 4*s - 39 + 7. Let a = 510 + -277. Suppose -a = -s*o + 111. Is o prime?
True
Let w be (40/6 - 6) + 62/6. Suppose w*k + 4 = 51825. Is k a composite number?
True
Let y(d) = 11086*d**2 + 3*d - 3. Let t be y(-2). Suppose 3*g = f + t, 25*g + 5*f - 73905 = 20*g. Is g composite?
False
Let v = 99 + 81. Let x = v - -1015. Is x prime?
False
Suppose -11*q - 11 = 33. Let l be 0 + 1 + -3357 + -3. Is -2 - (l - (-8)/q) a composite number?
False
Suppose 51 - 57 = -6*a. Is 4838*(a + 0)*(-13)/(-26) prime?
False
Is -11379*(-1 - (-22)/(-33)) a composite number?
True
Let r = 63 + -33. Suppose -27*b = -r*b + 174. Let t = b + 76. Is t a prime number?
False
Let o(n) be the third derivative of 32*n**5/15 + n**4/4 + 5*n**3/2 - n**2 - 1. Is o(-4) composite?
False
Let r(x) = x**3 + x + 37. Suppose 652 = 6*g + 652. Is r(g) prime?
True
Let m(a) = -3*a**3 - 30*a**2 - 35*a + 8. Let z be m(-11). Suppose 3*b - z = 825. Is b prime?
False
Suppose -4*h + 5*n = -2825289, 2*n - 1609121 = -5*h + 1922548. Is h a prime number?
False
Suppose 2*j - l + 1 = 0, j - 4*l = 6*j + 35. Is 3873*20/12 - j composite?
True
Let q(l) = 195286*l**3 - l**2 + 2*l. Is q(1) prime?
False
Let y(j) = 1942*j**2 - 59*j - 338. Is y(-15) a prime number?
True
Suppose 0 = -5*t + 2*l - 13, 3*l - 5*l + 8 = 0. Let q(g) = -254*g**2 - g + 4. Let k(v) = 127*v**2 + v - 2. Let o(w) = -5*k(w) - 3*q(w). Is o(t) a prime number?
True
Suppose 2*w + 52 + 2 = 0. Let v be (1488 + 0)/(w/(-36)). Suppose -v = -8*h + 1304. Is h a prime number?
False
Suppose 78*w = 73*w + 2*p + 726263, 3*w + 4*p = 435763. Is w a composite number?
False
Let h(w) = -83*w**3 + 19*w**2 + 5*w + 48. Is h(-7) prime?
False
Suppose -7*i - 18 = -3*n - 3*i, 5*n + 5 = -5*i. Suppose -r + 8*a + 1641 = 4*a, n*a = 8. Is r a composite number?
False
Let k be -1 - 6/(-1 + -1). Suppose 6*o = -5*p + 62 + 5, -3*o + 4*p + 1 = 0. Suppose -o*r - d + 2908 = -2*r, -k*d - 2899 = -5*r. Is r a prime number?
False
Let v(g) = -3*g**3 + 57*g**2 + 26*g + 259. Is v(-24) composite?
False
Suppose 12*n - 7946914 = -41*n + 209097. Is n composite?
False
Suppose 707342 = 19*d - 631607. Is d prime?
False
Let g = -90602 + 196135. Is g a composite number?
False
Let c = 42 + -44. Let y be ((-2)/c)/(2 + 2 + -5). Is 633/(-6)*-2 + 0/y a composite number?
False
Suppose -5*d = -2*i + 2392 + 320, d - 1356 = -i. Let b = -493 + i. Is b prime?
True
Let r(q) = q**2 - 6*q + 6. Let b be r(5). Let x(c) = 188*c**3 + 3 - 3*c**2 + 600*c**3 + c**2 - 4*c + c**2 + c. Is x(b) a prime number?
True
Suppose -2*r + 3*h + 18 = 0, 4*r = 5*r - h - 10. Is (2*(-15681)/r)/(2/(-4)) composite?
False
Let h(g) = -67*g + 85. Let k be h(14). Let v = 2250 + k. Is v prime?
False
Let t(z) = 386*z - 25. Let b(g) = -7. Let u(c) = -3*b(c) + t(c). Let q = 10 + -9. Is u(q) a composite number?
True
Let j = -2808 - -1693. Let l = j - -1930. Is l prime?
False
Suppose -15*o + 10*o + 20 = 0. Suppose 10 = -o*c + 2*t, -3*c - 3*t = -6*c - 15. Suppose 2*r + u = 1735, c = r + 4*u - 0*u - 885. Is r a composite number?
True
Is (-8)/26 - ((-41162226)/299 - -13) a prime number?
True
Let m(g) = -g**3 - 22*g**2 - 23*g + 9. Let k = 149 - 85. Suppose -106 = 2*v - k. Is m(v) a prime number?
False
Let i be 62*4/(-8) + -2 + 1. Let z be ((-3)/4)/(8/i) + 743. Suppose z = 3*s - 133. Is s a composite number?
False
Let s = 2877 - 1139. Let c = s + -753. Is c prime?
False
Let x = -230441 - -395808. Is x a composite number?
False
Let b be (-63)/(-6) + 6/(-4). Suppose -q + b = m, -4*m - 9 = -4*q - q. Suppose 6*p - 2*p = q*z + 11752, -p = z - 2929. Is p composite?
True
Let x(b) = -688*b + 135. Is x(-8) a prime number?
True
Suppose 0*s - 17*s = 180523. Let t = s + 17572. Is t a composite number?
True
Let b(o) = -119*o + 1334. Is b(-33) composite?
False
Suppose s - 5 = p, 2 + 7 = -3*s - 5*p. Is (-38 + 36)*(-21313)/s a composite number?
False
Let z = 696663 + -28936. Is z composite?
False
Suppose -6*h - 30 = -11*h + 4*f, 2*h - f = 9. Let o be (-1*h - -4871)*(-14)/(-21). Suppose -4*q + o = -1022. Is q a composite number?
True
Suppose -15*m - 10*m + 375 = 0. Suppose -m*q = -171 - 114. Is q a composite number?
False
Let f(r) = 1882*r**2 + 146*r - 69. Is f(5) composite?
False
Let n(y) = y + 9. Let i be n(-7). Suppose 0 = 3*j - 2*j - i. Suppose 8 = -j*o + 60. Is o prime?
False
Suppose 12469569 = 37*v + 27*v + 83*v. Is v composite?
False
Suppose 0 = -5*f + 7 - 27, -n - 5*f + 175 = 0. Let d be ((-548)/72 + (-4)/18)*-6. Suppose 2*o = n - d. Is o composi