 Suppose d*t = 152 + 7. Is t composite?
False
Let c be 1/3*(2 + 4). Let w = 92 + c. Let h = 147 - w. Is h composite?
False
Let y be (1 + 0)*(-3 + 3). Suppose 2*z + 2*l - 12 + 2 = y, 16 = 5*z - 4*l. Is (-2)/8 - (-213)/z prime?
True
Let m = -86 + 33. Let w = 16 - m. Is w a prime number?
False
Suppose 3*n + 5*q - 779 = 0, 1 = -q - 1. Is n prime?
True
Is 49 + (5 - 4)*4 prime?
True
Let c = 110 - 57. Is c a composite number?
False
Let h(z) = 5*z**2 + 10*z. Let w(j) = 9*j**2 + 19*j. Let k(a) = 11*h(a) - 6*w(a). Let r be k(5). Is 33/r - 12/(-30) a composite number?
False
Suppose -3*g + 267 = -3*t, 4*g = t + 107 + 237. Is g composite?
True
Let n = -51 + 118. Suppose -51 - n = -2*t. Is t composite?
False
Let i(m) = 2*m**2 - 3*m - 4. Let f be i(-4). Let a = 109 + f. Is a a prime number?
True
Suppose 0 = -4*o + 57 + 563. Suppose -2*x + o = 3*x. Is x a composite number?
False
Suppose -2*t - 2*t = -16. Suppose -t*k = 2*c - 592, 2*c + k + k = 594. Suppose 4*o - 2*d - c = 0, 5*o + 2*d = 475 - 80. Is o a composite number?
True
Suppose -4*k - 44 = -4*a, -a + 5*k + 1 - 6 = 0. Let q(w) = -w**3 + 2*w**2 - 2*w. Let z be q(-3). Suppose -2*y = -z - a. Is y prime?
False
Let s(k) = k**2 - 35*k - 35. Let c = -4 - -6. Let l(f) = 7*f + 7. Let b(m) = c*s(m) + 11*l(m). Is b(-6) a composite number?
False
Suppose -j = 2*s + 2*j + 29, 4*j = -2*s - 34. Let x(l) = -l + 5. Let i be x(s). Is ((-573)/i - 0)*-4 prime?
True
Let f be (-1890)/(-4) - 6/(-12). Suppose -o + d = -167, 2*o - f = -o - 4*d. Is o a prime number?
True
Let r be 7 - 4 - 1*234. Is r*2/(-6)*1 prime?
False
Suppose -2*t + t = 11. Let m(z) = -7*z + 15. Let w be m(t). Suppose n - w = -n. Is n a prime number?
False
Let f = 58 - 159. Let l = f - -201. Is ((-3)/(-2))/(15/l) a prime number?
False
Suppose 2*l - 109 - 95 = 0. Let v be 2*2/((-12)/(-15)). Suppose -l = -5*s + 2*r, -3*s + s + v*r = -24. Is s composite?
True
Suppose -5*h + 5980 = -1735. Is h a composite number?
False
Is 5/((2/3)/(70/21)) prime?
False
Let d(h) be the third derivative of h**5/60 + h**4/6 + 5*h**3/6 + 3*h**2. Let z be d(-4). Suppose -z*i + 125 + 270 = 0. Is i a prime number?
True
Is (3/(-9))/((-1)/2157) a composite number?
False
Suppose -4*f - 23 = 21. Let j = f - -7. Let s = j + 7. Is s a composite number?
False
Let u(t) = -3*t**3 - t**2 + 4*t - 1. Is u(-4) a prime number?
False
Suppose -4*t + 0 = 24. Let x(u) = -u + 12. Let m(v) = 2*v - 13. Let n(l) = -3*m(l) - 4*x(l). Is n(t) prime?
True
Let x be 18*1 - (2 + -1). Suppose -5*u + x = 4*a, 5*u - 3*a = -1 - 3. Suppose -u - 3 = -y. Is y a composite number?
True
Suppose -26 = -5*k - 1. Suppose k*p - 7 - 18 = 0. Suppose -t = -p*x + 443, -x - 453 = -6*x - 4*t. Is x a prime number?
True
Suppose -11*z + 134 + 59057 = 0. Is z prime?
True
Suppose m - 600 = -2*m. Let z be (2 + -3)/((-2)/6). Suppose -z*j + 96 = -5*p - 40, -5*j + m = -3*p. Is j a composite number?
False
Let i(y) = -y**2 - 11*y - 10. Let c be i(-7). Suppose -c = -4*s + 26. Suppose 4*l - s = -5*d + 24, d = 2*l + 7. Is d a composite number?
False
Let y be -2*5/((-10)/(-3)). Let b = 6 + y. Suppose -2*f - b*t - 30 = -6*f, 0 = -4*f - 4*t + 16. Is f a prime number?
False
Suppose 0 = 2*d - 453 - 545. Is d a composite number?
False
Suppose 17*d + 853 = 18*d. Is d composite?
False
Let n = -1175 - -1731. Let w(k) = 293*k + 8. Let l be w(3). Let o = l - n. Is o a composite number?
False
Let w(k) be the third derivative of k**5/10 + k**4/24 + 2*k**3/3 + 2*k**2. Is w(-5) prime?
True
Suppose 5*t = -v - 4 + 24, -4*v + 3*t - 12 = 0. Let g(b) = 2*b - 3. Let o be g(4). Suppose 5*x + 0*c - 835 = 4*c, v = -2*x - o*c + 301. Is x a prime number?
True
Let t(p) be the second derivative of -p**4/12 + 127*p**2/2 - 3*p. Is t(0) composite?
False
Is 6/4*(4 - -582) a composite number?
True
Suppose 4*f + 3*w = 1214 + 528, -429 = -f - 4*w. Is f prime?
False
Suppose 3*h - 339 = -0*h. Suppose -4*k = -h - 947. Is k prime?
False
Let a(z) = z**2 - 3*z + 3. Suppose -c = 4*s - 11, -3*c - 5*s = -9 - 10. Let h be a(c). Suppose -h*u - 2*u = -20. Is u a composite number?
True
Suppose -d + 32 = d. Let y be (-18)/(-3)*(-5)/(-2). Suppose h = y + d. Is h a prime number?
True
Let v be (0/(-6))/(1 - 0). Suppose v = 2*d - 14 - 24. Is d a prime number?
True
Let w(i) be the second derivative of -445*i**3/6 - 3*i**2/2 - i. Is w(-2) a prime number?
True
Let a(p) = p**2 + p + 1. Let v be a(-2). Suppose -5*t - 5*g = -1895, -541 - 989 = -4*t + v*g. Is t prime?
False
Let h be (-170)/(-50) - (-4)/(-10). Suppose 0 = -c + h*w + 281, 4*c = -3*w + 89 + 1095. Is c prime?
True
Suppose 0*w = 3*w. Let l be w + 4*4 - 1. Let s = -9 + l. Is s composite?
True
Suppose 1107 - 263 = 4*s. Is s prime?
True
Let k be 1 + -1 - (1 + -3). Suppose -198 = -3*v - k*h - 23, 4*h + 200 = 4*v. Let z = 24 + v. Is z a prime number?
True
Let d be (-1)/2 - 45/(-2). Let a(m) = -3 - d*m + 6 + 2. Is a(-5) composite?
True
Let v(k) be the first derivative of k**3/3 - 4*k**2 + 3*k + 1. Let r be v(8). Suppose 72 = 4*s - r*i, 4*s - 4*i = -s + 91. Is s prime?
False
Suppose 5*p = 3*b - 65, 0*p = 5*p - 2*b + 60. Is (-2)/p - (-3162)/15 prime?
True
Let l(d) = -d**3 + 4*d**2 + 7*d + 6. Let b be l(6). Let f = b + 43. Is f a composite number?
False
Let z(k) = 29 + 0*k**2 - k**2 + 33 - k - 24. Let s be z(0). Is (-2)/(((-4)/s)/1) a prime number?
True
Is (2/10 - 3/15) + 633 a composite number?
True
Let s(i) = i**3 - 6*i**2 + 14*i - 11. Is s(10) a composite number?
True
Suppose 6*t = 5125 + 8585. Is t prime?
False
Let a(t) = t**2. Let r be a(-1). Is (3 + -504)*r/(-3) composite?
False
Let r(k) = k**2 + 6*k + 2. Let f be r(-5). Let y be (f/15 + -1)*-105. Is 2/(-4) - y/(-4) a prime number?
True
Let j(g) = -g**2 + 7*g + 10. Let b be j(7). Suppose -z + b = z. Suppose -4*u + 166 = 2*i - 106, -z*i + 335 = 5*u. Is u composite?
True
Let w(c) = -105*c - 5. Is w(-2) a prime number?
False
Suppose -5*k = -427 + 2. Is k a prime number?
False
Let o be (0*(3 - 4))/2. Suppose o = 5*p - p. Suppose p = -2*u - 44 + 210. Is u prime?
True
Let l(z) = 11*z**2 + 3*z + 3. Let p be l(-2). Let f(d) = d**2 - d - 2. Let w be f(2). Suppose -2*m + p = 5*o, -3*m + w*o + 124 = -5*o. Is m composite?
True
Suppose v + 2*v = 2*l + 24, 4*l = -3*v + 6. Is 70/v*(0 - -3) prime?
False
Let j = 38 - 10. Let u(m) = -m**2 + 4*m + 4. Let i be u(4). Suppose 0 = i*f - 24 - j. Is f composite?
False
Suppose 4*b = -4*z - 8, -2*z - b - 4 = -0*b. Let o be ((-3)/(-6))/(z/1524). Is (4/(-6))/(2/o) composite?
False
Let f(q) = 2*q**2 + 7*q - 8. Let z be f(-6). Is 1/(3 + (-65)/z) a prime number?
False
Let t(d) = d**3 - 10*d**2 + 13*d + 1. Suppose 0 = -3*c - 3*f + 24, -3*c + 11 + 14 = 2*f. Is t(c) composite?
False
Is (-1 + 0)/((-1)/46) composite?
True
Let i(x) = 67*x**3 - 2*x**2 + 1. Let w be i(2). Let u = -318 + w. Is u composite?
False
Let b(i) = i**3 + 8*i**2 + 5*i + 1. Let p be 1/(0 - 3/21). Is b(p) a prime number?
False
Let n(s) = 2*s**2 - 6*s + 1. Suppose -7*v - 5*c = -6*v - 15, -4*c = -4*v + 12. Suppose 4*p - 44 = 4*a, v*p - a - 40 = a. Is n(p) a prime number?
True
Let p(c) = c**3 - 11*c**2 + 7*c - 1. Let z be p(11). Let g be 18/4 + 2/(-4). Suppose -z = -0*o - g*o. Is o prime?
True
Let p(a) = -a**2 + 16*a + 23. Is p(17) a composite number?
True
Suppose -2*t = -7 - 1. Suppose 4*j + 4*f = 6*f + 132, -t*j + 5*f + 132 = 0. Is j a prime number?
False
Let f be 1*-2 + -5 + 7. Suppose f = -v + 5*v - 644. Is v composite?
True
Let z(r) = 15*r + 2. Suppose -5*c + 10 = -3*k, -3*k - 2*k - 4*c + 45 = 0. Is z(k) composite?
True
Let t be 72/(-10) - (-2)/10. Let c = -2 - t. Suppose c*z = 4*u - 82, -3*z + 85 - 10 = 3*u. Is u prime?
True
Let m = -3 - -7. Suppose -5*n + 2*h + 473 = -2*n, -n + 151 = -m*h. Is n a prime number?
False
Suppose -7192 = -2*h + 2*b, -4*h = -6*h - 5*b + 7185. Is h a composite number?
True
Let l = 12801 + -6642. Is l a composite number?
True
Suppose h = -3*f - f + 1897, -f = -5*h + 9506. Is h composite?
False
Suppose 5*o + 68 = 548. Let s = o + -19. Is s a prime number?
False
Let s(j) = -6*j - 2. Let f be s(-5). Suppose f = a - 129. Is a a composite number?
False
Let z be -1*(1 + -1*4). Suppose -z*k + 502 = -k. Is k a prime number?
True
Suppose 0 = 7*t - 2*t. Suppose 322 = -t*q + 2*q. Is q composite?
True
Suppose -724 - 254 = -2*x. Is x a composite number?
True
Let p(u) be the second derivative of u*