 0 = -g - 5*u + d, -54 = -g + 4*u + 65. Is g prime?
True
Let h be 8*(-2)/(-8)*2. Suppose -h*m = -2*m - 26. Is m a composite number?
False
Is 12/(-3) + 1 + 5 - -1731 prime?
True
Suppose 5*x = -3*k - 47, -2*x - 4*k - 26 = -k. Is x/7 + (1 - -57) prime?
False
Suppose 8*t - 4*t = 748. Is t a prime number?
False
Let r be (-2)/(-8) + (-6)/(-8). Let h be r - 0 - (-4 + 2). Suppose -5 - 16 = -h*f. Is f prime?
True
Let y = 1034 + 767. Is y prime?
True
Suppose -4*h + 2*v = -640, -4*h - 815 = -9*h - 5*v. Is h composite?
True
Let z(k) = -1 + 4*k - 2*k - 3*k**2 + k + 11*k**3. Let m be z(-3). Let f = m - -537. Is f prime?
False
Suppose 7*h - 213 = 6*h. Is h a composite number?
True
Let c(r) = -70*r + 1. Suppose 0*q + 2*a = -q - 9, -24 = 3*q + 5*a. Is c(q) a prime number?
True
Suppose 84 = 21*t - 19*t. Is (-805)/(-6) - 7/t prime?
False
Let g = -5 - -4. Let l = 5 - g. Is l a composite number?
True
Let v be 12/5 - (-6)/(-15). Suppose a = -v + 5. Is a composite?
False
Suppose 23 = 4*y + 3*d, 0 = -5*y + 2*d - 3*d + 15. Suppose 0 = -5*m + 25, 0 = 5*a - y*a + 4*m - 26. Suppose q = a*q - 65. Is q a prime number?
False
Let w be ((-1)/4)/((-4)/(-16)). Let n(v) = 5*v. Let m be n(w). Let y = m - -56. Is y prime?
False
Suppose 0 = 4*k - 5*u - 1238, -4*u - 620 = -2*k - u. Is k a composite number?
False
Suppose 2*h = 11 + 1. Let b(d) = d**2 - 6*d + 5. Let i be b(h). Suppose i*q - 243 = -3*p + 200, 2*p - 286 = -q. Is p a prime number?
False
Let y(t) = t**3 - 7*t**2 - 7*t - 8. Let g be y(8). Suppose g = 4*h + h - 35. Is h a composite number?
False
Let w(a) = -a**3 + 15*a**2 - 10*a + 1. Let v be w(14). Suppose -10*s + v = -7*s. Is s composite?
False
Let q(x) = -192*x - 5. Is q(-2) composite?
False
Let a(c) = 6*c**2 + 5*c + 5. Suppose -3*v - 2 = 4. Is a(v) prime?
True
Suppose -3*t + 54 = 9. Is t prime?
False
Let j(n) = 204*n**2 - 2*n + 1. Is j(1) a prime number?
False
Let m(u) = -3*u**3 - 8*u**2 - 35. Let s(g) = -2*g**3 - 5*g**2 - 23. Let q(a) = 5*m(a) - 8*s(a). Is q(0) prime?
False
Let r(c) = -2*c**3 - 4*c**2 + 3*c + 1. Let u(f) = -5 + 8 - f**2 - 5*f + 7. Let g be u(-7). Is r(g) composite?
False
Suppose 0 = -l - 4*l + 15. Let p = l + -3. Suppose p = -5*t + 51 + 64. Is t prime?
True
Suppose u - 66 = -u. Is u a prime number?
False
Let b(u) = -2*u**3 + 3*u**2 + 3*u + 8. Let i be b(7). Let q be 1/2*(i - 0). Let x = q + 376. Is x composite?
True
Let d(n) = 50*n**2 - 2*n - 1. Is d(-1) composite?
True
Suppose 0 = -3*k - 5*v - 1, 3*k + 3 = 2*k - 3*v. Suppose 628 = k*i - q, 5*i + 0*i - 1043 = -2*q. Is i a prime number?
False
Suppose 2*k + 5*p - 6 = 30, 3*p + 98 = 4*k. Is k composite?
False
Let u be (4 + (2 - 5))*145. Let k = u + -26. Is k a prime number?
False
Let i(m) = -923*m - 1. Let q be i(-1). Suppose 4*g + 5*s - 1231 = 0, 5*s = g - 4*g + q. Is g a composite number?
True
Let f be (-1 - -4 - -2)/(-1). Let y = f - -8. Suppose 0 = 3*t + 3*k - 9, y*t + 2*k - 9 = -0*t. Is t a composite number?
False
Let f = -2630 + 3843. Is f composite?
False
Let m(c) = c**2 - 8*c. Let k(j) = -j**3 - 8*j**2 - j. Let g be k(-8). Let f be m(g). Suppose f = -2*w - 18 + 92. Is w composite?
False
Suppose -15*s = -s - 98. Let w(n) = -n**3 + 5*n**2 + 6*n + 2. Let l be w(6). Suppose m = l*m - s. Is m composite?
False
Suppose 0 = -w - 440 - 1219. Is w/(-15) - 2/(-5) prime?
False
Let v be (-1391)/(-3) + 1/3. Suppose 0 = -y + 3*m + 160, -3*y + 8*m + v = 3*m. Suppose -3*i = i - y. Is i a composite number?
False
Suppose 0 = -3*p - 2*p + 40. Let a(q) = -q**3 + 10*q**2 - 14*q - 2. Let l(j) = -j. Let i(m) = a(m) - 3*l(m). Is i(p) prime?
False
Suppose -3*i + n + 993 = 4*n, -1339 = -4*i - n. Suppose -5*p + 99 = -i. Is p prime?
False
Suppose -d = 3*d - 8. Suppose d*q - 3*q + 5*v + 6 = 0, 2*q - v = 3. Is 13 + 2 - (-1 + q) prime?
False
Suppose 3*k = -5*p - 677, -3*p - 387 - 16 = 5*k. Let a = -53 - p. Is a a prime number?
True
Let x(c) be the third derivative of c**6/120 - 11*c**5/60 + c**4/8 - c**3 - c**2. Is x(13) a composite number?
True
Is 6/21 + (-2889)/(-7) a composite number?
True
Let o = 12 - 16. Let c = o - -11. Is c a composite number?
False
Let z be (3 + -1)/2*3. Suppose z*f = -f + 24. Is f a composite number?
True
Suppose 0 = -3*n + 31 + 41. Let g(v) = v + n*v**2 - 1 - 4*v**2 + 0 + 2. Is g(-2) a composite number?
False
Suppose 0 = 5*w - 15 - 5. Suppose d - 4 - w = 0. Let s = 43 - d. Is s a composite number?
True
Let q be ((-6)/(-9))/(2/21). Is 2/6*(530 + q) composite?
False
Suppose 10 = 6*o - o. Suppose 2*l + 5*k - 172 = 0, 0 = -0*l - 3*l - o*k + 269. Is l prime?
False
Let b(y) = -8*y**2 + 8*y - 4. Let l be b(5). Is 3 - 0 - (1 + l) a prime number?
False
Let j be 12/(1/(-1) - -2). Let l = j - -109. Suppose -r + 2*o + 0 = -47, l = 2*r + 5*o. Is r prime?
True
Let y = 2 + -6. Let p(j) = -9*j - 1. Is p(y) a prime number?
False
Let t(u) = -22*u - 6 - 9*u + 0. Is t(-5) a composite number?
False
Let o(l) = l**2 + 6*l + 5. Let c be o(-6). Suppose d - 4*w = 4*d - 21, -4*w = -c*d + 3. Is d composite?
False
Let g(v) be the second derivative of 7*v**3/6 - 5*v**2 - 4*v. Is g(7) a prime number?
False
Let d be (-34975)/(-45) - (-4)/(-18). Suppose -5*a = -d - 178. Is a a prime number?
True
Let f = -43 + 108. Let a be -4 - -4 - (f - 1). Let y = a - -119. Is y a composite number?
True
Suppose -15 + 3 = 4*o. Let h be (4/3)/((-6)/(-9)). Is 5/((-7)/o - h) composite?
True
Let o = 303 - 170. Is o a prime number?
False
Let n = -5 + 7. Suppose 5*c - 2*s - 22 + n = 0, 10 = -2*s. Suppose -c - 4 = -2*d. Is d prime?
True
Let y(v) = -v**3 + 6*v**2 - 5*v + 6. Let p(m) = -7*m**2 + 6*m - 7. Let g = -7 + 4. Let i(q) = g*p(q) - 4*y(q). Is i(2) a composite number?
True
Let a = 95 + 54. Is a composite?
False
Suppose 2 + 1 = 3*u. Let i(w) = 4*w**3 - 2*w**2 + 1. Let p be i(u). Suppose -257 = -5*b + 4*t, -b + p*t = -3*b + 112. Is b prime?
True
Let t(u) = -u**3 - 34*u**2 - 72*u - 11. Is t(-34) prime?
True
Let c(r) = -r**3 - 13*r**2 + 16*r + 21. Let v be c(-14). Let o(k) = 3*k**2 + 2*k - 6. Is o(v) prime?
True
Is 8/4 + (3160 - -1) a composite number?
False
Let c = -446 + 933. Is c a composite number?
False
Let l(s) = 14*s - 10. Is l(4) a prime number?
False
Let y = -93 + 220. Is y a prime number?
True
Suppose 5*d = 5*w + 25, 3*d - 2*w - 36 = -6*w. Suppose 2*v = -2*v + d. Is v/4*148/2 composite?
False
Let r be 5/(-3)*(-12)/4. Suppose 298 = 4*x - 2*g, 4*g + 233 = r*x - 141. Is x a prime number?
False
Let w = 484 - 225. Is w a composite number?
True
Let x(t) = 33*t**3 - t + 1. Let v(w) = -w + 8. Let m be v(7). Is x(m) composite?
True
Suppose 0 = -4*a + 180 + 568. Is a prime?
False
Suppose -6*v + 245 = -v. Let c = -26 + v. Is c a prime number?
True
Suppose 3*f - 696 = -159. Is f composite?
False
Let h = -371 - -642. Is h a composite number?
False
Let f = 3838 + -1949. Is f composite?
False
Suppose -3*w - 33 = 3*q, 6*w + 47 = w - q. Let c = 16 + w. Is c prime?
True
Let n = -180 + 343. Suppose 2*t = n + 99. Is t prime?
True
Suppose -4 = x - 8. Let p = -4 + x. Is (141 + p)*(-1)/(-3) a composite number?
False
Let w = 658 - 321. Is w composite?
False
Is (0 - -1)/((-11)/(-5335)) a prime number?
False
Let g(d) = 8*d**2 + 8. Let y be g(-7). Let z = -197 + y. Is z prime?
False
Suppose -4*n + 8*n = 8612. Is n composite?
False
Let a = 39 - -160. Is a composite?
False
Let v = -5 + 5. Suppose -5*j = -4*s - v*s + 356, s - j = 89. Suppose -4*x + s = -3*x. Is x a composite number?
False
Suppose -3*m + 24 = -3*p, 3*m - 13 = -4*p - 2*m. Let i = p - 2. Let x = 58 + i. Is x composite?
False
Suppose 0*n + 148 = 2*n. Let a be (4/4)/(3/15). Suppose n = -3*w + a*w. Is w composite?
False
Let v = -21 + 473. Suppose -x - 3*x = -v. Is x prime?
True
Is (4 - 1) + 4*13 prime?
False
Suppose 104 = -3*t - 4*i, 3*t + 79 = i - 0*i. Suppose -5*u - 62 = -317. Let n = u + t. Is n a composite number?
False
Suppose -d = -4*l + 25, l + 3*d + 10 = -0*l. Suppose x - l*x + 764 = 0. Is x a prime number?
True
Let r = -3 - -1. Is (-29 - -7)/(r/19) prime?
False
Suppose 0 = -5*k + 6414 + 76. Is k/5 + 6/(-10) prime?
False
Let g be (-14)/(-3 + 3 - 2). Let s = 10 - g. Is 27 + s/1 - -3 a composite number?
True
Suppose -i = 4*r - 1317 - 5644, 5212 = 3*r - i. Is r prime?
False
Suppose -j + 50 = j. Let n(g) = 6*g + 8. Let t be n(-6). Let z = j - t. Is z a prime number?
True
Let p be 0/(-2) + (-5 - -10). Let c