+ v, 0 = -5*u - 5*o + 185. Is u a prime number?
True
Let m be 4 + -2 + (-2 - -2). Suppose -m - 10 = 3*f. Is (f/4)/(1/(-11)) prime?
True
Let g(m) = 3*m**2 - 8*m + 18. Let a be g(8). Let b be a/(-4)*(5 - 19). Suppose -j - 4*f + 797 = 0, 2*j + 3*f - 1083 = b. Is j a composite number?
False
Suppose 0 = 70*y - 67*y - 10977. Is y a prime number?
True
Let h(z) = 2532*z + 157. Is h(3) a prime number?
True
Let k = 28 + 105. Is k a composite number?
True
Let h = 48 - 49. Let x(t) = -4*t. Let g be x(2). Is 14*(h + g/(-4)) a prime number?
False
Let z(l) = -l - 2. Let h(m) = -2*m - 2. Let w be h(-1). Let s be z(w). Is (35/2)/(s/(-4)) a prime number?
False
Let n(z) = 137*z - 4. Suppose -7*u + 2*u + 35 = 0. Let g be n(u). Suppose 14*b - 9*b - g = 0. Is b a composite number?
False
Let q = -3 - -9. Let h(u) = u**3 - 7*u**2 + 7*u - 4. Let n be h(q). Suppose 2*p = 4*p - n*v - 508, -2*p = 2*v - 504. Is p composite?
True
Let i(m) = -m**2 - 7*m - 7. Let n be i(-5). Let y be (-15)/(-27)*5 + (-6)/(-27). Suppose -c = u - 206, n*c - 8*c - y*u = -1036. Is c a prime number?
False
Let x = 37 - 20. Let i(m) = 3*m**2 + 40*m + 12. Is i(x) a composite number?
False
Let a = 91 + -84. Is (a/2 - 4) + (-582)/(-4) prime?
False
Let j(y) = 2*y**2 + 8*y + 2. Let i be ((-6)/4)/(14/28). Let c be j(i). Is c + (4 - -1) + 393 composite?
True
Let m be (-45)/(-6) + (-1)/2. Suppose 0 = m*o - 3*o. Suppose -9 = 5*t + 6, -2*y - 4*t + 1762 = o. Is y a prime number?
True
Suppose 5*u = 4*a - 59088, -5*a = -3*a + 5*u - 29574. Is a composite?
True
Is (-15 - -2)/(-26) - 13581/(-2) a prime number?
True
Suppose 3*w = -2 - 10. Let p be 5 - -4*w/8. Suppose 0 = 5*v - p*z - 2425, 2*z + 3*z = 2*v - 970. Is v a composite number?
True
Suppose 0 = -l + 3, -8066 = -2*x + l - 751. Is x a composite number?
False
Let n(o) = -o**3 + 5*o**2 + 3*o + 5. Let c be n(6). Let w = c + 16. Suppose -4*j - j = -2*v + 189, -w*v + 3*j + 261 = 0. Is v prime?
False
Let m(j) = j**2 + 3*j - 4. Let w be m(-4). Let c be (2 + 5)*(-222)/14*-2. Suppose 2*h + 4*h - c = w. Is h composite?
False
Suppose 19*w = 16*w + 12. Suppose 0 = w*c + 6*c - 10810. Is c a composite number?
True
Let u(b) = b**3 + 11*b**2 - 2*b - 7. Suppose 4*o - 3*w = -17, -w = 2*o + 3*w - 8. Let z = o - 5. Is u(z) a composite number?
True
Let t(w) = -8 + 15 - w**3 - 6. Let s be t(-1). Suppose -2*q - 2 = 0, 0 = 2*p + 3*q + s*q - 165. Is p a composite number?
True
Suppose -a + 55 = -137. Let g(y) = 2*y - 24. Let c be g(12). Suppose c = -5*i - o + 4*o + a, 3*i + 2*o = 119. Is i composite?
True
Suppose -5*m - 3*n = -157600, -63066 = -8*m + 6*m + 4*n. Is m composite?
True
Suppose 123 = -3*b + 27. Let z be 5/(-2)*(15 + 11). Let f = b - z. Is f prime?
False
Let z = -21535 + 32970. Is z a prime number?
False
Let z be (-12)/78 - 3332/(-26). Let y = 200 - z. Let x = y + 55. Is x a composite number?
False
Let w = 136 - -189. Suppose -t + w = 3*c - 3*t, 0 = 2*c - 2*t - 216. Is c a composite number?
False
Suppose 2*t + 4*q = 27578, t + 4*q = 7320 + 6477. Is t prime?
True
Let d be 17204/(-6) - (-2)/6. Let o = -1140 - d. Is o prime?
False
Let k(w) = 135*w - 15 - 51*w + 98*w + 27*w. Is k(8) composite?
False
Suppose -19*j + 55711 + 408630 = 0. Is j a prime number?
True
Let s(o) = 12*o - 15. Let k be s(10). Let p(w) = 11*w**2 + w. Let x be p(-1). Let t = k + x. Is t a composite number?
True
Let g be ((-2)/3)/((-4)/930). Let a(d) = g*d - 5 + 201*d + 4. Is a(1) a composite number?
True
Let g be (-12)/(3 - 135/42). Suppose -r + g = -3*n - 38, -4*r = 4*n - 328. Is r composite?
True
Suppose 147 - 715 = -2*q. Let r = -889 + 892. Suppose -r*m = -q - 385. Is m a prime number?
True
Let y be (288/(-42))/(1/(-28)). Let j = -43 + y. Is j a composite number?
False
Let l = -14821 - -21678. Is l prime?
True
Let q(b) = 223*b**2 - 2*b + 2. Let u(d) = d**2 + d + 1. Let v(s) = q(s) - 3*u(s). Is v(-2) a composite number?
True
Let a = -1224 + 3698. Suppose -10*f + a = -1336. Is f a composite number?
True
Let b(k) = 2*k - 32. Let i be b(16). Suppose 446 = 3*c - 5*l, i = -5*c - l - l + 795. Is c a prime number?
True
Let x = 588 - 242. Is 2/(3 + -1)*x a prime number?
False
Suppose 0 = 46*t - 42*t - 32764. Is t a prime number?
True
Let v = -48 + 17. Let h = v - -33. Suppose 116 = h*n - 38. Is n a composite number?
True
Suppose -c = h - 6, 4*c - 11 - 10 = -h. Is 16032/20 - (-2)/c a composite number?
True
Let c(x) = x**3 - 11*x**2 - 3*x + 85. Is c(14) composite?
False
Let m(k) = 58*k**2 - k + 2. Let q be m(1). Suppose 63*z - q*z - 19340 = 0. Is z a composite number?
True
Let q = -43676 - -72123. Is q composite?
False
Let j be 3 + 2*1/(-2). Let k be j - -4*(-2)/(-4). Suppose k*v = -2*d - v + 52, 5*d - 4*v = 163. Is d composite?
False
Let t = -49 - -97. Let j be 3/((-30)/204*6/10). Let a = t + j. Is a a prime number?
False
Is ((-471)/(-6))/((182/868)/13) a composite number?
True
Is 38 + -35 + (-3776)/(-2) composite?
True
Is -1 + 4 - (-46 - 19252) a composite number?
False
Let a(x) = x + 14. Suppose -4*w + 36 = -0*w. Let k be w/2*(-32)/(-12). Is a(k) a prime number?
False
Let l(x) = x**2 - 2*x - 3. Let f be l(4). Let a(p) = 356*p. Let h be a(1). Suppose b + h = f*b. Is b prime?
True
Let w = 93 - -489. Suppose 0 = -6*y + 4*y - 42. Is ((-7)/y)/(2/w) a prime number?
True
Let l(f) = 49*f**2 - 5*f + 3. Is l(-4) a composite number?
True
Let x = -1361 - -185. Let w = -697 - x. Is w a prime number?
True
Let r(u) = u**3 + 15*u**2 - 2*u - 1. Let v(y) = y**3 + 14*y**2 - 3*y - 2. Let d(g) = -3*r(g) + 4*v(g). Suppose 30*q - 17*q = -130. Is d(q) prime?
False
Let y be (-567)/18 + 2/4. Let f = y + 70. Suppose -234 = -3*a + f. Is a a composite number?
True
Suppose 2*n = -5*a - 1664, a = 3*n - 4*a + 2521. Let p = 1690 + n. Is p composite?
False
Suppose 0 = 3*l + 8 + 34. Let x = l - -16. Is x/(((-8)/(-380))/1) composite?
True
Suppose 0 = -5*p + 2*d + 2*d - 7640, -2*d = -10. Is (3/((-27)/p))/(8/12) a prime number?
False
Suppose -13*x - 29*x = -346794. Is x a prime number?
False
Suppose 2*b - 10 - 8 = -4*s, 5*b + 15 = 0. Let i(a) = 4*a**2 + 2*a + 5. Let g(j) = 4*j**2 + 2*j + 4. Let v(y) = -2*g(y) + 3*i(y). Is v(s) a composite number?
False
Let q(b) = -b - 9. Let l be q(-9). Let w be (l - -2)/(4/(-32)). Is -1*((1 - 4) + w) a prime number?
True
Let m(c) = 925*c**2 + 8*c + 10. Is m(-2) composite?
True
Let g = 1496 + -709. Is g a prime number?
True
Suppose -3*z - z - 1616 = -4*a, -z - 2*a = 410. Suppose -7*s + 3085 = -2*s. Let n = s + z. Is n composite?
False
Let x(t) = 9*t**2 + 3*t - 4. Let f be x(-3). Suppose -j = 246 - f. Let k = j - -429. Is k a prime number?
True
Suppose 17 = 4*t + 1. Suppose -27 = t*j - 471. Is j composite?
True
Let c = -16104 - -44633. Is c a prime number?
False
Let z(g) = 2*g - 1. Suppose 282 = -2*w - w - 3*r, 0 = 2*w - r + 185. Let h be w/(-18) + 1/(-6). Is z(h) composite?
True
Let b = -7556 - -4078. Let s = -1121 - b. Is s a composite number?
False
Let o be (-6)/4*12/(-9). Suppose -o*t + 192 + 284 = 0. Suppose -t = -2*j + d, 0 = 2*j + 2*j + d - 488. Is j composite?
True
Let n = -3783 + 8420. Is n a prime number?
True
Let d = 27447 + -13346. Is d a composite number?
True
Suppose v = -5*f + 2 + 3, v + 3*f - 1 = 0. Let l(u) = u + 6. Let a be l(v). Let n(g) = 408*g + 1. Is n(a) a composite number?
False
Let i(m) = m**2 - 11*m + 8. Let f be i(7). Let b = f + 20. Suppose j + b*j = 149. Is j prime?
True
Suppose -q + 0*c - 4*c + 925 = 0, -3*q + 4*c + 2695 = 0. Suppose -5*n + 607 = 3*l, -4*l - 3*n + q = 103. Is l prime?
True
Suppose 0*f = -3*f - 90. Let d = -17 - f. Suppose -d*x = -15*x + 430. Is x prime?
False
Let l(x) = -72*x**3 - 4*x**2 - 14*x - 47. Is l(-5) composite?
False
Let m(s) = 24*s**2 + 16*s - 5. Is m(6) a composite number?
True
Let s(d) = 9*d**2 + 40*d - 79. Is s(-30) prime?
False
Suppose -50599 - 18250 = -11*d. Is d a composite number?
True
Suppose 4*y + 18 = 90. Is 907 - ((-4)/y + 20/90) a prime number?
True
Suppose -3*t - 78 = -9*t. Let i be (-3 - -2)/((-2)/1122). Suppose -t*y = -10*y - i. Is y composite?
True
Let b(j) = -2125*j + 1. Let p be b(1). Let r = p - -3583. Is r composite?
False
Let z(r) = -r**3 + 2*r**2 + 4*r + 1. Let b be z(3). Suppose 4*o - 12 = -b. Suppose o*n + 383 = 3*w - 0*w, 0 = 3*w + 2*n - 403. Is w prime?
True
Let r = 2950 + 4264. Is r prime?
False
Let p be 11211*(24/9 + -2)*2. Suppo