 - 3*g + 2*m, -2 = -2*m. Let t = g + 2674. Is t composite?
True
Is 263424/44 - (-12)/132 prime?
True
Is 2 + 2951 - 9*10/15 a prime number?
False
Let p(k) = 117*k**2 + 37*k + 141. Is p(17) a prime number?
True
Suppose -4*o = -5*o + 33. Let u = o + -37. Is (286/3)/(u/(-6)) prime?
False
Suppose 3*a = -6*a + 27. Suppose -2*g + 148 = -g - 3*p, -a*p - 438 = -3*g. Is g prime?
False
Let k(t) = 14*t - 2. Let m be k(2). Let i be (-74)/(-14) + m/(-91). Suppose -i*l + 4*l + 195 = 2*b, -5*l + 5*b = -1020. Is l composite?
True
Let u(w) = 10*w + 4. Let k(d) = -d - 1. Let n(c) = -6*k(c) + u(c). Is n(6) a composite number?
True
Is 6/8 - 81798/(-24) composite?
True
Let t = -6417 + 9236. Is t a composite number?
False
Let v(a) = -4*a**2 + 38*a + 16. Let q be v(20). Let f = 2013 + q. Is f a composite number?
True
Let i be 10242/(-2) - (-9)/3. Is ((-1)/(-2))/((-3)/i) composite?
False
Suppose 6298*g = 6305*g - 167405. Is g composite?
True
Let l be 22/(-3)*(2125/5 + 4). Let b = l - -7537. Is b a composite number?
False
Let h be ((-72)/(-60))/((-6)/(-20)). Suppose 0 = 5*i + 2*m - 2518, -h*m - 857 = -2*i + 131. Suppose 2*n = -2*a + i, -218 = -n + 4*a + 33. Is n prime?
True
Is (-44493)/4*(225/(-27) - -7) a composite number?
False
Suppose 17 = 6*i - 7. Is -1115*(-3 - (-8)/i) prime?
False
Suppose 5*k - 3*j = 40, -k - 3*j = j + 15. Suppose 3*o - k*o = -l - 1070, 0 = -o. Let w = 1521 + l. Is w a composite number?
True
Suppose 0 = -2*k - 3*k + 5690. Suppose -128 - k = -2*u. Is u a composite number?
True
Suppose 4*x = 3*a + 15, -4*x + a + 0*a + 13 = 0. Suppose -10*o + 25597 = x*o. Is o composite?
True
Suppose -7*a = 2*a - 108. Is (a*(-1)/(-15))/(2/15) a prime number?
False
Is (0 + 178/(-3))/((-48)/1224) a prime number?
False
Suppose 164 = n - 750. Let d = n + -465. Is d prime?
True
Suppose -5*u + 4*q + 56507 = 0, -6227 - 50278 = -5*u + 5*q. Is u a composite number?
True
Suppose -5*p = -2*u + 12 + 2, -5*u - 5*p - 35 = 0. Is (-2)/u*(-32547)/(-38) prime?
True
Let l(r) = 17*r**3 + 4*r**2 + r - 1. Let m be l(3). Let u = -354 + m. Is u a composite number?
True
Suppose -479 = -13*h + 2628. Let m = 1192 - 730. Let i = m - h. Is i prime?
True
Suppose -4*p + 3623 = -6633. Suppose -h + 5*k + p = 0, -3*h - 5*k + 3345 + 4367 = 0. Is h a composite number?
True
Let w = 1823 + 6080. Is w a prime number?
False
Let z(y) = -4*y - 7. Let b be z(-3). Suppose 0 = -2*s - 39 - b. Let k = 135 + s. Is k prime?
True
Suppose -45295 = -2*x + 3*c + 23419, -5*x = -c - 171811. Is x a prime number?
False
Let d(j) = 5*j**3 + 13*j**2 - 13*j + 4. Suppose -q = -1, -4*u + q = 2*q - 21. Is d(u) composite?
True
Let v be ((-2)/(-4))/((-2)/(-28)). Suppose -2*g = -5*j + v + 15, -g + 4 = 5*j. Let y(z) = z**3 + 7*z**2 + 7. Is y(g) a prime number?
True
Let l(g) = 5*g. Let v be l(1). Suppose -v*a = -4*q - 65 - 432, -106 = -a + 3*q. Is a prime?
True
Suppose -4*z + 12 = -4*h, 5*h + 6 + 6 = 4*z. Suppose -z*a - 4689 = -3*o, 3*a - 1569 = -o + 7*a. Is o a composite number?
True
Let b = -331 + 1549. Suppose 3*m = 3*s + b, 0*s = 3*m + 3*s - 1236. Is m composite?
False
Let m(o) = -o**3 - 15*o**2 - 8*o - 7. Let k be 4/6*(-9)/2. Let d(s) = -3*s**2 - 5*s - 4. Let c be d(k). Is m(c) a composite number?
True
Suppose 4*f = 4*t - 14858 - 1706, -5*f - 4125 = -t. Let j(w) = w**3 + 42*w**2 + 38*w - 118. Let u be j(-41). Suppose -u*v = -0*v - t. Is v a prime number?
True
Let d = 99530 + -52957. Is d composite?
False
Is (-4842)/(-18) + (-1)/(2/4) a composite number?
True
Let f(r) = -1. Let a(y) = 4. Let z(h) = -2*a(h) - 9*f(h). Let o(v) = 58*v - 19. Let u(d) = o(d) + 6*z(d). Is u(7) a prime number?
False
Suppose -2*m + 170 = -4*o, 2*m - 30 = o + 4*m. Let t be (1*(-1)/4)/((-2)/(-8)). Is (o - -3)/(t - 0) a composite number?
False
Suppose -52*t + 48*t - 14627 = -5*b, 3*b - 4*t - 8781 = 0. Is b a composite number?
True
Let r = -8 + -39. Let s = 1 - -19. Let t = s - r. Is t a composite number?
False
Suppose 0 = -5*p - 95 + 30. Let u = 13 - p. Is u a prime number?
False
Let a(y) = 4104*y**2 + 12*y + 35. Is a(-2) a composite number?
False
Let b(g) = -3*g**2 - 7*g + 1. Let t be b(-3). Is 1/(t - (-1266)/253) a composite number?
True
Suppose 50*s - 186058 = 291592. Is s composite?
True
Suppose 0 = -4*x + 9 + 35. Let j = x - 11. Suppose -5*m = 10, j*d = -3*d + 5*m + 247. Is d prime?
True
Let v = -3074 - -4431. Is v composite?
True
Let i = -343 + 3413. Suppose -i = -5*o - 5*o. Is o composite?
False
Let p be 1330056/(-132) - 4/(-22). Is p/(-3) + (-1)/(-6)*2 a prime number?
True
Suppose -2*q - 5*y - 41 = 0, 0*q - 3*y - 7 = -q. Let i = q - -10. Suppose -i*p = w - 637, 4*w - 3*p = -4*p + 2534. Is w composite?
True
Suppose 30*a - 991708 - 1122722 = 0. Is a composite?
False
Let n(c) = 20*c - 6 + 209*c**2 - 27*c - 1. Is n(-2) a composite number?
True
Suppose -14*s + 12*s = -8. Suppose 5*h - 2*b + s*b - 64 = 0, -2*b = -2*h + 34. Is h a composite number?
True
Let v = 33172 - 6011. Is v a composite number?
True
Suppose -513 = -a - 4*m, 2460 = 4*a + a - m. Is a a composite number?
True
Suppose 6*u = 9 + 21. Suppose -2*s + 29743 = u*s. Is s a prime number?
False
Suppose 3*l + 0*l = 2*x - 3, -4*x = 3*l - 33. Let h be ((-387)/3)/(x/(-4)). Let k = h + 33. Is k prime?
False
Let d(z) = -2*z**3 - 38*z**2 - 19*z + 68. Is d(-21) a prime number?
False
Let m(b) = -b**2 - 9*b - 9. Let v be m(-7). Suppose -4*t + 2*c + 14 = 0, -2*t - 4*c = -c + v. Suppose t*a = 138 + 28. Is a a composite number?
False
Suppose m = -3*k + 39, 2 = 2*k - m - 19. Suppose -a = -5*a + k. Suppose 0 = a*u + 4*s - 4397, 2*s + 3559 = 4*u - 2333. Is u a composite number?
False
Suppose 12 = 4*a + h, 0 = -a + 5*a + 4*h. Suppose c = -5 + a. Is ((-1)/(-2))/(c/(-238)) a composite number?
True
Suppose 0 = 6*s - 5*s - 667. Is s composite?
True
Suppose -3*g = -4*g + 9. Let c be (16/4 - g)*-1. Suppose -3*x + 236 = -x + c*f, 2*f = 4. Is x a prime number?
True
Let u = 10296 - 6078. Let a = -2817 + u. Is a prime?
False
Suppose 2884*f = 2892*f - 13192. Is f a prime number?
False
Let h(c) = 2*c**3 - 5*c**2 - 2*c - 4. Suppose -3*p + 50 = 5*m, -4*p + 0 = -3*m + 1. Suppose -2*u = -m*u + 25. Is h(u) composite?
True
Let f = -4 + 285. Suppose c - f = -4*j + 576, 1080 = 5*j + 3*c. Is j a composite number?
True
Let f(d) be the second derivative of d**5/20 + 3*d**4/2 + 3*d**3/2 - 3*d**2 + 7*d. Let o be f(-16). Suppose -4*c + o = -810. Is c prime?
True
Is (-15)/(4/(242680/(-30))) prime?
False
Let y = -19626 - -69651. Is (5 - (-172)/(-36)) + y/27 a composite number?
True
Let d(i) = 15*i - 6. Let y(r) = 0 + 16*r - 4 - 1. Let w(g) = -6*d(g) + 5*y(g). Is w(-12) prime?
True
Suppose 38*h = 36*h - 2556. Let s = h - -1951. Is s a prime number?
True
Let q(y) = y**3 - y**2 + 3*y - 5. Let v be q(2). Suppose -v*n + 986 = -3*n. Is n a composite number?
True
Suppose -2*x = -5*r + x + 15, 2*r - 6 = -4*x. Let j(t) = 351*t + 2. Is j(r) a prime number?
False
Let z(n) = -2*n - 1. Let v be ((-3)/(-9))/(4/(-24)). Let o be z(v). Is ((-2)/5)/(o/(-1335)) composite?
True
Suppose 4*v + 3*c - 3143 = 0, 2*c - 787 = -v - 0*c. Suppose 48 = p + 4*w - 131, 2*w + v = 5*p. Is p composite?
True
Let a(s) = -6*s**3 + 16*s**2 - 14*s + 59. Is a(-13) a composite number?
False
Let f be (-2 - (-1 + 0))*4. Let j be ((-342)/(-54))/((-2)/6). Is (11/f)/(j/380) composite?
True
Let c(m) be the second derivative of m**3/6 + 121*m**2/2 + 27*m. Is c(0) a prime number?
False
Suppose -h - 3*h + 1272 = 0. Let k = h - 127. Is k a composite number?
False
Let z(a) be the third derivative of a**5/15 + a**4/4 - a**3/6 - 2*a**2. Let o = 178 - 183. Is z(o) composite?
True
Suppose 10*t - 11*t + 129 = 0. Let q = 572 + t. Is q a prime number?
True
Is (-15)/6 + 117382/4 prime?
False
Let h = 127 + -83. Suppose -v = 3*v - h. Is v a composite number?
False
Suppose 3*x - 5*x = -14642. Is x a prime number?
True
Let u(s) = 6*s**2 + 23*s + 48. Is u(-26) a prime number?
False
Let t(l) = -l**3 + 10*l**2 + 8*l - 7. Let k be (-38)/57 + 1 + 28/6. Is t(k) a prime number?
False
Suppose 3*x - 173924 = -5*t, -4*x + 164496 = 4*t + 25360. Is t prime?
False
Let i = -306 - -680. Let p be (-10 - -7)*i/(-3). Let u = -247 + p. Is u a composite number?
False
Let t(f) = -4*f. Let g be t(-1). Suppose s - 3*s = -g*m - 12, -4*m - 18 = s. Is -53*2/4*s a composite number?
False
Let k(r) = 141*r**2 + 3*r + 7. Is k(-4) 