rue
Is 8 + (1 - (7 - 3161)) prime?
True
Suppose -3*z - 12 = 0, -2*b - 6*z + 7*z = -2878. Is b a prime number?
False
Let v(g) = -g**2 + 3*g + 2. Let x be v(2). Suppose x*p - 3473 = 1499. Is p composite?
True
Is (-14630)/(-20) + 2/((-8)/(-6)) a prime number?
True
Suppose -3185 - 4263 = -7*b. Suppose -3*p + 4*z + 1616 = 3*z, 2*p + 2*z - b = 0. Is p a prime number?
False
Suppose -4*v + 98576 + 53252 = 0. Is v prime?
True
Let t = -1449 + 1023. Suppose -15*m - 2970 = 375. Let p = m - t. Is p a prime number?
False
Suppose -5*n = 3*o - 6, 0 = -2*n + n + 2*o - 4. Suppose 3*d + d - 8 = n. Suppose -d*q = -47 - 77. Is q a composite number?
True
Let j = -27 + 35. Suppose 2*f + 4*u = 650, j*u - 966 = -3*f + 5*u. Is f a prime number?
False
Suppose 4*i - 1910 = 1822. Suppose 5*q + 996 = 2*v - 1564, -v = 2*q + 1033. Let o = i + q. Is o a composite number?
False
Suppose -2*v + 6*p + 105322 = p, -3*v - p + 157949 = 0. Is v a prime number?
False
Suppose -4*q = -352 - 88. Let t = 195 - q. Is t a composite number?
True
Suppose 36 = 15*c - 9*c. Is c/12*(-1 - -2175) prime?
True
Is (-30)/165 + (-55431)/(-11) prime?
True
Let g(h) = -252*h**3 + 2*h**2 + 5*h - 4. Is g(-3) a prime number?
True
Let w be (-2 + (-10)/4)*-262. Suppose -3455 = -3*f - 929. Let d = w - f. Is d composite?
False
Is 132846/28*((-12)/9 + 2) composite?
False
Suppose 2*g - 936 = a, g = 5*g - 5*a - 1884. Suppose 4*t = -3*w + g, -w - 2*t - 2*t + 150 = 0. Is w a composite number?
True
Let m(p) = -12*p - 14. Let o be m(-17). Is (o/(-35) - -5) + 920/7 prime?
True
Let n = -26679 - -63286. Is n a prime number?
True
Let h(b) = 142*b - 70. Is h(32) composite?
True
Let i(l) = l**2 - 8. Let v be i(-7). Let y = v + -29. Is -10 + 7 - y/(-1) a composite number?
True
Let v(k) be the second derivative of -k**5/10 + k**4/6 - 5*k**3/3 + 3*k**2/2 + 36*k. Is v(-4) a prime number?
False
Let a(r) = 335*r**2 - 18*r - 129. Is a(14) a prime number?
False
Is 1/(6/(-15) + (-92178)/(-230370)) prime?
False
Suppose -4*h + 1 + 7 = 0. Let l(m) = 305*m**3 - 2*m**2 - 4*m + 5. Is l(h) a composite number?
True
Let g(f) = -2 - 104*f + f + 9 + 3*f. Let l be (-45)/60*(3 - -1). Is g(l) prime?
True
Suppose m + 125 = 594. Let a = 618 + m. Is a prime?
True
Let u(r) be the second derivative of r**7/840 + 13*r**6/360 + r**5/24 + 5*r**4/24 - 5*r**3/6 + 4*r. Let l(c) be the second derivative of u(c). Is l(-12) prime?
True
Suppose -12*n + 2168 = -8*n. Suppose -n - 1424 = -2*p. Is p a prime number?
True
Let a(u) = 6*u - 4. Let c be a(3). Suppose c*s - 603 = 11*s. Is s composite?
True
Suppose 4*w - 54 = -18. Suppose w*f + 5 = 10*f. Suppose -2*n + f*n = 57. Is n a prime number?
True
Suppose 0 = 12*f - 9336 - 684. Is f prime?
False
Let b be (1/2)/(4/32). Suppose -2*r = -b*r + 5*m + 16, 4*r = -2*m + 80. Let f(i) = 2*i**2 - 25*i - 13. Is f(r) a composite number?
True
Suppose -9*c - 71442 = -211401. Is c a composite number?
False
Is ((-4)/40*2)/(4/(-128420)) composite?
False
Let s be (-5 + (-93)/9)/((-2)/3). Let w(d) = -d**3 + 6*d**2 + 3*d - 8. Let f be w(6). Let x = s + f. Is x a prime number?
False
Let y(m) = -3*m**3 - 32*m**2 - 12*m - 110. Is y(-17) a composite number?
True
Suppose 0 = -4*n + 339 + 209. Let c = n + -10. Is c a prime number?
True
Let z be -2 - (-214 - (-8)/2). Suppose 5*j - i - z = 54, -5*i = 5*j - 250. Let x = -15 + j. Is x a composite number?
False
Suppose 5*h = 3*i + 445 + 22216, -3 = -i. Let p = -7024 + h. Is (-14)/77 - p/22 composite?
False
Suppose 5*j = j + 64. Let r = 18 - j. Suppose r*p + 43 = 401. Is p prime?
True
Suppose 0 = -4*x - 16981 + 50033. Is x prime?
True
Let q(g) be the third derivative of 13*g**4/3 - 19*g**3/6 + 39*g**2. Is q(3) a prime number?
True
Let m(f) = -f**3 - 4*f**2 - 5*f - 1. Let w be m(-2). Let v = 32 + w. Is v a composite number?
True
Let i(g) = -2*g**3 - 16*g**2 - 8*g - 19. Is i(-15) prime?
True
Let a(h) = 3*h**2 + 24*h + 5. Is a(-26) a prime number?
True
Suppose -835 = -2*q + 279. Suppose 4*u - 3*a - 1111 = 0, -u - u = -a - q. Suppose 6*j = 230 + u. Is j a prime number?
False
Suppose -13*n + 12110 = 4*r - 15*n, 6073 = 2*r + 5*n. Is r a prime number?
False
Let s = -470 + 1202. Suppose 0 = -4*i + s + 136. Is i a prime number?
False
Let l = -23 + 27. Suppose y - l*y = -2103. Is y a prime number?
True
Let x(n) = 14*n**2 - 8*n - 4. Suppose -2*s + u - 11 = 0, 4*s + 4*u - 5*u + 17 = 0. Is x(s) a composite number?
True
Let c be 12/28 + (-1164)/(-28). Suppose -304 + c = -2*y. Is y composite?
False
Let i(u) = u + 4. Let z be ((-6)/(-4))/(12/(-32)). Let b be ((-2)/4)/(z/24). Is i(b) composite?
False
Suppose -3*p + 2 = 11. Is 154/4*(-6)/p a composite number?
True
Let l = -59 + 80. Suppose 22*z - 907 = l*z. Is z a composite number?
False
Suppose -3*o + 6*z + 3336 = 3*z, 5*o - 5528 = -3*z. Let t = 2361 - o. Is t a prime number?
False
Let a(v) be the third derivative of v**5/10 + v**4/6 + 7*v**3/6 - 12*v**2. Is a(9) composite?
True
Let j(u) = u**2 - 7*u - 5. Let d be j(-5). Let b be 2 + -4 - 5/((-25)/415). Let h = b - d. Is h prime?
False
Suppose -5 = -3*m + 4. Let b be 1 + m + 3768/6. Suppose v - 239 = c + 4*c, 3*v + 2*c = b. Is v prime?
False
Suppose -6 = -3*r - 2*h, -4*r = -3*h - 10 - 15. Is (r - 3)/(1/3407) a composite number?
False
Suppose 13*a = 30600 + 60335. Is a a composite number?
True
Let w = 55 - 59. Let s be (0 + -1)/(1/(-27)). Let v = s - w. Is v composite?
False
Suppose 5*u + 2*a - 287 = 1246, -1230 = -4*u + 2*a. Is u prime?
True
Let g(i) = i**3 + 19*i**2 + 17*i - 18. Let o be g(-18). Suppose 2*r - 4*q + q = 4186, o = -4*q + 16. Is r prime?
True
Is 11/(22/(-23))*-1934 a prime number?
False
Let l(g) = 89*g - 6. Let w(p) = -357*p + 23. Let r(o) = -9*l(o) - 2*w(o). Let q be (3/(-6))/((-1)/(-10)). Is r(q) a composite number?
False
Let b be 6/(-4) - (-3)/(-6). Suppose 2*l - 600 = -2*l. Is (-2)/b + -2 + l composite?
False
Suppose -26*a = a + 27. Let t(z) be the first derivative of -303*z**2/2 - 2*z + 1. Is t(a) prime?
False
Suppose q - 13 = -2*d, -37 = -6*q + q - 3*d. Suppose -q*g + 2*g - 2034 = -3*x, g + 3394 = 5*x. Is x a prime number?
False
Suppose -45 = -4*c + 79. Suppose 2*k + 5*n - 12 = k, -4*n - c = -5*k. Suppose -2*x = -k*x + 455. Is x prime?
False
Suppose 0 = d + 11 - 8. Let y be ((-36)/d)/((-3)/(-33)). Let f = y - -175. Is f a composite number?
False
Let w = -25 + 27. Suppose -4*r + 3*p + 32 + 255 = 0, -w*p - 364 = -5*r. Is r composite?
True
Suppose -2*g + 2*j + 6316 = 0, 3*g - 3*j + 4*j - 9494 = 0. Is g a prime number?
True
Let k(o) be the first derivative of -o**4/4 - o**3/3 - 11*o + 2. Let r be k(0). Let x(z) = z**3 + 14*z**2 + 13*z - 9. Is x(r) a composite number?
False
Suppose 686*a + 3021563 = 703*a. Is a composite?
False
Let q(t) = -143*t + 46. Is q(-51) prime?
False
Let h = 541 - 330. Let r = h + -122. Is r prime?
True
Suppose 126*q - 94308 = 114*q. Is q prime?
False
Let o = 1902 - 751. Is o prime?
True
Suppose 575 = -5*a - 5*d, 7*a + 3*d = 2*a - 579. Let u = a + 370. Is u prime?
False
Let v be 22/11*8/2. Is (-646)/(-4) - 4/v composite?
True
Is 4 - 8/(24/(-18729)) prime?
True
Let h = -31035 - -61246. Is h prime?
True
Let g be (-340)/(-16) + (-12)/(-16). Suppose g*m - 23*m = -629. Is m composite?
True
Suppose -4*s + 14 - 2 = 0. Suppose s*r + 5*p + 300 = 1043, p = r - 253. Suppose -148 - r = -3*a. Is a a prime number?
False
Suppose 0 = 4*y - 78*y + 2677690. Is y a composite number?
True
Let w(n) = n + 15. Let b be w(-7). Suppose 0 = 6*c - b*c + 1270. Is c a composite number?
True
Suppose 4*j - 831 = -5*i + 7*j, -4*j + 817 = 5*i. Let f = 11 + -9. Suppose t + f*t - i = 0. Is t composite?
True
Suppose -2*r - 1325 = -7*r. Suppose r = -n + 2*n. Let k = 408 - n. Is k composite?
True
Let a = 1013 + 21290. Is a a composite number?
False
Let j(c) = 0 - 5 + 2 - 2*c - 3. Let t be j(-4). Suppose -a - 4*k = 13 - 34, -a + t*k = -21. Is a a composite number?
True
Let f(t) = t - 1. Let y be f(6). Suppose -o - 4295 = -4*x + 2*x, -y*x + 3*o + 10739 = 0. Let q = x + -1463. Is q a prime number?
True
Let i(z) be the second derivative of 19*z**5/20 - z**4/6 - z**3/3 + 3*z**2/2 + 14*z. Is i(2) prime?
False
Let b(c) = 435*c**2 + 65*c + 17. Is b(4) a prime number?
True
Is (1982914/(-136))/(2/(-8)) composite?
False
Suppose 2*s - 2*c - 35 = -5*c, -3*c + 13 = s. Suppose -x = x - s. Is x a prime number?
True
Let r(m)