alse
Suppose 18*m - 13*m - 5395 = 0. Is m a composite number?
True
Suppose 4*v - 2*z - z - 17193 = 0, -4 = -4*z. Is v composite?
True
Let z = -8 - -14. Let s be (-4)/z + 475/15. Suppose 2*h - s = h. Is h a prime number?
True
Suppose -234 = -4*n + 714. Suppose 0 = 4*z - 3*t - 395, -3*z = -5*t - n - 62. Suppose z = 3*y - y. Is y a prime number?
False
Let l(n) = 2*n - 2. Let j be l(-2). Let z be 118/(-3)*j/4. Let r = z - -15. Is r composite?
True
Suppose -j = -0*t + t - 6, j - 2*t - 15 = 0. Let u be 2/3*6*6. Let v = u - j. Is v a prime number?
False
Let p(t) = -6*t**2 + 3 + 5*t**3 - 3*t**3 + 0 - 3*t**3 + 3*t. Let n be p(-7). Let l = -9 + n. Is l prime?
False
Let v(f) = 0*f**3 - f**2 + 11*f**2 + 3*f - 4 + f**3. Let t be v(-8). Is (-4)/(-6) + t/12 a composite number?
True
Let p = 347 - -50. Is p composite?
False
Let o be (138/(-10))/((-1)/5). Suppose o = 3*t + 2*u, 8 - 65 = -2*t - 5*u. Is t composite?
True
Is ((-132)/(-18))/(4/102) a composite number?
True
Let a(x) = -14*x**2 + 23*x + 29. Let j(f) = 5*f**2 - 8*f - 10. Let c(o) = -4*a(o) - 11*j(o). Is c(-9) composite?
True
Let w(c) be the second derivative of c**4/6 + c**3/3 + 3*c**2/2 + 4*c. Is w(-7) a prime number?
False
Let y = 145 - 102. Suppose 3*t - 50 = y. Is t prime?
True
Suppose -4*f = -t + 4*t + 2, -49 = -4*t + 5*f. Suppose -c + t = -25. Is c prime?
True
Let y(j) = 3*j - 68*j + 5*j + 1. Let b be y(-2). Suppose 64 = 5*q - b. Is q composite?
False
Let u(n) = -4*n + 0*n + 2*n + 4. Suppose -8 = 3*l + 7. Is u(l) a prime number?
False
Suppose 2*u - 15 = 3. Let l(t) = 4*t**2 - 5*t + 4*t**2 + 0*t**2 - 7*t**2 + 13. Is l(u) prime?
False
Suppose 0 = p + 5*v + 4, 0*v - 2*v = 0. Let n(b) = 2*b**2 - 1 - 2 + 8. Is n(p) prime?
True
Let y(o) = o**2 - 7*o + 6. Let c(u) = u**3 - 7*u**2 + 7. Let z be c(7). Let l be y(z). Suppose -40 = -p - l. Is p prime?
False
Let x be ((-6)/5)/(3/15). Is (-4)/x*660/8 composite?
True
Let i = 0 - 5. Let l be i*(1 - 2 - 52). Suppose -b - 2*b + l = -2*t, 0 = 4*b + 2*t - 372. Is b prime?
False
Is -5 + (378 - (4 - 4)) a prime number?
True
Suppose -280 = -6*v + 194. Is v composite?
False
Let c be 10*((-6)/(-15) + 0). Let y = 6 - c. Suppose -4*i + y*a = -226, -a + 74 = i + 2*a. Is i composite?
False
Let s be (-7 + 6)*2*-1. Is (-52)/(-9) - s/(-9) prime?
False
Let p(t) = -5*t - 7*t - 3*t + 9*t - 2 - t**2. Is p(-5) a prime number?
True
Suppose 3*m = -b + 23122, b + 20 = -3*b. Is m a composite number?
True
Is (-4 - 6)*3/((-6)/47) a composite number?
True
Let c(q) = q**3 + 111. Is c(0) a prime number?
False
Let v(c) = -c**2 + 5*c + 8. Let z be v(7). Let k = 4 - z. Is k composite?
True
Suppose -28719 = -14*y + 26483. Is y a composite number?
False
Suppose q = 1 - 2. Let r be q + 1 + 8*3. Suppose 4*z - 3*t - 22 = -0*z, 5*z = 2*t + r. Is z a prime number?
False
Let v = -142 + 327. Is v a prime number?
False
Let j = -6 - -2. Let o(w) = -2*w - 9*w + 5 + 11*w**2 + 17*w. Is o(j) a prime number?
True
Let s = 94 + 63. Is s composite?
False
Suppose -5*t + 6 = d, -d + 4 = 4*t - 0*d. Let z(m) be the third derivative of 11*m**4/6 + m**3/6 + m**2. Is z(t) a composite number?
False
Let s(g) = -g**3 - 5*g**2 + 6*g + 2. Let r be s(-6). Suppose u - 5 = r*u. Let k(m) = -2*m**3 - 4*m**2 + 7*m + 4. Is k(u) a composite number?
True
Let d(s) = -16*s**3 - s**2 - 3*s + 0*s + s. Let a be d(3). Is (a/12)/((-1)/4) composite?
False
Let r be (10/15)/(1/3). Suppose 12 = -3*i, 0 = -r*f - i - 0*i + 58. Is f composite?
False
Let g(p) = 851*p**3 - 2*p + 2. Is g(1) a composite number?
True
Let q = -3 + -1. Let t(i) = i**3 - 13*i + 3. Let o(h) = h**3 + h**2 - 12*h + 2. Let b(n) = q*o(n) + 3*t(n). Is b(-7) a composite number?
True
Suppose -3*m + g + 5082 = 0, g + 4*g - 6795 = -4*m. Suppose -3*u + 4*u = -5*t + m, -339 = -t - 3*u. Suppose 4*l - t = -j, -2*l = 3*j - l - 995. Is j prime?
True
Suppose 4*r - 965 = 2711. Is r a prime number?
True
Suppose -3*u + 2*r + r = 450, -3*r + 6 = 0. Is 45/(-30)*u/6 prime?
True
Suppose y = -4*k + 17, -3*y - 5*k = -8 - 22. Let u(c) = 11*c - 13*c - 1 + 5*c. Is u(y) a composite number?
True
Let v be (9 + -3)*(-1)/(-1). Suppose -16 = -v*z + 2*z. Is z/14 - (-1364)/28 composite?
True
Let l be (4 - 1) + 5/(-5). Suppose -l*s - 1 = q, q - 3*s = -8*s - 13. Let g(k) = k**3 - 6*k**2 + 9*k + 7. Is g(q) a composite number?
True
Suppose 4*r + 15 = -5*w, 0 = 2*r + 4*w + 4 + 8. Suppose r = 3*q - y - 1141, -355 = -4*q + 2*y + 1169. Is q prime?
True
Suppose 6*p - 15 = 3*p + 2*a, 4*p = a + 25. Suppose -185 = -p*z + 2*z. Is z a prime number?
True
Let x be (4 + -3)/((-4)/(-2132)). Let d = -154 + x. Is d a prime number?
True
Suppose 0 = -2*n + 1168 + 1366. Suppose -4*r - r = -a - n, 1010 = 4*r + a. Suppose i - 126 = -w, -w + 3*w + i - r = 0. Is w composite?
False
Suppose -5*w + 20 = -w. Is 28 + (w - (0 + 2)) a prime number?
True
Let w = 12 + -10. Is (185 - -3)*w/8 a composite number?
False
Suppose 3*t - 31 = 2*t. Is t prime?
True
Let o = 903 + -640. Is o a composite number?
False
Suppose -2*c = 5*f - 443, 4*f = -4*c + 348 + 4. Is f a composite number?
False
Let j(c) = -1 + 3*c - 8*c - 6*c. Let o be j(2). Let m = 37 + o. Is m composite?
True
Let j(o) = -7*o**3 + 2*o**2 - 1. Let f be j(1). Is (-86)/f - 8/(-12) composite?
True
Let l(x) = -379*x**3 + x + 1. Is l(-1) a prime number?
True
Suppose r + 8 = 2*r. Let w be (-49)/2 + 4/r. Let a = 41 - w. Is a prime?
False
Let w(x) = 10*x**3 - 6*x**2 + x - 1. Let t be w(4). Let a = t - 156. Is a a prime number?
False
Suppose b - c = 26, 3*b - b - c = 48. Is b composite?
True
Let z be 158/8 + 3/12. Suppose -2*f = 3*f - z. Is (-35)/f*-2*2 a composite number?
True
Suppose 243 + 92 = 5*y. Is y a prime number?
True
Let b(n) be the first derivative of -2*n**2 - 6*n + 3. Let o be b(-6). Let w = o + -11. Is w composite?
False
Let o be (-7)/((-21)/6) + -3. Let f be o - -7 - 2/1. Suppose 3*u - f*u = -4. Is u a composite number?
True
Suppose 3*r = b + 7, -2*b + 0 = 3*r - 13. Suppose 0*d = -d - b. Is 4 + 4 + 4/d composite?
True
Let g(z) = -267*z - 16. Is g(-11) composite?
True
Suppose -5*b = -b - 12. Suppose 0 = 5*w - 3*x - 430, -x + 361 = w + b*w. Is w composite?
False
Let x = 736 + 435. Is x prime?
True
Let y(b) = -48*b - 5. Let u = 9 + -12. Is y(u) composite?
False
Suppose -2047 = -s - 4*b, 5*b + 6 = 1. Is s composite?
True
Suppose 0 = 3*w + 6, -2*w - w = -3*u + 21. Suppose -x + 13 = 2*o, 0 = -2*x - 3*o - 13 + 44. Suppose u*q - x = 32. Is q prime?
True
Let i(s) = -s**3 - s**2 - s + 3. Let b be i(0). Suppose -13 = 4*w - 5*k, -b*w = 5*k - 24 - 10. Suppose -w*g + 339 = -294. Is g prime?
True
Suppose -5*n - b = 0, 3*n + b + 0 - 2 = 0. Let w(g) = -4*g**3 + g. Let t be w(n). Suppose -4*f + 216 + 229 = 5*a, t*f + 155 = 2*a. Is a prime?
False
Let x(l) = 0*l**2 - 6*l**2 - 20 + 2*l**2 + 3*l**2. Let d be x(0). Let w = d - -51. Is w a composite number?
False
Suppose 0 = -5*i - 421 + 1216. Is i composite?
True
Is ((-10)/5 - 1) + 262 prime?
False
Suppose 4*d - 3*o = 35, -o = -2*d + 11 + 4. Suppose 5*y - u + 23 = d, -3 = -u. Is 69/(-2)*2/y prime?
True
Let m = -2 + 3. Is (14/49)/(m/7) a prime number?
True
Let z(d) be the third derivative of -d**6/120 + 7*d**5/60 + 3*d**4/8 - d**3 + d**2. Let i be z(8). Is (3/i)/(6/8) a prime number?
True
Let m = -814 - -1162. Suppose -c + 3*b + 261 = 2*c, 4*c + 2*b - m = 0. Is c prime?
False
Let k(z) = -46*z + 3. Let m be k(-3). Suppose g + 2*g = m. Is g a prime number?
True
Let b be 8028/(-21) - 4/(-14). Let x = b + 543. Is x a composite number?
True
Let w(f) = 2*f - 3. Let x be w(4). Let n(h) = h**2 + h + 1. Let d be n(-2). Suppose x*p = d*p + 14. Is p prime?
True
Let n = 6 - 24. Suppose -12 = -2*k - k. Is (-3)/(n/21)*k a composite number?
True
Let w(y) = -y**2 + 24*y + 12. Let v be w(11). Suppose -v = 5*u - 685. Is u prime?
False
Suppose -4*k + 3 + 9 = 0. Let g be (38/(-3))/(1/k). Is (-1)/(0 - -1) - g prime?
True
Let w(u) = -u**2 - 9*u - 10. Let y be w(-7). Suppose 5*p = 5*q + 15, 0 - y = -2*p + 4*q. Suppose 163 = p*g - 97. Is g prime?
False
Let z(t) = -1 + 7*t - 59*t + 0. Is z(-1) composite?
True
Let y(p) = -p**3 - 6*p**2 + 3*p + 9. Let r be y(-6). Let a = r + 13. Suppose -o = -a*k + k - 23, 4*o = k + 59. Is o composite?
True
Let h = -631 - -888. Is h composite?
False
Suppose 2*h + h - 129 = 0. Is h prime?
True
Let b be 2/(-5) - (-7)/5. Is (2*118/4)/b prime?
T