s t prime?
True
Let w(p) = -p. Let k be w(-2). Suppose q + 2*q = -k*c + 103, 2*q - 72 = -2*c. Is q prime?
True
Suppose 0 = 4*q + 2*x - 20, 2*x = -2*x. Suppose 11379 = -c + q*c + 5*y, 0 = -4*c + 3*y + 11387. Is c composite?
True
Let y(p) = -p**2 - 6*p - 1. Let h be y(-5). Suppose h*o - 790 = -o. Is o composite?
True
Suppose 4*j + 0*j - 16 = 0. Suppose 0 = -3*p + 7*p + j. Is (-155 - p)*(-1)/2 composite?
True
Let k be ((-8)/14)/(6/(-21)). Suppose w - 1923 = -k*w. Is w composite?
False
Let h(y) = y**3 + 6*y**2 - 8*y + 3. Let o(s) be the first derivative of -s**3/3 - 3*s**2/2 + 4*s - 5. Let m be o(-5). Is h(m) a prime number?
False
Is (26686/(-6))/((-16)/48) a composite number?
True
Let a = 2131 - 1504. Suppose -16*y + 13*y = -a. Is y composite?
True
Suppose 7*q = 5*q. Suppose q = -u - 4*u + 55. Suppose -u + 124 = a. Is a a prime number?
True
Let c(p) = -p**3 + 6*p**2 + 2*p - 3. Let k be c(6). Let h(t) = t - 6. Let v be h(k). Suppose 0 = -v*o + 36 + 102. Is o a composite number?
True
Suppose 1158 = -11*w + 14*w. Suppose 0 = -3*d - w + 1391. Is d a composite number?
True
Let b = -56 - -58. Suppose 2*d = 3*d - b*m - 108, 3*d = 2*m + 320. Is d a prime number?
False
Let j(i) = i**3 + 5*i**2 + 3*i - 4. Let d be j(-3). Suppose -m + 2863 = -d*r, -r = -4*r. Is m a prime number?
False
Let i = 10 - 8. Suppose -u = -4*l - 25, -i*l = -4*l + u - 13. Is ((-2)/8)/(l/6168) prime?
True
Suppose 6*p + 95 = 5*p. Let g(h) = h**2 + 17*h + 8. Let b be g(-12). Let w = b - p. Is w a composite number?
False
Let w(o) = -53*o**3 - 2*o**2 + 3*o + 5. Is w(-3) a prime number?
True
Let o(j) = -226*j**3 - 6*j**2 + 2*j + 23. Is o(-3) composite?
True
Let a(d) = -1843*d + 4. Is a(-1) prime?
True
Is ((-233718)/(-12))/(-1 + 7/6) prime?
False
Let t(j) = 339*j**2 + 17*j - 29. Is t(2) a composite number?
False
Suppose 2 = -f - 0. Is 1*(-1)/2 + (-2427)/f a composite number?
False
Suppose v = 1374 - 94. Suppose 3*i + i - v = -3*p, 4*p + 1252 = 4*i. Is i composite?
False
Suppose 4*m - 26 = 6. Let r(a) = m - 6 + 18*a - 4 + 1 - a**2. Is r(8) prime?
True
Let m(n) = 888*n - 289. Is m(6) a composite number?
False
Let f(o) = o**2 - 11. Let z be f(6). Let d = 232 + z. Is d composite?
False
Let a(h) = -h**2 - 2*h - 7. Let m(z) = -z**2 - z - 4. Let w(o) = 3*a(o) - 5*m(o). Let s = 237 + -241. Is w(s) a composite number?
True
Suppose 4 - 4 = 5*m. Suppose -p = -m*p - 89. Is p prime?
True
Let a(m) = 2*m + 3. Let t be a(-4). Let n = t + 8. Is (406/n)/((-6)/(-9)) a composite number?
True
Let v = -49 - -56. Suppose -5233 - 2068 = -v*d. Is d a composite number?
True
Suppose -5*k - 5*a = 2280, -k + 4*a - 468 = 8*a. Let j = k - -724. Suppose 4*y - 51 = 3*h - j, 0 = 5*h - 5*y - 360. Is h prime?
True
Let t be (-37)/(-7) - 2 - (-8)/(-28). Suppose -2*s = a - 529, -t = -0*a - a. Is s composite?
False
Let q = 651 + 463. Is q composite?
True
Suppose -9283 - 76633 = -4*r. Is r a prime number?
False
Let a be (-4)/(-2) + (-7 - -3). Is a*223/(-2) + 0 prime?
True
Suppose 4*c = d + 1924, -3*d - 2*d + 1420 = 3*c. Let t = 889 - c. Is t a composite number?
False
Suppose 2*u = 11*u - 36. Suppose 0 = 3*g + u*i - 405 + 118, 257 = 3*g - 2*i. Is g a composite number?
False
Let k be 1724/((-5)/(45/(-6))). Let o = -1513 + k. Is o a composite number?
True
Let v = 716 - 163. Is v prime?
False
Let b = 226 + 36. Let q = 2354 - 1259. Suppose -b = 7*j - q. Is j a composite number?
True
Let b be (223 - 1) + -6*(-3)/6. Let c = b - -406. Is c a prime number?
True
Let a(v) = 22*v**2 - 10*v - 5. Let u be a(-5). Suppose -b + u = 4*b + 4*p, -4*b + 4*p + 512 = 0. Is b a composite number?
True
Let j be (0 + (3 - 0))/1. Suppose j*s - 6 = -0*s. Suppose -38 = -s*a + 140. Is a composite?
False
Let s = 1193 - 876. Is s a prime number?
True
Let b be 4/3 + 4/6. Suppose -b*m - 67 = -599. Is (-3)/(-2)*m/3 composite?
True
Let n(a) = 163 + 119 - 3*a + 366 + 4*a. Let w be n(0). Let p = w + -343. Is p a prime number?
False
Suppose 76*o + 17944 = 84*o. Is o composite?
False
Is 5/(-5)*(-2533 + 0) a prime number?
False
Let s = -4288 - -13149. Is s composite?
False
Let m(w) = -w**2 + 2*w - 1. Let q be m(2). Let i(p) = -126*p + 4. Let t(n) = 126*n - 5. Let k(g) = 4*i(g) + 3*t(g). Is k(q) prime?
True
Let l = 64 - 6. Let n = l - 130. Let o = n + 118. Is o composite?
True
Let d = -14 - -16. Let z be (53/d*-10)/1. Let g = 459 + z. Is g prime?
False
Suppose 5*c - 3*l - 13910 = 0, 3*c - 5*l - 4987 - 3375 = 0. Is c prime?
False
Let p(z) = 8*z**2 + 27*z + 23. Let q = -69 - -59. Is p(q) composite?
True
Let c(n) = 5*n**3 - n**2 + n - 3. Suppose 0 = -12*l + 15*l - 6. Is c(l) prime?
False
Let y(w) = 2*w - 15. Let v be y(10). Suppose 0 = -3*o + 4*s + 24, 0 = -4*o - 5*s + 5 - 4. Suppose -3*i - v*h = -412 - 322, 0 = o*i - 5*h - 1037. Is i prime?
False
Is (188 - 61246)/(2*-1) a composite number?
False
Let d = 602 + -2662. Let w = d + -2110. Is (-13)/52 + w/(-8) a prime number?
True
Is (-3)/(-5)*(8 + 10677) a prime number?
False
Let i = 10 - -3. Suppose -m = 2*c - 26, 0*c - c + m + i = 0. Is c prime?
True
Suppose 2*q - 5*q - 3*x = -14589, -9730 = -2*q - 4*x. Is q a composite number?
False
Let r = 6 + -6. Suppose 0 = -4*s - 5*g + 1877, 4*s - 4*g + r*g = 1832. Is s composite?
False
Let g = -4 - -9. Suppose -4*t = -j + 27, 4*t + 0*j + 57 = -g*j. Is 1491/4 - t/32 a composite number?
False
Let w be (-14)/42 - 1/(-3). Let i be 2 + w - 2970/(-3). Suppose i = 5*c - 333. Is c composite?
True
Suppose 0 = -3*q + 19 - 1. Let u be -1*1 + -3 + q. Suppose u*h = -3*f + 274, 0 = -5*h + 3*h + f + 258. Is h prime?
True
Let z(j) = 0 + 15*j**3 - 2*j**2 + 6*j**2 - j + 1. Suppose 0 = 4*l - 4*m + 4, 5*m - 19 - 13 = -4*l. Is z(l) a composite number?
False
Let r(i) = -6*i - 2. Suppose 20 = -5*c - 0*y + 3*y, c + 5*y = 24. Let p be r(c). Let d(x) = 8*x - 1. Is d(p) prime?
True
Let y be (36/90)/(1/10). Let s(w) be the first derivative of w**4/4 + w**3/3 - 7*w**2/2 + 6*w + 1. Is s(y) a prime number?
False
Let v = 1005 + 1643. Suppose 4*j = -4*j + v. Is j a prime number?
True
Let o(f) = 3*f**2 + 23*f + 24. Let q be o(-17). Let r = -51 + q. Is r a prime number?
True
Let c = 25 + -20. Let z(i) = 2*i**2 + 2*i - 1. Let l be z(1). Suppose -2*t + 45 + 485 = -5*b, c*t = -l*b + 1325. Is t prime?
False
Let f(t) = -2*t**2 - 7*t - 3. Let p(j) = -3*j**2 - 11*j - 5. Let r(k) = -8*f(k) + 5*p(k). Let g be r(1). Is 792/6 - (4 - g) composite?
True
Let h be -37 - (0/(-4) - 1). Let w = h + 38. Suppose n + 234 = 3*i, 142 = 4*i - w*i + 4*n. Is i a composite number?
True
Let v(j) = -14*j - 1. Let z be v(1). Is 254/3*(z/(-6) - 1) composite?
False
Let q = -62949 + 96134. Is q a composite number?
True
Suppose 0 = -5*j + 64950 + 56795. Suppose 0 = -16*t + 70413 - j. Is t a prime number?
True
Let r be (6589/22)/((-1)/(-2)). Suppose -r = -2*n + 3*k, 3*k + 302 = n + 2*k. Is n composite?
False
Suppose f - 5*t + 3 = 16, 5*f - t - 113 = 0. Let w = 32 - f. Let y = 1 + w. Is y prime?
False
Is 8*-1 + 51170/14 prime?
False
Let u = 1286 - 715. Is u composite?
False
Let m(g) = 2*g**3 - g**2 + 2*g + 2699. Is m(0) a composite number?
False
Let z(t) be the third derivative of -t**6/120 - t**5/10 - t**4/8 - 5*t**3/3 - 9*t**2. Let c be z(-7). Let r = 191 + c. Is r a prime number?
True
Let q(n) = -4*n - 2. Let c be q(-2). Suppose 3*l - 4*h = 1253, c*h - 3*h = 2*l - 836. Is l prime?
False
Let i = 40 - -277. Suppose k - i = 126. Is k a composite number?
False
Let f be 1/5 + 680060/(-50). Is (-3)/4 + (0 - f/28) composite?
True
Let i(h) = h**3 - 11*h**2 - 26*h + 1. Let g = 4 + 13. Is i(g) composite?
True
Suppose -58*l + 37*l = -57729. Is l a composite number?
False
Is 2 - (1/(-4) - (-1392986)/(-56)) prime?
True
Let w(i) = 74*i - 1. Let z(a) = -a**3 - 4*a**2 + 6*a + 7. Let d be z(-5). Let c be w(d). Suppose -5*p + 500 + 247 = -r, p - c = -r. Is p prime?
True
Suppose -83*a + 205 = -82*a. Is a prime?
False
Let f(g) be the third derivative of -17*g**4/24 + 2*g**3/3 - 9*g**2. Is f(-11) a prime number?
True
Let w = -87 + 196. Suppose 0*l + w = -l. Let q = 644 + l. Is q a composite number?
True
Let k = -237 - -568. Is k a prime number?
True
Let b = -23192 - -39321. Is b a prime number?
False
Suppose -4*v - 4*b = v - 30, 14 = -3*v + 4*b. Let i(y) = -3*y**2 + y**2 + 2*y + 3*y**v + 7. Is i(-6) a composite number?
False
Let p(o) = -o**3 - 27*o**2 - 6*o - 63. Is p(-