 -798 - -1255. Is h prime?
True
Suppose 4*b + 2 = 3*r + 3, -5*b + 4*r = 0. Suppose 9 = b*i - 3. Suppose i*f + 3*q - 54 = 0, -43 + 10 = -f - 4*q. Is f prime?
True
Let g be (-2)/10 - (-7557)/(-15). Let o = g + 707. Is o prime?
False
Is 56/(-70) - 39748/(-10) prime?
False
Let m be 4/(-10) + (-2)/(-5). Suppose m = -3*l + x + 371, 7*x = 4*l + 3*x - 500. Is l a composite number?
True
Let v(l) = l**2 - l + 2*l + 89 + 0*l**2. Suppose 10*d - 2*k = 5*d + 8, 0 = -5*d + 3*k + 12. Is v(d) composite?
False
Let h(y) = 68*y**2 - 12*y + 27. Is h(8) a composite number?
False
Let k(d) = -9*d - 3. Let a(o) = 10*o + 4. Let x(j) = 2*a(j) + 3*k(j). Let h(q) = -2*q**2 - q + 2. Let w be h(2). Is x(w) a prime number?
False
Let x(u) = u**3 - 7*u**2 - 8*u + 3. Let c be x(8). Suppose r = c*r - 106. Is r composite?
False
Suppose s + 3959 = 3*i, 5*i + s - 6587 = -3*s. Is i a prime number?
True
Let h(t) = -6 + 2*t + 12 - 1. Let b be h(4). Suppose -b = -2*q + 29. Is q a composite number?
True
Let i = -3 + 1. Let s(y) = -212*y**3 + 2*y**2 - 2*y - 3. Let g be s(i). Suppose 0 = -2*v + 7*v - g. Is v prime?
False
Let p be 0/((-4)/(1 + 1)). Suppose -335 = -f - p*f. Is f prime?
False
Suppose 0*r + 4*r + 804 = 0. Let m = r + 404. Is m composite?
True
Suppose -5*q = -3*q - 3722. Is q composite?
False
Suppose 2*q - 5*l = 550, 4*l + l - 590 = -2*q. Suppose z + 2*z = q. Suppose 3*k - z = 16. Is k prime?
True
Let x = 36 + 122. Is x prime?
False
Let j(i) = -i**3 - i - 23. Let n be j(0). Let q(a) = 2*a**2 + 6*a - 2. Let b be q(5). Let m = n + b. Is m a composite number?
True
Let m(p) = -16*p + 5. Let f be m(-4). Let r = f - -58. Is r a composite number?
False
Let k = 47 - 107. Is 5*(-2 - k) + 3 a composite number?
False
Let z(x) = 2*x**2 + 7*x - 4. Let a = -17 - -11. Is z(a) a prime number?
False
Suppose 0 = -4*a - a. Suppose -4*k = -h - 40, a = -k + h - 8 + 21. Suppose 55 - k = 2*d. Is d a prime number?
True
Suppose n = -4*r + 759, -5*r = 2*n - 373 - 572. Is r composite?
False
Let t be 32 - (-1 + -3 + 1). Suppose 0 = -3*x + 2*x + p + t, x = -5*p + 47. Is x a composite number?
False
Let h = 125 - -788. Is h a prime number?
False
Suppose r - 4*m - 8 = -0, -4*r + m + 2 = 0. Suppose r = g - 4*g - 5*f + 420, 2*f + 586 = 4*g. Is g a prime number?
False
Let q be (638/6)/(3/(-9)). Is 0 + 0 - (q - 2) prime?
False
Let r(d) = 2*d**3 - 8*d**2 - 4*d - 1. Let u be r(6). Suppose 3*s = -2*x + 317, -s + 0*x - 4*x + u = 0. Is s a prime number?
True
Suppose -144 = 4*h - 0*h. Let p = -26 - h. Is p composite?
True
Let d = -170 - -473. Is d composite?
True
Let w(f) = -f**3 - f**2 - 1 + f - 3*f**2 - 2*f + 4*f. Suppose -4*y + 7*y = -18. Is w(y) a prime number?
True
Let j be (2/3)/(1/3). Is (j + -5 - -216) + -2 composite?
False
Let t(y) = 4*y - 9. Let z(o) = o**3 + 6*o**2 + 2*o**3 - 4 - 4*o**3 + 9*o. Let x be z(7). Is t(x) a composite number?
False
Let s(v) = 2*v**3 - 7*v**2 + 8*v - 9. Is s(6) a composite number?
True
Let s = 19 + -37. Let j be 12/s - (-28)/6. Suppose -j*g + 57 = -g. Is g prime?
True
Let l = 1719 + -1012. Is l a composite number?
True
Let j(x) = -4*x - 1. Let r be j(-2). Let t = r + -3. Suppose -5*c + w + 615 = -4*w, 3*w = -t*c + 492. Is c prime?
False
Suppose -3*z - j + 404 = 0, -3*j = z - 0*j - 140. Is z a composite number?
True
Let h = -55 - -320. Is h a composite number?
True
Let o be 0 - -4*(-4 + -1). Let a = 115 + o. Is a a composite number?
True
Suppose 2*g + 4*l = -4, -2*g + 5 = -5*l - 18. Suppose -4*q + g*b = -52, 5*b = -0*b. Is q prime?
True
Suppose -17 = -4*v - m, -5*v + 9*v - 4*m = -8. Suppose -v*q = 2*q - 785. Is q prime?
True
Let a be 213/12 + (-2)/(-8). Suppose -z + 157 - a = 0. Is z a prime number?
True
Suppose -4*b + 6 = 3*g - 18, 4*b - 12 = 0. Suppose 3*k - 5*x = g*k + 134, 2*k = -x - 241. Is (0 - 0)/(-3) - k a composite number?
True
Let r = 242 + -123. Suppose 113 = 4*z - r. Let w = -39 + z. Is w a prime number?
True
Let f = 17 - -19. Suppose j - 19 = f. Is j composite?
True
Let c(v) = 44*v**2 + 3*v - 2. Let y be c(-3). Let a be (-2*3)/((-3)/2). Suppose 0 = -a*q - 9 + y. Is q composite?
True
Suppose 2*r - 24 = -2*r. Let j be 2 + -5 + r/2. Is 21 - -5 - (1 - j) composite?
True
Suppose 2*j - 139 = j. Is j a composite number?
False
Let i(x) = 5*x + 2. Is i(15) a prime number?
False
Let y be (-18)/4 - (-3)/(-6). Let g be 1 + -1 - 5/y. Let b = g - -58. Is b prime?
True
Let w(l) = 47*l - 3. Is w(2) a prime number?
False
Suppose 3*d = 8*d + 15, -2*d = -4*k + 1042. Is k a composite number?
True
Suppose -3*a - 70 = -4*a. Suppose 5*v = q + a, -28 = 3*v - 5*v + q. Is v composite?
True
Let u = 5 - 2. Is -91*2*u/(-6) composite?
True
Let d be -121*2/(2 + 0). Let p = -26 - d. Is p prime?
False
Suppose i - 1938 = -5*i. Is i prime?
False
Let l = 428 + -297. Is l a prime number?
True
Suppose -4*k = 3*q - 2369, -3*q - 3809 + 841 = -5*k. Is k a composite number?
False
Let n = -3 - -6. Suppose 15 = -3*f, -73 = -5*p - n*f + 167. Suppose 3*c - p = 12. Is c a composite number?
True
Is (-8)/(-28) + (-8961)/(-21) a composite number?
True
Suppose g - 3*g - 14 = 0. Let i = 20 - 7. Let y = g + i. Is y a prime number?
False
Let s be 1 + (-3 + 2)*4. Let p = -3 + s. Let k = p + 59. Is k composite?
False
Let b(x) = x**2 + 2*x. Let s be b(-1). Let r(i) = -i - 1. Let w be r(s). Suppose w = 2*j - 4*j + 154. Is j composite?
True
Suppose -m = -5*r - 15, 0 = -4*m + m - 4*r - 12. Let z be 514/(-4)*(2 - m). Let t = -78 - z. Is t a prime number?
True
Let x(u) = -13*u + 12. Is x(-22) composite?
True
Let u = -457 + 644. Is u prime?
False
Let j = 11 + -9. Suppose -k + 174 = j*k. Suppose -x = 4*x - 4*c - k, 4*x = 3*c + 47. Is x prime?
False
Suppose 0 = 5*f - 92 - 843. Is f prime?
False
Let f(r) = -r**3 - 3*r**2 + 4*r + 2. Let s be f(-4). Let y(h) = 6*h + 3*h + 0*h + s + 2*h. Is y(5) a composite number?
True
Let t be (2 + -1)*(1 + -1). Is 148 + (0 - (t - -3)) a prime number?
False
Suppose -4*j = -3*j + x - 30, -j + 46 = 5*x. Let p = j + -16. Let n = p - -9. Is n a prime number?
True
Let n(m) = 50*m - 1. Is n(3) a composite number?
False
Let a = 956 + -105. Is a composite?
True
Let n = -20 + 79. Is n prime?
True
Suppose c + 91 + 699 = 5*b, -5*b + 4*c = -805. Is b prime?
True
Let m(f) be the first derivative of -f**3/3 - 29*f**2/2 - 17*f - 7. Is m(-12) a composite number?
True
Suppose -5*y - 221 = -2*o - 27, 5*y + 188 = -o. Is 2/4*-2 - y prime?
True
Let f be 2 - 5 - (0 + -4528). Suppose -f = -6*o + o. Is o a prime number?
False
Is 3/(-5)*(-54 + -1) prime?
False
Suppose 0 = 6*i - 96 - 870. Is i composite?
True
Suppose -5*i + 1 + 54 = 0. Is i a prime number?
True
Let l(v) = 1465*v**2 - 7*v - 7. Is l(-1) a composite number?
True
Let b(o) = 15*o**2 + o. Let h be b(1). Let m = -30 + h. Is (-326)/(-14) + 4/m prime?
True
Suppose 4*i = 6*b - b + 720, -4*i - 5*b + 720 = 0. Let u(z) = 11*z - 9. Let k be u(6). Suppose -k = -3*l + i. Is l prime?
True
Let v(h) = -25*h - 17. Is v(-4) prime?
True
Suppose 3*o - 5*h = 571, 247 + 319 = 3*o - 4*h. Let j = o - 51. Is j prime?
True
Is (1396 + 9)*(-2)/10*-3 prime?
False
Is (66/(-18))/((-1)/381) prime?
False
Let y = 2151 + -1264. Is y prime?
True
Suppose -25 = -q - s - s, 3*s - 97 = -5*q. Suppose q = -5*p - 8. Let x(j) = j**3 + 8*j**2 + 3*j - 1. Is x(p) a composite number?
False
Let z(y) = -32*y**3 - y**2 - 2*y + 1. Is z(-2) a prime number?
True
Let s = 7 - 7. Suppose s = 3*j + m + 5, 4*j + m + 2*m = 0. Is 93 + -3 + j - 2 prime?
False
Is (401 - (-2 - -6))*1 prime?
True
Let l be -4 + 6 - (1 - -9). Let x = 77 - l. Suppose -m - 2*f + x = 2*f, f + 1 = 0. Is m a prime number?
True
Is (-175824)/(-45) - ((-3)/(-15) + 0) composite?
False
Let g(t) = -t + 6. Let j be g(0). Let w(z) = 5*z + 3. Let m be w(j). Suppose 0*s = -3*s + m. Is s a composite number?
False
Let v = -482 - -747. Let y = v + -119. Is y a prime number?
False
Let n = -46 + 137. Is n composite?
True
Let u = 15 + -8. Is u a prime number?
True
Let q(b) = 6*b**3 - 4*b**2 + 2*b + 2. Is q(3) a composite number?
True
Let y(a) = -a**3 + 3*a**2 - 4*a + 1. Is y(-5) composite?
True
Let o = -2 - -6. Let h = 355 + -244. Suppose j - o*j = -h. Is j composite?
False
Let r(z) = -25*z**2 - 3*z. Let k be r(-2). Is (k/(-3))/((-10)/(-15)) composite?
False
Suppose 0 = -3*b + 5*t + 12, 0 = t - 3*t. Let r(d) = 23*d - b - 1 - 1 + 4. Is r(5) prime?
True
Suppose 16