rue
Let y be ((-3)/(-6))/((-1)/(-4)). Suppose -475 = -3*l - y*l. Is l a prime number?
False
Let v(u) = 139*u - 1. Let h be v(1). Suppose 5*c + 20 = 0, 10*c - 5*c - h = -2*t. Is t a prime number?
True
Let q = 10 - 6. Suppose -3*s - 4*i = -124, -q*i = 6 + 2. Let p = s - 23. Is p composite?
True
Let x = 540 - 312. Suppose 0 = -7*c + 3*c + x. Is c prime?
False
Let q(i) = 50*i**2 + 3*i - 3. Let v be q(-4). Suppose 5*g + 0*g = v. Is g prime?
True
Let k = -5 - -8. Suppose t = -k*t + 40. Let u = t + -3. Is u a composite number?
False
Suppose -3*w + 154 = 37. Let a be -4 - (-3)/((-6)/(-4)). Let f = a + w. Is f prime?
True
Let r(g) = g**3 - 3*g**2 - 2*g - 2. Let d be r(4). Suppose d*n - 3*n - 5*v = 227, 4*n + v - 272 = 0. Is n a prime number?
False
Let g = 916 + 2595. Is g a composite number?
False
Let f(b) = -4*b**3 + 9*b**2 + 4*b + 1. Is f(-6) composite?
True
Suppose 0 = 8*q - 3*q + 10. Let a be 3*(2/(-3))/q. Is (a - -22)/(1 + 0) a prime number?
True
Suppose 8*f + 3*f = 64603. Is f a composite number?
True
Suppose 0*u = 5*a + u + 60, -2*u = 10. Let p = a + 30. Is p prime?
True
Let j(b) = b**3 - 2*b**2 + 10*b - 10. Let t be j(7). Let c = -160 + t. Is c composite?
True
Let w be 3666/(-15) + (-4)/(-10). Let h be w/(-12) + 2/3. Suppose u + h = 2*u. Is u prime?
False
Let n(k) = -30*k + 4. Let j(s) = -6*s + 1. Let b(d) = -16*j(d) + 3*n(d). Suppose 2*q - 15 = -h, -h + 5*q - 5 = 15. Is b(h) composite?
True
Let x = -1065 - -2120. Is x prime?
False
Suppose -4*j + w + 808 = 0, 0*j + 3*w - 591 = -3*j. Is j composite?
True
Suppose -2*x + 0*x + 5*l + 14 = 0, 5*x = 5*l + 5. Let s be (-10)/(-6) + (-1)/x. Let y(g) = 46*g - 3. Is y(s) a composite number?
False
Let b(u) = -2*u + 1. Let d be b(2). Let p = 11 - d. Is p a composite number?
True
Suppose 0 = -4*p - 4, 2 + 6 = i - 5*p. Suppose -q = 4*q - i*c, 0 = 3*q + c. Suppose q*t + 19 = t. Is t a composite number?
False
Let y(d) be the first derivative of -3*d**2 - 6*d - 1. Let q be y(-5). Suppose 5*t = 71 + q. Is t a composite number?
False
Suppose 21593 = 11*p - 6886. Is p a composite number?
True
Let n = 164 - 115. Suppose -n = -j + 6. Is j prime?
False
Suppose 0 = -5*r + r + 16. Is r/6 - 350/(-6) composite?
False
Is (-1791)/(-12) + 1/(-4) composite?
False
Let m = 1091 - 642. Is m a prime number?
True
Let t be 4 + -1 + -1 - -16. Let b be t/(-45) + (-4254)/(-10). Is (-9)/6 - b/(-2) a prime number?
True
Suppose -2*l - 81 + 503 = 0. Is l composite?
False
Let b(v) = -10*v**2 - 2*v + 4. Suppose -3*a + 4*h - 23 = 0, -4*h = -a - 9 - 12. Let s(j) = j**2 + j - 1. Let d(i) = a*b(i) - 5*s(i). Is d(4) composite?
True
Let d(f) = -f - 2. Let j be d(-6). Suppose j*i - a = -2, -2*i = -3*a - 0 - 4. Is (-2)/i*(-31)/(-2) prime?
True
Let s be 6072/(-14) - 4/14. Let i = s + 1219. Is i composite?
True
Suppose -5*y + 7*w - 3*w = -107, -5*y + w + 98 = 0. Suppose s - l = 10, -3*s + 5*s = l + y. Is s prime?
False
Suppose -2*o + o + 323 = 0. Suppose -3*w = -o - 94. Is w prime?
True
Let i(c) = c**3 + 39. Let g be i(0). Let v be (0 - -1)*-3*g. Let u = v - -376. Is u a prime number?
False
Let v(k) = -k - 4. Let f be v(-7). Let m = 4 - f. Let a(j) = 37*j**3 + j**2 - 1. Is a(m) prime?
True
Suppose 3*w - 4*v + 18 = 0, -5*w + 3*v - 16 = 3. Let c(u) = -7*u**3 - 2*u**2 - 3*u - 1. Is c(w) prime?
True
Let z = 74 + -141. Let d = -35 + z. Is ((-2)/(-4))/((-1)/d) a composite number?
True
Let h(m) = -18*m - 31. Is h(-14) composite?
True
Let h be 1/(-3 + 32/10). Suppose 6 = 4*i + 3*r - 0*r, -h*i + 2*r = -19. Suppose -2*u - 2*x - 40 = -3*u, 3*x - 111 = -i*u. Is u a prime number?
False
Let s = -4 - -258. Is s a composite number?
True
Is -5*(1*-14 - -3) a prime number?
False
Let s(n) be the second derivative of n**4/6 + n**3/2 - 2*n**2 + n. Let m be s(-3). Suppose -t + m*t = 44. Is t composite?
False
Suppose 3*a = 7*a - 576. Suppose 3*g - 227 = -2*b, 3*g - 78 = -3*b + a. Is g a composite number?
False
Let g = -12 + 61. Is g a prime number?
False
Let m(h) = -2*h - 13. Let l = -12 + 1. Let x be m(l). Let t = 23 - x. Is t prime?
False
Let k = 4817 - 3418. Is k prime?
True
Is 2/(-2)*(-98 - -1) a composite number?
False
Let x = -73 - -338. Is x a composite number?
True
Suppose y - 12 = 525. Is y prime?
False
Suppose 0 = -0*m - 4*m + 32. Let j = m + -6. Is (0 - 223/(-2))*j composite?
False
Let p be 2/4*-2 + 1. Suppose p = 3*s + 121 - 478. Suppose 0*i + s = i. Is i a prime number?
False
Let s be 1/(-3) - (-334)/3. Suppose 2*a + a = s. Is a a composite number?
False
Let q(f) = 4*f**2 + 8*f + 7. Let u(z) = -z**2 - 1. Let a(i) = -q(i) - 3*u(i). Let x be a(-7). Is 3/x*57 - 0 composite?
True
Suppose 0 = 3*m + 2*m - 1485. Suppose m = 2*p - 335. Suppose -p = v - 5*v. Is v prime?
True
Suppose -4*x + 1606 = -2*l, 0 = -4*x + 2*l - 7*l + 1627. Suppose -2*t - 2*v - 11 = -161, -5*t + x = -2*v. Is t a composite number?
False
Let c be 61/7 + 2/7. Suppose l - c = -2*l. Suppose l = 2*s - 43. Is s composite?
False
Let f be 3/(-2)*8/(-6). Is -2 + f/((-8)/(-156)) a composite number?
False
Suppose -c + 3586 = 3*c + 3*z, -c + 889 = -3*z. Is c a prime number?
False
Let c = 6 + -4. Suppose c*f - f - 49 = 0. Is f a composite number?
True
Let v(c) = -35*c + 3. Let q be v(-4). Suppose 0 = 5*l - 72 - q. Is l a prime number?
True
Let d(v) = 54*v - 7. Let f(i) = -1. Let q(m) = -d(m) + 6*f(m). Is q(-1) prime?
False
Let o = -144 - -513. Suppose 0 = -2*y - y + o. Is y a composite number?
True
Let q be (-3 - -1 - -5) + -2. Is (-1)/((-3)/195*q) prime?
False
Suppose -3*h + 47 = 2*g, -3*h + g - 5*g = -49. Let w = h + -11. Is 2 - (-20 + w + -3) composite?
True
Suppose 0 = t - m - 592, -5*t - 4*m + 3*m = -2930. Is t composite?
False
Let u = 16 + -13. Is (-2)/u*1992/(-16) composite?
False
Suppose 195 - 610 = -k. Is k a prime number?
False
Suppose -3*w - 4 = -5*w. Suppose -m + 314 = 3*j - w*m, -5*j + 4*m + 514 = 0. Is j a prime number?
False
Let s(b) = b**2 + 7*b + 8. Let z be s(-6). Let q be (2 - 1)*2/(-2). Is 94 + q/(z/(-2)) composite?
True
Let w(p) = -p**3 + 2*p**2 - 2*p + 7. Is w(-6) a composite number?
False
Let d(j) = 265*j**3 - 4*j + 2. Is d(1) a composite number?
False
Suppose 3*t = -4*g + 926, -g - 188 - 109 = -t. Suppose 0 = 4*c + 18 - t. Is c composite?
False
Is (23520/18 + 2)/((-4)/(-6)) prime?
False
Let o(j) be the third derivative of -j**5/3 - 5*j**4/24 - 2*j**3/3 - 3*j**2. Let p(g) be the first derivative of o(g). Is p(-4) a composite number?
True
Suppose 3*g = -41 + 1178. Is g a prime number?
True
Suppose 0 = -2*m + m + 4. Let y = m + 29. Is y prime?
False
Let w(u) = u + 6. Let p be w(-6). Suppose p = -m - 2*m + 3. Is (0 - 154)*m/(-2) prime?
False
Let h(q) = q**3 - 3*q**2 + q. Let v be h(2). Is (53/v)/(2/(-4)) a composite number?
False
Let a be (-34)/(-3) - (-2)/3. Let b be (-9)/a*8/(-3). Suppose 2*m = b*q - 162, -312 = -4*q + m - 3*m. Is q prime?
True
Let w = 7 + -4. Suppose 0 = -2*t + w*j + 59, 2*j = t - 0*t - 27. Is t a prime number?
True
Suppose 385 = d + 3*g, -4*d + 5*g - 2*g = -1555. Suppose 8*i = 4*i + d. Is i prime?
True
Suppose 9*o - 4*o = 5755. Is o prime?
True
Suppose 9*b - 610 = 7*b. Is b a composite number?
True
Suppose -4*t - 669 + 1981 = 0. Let k = t - 197. Is k composite?
False
Let t = 890 + -633. Is t prime?
True
Suppose -155 = 2*g - 7*g. Is g a composite number?
False
Suppose -4*y = -6*y + 10. Suppose -3*a + y*c - 9 + 107 = 0, 4*a = -3*c + 121. Is a prime?
True
Let l be -1 + -2 + 2*654. Suppose -l = -5*a + 5*f, f + 0*f = -a + 271. Suppose -2*s + a = -0*s. Is s composite?
True
Let h(f) = -136*f**3 - f**2. Let m be h(-1). Let g(u) = 362*u + 1. Let x be g(2). Suppose 4*w - x = m. Is w prime?
False
Let c(t) = 35*t + 2. Let k be c(5). Suppose -3*y - k = -6*y. Is y a composite number?
False
Let l(z) = 2*z**2 - 10*z + 17. Is l(9) a prime number?
True
Let n = -168 - -425. Is n a prime number?
True
Suppose -5*a - 4*l - 435 = 0, -2*a - l = -4*l + 174. Let k = -30 - a. Is k prime?
False
Let z(t) = -161*t - 3. Let r be z(-6). Suppose -r + 31 = -4*o. Is o a prime number?
True
Let s = -69 + 124. Is s a composite number?
True
Let o = 8 + -4. Let p = -82 + 137. Suppose -o*f = f - p. Is f prime?
True
Suppose c + 2699 = 5*j + 4*c, -4*c + 2156 = 4*j. Is j prime?
True
Let c(d) = d**3 - 5*d**2 - d - 2. Suppose 3*u + 2*u = 30. Let y be c(u). Let s = 42 - y. Is s prime?
False
Suppose -2*u = -5*x