
Suppose -2*o + 4 = -4. Suppose 0 = o*r - 7*r + b + 489, 5*r - 3*b = 815. Is r composite?
False
Is (337/(-2))/((-4)/8) a composite number?
False
Let n(a) = 58*a**2 - 9*a + 22. Is n(4) prime?
False
Suppose 4*n + 5*f - 53 = 0, 0 = n + 3*n - f - 23. Let d(l) = l - 3. Let a be d(n). Suppose -a*i + i = -3*y - 459, 4*i + 5*y - 630 = 0. Is i a composite number?
True
Let o = 9 - 7. Let a(s) = -3*s + 2 + 3*s**o + 0*s**2 + 2*s**2 - s**3 + 2*s**2. Is a(5) composite?
False
Let g be (-1)/(2 + 9/(-6)). Let i be (g + (-154)/(-4))*2. Suppose 2*f - i = -r, -212 = -3*r + 2*f - 17. Is r composite?
False
Is 626 - 6*(-3 + (-21)/(-6)) prime?
False
Let a(w) = 289*w - 5. Is a(4) a composite number?
False
Suppose -6 = -2*z + 2. Let y(i) = i**2 + i - 1. Is y(z) prime?
True
Let j be (2/6)/((-3)/(-9)). Let o be 1 + j/2*-2. Let r(p) = p**2 - p + 7. Is r(o) prime?
True
Let f(o) = 52*o + 1. Suppose 0*x - 4*x - 4*k + 28 = 0, -3*x + k + 5 = 0. Is f(x) composite?
False
Let a be 64/(-6) + 2/3. Let i(p) = -p**3 - 9*p**2 + 9*p. Is i(a) prime?
False
Let w(n) = -40*n + 1. Suppose 0 = 3*o + 4*j - 9, 0 = -2*o - 4*j + 1 + 9. Let a be w(o). Suppose -t = -4*v - 2, 0*t = 3*t - 5*v - a. Is t a prime number?
False
Is (39/6)/(1/398) a composite number?
True
Let v be (-4)/((-4)/(-3)) + 358. Let y = v - 240. Is y a prime number?
False
Suppose 0 = 4*d - 843 + 335. Is d prime?
True
Let f be 5/(1 + 0/(-3)). Suppose -4*g + 8 = 0, f*j - 5*g = -521 + 1481. Suppose 5*b - j = -4*d + 16, d = 4*b + 63. Is d composite?
True
Let v(p) = 5*p**2 + 20*p - 4. Is v(-15) composite?
False
Suppose 3*o - 672 = 1779. Is o a composite number?
True
Suppose 106 = 2*s + 2*n - 34, -3*s + 2*n + 200 = 0. Suppose g + 3*g = 5*p + 76, 0 = -4*g + 3*p + s. Is g composite?
True
Let n(a) = -a**3 + 7*a**2 + 7*a + 8. Let y be n(8). Suppose y = -5*l - 338 + 1223. Is l composite?
True
Let r(a) = 1043*a**2 + a - 1. Is r(1) composite?
True
Let p be (9/15 + -1)*-5. Suppose p*h + 3*h = 1645. Is h composite?
True
Let g(l) = 4*l**2 - 3*l - 6. Is g(-7) a prime number?
True
Let x(o) = o**3 - o**2 + 7. Suppose 0*c - 4*c = -4*k + 4, -3*k + 3 = c. Is x(c) a prime number?
True
Suppose -1171 = -2*x + 295. Is x prime?
True
Let m(l) = 5*l + 10*l**2 + 84*l**2 - 2*l - 3. Is m(2) prime?
True
Suppose 3*r + 10 + 13 = 2*o, -2*r + 3*o - 17 = 0. Suppose -4*a - 2*d + 20 = 0, d - 14 = 3*a - 6*a. Let k = a - r. Is k a composite number?
False
Let f(s) = -22*s - 1. Let l be f(-4). Let h = l + -24. Let p = h - 44. Is p a composite number?
False
Suppose -2*x - 56 = -6*x. Suppose -x = -g + 8. Is g composite?
True
Suppose -f = 3*v + 10, 2*v + 3 = 2*f - 9. Let b be (-2 - 4)*6/v. Is 2/(-9) - (-299)/b composite?
True
Let h(z) = z**2 + 8*z. Let g be h(-6). Suppose -46 = -i + 4*v, -i - 4*v + 0 = -30. Let y = g + i. Is y a prime number?
False
Let c be (2 + -8)*2/(-6). Is (-1 - -37) + c/(-2) composite?
True
Let q(j) = 9*j + 12. Let x(z) = -z + 1. Let n(u) = -q(u) + 6*x(u). Is n(-11) prime?
False
Let g be (-460)/15 - 4/(-6). Let x = g - -49. Is x a prime number?
True
Is (342/24)/(3/12) prime?
False
Suppose 24*v - 8057 = 17*v. Is v composite?
False
Suppose -4*q = 4*c + 1788, -4*c + 974 = -3*q - 346. Let w be (-1)/(-5) + q/(-5). Let j = w + -40. Is j a prime number?
False
Let j = -5 - -8. Suppose -3*d - q + 73 = 0, 106 = d + j*d - 3*q. Let z = d + -14. Is z a prime number?
True
Suppose -4*s - 213 = -3*z + 1125, 0 = 4*z - 3*s - 1784. Is z prime?
False
Suppose -5*g - 18 = -3. Let l = 4 + g. Is 58 + l + -1*1 a prime number?
False
Let k = 484 - 278. Suppose -4*j - 45 = -4*a - 457, k = 2*j - a. Let v = -60 + j. Is v a composite number?
False
Suppose 4*d - 572 = 1344. Is d a composite number?
False
Suppose -5*p + o = -22 - 18, p + 3 = -2*o. Let g = p - 0. Is 2*(1 - g/(-2)) composite?
True
Let n be (-1)/(-3) - 860/(-12). Suppose 4*k = g - 35 - n, -g = k - 122. Is g a composite number?
True
Suppose -2*f + 465 = -701. Is f a prime number?
False
Let z = 9 + 22. Is z a composite number?
False
Let z(u) = u**2 + 3*u + 537. Is z(0) a composite number?
True
Is (-16)/(-6)*-2*228/(-32) a composite number?
True
Let o(d) = -2*d - 3. Let m = 9 - 14. Is o(m) a composite number?
False
Suppose w = -2*i + 12 - 3, 0 = -2*w - i + 12. Let r = w - 2. Suppose 4*t - 35 = r*t. Is t prime?
False
Suppose -584 = 4*g - 3180. Is g prime?
False
Suppose 5*p + 62 - 92 = 0. Is p composite?
True
Suppose -8 = -o + 3*u - 1, -16 = 4*u. Let p = 9 + o. Suppose p*x + n - 350 = 0, 3*n + 81 = 2*x - x. Is x composite?
True
Suppose 2*m = -m + 5*a - 28, 3*m = -5*a - 8. Is (3 - 54)*4/m prime?
False
Let v = 34 + -144. Let t be ((-134)/(-3))/(14/(-63)). Let n = v - t. Is n composite?
True
Let d(a) = -a**3 - 2*a + 4. Let x be d(0). Suppose -2*l - 5*j + 44 = -213, -133 = -l - x*j. Is l a composite number?
True
Let n(b) = b**2 - 20*b + 3. Let u(w) = -w**2 + 19*w - 3. Let s(r) = 5*n(r) + 6*u(r). Suppose 3*c = -2*c + 35. Is s(c) prime?
False
Suppose 0 = -2*u + 2 - 0, -5*t - 2*u = -432. Let o = -55 + t. Is o prime?
True
Suppose -104580 = -8*f + f. Is 2/16 + f/32 prime?
True
Suppose -4*u = -0*u + 4. Is u/3*(1 + -1012) composite?
False
Let l be ((-1)/(-2)*0)/(-2). Let b be -11 + l - (2 - 2). Is (b/(-2))/((-6)/(-24)) a composite number?
True
Suppose 2*r - 2 = r. Suppose 2*h - 6 - 22 = 0. Is (h/r)/((-6)/(-30)) prime?
False
Let u(d) be the first derivative of -185*d**4/4 + d**3/3 - d + 4. Is u(-1) a prime number?
False
Let q(b) = b - 9. Let m be q(9). Suppose t = -4*d + 101, m = 2*t - 4*d - 308 + 94. Is t/4 - 1/4 a composite number?
True
Suppose -3*y - 33 = 4*s + 2*y, 2*y - 5 = s. Let z = s - -13. Let q(h) = -h**3 + 9*h**2 - 8*h + 5. Is q(z) a prime number?
False
Is (-4)/(-18) + 3789/81 a prime number?
True
Let g(t) = 14*t**2 - t. Let v = -9 + 4. Is g(v) a composite number?
True
Let s = 3 - 9. Is (-139)/(-3) - (-2)/s a composite number?
True
Let n(r) = -103*r - 1. Let z be n(1). Let t = -25 - z. Is t a composite number?
False
Suppose q = 44 + 63. Suppose 3*l = 2*v + 2*v + 502, -691 = -4*l + v. Let a = l - q. Is a composite?
False
Let b(a) = 3*a**3 + 4*a**2 - 4*a + 3. Is b(2) a composite number?
True
Let g be (-7)/14*(-12)/2. Suppose -2*o - g*o = -450. Let f = o - 55. Is f a composite number?
True
Let s = -12 - -20. Let z = -7 + 1. Let w = z + s. Is w a prime number?
True
Let i be 4*-3*(-3)/9. Let g = 0 + i. Suppose 3*r - g*r - 3*h = -128, -2*h + 601 = 5*r. Is r composite?
True
Suppose -3*t + 2*t = -3. Let q(w) = 4*w + 3. Let x be q(6). Suppose 2*l = -t*b + x, 9*l + 9 = 3*b + 5*l. Is b composite?
False
Suppose 2*o - 594 = -5*j, 5*o = -2*j + 1688 - 161. Is o a prime number?
True
Suppose 2*m - 20 = -4*w, 2*m - 5*w - 2 + 0 = 0. Is m*(315/6 - 1) a composite number?
True
Suppose 0 = 2*p + 2 + 94. Let d = p + 67. Is d composite?
False
Suppose 5 = -h, 0*h - 247 = -f - 5*h. Is 1/(2/(f/4)) a composite number?
True
Suppose 3*m - 4*m + 302 = 0. Suppose -103 = c - m. Let k = 338 - c. Is k a prime number?
True
Let n be (-15)/(-5) - (1 + 18). Let v = n + 71. Is v a prime number?
False
Let l(c) = -c**2 - 4*c - 4. Let w be l(-4). Let s be (-1)/((2/w)/1). Suppose s*i + 64 - 230 = 0. Is i prime?
True
Let p(a) = 8*a**2 + 3*a - 4. Let z be (-51)/(-9) + (-4)/6. Is p(z) composite?
False
Suppose 5*t - 3*u = -4*u + 42, 4*u = -12. Suppose -t = 4*v - 25. Suppose 4*j = -v*o + 116, o + 83 = 3*j + 3*o. Is j composite?
True
Suppose -5*p - 3*k - 6 = 0, -k - 2*k - 3 = 4*p. Let a = p - -5. Is a a composite number?
False
Suppose 8 = 4*x + 4*l, 0 = l - 6*l. Suppose q - 27 = 2*w + x*q, -33 = 4*w - 5*q. Let d(u) = u + 22. Is d(w) prime?
False
Suppose -3*l - 624 = -3*v, 2*v + 0*v = 4*l + 422. Is v a prime number?
False
Let f be 7036/6 + 2/(-3). Suppose 2*k = -2*k + f. Is k a prime number?
True
Suppose -3*j = -4*g - 8*j - 10, 0 = g + 2*j + 1. Let u be (-2)/((4 + -2)/6). Is 212/g*15/u prime?
False
Let f(c) = 29*c**2 + c + 3. Is f(3) composite?
True
Is (-30975)/(-55) - (-4)/(-22) prime?
True
Suppose -2*v + 4*b = -966, -v - 4*b + 752 = 245. Is v composite?
False
Is 4/(-22) + 16482/22 a prime number?
False
Let k = 14 - 7. Is (2172/42)/(1/k) a composite number?
True
Let u be 32/6 + 3/(-9). Let y(j) = j - 5. Let n be y(3). Is n/u - 748/(-20) prime?
True
Suppose -3*v + 82 + 54 = 2*p, 0 = 4*p - 4*v - 272. Suppose 0 = m + 13 - p. Is m composite?
True
Let m(x) = -x**3 - 5*x**2 + 9*x