k - 89 = -q - q. Is q composite?
False
Suppose 4 = -2*x - 2. Suppose 2*v = 7 + 5. Let m = v + x. Is m a prime number?
True
Suppose 3*u + 0 = 3. Is 65*u/(3 - 2) a composite number?
True
Let u(o) = -3*o - 2. Let t be u(-7). Suppose v + t = 2*v. Is v prime?
True
Suppose -7*s = -1167 + 278. Is s prime?
True
Is 2/(20/2594) - (-74)/(-185) a composite number?
True
Let c(p) = p**2 + 6*p - 1. Let r be c(-6). Is -2 + r - (-1 + -99) prime?
True
Suppose -5*n + 4*n + 1 = -y, 3*n + 2*y - 13 = 0. Suppose 5*p - 4*z = 2059, n*p = 4*p - 5*z - 395. Is p a composite number?
True
Suppose -2*p - h + 6 = 0, 3*p - h - 1 = 3. Is 93/(-12)*(p + -6) composite?
False
Let i = -17 - -41. Suppose 4*w + 4*v - i = 0, -5*w - 4*v + 36 = 7. Suppose l + 2*r + 14 = 81, -w*l + 390 = -r. Is l a prime number?
False
Let f(j) = j**2 - 3*j. Let i be f(5). Suppose 0 = -2*l + i. Suppose -3*s + 118 = -2*u + 7*u, -l*u + s = -114. Is u prime?
True
Let c(m) = 8*m**2 - 2 + 7*m - m**3 - 5*m**2 - 12*m**2. Is c(-11) prime?
True
Is (113/(-2))/(-5 - (-1445)/290) a prime number?
False
Let x(n) = -3*n + 1. Let w be x(-3). Let q(p) = p**3 - 4*p**2 - 6*p - 11. Is q(w) a composite number?
True
Suppose z - 2*z - w = -79, -2*w = -3*z + 237. Is z a prime number?
True
Is (130/4)/(1/2) prime?
False
Suppose -c = 5*v - 27, -3*v + 28 + 19 = 2*c. Suppose 3*q + 3*y = -y + c, 0 = 2*q - 3*y + 8. Suppose 3*x + t - 147 = 0, -q*x + 3*t + 98 = -2*t. Is x prime?
False
Let o(f) = 2*f**3 + 2*f**2 + f. Let s be o(-1). Let v(u) = -204*u**3 + 2*u**2 - 1. Is v(s) prime?
False
Let f(j) = -14*j**2 - 2*j - 2. Let h be f(-2). Let w = 80 + h. Is w a composite number?
True
Let r = 12 + -8. Suppose -r*m + 45 + 35 = 0. Suppose -m = -0*k - 2*k. Is k composite?
True
Suppose -s + 0*t - 5*t = -37, -3*s - 3*t = -51. Let w = s - 6. Suppose -3*o = -33 - w. Is o prime?
True
Let l(j) = 20*j**2 - j. Let v be 2*((-15)/(-6) + -2). Is l(v) a composite number?
False
Suppose -2*p = p - 42. Let w = p - 8. Let x = 71 + w. Is x composite?
True
Is 6/(-2) - -6 - -1*2836 a prime number?
False
Let p(c) = -c + 9. Let m(b) = -b + 9. Let d(x) = -5*m(x) + 6*p(x). Is d(0) prime?
False
Suppose 6*y = 2*y + 24. Suppose y*u - 5*p - 221 = 3*u, -4*u + 4*p + 308 = 0. Is u a prime number?
False
Let r(q) = 117*q - 16. Is r(3) a composite number?
True
Let r = 59 - 0. Is r a prime number?
True
Let d be 2/(-8) - 18/(-8). Let f(q) = q**3 + 4*q**2 - 5*q. Let h be f(-5). Suppose -d*z + 247 + 175 = h. Is z a composite number?
False
Is 6/14 + (-17)/(1071/(-230490)) a composite number?
False
Let a(j) = -3*j - 4. Let s be a(-8). Let k = 67 - s. Is k prime?
True
Let l(s) be the second derivative of -10*s**3 + s. Let b be l(-1). Suppose d = -3*d + b. Is d prime?
False
Let f(d) = d**3 - 4*d**2 + 4*d - 1. Let t be f(3). Suppose -4*r - t*b + 1540 = 0, -3*r + r + 786 = 5*b. Let l = -256 + r. Is l composite?
False
Let i = 5 + -2. Suppose -4*b = 5*z + 8, 2*b + 10 = -3*b - i*z. Is (-951)/(-12) + b/8 a prime number?
True
Let i = 4 + -1. Is (4 - i) + 36 - -2 composite?
True
Suppose 4197 = 2*z + z. Is z a composite number?
False
Let d(c) = -1 - 6*c**3 + 7*c**3 + 8*c + 8*c**2 + 4. Let g be d(-6). Let j = 52 - g. Is j prime?
False
Is ((-316)/10)/((-3)/15) a prime number?
False
Suppose -121 = -t - 2*m - 2*m, 0 = -4*t + 4*m + 524. Suppose -t = -0*o - 3*o. Let x = o - 6. Is x composite?
False
Suppose -2*d = 2 + 2. Let a(o) = -10*o**3 + 3*o**2 + 2*o + 1. Is a(d) a composite number?
False
Let a(o) = -74*o + 3. Let s be a(8). Let h = 1130 + s. Is h a composite number?
False
Let k(u) = -4*u**2 + 6*u - 5. Let x(a) = 3*a**2 - 6*a + 6. Let g(o) = 2*k(o) + 3*x(o). Is g(7) prime?
False
Suppose 0*f + f = 10. Suppose -504 = -5*r + 3*t, r = -2*t + 6*t + 111. Suppose k = -f + r. Is k a prime number?
True
Let u = 20 + -8. Suppose x - 2*d - 40 = 0, d - u = -3*d. Is x a composite number?
True
Let m be 60/33 + 2/11. Suppose m*p = -2 - 8. Let y = 12 + p. Is y prime?
True
Suppose 6*h - 3505 = h. Is h a prime number?
True
Suppose 0 = -z - 3*u + 1 + 7, -6 = -3*u. Is z/8 - 3177/(-12) a composite number?
True
Suppose 6*y - 3*y = 366. Suppose -4*t = 5*x - 3*x - y, 3*t + 174 = 3*x. Is x composite?
False
Let q be 3/(-1)*8/(-6). Suppose -2*d + w + 11 = 0, 3*w + 15 = q*d + 8*w. Suppose 9 - 86 = -u + 3*j, -d*u + 5*j = -345. Is u prime?
False
Let y = -18 + 13. Let g(h) = h**2 - h + 7. Is g(y) composite?
False
Let r(a) = -2*a - 4. Let u be r(-3). Is u*14*5/10 a composite number?
True
Let p be (-2)/4 + 1/2. Suppose p = y - 0*y - 233. Is y composite?
False
Let k(q) = -q**3 + 7*q**2 - 4*q - 4. Let f be k(6). Is (f/(-12))/(4/(-762)) a composite number?
False
Let i(t) = t + 8. Suppose 0*g - 7 = g. Let a be i(g). Is ((-23)/2)/(a/(-2)) composite?
False
Suppose 7*f - 9*f - 198 = 0. Let a = 50 - f. Is a a prime number?
True
Let v(h) = -6*h**2 - 5*h. Let t be v(5). Let s = t - -266. Is s prime?
False
Let m(h) = -h**2 - 4*h - 6. Let l be m(-9). Let v = 94 - l. Is v prime?
False
Suppose d - 844 = -3*d. Is d composite?
False
Suppose 5*w - x = 4441, -1266 = -3*w + 2*x + 1393. Is w prime?
False
Suppose -2*p - 3 = 1, 4*p = 2*j - 14. Is (7/4)/(j/156) prime?
False
Suppose 884 = -0*v + 4*v. Is v a prime number?
False
Let c(v) = 2*v**2 - 3*v + 2. Let m be c(2). Suppose m*q = 5 - 29. Is (-2 - q)*(-1401)/(-12) a prime number?
True
Suppose -n - n = 0. Suppose -5*s - 47 - 58 = n. Let z = -15 - s. Is z a composite number?
True
Let g(p) = 113*p**2 + p + 1. Let u = -6 - -5. Is g(u) prime?
True
Suppose -3*u + 4*t - t + 72 = 0, -u = -3*t - 28. Suppose 0 = -y + u - 7. Is y a prime number?
False
Let u = 141 + 266. Is u prime?
False
Let x(t) = -t**2 + 4*t + 3. Let z be x(5). Is (-528)/(-10) - z/10 a composite number?
False
Let a = -34 - -67. Is ((-1)/1)/((-1)/a) prime?
False
Suppose -3*s = j - 9, 2*j - 2*s + 36 = 6*j. Suppose -3*x + 30 = -j. Is x a composite number?
False
Suppose -v = 5*v - 4038. Is v a prime number?
True
Is -1163*(4/(6 + -2) - 2) composite?
False
Let d(x) = -x + 10. Let t be d(7). Suppose -4*m + 67 = -t*m. Is m a prime number?
True
Let q(m) = m**3 - 8*m**2 - 2*m + 8. Let k be q(8). Let c = k - -10. Suppose 5*r - c*r = 12, 769 = 3*h - 5*r. Is h a prime number?
True
Let p be (2*4)/(3 + -1). Suppose -x + 4 = -4*k, -p*x - 3 = 2*k - 1. Suppose -4*l = -x*l - 12. Is l a composite number?
False
Let r = -332 - -495. Is r a prime number?
True
Suppose 2*g - 5*n + 2999 = -2*g, -3733 = 5*g - n. Is 8/(-28) - g/14 prime?
True
Let k be 2/4 + (-395)/(-2). Let v = -105 + k. Is v a composite number?
True
Let s = 92 + 124. Suppose -4*r - 5*f + s = 0, 3*f + 184 = 5*r - r. Is r composite?
True
Let g(z) = 44*z - 1. Let x be g(2). Let q = -8 + x. Is q a prime number?
True
Is (0/3 + 1)*194 a composite number?
True
Suppose 2*x = -6*x + 7304. Is x a composite number?
True
Let h(s) = 2*s**2 - 7*s + 4. Suppose -5*o + 27 + 8 = -5*c, -3*o + 5*c + 17 = 0. Let m be h(o). Suppose 411 - m = 4*a. Is a a prime number?
False
Let l be 4*(10/(-8) + 2). Suppose q = l*q - 238. Is q a prime number?
False
Suppose 0 = 4*w - 18 - 2. Suppose 2*y - 46 = j + 160, 5*y - 515 = -w*j. Is y composite?
False
Suppose 0 = 11*u - 6*u. Suppose -111 = -u*f - 3*f. Is f composite?
False
Let o = 305 - 164. Is o prime?
False
Let u be 1 + -1 + (24 - 2). Suppose -2*q - 2 = -u. Suppose 4*i - q = 18. Is i composite?
False
Let z(g) = g**3 - 26*g**2 + 32*g - 53. Is z(28) a composite number?
False
Let n = -156 + 911. Is n a prime number?
False
Is 473*2/10 - (-8)/20 prime?
False
Let r = -204 + 614. Let b(t) = 2*t**3 - t**2 - 3*t + 3. Let y be b(2). Suppose 0 = -5*l + 2*p + 3*p + r, -3*p = y. Is l a prime number?
True
Suppose 6*y - y - 258 = -3*n, -3*n + 264 = 3*y. Is n a prime number?
False
Suppose 0*h = 5*h - 2*d - 5483, 0 = 3*h + 4*d - 3295. Is h a composite number?
False
Suppose m + 4*x - 17 = 0, 0 = 5*m - 2*m - 5*x. Suppose 4*o = m*f + 28, -f + 6*f + 26 = 3*o. Suppose -o*h + 28 = -146. Is h composite?
True
Suppose 0 = 5*y + 5, 2*o + 2*o + 2*y = 10082. Is o composite?
False
Suppose -1287 = -5*g + 4*l, g - 261 = -0*g - l. Is g a prime number?
False
Let g = -221 + 322. Let a = 207 - g. Is a a prime number?
False
Let m = 290 + -184. Is m a prime number?
False
Let n(c) = -2*c**2 - 1 + 2*c**2 - 3*c**2 + 2*c**2 + 21*c**3 + 2*c. Let m be n(2). Is m/5 + 4/(-10) prime?
False
Suppose 5*q + 7354 = -4*u + 23315, -q