r?
True
Let b be 87/2*(-8)/12. Let v = b + 38. Let m = v + -2. Is m a composite number?
False
Suppose -14 = -3*a + 133. Suppose -5*h = a - 2114. Is h prime?
False
Let z(i) = i**2 - i - 1. Let g(a) = 14*a**2 + 3*a + 1. Let f(l) = g(l) - z(l). Let b be f(-2). Let o = b + -33. Is o composite?
False
Let d be 27/(-6)*(-4)/6. Let g = 2936 + -1322. Suppose 3*b + d*b - g = 0. Is b a composite number?
False
Let r(l) = -l**3 + l**2 + l - 25. Let y be r(0). Let p be (620/y)/((-4)/70). Suppose -3*t + p = 2*w, t = -3*w + 3*t + 677. Is w prime?
True
Suppose -d - 7907 = -4*s, -s - 734 = 2*d - 2713. Is s composite?
True
Suppose 42*o + 36956 = 46*o. Is o composite?
False
Suppose 31*i = -4*i + 1049195. Is i composite?
True
Let r be (4/14)/((-1)/(-7)). Let i(m) = -6 + 7*m - 2*m**2 + 4*m**2 - 3*m**r. Is i(4) composite?
True
Let f(b) = -b + 487. Let k(n) = n**3 - n**2 - 2*n. Let l be k(0). Is f(l) composite?
False
Suppose 3*q + 12 = 4*c, 2*q + 8 = 5*c - 4*c. Suppose -7*p + 35 = 7. Is 13 + q + p/(-2) a prime number?
True
Let a(f) = 10*f**2 + 6*f - 12. Let q be a(7). Suppose 2*u = q - 98. Is u composite?
False
Let y be (-12)/8 - (-2098)/(-4). Is -4 - 1/(2/y) composite?
True
Suppose j + 9 = -2*x - 16, 5 = -3*x + 5*j. Is -1146*5/x*1 prime?
False
Is (-12)/40 + 3595427/190 a composite number?
True
Let h be 18/5 - (-6)/15. Suppose h*b + 0*b - 332 = 0. Is (b + -1)/(6/21) prime?
False
Suppose -2 = -r + 6. Let g(s) = -12*s + 7 + r*s + 9*s + 2*s + 18*s**2. Is g(-4) a prime number?
False
Let x = -73 - -59. Let c = 245 - 170. Let r = c - x. Is r composite?
False
Let i = 84195 - 34342. Is i prime?
True
Let u = -2287 - -4066. Is u a composite number?
True
Is 67496/12 - 63/(-27) a prime number?
False
Let d be 24*(4 + (-1088)/12). Is -3 + (d/(-5) - 2) composite?
True
Let h(q) = -156*q**3 + 9*q**2 + 21*q - 11. Is h(-4) a composite number?
True
Suppose 11*p - 51123 = 1028. Is p a composite number?
True
Let n(y) = 519*y**3 + 2*y - 1. Let f = -15 + 16. Let k be n(f). Suppose 0 = 2*u + 3*h - 439, 4*u + 4*h - k = 360. Is u a composite number?
True
Suppose -1153 = 5*q - 4533. Is q/(-6)*(-3)/2 composite?
True
Suppose 0 = -6*a + 3*a + 699. Let j = 500 - a. Is j prime?
False
Let t(o) = -6 + 8 + 61*o - 3 - 2. Suppose 0 = -3*h + 9, 3*h = -5*r + 5 + 14. Is t(r) a composite number?
True
Let c(l) = -l**2 + 8*l - 5. Let g be c(7). Suppose g*h + 5 = 3*h, -h - 7 = -2*m. Is (-24)/m + 492 + -1 a prime number?
True
Let t(s) = 11*s**3 - 11*s**2 - 2*s - 12. Let u be t(11). Suppose 7*b - u = 3*b. Suppose -b = -5*n - 1074. Is n prime?
True
Let n be ((-6)/(-8))/((-3)/(-12)). Suppose -2561 - 54 = -j + 3*m, -n*m + 10430 = 4*j. Is j prime?
True
Let g = 5166 + -1967. Is g composite?
True
Suppose -2573 - 9032 = -11*v. Suppose 2*l + 2 = 0, a + 4*l - v = 598. Is a a prime number?
True
Let v(p) = -p**3 - 16*p**2 + 17*p + 5. Let s be v(-17). Suppose -s*g + 7 = -3. Suppose 0 = -o + g*o - 257. Is o a prime number?
True
Suppose 3*j = -5*p + 36, 2*p + p = -4*j + 26. Is p/10 + 16/(-10) - -6144 composite?
False
Let f = 12 + -26. Let l be (-18)/(-63) + (-24)/f. Suppose 4*b - g = 26, -3*b - b - l*g + 32 = 0. Is b a composite number?
False
Let k be 2250 - (7 + -1 - 4). Suppose 2*b = -2*b + k. Is b a composite number?
True
Let k(r) = r**2 + 17*r + 31. Is k(-29) composite?
False
Let q(s) = 52*s**2 - 84*s + 89. Is q(-39) composite?
False
Let w be (1038/18)/((-3)/(-63)). Suppose 6*r - 127 = w. Is r a composite number?
False
Suppose -3*j = -4*q - 34375, -26*q + 11457 = j - 28*q. Is j prime?
False
Let y = 6 - 15. Suppose 2*f + 6 = -3*z - 8, -f = 2*z + 6. Is y/(-15) + (-2044)/f composite?
True
Suppose 3*m = -5*t + 116, 0 = t + 4*t - 5*m - 140. Suppose -20 = 2*d + 7*l - 3*l, -3*d + 5*l = -t. Suppose d = r - 4 - 15. Is r a composite number?
False
Suppose 4*j = -181 - 331. Let n = j + 34. Let p = n + 317. Is p composite?
False
Let z be 2*(-3)/(-2) - 1. Suppose 3*t - 41 = 5*c, 0*t - 5*t + 15 = 5*c. Suppose -z*i + t*i - 245 = 0. Is i composite?
True
Let j(k) be the third derivative of 2*k**5/15 - 11*k**3/6 + 7*k**2. Is j(-7) composite?
True
Let r = 152678 - 58271. Is r a composite number?
True
Let w = -63 - -70. Suppose 10 = 5*u, 3*u - 7182 = -2*c + w*u. Is c prime?
False
Suppose -71*t = -72*t + 5*g + 8886, -3*g - 35459 = -4*t. Is t prime?
True
Is (2/2)/(74664/18664 + -4) composite?
False
Let f(o) = -23*o + 56. Is f(-9) a prime number?
True
Is (660760/(-8))/(-6 - -5) - 4 composite?
False
Let w = -189 + 301. Is 22/4*(w - 6) composite?
True
Is (((-149394)/(-24))/(-7))/(1/(-4)) composite?
False
Suppose 0 = -8*n - 8386 + 84194. Let l = -6117 + n. Is l a prime number?
True
Let u(m) = m**2 + 18*m - 33. Let h be u(19). Let q = h - -19. Is q a composite number?
True
Suppose 0 = 12*d - 31 - 29. Let j(q) = 16*q**3 - q**2 - 6*q + 4. Is j(d) prime?
True
Suppose 280 + 1135 = 5*v. Let p = v + 1509. Suppose -583 = 3*d - p. Is d prime?
False
Suppose 7*z + 33599 = w + 5*z, -3*w - 4*z + 100757 = 0. Is w a prime number?
False
Suppose 4*h - h - 24 = 0. Let u be -2*542/h*2. Let s = 380 + u. Is s composite?
False
Suppose z = -5, r - z + 2954 = z. Let j = -2084 - r. Suppose 0 = -4*b + f + j, 245 + 872 = 5*b + 3*f. Is b composite?
True
Let q = 5637 - 1090. Is q a prime number?
True
Let u = 1565 - 2669. Let r = -745 - u. Is r prime?
True
Let t(y) = -230*y**3 + 8*y**2 + 11*y + 1. Is t(-2) a prime number?
False
Suppose -3*r - 25301 = -2*f, -3*f + 43*r + 37971 = 45*r. Is f a composite number?
True
Let v(d) be the first derivative of -d**4/4 + 5*d**3/3 - 11*d**2/2 - 10*d + 12. Is v(-7) a composite number?
True
Suppose 4*w = u + 1671 + 1850, -w - 5*u = -896. Let o = -262 + w. Is o prime?
True
Let d(q) be the third derivative of 0*q + 11/24*q**4 - 1/6*q**3 - 3*q**2 + 1/20*q**5 + 0. Is d(9) prime?
False
Let o(u) = 194*u**2 - u + 16. Is o(3) a prime number?
True
Suppose -4*j + 5*l - 92 = 0, 5*j = -3*l - 3 - 149. Is (-18165)/j - 3/12*-1 a composite number?
True
Let j be (-4)/(-16) - 1870/(-8). Suppose 0 = 3*i - 903 + j. Is i a composite number?
False
Suppose -5*n = -5, 3 = -5*l + 4*n + 319. Suppose -3*m = -203 - l. Is m composite?
False
Suppose 5*k - 4*g = 86349, 34533 = 17*k - 15*k + 5*g. Is k a composite number?
True
Let g = 7460 + -3354. Is g composite?
True
Let g(b) = -3*b**3 - 1. Let k be g(-1). Let h = 1553 + -1084. Suppose 0 = k*t - t - h. Is t a prime number?
False
Let z be (-4)/(-10)*(0 + 10). Let x be 2/((z/213)/2). Suppose -v + x = -52. Is v a composite number?
True
Let i(m) be the third derivative of m**4/24 + m**3/3 + 7*m**2. Let k be i(4). Is -314*k*(-1)/4 prime?
False
Let o(q) = 18*q**2 - 15*q + 20. Is o(9) a prime number?
False
Let p(z) = -z**2 - 7*z. Let w be p(-7). Suppose 0*f - 5*f - l + 1968 = w, 3*f + l - 1182 = 0. Is f prime?
False
Suppose 0 = 3*i + 12, 9*i - 6*i - 92820 = 4*j. Is j/(-14) + -1 - 4/(-14) composite?
False
Suppose 5 = 10*o - 9*o. Suppose 5*c - 4591 = -q, 5*c - o*q = -979 + 5594. Is c composite?
False
Suppose 4*y + 4*f = 5*y - 14696, -4*y - 3*f + 58765 = 0. Suppose 8*x - 6916 = y. Is x composite?
True
Suppose a + 16 = 3*c, 2*c - 16 = -0*c + 2*a. Suppose -c*j + 327 = -677. Is j a prime number?
True
Let a = 13 - 12. Let u be (a/2)/(6/1524). Suppose 0 = 4*d - u - 45. Is d a prime number?
True
Let u be -12*(-3)/(27/15). Let x = 32 + u. Suppose -2*f + 3*q = -106, -4*f + q = -160 - x. Is f a composite number?
False
Suppose -16*u = -15*u - 14. Suppose u*v - 54350 = 43496. Is v prime?
False
Suppose -5*b - 583 = -4*c + 166, -4*c = -4*b - 752. Let g = 402 - c. Is g prime?
True
Let u = 222 + -391. Suppose 45*g - 50*g + 1480 = 0. Let h = g + u. Is h a composite number?
False
Let a = 587 + 147. Is a a prime number?
False
Let p(x) = -9*x**3 + 19*x**2 - 13*x - 19. Let v(a) = -5*a**3 + 10*a**2 - 7*a - 10. Let k(r) = 4*p(r) - 7*v(r). Let b be k(5). Is b/(-4 - -2) + 193 composite?
False
Let t be 6276/(-8)*(-6)/9. Suppose 0 = -5*s + t + 2922. Is s composite?
True
Suppose 0 = -4*o - 0*o - d + 15, -5*d = -3*o + 40. Is (320 - o/(-5)) + -4 a prime number?
True
Let o be 2/1 - (1 - -4). Is 177*(o - 44/(-12)) prime?
False
Suppose 3*f - 12 = 0, -6*f = -4*p - 2*f + 9820. Let m = p - 978. Is m a composite number?
False
Let r(b) = b + 15. Let k be r(-9). Suppose -m + 2143 = k*s - 2*s, 2*s = -5*m + 1085. Is s a composite number?
True
Let m = 3468 + 125. Is m a