(19 + -38) a prime number?
False
Suppose -780 - 2172 = 4*f. Let u = f - -1555. Let k = u + -584. Is k prime?
True
Let h(l) = 52*l**2 - 9*l + 6. Let i be (0 - (-4)/12*-3) + 6. Let w be 1 - 20/((-25)/i). Is h(w) a composite number?
True
Let z(j) = 71114*j - 369. Is z(3) prime?
False
Let s = -46619 - -139170. Is s a prime number?
True
Suppose -5*c = -5*f + 643677 - 3677, 4*f - 2*c - 512010 = 0. Is f a composite number?
True
Let d(r) = -22280*r + 119. Is d(-9) a prime number?
True
Let r(g) = -g**3 - 9*g**2 + 11*g + 5. Let c be r(-10). Let m be (c - 1)/(4 - 5). Is (-148)/m*(-1140)/40 prime?
False
Let o(i) = -5*i - 5. Let b be o(-2). Suppose -3*v - 5*l = -69983, -5*v + 10*l + 116585 = b*l. Is v composite?
False
Let p(h) = 9*h**3 - 90*h**2 + 24*h - 343. Is p(34) a prime number?
True
Let f be (27 + -27)*1*(-2)/8. Is (10558 - 0) + (-3 - f/1) a prime number?
False
Suppose -4*f + 10262 = -2*f - 4*p, -3*f = -2*p - 15401. Suppose 9*o - f = 4*o. Let q = o + -140. Is q composite?
False
Let q(o) = -73106*o**3 + 6*o**2 - 2*o - 5. Is q(-1) composite?
True
Let r(q) = -q**3 - 24*q**2 + 8*q - 6. Let o be r(-25). Suppose 0 = d - 4*t - o, -4*t - t = 0. Is d prime?
True
Let g(a) = -111*a - 16. Let c(k) = 57*k + 8. Let p(u) = 7*c(u) + 4*g(u). Suppose 22 = -4*q - 5*d, -q - 3*d - 6 = 3. Is p(q) a prime number?
True
Let x be ((-78)/(-18) + -3)*45/(-2). Let m = -26 - x. Suppose 5*n - 6526 = 2*n + f, 0 = m*n - 3*f - 8693. Is n a composite number?
True
Let u = 105 + 10. Let p = u + 1178. Is p a composite number?
True
Suppose -4*u - 31382 = -2*x, 4*x - 14*u + 11*u - 62739 = 0. Is x prime?
False
Let p(i) = -184361*i - 401. Is p(-4) a prime number?
False
Suppose 47*j = 48*j - 105. Suppose 0 = j*r - 108*r + 7071. Is r a prime number?
True
Suppose -6*g = 5*g - 33. Suppose -3*u - i - 3074 = -4*u, 12291 = 4*u - g*i. Suppose 0 = 4*d + 4*v - 12284, 0 = -d + 2*v - 4*v + u. Is d a composite number?
True
Let b = 30 - 32. Is b/11 + (-453974)/(-22) a composite number?
True
Let f = 364814 - 174115. Is f a composite number?
False
Let w(y) = -y + 33. Let q be w(15). Let k(o) = -o**3 + 22*o**2 + 26*o - 83. Is k(q) composite?
True
Let f = 90 - 88. Suppose -5*g - 2*h = -5*h - 20409, 0 = -4*g - f*h + 16336. Is g a composite number?
True
Suppose -4*u - 9 = -5*g - 42, -g = -u + 7. Suppose 0 = 2*q + 3*d - 14093, 5719 = -5*q - u*d + 40924. Is q composite?
False
Let g be -10 + 21 - (0 - -1). Is (5 + (-3238)/g)/(4/(-10)) a prime number?
True
Suppose 3*p + 2*o - 58 = 0, 5*p - 53 = 4*o + 7. Suppose 0 = 3*d - 11*d + p. Suppose -d*m - 2*w + 1565 = m, 0 = -2*w + 2. Is m a composite number?
False
Suppose -17*n + 5*n = -24*n + 1140732. Is n prime?
False
Suppose -2*n - 12499 = 929. Let d = n - -11287. Is d a prime number?
False
Let h(b) = 55*b**2 - 22*b + 120. Is h(-43) a prime number?
True
Suppose 4*v = v + 9036. Suppose -3*u - 14 = -5*n, 5*u = -4*n + u + 24. Suppose 3*t + v = n*y, -2*y - 3*t + 3012 = 2*y. Is y prime?
False
Suppose -5*p = 5*w - 5, -2 = 4*p - 2*w - 0. Suppose p = -2*q - q + 12. Suppose -4*v = -l - 1324, -q*l = 2*v - 545 - 117. Is v a prime number?
True
Suppose -d - 61 = -64. Suppose 5*n - 54860 = -3*h, 2*n - d*n = 4*h - 73175. Is h prime?
False
Let o = -521 - 155. Let u = 2189 + o. Is u composite?
True
Suppose 5*h - 47 = 4*f - 15, -4*f = -4*h + 28. Let q be 3 - -3*f/(-9). Suppose -k = -q*t - 3*k + 8200, 10263 = 5*t - 4*k. Is t composite?
True
Let v be 171/(-15) - (-18)/45. Let f(z) = 27*z**2 + 12*z + 28. Is f(v) a composite number?
False
Let a = -2915 + 1269. Let p = 347 - a. Is p prime?
True
Is 2 - (4 - -3 - 10 - 576084) a prime number?
True
Let c(s) = -2*s + 14. Let z be c(7). Suppose -4*u + 16 = -z*u. Suppose -3*k + 6*x = x - 898, -3*k = -u*x - 899. Is k a prime number?
False
Let f(r) = 2*r + 8. Let i be f(-4). Suppose -8*v + 1062 + 1282 = i. Is v a prime number?
True
Suppose 0 = -24*q + 1132273 + 719303. Is q a prime number?
False
Let b = -110 - -120. Is 57894/4*b/15 a composite number?
False
Let i(p) = 3*p - 6. Let c be i(3). Suppose -c*d = 154 - 517. Is d prime?
False
Suppose 14 = -13*p - 12. Is (-1226)/((8/p)/(1 - -1)) prime?
True
Let a = 70 - 66. Suppose a*f = 18*f - 89614. Is f composite?
True
Let h(i) = i**3 - i - 4. Let m be h(2). Suppose m*d + 24 - 32 = 0. Suppose 20 = d*a - 0*a, 5*t - 55 = 3*a. Is t composite?
True
Let p = 3715 - 2132. Let g = p + 1668. Is g a prime number?
True
Let t be 0*(-9)/27 + 2. Suppose y + 14220 = 5*y - t*q, q = -3*y + 10675. Is y prime?
True
Let k(o) = -42*o**3 + o**2 + 5*o + 5. Let r be -12*2/(-3) + (-6)/(-3). Suppose r*u = 20*u + 20. Is k(u) prime?
False
Suppose 3*s + 1 - 1 = 0. Suppose 15*v - 2253 = 12*v. Suppose 2*p - 1483 - v = s. Is p composite?
False
Let f(s) = 107*s**2 - 8 - s + 9*s + 4. Suppose 0 = 2*t + 16*m - 15*m - 4, -m = -3*t + 11. Is f(t) a composite number?
False
Let y(a) = -10*a**3 - 2*a**2 + 4*a + 5. Let p be 7/((-7)/(-24)) + 2. Let z = p + -28. Is y(z) composite?
True
Let x be -1 + (-2)/(4/(-2518)). Let n(g) = 5*g**2 + 3*g + 1. Let r be n(-9). Let j = x - r. Is j a composite number?
True
Let q(g) = -g**3 + 11*g**2 - 9*g - 8. Let t be q(11). Let f be (-350)/28*(0 + -12). Let l = f - t. Is l a composite number?
False
Suppose 13*g - 17*g = 560. Let m = 1041 + g. Is m a prime number?
False
Let r be ((-12)/(-10))/(168/(-35) + 5). Let l(d) = -2*d - 17 + 2*d + 28*d + 12*d. Is l(r) a prime number?
True
Suppose -7*t = -6*t + 27. Let m = t + 25. Let b(i) = -42*i**3 + 2*i**2 + 7*i + 1. Is b(m) a prime number?
True
Let g(q) = -439*q + 103. Let x be g(-7). Suppose -2*n = h - 3151, -x = -h + 9*n - 6*n. Is h prime?
False
Suppose -7*m = -m - 546. Let p = -85 + m. Suppose p*z = 17*z - 2761. Is z a prime number?
True
Suppose d + 19795 = w + 64139, -221776 = -5*d - 3*w. Is d prime?
True
Suppose -2*x + 3*l + 29 = 4*l, -x = l - 17. Suppose -4*n = 8 + x, 0 = -4*f - 2*n + 986. Is f a composite number?
True
Let k(b) = 2*b + 90. Let n be k(-42). Is 3*(n/(-39) + 534395/195) a composite number?
False
Is (476310/33)/((-100)/(-550)) a composite number?
True
Let i(w) = -7*w**3 + 3*w**2 - 42*w - 651. Is i(-32) composite?
False
Suppose -13 = -4*q - 77. Let w be (-1)/(52/q - -3). Suppose w*p + p - 1595 = -2*b, b = -3*p + 958. Is p prime?
False
Let u be (-757)/(5 - 5 - 1). Suppose 0 = t + 2*f - u, 5*t = 9*t + 5*f - 3016. Is t prime?
False
Suppose -q + 5*y + 5492 = 0, -4445 = -4*q - y + 17439. Suppose 3*v + 4*i - q = i, -2*v + 3642 = 5*i. Let h = 2163 + v. Is h a prime number?
True
Let n be (11 + -6)*4*447/6. Let j = 4433 + n. Is j composite?
False
Suppose 0 = 3424*a - 3362*a - 64651058. Is a a composite number?
False
Suppose 3*s - 7*x + 6*x - 227628 = 0, -5*s + 3*x + 379376 = 0. Is s a prime number?
False
Suppose 4*c = 4*d - 3*d + 8, -d - 5*c = -19. Suppose 2*o - d*n - 3039 = -3*o, 5*o - 3063 = -2*n. Let q = o + -94. Is q prime?
False
Let m(x) = -80*x - 249. Let r be m(33). Let t = -1362 - r. Is t a prime number?
False
Suppose a = -p + 7, 10 = -a + 4*p + 2. Suppose 0 = -a*t + 3836 - 404. Let n = 1367 - t. Is n a prime number?
True
Let o(m) = -m**3 - 109*m**2 + 45*m + 1775. Is o(-121) a prime number?
False
Suppose -171*s = -167*s. Suppose 0 = -2*u + 4*x + 746, s*x = 5*u + 3*x - 1865. Is u a prime number?
True
Let i(r) = r**3 + 5*r**2 + 12*r + 15. Let x be i(-2). Is (-1)/(5/(-1905)*x) composite?
False
Let i(w) = -63 - 33 - 43*w - 186*w - 7. Is i(-14) a composite number?
True
Let p = -96 - -116. Let w = -18 + p. Is (-52)/104 - (-1 + (-4357)/w) prime?
True
Suppose 113342 = 32*r + 79936 - 131650. Is r a composite number?
True
Let o = -56 - -54. Let l be o + (2 - 2/8*4). Is (8 - -252) + l + 5 + -1 prime?
True
Let b(h) = -89*h + 1. Let u be b(-27). Suppose 3*n + n = u. Suppose 0 = -5*a + n + 684. Is a a prime number?
True
Suppose 3*a + 304 = 4*p + 53, 3*p + 5*a = 210. Suppose -p*g + 150139 = -54*g. Is g a composite number?
False
Let m(r) = 30*r + 45. Let j be m(16). Let w(u) = 38*u + 10. Let p be w(-3). Let t = j - p. Is t composite?
True
Let x(j) = 1503*j**2 + j + 15. Let u = 173 + -176. Is x(u) prime?
False
Suppose 105*n - 197*n + 314349 = -71*n. Is n prime?
True
Let r be (-1)/8 - (12 + (-75)/24). Let o(z) = 66*z**2 - 5*z - 64. Is o(r) a composite number?
True
Let f = -752 + 746. Let x(h) = -59*h**3 - 4*h**2 + 20*h + 17. Is x(f) prime?
True
Is ((-274508)/72 + 4/(-18))