e (-4)/(-6)*3*2. Let f be s(x). Suppose -4*n + 1030 = 3*p, 2*n + f = p + 812. Is n composite?
True
Suppose f = 3*m + 728, -4*m + 19 = 39. Is f a composite number?
True
Is 64149/5 + 72/(-90) prime?
True
Is (-3 - 344)*(-3 + 2)*31 prime?
False
Let w(r) = r**2 - 4*r - 4. Let v be w(5). Let s be 1/(v*(-1)/214). Let y = -137 - s. Is y a prime number?
False
Let c be 122 + -1 + 3 - -3. Suppose -16 = b - 3*b. Suppose -r = b - c. Is r a prime number?
False
Let o(s) be the first derivative of -132*s**2 - 31*s + 11. Is o(-6) composite?
False
Suppose -6*c + 48 = -2*c. Suppose -c*a + 15 = -9*a. Suppose -4*d - d - a*j + 2705 = 0, 0 = -2*d - j + 1082. Is d a composite number?
False
Suppose -17*z + 14280 = -17. Is z prime?
False
Suppose -27*q - 16*q + 461347 = 0. Is q prime?
True
Is ((-10)/15)/((-4)/15018) prime?
True
Let l be 75/(-18) + 1/6. Let f(z) = -390*z + 7. Is f(l) a composite number?
False
Let i be 8/10 + 5/25. Let v be -5 + -24 + i + 0. Is ((-1270)/(-8))/((-7)/v) a composite number?
True
Suppose 0 = 2*u - 560 - 810. Is u a prime number?
False
Let k(y) = 7*y**3 - 8*y**2 + 8*y + 6. Let t be k(4). Let o = -171 + t. Is o prime?
False
Let g(p) = 2705*p**2 + 58*p + 7. Is g(3) a composite number?
True
Suppose -17*v - 24*v = -376339. Is v composite?
True
Suppose 0 = -3*h + 3*s + 107550, 71701 = 2*h - 0*h - 3*s. Is h a composite number?
True
Suppose -3*m = m - 12. Suppose -m*h + 0*t = 4*t - 82, 4*t + 6 = h. Is h a composite number?
True
Let s(h) = 3*h**2 + 5*h + 28. Let b be s(-12). Let x = b - 191. Is x a composite number?
True
Suppose 5*v + 4*t + 795 = 0, 2*t - 159 = v + 3*t. Let i = v + 240. Let g = i - -182. Is g a composite number?
False
Let m be (-57)/5 - (-6)/15. Is (59/(-2))/(m/(-6) - 2) a composite number?
True
Let f be 1524/9 - 8/(-12). Let m = -7 + f. Is m prime?
True
Let x be (1 + (-3)/9)*3. Suppose x*p = -p + 3. Is (28 + p - -3) + 2 a prime number?
False
Let f = 2010 + 493. Is f prime?
True
Suppose 5 + 9 = 3*a + 5*t, 3*a - 5*t = 4. Suppose j = 2*w + 19, a*w + 63 = j + 2*j. Is j a composite number?
False
Let d(h) = -h**3 - 6*h**2 - 5*h - 23. Let y be d(-10). Suppose 0 = -27*v + 28*v - y. Is v a prime number?
False
Let i be (-1)/(-2)*-2 + 3. Suppose -1842 = -3*x - i*k, -732 - 496 = -2*x - 5*k. Is x composite?
True
Suppose -2*z + 3*b - 51 = 19, 4*z + 4*b = -160. Is (z/(-19))/(2/53) a composite number?
False
Suppose 0 = -7*r + 23*r - 50896. Is r a prime number?
True
Is ((-6)/(-4))/((-21)/(-3122) - 0) a prime number?
True
Let w(g) = g**3 + g**2 - 3*g - 2. Let n be w(-2). Let h(o) = o**2 + 907. Is h(n) composite?
False
Let p be 2/(-14) + 123/(-21). Let a = p + 9. Suppose 0*r + 186 = a*n + 3*r, 2*r = -6. Is n prime?
False
Let p(r) = -51*r**2 + 2*r - 4. Let n be p(2). Let f be ((-3)/2)/(9/n). Is (f/(-3))/(4/(-42)) a prime number?
False
Suppose -4*c = -1705 + 577. Suppose 0 = -22*v + 19*v + c. Is v composite?
True
Let r(d) = -d**3 - 11*d**2 + 14*d + 16. Let y be r(-12). Let a = 8 + y. Suppose 3*x - 250 + 91 = a. Is x a prime number?
True
Suppose 0 = 21*j - 5*j - 146032. Is j a composite number?
False
Let s = 71 + -69. Suppose -5 = 5*z, 2*j - s*z - 13767 = -3951. Is j composite?
True
Let n = -2412 + 5789. Is n a prime number?
False
Let m(y) be the second derivative of 8*y - y**2 - 113/6*y**3 + 0. Is m(-5) a prime number?
True
Suppose -4*p = 5*t + 3 + 10, 4*p + 43 = 5*t. Let n(a) = a**2 + 6*a - 4. Let m be n(p). Is m/4 - (-9685)/20 composite?
True
Let s be (78/(-4))/((-15)/150). Let y = s - 101. Is y prime?
False
Suppose -5*g + 10 = -0*g. Suppose -v = 3*v + 2*i - 38, -v + 27 = 4*i. Suppose -g*k = -v*k + 175. Is k a composite number?
True
Let g(o) = 23*o**2 - 3*o + 9. Let s be g(-7). Suppose -3*w + s = 5*h + 90, 0 = -2*h - 5*w + 442. Is h a prime number?
True
Let n(u) = -u**2 + 7*u + 12. Let r be n(9). Let s = -2 + r. Let w(y) = y**3 + 12*y**2 + 3*y - 9. Is w(s) a prime number?
True
Suppose -37792 = 6*b - 10*b. Suppose 5*w = -4*p + b, 2*p + 2*w - 1947 = 2775. Is p prime?
True
Suppose -2*v + 3*t + 6 = 3*v, -4*v = -3*t - 3. Suppose 2709 = 3*f - v*h, 3*h - 6*h + 3640 = 4*f. Is f a prime number?
True
Suppose 2*m + 1411 = 22619. Suppose 6*j + m = 10*j. Is j prime?
False
Suppose 5*u - 2*u - 3 = 0. Let r be 3 - (u + -3 + 2). Is -4 + r/3 - -97 composite?
True
Suppose -5*c + 5*g = -9*c + 40233, 6*c = -2*g + 60344. Is c prime?
False
Suppose 5*t = 3*a - 20, 2*t + a + 4 = t. Let f(r) = -10*r + 9. Is f(t) composite?
True
Let t(a) = 10*a**2 - 2*a + 5. Let s(b) = b**3 - 5*b**2 - 7*b. Let c be s(6). Is t(c) prime?
False
Let z be (-112)/(-20)*(-15)/(-1). Suppose -2*i - i = -z. Is ((-2086)/i)/((-1)/2) prime?
True
Let c be (-35)/11 - 6/(-33). Let t(o) = -111*o - 4. Is t(c) composite?
True
Let x(t) = 206*t**3 - t**2 + 11*t - 15. Is x(2) composite?
True
Let u = 13026 + -2719. Is u composite?
True
Suppose -2*s - o = -6*o - 55551, -138810 = -5*s - o. Is s prime?
True
Let v = 2194 + -4100. Let t = v + 5813. Is t a composite number?
False
Suppose 100623 = 35*p - 32*p. Is p composite?
True
Suppose -5*m + 5*q = -6675, 4*m - 5349 = 6*q - 5*q. Let p = -943 + m. Is p prime?
False
Let y(l) = 105*l**2 + 33*l + 317. Is y(-16) a composite number?
False
Let l = 32 + -4. Let a = 24 - l. Is -2*222/a - 2 a composite number?
False
Let d(w) be the second derivative of 0 + 185/2*w**2 + 1/12*w**4 - 5*w - 1/6*w**3. Is d(0) composite?
True
Let s(j) = -j**2 - 2*j - 3. Let i be s(-5). Let q be i/30 + (-2)/5. Is q*(0 - 1 - 52) a composite number?
False
Let c be (1 + -55)*75/(-9). Let g = c + 283. Is g a composite number?
False
Let x(i) = 16*i**3 + 15*i**2 - 39*i + 2. Is x(8) composite?
True
Suppose 2*u = -0*u - 42. Let f = -251 - u. Let a = 483 + f. Is a prime?
False
Let y(o) = 4*o + 20. Let x be y(-6). Let h be 3 + (-5 - x) + 263. Suppose 84 = -r + h. Is r a prime number?
True
Let n(t) = -t**3 + 4*t**2 + 5*t. Suppose 2*w - 7*w + 25 = 0. Let d be n(w). Suppose d*i = -2*i + 258. Is i composite?
True
Let o = -5572 - -8583. Is o a prime number?
True
Let p be 47/2 + (-1)/2. Let w = p - 21. Suppose 2*v = 5*o - 109, o - w*v - 25 = -0*o. Is o composite?
True
Let i(j) = -863*j**3 + 6*j**2 + 14*j - 2. Is i(-3) composite?
False
Let n be (3/3)/((-7)/(-98)). Suppose -m + 173 - n = 0. Is m composite?
True
Suppose -4*j + 8 = j + 3*h, -4 = 2*j + 3*h. Is 2*2/j*1189 composite?
True
Let m(l) = 3*l - 4. Let h(u) = -5*u. Let x = -33 - -32. Let w be h(x). Is m(w) a composite number?
False
Suppose 162*a - 165*a + 15 = 0. Suppose 6783 = 2*y + a*u, -5*u = -y + 2*y - 3394. Is y a prime number?
True
Let t(c) = 16*c - 154. Let i be t(0). Suppose 780 = 3*o + 3*p, 4*o + 0*p + 5*p = 1035. Let s = o + i. Is s prime?
False
Let x(g) = 46*g**2 - g - 1. Let h be x(-1). Suppose 7 = 4*r + z, -4*r + 5*z + 11 = -r. Is h + r - (2 - 5) a prime number?
False
Let o be (-23 - -24)*(-42)/2. Let g = o + 178. Is g a composite number?
False
Let v be (-10 - 3)/((-1)/(-38) - 0). Let d = v - -1383. Is d composite?
True
Let g = 70 + -65. Suppose -g*o + 3449 = 514. Is o composite?
False
Suppose 20 = -5*b, -11*b + 16*b = -5*r + 98555. Is r composite?
True
Let y be 144 + 6*(-4)/6. Is (-16)/(-4) + y + -1 a prime number?
False
Is 123/(-3)*(56/(-7) - 93) composite?
True
Let h be (10/(-3))/(3/(-27)*-6). Is -15681*(h + (-28)/(-6)) a prime number?
True
Let g(q) = 40*q - 194. Is g(7) a composite number?
True
Let l be 7 + -4 - 3 - (2 + -7). Is (-307)/(l/(-2) + 2) composite?
True
Let b(a) = 34*a**2 + 10*a - 61. Is b(17) prime?
False
Suppose -3*d + 0*k + 2*k = -10043, 0 = d + 5*k - 3342. Is d a prime number?
True
Suppose -2*c = 4*k - 78858, 3*k + 2*k = -25. Is c prime?
True
Let t(g) = 3*g + 4*g + 3 - 7*g + 45*g**2. Is t(2) prime?
False
Let h = 3 - 4. Let y be (-6 - -59) + h/1. Is (-13)/y - 5082/(-8) a prime number?
False
Suppose 0 = s - 3 - 50. Let o = 138 + s. Is o a prime number?
True
Let t(q) = q**3 + 7*q**2 + q - 4. Let y = -22 + 29. Is t(y) composite?
True
Suppose o - 40 = -9*o. Suppose 0 = 6*v + o*v - 32990. Is v prime?
True
Let q = -91 - -154. Let l = q + -22. Suppose 2*t - l = 1125. Is t a prime number?
False
Suppose -2*g + 8722 = -4*w, -5*g - 10*w + 8*w = -21781. Is g a composite number?
False
Let w = 25 - 17. Let l(b) = b**3 - 6*b**2 - 11*b - 3. Is l(w) a prime number?
True
Let s be -5 + 102/18 + 13/3. Is (-8466)/12*(s - 3)*-1 a composite number?
True
S