= c - -37. Is w a composite number?
True
Suppose 2*m + 2*m = 0. Suppose 5*u - 5 = 5*i - m*u, -4*i = u - 11. Is i composite?
False
Let u = 650 + 82. Let c be (1 - -1)*(-2 - -4). Suppose c*t + 5*f - u = 435, f + 1466 = 5*t. Is t a prime number?
True
Suppose -5*n + 75 = -25. Suppose 2*h = 4*h - n. Is h composite?
True
Let l be (0 + 1 + 1)/(2/59). Suppose 0*x - 20 = -5*x. Suppose 121 = 3*o + x*h, -5*h + l = 3*o - 57. Is o a prime number?
True
Suppose 516 - 33 = 3*y. Let b be (y + -2)*(-2)/(-6). Suppose -2*p + 3*p = b. Is p a composite number?
False
Suppose 3*z - 5 = 2*z, 13 = -3*v + 2*z. Is 158 + 3/(-3)*v a composite number?
True
Let a(l) = 24*l**2 - 5*l - 23. Is a(-10) a composite number?
True
Let w = -15 + 94. Is w composite?
False
Let r be (2 + (-3)/(-3))*1. Suppose -r*g = -a + 23, -3*a + 0*a = -g - 69. Is a a composite number?
False
Let b(x) = 4*x - 3. Let u(j) = j**2 - j - 7. Let y be u(5). Let f = -3 + y. Is b(f) a prime number?
True
Let k be (-12)/(-10)*(-10)/(-4). Suppose -2*n = -4*c - n + 762, 5*c - 949 = k*n. Is c a composite number?
False
Let b = 358 + -213. Is b a composite number?
True
Suppose -7*t = -4*t - 1659. Is t a composite number?
True
Let h(r) = -2*r**3 + 10*r**2 + 11*r - 6. Let y be h(10). Let b = -529 - y. Is b prime?
True
Suppose -22 = -3*p - 10. Suppose p*i - 3*j = 3*i - 23, -4*i - 106 = 2*j. Let q = 60 + i. Is q a composite number?
True
Suppose c = 3*q + 354, -4*c = 3*q - 4*q - 1405. Let d = -140 + c. Is d composite?
False
Suppose -3*j - 13 - 6 = -2*f, -2*j + 4 = 2*f. Let p be -3 + 0/(-2) - -6. Suppose -6 = p*z, f*l - 5*z + z - 173 = 0. Is l a composite number?
True
Suppose u + 5*j = 472, 4*j - 2*j - 920 = -2*u. Is u composite?
False
Let h = -199 - -281. Suppose -j + 75 = -h. Is j a composite number?
False
Let z(q) be the first derivative of -9*q**2/2 + q + 2. Let w be z(1). Let p(a) = -a**3 - 7*a**2 - 6*a + 1. Is p(w) a composite number?
False
Let g(s) = -s**2 + 6*s + 2. Let c be g(6). Suppose u + 4*m = 365, -c*u - 5*m = -7*u + 1875. Is u prime?
True
Let q(j) = 5*j**3 + 3*j**2 - 2*j - 1. Let f(r) = -3*r. Let x be f(-1). Is q(x) composite?
True
Let o be (-4)/(-14) + 104/28. Suppose 4*u - 180 = -o*f + 416, 0 = 5*u. Is f prime?
True
Suppose 4*f = 2*v - 342, 5*f + 13 + 7 = 0. Is v a prime number?
True
Let n = 130 + 73. Suppose n = -15*j + 16*j. Is j composite?
True
Suppose 0 = -19*w + 17*w + 18. Is w prime?
False
Let g(u) = u**2 + 3*u + 3. Let f be g(-2). Let c = f - -4. Suppose c*n = -0*n + 35. Is n a prime number?
True
Let y(x) = 21*x**2 + 1. Let i be y(-1). Suppose i = -5*h + 132. Is h a composite number?
True
Let d be -4*(1 - (0 + 2)). Let j(w) = -w**3 + 3*w**2 + 5*w - 6. Let q be j(d). Is 0 + q - (-1 + -14) a composite number?
False
Is (0 + -5)*40818/(-30) a composite number?
False
Let h = 1 - -3. Suppose -8 = h*x - 4*p + 12, 0 = -2*x - 3*p + 15. Suppose x = 3*a + 64 - 166. Is a composite?
True
Let q(k) = -21*k. Let g be q(-4). Suppose 3*i + 5*n - 20 = 192, n + g = i. Is i prime?
True
Is 1558 + (-2)/8 + 5/4 a composite number?
False
Let a(s) = -116*s**2 + s. Let p be a(1). Let c = 248 + p. Is c a prime number?
False
Suppose -4*i + 2539 = -169. Is i composite?
False
Suppose -5*p - 15 = 3*h, p + p + h + 5 = 0. Suppose -84 = -4*s - p*s. Is s a prime number?
False
Suppose -3*x + 3589 = 847. Is x prime?
False
Let t be 92/(-16) - (-1)/(-4). Let a(j) = j**3 + 5*j**2 - 1. Let f be a(t). Let x = -18 - f. Is x a prime number?
True
Let t = 1331 + -510. Is t composite?
False
Let h(q) = -q**2 - 3*q + 4. Let r be h(-5). Let d = r - -20. Is d composite?
True
Let y = -18 - -30. Is y/3 + 21 - 4 a prime number?
False
Let w be (2 - 0 - 1) + 321. Let v(y) = y**3 - 5*y**2 + 6*y - 2. Let f be v(4). Is w/6 - f/9 prime?
True
Let x be ((-3)/(-9))/(3/18). Suppose -x*q + 1 = -37. Is q a composite number?
False
Suppose q + 3*x = 810, -6*q + x = -4*q - 1641. Suppose -244 = 5*m - q. Is m composite?
True
Is 54 - -1 - (7 - 5) composite?
False
Let j(s) = 119*s**2 + 12*s + 6. Is j(-5) a composite number?
True
Let p = 7 + -2. Suppose -p*o = 3*b - 9 - 6, b - 25 = -5*o. Suppose o*i + 183 = 3*r + 3*i, -2*r + 150 = 5*i. Is r prime?
False
Let s = 4536 - 2041. Is s prime?
False
Let f(i) = 36*i**2 - 3*i + 2. Let m(t) = 54*t**2 - 4*t + 3. Let r(b) = -7*f(b) + 5*m(b). Is r(-2) a composite number?
False
Suppose 0 = 5*n + 3*g + 4761, n + 5*g + 2847 = -2*n. Let s = 535 + n. Let u = -88 - s. Is u a prime number?
True
Let v(k) be the third derivative of 1/3*k**3 + 0*k - 3*k**2 + 0 + 1/4*k**4. Is v(2) a composite number?
True
Suppose -z - k + 159 = -5*k, 5*k - 494 = -3*z. Is z a prime number?
True
Let t be (-1958)/(-6) + (-3)/9. Suppose t = 4*l - 22. Let s = -18 + l. Is s prime?
False
Let k(g) = -g**3 + 8*g**2 + 10*g - 7. Let q be k(9). Suppose 4*p - 6*n + 61 = -n, q*p - 4*n = -32. Is 799/9 + p/(-63) a composite number?
False
Let v(u) = 3*u**3 - 5*u**2 + u + 3. Let b(o) = -o**2 + o + 1. Let y(q) = 2*b(q) - v(q). Is y(-2) prime?
False
Suppose 6*c - 2*c - 812 = 0. Is c a composite number?
True
Suppose 5*n - 3964 = n. Suppose -n + 2466 = 5*k. Is k prime?
False
Let t be (4 + 1 + -3)/(-1). Is 0 + 267/(-6)*t a composite number?
False
Suppose -3*p = 0, -j - 4*p = 4*j - 1030. Is j a prime number?
False
Suppose -3*j + j + 17 = 3*l, -5*l + 30 = 5*j. Suppose -784 = -3*p + 5*g, 3*g + j - 4 = 0. Is p a composite number?
False
Is (-1 - 1)*(-3 - 10) composite?
True
Suppose -8 = -5*w + 7. Let d be (5/w)/((-1)/(-3)). Let a(l) = 5*l**2 + 8*l - 4. Is a(d) prime?
False
Let r(z) = 4857*z**2 + 3*z + 2. Let x be r(-1). Suppose 2*i + 0*i + x = 4*g, 2 = -i. Is g a prime number?
True
Let n be (-158)/(-8) + (-2)/(-8). Let j(u) = -10*u**2. Let q be j(-1). Let a = q + n. Is a composite?
True
Suppose 2*n = -8, -3*q - 3*n = -11 - 115. Is q a composite number?
True
Suppose -2*m - 4 = -4*m. Suppose -m*b = b - 18. Is b a composite number?
True
Let u = 2 - 12. Is (-674)/u - 2/5 composite?
False
Let l = -65 - -192. Is l a composite number?
False
Let y = -1855 - -2642. Is y composite?
False
Suppose -v + 3 + 0 = 0. Suppose -4*r + x = 5, r - 4*x + 20 = -v*r. Suppose 5*h = -r + 55. Is h a prime number?
True
Suppose -4*k = -k - 6. Is 3/(18/201)*k prime?
True
Suppose -5*u = -0 - 5. Let d = u + 4. Suppose -d*z - 120 = -515. Is z a composite number?
False
Let d(t) = 131*t**2 - t - 1. Suppose -4*j = -c - 9, -1 = -c - j - 0. Is d(c) prime?
True
Let m(x) = -x**3 - 8*x**2 - 8*x - 5. Let j be m(-7). Suppose -5*w + 369 = -j*l - l, 290 = 4*w - 5*l. Suppose 3*o = 3*f + 2*f - w, -2*f + 30 = -3*o. Is f prime?
False
Suppose -2*d - 3*z = -10771, -3*z = -2*d + 3*d - 5390. Is d a composite number?
False
Suppose -q + 35 = -49. Suppose -2*s = 2*s - q. Is s a composite number?
True
Let n(y) = y**3 - 26*y**2 - 46*y + 7. Is n(30) prime?
False
Suppose f = 2*k + 487, -761 = -3*f + 5*k + 700. Is f prime?
True
Let r(c) = c**3 - 3*c + 2. Let b be r(2). Is (b - 2)*(-113)/(-2) a prime number?
True
Let t = -280 - -501. Is t composite?
True
Let y(f) = -113*f - 3. Let j be y(4). Let n = j + 1042. Is n composite?
False
Let q(r) = -6 - r + 10 - r**2 - 5 + r**3. Is q(5) a prime number?
False
Let c(p) = 76*p + 8 + 6 + 1 - 4*p. Is c(7) a composite number?
True
Suppose 215 = o - 68. Let b = o + -140. Is b composite?
True
Suppose 3*a - 8 = 1. Suppose r - a*r = -14. Suppose -2*j - 53 = -5*j + 2*c, 2*c = -j + r. Is j a composite number?
True
Suppose 3*c + 2*i = 31, -3*i + 24 - 2 = c. Suppose c = 2*y - 5. Is y a composite number?
True
Let o(h) = -22*h + 2. Let a be o(-8). Is a/(-6)*(0 - 3) a prime number?
True
Let y(r) = 4*r**3 - 3*r**2 - r + 1. Is y(6) prime?
True
Suppose 15*t - 1210 = 15095. Is t prime?
True
Let i = 724 + -258. Suppose 2*t - i = -148. Is t a prime number?
False
Let s = -12 + 6. Is (-5)/30 + (-211)/s a composite number?
True
Suppose 5*q - 19 = 3*p, -q = -2*p - 0*p - 8. Is q + 52 + (-3)/3 a prime number?
True
Let m = -257 + 506. Is m prime?
False
Suppose -4*h + 8 = -0*h. Suppose h*x = -2*s - 2*s + 18, s - 4*x = 0. Is (-6)/s*(-42)/9 a prime number?
True
Let f(m) = m**3 - 9*m**2 + 3*m - 6. Let k be f(9). Suppose 0 = r + 2*r - k. Let o = -4 + r. Is o prime?
True
Suppose 16361 = 4*z + 3*y, 3*y + 12275 = 3*z + y. Is z composite?
False
Suppose 0 = -4*a - o + 47, 5*o = 2*a - 0*a - 29. Let b be -2 - 4/(a/(-21)). Suppose -b*c = 2*n - 106