w a prime number?
True
Suppose 0*l - 10 = -5*l. Suppose -5*f - 2 = 2*m, 5*f + 16 = l*m + f. Suppose -7*r + m*r = -381. Is r prime?
True
Suppose 0 = 4*u + 5*p - 16317, 4*u - 4*p + 2420 = 18692. Is u a prime number?
True
Suppose 2*t - 2 = 2. Let r = -119 + 119. Suppose -t*n + r*n = -158. Is n a composite number?
False
Suppose u = -28 - 8. Let x be (4/(-8))/(3/u). Is (-3)/x - (-45)/2 a composite number?
True
Suppose -16*h + 21*h - 23565 = 0. Is h a composite number?
True
Suppose 0*b - 2*b = -3*i - 3, -3*b = 0. Is (-1)/(i + (-280)/(-284)) a prime number?
True
Let r = 4 - -1. Let k = -303 - -375. Suppose k = v + r. Is v composite?
False
Is 3 - (-18968 + 3 + -7 + 2) a composite number?
False
Is 343068/132*(2 - 0 - 1) composite?
True
Let x(s) = 3*s**2 + s - 3. Suppose 4 - 2 = j. Suppose 5*r = 0, -j*i = -6*i - 2*r + 24. Is x(i) a prime number?
False
Let x(o) = -58*o**3 + o**2 - o + 2. Let c be x(1). Is 13386/8 + 14/c prime?
False
Let y be -5 + (-3 - -3)/(-1). Let d(h) = -97*h + 55. Let c(a) = -65*a + 37. Let q(g) = y*d(g) + 7*c(g). Is q(9) a prime number?
False
Suppose v + 16 + 1 = 4*n, 0 = 5*n - 25. Suppose 2*j - v*j + 33 = 0. Suppose 3*o + 3*d = 957, 3*o = 4*d + 1018 - j. Is o composite?
True
Let f = -728 + 1774. Suppose 0 = -4*m + 3150 + f. Is m a prime number?
True
Let n(a) = -a + 20. Let k be n(18). Suppose 0 = 2*j - 5*d - 2406, -2*j + 0*d - k*d = -2392. Is j prime?
False
Let j(g) = 2*g**3 - 4*g**2 + 5*g - 4. Let v be j(2). Let f be (0 - (v + -2)) + 170. Is (f + -8)*1/2 prime?
True
Let r be ((-8)/(-6))/((-2)/(-10599)). Suppose 0 = 4*y - r + 2422. Suppose -4*v - 3*j + y = -0*j, -4*j = -v + 295. Is v prime?
False
Let a(d) = 10*d**3 - 4*d**2 - 11*d + 35. Is a(6) composite?
True
Suppose 4*v + 31 = 3*t, 0 = -3*t + v - 5 + 24. Suppose i = 2*f - 2155 - 197, 2*i + 5881 = t*f. Is f a prime number?
False
Let h(o) = -4*o**3 - 20*o**2 - 26*o + 10. Let l be h(-12). Suppose -5*s + 3*x + l + 1731 = 0, -x = 4*s - 4868. Is s prime?
True
Let n = 12 - 2. Suppose -n = -2*h, 645 = 5*k - 3*h - 1685. Is k a prime number?
False
Is 22049 + (7 - 4) + -4 + 3 a composite number?
False
Is 63128/6 + 188/282 prime?
False
Suppose 5*n + 69 = -o, 55 = -3*n - n - o. Is (2/(-3))/(n/9849) prime?
False
Suppose 0 = -5*z - 3*w + 75242, -30093 = -41*z + 39*z - 5*w. Is z a composite number?
True
Suppose -4*f + 8 = -0. Suppose f*s - 219 = s. Is s a composite number?
True
Suppose 31*i + 5*h = 29*i + 172898, 0 = 2*i + 2*h - 172910. Is i a prime number?
False
Let t(m) = -101*m**3 + 3*m**2 + 14*m + 1. Is t(-4) a prime number?
False
Let n = 22508 - 13956. Let o = -4645 + n. Is o prime?
True
Suppose 3*q - 2*b - 1 = 0, 2*q + 4*b - 1 - 5 = 0. Let y be -293*q*(-5)/5. Suppose 0 = z - 4*f - y, 3*f = 2*z + 7*f - 622. Is z prime?
False
Suppose 3*p - 2*j = -2*p + 17, 8 = 2*p - 2*j. Suppose 1 = i - p. Suppose 79 = w - 5*h - 332, i*h = w - 411. Is w composite?
True
Let t = 84 + -213. Let w = -83 - t. Let z = 19 + w. Is z a composite number?
True
Is 436866/22 + (-23)/((-1012)/(-24)) composite?
True
Is 21740/(-4)*9/(-45) a prime number?
True
Suppose 0 = -5*c + 20585 - 5190. Is c composite?
False
Suppose -4 = -4*b - 4*v + 4, -4*b - 22 = -2*v. Is (1 + 0)/(b/(-4377)) a prime number?
True
Let a be 1*(4 + (0 - -1)). Suppose a*q + 2*i = 4705, -6*i + 2*i - 2849 = -3*q. Is q a prime number?
False
Let g = 5859 - 1352. Is g a composite number?
False
Let l = 2951 + -724. Is l a prime number?
False
Suppose -13*j + 30*j = 272561. Is j a composite number?
False
Suppose -5*o = 4*f + f - 6075, -5*o - 6125 = -5*f. Suppose 0 = 2*z + 2*z - f. Is z composite?
True
Suppose -947067 = -14*j - 19*j. Is j composite?
True
Let j = 18 + -14. Suppose 4 = -j*l + 6*l. Suppose -l*z - 200 + 778 = 0. Is z prime?
False
Let q be 0/((-4)/1 - -3). Let f be (-2 + -1)*-1 + 4. Suppose f + q = m. Is m a composite number?
False
Is (-60)/10*21310/(-12) a composite number?
True
Suppose 5*p = -p + 1548. Suppose p = i + 2*a - 69, -3*i - 2*a + 989 = 0. Is i a prime number?
True
Let x(k) be the third derivative of k**9/60480 + k**8/5040 - k**7/2520 - k**6/720 + k**5/15 + 5*k**2. Let u(n) be the third derivative of x(n). Is u(2) prime?
True
Let h(g) = g**3 + 58*g**2 - 59*g - 113. Is h(-41) a composite number?
True
Is (3/(-21))/(5/(-200795)) a prime number?
True
Suppose 3*i = 5*i + 2*i. Suppose 5*u = 4*b + 3315, 644 = u - i*b + 3*b. Is u prime?
True
Let b(o) = o**2 - 22*o + 38539. Is b(0) composite?
True
Suppose 2*a - 323735 = t, -2*a + 3*t + 238784 + 84945 = 0. Is a a prime number?
True
Is 71558/14 - (-16)/(-56) a prime number?
False
Let c(m) = -4*m + 38. Let h be c(5). Let k = -1133 - -2487. Suppose h*u - 20*u + k = 0. Is u a composite number?
False
Let s = -7378 - -15741. Is s composite?
False
Suppose -n + 1060 = c, 0 = -5*n + 3*c - 5*c + 5303. Is n prime?
True
Let s(l) = l**3 - 7*l**2 - 8*l + 3. Let u be s(8). Suppose -4360 - 929 = -u*o. Is o composite?
True
Let r = -20810 - -36669. Is r prime?
True
Suppose 0*m = -2*i + 2*m + 28092, m - 56209 = -4*i. Is i prime?
True
Let i be (-12 - -8140)*(2 + 10/(-4)). Let p = -2821 - i. Is p composite?
True
Let x be -2*-3*5/(-10). Let q(h) = 2*h**2 + h - 1. Let i be q(x). Is 7/i + (-717)/(-2) composite?
False
Suppose 7*q - 2426 = 1571. Is q composite?
False
Let a(h) = 18*h**2 + 3*h - 8. Let l(x) = 3*x + 20. Let d be l(-9). Is a(d) composite?
False
Let q = 12 - 54. Suppose 0 = 3*s - 19 - 8. Is (q/s)/((-2)/93) a composite number?
True
Let v = 238 + -153. Suppose 0 = -4*x - c - v, 3*c = -x - 2*c - 45. Let n = 34 + x. Is n a composite number?
True
Suppose 673 = -5*a + 4088. Suppose 0 = 3*n + n. Suppose n = -5*t + a + 2712. Is t composite?
True
Suppose 4*j = -2*j. Suppose j = -2*f - f + 4083. Is f composite?
False
Suppose -32*d - 231522 = -4*k - 27*d, 3*d = 2*k - 115760. Is k a prime number?
False
Suppose -o + 0*v = 5*v + 20, 5*o - 3*v + 16 = 0. Let t = o - -8. Suppose f = t*r - 165, -r + 0*f - 3*f = -55. Is r prime?
False
Suppose 0 = 3*m - 3*x - 75, 0*m + 3*m - 83 = 5*x. Suppose -3*v + a + m = 2*a, -v - 3*a = -15. Is 2/12 + 3785/v composite?
False
Is 6 - ((-100)/(-450) - (-591394)/(-18)) prime?
False
Let r = 22991 + -11514. Is r a composite number?
True
Let n be (-3)/(8/(-3) - -3). Let l = n + 19. Is l prime?
False
Suppose j + 0 - 2 = 0. Let c be (-32180)/(-70) - j/(-7). Suppose 0 = 4*i - 8*i + c. Is i prime?
False
Let u = 1 + 5. Suppose -u*q = -2*q + 688. Let v = q - -395. Is v composite?
False
Let h(p) = 6*p**2 - 4*p + 3. Let m be h(3). Is 1658/5 - 27/m a prime number?
True
Suppose -91*d - 128758 = -125*d. Is d composite?
True
Suppose 3*w - 4 = 4*w. Let o(j) = -2*j**3 - 11*j**2 + 12*j + 9. Let q(x) = x**3 + 7*x**2 - 8*x - 6. Let c(t) = 5*o(t) + 8*q(t). Is c(w) prime?
True
Is -5 + (1092 - -1) + -1 a prime number?
True
Let j = -58 + 49. Is (-4683)/j + (6 - 64/12) prime?
True
Let z(y) = -y**2 + 2*y. Let s be z(2). Suppose s = -o + 242 + 327. Suppose -w + 4*n + 374 = w, 3*w = 2*n + o. Is w a prime number?
True
Suppose -5*p - 19 = -29. Suppose a - 766 = -3*u + p*a, 1033 = 4*u + a. Is u a composite number?
False
Let b = -1170 - 6167. Is 2 + 40/(-18) - b/9 composite?
True
Let m = 68 - -81. Is m a prime number?
True
Suppose 3*i = 5*m + 2*i + 94, -2*m = 4*i + 42. Let u(t) = -4*t + 51. Is u(m) composite?
False
Let a(x) = -x**2 + 5*x + 3. Suppose -69 = 2*s + 41. Let q be s/(-15) + 1/3. Is a(q) prime?
True
Let k(n) = 3*n + 16. Let c be k(-4). Suppose 4*x - c*z = 544, -5*z = -x - 44 + 200. Is x prime?
True
Let b = -388 + 1185. Is b prime?
True
Let j = 12846 - 4207. Is j prime?
False
Suppose 0 = -2*n + v - 4*v + 25, 0 = -n - 3*v + 20. Let g = -28 + 28. Suppose -4*m + g*m - 238 = -2*j, -n*m = -4*j + 464. Is j prime?
False
Suppose 4*t + 5*s - 38 = 0, 4*t - s - 24 = s. Let k = 15 - t. Let n = k + -5. Is n a composite number?
False
Let n(b) = 28*b**2 - 2*b + 5. Suppose -2*x - 2*y - 28 + 12 = 0, 3*x + 19 = -2*y. Let o be n(x). Suppose -l + o = -0*l. Is l composite?
False
Suppose -5*d + 280443 = -4*z, -4*d + 5*z + 18723 + 205635 = 0. Is d prime?
True
Suppose -582 + 1410 = 4*g. Suppose 0 = -8*u - 13 + 45. Let f = g - u. Is f prime?
False
Let r = -440 - -729. Let v = -38 + 74. Let o = r - v. Is o a prime number?
False
Suppose -424*r = -433*r + 117801. Is r a prime number?
False
Let d = 17485 + 35134. Is d a composite number?
True
Supp