= -5*m, 0 = 2*m + 3*m - 3*w + 1007. Let f = m + 505. Is f composite?
True
Let t = 24 + -21. Suppose 0 = t*v - 906 + 45. Is v a prime number?
False
Suppose 0*f - 5*f = -3*j - 7, 0 = 3*f + 3*j - 9. Suppose f*d = 6*d + 1592. Is d/(-6)*(3 + 0) prime?
True
Suppose -18*d - 1100 = -13*d. Is (d/(-8))/5*22 a composite number?
True
Let c = -316 - -3534. Suppose 0 = 9*v - c + 536. Is v composite?
True
Let y(a) = -963*a - 67. Is y(-6) a composite number?
False
Is 3554/4*714/21 composite?
True
Suppose 8 = -2*w, 4*w + 46 = -5*z + 8*z. Let j(r) = -8*r**3 + 4*r**2 + 3*r - 2. Let x be j(-3). Let n = z + x. Is n a prime number?
True
Let i be (6/(-27))/(2/(-18)). Suppose -3*q + 204 = i*t + 2*q, q = t - 95. Is t a composite number?
False
Suppose -2*h + 0 = -4. Is (h - 1)/((-2)/(-182)) a prime number?
False
Suppose 4*d + 6*u - 12 = 4*u, -4*u = 4*d - 12. Let o(s) = 5*s**3 - 6*s + s**2 - 2 + 0*s + s. Is o(d) composite?
False
Let c(f) = -25*f**3 - 4*f**2 + 9*f + 11. Let p be c(-7). Let y = p + -4686. Is y composite?
True
Suppose 0 = -o + 4*q, 0*o + 2*o - 3*q + 25 = 0. Is 513 + o/(-5) + -3 composite?
True
Suppose -9*k - 2*n + 1355 = -8*k, 0 = -5*k + 2*n + 6811. Is k a prime number?
True
Is 74/259 + (-46961)/(-7) prime?
True
Is -6*(-2)/(-24)*-314 a prime number?
True
Let n(t) = -20*t + 208. Let r be n(10). Let u be 30/1*(-3)/2. Let j = r - u. Is j prime?
True
Let v = -64 + -158. Let b = -27 - v. Let l = b + -84. Is l a prime number?
False
Let h(s) = 14 - 2*s**2 + 3*s**2 - 3*s - 2 - 7*s. Is h(13) a composite number?
True
Let z(t) be the second derivative of t**4/6 + 11*t**3/6 - t**2/2 - t. Let c be z(-6). Suppose 0 = c*b - 3*b - 178. Is b a composite number?
False
Suppose -65*d + 8497 = -36*d. Is d a prime number?
True
Let v(p) = 1 + 1656*p**2 + 2 + p - 1 + 0. Is v(-1) composite?
False
Suppose 30*w - 3492 = 18*w. Is w a composite number?
True
Let n be 26/4 - 60/(-40). Suppose n*h - 2025 = 1151. Is h prime?
True
Let r(o) = 7236*o - 59. Is r(1) a prime number?
True
Is -1 - (-20)/(-5) - -4446 composite?
False
Suppose -v - 2*v + 240 = 0. Suppose v = -4*k - 24. Is (-3343)/(-15) - k/195 a composite number?
False
Suppose 4*l - 3*c - 160927 = 0, -3*l - 39*c + 120690 = -36*c. Is l a prime number?
True
Let n(h) = -6*h**2 - h - 1. Let l(b) = -31*b**2 - 4*b - 4. Let u(g) = 2*l(g) - 11*n(g). Let c be u(-2). Is 2/c + (-104631)/(-39) composite?
False
Suppose 0 = -4*f + 1 + 19. Let o = -8 + f. Is (-106)/o*3/2 prime?
True
Let k(a) = 3*a + 1. Let z be k(-1). Suppose 8*l + 6244 = -6*l. Is (3 + z)/((-2)/l) a prime number?
True
Let y(w) = 2117*w - 6. Let f be y(-2). Let x = f - -6189. Is x composite?
False
Suppose -4*y + 51424 = -3*p, -20063 = -5*y + 3*p + 44214. Is y prime?
True
Let j = 4038 + -831. Is 1/(-3*(-1)/j) a composite number?
False
Let c(r) = -r**3 - 3*r**2 - 2*r - 1. Let o be c(-2). Let v(g) = 7*g**2 + g. Let u be v(o). Suppose i = u*i - 2335. Is i composite?
False
Let g be 8/(-10)*20/(-8). Suppose s + 3*i = 155, -144 = -s + g*i + 16. Is s a composite number?
True
Suppose -37*t + 24444 = -t. Is t a prime number?
False
Suppose 4*y = 5*y + f - 72761, 25 = -5*f. Is y a prime number?
False
Let l(b) = b + 30. Let f be l(-12). Is (-2865)/(-4) - f/(-24) a prime number?
False
Let x(s) = s**3 - 3*s**2 + 13*s + 1. Let g be 4 - (-5)/(10/4). Is x(g) a composite number?
True
Suppose j = 4*j - 4*j. Suppose j = -5*g + 2*r + 6807, 0 = 4*g - r - 3*r - 5448. Is g prime?
True
Let l(s) = -s**2 - s + 1. Let o be l(-3). Let c(a) = 5*a**2 + a + 1. Is c(o) a prime number?
False
Let w(c) = -c**3 + 14*c**2 - 13*c + 1. Let b(j) = -2*j**3 + 27*j**2 - 25*j + 3. Let a(g) = -2*b(g) + 5*w(g). Suppose 24 = 2*p - 0. Is a(p) composite?
True
Is -3*(4 + -3) - (-1634)/1 a composite number?
True
Is (164 - 166) + (-61462)/((-2)/1) a composite number?
True
Is (2 - 16974/(-27)) + (-2)/(-6) composite?
False
Suppose -5611 = -j + 4*k, 5*j - 5*k = -7*k + 27945. Is j a composite number?
False
Suppose 2*z - 4*y = 178, 4*y = z + 6*y - 97. Let u = 838 - z. Is u a prime number?
False
Suppose 4*n - 76 = 4*u, -2*u - 5*n - 23 + 6 = 0. Let h = u + 19. Is h prime?
True
Suppose -5*u + 654 = 174. Suppose -u - 54 = -2*x + 4*k, 4*x - 318 = -k. Is x composite?
False
Suppose 0 = 5*p + 10, -4*n - 6154 + 19718 = -4*p. Is n a prime number?
True
Let x(a) = 28*a**3 + 2*a**2 - a - 1. Let m be x(2). Let f = m - 98. Is f a prime number?
True
Let o(u) = -2*u - 4. Let x be o(-3). Suppose -11*q = -12*q + 2. Suppose 5*g - 497 = -x*t, -8*t + 1257 = -3*t - q*g. Is t composite?
False
Suppose 3*j - 18887 = -4*x + 4*j, -5*x + j = -23608. Is x a prime number?
True
Suppose 21*g - 26*g = -125. Let c = g - 22. Suppose 0*j = c*j - 12, 5*j = 3*d - 346. Is d composite?
True
Is 5283*(-2)/(-2 + -4) composite?
True
Suppose 8*g - 132533 = 2435. Is g prime?
True
Let u = 27 - 30. Is ((-166)/(-8))/(u/(-12)) prime?
True
Let z = 1238 - -20. Suppose z = -v + 3*v. Is v prime?
False
Suppose -4*s = -2*s - 40. Suppose 5*v + 5 = s. Suppose v*d + 157 = 4*d. Is d composite?
False
Suppose 4*a + f = -11, -2*a - 2*f = -6 + 16. Is (-55)/(-30) + a + 2263/6 a composite number?
True
Suppose -7 + 2 = -b. Suppose 0 = u + b*u. Suppose 0*a - 5*a + 1255 = u. Is a a composite number?
False
Suppose q = -q + 12. Let v be 88/48 - (-1)/q. Let t(l) = 19*l**3 - l**2 - 4*l + 3. Is t(v) prime?
False
Let v(i) = i**2 - 1. Let m = -3 + 5. Let a be v(m). Suppose 0 = 5*t - 3*g - 599, -2*t + a = -g - 236. Is t prime?
False
Let k be 12462/3 + 0 - -1 - -1. Suppose 9*o = 13*o - k. Is o prime?
True
Suppose 116*o - 108*o - 40336 = 0. Is o prime?
False
Let a(y) = -9*y**2 + 54*y - 1. Let b be a(6). Let g(q) = 296*q**2 - 1. Is g(b) a composite number?
True
Let y(x) = x**2 - 13*x + 19. Let u be y(9). Let l(p) = -p**3 - 16*p**2 + 15*p - 15. Is l(u) composite?
False
Let s = 25960 - 17989. Is s prime?
False
Let i = -3909 - -6610. Is i a composite number?
True
Suppose g + 2*g = -48. Suppose -2*w = 3*x - 47, 2*w - 78 = -x - 21. Let i = g + w. Is i a prime number?
False
Let a(u) = 31*u**3 + 10*u**2 - 4*u - 14. Is a(5) a composite number?
False
Let n = 17 - 15. Suppose n*d = g + 2765, -g = d + 4*g - 1410. Is d a composite number?
True
Let i = -6 + 8. Let b = -15 - -17. Suppose b*m - 212 = -i*m. Is m composite?
False
Let u = -28 + 43. Let f be (76/6)/(1/u). Let d = 609 - f. Is d a composite number?
False
Let l = -21 - -25. Suppose 41 - 9 = 5*v + 4*d, 5*v + d = 23. Suppose 3*n - v*n = -l. Is n a composite number?
True
Suppose 0 = i + 3*n - n - 2229, 4*i - 8916 = 5*n. Is i a prime number?
False
Let m(d) = 7*d**3 + 8*d**2 - 14*d + 9. Is m(10) a prime number?
True
Suppose -2 = 4*w - 6. Let n(f) = 1107*f + 4. Is n(w) a composite number?
True
Let p be 792/(-81) + 4/(-18). Is (-8172)/(-52) + p/65 a composite number?
False
Suppose 2*u + 2*u = 0. Suppose m - 3*r = 15, m + 0*r + r - 23 = u. Is m/(-6)*14*-1 a prime number?
False
Is (5 + -4 - -2560) + 6 a prime number?
False
Let i = 31 - 22. Let p(v) = v**3 + 9*v**2 + 8*v + 7. Let h be p(-8). Suppose h*j + 68 = i*j. Is j a prime number?
False
Let k = -33 - -120. Let u = k + -50. Is u composite?
False
Let c(b) = -7*b**2 - 8*b + 2. Let a(g) = -g**2 + 1. Let t(w) = 4*a(w) - c(w). Is t(-7) a composite number?
True
Suppose 5*w - 15006 = 42*g - 44*g, -5*g - 4*w + 37481 = 0. Is g prime?
False
Suppose 4*o = 2*o + 64634. Is o composite?
True
Let s = 6 - 6. Suppose 4*g = -4*t + t - 39, -5*g - 5*t - 45 = s. Is (56/g)/((-4)/186) a composite number?
True
Let w(h) = 4*h**3 + 2*h**2 - 1. Let u(o) = -o - 10. Let r be u(-11). Let f be w(r). Suppose f*c + 5 = 0, -2*c + 368 = n + n. Is n composite?
True
Suppose 17*y - 28*y + 1562 = 0. Is y a composite number?
True
Let v be (-1)/(((-25)/685)/5). Suppose -4*d = -2*q + 162, 5*d - 4*d - v = -2*q. Is q a prime number?
True
Suppose 22*k - 630260 = 39618. Is k a prime number?
True
Let f(g) = g**2 + 3*g - 9. Let q be f(-4). Let v(n) = -n**3 - 5*n**2 - 2*n - 3. Let s be v(q). Let o = s - 0. Is o a composite number?
False
Suppose -5*j - 12 = -2*j. Let x(n) = -3*n - 6. Let p be x(j). Is (-112)/(-5) - p/(-10) a prime number?
True
Let s be (-2)/3*(-189)/6. Let v be (-24)/(-14) - (-6)/s. Suppose -2*o - v*o + 604 = 2*h, 137 = o - 3*h. Is o a composite number?
False
Suppose -3*g - 1 = -4. Is 0 - (1 - g) - -167 a composite number?
False
Suppose -26 = -3*t - t - 5*v