
Let f = 1450 - 2045. Let t = 845 + f. Suppose -3*v + 366 = -3*h, -t = -2*v - 3*h - h. Is v a prime number?
False
Suppose 0*z + z - 22 = 0. Suppose -2*v + z + 240 = 0. Is v a composite number?
False
Let l = -8 - -4. Let c(z) be the first derivative of -11*z**2 - 5*z - 3. Is c(l) composite?
False
Is (6/18)/((-3)/(-11169)) prime?
False
Let j = -356 - -693. Is j composite?
False
Let o(i) be the second derivative of -i**4/12 + i**3 + i**2 - i. Let y be o(6). Suppose -76 + y = -l. Is l a composite number?
True
Let n = -2 + 7. Suppose 6*h - n*h = 0. Suppose h = o - 0*o - 55. Is o composite?
True
Suppose z = -2*z. Suppose -3*r - 6 = z, 2*r - 43 = -o + 6*r. Is o composite?
True
Let g(i) = -i**3 + 10*i**2 - 8*i - 4. Is g(7) a composite number?
True
Let f = 11 + -7. Suppose 5*p = r - 13, f*r + 4*p = 2*r + 68. Let b = r - 13. Is b composite?
True
Let g(l) = -82*l**3 - 7*l**2 + 10. Is g(-3) a composite number?
False
Let n be 6/5*(4 - -1). Suppose -s = -5*a + 3*s + 13, -3*s = -3*a + n. Suppose 4*y = -y - a, -3*g - 2*y + 40 = 0. Is g a composite number?
True
Suppose -86 = 7*i - 9*i. Is i a composite number?
False
Let z = 140 + 227. Is z composite?
False
Let d(y) = 95*y + 2. Let l be d(-14). Is (-3)/(2/(l/12)) a composite number?
True
Let r(t) = t**3 + 11*t**2 - 2*t + 1. Let s be r(-11). Let b be (0 + 0)*(2 - 1). Suppose -y - s + 70 = b. Is y prime?
True
Let c(n) = -89*n. Is c(-1) composite?
False
Let j(u) be the second derivative of -u**5/20 + 2*u**4/3 - u**3/3 + 3*u**2/2 + u. Let q be (-2 - 1)/(30/(-70)). Is j(q) composite?
True
Let o be 2/(-1 + -1)*-4. Suppose 0 = 6*z - 3*z + 6, 5*h = -o*z + 7. Suppose h*b = -0*b + 105. Is b a prime number?
False
Let n(a) = 9*a**2 + 8*a + 3. Let w be n(-6). Let f = 480 - w. Is f a composite number?
True
Suppose 42*u - 44*u = -2962. Is u a prime number?
True
Let q be ((-4)/(-5))/(2/30). Suppose 5*k - q = 3*k. Is 117/k - (-3)/(-6) a composite number?
False
Let d(f) = 123*f**2 - 4*f - 4. Is d(-1) prime?
False
Let g(c) = -2*c**3 - c - 1. Let a be g(-1). Let r be (4 + -2)/((-7)/(-77)). Suppose -r = a*q - 4*q. Is q prime?
True
Let n = 23 + -10. Is n a prime number?
True
Suppose 2*h + 2*q + 10 = -3*q, 2*q = h - 13. Suppose 295 + 90 = h*x. Is x a prime number?
False
Let m = 158 - 83. Let a = 127 + m. Is a composite?
True
Is -2 - (2437/3)/(3/(-9)) a prime number?
False
Suppose 3*f = -t + 53 + 445, 5*t + 830 = 5*f. Let v = f + -25. Is v a composite number?
True
Let r = 43 - 35. Let z be (0 - (1 - 5)) + -1. Suppose r*u + 26 = a + z*u, -4*a + 87 = -3*u. Is a a composite number?
True
Let c(b) = 35*b**2 + 9*b + 5. Is c(8) prime?
False
Let d be -2*-2*(-11)/4. Let v(n) = -n**3 - 11*n**2 - n - 12. Let y be v(d). Is y - (-7)/(14/144) prime?
True
Let f = -3 - 0. Let x(q) = -5*q**3 + 5*q**2 + 3*q - 4. Is x(f) prime?
True
Let l(b) be the second derivative of -b**3 - b**2/2 + b. Let k be l(-1). Suppose 2*w = -w - r + 63, k*w - 107 = -r. Is w prime?
False
Let q be (-1)/(1/6466*-2). Suppose h - f = 648, -5*h - 6*f + 4*f = -q. Is h prime?
True
Let v be ((-2)/(-3))/((-2)/(-78)). Suppose -5*j - f = -4*f + 46, -4*j = 3*f + v. Is -3*31*j/24 composite?
False
Suppose -751 = -4*v - p, -3*p + 750 = 4*v - p. Let o = v + -105. Is o prime?
True
Let p(k) = k**3 - 8*k**2 + 5*k - 10. Let y be p(7). Let d = y + 67. Is d composite?
False
Suppose -3*d = -299 - 121. Let t = d + 438. Suppose -2*p + 0*p + 233 = 3*v, 5*p = -3*v + t. Is p composite?
True
Let r(m) = m**2 - 15*m + 6. Is r(15) a prime number?
False
Suppose -d - 6 = -4*d. Suppose m = d*c + 205, 0 = -3*m + 4*c - 8*c + 645. Is m composite?
False
Is (0 + -201)*(-38)/6 a composite number?
True
Let u = 14 + -8. Let f = 7 - u. Is (-1 + f - -89)/1 composite?
False
Let s(k) = k**3 + k - 2. Let i = 4 - 6. Let v be s(i). Let p = 25 + v. Is p prime?
True
Suppose -g + 3*g + 2 = 0. Let a = g + 1. Suppose a*u = -2*u + 74. Is u a composite number?
False
Is 119/(-2)*(-3 - -1) prime?
False
Let r(i) = -i**2 + 14*i. Let p = 25 - 18. Let g be r(p). Is 2/4*(g + 1) composite?
True
Suppose 2*n + 5*i - 25 = 0, 5*n + 0*i = -2*i + 10. Suppose -4*o + 1571 + 225 = n. Is o composite?
False
Suppose 0 = 5*o + 25, -o - 4*o - 5 = -5*g. Let q be 2*-1 - 16/g. Suppose 156 = 4*z - 4*r, -z - q*r = -2*z + 41. Is z a composite number?
False
Let u(q) = 3*q**2 - q - 3. Is u(-5) composite?
True
Let w = 3 + -1. Suppose 6*k - w*k - 1868 = 0. Is k prime?
True
Suppose 878 = -5*a + 4*h, -37 + 549 = -3*a - 5*h. Let r(g) = -g**2 + 8*g - 8. Let o be r(6). Is (a/4)/(-3)*o a composite number?
True
Is (-5958)/(-7) - (-4)/(-28) a composite number?
True
Suppose -4*u - 5*t + 1253 + 128 = 0, u = 3*t + 324. Is u prime?
False
Let u(x) = x**2 + x. Suppose -c - 4*l = 4, 4*c + 3*l = -2 + 12. Suppose -c*q = -9 + 21. Is u(q) composite?
True
Suppose 0*m + 440 = 4*o - 4*m, -m + 580 = 5*o. Is o composite?
True
Let j be (0 - 1)/(2/(-6)). Suppose -67 - 86 = -j*l. Let x = 104 - l. Is x a composite number?
False
Let l = 0 - -2. Let x = 56 + 0. Suppose -151 = -3*f + l*r, f + 2*r - x = -3*r. Is f a composite number?
True
Is -2 + 6/1 + 219 prime?
True
Suppose 4*z - 674 = -1766. Is (-10)/15*z/2 a composite number?
True
Let g(y) be the first derivative of 5/2*y**2 - 5 - 6*y. Is g(5) a composite number?
False
Suppose 3*q = 209 + 13. Is q prime?
False
Let n(y) be the third derivative of -3*y**4/2 + y**3/6 + 5*y**2. Is n(-1) a composite number?
False
Suppose -4*i + 14 = -2*i. Let o = i - 13. Is (-62)/o*(2 - -1) a composite number?
False
Let k(r) = -511*r - 3. Is k(-2) a prime number?
True
Suppose 208 = 4*l + 52. Is l prime?
False
Suppose 4*k + k = 15. Suppose k*v + 3 = -0. Let c = 32 - v. Is c a composite number?
True
Suppose 4*i + 2*w = 774, -704 - 75 = -4*i - 3*w. Suppose -5*q + 1086 - i = 0. Is q composite?
False
Let k be (1 - (1 + -3)) + -2. Let g(z) = z**3 - z**2 + z - 1. Let y be g(k). Suppose 2*i + 2 - 8 = y. Is i prime?
True
Let s = -63 + 356. Is s a composite number?
False
Let i be 168 + (1 - 1 - -2). Let r = i + 90. Suppose t = 5*t - r. Is t composite?
True
Let k(p) = -108*p**3 + p**2 - 2*p - 1. Is k(-2) a prime number?
False
Let u(y) = 83*y - 42. Is u(13) a composite number?
True
Let d(q) = 391*q + 3. Is d(4) a prime number?
True
Let z be 3/(-6) - (-34)/4. Let r be 6/24 - (-46)/z. Let v(u) = -u**3 + 7*u**2 - 4*u + 2. Is v(r) composite?
True
Let u be 9/6 - (-3)/(-2). Suppose u = 4*y + 12, -9 = 2*x + 6*y - y. Suppose 4*w - 6 = w, w = x*q - 28. Is q composite?
True
Let w be (16510/(-39))/(2/(-3)). Let i = 1140 - w. Is i a prime number?
False
Suppose 4*m + 2 = 5*m. Suppose 5*g = i + 39, g + m*i = -2*i - 9. Is g composite?
False
Suppose -o - 5*z + 1 = 0, 0*z + 1 = o + z. Let q(x) = 26*x**3 - x**2 - x + 1. Is q(o) prime?
False
Let f(m) = -m - 6. Let l be f(-9). Suppose -4*y - y + 198 = 3*p, 0 = -l*y - 2*p + 119. Suppose 4*j - 3*i - 51 = -0*j, -2*i - y = -3*j. Is j composite?
True
Let d be 6/2*9/3. Suppose -d + 271 = 2*t. Is t prime?
True
Suppose 907 = 3*v - 416. Suppose -q = -4*z + 1213 - 326, 2*z - v = q. Is z a prime number?
True
Suppose -3136 - 972 = -4*p. Is p composite?
True
Let t(m) = 20 + m - 25 + 6*m**2 + 0*m. Suppose -3*n = 2*n + 20. Is t(n) a composite number?
True
Let r be -1*(-1 - 0) - -3. Suppose a = 3*a - 5*y - 174, r*a - 3*y = 348. Is a prime?
False
Is 8/36 - (2 - (-6746)/(-18)) composite?
False
Let x(r) = -r + 2. Let a be x(0). Suppose -j - 3 = a*j. Is j*(-16)/2 + -1 a composite number?
False
Let n(q) = 2*q - 1. Let m be n(-1). Let w be 102 + (-6 - (m - 0)). Is ((-34)/(-6))/(3/w) composite?
True
Suppose -2*f + n = -n, -5*f + n = 12. Let t be -1 + (f/(-3) - 10). Let z = 17 + t. Is z a composite number?
False
Suppose 4*t = -0*t + 24. Let y(u) = u**3 - 6*u**2 + 7*u - 5. Is y(t) composite?
False
Suppose 10*n - 1398 = 4*n. Is n a prime number?
True
Let k(o) = o**2 - 6*o. Let b(f) = 6*f - 1. Let y(x) = -4*b(x) - 3*k(x). Let j be y(5). Let l = -24 - j. Is l prime?
False
Let r = -17 - -11. Let i be 532/6 + 4/r. Let v = i + -23. Is v a prime number?
False
Let s = -1493 - -2974. Is s composite?
False
Let s(l) be the first derivative of l**2/2 + 3. Let f be s(2). Suppose 0 = -f*c + c + 31. Is c prime?
True
Suppose -5*w = -0*w. Let i be (1 - w) + (-14)/(-7). Suppose 0*a + 259 = i*n - a, 0 = 4*n + 5*a - 320. Is n composite?
True
Suppose 5*q = 3*f + f + 16, -13 = -3*q - f