?
True
Let i = -10 - -16. Is 984/i + 3*-1 a composite number?
True
Is (-4)/(4/(-369)) + 2/1 composite?
True
Let p be 0/(-3 + 1 - 0). Suppose -t - 10 = -k + 6*k, p = -t + 4*k + 35. Suppose -3*h = -18 - t. Is h prime?
True
Suppose 5*s + 8 = 2*j - 12, 5*j + 43 = -3*s. Let m = -3 - s. Suppose -m*n + 65 = -4*z, 3*z - 45 = -3*n + 6. Is n a prime number?
True
Suppose 0*c + 15 = 5*c. Suppose 2*t - 175 = -c*t. Is t a prime number?
False
Let n(g) = -g**3 + 6*g**2 + 2*g - 5. Let f(w) = -w**3 + 7*w**2 + 2*w - 10. Let r be f(7). Is n(r) prime?
False
Let h = -2 + 7. Let o be -6 - -6 - (-1 + -1). Suppose -o = h*j - 17. Is j prime?
True
Let m be 0 + 6*131 - 1. Suppose 3*x + m = 8*x. Is x a composite number?
False
Suppose 25*k - 28*k + 159 = 0. Is k a composite number?
False
Let u = 96 + 53. Is u composite?
False
Let h(l) = 82*l + 1. Let f be h(5). Let x = f + -273. Suppose x - 424 = -2*d. Is d a prime number?
False
Is 678/3 - (0 - -3) a prime number?
True
Let t(p) = -p**2 + p + 85*p**3 + 2*p**3 - 21*p**3. Let u be t(1). Is (4/8)/(1/u) a prime number?
False
Let q(t) be the second derivative of -t**6/720 + t**5/30 + t**4/6 + 2*t. Let o(x) be the third derivative of q(x). Is o(-6) a composite number?
True
Let h be 1 + -8*4/(-8). Suppose -h*q + 15 = 0, -3*q + 0*q + 749 = 4*r. Is r prime?
False
Let m(a) = a**2 + 5. Let u be m(-4). Let c be 329/u + (-2)/(-6). Suppose q + 5 = c. Is q a composite number?
False
Let o(p) = -278*p**3 - p - 1. Let n be o(-1). Let g = -139 + n. Is g a prime number?
True
Is -9*1262/(-12)*(-4)/(-6) a prime number?
True
Let q be ((-4)/7)/(6/(-21)). Suppose -p + 290 = 3*a, -p - 90 = q*a - 3*a. Is a composite?
True
Let j(i) = -275*i + 21. Let r(f) = 55*f - 4. Let a(o) = 2*j(o) + 11*r(o). Is a(3) a composite number?
False
Let t be (-3 - (-121)/2)*-4. Let d = t + 410. Suppose x = m + 3*x - d, 0 = -2*m + 4*x + 352. Is m prime?
False
Suppose -169 = -3*m - v, 7*v - 96 = -2*m + 3*v. Suppose 0 = -4*r + 114 + 42. Let z = r + m. Is z prime?
True
Let m = 4 + -2. Suppose -m*r - r + 222 = 0. Suppose -r = -4*w + 2*w. Is w prime?
True
Let h = -825 + 1337. Let p = h + -289. Is p a composite number?
False
Let f(q) = -q**2 - 4*q + 139. Is f(0) prime?
True
Let i be (-62)/(-22) - (-12)/66. Suppose 3*s - t - 7 = 0, 3*t + 14 = i*s - s. Let m(g) = 294*g - 1. Is m(s) a composite number?
False
Let w(l) = 11 - 10*l**3 + l + l**2 + 0*l + 4*l**2 + 0*l**2. Let p(k) = 7*k**3 - 3*k**2 - k - 7. Let h(n) = -7*p(n) - 5*w(n). Is h(4) prime?
True
Let v be (-2)/6 - (-313)/3. Suppose 3*x = 4*i + 142, -3*i + i = 2. Let s = v - x. Is s prime?
False
Let w(b) = -34*b**3 - 2*b**2 - b + 4. Is w(-3) a composite number?
False
Suppose 3*t = -0*t + 1047. Suppose -2*k = 2*k + 16, 2*k - t = -3*l. Is l a composite number?
True
Let m(j) = -18*j**3 - 3*j + 2. Is m(-3) a composite number?
True
Is (-2491)/(-4) - (-16)/64 a prime number?
False
Suppose -3*p = -3*t + 30, 3*t - 40 = 3*p - 2*t. Is 1*(328 - (p + 2)) a composite number?
False
Let y(k) = 25*k**2 - 4*k + 20. Is y(3) a prime number?
True
Suppose 3*n = 2*n - 4. Let d be 1/n - 541/(-4). Is d/20 + (-2)/(-8) composite?
False
Let s be (3/2)/(2/1384). Let t = -527 + s. Is t a prime number?
False
Suppose 0 = 4*c - 7*c - 639. Let b(x) = 4*x**3 - 7*x**2 + 8*x - 3. Let p be b(5). Let l = p + c. Is l a composite number?
False
Let a = 12 + -10. Suppose 4*k + 4*d - 528 = 0, 3*k + 3*d = -a*d + 406. Is k a composite number?
False
Let k(l) = -l**2 - 13*l - 7. Let q be 1 + -1*4 + 4. Let n(s) = -11*s + 1. Let u be n(q). Is k(u) composite?
False
Let s(h) = 4*h**2 + 4*h - 3. Let p(f) = -2*f**3 + 4*f**2 - 3*f. Let k be p(2). Let l be s(k). Suppose n = -2*n + 12, 5*g = 2*n + l. Is g a composite number?
True
Suppose -10 - 6 = 4*x. Is 133 + 1 + 1 + x composite?
False
Let y be (-6)/(-4) - (-1434)/4. Let z = y + -226. Is z a composite number?
True
Suppose 8 = 7*w - 3*w. Suppose -w*f + 9 - 35 = 0. Let k = 44 + f. Is k composite?
False
Let h(r) = r + 136. Let w be h(0). Suppose 3*l + w = 5*c, -c - 3*c + 3*l + 110 = 0. Is c prime?
False
Let z = -7 + 11. Suppose -z*i - 381 = -7*i. Is i a composite number?
False
Suppose -572 = 4*n - 0*n. Let d = -85 - n. Is d prime?
False
Suppose 0*t = 5*t + 10. Let q(z) = -z**2 + 6*z + 1. Let c be q(6). Is (-471)/(-6) - c/t composite?
False
Suppose 4*p - 3193 = a, 3*p + 6*a - 2371 = 2*a. Is p composite?
False
Let l = 2 - 0. Suppose -7*h + l*h + 5*u = -15, 13 = -h - 3*u. Is (1 - h) + 0 + 47 prime?
False
Let m be (3 + -1)*(0 + -1). Is ((-20)/(-8) + m)*118 composite?
False
Is 4/5*(-520)/(-16) a composite number?
True
Suppose 3*h - z = 451, 0 = 5*h + z + 2*z - 733. Is h composite?
False
Let t = -3353 + 5046. Is t composite?
False
Suppose 102 = 4*z + 5*n, -6*n = -2*z - 4*n + 42. Suppose 4*u = z + 5. Is u prime?
True
Suppose 711 = 5*i - 2654. Is i a composite number?
False
Suppose 0 = -2*t + o, -4*t = -9*t - 5*o. Suppose -3*c + 2*c + 23 = t. Is c a composite number?
False
Let r(l) = -l**3 + 12*l**2 - 8*l - 9. Let a be r(11). Let j = a - -55. Is j a prime number?
True
Let r = 386 - 228. Is r prime?
False
Let s(y) = -2 + 2 - 7*y - 1 + y**3 + y**2 + 5*y**2. Is s(-5) a composite number?
False
Let z be (-118)/((-6)/(6/(-2))). Let q = 273 - 161. Let d = q + z. Is d a composite number?
False
Is 320/7 - 20/(-70) a composite number?
True
Let q(a) = a + 1. Let m(o) = 82*o - 10. Let b(g) = -m(g) - 3*q(g). Is b(-4) composite?
False
Let l = -368 + 540. Let h = 61 + -150. Let b = l + h. Is b a prime number?
True
Suppose 3*c - 2 = -8. Is (-82)/(c - 36/(-21)) prime?
False
Let c(y) = y**2 - 4*y - 8. Let n be c(6). Suppose 4 = -2*g - n. Let s = 83 + g. Is s a prime number?
True
Let y = 0 + 0. Suppose y*p = -4*p + 24. Is 84 - 0 - (p + -9) a composite number?
True
Suppose 0 = -g - 4*g. Suppose g = -u + n + 115, u + 3*n - 220 = -u. Is u a prime number?
True
Suppose -6*c + 2*c = 108. Let p = -5 - c. Is p composite?
True
Let n(z) = -z**2 - 29*z - 20. Is n(-11) composite?
True
Let m = 305 - 42. Is m a composite number?
False
Suppose -3*w + 115 = -689. Suppose 5*u = u + w. Is u a composite number?
False
Let i(s) = -s**2 + 7*s - 2. Let n be i(6). Suppose -4*v - 3 = k + 2, -k + 19 = -n*v. Is k composite?
False
Suppose -3*j = -2*x - 114, -58 - 127 = -5*j + 5*x. Suppose 11 = l - j. Is l composite?
True
Let b(p) = -3*p**3 + 12 - 5 + 2*p**3 + 10*p**2 - 9*p. Is b(7) prime?
False
Is 51/2*126/27 prime?
False
Let s = 144 + 209. Is s composite?
False
Suppose 4*f - 79 = 3*p, -5*f = 3*p - 118 - 1. Let w(g) = -g**2 - 7*g + 3. Let n be w(-6). Let r = f - n. Is r prime?
True
Suppose -5 = 2*y - 11. Suppose -2*r = 5 - 15, 0 = -5*q + y*r + 230. Is q prime?
False
Let j = -228 + 359. Is j a prime number?
True
Let j(i) = -i**3 + 6*i**2 + i + 1. Let l(n) = n**2 - 5*n + 6. Let y be l(5). Is j(y) a composite number?
False
Let u be -1 + 3 - 1121*1. Let q = -328 - u. Is q a composite number?
True
Suppose 4*o = r - 0 + 3, -r + 1 = 0. Suppose -2*k + 17 = 4*a - o, 0 = -5*k - 4*a + 33. Suppose k*x + 5*m - 154 - 6 = 0, -4*m = -3*x + 103. Is x prime?
False
Suppose 4*c - q = 92, 2*c + 4*q - 69 + 23 = 0. Suppose g = -3*u + 140, 0 = -3*u - 4*g + 160 - c. Is u a composite number?
False
Let o = -1377 + 2853. Is o/42 - 1/7 a composite number?
True
Let i be 1*6*(-3)/(-2). Suppose 0 = 5*m - 1 - i. Suppose 0 = m*k + 3*k - 155. Is k composite?
False
Let j = -1 - -1. Suppose 6*q - 6 = 3*q. Suppose p + q*p - 63 = j. Is p prime?
False
Let m be -1 + 4 + 1 + -312. Let l = m - -567. Is l prime?
False
Suppose 0 = -2*j + 2*o + 8, 5*o - 16 = -4*j + 3*j. Is 38/j + (-1)/3 a prime number?
False
Suppose -3*z = -7*z. Suppose z*w = -2*w + 434. Is w a prime number?
False
Suppose 2*n + 1203 = -3*h - 0*n, 1194 = -3*h + n. Let t = -178 - h. Is t a prime number?
False
Suppose 3*a = y - 15, 2*y - y = 4*a + 20. Suppose o + 165 = -y*j + 4*j, -825 = 5*o + j. Let i = -116 - o. Is i prime?
False
Suppose -14 = 4*o - 522. Is o a composite number?
False
Suppose -332 = 2*z - 2*x - 3*x, -2*x + 164 = -z. Let d = -53 - z. Is d a prime number?
True
Is (-2)/(-17) - (-65748)/68 a composite number?
False
Let d = 5 + -3. Suppose 5*q - 1530 = -5*l, 20 = d*q + 2*q. Is l prime?
False
Let d(n) = 24*n**2 - 7*n + 4. Is d(2) a prime number?
False
Suppose m + 6 = 4*m. Let x(w) = 9*w**m - 4 + 3 + w**3 + 6 + 6*w. Is x(-8) a composite number?
True
Let