r/4 - 3/(-12). Suppose k = -2*t + 7*t - 565. Is t a prime number?
True
Let o(n) = -8*n - 7. Let g(y) = -1. Let q(d) = 4*g(d) + o(d). Is q(-11) prime?
False
Is 1*-2*(-3 - (-610)/(-4)) composite?
False
Let s = 0 + 3. Let y = 8 - s. Suppose 5*g - 448 = t, -y*g - 2*t - 2*t + 433 = 0. Is g composite?
False
Is (3 - 6/3)*163 composite?
False
Let b(s) = s**3 - 7*s**2 + s - 7. Let q be b(10). Suppose -2*t + q = -5*t. Is 1/3 + t/(-3) prime?
False
Let p(j) = j**3 + 9*j**2 + j + 6. Suppose x + 20 = -x - 2*h, x + 4*h = -19. Let i be p(x). Let d = i + -12. Is d prime?
False
Is 0/(6 - 2) + 155 prime?
False
Suppose 5*k - 5*r - 184 - 36 = 0, -97 = -3*k - 4*r. Is k prime?
False
Let j = 452 - 34. Suppose j = i + i. Is i a prime number?
False
Let p = 0 + 0. Suppose -2*v + p = -6. Suppose -68 = -v*n + 91. Is n prime?
True
Suppose -2*g + 2*x = x - 28, 28 = g - 4*x. Is 939/g + (-3)/(-4) a composite number?
False
Let j = 118 - -105. Is j composite?
False
Let b(k) = 15*k**2 - 10*k + 10. Is b(-9) a composite number?
True
Let z = 1495 - 1052. Is z composite?
False
Let r = -327 - -920. Is r a prime number?
True
Let y = -823 - -1794. Is y a composite number?
False
Let s = -389 + 1069. Suppose -s = -3*v - 2*v. Suppose 0 = -w - 4*r + 85, w - 5*r - v = -51. Is w prime?
False
Suppose 2*n + 0*n + 5*w - 2 = 0, -5*n - 5*w = 10. Let c be n - -2 - (-12)/3. Let k(t) = 7*t + 1. Is k(c) composite?
True
Let g(u) = 6 - 33*u - 1 - 3. Let x(d) = 34*d - 3. Let p(s) = 6*g(s) + 5*x(s). Is p(-2) composite?
False
Let u be 1*-1 - (-135 + -4). Suppose -4*t + t = -u. Is t a composite number?
True
Let s be (-1)/(4/(-144)*-3). Let h(q) = -q**3 - 4*q**2 - 14*q + 17. Is h(s) a composite number?
True
Suppose -z + 59 = -2*z - 2*w, -337 = 5*z - 4*w. Let m = z + 192. Is m composite?
False
Let v(h) = -h**2 - 9*h. Let d be v(-6). Suppose 0 = i - d + 4. Is i prime?
False
Suppose 5*j - 36 = j. Let o = 436 + j. Is o prime?
False
Let u(y) = y**2 - 2*y. Let c be u(2). Suppose 2*r = 2*x - 776, c - 8 = -2*r. Suppose 2*p - 5*n = -103 + 246, -5*p + x = -n. Is p a composite number?
False
Let y be -6 + 8 - (1 + -1). Is 673/y + 2/4 composite?
False
Let o(y) = y**3 + 7*y**2 - y - 2. Let w be o(-7). Let i = w + 2. Suppose 73 = 3*k + i. Is k a composite number?
True
Let b(i) = i - 2. Let q be b(10). Let n(d) = d**3 - 8*d**2 - d + 11. Let v be n(q). Suppose 5*o = v*m - 61, -2*m + 89 = 2*m + o. Is m composite?
True
Let j(n) be the second derivative of -n**5/20 - n**4/4 - n**3/6 - 3*n**2/2 + n. Let y be j(-3). Suppose -a + 3 = -y*a. Is a prime?
True
Suppose 6*x = x + 5*w + 4185, -5*x + 4189 = -3*w. Is x prime?
True
Let q(o) = 2*o**2 - 8*o + 1. Let x = 20 + -11. Is q(x) prime?
False
Let f = 0 + 1. Let k be (-8)/2 + (1 - f). Is (12/(-9))/(k/30) composite?
True
Suppose 0 = 3*j - 5*u - 1805, 3*j - 3*u + 2*u = 1789. Suppose -s - 4*s + j = 0. Is s prime?
False
Suppose 61 + 287 = 4*g. Is g composite?
True
Let z(j) = 42*j - 1. Let p be z(3). Suppose -3*n - 33 - 51 = 0. Let r = n + p. Is r composite?
False
Suppose 0*s = 2*s - 4. Suppose -l = -0*l - s. Let k = 12 - l. Is k composite?
True
Suppose 5*q - 100 = 115. Is q a prime number?
True
Is 1757/21 - (-4)/(-6) composite?
False
Let j(l) = 2*l**3 + 3*l**2 + 4*l - 7. Is j(6) composite?
False
Let t be 2 + (2 - 0/3). Suppose t*d = 5*i - 233, -i + d + 3*d = -37. Is i a prime number?
False
Let t be (-4 - 0)*27/4. Suppose -6*u = -u - 250. Let p = t + u. Is p prime?
True
Let w(p) = 1 + 56*p + 17*p - 4*p - 10*p. Let s = 5 - 3. Is w(s) a prime number?
False
Let j(t) = t**3 + 10*t**2 + t - 7. Suppose 5*h + 15 = -20. Is j(h) composite?
True
Let k(c) = -1056*c**3 - c**2 + c + 1. Is k(-1) a composite number?
True
Suppose -3*d = -3*z + 15, -2*z + 2*d = 4*d + 10. Suppose z = 6*w - 2*w - 12. Suppose 0 = 3*y + 3*k - 150, -w*y = 2*k - 6*k - 157. Is y composite?
True
Suppose -6*w - 5 = -7*w. Suppose w*p = 6*p - 5. Suppose -5*c + 215 = 4*y, c = p*y - c - 277. Is y prime?
False
Let a = -128 - -181. Is a a composite number?
False
Suppose -f + 190 + 153 = 0. Let a = f - 166. Is a a prime number?
False
Let o(w) = w**3 + 8*w**2 + 5*w - 9. Let s be o(-7). Suppose -s*g - 6 + 61 = 0. Is g a composite number?
False
Is ((-18)/(-15))/((-4)/(-70)) composite?
True
Let s = -13 - -20. Let c be (s - 2)*(0 - -1). Suppose 0 = -3*p + 4*n + 119, 4*p + c*n - 4*n = 146. Is p a composite number?
False
Suppose 5*o + 10 = 5*g - 5, 4*o = -3*g - 5. Suppose -4*l = i + g - 11, 0 = 4*i - 3*l + 17. Let t = 27 + i. Is t prime?
False
Suppose -60 = -0*q - 5*q. Suppose 5*g - 527 = -q. Is g composite?
False
Let m be (-25)/10 + (-1)/(-2). Let s be (0 + 93)*m/(-3). Is ((-2)/1)/((-4)/s) prime?
True
Let t(n) = -8*n + 5. Let m(d) = d**3 + 7*d**2 + 8*d + 8. Let b be m(-6). Is t(b) composite?
False
Is ((-2)/(-4))/(6/8484) a composite number?
True
Suppose -4*o - 1 + 9 = 0. Suppose -260 = -6*d + o*d. Is d prime?
False
Is (8/(-12))/(2 - (-1148)/(-573)) a prime number?
True
Let f be (-185)/(-35) - 4/14. Suppose 3*g - 2 = -3*i + 19, 2*i + f*g - 20 = 0. Suppose 2*z - p = 2*p + 77, 5*p = -i. Is z composite?
False
Is -3 - (4 - (-56)/(-12))*1977 a prime number?
False
Let f be -2*((-1676)/8 - -4). Suppose 4*d - 3*c = 1230, 4*d - 823 - f = c. Is d a prime number?
False
Let q be 4/2 - (-12)/2. Let w be (q + -3 + 3)/2. Suppose -263 = -w*z + 45. Is z a composite number?
True
Let z(k) = 28*k - 21. Is z(11) prime?
False
Suppose d + k + 0*k - 8 = 0, -2*d - 5*k + 25 = 0. Suppose y - d = -z, y = 2*y. Suppose 7*r = -z*p + 3*r + 117, -102 = -4*p + r. Is p composite?
True
Suppose j = 2*i + 60, -2*j + 3*i + 62 = -55. Let k = j - -115. Is k a composite number?
True
Suppose -4*d = 2*x - 6, x + 4*d - 6 + 3 = 0. Suppose 0 = -s - x + 6. Suppose -2*p = -4*f - 10, -4*f = 2*p + s*p - 67. Is p a prime number?
True
Let h(w) = w**3 - 5*w**2 - 5*w - 1. Let c be h(6). Suppose -5*j = 5*l - 620, j = -l + c*l - 491. Is l composite?
True
Let m(n) = 2*n**2 - 5*n + 6. Let d be (-16)/(-40) + (-33)/(-5). Is m(d) composite?
True
Is -1 + 5 + (8 - -661) composite?
False
Suppose 3 = -3*x - 6. Is 33*(-1)/x*1 prime?
True
Let l be 2*(-1)/(6/99). Is 6/l - 7638/(-22) composite?
False
Let m(x) be the second derivative of -x**4/12 - x**3/6 + 7*x**2/2 + x. Let r be -3 - (-6)/((-6)/(-3)). Is m(r) a composite number?
False
Let v(x) = x**2 - 19*x - 14. Let l be v(16). Let y = 99 - l. Is y a prime number?
False
Suppose -m - 11 = -3*b, -3 = m - 2*b + 3. Let o = m - 1. Let a = 4 + o. Is a prime?
True
Let h(t) = -t**2 - t - 5. Let b(c) = c. Let r(k) = 2*b(k) - h(k). Let o(z) = z - 5. Let a be o(0). Is r(a) a composite number?
True
Let a = 51 - -15. Suppose r + 2*r = a. Is r prime?
False
Let u(h) = 15*h + 10. Is u(9) prime?
False
Let q be (-48)/(-22) - 6/33. Let g be (-4)/3*(-3)/q. Suppose 0 = 2*r + 5*j - 151, 3*r + 2*r - 421 = g*j. Is r a composite number?
False
Suppose 5*i - 22 = 6*i. Let c = 55 - i. Is c prime?
False
Let z = -237 + 386. Is z composite?
False
Let v(q) = 1. Let y(f) = -f + 46. Let d(w) = 3*v(w) + y(w). Let n be d(0). Suppose -123 = -2*h - n. Is h a prime number?
True
Let r(k) = 3*k**2 + 8*k + 2. Let f = 14 - 20. Is r(f) prime?
False
Suppose -4*n = -3*k + 456, -k + 731 = 4*k + 3*n. Suppose -k = -s - 3*s. Is s composite?
False
Let j be (-66)/(-24) - (-2)/8. Suppose -j*c + b = -6*c - 13, -5*c = -2*b + 40. Let h(f) = -f**3 - 4*f**2 - 1. Is h(c) prime?
True
Suppose 3508 = 5*d - 7507. Is d a prime number?
True
Suppose 0 = 4*s + 4*b - 2204, 3*b = -2*s - 0*b + 1100. Is s prime?
False
Suppose 6 = m - 4*m. Let l be (-1)/m + 765/6. Let n = -37 + l. Is n prime?
False
Let v be (3*2/3)/2. Let b be (-12)/(v - -1) - 1. Let a(y) = -18*y + 1. Is a(b) composite?
False
Suppose -i = -2*i - 7. Is (i/2)/((-2)/244) prime?
False
Let l(t) be the third derivative of t**8/5040 - t**7/840 - t**6/144 + t**5/30 + t**2. Let b(u) be the third derivative of l(u). Is b(-4) a composite number?
False
Let l be (-1 + -45 + -1)*2. Is (l/(-3))/((-4)/(-6)) a prime number?
True
Suppose -4*s - 284 = -h, s + 0*s + 50 = -5*h. Let u = 4 + -7. Is (0 + u)*s/6 composite?
True
Let k(u) be the third derivative of -u**5/60 + u**4/3 - u**3/3 + 4*u**2. Let m be k(8). Is (-3)/(m/(3 + 59)) prime?
False
Let d = -6 + 11. Suppose 5*w - m = -2*m + 630, -d*w + m = -640. Is w prime?
True
Let s be -9 + (-2 - (-7 + 2)). Let g = s - -14. Suppose g*u 