, h - 5*c = -7. Suppose 0 = l + h*l - 40. Is l prime?
False
Let p = 389 + -198. Is p prime?
True
Suppose -4*p = 3 - 75. Is (p/(-3))/(4/(-2)) a composite number?
False
Let o(b) = b + 12. Let d(x) = 21*x**2. Let k be d(-1). Suppose -q = 5*l + k, l - 2*q + 6*q - 11 = 0. Is o(l) prime?
True
Let c = -60 + 527. Is c composite?
False
Let j(u) = 5*u**2 + 1. Let a be j(-1). Suppose 4*i + 38 = a. Let p(t) = -4*t + 3. Is p(i) prime?
False
Is (-8)/(-4) + 537 - -2 prime?
True
Let v(q) = 23*q**2 - 18*q + 6. Is v(5) a prime number?
True
Suppose 0 = 3*u - g + 4*g - 132, -u + 40 = 5*g. Let q = 8 + u. Is q a prime number?
True
Let a(y) = 4*y + 18. Is a(7) composite?
True
Let p = -188 + 635. Is p a prime number?
False
Let p be 144 + (-2)/(-2) + -2. Let g = 327 - p. Suppose -c + 5*c - g = 0. Is c prime?
False
Let j(h) = 0*h**3 - 6*h**2 + h**3 - 5*h + 5 + 2*h**2 + 0*h**2. Let u = 10 + -4. Is j(u) composite?
False
Suppose -2*d + 718 = 4*c, c = -c + 4*d + 334. Is c prime?
False
Let w(x) = -x**2 + 5*x + 6. Suppose -4*i = 8, -3*u - 3*i - 2*i = -8. Let h be w(u). Suppose h*r + 2*r - 70 = 0. Is r prime?
False
Let x(v) = v**3 + 10*v**2 + 11*v - 27. Is x(8) a prime number?
True
Suppose 0*u + 5*u + 8745 = 0. Suppose 4*j - 10 + 2 = 0. Is u/(-27) - j/(-9) prime?
False
Suppose 2*c + c - 2560 = -5*d, -2*c - 2535 = -5*d. Is d composite?
False
Suppose x - 5 = -2. Let b = x + -4. Is (b + -1)*268/(-8) a prime number?
True
Suppose 2*d = -d + 381. Is d prime?
True
Is 1 - (-716 + 0 - 0) prime?
False
Suppose 0 = 2*x + 2*x - 12. Suppose 4*j - 4*b + 2 = 90, b = x. Suppose -j = -5*q, 0 = 2*h + 6*q - 3*q - 149. Is h prime?
True
Suppose 6*p + 2 - 14 = 0. Suppose 0 = -0*a - 2*a + p*f + 1340, 2*f = 2. Is a composite?
True
Suppose -3*k = -2*k - 1733. Is k prime?
True
Let t be (2/(-2))/(-3 + 2). Let c(p) = -13*p. Let f be c(t). Is (f/2)/((-1)/2) prime?
True
Suppose 0 = i - 5*i + 220. Is i composite?
True
Let o be (-8)/(-44) - (-62)/22. Suppose 5*t = -o*k - 31, 2*k + 2*k + 2*t = -46. Let q = -5 - k. Is q a composite number?
False
Let a = -4 - -4. Suppose -4*k + 5*h + 298 = a, k - 241 = -2*k - 5*h. Is k a composite number?
True
Let h = 0 - 2. Let f be h/1*(-1)/2. Is f/3 - (-32)/12 a prime number?
True
Let z = -10 - -13. Suppose 3*r + 2*r = 4*p + 195, -4*r + 155 = -z*p. Is r a prime number?
False
Is (-2763)/(-11) + (-24)/132 composite?
False
Let n(u) be the third derivative of u**5/30 + u**4/12 - 5*u**3/6 - u**2. Is n(3) composite?
False
Let w be 12 - ((3 - 3) + 2). Let k be -3 + w + (-4)/2. Suppose 3*n - k*y - 9 = 9, -y = -3*n + 30. Is n prime?
True
Suppose 34 + 29 = 3*s. Let o = 39 + -37. Suppose c = o*c - s. Is c composite?
True
Let k(a) = -a**3 + 6*a**2 + a - 6. Let u be k(6). Let l be 2*(-1 + u) - -2. Suppose 3*m - 381 = -l*m. Is m prime?
True
Suppose 5*i + 173 = -2*l - 2*l, -10 = 5*l. Let j = i - -122. Is j composite?
False
Suppose -b - 113 - 84 = -3*y, -5*y + 319 = 3*b. Suppose 2*q - 37 = y. Is q prime?
False
Suppose -3*z - 1373 = -2*m + m, -z - 4 = 0. Is m prime?
True
Let r be ((-1)/(-2))/(2/36). Suppose -3*a = -a + l - 27, -3*l = r. Is a composite?
True
Let y(l) = 87*l**2 - l + 1. Let z be y(1). Let j = 198 - z. Is j a prime number?
False
Let u(l) = -l**2 - 20*l + 5. Let h(d) = -3*d**2 - 59*d + 16. Let x(s) = 6*h(s) - 17*u(s). Is x(-8) a prime number?
True
Suppose 0 = 3*q - 6, -4*n + 4*q + 177 = -47. Is n composite?
True
Let k(s) = -5*s + 1. Let f be k(-1). Let o(x) = 31*x + 5. Is o(f) a composite number?
False
Let y be (-1 + 5 - -2) + -1. Suppose -5*k + 2*g = -359, 2*g + 278 = 4*k + y*g. Is k a composite number?
False
Let j(t) = -7*t**3 + t**2 - 1. Is j(-2) composite?
False
Let z(p) = p**3 + 8*p**2 + 8*p + 8. Let g be z(-7). Let i be 73/4*(3 + g). Let s = i - 48. Is s composite?
True
Suppose -y + 0*y = -2. Let a(c) = -9*c**3 - 3*c**2 - 4*c - 4. Let n be a(-4). Suppose 5*z = -y*i + 110 + 83, 5*i + z = n. Is i prime?
True
Let s = 105 + 80. Is s a prime number?
False
Let k(q) = 15*q**2 - 7*q + 22. Let x(w) = 7*w**2 - 3*w + 11. Let m(u) = -6*k(u) + 13*x(u). Is m(12) composite?
False
Let m(z) = -z + 32. Is m(11) a composite number?
True
Let d(t) = 4*t. Let a be d(-1). Let r(x) = -x. Let k(m) = 10*m - 3. Let c(l) = -k(l) - 2*r(l). Is c(a) a composite number?
True
Let p be 3/9 + (-8)/(-3). Suppose -l - 118 = -p*l. Is l composite?
False
Suppose 1027 + 353 = 4*i. Let c be (-1)/(-5) - i/(-25). Let v = c + 21. Is v a composite number?
True
Suppose 0 = -4*v - 4*j + 320, 4*v - 3*j - j - 344 = 0. Is v a prime number?
True
Let c be (-165)/(-35) + 4/14. Suppose -c*q = 676 - 2571. Is q prime?
True
Suppose 7*a - 4*a = 2019. Is a composite?
False
Let t(u) = u + 115. Let s = -10 + 10. Is t(s) composite?
True
Let l be 6/(-9) - 2342/(-3). Suppose 2*k = -k - l. Is (-2)/(-4)*(2 - k) a composite number?
False
Let m(k) = 2*k**2 + 2*k - 2. Let u be m(-2). Let d be (3 - u)*(0 + 66). Let s = d - 31. Is s a composite number?
True
Let g(x) = -123*x + 7. Is g(-4) a composite number?
False
Is -1*((-2)/1 - 539) composite?
False
Let d(w) = -w**2 + 6*w + 9. Suppose -12 = 5*o - 47. Let a be d(o). Suppose 0 = 4*q + q - 15, 2*v - 20 = -a*q. Is v composite?
False
Suppose 2*f = 5*j - f - 798, -4*j + 637 = -f. Suppose 5*u + 4*i = j, 3*u - 5*i - 130 = -5. Is u composite?
True
Let f(w) = -6*w - w**3 + 2*w**3 - 11 + 8*w**2 - 5*w. Is f(-9) prime?
True
Let r = 114 - 29. Is r a composite number?
True
Suppose 2*b + 8 = 26. Let c be (b + -2)/(2/2). Suppose -l + c + 12 = 0. Is l a composite number?
False
Let h be (-873)/(-6) - (-2)/(-4). Let s be 0/(-2) - h/(-1). Suppose 4*d - s = 3*g, d + 69 = 3*d - 5*g. Is d prime?
True
Let f be (1095/(-3) + 0)*-1. Let i = 898 - f. Is i composite?
True
Let w(g) = g**2 + 69. Let j be w(0). Suppose n + 0*n - 3*i = 32, i = 2*n - j. Suppose h + u = -0*u + n, 3*u = 5*h - 143. Is h a prime number?
True
Suppose -s = -j + 219, 2*j = -j - s + 649. Is j prime?
False
Let g(w) = w**2 + 4*w - 5. Let d be g(-6). Let x = -28 - -31. Suppose 361 - d = x*h. Is h composite?
True
Suppose -30 = -a + 3*f, 3*f + 11 - 107 = -2*a. Suppose -4*r = -a - 402. Suppose 0 = -w + 2*o + 67 + 74, -r = -w - 4*o. Is w a prime number?
True
Let j be 6*3*62/12. Suppose 0 = 3*i - 0*i - j. Is i a prime number?
True
Suppose -4*s - 25 = 5*u - 292, 0 = -u + 2*s + 59. Suppose 0 = -c + 34 + u. Is c prime?
True
Let o = 4 + -2. Suppose -2*s + 72 = s + 3*z, z - 46 = -o*s. Is s a composite number?
True
Suppose 3*f - 905 = -2*a, 4*f + 4*a - 1527 = -315. Is f composite?
True
Suppose -w = -2*w + 4. Let r be (2 + -6)*2/(-2). Suppose w*s - 60 - 275 = o, -r*s + 345 = o. Is s prime?
False
Let r(i) = -i. Let b be r(-1). Let a(y) = 162*y**2 + 1. Let u be a(b). Suppose -k = -z + 42, -3*z - 40 = -2*k - u. Is z a prime number?
False
Let w be (-44)/(-8) - (-2)/(-4). Suppose 0 = -5*z - w*h + 10, 4*h + 15 = 4*z + h. Suppose 0 = l + 2*s - 0*s - 113, 3*l - z*s = 348. Is l composite?
True
Let c = 5 - 1. Suppose 0 = 3*r - 3*g - 6, r + g + 10 = -c*g. Is (21/(-6) + r)*-22 a composite number?
True
Let y(o) = 17*o - 5. Let h be 7 + (-1 - -2)/(-1). Is y(h) a composite number?
False
Suppose 0 = 3*f + 9, -6652 = -z + 5*f - 0*f. Is z composite?
False
Suppose -5*q + 88 = 18. Is q a prime number?
False
Let s be 3054/(-15) - (-2)/(-5). Is ((-8)/6)/(8/s) prime?
False
Suppose 4*g - 259 = -b, 4*b + 0*b = g + 1070. Is b composite?
True
Let p = -7 + 7. Let v = 3 - p. Suppose -o + 644 = v*o. Is o a composite number?
True
Suppose 2*l = 3*g + 233 + 290, -3*l + 4*g + 785 = 0. Is l prime?
True
Let b(k) = k**2 - 2*k - 16. Let p be 10/15 + (-7)/(-3). Suppose 4*z = m + 49, -m + 2*m - 42 = -p*z. Is b(z) a prime number?
True
Suppose 3*z + 0*r = r + 1672, -3*z = 4*r - 1667. Is z a composite number?
False
Suppose -3*t + 6 = -w, -4*w + 10 = 4*t + t. Is (1 - w)/((-2)/(-92)) a composite number?
True
Let w(l) be the second derivative of 10*l**3/3 - 3*l**2/2 + 2*l. Is w(2) a prime number?
True
Let x(k) = 4469*k**2 - k. Let o be x(-1). Suppose 2*y = 7*y - o. Is (1/(-3))/((-2)/y) a composite number?
False
Let b be (86/(-6))/(1/(-12)). Suppose 13 = 3*d - 2. Suppose -b - 153 = -d*j. Is j a prime number?
False
Let h = 1281 + -323. Is h a composite number?
True
Suppose -t - t + 16 = 0. Let k be 909/(-6)*t/(-6). Let a = k + -17. Is a prime?
False
Suppose 3*i = -2*h + 8, -3*i + 2 = -i - 2*h. Suppose -i*a 