 + 37. Let x(w) = -4*w**2 - 2*w + 12. Let t(f) = -3*k(f) + 8*x(f). Is t(-8) composite?
True
Let q(l) = l**3 - 4*l**2 - 6*l - 1. Let n be q(5). Is (-604)/(-8) - n/4 prime?
False
Suppose -u = 5*u - 6834. Is u prime?
False
Let u = 2 + 1. Suppose 0 = 2*k + 3*m - 454, u*k = -4*m + 328 + 355. Is k prime?
True
Let k(a) = a**3 + 10*a**2 + a + 14. Let u be k(-10). Suppose -u*s - s = 15. Is -3 + 474 + s - 1 a composite number?
False
Let d be 2 - (-4 - 2/2). Is 6/(-21) + 499/d a prime number?
True
Let b = 16 - -22. Suppose -b = -0*q - 2*q. Is q prime?
True
Let q(u) = u**3 - u**2 + u. Let t(r) = r**3 - 3*r**2 + 4*r - 3. Let f(p) = 2*q(p) - t(p). Is f(2) a prime number?
True
Let i(j) = 10*j + 7. Let g(c) = -3*c - 1. Let a be g(-5). Let l = a + -8. Is i(l) a composite number?
False
Let i = -54 + 37. Is 2*(3 + -2) - i a composite number?
False
Let r be 48/(-15) - (-2)/10. Let d(v) = -15*v - 1. Let p be d(r). Let l = p + -11. Is l a composite number?
True
Suppose 2*x = -2*x + 152. Suppose -5*p = q - 2*q - 68, -2*p - 5*q = -x. Is p a composite number?
True
Suppose -3*s + 4*f + f = 1, 0 = -s - 5*f + 13. Suppose 2*j - s = -j. Is 66 - (1/j + -2) a prime number?
True
Suppose 6*r - 1466 = -320. Is r a composite number?
False
Let o(m) = -2*m**2 - 3*m - 2. Let t be o(-2). Is (-5 - t)/((-1)/33) a composite number?
True
Let g(f) = -f**3 + f**2 + f + 7. Suppose -4*q + 8 = 3*p + 23, -5*p - 25 = -q. Let h be g(q). Suppose -5*k = x - h - 21, -128 = -4*x - 4*k. Is x prime?
False
Suppose 2*v - 7*v = -725. Is v a prime number?
False
Suppose 7*p + 60 = 3*p. Suppose 5 = x + 4*h, 5*x + h - 54 - 66 = 0. Let g = p + x. Is g prime?
False
Let b = 152 - 51. Suppose 3*w - b = 10. Suppose 2*s = -6*c + 3*c + 101, w = c - s. Is c prime?
False
Let x = 1 - -2. Suppose 5*m + 4 = -x*n, n - m = 3 + 1. Suppose -357 = n*d - 5*d. Is d a composite number?
True
Suppose -100 = 3*q + 2. Let g = 2 + q. Let d = g + 55. Is d a prime number?
True
Suppose -4*c = 5*a + 9, -2*c + 6*c + 3*a + 7 = 0. Suppose 4*j = 9*j + 10. Is -2 - (c + -45 + j) composite?
True
Let k(u) = u**2 - 1. Let f be k(-2). Let n(o) = 9 + 3*o + 0 + 4*o**2 - f*o**2. Is n(-7) a composite number?
False
Is 4205/3 + (-56)/84 a composite number?
True
Suppose -v = 3*t - 979, 3*t + 3*v - 1251 = -270. Is t composite?
True
Suppose -7 + 1 = -2*u. Suppose -2*t = -u*t + 2. Suppose 5*d + 4*x - 1445 = 0, -2*x = t*d + 45 - 621. Is d a prime number?
True
Let h be 124/(-2)*(-7)/14. Is h*(-2)/(-4)*2 composite?
False
Let w be 1 - 2 - (0 - 599). Suppose 4*h - w = -0*y + y, -440 = -3*h + 5*y. Suppose 4*d + g - h = 3*d, -g - 148 = -d. Is d a prime number?
True
Is (-1101)/(-2) - 2/(-4) a prime number?
False
Let r = -8 + 47. Let j = 170 - r. Is j a prime number?
True
Let h = -5 + -2. Let d(g) = -43*g - 8. Is d(h) a prime number?
True
Let u(k) = k + 2. Let f be u(-2). Suppose f = b - 6*b. Suppose b = 5*w + 5*p - 120, -3*w - 19 + 85 = p. Is w prime?
False
Suppose -4 - 24 = -4*m - 4*c, 20 = 2*m + 4*c. Suppose -3*z - m*n = -19, 2*z - n = -2*n + 6. Is 192 - (2 + (0 - z)) prime?
True
Let i(s) = 6*s. Let v be i(1). Suppose 0 = -2*o - 3*t - v, -o - 3*t + 0*t - 9 = 0. Suppose -m = -o*m + 178. Is m a composite number?
False
Suppose -4*p + 84 = b - 5*b, -p = -3*b - 61. Let d = b - -87. Is d a prime number?
True
Let b(k) = k**3 + 6*k**2 + k + 8. Let r be b(-6). Suppose -q - 458 = -r*q. Suppose 4*c + 5*o - q = 755, 0 = -c - 5*o + 292. Is c prime?
True
Let i(z) = 20*z**3 + z**2 + z + 1. Suppose -4*j - 4*w = -16, 5*j + 38 - 8 = 5*w. Let y be i(j). Let h = y + 38. Is h a prime number?
True
Let g(u) = 2*u**3 - 5*u**2 + 10*u - 11. Is g(4) a composite number?
True
Is 59585/35 - 4/(-7) prime?
False
Let n be (24/9 + -2)*-6. Let v(l) = 12*l + 2. Let z be v(n). Let w = -32 - z. Is w a composite number?
True
Let m(r) = 5*r**2 + 2*r + 5. Let p(f) = -11*f**2 - 3*f - 10. Let l(o) = -9*m(o) - 4*p(o). Let g be l(-4). Let q = 6 - g. Is q prime?
True
Let j = -131 + 544. Is j composite?
True
Let l(g) = 476*g. Let u be l(-2). Let m = 1430 + u. Suppose 3*x - s - m = 0, x - 5*x + 669 = 5*s. Is x a prime number?
False
Let n be (0/2)/(-2) - -4. Suppose -n*k = g + 9, -4*k - 5*g = -3 - 0. Is 47 + 0 + k + 3 a composite number?
False
Let p = 8720 - 4111. Is p a prime number?
False
Let q(f) = f**2 - 5*f - 2. Let l be q(6). Suppose 19 = l*h - 3*h. Is h a composite number?
False
Is 3928/6 - (-5)/15 a prime number?
False
Suppose -r = -5*r. Suppose r = 2*o + b - 407, 5*o - 3*b + 642 = 1676. Is o composite?
True
Let a(k) = 2*k**2 - k + 1. Let d be a(1). Let r be ((-3)/d)/(12/16). Is (0 - -1)*(-22)/r a prime number?
True
Suppose 2 = 4*r + 6. Let h(v) = -v + 1. Let a be h(r). Is a + (-1 + -1 - -7) prime?
True
Suppose -2*s - 4 = -4*s, -5*s + 345 = 5*v. Suppose -3*o = -5*o. Is v/(0 + 1 + o) a composite number?
False
Suppose k = -3*u + 3*k + 52, 2*u + 3*k - 13 = 0. Is u prime?
False
Let h be (-6)/2*-1 - -1. Suppose -5*u + h = 3*a, 0 = -5*u + 2*a - 8 + 22. Is 68/7 - u/(-7) a composite number?
True
Suppose -r = -4*i - 2*r - 1130, -5*i + r - 1408 = 0. Let n be (i/4)/((-12)/(-16)). Is 5/(((-8)/n)/4) prime?
False
Suppose i - 5*n - 2738 - 1441 = 0, 4*i - 3*n = 16682. Is i a composite number?
True
Let b be (-12)/66 + 1102/11. Let l = b - 29. Is l prime?
True
Let f = -12 - -17. Let c = 523 - 313. Suppose f*o = 4*a - c - 132, 3*a = 3*o + 255. Is a a prime number?
True
Let n = -11 + 5. Let k(s) = 8*s**2 + 8*s - 5. Is k(n) a composite number?
True
Let v(h) = h**2 - 2*h - 3. Let z be v(4). Suppose -3*n + 502 = z*b, 0*b = 4*b + 3*n - 404. Let y = -61 + b. Is y prime?
True
Let y be 6/15 + (-13)/(-5). Suppose -43 = y*m - 4*m. Is m composite?
False
Suppose 2*o + 5*x = 159, -2*x - 168 = -2*o - 4*x. Suppose b + 0*r = r - 45, -5*b - 235 = -3*r. Let a = b + o. Is a composite?
False
Let v(b) = 3*b**2 - 2*b + 1. Let i be v(1). Suppose 5*w - i*w = -96. Is -2 - (-1 + 0 + w) prime?
True
Let t = 3865 + -614. Is t a prime number?
True
Suppose -4*d = -5*m + 401, 3*d + 0*d = -5*m + 373. Is m a prime number?
False
Let v = 238 - 83. Is v prime?
False
Suppose 5*w = 2*v + 1224, -w - 5*v + 507 = w. Suppose 5*m - 24 + 73 = j, -5*m = 4*j - w. Is j a composite number?
False
Let f(y) = y + 5. Let s be f(-3). Suppose 0 = 3*k - 2*k - 85. Suppose -v = -s*v + k. Is v prime?
False
Let m = 576 + -19. Is m composite?
False
Let g(o) = -29*o + 7. Let i(p) = -87*p + 22. Let s(h) = 7*g(h) - 2*i(h). Let q = 1 - 5. Is s(q) composite?
True
Suppose -4*d - d + u + 636 = 0, 2*u = -2. Is d prime?
True
Let s = -4 + 6. Suppose 5*w = -f - 80 + 555, 4*f + s*w - 1936 = 0. Is f a composite number?
True
Let i be (7/(-5) - -1) + (-96)/10. Let h(z) = z**3 + 2*z**2 + z - 2. Let j be h(-2). Is j/i - 1426/(-10) composite?
True
Let n(b) = -b. Let v be n(1). Let z = v + 1. Suppose 3*o + 0*o - 18 = z. Is o a prime number?
False
Let a = -3 - -2. Let u be (-160 - -4)*(-3)/2. Let h = u + a. Is h a prime number?
True
Let q be 1/3 + 2/(-6). Is 1 + 129 + (q - 3) prime?
True
Suppose 2*h = 10, -5*t - 20 = -4*t - 4*h. Suppose -s = -3*n - 214, 5*n = 3*s - t*n - 630. Is s a prime number?
False
Let n(l) = -l**2 + 6*l - 3. Let h be n(3). Let g be ((-8)/h)/((-4)/102). Suppose b = 5*r + 33, g = 2*b - 0*b - 2*r. Is b composite?
False
Suppose q + p = 6, 2*q - 1 = -4*p + 19. Suppose -10 = -5*d, q*c + 3*d = c + 8. Suppose 2*m + c*m - 268 = 0. Is m prime?
True
Let q = 3820 - 2279. Is q a composite number?
True
Let q(n) = -75*n + 17. Let r(l) = 38*l - 9. Let k(j) = 6*q(j) + 11*r(j). Is k(-11) prime?
False
Let j = -162 - -227. Is j a prime number?
False
Suppose -40 = b - 5*f, -5*b + 3*f - 273 = -7. Let k = b - -135. Suppose -2*u + k = -14. Is u composite?
False
Suppose 4*p - 1346 = 2*p. Is p a prime number?
True
Let d = 2077 + 72. Is d prime?
False
Let g be (-1)/(((-15)/(-6))/(-5)). Suppose -101 = -j - 2*j + g*x, 0 = -3*x + 15. Is j a composite number?
False
Let c = 0 - -5. Suppose 2*y + 2 + 0 = 0, c*j + y - 2344 = 0. Is j a composite number?
True
Let o(d) = d**2 - 9*d + 4. Let i be o(9). Suppose -2*g + 11 = 5*f, f + 17 = 6*f + 4*g. Is (i/(-12))/(f/(-57)) composite?
False
Suppose 2*r - 15 = -r, 0 = h + 2*r - 10. Let g be (-105)/(-18) - 3/(-18). Suppose h*z + 2*z + g = 0, -z = -2*o + 109. Is o composite?
False
Let j = 2 + -1. Let x be j/(-3) - 1084/(-12). Suppose x = 5*z - 5*l, 5*z - 3*l = -4*l + 