 + 116, -o = i. Suppose -5*t - 37 = -h, -3*t = 3*h - t - v. Is h prime?
True
Let y = 84 + 127. Is y composite?
False
Suppose -3*i = i - 2*l - 86, -16 = -i - 5*l. Suppose 9 = -3*d + i. Suppose -d*w = -w - 237. Is w a prime number?
True
Let w = -16 + 463. Is w a prime number?
False
Let j be (-10)/(-2) - (2 + -2). Suppose -j*y = -2*y - 210. Suppose x = -x + y. Is x a composite number?
True
Let o be (2 + -3)*(-2 - -1). Suppose r + o - 321 = 0. Suppose -143 = -2*c + 3*d, -c - 5*d + r = 4*c. Is c prime?
True
Let m(u) = u**3 + 4*u**2 - u - 4. Let a be m(-4). Let s(f) = f**2 + 53. Is s(a) prime?
True
Let b(y) = y**3 - 6*y**2. Let l be b(6). Suppose l = g - 49 + 11. Suppose -h - g = -3*h. Is h a prime number?
True
Suppose 3*v - 1 = t + 4*t, 0 = v - t + 3. Let b = 29 - v. Is b prime?
True
Suppose z + 7 = 3*s - s, 27 = 3*s + 4*z. Is 1/10*212*s a prime number?
False
Suppose 4*h = 1069 + 351. Is h composite?
True
Suppose -5*d = -15, -2*j + 3 + 6 = 3*d. Let k be (0/3)/2 + j. Let h = k + 19. Is h a composite number?
False
Let s(b) = 42*b - 14. Let t be s(7). Let g = t + -111. Is g composite?
True
Let f(u) = -3*u**3 + 3*u**2 + 6*u - 4. Suppose -t - 4*c + 16 = 0, 4*t = -0*t + 5*c + 1. Let o be f(t). Is (o/(-8))/((-1)/(-2)) a composite number?
False
Let a = 791 + 744. Is a a prime number?
False
Let j = 296 - 39. Is j composite?
False
Suppose -x = x. Suppose 12 = 2*n - x. Suppose -n*k = -k - 125. Is k a prime number?
False
Let n = -6 - -4. Is (n - -1 - 0)*-89 composite?
False
Suppose 3*d + 4*s = 347, 2 + 10 = -3*s. Is d a prime number?
False
Let i be (-13386)/15 - (-3)/(-5). Let x be i/(-5) - (-2)/5. Suppose 0 = -5*w + x - 4. Is w prime?
False
Let n(s) = -s**3 - 4*s - 5. Is n(-6) composite?
True
Suppose 12*f - 171 = 9*f. Is f prime?
False
Let i be (0 - -3)/(-1) + 3. Suppose 2*q + 2*d = 410, i*d + 16 = -4*d. Is 0 + (-2 - -2) + q prime?
False
Let h(s) = 0 + 18*s + 4 + 12 + 3. Is h(13) composite?
True
Suppose 4*s - 2*n - 3*n - 517 = 0, 4*s - 538 = -2*n. Let j = 296 - s. Is j prime?
True
Let g = -881 + 1240. Is g composite?
False
Let m(s) = s**2 - s + 89. Let o = -9 - -9. Is m(o) composite?
False
Let a be 20/(-16)*(-40)/(-2). Is (-3580)/a + 2/(-10) prime?
False
Let s(t) = 30*t**2 - 2*t - 1. Is s(4) a composite number?
True
Is 4 + (-1 - -2) + 110 prime?
False
Let v(x) = 14*x**2 + 11*x - 7. Is v(8) composite?
False
Let o = 9 + 14. Is o composite?
False
Let r = -41 + 930. Is r composite?
True
Suppose f - 9 = -2*p, 5*p + 4*f - 3*f = 15. Is (573/(-6)*p)/(-1) a prime number?
True
Let k be 231 + 0*(-1)/2. Suppose k + 134 = i. Is i a composite number?
True
Let p = -298 + 627. Let a = 18 + -27. Is p/3 - (-6)/a a prime number?
True
Let l be 0 + 0 - -2 - 2. Let r be l - 4/(4/9). Let k = 31 + r. Is k composite?
True
Let i = -6 + 5. Is 37 + (0 - (1 + i)) a composite number?
False
Let z = -62 - 13. Is (2 - z/9)*3 prime?
True
Let q = -85 + 212. Is q prime?
True
Let y be (-142)/(2 - (-6)/(-2)). Suppose 0 = r - 4*q - 75, -r - 4*q - y = -3*r. Is r prime?
True
Suppose 3*d - 3*p - 6532 = 2*p, -10892 = -5*d + 3*p. Is d a composite number?
False
Is (-1050807)/(-155) - (-4)/(-10) a prime number?
True
Let a(h) = 16*h + 17. Is a(9) a composite number?
True
Suppose 2*a + 36 = 3*a. Suppose -3*k - a = 18. Let t = 40 + k. Is t prime?
False
Let z = -162 + 449. Is z prime?
False
Suppose -5*m + 9 = -0*m + o, 5*m + 3 = 2*o. Is -1 + (m - -1 - -105) prime?
False
Suppose -5 = 4*h - 21. Suppose 0*t - 5*a = -2*t + 50, 0 = -2*t + 2*a + 56. Suppose -26 = -h*g + t. Is g a composite number?
True
Suppose -b = c + c - 5, 20 = 4*b + 5*c. Suppose b*a + k = 278, 10*k - 5*k = 15. Is a a composite number?
True
Let u be 9/3 - (1 + 0). Suppose 3*d = u*q, 4*d = -4*q + 11 + 9. Suppose -3*w + w = 2*c - 48, -4*c = -d*w - 90. Is c a composite number?
False
Suppose 2*w - 15 = -u, -u = -w + 2 + 1. Let b(j) = -j**2 + 8*j - 5. Let z be b(w). Let t = 30 - z. Is t composite?
False
Let m(i) = -i**3 + i**2 + 13. Is m(-6) composite?
True
Let b(n) = 5*n - 38. Is b(15) a composite number?
False
Let y(g) = 4*g**2 - 11*g + 15. Is y(10) a composite number?
True
Is -4 + (-3)/(-1) + 468 a prime number?
True
Let v(j) = 3*j**2 - 6*j - 23. Is v(-8) prime?
False
Let v(p) = -2*p**3 - 2 - 3*p**3 + 4 - 3. Let c be v(-1). Suppose -2*l + 138 = -c*q, -99 = -l - 3*q - q. Is l prime?
True
Let w = -3 - -72. Is w a composite number?
True
Let i = 4143 - 2326. Is i composite?
True
Let f(h) be the first derivative of h**4/4 + 7*h**3/3 - h**2/2 - 5*h + 3. Is f(-4) composite?
False
Suppose 0 = 3*r + 3*a - 63 - 3, -4*r - 2*a + 86 = 0. Suppose -2*h = h. Suppose 0*s + s - r = h. Is s prime?
False
Let j = 0 - -3. Suppose -b = 5*k + 1, 6*k + j*b = 3*k + 9. Let y(n) = -32*n**3 + 2*n + 1. Is y(k) a prime number?
True
Let k = -12 + 24. Let t be 4/(-10) - k/(-5). Let m = 13 - t. Is m a prime number?
True
Let i be (15/(-25))/((-2)/20). Let u(k) = 14*k - 9. Let z be u(i). Suppose 4*r - 137 = z. Is r a composite number?
False
Suppose -3*r - r = -16. Suppose 0*f = -4*a - 5*f - 9, 4*a = r*f + 36. Let o(g) = 6*g - 5. Is o(a) a prime number?
True
Let l = 3 + -1. Suppose -l*o = -3*o - 5. Let z(m) = -2*m - 3. Is z(o) a composite number?
False
Let g(x) = 5*x + 2. Let h be g(3). Suppose 3*w - h + 5 = 0. Suppose k - 4*c = c + 63, -5*k + w*c = -210. Is k prime?
False
Let c = -9 - -21. Is 172/c + (-4)/(-6) a prime number?
False
Suppose -l + 14 = -1. Is l composite?
True
Suppose 9*n + 725 = 14*n. Is n a prime number?
False
Let r = -1 - -4. Suppose 0 = q + 3*p - 15, -r*q + 5*p = -4*q + 23. Suppose o - i - 92 = 0, 5*o = -2*i + q*i + 456. Is o composite?
True
Is 9/3 + 1352 + 8 a composite number?
True
Let y = -34 - -48. Is (2 - y)*1/(-2) a composite number?
True
Suppose 3*q - 3 = 2*d, -3*d = -5*q + d + 3. Suppose -5*f = -5*b + 10, -4*b + 3*b - 6 = -q*f. Let x(n) = n**3 - 5*n**2 + 2*n + 5. Is x(b) a composite number?
False
Let t(d) = d - 1. Let c(o) be the third derivative of -o**5/20 - o**4/2 + 5*o**3/3 - o**2. Let n(s) = -c(s) - 3*t(s). Is n(9) a prime number?
True
Suppose 1093 + 163 = 4*y. Let h = -187 + y. Is h prime?
True
Suppose 0 = 2*l - k + 2, 10*k + 2 = -2*l + 5*k. Let n = l - -3. Suppose -3*m + 157 = -2*m - 4*r, -6 = n*r. Is m prime?
False
Suppose -3*k = -3*o - 6*k - 33, 0 = -2*o - 5*k - 37. Is (330/9)/((-4)/o) composite?
True
Let h(r) = 2*r + 6. Let i be h(7). Suppose 7*t = 3*t + i. Suppose -2*g - 159 = -t*g. Is g prime?
True
Suppose -5*t + 3*t = 3*r - 14812, -3*r - 3*t = -14817. Is r prime?
False
Suppose 2*h = -2*h. Suppose 5*t + 3*x + 15 + 173 = h, 153 = -4*t - 5*x. Let o = 40 - t. Is o composite?
True
Let v = -202 - -616. Suppose 5*k - 650 = 5*w, -v = k - 4*k - 3*w. Is k a prime number?
False
Suppose 2*v = 4*z + 1400, -2*z - 431 = 2*v + 263. Let p = -216 - z. Is p a composite number?
True
Suppose 10*n - 5*n - 2*o - 23 = 0, 0 = 4*n - 2*o - 18. Suppose -2*w = -0 - 2, -n*f - w = -36. Is f prime?
True
Let v be -4 + (-3)/(-1) + -1. Is 16/24*(-57)/v a composite number?
False
Let q(s) = -2*s**3 - 3*s**2 + 3*s - 2. Let v be (-3)/(-4) + (-92)/16. Is q(v) a prime number?
False
Suppose -258 = -2*f - 0*f + v, 2*f = -5*v + 282. Is f composite?
False
Let n be (-8)/12 - 184/(-6). Let u be (0 + 5)*(-168)/n. Is (-1614)/(-14) + 8/u a prime number?
False
Let t(z) = -z**2 - z - 147. Let b be t(0). Let g = b - -274. Is g a composite number?
False
Let h(s) = 6*s. Let b be h(6). Suppose 91 = q - b. Is q a prime number?
True
Suppose 23 - 8 = 5*p. Let b(x) = -x**2 - 4*x + 2. Let d be b(-3). Suppose -5*r - 2*g + 55 = 3*g, -r - d = -p*g. Is r a prime number?
True
Suppose -5*a = h - 231, h - 3*a - 207 = -2*a. Is h prime?
True
Suppose 0 = 15*v - 4028 - 6127. Is v prime?
True
Let q = 206 - -111. Is q a composite number?
False
Let m(j) = -252*j**3 + 3*j**2 + 3*j + 1. Is m(-1) prime?
False
Suppose 2*o = -2*o. Suppose -3*h - 2*h = o. Is 149*(-1 + 2 - h) a prime number?
True
Let t(f) = -f**2 - 3*f + 4. Let q be t(-5). Let z(x) = 86*x**2 - 8*x - 5. Let n(j) = -85*j**2 + 7*j + 4. Let r(m) = q*n(m) - 5*z(m). Is r(1) a composite number?
False
Suppose 0 = -3*d - 6, -2*k + 4*d + 116 = 5*d. Is k a composite number?
False
Let s(m) = -m**3 - 10*m**2 - 25*m + 1. Is s(-12) composite?
True
Suppose -795 = 2*c - 5*c. Suppose -c = -7*a + 2*a + 2*v, 3*v + 260 = 5*a. Is a a prime number?
False
Let r = 5 - 4. Suppo