b, 9223 = r + 4*r + 2*b. Is r composite?
True
Let p = 145354 + -67719. Is p composite?
True
Let b = 401 - -770. Is b a composite number?
False
Suppose 11 = -3*k + 59. Let v = 16 - k. Suppose v = 2*r - 3*r + 134. Is r a composite number?
True
Is 37/1*(-7 + 198) prime?
False
Let v = 51 - 53. Let t(j) = -379*j**3 - j**2 - 4*j + 1. Is t(v) a prime number?
True
Suppose -5*z + 3*v + 1570 = 0, 5*z + 58 - 1628 = 2*v. Is z a prime number?
False
Suppose -4*m + 3*y + 6 = 0, -m - 3*y + 12 = m. Suppose 0*w = -w - 5*f - 1157, -3427 = m*w + 4*f. Is (-4)/(-6) + w/(-9) prime?
True
Suppose -5*x + 43321 = -3*c, -8669 = -x - c + 4*c. Is x prime?
True
Let f(t) = 3*t**3 - 8*t - 4. Let u be f(-5). Let i(p) = -38*p + 32. Let x be i(-12). Let c = u + x. Is c composite?
False
Let v(y) be the second derivative of y**4/2 - y**3/3 - 7*y**2/2 + 13*y. Is v(-7) a composite number?
True
Let a(x) = 5*x**2 + 26*x + 63. Let u be a(-19). Suppose 5*p = 2*v - 692, 7*p = 4*v + 2*p - u. Is v composite?
True
Let u(c) = c**2 + c - 16. Let m be u(0). Let q = m + 135. Is q a prime number?
False
Suppose -2*c + 6*l - 15 = 3*l, 2*l = -2*c + 10. Suppose -5*p = -3*h - c*p + 4757, p = 3*h - 4741. Is h a prime number?
True
Let z be (-50)/(-13) + 6/39. Suppose 4*l - 16 = -4*m, 4*l - 6 = z*m - 22. Suppose -2*f = u - 129, 0*f = -m*u - 2*f + 522. Is u prime?
True
Let k = 10 + 26. Let i = k - 33. Suppose 922 = i*l - 272. Is l composite?
True
Let t(o) = 31 - o**3 - 12*o + 14*o**2 - 13*o + 6*o**2. Is t(17) prime?
False
Suppose -7*y + 2105 = -2*y. Suppose 29 = -r + y. Suppose r = 5*p + 2*i - 7, 4*p - 3*i = 310. Is p a composite number?
False
Let b = 18039 + -8846. Is b a prime number?
False
Let m = 8512 + -3365. Is m composite?
False
Let p(u) = u - 15. Let j be p(24). Suppose -5071 - 752 = -j*t. Is t prime?
True
Let d(q) = q + 4. Let c be d(-6). Let a be (-20)/11 - c/(-11). Is 3/((-12)/(-572)) - a prime?
False
Suppose 8*u = -1688 - 688. Let t = u + 424. Is t a prime number?
True
Let v(r) = 3*r + 22. Let q be v(-6). Suppose q*j - 840 + 2509 = 5*o, j + 333 = o. Is o composite?
False
Let c(r) be the first derivative of -r**4/4 - r**3/3 + 5*r**2 + 9*r - 3. Is c(-8) a composite number?
True
Suppose 5*y - 25 = -5*v, 0*v + y = 3*v + 5. Suppose -10 + v = -2*x. Suppose 3*w - 38 + 8 = -x*s, -4*s + 5*w + 61 = 0. Is s prime?
False
Let a be (-7)/((0 - -1)/((-1317)/3)). Suppose -5*t = n - 1749, t + 2206 = 3*n - a. Is n prime?
True
Let x(i) = -i**3 + 6*i**2 + 3*i - 8. Let z be x(6). Let l = 12 - z. Suppose 778 = l*p + 72. Is p a prime number?
True
Let q = -72 - -69. Is (8/(-48)*9)/(q/422) a composite number?
False
Let l(c) = c - 9. Let m be l(11). Suppose -433 - 1803 = -m*a. Is (-10)/(-55) + a/22 composite?
True
Let w = -113 + 448. Is w a composite number?
True
Let l = 18 - 30. Let t be 22 + (4 - 4)/4. Is 12910/t + l/(-66) prime?
True
Suppose -2*f - 1 = -43. Suppose 2*g = -5*s + 115, -4*g + 244 = -4*s - 0. Let l = g - f. Is l prime?
False
Suppose -2*b = 5*a - 11002, -b - a = 4*b - 27505. Is b a prime number?
True
Is 8/(-52) + 111608/104 prime?
False
Let t = -179 - -293. Let g = 1 + 1. Suppose 5*q - 5*m - t = 4*q, -2*q = -g*m - 268. Is q prime?
True
Let a(m) be the third derivative of -m**6/60 + 7*m**5/60 - m**4/4 + m**3 - 2*m**2. Let t be a(4). Is -2*13/4*t composite?
True
Suppose 44 + 71 = 5*y. Let r = -1 + y. Suppose g = 15 + r. Is g composite?
False
Is 20262/(-44)*(-76)/6 prime?
False
Let u be 11/(-22) + (2 - 4398/(-4)). Let s be (-1)/(-2)*(-3 + 3). Suppose -r - g + 184 = s, -4*r + 2*g + u - 347 = 0. Is r prime?
False
Let n(t) = -2079*t + 97. Is n(-10) prime?
True
Let z(u) = -u**3 + 24*u**2 - 22*u - 24. Let d be z(23). Is -7*(d/1 - (288 + 4)) prime?
False
Suppose 4*c = -0*c - 80. Let x = c + 30. Is (4 - 9)/x*-164 a composite number?
True
Let i = 153 - 16. Let w be i - (2 + -1 - 3). Suppose 0 = -y + 64 + w. Is y prime?
False
Suppose 5*v - 5*n = 14805, 20*v - 5928 = 18*v - n. Is v composite?
False
Let o(i) = -26*i**3 + 2*i**2 - 1. Let d be o(1). Let p(q) = q - 23. Let b be p(13). Is (-2994)/b + 10/d a composite number?
True
Let f(m) = 113*m**2 + 4*m + 308. Is f(-21) a prime number?
False
Suppose 47 = -v + 2*v. Suppose r + 3*n - v = 0, 2*r + 0*n = -3*n + 82. Is (-4)/(-14) + 3385/r a prime number?
True
Is ((-38774)/4)/((-3 + 15)/(-24)) a composite number?
False
Is (25 - 22) + 1030/4*10 composite?
True
Let t(n) = 494*n**2 - 254*n + 7. Is t(6) a composite number?
False
Let o = 15 + -8. Let f be (o + (-12)/(-4))*-2. Is (669/4)/(-3)*f composite?
True
Let f(r) = -r**2 - 4*r - 3. Let d be f(-2). Let p be -1 + (2 - (d + -3)). Let i(q) = 11*q**2 + q + 7. Is i(p) prime?
True
Let g = 11181 - -1913. Is g prime?
False
Suppose 5*k + q = -46, -4*q + 48 = -2*k + 12. Let i(a) = -5*a - 10*a + 7 + 8*a. Is i(k) a composite number?
True
Let s be 119 - 3*2/(-3). Suppose p = l + l - 270, 3*p = -l + s. Is l a prime number?
False
Is 76 + 13448 - (-1)/(-1) a composite number?
False
Let n be (-19 - -13)/(0 + 2). Is (179/n)/(2/(-6)) prime?
True
Let p(y) = -y**3 + 7*y**2 + 10*y + 3. Let r(a) = -2*a**3 + 14*a**2 + 19*a + 7. Let c(n) = -11*p(n) + 6*r(n). Is c(7) composite?
False
Let y(v) = 20*v**3 - v**2 + 2*v + 175. Is y(14) composite?
True
Let g(l) = l**2 + 13*l. Let b be g(-15). Suppose 3*u = 3*c + b, -2*c = -3*u - 7*c - 2. Suppose -u*n + n + 895 = 0. Is n a prime number?
True
Let n(r) = r**3 + 28*r**2 + 28*r - 7. Is n(-22) composite?
False
Suppose 647*t - 646*t = 16753. Is t a composite number?
True
Let t(d) = -d - 2. Let s be t(3). Let g(r) = -13*r - 11. Let j(w) = 12*w + 11. Let a(f) = -3*g(f) - 4*j(f). Is a(s) a composite number?
True
Let a be (-3)/(-3) + (0 - -2). Suppose 22 = -3*m + x + 151, 0 = -a*x. Is m a composite number?
False
Let i(q) = 3*q - 2. Let a be i(2). Let n(x) = 3*x**2 + x + 4. Let s be n(0). Suppose 1184 = a*r - 5*c, 2*r = s*r + 4*c - 566. Is r prime?
False
Let d(h) = 4*h - 12. Let g be d(3). Let y(v) = v**3 - 2*v + 1277. Is y(g) a prime number?
True
Suppose 7*u = 8*u - 11393. Is u a composite number?
False
Suppose 0 = -18*k + 21*k + 27. Let y(x) = 3*x**2 + 12*x - 2. Is y(k) a composite number?
True
Is (572576/10 - -1) + (-38)/(-95) a prime number?
True
Let b = 12307 + -8364. Suppose 5*j = 4*s + b, 3152 = 2*j + 2*j - 2*s. Is j a prime number?
True
Let s = 126 + -122. Suppose 2233 = s*i - 363. Is i composite?
True
Let l = -14 - -23. Let v = l - 27. Let w = 55 + v. Is w a prime number?
True
Is ((-44956)/32)/(11/(-88)) a composite number?
False
Let w(d) = 781*d**2 - 2*d. Let y be w(-2). Suppose -26*v + 557 - 141 = 0. Is (y/v)/((-3)/(-6)) a prime number?
False
Suppose 0 = 17*z - 11*z - 3342. Is z composite?
False
Let v(k) = -2*k - 8. Let l be v(-5). Let h(q) = -q**2 + 6*q - 4. Let f be h(l). Suppose 0*z + 444 = f*z. Is z prime?
False
Let r(j) = 3*j**2 + 2*j - 15. Let c(a) = -9*a**2 + 1. Let d be c(1). Is r(d) a prime number?
False
Suppose h - 451 - 184 = 0. Is h composite?
True
Let g(s) = -s**3 - 2*s**2 + 4*s + 4. Let x(a) = a**3 - 2*a**2 + 2*a - 1. Let t be x(1). Suppose 15 = -3*v - t. Is g(v) composite?
False
Let c(k) = 4*k**3 + k**2 - 1. Let r be c(1). Suppose -r*z - 3 + 23 = 0. Suppose -z*h - 2*f + 37 = 0, 4*h - 7*h + 2*f = -19. Is h composite?
False
Let y = 31 + -33. Is ((-673)/y)/(8/16) prime?
True
Is (-6 - -7) + 1 - (-17375)/1 a composite number?
False
Suppose -5*m = -3*m - 8. Let x be 350/(-8) - m/16. Is 10*1/((-8)/x) a composite number?
True
Suppose -138 = -2*a + 16. Suppose 4*v = a + 967. Suppose -v = -h - 2*x, 3*h = -0*h - x + 773. Is h composite?
False
Let q be (-105)/(-56) - 1/(-8). Suppose 3*z - 42 = -2*z + 4*o, -q*z = -2*o - 18. Suppose 0 = i - z*i + 425. Is i a composite number?
True
Suppose -3*u + r = -260159, -5*u = 13*r - 15*r - 433599. Is u a composite number?
False
Let k(n) = -n + 2284. Let h be k(0). Suppose 2*r - h - 1594 = 0. Is r a composite number?
True
Let s be 3 + (-9)/2*-2. Suppose s*a = 6*a + 1254. Is a composite?
True
Suppose 53*s = 45*s + 4232. Is s composite?
True
Is 52/(-182) - (-35457)/7 a prime number?
False
Suppose -7*h + 5272 = -699. Is h a composite number?
False
Let c(o) be the third derivative of -o**6/120 + o**5/6 + 7*o**4/24 + 5*o**3/6 - 24*o**2. Is c(9) a composite number?
False
Let f(u) = 17*u**3 + u**2 - 3*u + 5. Let r(w) be the second derivative of w**3/6 + 2*w**2 - 2*w. Let 