*3 - 7*x**2 - x - 1. Let l(b) = -4*k(b) + 3*z(b). Is l(g) composite?
True
Suppose 3*c + 1 - 3 = -2*y, 5*c = -10. Suppose y*j = 5*j - 1259. Is j composite?
False
Let y be (21/(-2))/(1/(-2)). Suppose y = 3*w - 0*w. Suppose 4*t + 2*g = w*g + 439, -5*t + 4*g = -542. Is t a prime number?
False
Suppose 5*g + 3948 = g. Let s = g - 206. Is (0 + 0 - 1)*s composite?
False
Let k(y) = -24*y**3 - 13*y**2 + 21*y + 7. Let z(g) = -13*g**3 - 7*g**2 + 11*g + 4. Let h(b) = -6*k(b) + 11*z(b). Let u be 1 + (-2 - -1) - -3. Is h(u) composite?
False
Suppose -6*p + 3*p = 0. Suppose p*t + 444 = t. Let u = 707 - t. Is u a composite number?
False
Let k(z) = z**2 + 8*z + 7. Let r be k(-7). Suppose r = -o - 7 + 12. Suppose 0 = 2*t + y - 418, -433 = -o*t + 4*y + 638. Is t composite?
False
Suppose 8 - 2 = s. Suppose -4823 + 641 = -s*b. Is b a prime number?
False
Let p(m) = 123*m + 27. Let j be p(-6). Is j/(-3)*(-2)/(-6) composite?
False
Suppose 0 = -w - 14 + 30. Suppose 0 = -10*a + w*a - 2676. Is a prime?
False
Suppose -4*y = 4*d + 8, -2*d + 4*y = 8*y - 2. Is ((-1819)/d - 1)*10/4 a composite number?
False
Let g(f) = 3*f**3 + 5*f**2 - 8*f. Let n be g(-6). Let t = n - -715. Is t prime?
False
Suppose 41*r - 43*r = -5*x - 61277, 5*r = 3*x + 153164. Is r a composite number?
False
Let d = 5345 - 3544. Is d a prime number?
True
Suppose 15 = 4*a - 1. Suppose -5*r = -3*i + 8442, 4*r = -a*i + i + 8469. Is i a composite number?
False
Let o(q) = 5750*q + 355. Is o(5) prime?
False
Let f = -1323 + 3032. Is f prime?
True
Suppose -h - 4*i + 1891 = 0, 6*i + 3 = 3*i. Is h composite?
True
Let b = 6388 - 4266. Is b composite?
True
Suppose 5*a - 10330 = -5*d, -5*a + 0*a = -4*d - 10303. Is a prime?
True
Let u(o) = -o**2 - 16*o + 2. Let r be u(-13). Let n = 29 - r. Is (7/2)/(n/(-120)) composite?
True
Let s = 17 - 53. Let h = -301 + 210. Let g = s - h. Is g a prime number?
False
Suppose 0 = -7*p + 34404 + 15877. Is p a composite number?
True
Suppose 3*d + b = 9179, 13*b - 9*b + 16 = 0. Is d prime?
True
Let q(r) = r**3 + 4*r**2 - 4*r + 5. Let g be q(-5). Let h be -1 - ((-4 - -1) + g). Suppose 546 = -3*x - u + 5155, 4*x = -h*u + 6148. Is x a prime number?
False
Let r(l) be the first derivative of -5*l**2 - 15*l + 23. Suppose -n = -3*n - 20. Is r(n) a prime number?
False
Suppose 2*j + 2*z - 18691 = -91, z - 37215 = -4*j. Is j prime?
False
Suppose -44*w = -45*w + 19. Let d be (-110)/(-3) - (-4)/(-6). Let n = d + w. Is n composite?
True
Let r(q) = -1596*q - 87. Is r(-3) prime?
False
Suppose 2*w - 6*w = -20. Suppose 638 = w*x - p, 377 = 4*x + 5*p - 116. Is x prime?
True
Let c = 46352 + -27405. Is c composite?
False
Let b = -66 + 70. Suppose 0 = 5*g - g. Suppose b*t = -3*d + 314, -2*d + 3*t = -g*t - 215. Is d prime?
False
Suppose 5*h + 17 = -3. Is (1*(-1688)/h)/2 a composite number?
False
Let j = -1196 - -2340. Suppose -z - 4*a = -3*a - j, 0 = 2*a - 6. Is z a composite number?
True
Suppose 34*t = 35*t - 10213. Is t a composite number?
True
Let w(t) = 0 + 102*t - 2*t - 6 + 5. Suppose 2*a - 6 = 4. Is w(a) composite?
False
Let c be 66/9 + (-1)/3. Let j(a) = -8*a + a + a + c*a**2 - 1 - a. Is j(6) a prime number?
False
Let s(g) = -172*g**2 + 2*g + 2. Let w be s(2). Let j be w/8 + (-3)/(-12). Let p = j - -206. Is p prime?
False
Suppose 5*s + 90 = 5*b, 8*s + 64 = 4*b + 6*s. Suppose 12*y = b*y - 764. Is y prime?
False
Let s be (6 + -5 + -38)/(3/3). Suppose 3*f - 546 = -2*f - 2*w, -4*f = 2*w - 438. Let t = f - s. Is t a composite number?
True
Suppose 2*z - 32 = 12. Is (-322385)/(-77) - (-4)/z a composite number?
True
Suppose 4*h + 40 = 4*l, -3*h - 2*l - 9 = 1. Let k be 7 - (-4)/h*3. Suppose k*m = 234 + 101. Is m a composite number?
False
Suppose 2*y = 177 + 59. Let z = 192 - y. Suppose z = -3*l + 1067. Is l a composite number?
False
Suppose 5*d - 18 + 3 = 0. Suppose 0 = d*r + 8 + 10. Let p(g) = -345*g - 17. Is p(r) composite?
False
Suppose -4*v - 2*l + 6 = -2*v, -11 = -3*v - 2*l. Suppose -4*a = -8, -v*a = -3*p + 1226 + 111. Is p composite?
False
Let h(w) = -5*w**2 - 6*w - 10. Let y be h(-9). Let g = y - -630. Is g composite?
False
Suppose 8 = -2*t - 4*l, 4*t + 10 = 5*t - 5*l. Suppose -3*k - 484 = -1555. Suppose t = -6*v + v + x + k, -v + 69 = x. Is v composite?
False
Let r = 30 - 26. Is 1035 + r + 8/2 composite?
True
Let u(d) = d**2 - 2. Let y be u(-4). Suppose -5*a = -5*j, 3*a - 16 - y = -3*j. Suppose -j + 336 = m. Is m a prime number?
True
Let j = -9 - -3. Let m(l) = 3*l**2 - 4*l - 1. Is m(j) prime?
True
Suppose -4*x = -0 - 8. Let w = -515 + 517. Suppose -2*p = -w*l - 0*l + 38, x*l = p + 33. Is l a prime number?
False
Suppose 137*d - 303556 = 115*d. Is d prime?
False
Suppose -5*i = 3*t - 2371 - 1449, -3*i + 2*t + 2292 = 0. Suppose 0 = -4*z - 4*n + n + i, 2*z - 382 = 5*n. Is z a prime number?
True
Let m(k) = -5*k**2 - 28*k - 26. Let i be m(-6). Let w(r) = -r**3 + r**2 + r - 5. Let l be w(-4). Let u = l + i. Is u composite?
True
Suppose -c + 18 = -2. Suppose 4*j = 4*q - 20, 4*q - c = -0*j + 3*j. Suppose -128 - 57 = -q*b. Is b composite?
False
Let m(t) = -17472*t**3 - t**2 + 2. Is m(-1) a composite number?
True
Let w(c) = -8*c**2 - 9*c + 3. Let i be w(11). Let f = i - -1941. Is f prime?
True
Let u = 18 + -10. Suppose 3*g = u*g. Suppose g = p - 5*z - 142, 5*p - 800 = -0*p - 5*z. Is p composite?
False
Let z(c) = c**3 - 3*c**2 - 12*c - 5. Let h be z(9). Suppose 2*i + 67 = -b + 202, h = 3*b - 2*i. Is b a composite number?
False
Let o be (-14)/6 - -2 - (-20)/6. Suppose 0 = -3*x - 4*c + 6991, o*x = 4*c - 1435 + 8442. Is x prime?
True
Let f = -205 + 430. Suppose f = -6*y + 1491. Is y a composite number?
False
Suppose -5*z = -4*u + 23632, 4*z + 5031 = u - 888. Is u prime?
True
Let u(i) = i**3 + 13*i**2 - 7. Let a be ((-36)/(-6))/((-4)/6). Let f be u(a). Is (f/(-3))/((-1)/3) prime?
True
Is (-14)/((-6)/((-30270)/15125) + -3) composite?
True
Let q(y) = -y**3 + 4*y**2 + 4*y + 7. Let i be q(5). Suppose -p - 2*d + 75 = 0, -5*d = -p - i*d + 85. Is p a prime number?
True
Let f(j) = 409*j**3 - 7*j**2 + 8*j + 9. Is f(3) composite?
True
Suppose 3*m + 12 = m. Let u(l) = -201*l**2 + 4*l + 32. Let p be u(10). Is (m/9)/(8/p) composite?
False
Let q = 2814 + -1791. Suppose -2*l + q + 35 = 0. Is l a composite number?
True
Let i be (11 - 10) + (0 - -2). Suppose i*w = -5*o - 2*w + 2950, -5*o + 2*w + 2929 = 0. Is o prime?
True
Let s = -7 - -40. Let c = s - -30. Suppose c = 4*v + 11. Is v composite?
False
Let g = 4401 + -3002. Is g prime?
True
Is (60041 + 1)*(13 + (-1155)/90) a composite number?
False
Let f(a) = 24*a**2 + a - 40. Let p = 133 - 128. Is f(p) composite?
True
Suppose 43*l - 46*l + 40569 = 0. Is l a prime number?
True
Let k = 12 - -2. Is 4100/k - 5/(-35) prime?
True
Let n(u) = -3*u + u - 16 - 2*u**2 - 3*u + 3*u. Let q be n(0). Is 3*4/(q/(-764)) composite?
True
Suppose 15*z = 69671 - 116. Is z composite?
False
Let m = 58 + -35. Let y = -18 + m. Suppose -y*f + 173 = -1022. Is f a composite number?
False
Suppose 2*u - 6*u - 30748 = -2*t, 5*t + 3*u = 76922. Is t composite?
True
Let s(g) = -48*g - 4. Let b be s(-14). Let r = b + -401. Is r composite?
True
Let p = -12 - -26. Suppose -3*t - p = -t. Is (-2)/14 + (-1814)/t a prime number?
False
Let a = 6 + -4. Let r be a + (-1)/(-2)*2. Suppose 4*v + 321 = r*m + v, 2*v + 105 = m. Is m prime?
True
Suppose 0 = 2*i + 4*i - 42. Let t = 11 - i. Suppose -t*k - 214 + 1266 = 0. Is k composite?
False
Let k(t) = 251*t**3 - t**2 - t + 3. Suppose -6*i + 18 - 6 = 0. Is k(i) prime?
False
Let d be 16/(-6) - 2/(-3). Let h = d + 5. Suppose 0*i + h*i = 753. Is i composite?
False
Suppose -2*x + 135 = 5*m, -2*x + 4*m + 66 = -60. Let h(a) = -a**3 - 39*a**2 + 2*a + 32. Let o be h(-39). Let n = o + x. Is n a prime number?
True
Let z = 56 - -20. Suppose 2*j = 4182 - z. Is j composite?
False
Suppose 175*g - 190*g + 184215 = 0. Is g prime?
True
Let d = 106390 + -75575. Is d a composite number?
True
Let z be (165/(-30))/((-2)/(-4)). Let o = z - -26. Is o a prime number?
False
Suppose 8*f - 13*f = -1485. Suppose 82 = s - f. Is s composite?
False
Let d = -83 + 147. Suppose -d*j = -65*j + 1259. Is j prime?
True
Let t be (-3)/(-12) - 28/(-16). Suppose -5*a + 4*y + 2633 = 0, -5*a + t*y + 1155 = -1484. Is a prime?
False
Let u = 21192 + -5191. Is u prime?
True
Suppose 3*s - 11924 = -4*r - r, -3*s - 4*r = -11923. Is s a p