rime number?
True
Suppose -4*a = -5*g + 30, 0 = -5*g - 3*a + 3 - 8. Suppose 3*y + 5*q = 8799, 2*y + g*y = -4*q + 11732. Is y prime?
False
Let h = -52 + 56. Suppose 0 = -f + 5*f. Suppose -h*q + 589 + 159 = f. Is q composite?
True
Suppose 9*o - 97 + 34 = 0. Suppose 5*t = o*t - 266. Is t a composite number?
True
Suppose -4*f - 48 = -2*f. Let y be (f/(-60))/((-1)/(-15)). Suppose -1324 = -y*s + 2*s. Is s prime?
True
Let v(l) be the third derivative of -l**6/24 + 5*l**4/24 + 7*l**3/6 - 44*l**2. Suppose 0 = -2*n + 2*f - 3*f - 4, -2*n = -5*f + 16. Is v(n) prime?
True
Suppose -5283 = -3*p + 3*n, 22*p - 3*n = 18*p + 7042. Is p prime?
True
Let v = 25 + -27. Is 421011/162 + v/(-12) a composite number?
True
Suppose 0 = -g - 3 + 6. Let u(l) = 4*l - 2*l + g - 10*l. Is u(-7) composite?
False
Let u = 11 - 8. Suppose u*b + 2*v - 5*v = 12, -2*b + 5*v = -17. Suppose -x + b + 37 = 0. Is x a composite number?
True
Suppose -13*j + 16*j = 12. Suppose -j*b + 3403 = -2*p + 7*p, -3*b = -5*p + 3389. Is p a composite number?
True
Suppose -2996 = -14*z + 48930. Is z composite?
False
Let n = 2 + 0. Let y be 190 + 6/1 + -6. Suppose n*d + 4*h - 186 = h, 2*d + 4*h = y. Is d prime?
False
Suppose -r - 1 = 0, 5*f - 5*r - 5 = f. Suppose f = -4*l - l + 2825. Is l a composite number?
True
Let n be (1 - 7) + 4 - -487. Suppose -n = -16*y + 11*y. Is y composite?
False
Let l(a) = -a**2 - 12*a - 14. Let k be l(-10). Let d(y) = 2*y + 1 - 6 + k*y + 6*y**2 + 0. Is d(-6) composite?
False
Let p = -27 - -26. Is p + -3 - (-52)/2 composite?
True
Suppose -4231 - 9540 = -5*o + 4*s, 3*o - 8265 = 3*s. Suppose -3*b + 2*h + o = 0, -h + 6 = h. Is b prime?
True
Let p(z) = -z - 5. Let l be p(-3). Let s = 7 + l. Suppose 2*n - 4837 = -5*t, -s*t - 3*n + 998 = -3840. Is t prime?
True
Let x be (-30)/(-9) - 2/6. Suppose -3*q = -x*m - 2*m - 896, 25 = 5*m. Is q a composite number?
False
Let d(l) = -2*l**3 - 2*l**2. Let i be d(-2). Suppose 3*q = 5*s - 60, q + 16 = 2*s - i. Suppose -5*t + 2*c + 726 = 3*c, 0 = -3*c - s. Is t composite?
True
Is (-5328)/(-2) + (-225)/(-45) a composite number?
True
Suppose z = 2*a + 6*z - 35, 2*z = 3*a - 5. Suppose a*p + 98 = -17. Is 1 + (-2 + 0 - p) a prime number?
False
Suppose s - 2*s = -20. Let n = 195 - s. Let o = n - 90. Is o prime?
False
Let l(g) = 19*g**2 + 3*g + 11. Let z be l(-3). Suppose z + 13 = 6*n. Is n composite?
False
Suppose 7*u = 3*u + 8. Is (119/(-4) - u)/((-1)/4) a prime number?
True
Suppose 5020 = 3*v - 3308. Suppose 0 = 8*z - 0*z - v. Is z composite?
False
Suppose -5*p + 5553 = 4*j, 2*p = 3*j - j - 2790. Let y = 1988 - j. Suppose 0*o - y = -4*o. Is o composite?
False
Suppose 3 = 2*l - 11. Suppose -5*r = -l*r + 1982. Is r prime?
True
Let p(z) = -117*z**3 + 11*z**2 + 55*z - 52. Is p(-9) prime?
False
Is 2454/8 - 12/(-48) a prime number?
True
Let u(d) = 2*d + 4. Let r be u(-3). Let x be -2 - r - (0 + -3). Is x/(3/10) + -3 a prime number?
True
Let y = -31 + 33. Is -5*((-765)/27 - y/3) a prime number?
False
Let h be 1*11/(44/(-1200)). Suppose 20 = -4*z, -z + 525 = -4*b - 42. Let n = b - h. Is n prime?
True
Is 544/680 - 592262/(-10) composite?
True
Suppose -64*k + 66*k - 32026 = 0. Is k composite?
True
Let g = 3419 - -208. Suppose 3*j + s - 2773 = 0, -5*j - s = -994 - g. Let m = j - 371. Is m prime?
False
Suppose 0 = 38*n - 28*n - 128930. Is n prime?
True
Suppose 201085 = -432*n + 437*n. Is n prime?
False
Is 59010 - 2*((-5)/(-10))/1 prime?
True
Suppose 2*d + 4 = -2*d - w, -5*w - 20 = -d. Suppose -5*l + g - 3*g + 460 = 0, -4*l - 2*g + 368 = d. Suppose -4*j = -l + 16. Is j prime?
True
Let l(n) be the third derivative of 3983*n**6/120 + n**5/30 - n**3/3 + 42*n**2. Is l(1) prime?
False
Let j = -496 - -1499. Suppose j + 673 = 4*t. Is t composite?
False
Let r be (4 + -6)*(-3 - -1). Suppose -r*z = u + 18, -5*z = -u + 4*u + 19. Suppose -u*p + 1034 = -4*c, p + 1028 = 3*p - 2*c. Is p composite?
True
Suppose 32*h - 47*h + 58245 = 0. Is h a composite number?
True
Let x(d) = d**3 + 5*d**2 - 9*d - 15. Let b be x(-6). Suppose 0 = -r + b*r + 16. Let i(f) = -2*f**3 - 10*f**2 - 2*f + 3. Is i(r) composite?
True
Let q(i) = -16*i + 94. Let j be q(27). Suppose r - 371 = 448. Let b = j + r. Is b a composite number?
True
Suppose 4*x - 55172 = -4*h - 0*h, 5*x + 3*h = 68965. Is x prime?
False
Let f = -1340 + 2145. Let x = -529 + f. Suppose -3*s + 2511 + x = 0. Is s composite?
False
Let n(t) = -t**2 + 12*t + 3. Let u be n(12). Suppose -5*k - 5*h = -1930, 2*k - 5*h = -u*k + 1980. Is k a composite number?
True
Let j = -2012 - -5175. Is j composite?
False
Let j(a) = 11*a**2 - 38*a + 19. Let s be ((56/(-12))/2)/(1/6). Is j(s) prime?
True
Let v(t) = 9*t**3 - 6*t**2 + 7*t - 79. Is v(8) a composite number?
False
Let i = 22 - 23. Is (-70)/14 + (3033 - i) a prime number?
False
Suppose -2*t - 3*t - 40 = -4*d, 2*t = -3*d + 7. Suppose 5*r + h = 2940, -d*r + 578 = 4*h - 2377. Is r a composite number?
False
Let k(w) = w**3 - w**2 - w + 103. Let b be 0*(2 - 4)/6. Let x be k(b). Suppose -t + x + 20 = 0. Is t a prime number?
False
Suppose -4*x - 2300 + 11652 = 3*k, 3*k = x - 2353. Suppose 3*w = 4*q - 0*q + x, 0 = 2*w + 4*q - 1594. Is w a prime number?
True
Suppose -7526 = -4*m + 57950. Is m prime?
True
Suppose 15*t - 6*t - 5274 = 0. Is t composite?
True
Suppose 0 = -r - 2*s - s - 1, 5*s - 15 = -5*r. Suppose 104741 = r*p + 8*p. Is p a prime number?
False
Let j be 6/18 - 2/18*3. Suppose j = k + 4*k - 17965. Is k a prime number?
True
Let h be (-2)/7 + 1586/14. Let c(x) = -4*x - 6. Let m be c(-8). Let z = m + h. Is z a composite number?
False
Suppose 11741 = 3*j + 5*p, -5*p + 9*p - 11737 = -3*j. Is j prime?
True
Let b = 438929 - 263028. Is b composite?
True
Let k(d) be the third derivative of d**5/20 + d**4/12 + d**3/3 - 3*d**2. Let a be k(-1). Suppose -5*l + 182 = a*r - 2*r, -4*l = -3*r + 527. Is r prime?
False
Let u(g) = g**2 - 4*g + 5. Let b be u(4). Suppose 2*w = 4*v - 2822, 4*v - 1094 - 1713 = b*w. Suppose r + v = 5*r. Is r composite?
True
Let x = -20 - -10. Is (-3)/(-15) - 4476/x*3 prime?
False
Is 4/(-38) + (-45435)/(-57) composite?
False
Let o = 5934 - 1441. Is o prime?
True
Suppose 0 = -5*v + 4*v + 8. Let j = v + -3. Suppose 0 = 4*t - 4*s - 368, 0 = 6*t - 4*t + j*s - 149. Is t a composite number?
True
Suppose -2*r + 7 = -3. Suppose -j + 58 = r*h + j, -j + 11 = h. Let m = h + -9. Is m composite?
False
Let y(o) = -o**2 + 6*o + 1. Let c = 8 - 3. Let l be y(c). Suppose 0 = -2*a + l*a - 1204. Is a composite?
True
Suppose b = -2*u + 250461, 4*b - 7*b - 3 = 0. Is u prime?
True
Let r be -197*(-18)/(-5)*(-10)/3. Suppose 5854 = 7*v - r. Is v a prime number?
False
Suppose -33738 = -2*i - t, 3*t - 50593 = -3*i - 2*t. Is i prime?
True
Let q(g) = 82*g + 1. Let d be q(1). Suppose -5*b - 5 = 5, 4*a - 550 = -b. Let z = a - d. Is z prime?
False
Let j = 2300 + -1512. Suppose -5*p + j = -327. Is p a prime number?
True
Suppose 0*g + 2995 = 5*g. Let w = 240 + g. Is w a composite number?
False
Suppose -2*t + 5*t = -k + 24749, -2*t + 5*k = -16488. Is t composite?
True
Let z(c) be the first derivative of c**3/3 + c**2/2 + 31*c - 11. Is z(-18) prime?
True
Let a = 41516 - 10533. Is a a composite number?
False
Let d(t) = 25*t - 3. Let m be d(4). Let h be (9 + -3)*(m + -3). Suppose 0 = -4*c + 2092 - h. Is c composite?
True
Let w(f) be the first derivative of -49*f**4/24 - 2*f**3/3 - 3*f**2/2 - 4. Let b(n) be the second derivative of w(n). Is b(-3) a prime number?
False
Let t(c) = -17*c - 2. Let k(g) = 33*g + 5. Let d(s) = 3*k(s) + 5*t(s). Let z be d(9). Suppose 0 = o - z + 42. Is o composite?
False
Let i = -5466 + 16309. Is i composite?
True
Let x(w) = -157*w - 11. Let l(a) be the second derivative of 79*a**3/6 + 5*a**2/2 + 3*a. Let m(p) = 13*l(p) + 6*x(p). Is m(8) a composite number?
True
Suppose -3*y + 23 - 2 = x, 3*y = 3. Let j(i) = -29*i + 13. Let w(a) = -a + 1. Let u(o) = -j(o) + 6*w(o). Is u(x) composite?
True
Let j(v) = -275*v**3 + 2*v**2 + 4*v + 2. Is j(-3) a composite number?
False
Let t(h) = -h**3 + 9*h**2 - 10. Suppose -x - 5*m + 21 = 0, 4*m + 8 = 4*x - 28. Let r be t(x). Let k = r - -573. Is k a composite number?
True
Suppose 0*o - o = -2*h + 1014, -5*h = -5*o - 2545. Is h a composite number?
True
Let s be (-11)/(-3) - (-14)/(-21). Let b(y) = 158*y + 3. Let i be b(s). Suppose -4*f + 335 + i = 0. Is f a composite number?
