 be the third derivative of u(f). Is h(4) a prime number?
True
Suppose 38*o - 8397659 = 62319269 + 9974590. Is o prime?
True
Suppose -4*o - 98 = 2. Let x = 30 + o. Suppose -x*w = 4*d - 1297, -w - w + 508 = -2*d. Is w prime?
True
Let t(x) = x**2 - 2*x - 8. Let k be t(-2). Suppose k = 3*i - 3383 - 754. Is i a composite number?
True
Let p(n) = -n**2 - 8*n - 2. Let o be p(-6). Let q(g) = 37 + g**3 - 4 + 20*g**2 + o + g. Is q(-18) a prime number?
True
Suppose -14*k = -43*k + 2205566. Suppose 5*f - 30433 = -2*c, -k = 9*c - 14*c - 3*f. Is c a composite number?
True
Is 2/21 - 136802575/(-1911) a composite number?
True
Suppose -4*n + 5*d = -2197, 4*n - 3*d = 1254 + 949. Let c = 956 - n. Is c composite?
True
Let w = -6 - 72. Let h = 557 + w. Is h a composite number?
False
Let d = -82991 + 155676. Is d composite?
True
Let t(p) = 111*p**3 - 4*p**2 + 39*p - 107. Is t(13) a composite number?
True
Let s = 368121 + -236690. Is s a composite number?
False
Suppose 35*w - 3173 + 233 = 0. Suppose 2*t + 3*j = 3265, -4980 = -3*t - 5*j - w. Is t composite?
False
Let n be (64/20*(-2705)/2)/(-1). Let p = 1005 + n. Is p a composite number?
False
Let c = 32522 - 7095. Is c prime?
False
Suppose -5*c + 2*p = -285477, 4*c + 5*p - 33270 = 195138. Is c a composite number?
False
Let q(a) = -45*a + 2. Let k(n) = -46*n + 2. Let v(p) = -2*k(p) + 3*q(p). Let z(x) = -x**3 + 6*x**2 + 6*x + 4. Let y be z(7). Is v(y) a composite number?
False
Suppose 4*k + 18292 = 4*f, -4599 = -f - 5*k - 8. Is (f + -4 + 1)*1 prime?
False
Let q be (-1)/5 - 1057/(-35). Suppose 3*w - q = -2*w. Suppose -w*l + 1047 = -219. Is l composite?
False
Is (10310016/80 + 11)*10/2 a prime number?
True
Suppose 0 = -5*j + 15*j - 50. Is (6 - 11)/(j/(-12605)) a composite number?
True
Let t be 10*9/((-9)/13004). Is 8/(-20)*t/16 composite?
False
Suppose -14*t + 60241 + 38748 = -3*t. Is t prime?
True
Let i be (-16)/8 - (-1694 - 0/1). Suppose i = a - 241. Is 2/3 + (2 - a/(-3)) prime?
True
Let j = -57170 - -112189. Is j a composite number?
True
Is (-77475150)/(-216) + 2*1/16*-2 a composite number?
False
Let a = 35844 + -24935. Is a a composite number?
False
Let t(s) = -5*s**3 - 48*s**2 + 375*s - 43. Is t(-46) a composite number?
False
Suppose -4*g + 5*s + 14513 = 0, -7249 = -2*g - s - 4*s. Let z = g + -5200. Let f = -1106 - z. Is f composite?
False
Let a(s) = s**3 - 3*s**2 - 3*s + 3. Let c be a(4). Suppose -c*u - 20 = -2*u. Let w(i) = -690*i + 17. Is w(u) a prime number?
True
Let w(v) be the first derivative of -v**3/3 - 5*v**2/2 + 17. Let s be w(-4). Suppose b = -2*f + 161, s*f + 352 = 8*f - 4*b. Is f a prime number?
True
Let i be (2/(-3))/1*(55 + 131). Let p be (0 - 2) + -2 + 255. Let b = i + p. Is b composite?
False
Let i = 62 + -56. Suppose i*w - w - 755 = 0. Let t = w - -40. Is t a composite number?
False
Is (21816 + 1)*(-1 - -260)*1/7 composite?
True
Let k be (-1 + (5 - (-4)/2))/2. Is 8 - -2051 - (9 - k) a prime number?
True
Let y(i) = 131*i**2 - 5*i + 7. Let o be y(2). Suppose -s = 2*l - 3*l + o, 4*s = 0. Is l prime?
True
Suppose 9*t + 16 = 17*t. Suppose -2*x = 2*l - 7*l + 5391, 2*x - 2162 = -t*l. Is l composite?
True
Suppose 9*z + 28473 = 3516. Let a = -1656 - z. Is a prime?
True
Let q(g) = 56*g - 127. Let m be 15 - (-14)/(-7)*-3. Is q(m) prime?
True
Suppose 171*s - 168*s = q + 53871, -s + q + 17957 = 0. Is s composite?
False
Let q(m) = 167*m**2 + 53*m + 2015. Is q(-21) a prime number?
False
Let v = 105476 + -35205. Is v a prime number?
True
Let a(h) be the first derivative of -29*h**4/24 + 7*h**3/6 + h**2/2 + 18. Let s(r) be the second derivative of a(r). Is s(-4) a prime number?
False
Suppose z - 5*z - 110224 = -4*h, -3*z + 21 = 0. Is h composite?
True
Let k(a) = 83*a**2 + 2 + 4*a - 15 - 9*a + 6*a. Let u be (4/(-4 + 0))/(4/(-12)). Is k(u) a prime number?
False
Suppose -15*y + 77285 = -37630. Let q = -4272 + y. Is q composite?
False
Let l = -976 + 1690. Suppose 5*u - 8*u = -l. Let z = u - 107. Is z a composite number?
False
Let l be 2 + -632 + -15 + 9. Let y = 2885 + l. Is y a prime number?
False
Suppose -9*u - 235 = -4*u. Let b = u + 49. Is (b + -4)*(-3 - (-1167)/(-6)) a composite number?
True
Let f(q) = -q**3 - 16*q**2 - 23*q + 44. Let a(u) = -u**2 + u. Let w(j) = 5*a(j) + f(j). Let c be w(-20). Suppose -c*d + 286 = -2550. Is d a composite number?
False
Let q be 18/21*7*(-2)/(-3). Let i be (72/16)/((-1)/(-2)). Is 318/q*(i + -7) prime?
False
Let b(n) be the first derivative of -17*n - 3*n**2 - 4 + 6*n**2 + 5 + 14*n**3 + 40. Is b(6) a prime number?
True
Let w(d) = 34934*d**2 - 340*d - 1027. Is w(-3) a composite number?
False
Let j be (-16)/24 + 4/6. Suppose -b - 4*u + 600 = b, j = 3*u + 12. Let i = 2734 - b. Is i a composite number?
True
Suppose -66745 + 202587 = -31*k. Let n = k + 7875. Is n composite?
True
Let l be 2 + 4/2 + 0. Suppose -2*i = -l*b - 1362, 1155 = 3*i + 4*b - 848. Is i a prime number?
True
Is (-291)/((-39)/(-13)*2/(-202)) a prime number?
False
Let b(g) = -2*g**3 + g**2 - 11*g - 25. Let x be 143/(-3) - 24/18. Let i be (0 + -5)*x/(-35). Is b(i) composite?
False
Let c be (1986/(-8))/((-5)/20). Suppose -34*q + 1316 = -48*q. Let i = c - q. Is i composite?
False
Suppose 741972 + 49588 - 41912 = 16*u. Is u a prime number?
True
Let b be (-75252)/5 + -2 + (-35)/(-25). Let x = b + 31972. Is x composite?
False
Suppose -l = -z - 5*l + 25, 4*z + 3*l = 74. Suppose -21*u + r + 1273 = -z*u, 0 = -r - 5. Is u a composite number?
False
Is ((-1745276)/12)/13*21/(-7) a composite number?
False
Suppose -23*g + 500683 = -26302 - 2186072. Is g a composite number?
False
Is 26 + -13 + 206047 + -1 a prime number?
False
Let x(l) = -4*l**3 - 86*l**2 - 129*l - 4. Is x(-47) composite?
True
Let n = 1176 + -2108. Let y = n - -1601. Is y a prime number?
False
Let m = -617438 - -1412461. Is m composite?
False
Let o = 72668 - 51817. Is o a prime number?
False
Suppose 0 = 4*q - 8*q - 16, -5*q - 2446 = -2*b. Is b/(-4*2*5/(-40)) prime?
True
Let m(v) = -56*v**3 - v**2 - 20*v - 128. Is m(-5) a prime number?
True
Suppose -4*y + 10 + 2 = 0, p - 3 = -3*y. Let g(v) = v + 7. Let i be g(p). Is (i - -932)*(-75)/(-45) prime?
False
Let a(t) = 4 + 10998*t**2 - 9 + 7. Let d be a(-1). Suppose -2*v + 3*z = -3311, 5*z + d = 4*v + 4373. Is v a composite number?
False
Suppose 2*t - 928540 = 5*w, -3*t + 1183628 + 209209 = -3*w. Is t a prime number?
False
Let j(t) = -31982*t - 547. Is j(-12) composite?
True
Is (-472099908)/(-2268) - 2/(-27) prime?
False
Let q(o) be the first derivative of -o**4/4 - 4*o**3 - 2*o**2 + 5*o + 3. Let f be q(-12). Suppose -r = -f - 80. Is r composite?
True
Let j be 1 - 1 - 6/(-2). Suppose 0 = -2*a + 4*u + 1264, -a + 258 = j*u - 354. Suppose -4*g - 4*f + a = 0, 2 + 3 = -f. Is g prime?
False
Let v = -491 + 497. Let l(m) = 57*m**2 + 14*m + 25. Is l(v) a prime number?
True
Is (-2905952)/(-256) + 3/(-8) composite?
False
Let x(n) be the third derivative of -109*n**4/24 + 37*n**3/6 + 191*n**2. Is x(-24) a prime number?
False
Let f be ((-3605)/49 - 5) + (-4)/(-7). Is 26/f*(-2157)/1 composite?
False
Suppose -3*m + z = -507165, -845267 = -3*m - 2*m + 3*z. Is m prime?
False
Let o(p) = p - 6. Let t be o(9). Suppose 2*i - 487 = 5*k, -k - 478 = -5*i + 751. Suppose -t*b - i = -711. Is b a prime number?
False
Is ((-1)/7)/(504/782666514)*-4 composite?
False
Suppose 4*u - 146 = 2*y + 2*u, 3*y + 4*u = -198. Let c = y - -76. Suppose -4*w = -2*a - 5878, c*w - 7340 = w + 5*a. Is w prime?
True
Suppose 4*x = -14*x + 441018. Suppose -2*v - y = -4*v + x, -4*y + 36757 = 3*v. Is v composite?
False
Let x be (-3 - (2 + (-7711)/3))*3. Let a = -2697 + x. Is a a prime number?
True
Let a = 30 - 10. Suppose -13 = -11*p + a. Suppose -p*z = -z - 958. Is z a prime number?
True
Let f(m) = m**2 + m - 10. Let z be f(-3). Let x be ((-24)/z - 5)*5. Suppose 5*p - x*j - 1270 = 0, -4*p - j + 103 + 898 = 0. Is p a prime number?
True
Let t be (-343170)/(-33) - 21/231. Let y = t - 7062. Is y prime?
False
Suppose 0 = -4*z + 3*x + 6, -2*z + 2 = -x - 2. Suppose n - 9294 = -d, -z*d - n + 5*n + 27875 = 0. Is d prime?
True
Let r = -383 + 373. Is ((-42)/4 - r)/((-2)/228476) prime?
True
Is (2*9/(-12))/(45/(-21484110)) a composite number?
False
Let a(h) = h**2 - 2*h. Let q be a(3). Let c = q + -3. Suppose c = -5*k + x + 380, -k = -6*k - 4*x + 405. Is k composite?
True
Suppose 4*m -