ite number?
True
Suppose -86 - 4 = -l. Suppose -2*q = -4 - l. Is q a composite number?
False
Let i = 75 - 30. Suppose -5*l = 10, -r - l = 2*l + 4. Suppose -g + i = r*g. Is g a prime number?
False
Suppose -3*x = -5*p + 2558, x = -3*p - 2*x + 1530. Is p prime?
False
Let q = 6 - -33. Suppose 2*y = 47 + q. Is y a composite number?
False
Let d = -1 + 7. Let t = -4 + d. Suppose 4*n - 72 = -4*y, -17 = -3*y + t*n + 57. Is y a prime number?
False
Let o = -8 + 8. Suppose 4*x - 3*x - 940 = o. Suppose -5*j + 3*q = -2*q - x, -3*j - 5*q = -556. Is j composite?
True
Let f be 14/49 - 40/(-7). Let j be (244/6)/(f/108). Suppose -4*z + j = -320. Is z a composite number?
False
Let g(t) = -2*t**3 + t**2 - t + 11. Is g(-5) prime?
False
Let m = -636 + 2785. Is m a composite number?
True
Let j(n) be the third derivative of n**6/120 + n**5/20 + 5*n**4/24 - n**3/3 + 7*n**2. Let p(a) = -a - 3. Let k be p(-6). Is j(k) a composite number?
False
Suppose -2*n - 1 = -3*c + 2*c, -2*c = -2. Suppose -h + 3*d + 14 = 0, -h + 4*d + 11 = -n*h. Is h prime?
True
Let o = 632 + -197. Suppose 36 = -3*q + o. Is q composite?
True
Let p be 3*-1*3/(-9). Is p/((2/(-658))/(-1)) prime?
False
Let x = 1213 - 662. Is x a prime number?
False
Let s be (-562)/(-5) + 14/(-35). Suppose -3*c - s = -i, 2*i = i - 5*c + 152. Is i composite?
False
Let x(a) = 17*a + 12*a + 5 + a. Is x(7) prime?
False
Let y = -1353 + 2192. Is y composite?
False
Let r be (4 + 1)/(0 - -1). Suppose 442 = r*w - 53. Suppose -3*q + 3*b + 108 = 0, 4*q + 5*b = -0*q + w. Is q a composite number?
False
Let l = 36 - 17. Suppose -4*g = -b + l, g - 3 = -8. Is (3 + b)/(2/13) a composite number?
False
Let m = 34 - 11. Is (-4 + m)*(-1 - -2) prime?
True
Is 529 + (-4)/(-14) + 144/(-63) a prime number?
False
Is 62/465 + 61663/15 a prime number?
True
Let v be 3/1 - (3 + 0). Suppose 5*a + 192 = 3*i, v = -2*i + i + 3*a + 68. Is i a prime number?
True
Suppose -247 = -2*o - x, -4 = -3*x - 1. Is o prime?
False
Suppose 3*c - 1 = 4*g, 4*g - 4*c = -0 - 4. Suppose 244 = g*i - 54. Is i prime?
True
Suppose -10 = -2*c + 2*l, 0 = 5*c + l + 4*l + 25. Let j be 0 + c*2/(-6). Suppose -5*p = 2*v - 13 - 37, j = v - p - 39. Is v prime?
False
Let j = -203 - -423. Suppose -j = 5*k - k. Is (k/(-2))/(1/2) prime?
False
Let y = -432 - -1271. Is y composite?
False
Let q(k) = -1710*k**3 + 4*k + 3. Is q(-1) prime?
True
Let r(c) = 2*c**2 + 4*c. Let v be r(-3). Let x = v - -3. Suppose 0 = 2*h - 107 + x. Is h prime?
False
Let h = 51 + -10. Suppose -2*y - h + 5 = 0. Is -21*4/y*3 prime?
False
Let f(v) = -v**3 - 22. Suppose -5*h = 5, h = c - 1 - 0. Let l be f(c). Let d = l - -37. Is d a composite number?
True
Let b(q) = -q**3 + 6*q**2 - 4*q - 3. Suppose 0 = 2*c + 3*c - 25. Let n be b(c). Suppose -61 = -5*f - 3*y, -4*f + n*y + 41 = 7*y. Is f a composite number?
True
Suppose 123 = 2*c + h, -4*c - 128 = -6*c + 4*h. Let x be (-123)/6*1*2. Let a = c + x. Is a composite?
True
Let k be -1*(0 - -2)*-16. Let a = 4 - -1. Suppose 2*m = 6, k - 229 = -a*u - 4*m. Is u a prime number?
True
Let p(s) = -9*s**2 - s. Let w be p(-1). Let q be (9*2)/((-6)/w). Suppose 0 = -5*j - 5*u + 110, u = 5*j - q - 92. Is j a prime number?
True
Let r(d) = -d + 8. Let w be r(6). Suppose 4*x + 2 = -5*h + 4, x = -2*h - 1. Suppose 0 = b - 3, -w*b - 124 = -t - x*b. Is t prime?
False
Is 3/(-3)*-2 + 44 prime?
False
Suppose 3*h - 98 = 2*h. Suppose c = -4*i - 25, -5*c + i - 5*i - 205 = 0. Let t = c + h. Is t a prime number?
True
Suppose 5*z - x = 526, z + x + 314 = 4*z. Is z composite?
True
Let r be 3/(-9)*(-1 + 1). Is 262 - ((-9)/3 - r) prime?
False
Let b(k) = k + 280. Let a be b(0). Suppose -2*p - 2*z + 234 = 0, 0*z = -2*p - 5*z + 228. Let u = a - p. Is u prime?
False
Let o be (1 - 3)/(4/(-34)). Suppose 3*q = o + 28. Is q prime?
False
Let a = 10 - -12. Let n = -136 - -193. Let m = n - a. Is m prime?
False
Let k(l) = -l**2 - l**2 - l + 6 + 3*l**2. Suppose 0 = -3*s + 4*s - 5. Is k(s) composite?
True
Suppose 5*n + 2565 = 5*k, 4*k + 4*n - 488 = 3*k. Suppose 4*f - k = -0*f. Is f prime?
True
Let u(i) = -41*i + 1. Let o be u(-6). Let y be (14/5)/(2/40). Suppose -o + y = -l + 5*n, -4*l + 2*n + 764 = 0. Is l prime?
True
Let b(r) = 77*r**2 - 2*r - 1. Let x be b(-1). Suppose -2*p = 5*v - 5*p - 114, 3*v = 5*p + x. Suppose -v + 296 = 5*t. Is t prime?
False
Let k(h) = 101*h - 3. Let w be k(2). Suppose -4*m - 4*z = -m - w, 4*z = -5*m + 337. Is m a composite number?
True
Let y(b) = -2*b + 2*b - b + 2. Let c be y(0). Suppose t - 105 = -5*p, c*t = -3*p + t + 63. Is p composite?
True
Let p be 7*(0 - 4/(-14)). Suppose 0 = p*c + 3*c - 565. Is c prime?
True
Let w = 3 + -1. Suppose -74 = -z - 0*z - 2*f, -w*z - 2*f = -148. Is z a composite number?
True
Let r(j) = 106*j + 8. Let q(y) = 35*y + 3. Let w(t) = -11*q(t) + 4*r(t). Is w(2) a prime number?
False
Let h = 10 - 2. Suppose -3*d + h = -2*d. Let n = d - 5. Is n composite?
False
Let l(c) = 5*c**2 + 4*c + 2. Let o be l(-12). Suppose -341 - o = -5*k. Is k prime?
False
Let y = 10554 - 6133. Is y a prime number?
True
Let t(k) = 84*k**2 - 2*k + 1. Is t(-2) a prime number?
False
Let m be 12/5*(-1935)/(-18). Let w = 417 - m. Is w prime?
False
Suppose -v = -b - 1, -5*v = -2*b - 6 + 1. Let u be (-5 - -1)*6/12. Is (v + u)/(3/(-609)) composite?
True
Let c(u) = u**2 + 5*u + 6. Let r be c(-8). Let o = r - -7. Is o prime?
True
Let o(g) = 6*g + 3. Is o(11) composite?
True
Is (-5)/(-15) + ((-4430)/3)/(-1) composite?
True
Suppose 4*s + 394 = 5*z + 3*s, 0 = 2*s - 2. Is z composite?
False
Let l(q) = 5*q**2 - 4*q. Is l(7) a composite number?
True
Is -2 - (-2 + -418 + 0 - 1) a composite number?
False
Suppose -2*u + z = u - 75, 2*u - 4*z - 40 = 0. Suppose -21*o = -u*o + 485. Is o composite?
False
Let w(s) = 37*s + 3. Let d be w(-2). Let q = d + 150. Is q a composite number?
False
Let l(g) = g + 1. Let p be l(2). Suppose 4*h = -5*r + 36, -h + 8 = p*r - 2*h. Is (-2 - 0)*(-38)/r a prime number?
True
Suppose -2*h = -7*h. Suppose 0 = 4*c - c + 3*p - 762, 5*c + 3*p - 1280 = h. Is c a prime number?
False
Suppose d + 3 = 2*d. Suppose 4*o - 14 = -2*b, 0 = 2*b + b - d*o + 6. Is -5*6*b/(-2) a prime number?
False
Suppose 0 = r - 7 + 4. Suppose -b + 596 = r*b. Is b composite?
False
Let z(v) be the first derivative of v**7/840 + v**6/40 + v**5/120 - v**4/6 - v**3/3 + 2. Let k(p) be the third derivative of z(p). Is k(-5) a composite number?
True
Let u(t) = 9*t**2 - 1 - t**2 + 0. Is u(-2) a composite number?
False
Let z be 0 - 0 - (-264)/2. Let q = 22 - -6. Suppose -z = -4*s - q. Is s a composite number?
True
Suppose 9*l = 4*l + 110. Is l prime?
False
Let f(t) = -t - 7. Let c be f(-8). Is c*3/(-3) - -36 a prime number?
False
Let m = -3 + 4. Let z be (15/(-6))/(m/2). Is 698/8 + z/20 a prime number?
False
Let x(j) = -1 + j + 0*j**2 - 4 + 4*j**2. Is x(-4) a composite number?
True
Let s = -19 - -86. Is s a prime number?
True
Suppose 0 = w - 3*w + 266. Suppose -4*h = -3*l + w, -3*l - 152 = 4*h - 37. Let r = -18 - h. Is r composite?
False
Suppose 0 = -4*c + 3 + 9. Suppose -b - c*b + 2088 = -4*f, 4*f = -20. Is b composite?
True
Let n(u) = 2*u**2 + 9*u. Let a(t) = t**2 + 9*t. Let d(b) = -3*a(b) + 2*n(b). Let k = 6 - -4. Is d(k) a prime number?
False
Let p(u) = -u - 1. Let b be p(-5). Suppose -v = 5*n + 186, b*n - 3*v = -7 - 138. Let a = n + 72. Is a composite?
True
Suppose 6 = -4*l + 2. Let b(g) = -3*g. Let q be b(l). Suppose t = q*t - 42. Is t a prime number?
False
Suppose -3*v + 8805 = 4*c, -2935 = -v + c - 6*c. Is v composite?
True
Let u be (-2)/(-1) + 0 + -8. Let s = 8 - u. Is s composite?
True
Let j be -1*(-6)/2*1. Let z be 131/j - 10/15. Let s = z - 22. Is s composite?
True
Let p = 305 + -54. Is p a prime number?
True
Let w(q) = 8*q**2 - 4*q - 7. Is w(-2) a composite number?
True
Suppose 4*j + 29 = 265. Is j prime?
True
Suppose -3*z - 4 = -13. Let g(c) = 5*c + 4. Is g(z) prime?
True
Let m(l) be the second derivative of 2*l**4 + l**3/2 + 3*l**2/2 - l. Let n be (30/(-21))/5 + (-24)/14. Is m(n) composite?
True
Suppose 2*x - 9 = x - 3*f, -9 = -4*x - 3*f. Suppose 0*y - 4*y - 2580 = x. Is -4*(1 + y/12) a composite number?
False
Let v(a) = -2*a**3 - 15*a**2 - 6*a + 7. Let o(i) = i**3 + 8*i**2 + 3*i - 4. Let m(k) = -7*o(k) - 4*v(k). Let r be m(-3). Is -2 + 18 - (r - 3) prime?
True
Suppose 0 = -x + 4*j + 179, 2*x + j - 418 = -3*j. Is 