 = 5*z - 395. Is z prime?
True
Suppose -10 = -4*q - q. Is 3188/12 - q/3 a composite number?
True
Let w(f) = 9*f**3 - 2*f**2 + 2*f - 2. Let t be w(2). Suppose z - 95 = t. Is z a prime number?
False
Let h = 186 + -25. Is h prime?
False
Suppose 3*f + k - 6 = 0, -k = -f - 1 - 1. Let w(s) = -5 + f - 12*s - 1. Is w(-5) composite?
True
Let a = 27 + -25. Suppose -4*s + 192 = 4*y, a*s - 250 = -3*s - 3*y. Is s a prime number?
True
Let c(x) = 14*x**2 - 17*x - 7. Let g(b) = b**2 - b - 1. Let v(d) = -c(d) + 6*g(d). Let t(k) = 9*k**2 - 12*k - 1. Let z(f) = -6*t(f) - 7*v(f). Is z(-4) prime?
False
Let j(g) = g**3 - 7*g**2 + g + 7. Is j(8) a prime number?
True
Suppose 0 = -a + 2346 + 617. Is a a prime number?
True
Let r(i) = i**2 + 1. Let j(f) = f**3 - 4 + 3 - 5*f**2 - 5 - 4*f. Let s be j(6). Is r(s) composite?
False
Suppose 4 = 5*g + t, 0*t = -2*g - 2*t. Let h be 1 + 3/(g + 2). Suppose -h*q = 2*q - 132. Is q prime?
False
Is -3 + (-3286)/(-2) + -3 a prime number?
True
Suppose 5*c + 1723 = 3*q, -5*q + c = 6*c - 2845. Is q a composite number?
False
Is (-3228)/(-4)*(-2)/(-6) composite?
False
Let r(g) = -g + 13. Let i be r(7). Let k be i/(-10) + 8/(-20). Let t = 4 + k. Is t composite?
False
Is (4 + -2 - -319) + -2 a composite number?
True
Let o(m) = -m**2 + m + 1. Let g(p) = -4*p**2 - 2*p. Let t(f) = g(f) - 5*o(f). Is t(-5) a composite number?
True
Let z(o) = 2*o**2 - 5*o + 2. Let g be z(3). Suppose -3*v = g*p - 125, -5*v + p + 227 = 56. Is v a prime number?
False
Suppose -5*t + 2*n = -n - 1070, -3*t = -5*n - 658. Is t composite?
False
Suppose f + 16578 + 17620 = 5*v, 0 = -5*v - 5*f + 34180. Is v a composite number?
True
Suppose 0*f = -c + f + 22, 0 = 2*f. Is c composite?
True
Suppose 2*o - 5*u - 632 = 1880, -5*o + u = -6303. Is o a composite number?
True
Suppose 0*w + w = 0. Let g = 2 - w. Suppose g*t - 79 + 9 = 0. Is t composite?
True
Suppose -2*u + 662 = -0*u. Is u a composite number?
False
Suppose -t + 4*t = 0. Suppose 4*n + 0*n - 52 = t. Suppose 0 = -2*r + n + 25. Is r composite?
False
Let w(d) = 8*d + 33. Is w(8) composite?
False
Suppose 2 = 2*y, l - y = y + 3. Suppose 0 = 2*d + l*o - 17, 4*d + 29 = -5*o + 68. Is d a prime number?
True
Let h = 4 - 1. Suppose -4*s + 112 = -3*s - h*r, 5*s - 2*r = 625. Is s a composite number?
False
Suppose -8*x + 6*x = j - 2, 3*j - 15 = 3*x. Let q(n) = -250*n**3 - 2*n**2 + 1. Is q(x) prime?
False
Let t = 464 + 423. Is t prime?
True
Let q(h) = -118*h + 7. Is q(-9) prime?
True
Suppose 5*t = 20, -2*t = -o - 6*t + 10. Let i be (o/(-5))/((-6)/(-15)). Suppose -i*x = -4*h + 5*h - 272, 2*h = 4*x - 346. Is x a composite number?
False
Let a be -1*(-1 - 1) - 8. Let h = -2 - a. Suppose -h*g = -7*g + 33. Is g a prime number?
True
Let s be 2/(-1) + (-129)/(-3). Suppose 3*w = 4*z - z + 153, -w = 4*z - s. Is w a composite number?
True
Let l = -63 + -41. Let v = 35 - l. Is v composite?
False
Is 1381 + 2/6*0 prime?
True
Let b(f) = 6*f**2 - 1. Let m = -7 + 2. Is b(m) prime?
True
Suppose 4*n = -y + 28, -3*n + 1 = -5*y + 3. Let q = n + -4. Is (-316)/(-2) + q - -1 composite?
True
Let u(j) = 13*j**2 - 3*j - 3. Let o be u(-3). Suppose 49 = k - 127. Let n = k - o. Is n composite?
False
Let t = 142 - 100. Let z = 37 + t. Is z prime?
True
Let r(w) = 21*w + 14. Let s(b) = 10*b + 7. Let i(d) = 3*r(d) - 5*s(d). Is i(3) a composite number?
True
Suppose -3*b = -3*d + d + 2797, d + 2*b = 1395. Is d composite?
True
Let g(a) = a**3 + 17*a**2 + 21*a + 24. Is g(-15) a composite number?
True
Suppose -92 - 1136 = -4*k. Is k a prime number?
True
Let s(d) = d**3 + 15*d**2 + 18*d + 5. Let w(j) = -j**3 + 9*j**2 + 7*j + 17. Let c be w(10). Is s(c) prime?
True
Suppose 0 = -2*g + 3*u + 10655, -5*u = g - 5944 + 623. Is g composite?
True
Is 2/(5/(565/2)) composite?
False
Let l(g) = -g**3 - 10*g**2 - 4*g - 5. Let t(u) = u**2 - 8*u - 19. Let k be t(9). Is l(k) a prime number?
False
Let x(c) = -c**2 + 6*c. Suppose 3*i = 2*i + 6. Let o be x(i). Suppose 0*p + 4*p - 476 = o. Is p a prime number?
False
Let q = -4 + 8. Suppose -2*w + q = -8. Is w a prime number?
False
Let y be 239/2 + 2/(-4). Suppose -y = -3*f - 26. Is f prime?
True
Suppose -2*n + 7*o - 6*o + 7801 = 0, -n - 3*o = -3890. Is n a composite number?
True
Suppose 5*i - 16 = -0*i + 3*h, 0 = 5*i - 2*h - 19. Suppose -i*d - 3*t = 2*t - 160, -2*d + 2*t = -60. Is d a composite number?
False
Let s(t) = 75*t + 11. Let v be s(8). Suppose -3*i + 400 = -v. Is i a prime number?
True
Let m = 2 - 4. Suppose 0*f - 3*f = 87. Is (f/m)/(1/6) prime?
False
Let k = 0 + 0. Let u(y) = 15 - 4*y**2 + 3*y**2 + 3*y - 4*y. Is u(k) prime?
False
Suppose 0 = 13*k - 19*k + 6234. Is k a composite number?
False
Is 5 - 2 - -20*11 a prime number?
True
Let z(p) = 3*p**2 + 13*p + 7. Is z(18) a prime number?
True
Let c = -124 + -31. Suppose -2*i + 6*i + 256 = 0. Let s = i - c. Is s prime?
False
Suppose 5*g + 9*r - 1915 = 4*r, -4*r - 1121 = -3*g. Is g a prime number?
True
Suppose -7077 - 12707 = -8*u. Is u a composite number?
False
Let w = 3289 - 1058. Is w a composite number?
True
Let s(z) = -z + 17. Suppose 0 = -m - 5*u + 28, 0 = 5*u - 8*u + 12. Let r be s(m). Suppose -4*n = -r - 15. Is n a composite number?
True
Suppose 3*g - 122 = 5*p, 0*g + 3*p - 22 = -g. Let h be 2*3/(-6)*5. Is (h/(-2))/(1/g) composite?
True
Let i(n) = 426*n - 1. Is i(2) prime?
False
Suppose 5*z = z. Let p(l) = -l**3 + l**2 - l + 389. Is p(z) prime?
True
Let z = 13 - 9. Suppose -5*l = -z*l - 119. Suppose -l = -d - 10. Is d a prime number?
True
Is (-331)/1*(1 - 3) a prime number?
False
Let u(d) be the second derivative of 1/2*d**4 + 1/3*d**3 + 2*d + 1/20*d**5 + 0*d**2 + 0. Is u(-5) a prime number?
False
Suppose -6*g = 5*d - g - 36210, 3*g = 3*d - 21696. Is d a prime number?
True
Let x(h) = -h**2 + h + 1. Let q(y) = -6*y**2 + 1. Let t(a) = -q(a) + 5*x(a). Let v be ((-18)/(-21))/(2/(-14)). Is t(v) a composite number?
True
Suppose -v - 10 = -6*v. Suppose -v*x = 4*o - 1280, 0 = x + 2*o + 2*o - 630. Let y = -445 + x. Is y a composite number?
True
Suppose 2*w + 5*i - 41 = 0, 3*w - 27 = 4*i - 0*i. Is (-4)/(-2)*w/2 a composite number?
False
Suppose -3*a - q + 80 + 6 = 0, -10 = -2*q. Suppose a*u - 191 = 26*u. Is u prime?
True
Let d = 45 - 30. Suppose -i - d = -5*a - 0*i, -2*a - 11 = 3*i. Suppose a*m - 52 = 26. Is m a composite number?
True
Let q(y) = 278*y - 3. Let h = 7 + -5. Is q(h) a prime number?
False
Let t(n) = n**2 - n - 6. Let j be t(0). Is 17 - j/(-15)*5 a composite number?
True
Suppose -4*u = -0*i - i, -5*i - 2*u = 0. Suppose i = -4*h - h + 275. Is h composite?
True
Let a = -188 + 276. Let x = a + -53. Suppose -3*q - 3*d + 106 + x = 0, 4*d = -2*q + 90. Is q a prime number?
False
Let c(i) = -i + 14. Let d(n) = -n. Let a(p) = -c(p) + 6*d(p). Is a(-12) a prime number?
False
Suppose -2*b = 8, -2*k + b = -740 - 530. Is k prime?
False
Suppose 4*q + 5*k = -q + 15, 3*k = -4*q + 11. Let f(l) = l**2 - 4*l**2 + 2*l**q + 6. Is f(0) composite?
True
Let v(t) = -t + 2. Let r be v(2). Suppose 2*a - 5*w - 31 = 0, r*a + 5*a + 3*w = 124. Is a a prime number?
True
Suppose -h = 6*o - 3*o - 1300, 5*h = 5*o - 2180. Suppose 4*t = -90 + o. Is t composite?
True
Suppose g + 5330 = 6*g - 5*d, -2*d + 1051 = g. Is g prime?
True
Suppose -27 - 1 = 4*x. Let n be 3*(x/3 - -2). Is 62/(1 + 0 - n) composite?
False
Let g = -571 + 1158. Is g a prime number?
True
Let s be (-18)/(-24)*(3 - -1). Suppose -377 = s*o - 1604. Is o prime?
True
Suppose 611 - 30 = 7*z. Is z a prime number?
True
Let p = -84 + 82. Suppose 2*o - 35 - 37 = 0. Let n = p + o. Is n a prime number?
False
Let x(h) = 1. Suppose 2*v - 5*u = 22, -4*v + u + 11 = 3. Let f(n) = -22*n - 9. Let c(j) = v*f(j) + 4*x(j). Is c(-6) a prime number?
True
Let z(g) = 8*g - 13. Is z(7) a composite number?
False
Suppose 3*t = -l + 246, 4*l + 9 = l. Suppose y = t + 56. Is y prime?
True
Suppose 3*b = 6, a - b + 5*b = 2061. Is a prime?
True
Is 1 - -3 - (-7)/(-7) composite?
False
Is 37/((-12)/(-8) - 1) composite?
True
Let c be (-4)/6*(6 + -3). Is (-6)/((8/6)/c) a composite number?
True
Let p(h) = 2*h**2 - 4*h + 5. Let q be p(5). Let k = q + -2. Let c = k - 20. Is c a composite number?
False
Let b(v) = 9 - 2 + 2*v**2 - 4 - 6*v. Is b(8) a prime number?
True
Let p = -22 - -36. Suppose 3*h = -0 + 6. Suppose 3*t - 51 = -3*b, 5*t + p = h*b + 2*t. Is b composite?
False
Suppose -n + 17 