
True
Suppose 8*m + 9 = 5*m. Let p = m - -6. Let v(a) = 29*a + 2. Is v(p) prime?
True
Let k = 789 - 268. Is k prime?
True
Let s(x) = -x**3 - 3*x**2 + 5*x + 3. Let r be s(-3). Is (-3)/r*-53*-4 composite?
False
Suppose -t - 3*s = 148 - 719, 5*t = -2*s + 2816. Let n = t + -313. Is n composite?
True
Let u = 2809 + -1676. Is u a composite number?
True
Let c(q) = q. Let j(g) = -9*g + 7. Let r(l) = 4*c(l) + j(l). Is r(-6) a prime number?
True
Suppose 4*v = -2*o - 0*o + 3974, v = -4*o + 997. Is v composite?
True
Suppose 12*y - 385 = 5*y. Is y prime?
False
Suppose b + y - 4413 = 2*y, -20 = 5*y. Is b prime?
True
Let u(q) = 18*q - 3. Let o(r) = 71*r - 13. Let j(b) = -4*o(b) + 18*u(b). Let k be j(2). Suppose 3*d = 5*h - 3*h + 103, 3*h = -3*d + k. Is d prime?
True
Let h = -43 - -66. Is h prime?
True
Let m be (-5)/(-20) - 3007/(-4). Is (-2)/(-5) + m/20 composite?
True
Suppose 0*p = 7*p - 5747. Is p composite?
False
Let q(l) = -l**3 + 8*l**2 + 4. Let v be q(8). Suppose v*t = -t + 20. Is (-626)/(-18) + t/18 a prime number?
False
Suppose -j + 3*l = 2*l - 10, -2*l = -5*j + 35. Suppose -j*y = 15, p - 3*p - 4 = 2*y. Is -1 - (-51 + -3)/p a composite number?
False
Suppose -8*i + 80 = 3*n - 3*i, n = 3*i + 50. Is n composite?
True
Let u(h) = -81*h + 10. Is u(-5) composite?
True
Suppose 8 + 0 = 2*m. Let z = -36 + 68. Suppose -m*j + z = -188. Is j a composite number?
True
Suppose 0 = -4*g - 2*f + 76, 72 - 4 = 4*g + 4*f. Is g composite?
True
Suppose 0 = 3*u - 7*u + 1588. Is u composite?
False
Suppose 0 = i - 2*i. Suppose 4*g + 5*d - 56 = 0, 5*d = 4*g - i*g - 96. Is g a prime number?
True
Suppose 0 = 3*k + 4*m - 2522, 4*k + 0*k - 4*m = 3344. Is k a prime number?
False
Let g = -1336 - -2589. Is g a composite number?
True
Let u(j) = -106*j + 27. Is u(-10) a prime number?
True
Let w(y) = y**3 + 4*y**2 + y - 3. Suppose 0 = 2*h + 2*h + 12. Let l be w(h). Is (3/l - 14)*-1 composite?
False
Let b(j) = -9*j**3 - 2*j - 1. Let s be b(-1). Let d = 25 + s. Is d a prime number?
False
Suppose 2*x = 5*h - 61, 0 = 2*x + 2*x + h + 155. Let a(n) = 10*n - 5. Let j be a(8). Let k = x + j. Is k a composite number?
False
Let l be 2*-1*223/(-2). Suppose q - 595 = -5*u, -3*u + q + l + 134 = 0. Is u prime?
False
Is 62305/15 - ((-2)/3)/(-1) a composite number?
False
Is (-4 - -5)*((-1)/1 - -2742) a composite number?
False
Suppose 3*v = -z + 2*z + 12, z - 20 = -5*v. Suppose 0*c - v*c = -100. Suppose -4*k + c = -3*k. Is k a prime number?
False
Let f(z) be the second derivative of 7*z**5/10 - z**4/6 - z**3/6 + z**2 - 2*z. Let i be f(2). Let n = i - 53. Is n prime?
False
Is -1 - -2 - 6*-363 composite?
False
Let k(s) = 3*s**3 - 7*s**2 - s + 21. Is k(4) prime?
True
Let n = -222 + 1583. Is n prime?
True
Suppose 13919 = 3*m + 26. Is m a composite number?
True
Let i be (12/8)/(1/4). Let x be (-1)/(-2) + (-255)/i. Let g = -23 - x. Is g a composite number?
False
Let f(n) = -3*n - 2. Let k be f(-2). Is (-105)/(-10)*k/6 a composite number?
False
Let d(l) = l**2 - 6*l - 7. Let w be d(7). Suppose -2*j = -q + 18, w = q + j + 3*j - 42. Suppose 7 - q = -k. Is k prime?
True
Let s be (1 + -1)/(1 - -1). Suppose s - 8 = -4*v. Let q(u) = 4*u**3 + u**2 + u - 1. Is q(v) a composite number?
False
Let o(z) = -z**2 - 7*z. Let l be o(-5). Suppose 2*c - l = -3*c. Is 897/6 + (-1)/c prime?
True
Let h(z) = -2*z - 8. Let o be h(-6). Suppose -o*k + 0*q = 4*q - 16, 4*q - 6 = k. Suppose -b + y = 3*y + 5, k*b - 22 = 4*y. Is b a prime number?
True
Suppose -3*v - 4125 = -8*v - 3*r, -r + 4135 = 5*v. Suppose -5*i - 807 - v = 5*d, 0 = -2*i + 5*d - 619. Is -2*3/(12/i) prime?
False
Let s = -690 - -1419. Let i = s - 422. Is i a prime number?
True
Let f = 4 + -1. Let q = -1 + f. Is (-372)/(-8)*q/3 prime?
True
Suppose -4*r + 1168 + 828 = 0. Is r prime?
True
Let b = 0 - -3. Suppose 104 = -b*n - n. Is 2*(n/(-4) + -1) a composite number?
False
Is 314 - ((1 - -1) + -5) a prime number?
True
Let x be 2 - -1 - (-1 - 1). Let b(a) = -a - 4*a + 0 + x. Is b(-4) a prime number?
False
Let j(l) = -124*l + 21. Is j(-4) a prime number?
False
Suppose -6 = 3*n - 561. Is n prime?
False
Let f = -12 + 20. Let q = 4 - f. Is (3 + 74/q)*-2 prime?
True
Suppose -4*f = 2*l - 446, 2*l - 224 = -6*f + 4*f. Is f composite?
True
Suppose 3*m + m = 0. Let l = 2 - m. Suppose -3*f + 2*q + 15 = 0, 6 + 2 = 2*f - l*q. Is f a prime number?
True
Let g(h) = 260*h**2 + 5*h - 22. Is g(3) prime?
True
Let g be 5/3 + (-1)/(-3). Let o = -4 + g. Is o/(-6) - (-688)/6 a composite number?
True
Let a = 9 - 9. Suppose 2*l - 3*m = 101, -2*l - l + m + 169 = a. Is l composite?
True
Suppose 2*h = 5*g - 1846, -g + 1100 = 2*g - 5*h. Suppose -2*i = 0, 0*k + 5*k - g = -5*i. Is k composite?
True
Suppose 5*h - 6 - 9 = 0. Suppose 0*b - 57 = -h*b. Is b prime?
True
Let p = -2 + 7. Suppose 4*k + 0*t - p*t - 1621 = 0, 3*t = -4*k + 1645. Is k a prime number?
True
Let v(d) = -6*d - 4*d**2 + 3*d**3 - 6 + 11*d - 4*d**3. Let i be v(-5). Is ((-7)/2)/(3/i) prime?
True
Suppose -k - 23 = 3*o - 5*k, 2*o + 22 = 4*k. Let m be (-7)/o - (-3 + 5). Suppose m*v - 56 = v. Is v prime?
False
Let b(n) = -841*n**3 + 2*n**2 - 1. Let c(s) = 840*s**3 - 2*s**2 + s + 2. Let u(m) = 3*b(m) + 2*c(m). Let p be u(-1). Suppose -j = -5*j + p. Is j composite?
False
Suppose 8*z - 921 = 5*z. Is z a composite number?
False
Let g(l) = -2*l**2 - 1 + l**2 - 3*l**2. Let s be g(1). Let b(t) = -t**2 - 6*t - 1. Is b(s) composite?
True
Suppose 5*j = j + 796. Suppose 4*t = -5*s + 23, -5*s + 10*s = 15. Suppose -t*a - 266 = -4*q, -3*q - a + j = -3*a. Is q a composite number?
False
Let l be 176/18 - (-6)/27. Suppose 3*k + t - l = 0, k - t + 0 - 2 = 0. Suppose 5*c + 49 = k*j, -2*c + c = -5*j + 111. Is j a composite number?
False
Let s be (-2 + -10)*26/(-8). Suppose -3*t = -12 - 3. Suppose -3*x - x = -q - 32, q + s = t*x. Is x prime?
True
Let k be 3 - (-3 + 2)*-1. Suppose -3*z + 134 = k*c, 4*z + 268 = -0*c + 4*c. Is c prime?
True
Suppose -2*v = -3*v + 3. Suppose 0 = 5*u - d - 5, 3*u = -v*d - 0 + 3. Is 354/(-18)*-3*u a prime number?
True
Let g = 3 + -2. Let b = 0 - g. Let l = b - -20. Is l prime?
True
Suppose -2*h + a = -h - 13, 2*h - 21 = -3*a. Suppose 3*z - 5*z + 6 = 0. Suppose 6*n = z*n + h. Is n composite?
True
Is ((-1364)/(-66))/((-2)/(-21)) a prime number?
False
Let r = 2 - 0. Suppose 0 = r*q - 0*q - 174. Is q composite?
True
Let k(n) = 61*n**2 + 2*n + 3. Is k(-4) composite?
False
Suppose -288 = 4*i - j, 2*i = 4*i - j + 144. Let u be ((-833)/14)/(2/(-4)). Let y = i + u. Is y a prime number?
True
Is -4 - (64/(-2) + -1 + 4) a composite number?
True
Let g = 265 - 181. Suppose 278 = -0*j + 2*j. Let m = j - g. Is m a composite number?
True
Let u(i) = i**2 + 2*i + 4045. Is u(0) prime?
False
Let v(o) = 20*o**2 + 4*o - 3. Let a be (-1)/(7/(-2) - -3). Let m be v(a). Suppose -5*f = 3*k - 101 - 16, 0 = 5*f - 5*k - m. Is f prime?
False
Suppose 0 = -4*l + p + p + 8626, -5*l + 3*p = -10780. Is l a composite number?
True
Suppose 0*c - 970 = -5*c. Is c composite?
True
Suppose 2*y = 1262 - 368. Is y a composite number?
True
Suppose 0*h - 4*h + 8 = 0. Let d be 25/4 - 1/4. Is (h - d)/((-4)/6) a prime number?
False
Let n be 5 + -5 - 1*-99. Is (28/6)/(6/n) a composite number?
True
Is (-1757)/(-35)*(-1 - -6) prime?
True
Suppose 24 = 13*u - 9*u. Suppose u = -3*n, -3*h + 8*h = 3*n + 2081. Is h prime?
False
Let j = 1440 + -1027. Is j composite?
True
Let w = 325 + -26. Is w a prime number?
False
Let o(q) = 135*q + 8. Is o(3) a prime number?
False
Let c be (-2)/9 + 835/(-9). Let t = 68 - c. Is t composite?
True
Let i = 322 - -258. Suppose 0*c + i = 4*c. Is c a prime number?
False
Let u be 1 - 6/(2 - 0). Let c be u + 9*(-10)/(-3). Suppose -67 = -5*k + c. Is k composite?
False
Let g be 2/7 - (-51)/(-7). Let d = g - -7. Is d - (-2)/(2/7) prime?
True
Is (-10)/4*-6*1 composite?
True
Let s(v) = -2*v**2 - 29*v - 1. Let h(d) = 3*d**2 + 43*d + 1. Let r(p) = 5*h(p) + 8*s(p). Is r(-7) a composite number?
False
Suppose 2*o = 3*o. Suppose 4*a + 4 = 5*z - 21, o = -2*a - 2*z + 10. Let g = a - -15. Is g composite?
True
Let l be 7*((-1752)/(-21) - 2). Is (9/27)/(2/l) a prime number?
False
Let i(t) = 2*t + 9. Let d be i(-7). Let k = 32 - d. Is k composite?
False
Let u be (-1 + 1)/(-2) + 4. Suppose -5*x - 64 = -u*t, 5*t + 2*x + 3*x = 125. Suppose 5*k - 91 = -t. Is k a composite number?
True
Let m = 