8301 - 2350. Is v a composite number?
True
Let m(r) = 4*r**2 + r + 1. Let j be m(-2). Let a(l) = -l**3 + 14*l**2 + 15*l + 6. Let x be a(j). Let v(k) = 23*k - 9. Is v(x) composite?
True
Let l(u) = -2*u**3 - 7*u**2 + 4*u - 13. Let p be l(-10). Suppose 3*c - 1308 = -3*m, 5*m = -4*c + p + 494. Is c a prime number?
True
Let g = 1 + 1. Suppose -5*v = -4*p - 32, -g*v - 4*p = p + 7. Is 1171/v + (-6)/(-24) composite?
False
Let t(y) be the first derivative of 4*y**3 + y - 2. Let x be t(1). Is x*(1 + 0/4) prime?
True
Suppose 99 = 4*b + 3159. Let n = b - -1406. Is n prime?
True
Let v = -24 + 32. Suppose o = -3*h + v, -h = -3*o + o + 2. Suppose n = -h*i + 150, 4*n - 57 = -i - n. Is i prime?
False
Let j(n) = 55*n + 66. Let r be j(15). Suppose -r - 1961 = -4*c. Is c composite?
True
Let m(q) = 3*q - 85. Let b be m(25). Is (-13818)/b - (-18)/90 composite?
True
Suppose -3 = g - 4*g. Suppose -2*c = g - 11. Suppose 0 = -c*j + 5, 2*y + 3*j - 90 = -j. Is y prime?
True
Is (-162298)/(-114) + 4/(-6) a prime number?
True
Let x(s) = -89*s**2 - 3*s + 1. Let a(l) = l. Let d(v) = -4*a(v) - x(v). Is d(3) composite?
False
Suppose -6*u + 3*u = -4956. Suppose -16*x + u = -12*x. Is x a composite number?
True
Let k = -104896 - -72571. Is ((-6)/(-10))/((-15)/k) prime?
False
Let f = 27492 + -16661. Is f prime?
True
Suppose 3*x - 1 - 8 = 0. Suppose 628 = 3*i + x*u - 449, -i - 5*u = -367. Suppose 5*k = 2*k + i. Is k prime?
False
Let j(a) = -6*a**2 - 17*a. Let y be j(-14). Let x = 1331 + y. Is x a composite number?
True
Let f(v) = 2*v**3 + 2*v**2 - v - 2. Let j be f(-1). Is 2*j + 4 + -4 - -61 a prime number?
True
Suppose 55 = -3*v + 4*v. Let m be 0 + 3/3 - -641. Suppose v = -u + m. Is u prime?
True
Let f(n) = 169*n - 6. Let p be f(-1). Let q = 294 + p. Is q a composite number?
True
Suppose 32*f + 4514 = 20226. Is f a prime number?
True
Suppose -4*n + 2*m = 104, 2*n - 4*m + 18 = -34. Let c be (-3)/2 - 91/n. Suppose 0*q - 5*h - 143 = -q, c*q + h = 231. Is q a composite number?
True
Let b(i) = -i**2 - 9*i + 4. Let r be b(-9). Let f(c) = 7*c**2 - 7*c - 5. Is f(r) prime?
True
Let s be (-4 - (2 + 5))*-53. Let j = 48 + s. Is j a prime number?
True
Let q be 220/(-3)*6/(-4). Suppose -3 = 3*t - 5*g, 0 = -4*t + 3*g + g + 4. Suppose 0 = 5*d + t*u - 189, -4*d + 7*d - u - q = 0. Is d composite?
False
Suppose 0 = 3*s + 6, -3*v + 4*s - 122 = -2683. Is v composite?
True
Let l(i) = -119*i - 4. Let z be l(-3). Let h = 80 - 76. Suppose q = -h*d + z, 0*d = 5*q + 3*d - 1850. Is q composite?
False
Let a(t) = 2656*t + 13. Is a(4) prime?
False
Let t = 596 + -337. Is t composite?
True
Suppose 17423 = 3*s + v, 63*v - 68*v = -5*s + 29025. Is s prime?
True
Is -10 - ((-359618)/14 + 10) composite?
False
Suppose 2*u = 4*c - 6, 0*c + c - 3 = 0. Suppose -2*i = -4*r - 3*i + 444, u*i + 428 = 4*r. Let l = 416 + r. Is l a composite number?
True
Let r be (-57)/(-6)*(-56)/4. Suppose -j = -i + 257, 591 = -4*j - i - 452. Let n = r - j. Is n composite?
False
Suppose 9*f + 44*f = 2845093. Is f a composite number?
False
Suppose 8199 = y - 2*n, -5*y - 2*n + 52575 = 11640. Is y a composite number?
True
Suppose -d + 13548 = -3097. Is d a composite number?
True
Suppose -68*v = -73*v + 4685. Is v a prime number?
True
Let h be 4/28 - 2/14. Suppose 0 = -h*p - 2*p + 94. Let l = p + 130. Is l a prime number?
False
Suppose 2*d + m - 64238 = 0, 96331 = 3*d - 11*m + 6*m. Is d composite?
False
Suppose 6 + 18 = 3*r. Suppose r*g + 415 = 8199. Is g a prime number?
False
Let u = -34094 + 48141. Is u composite?
True
Is (-1 + 117)*(-20)/(-40) a prime number?
False
Let a be (1 - 1)*(-9 + 8). Suppose 4*b + 5*n + 2 = -0, -2*b + 3*n + 10 = a. Suppose -b*o = -l - 76, -248 = -5*o + 3*l - 57. Is o a composite number?
False
Let r(n) = -182*n**2 + n + 5. Let k(c) = -181*c**2 + 2*c + 6. Let f(z) = 3*k(z) - 4*r(z). Is f(1) a prime number?
False
Let l(b) = -2*b + 2*b - 2 + 5*b - b. Let p be l(1). Suppose 235 = v + 5*i - 391, -4*i - 1266 = -p*v. Is v a prime number?
True
Let z = 2883 + -1226. Is z composite?
False
Suppose -2*h - 23*b = -19*b - 12164, -h + 3*b + 6062 = 0. Is h prime?
False
Let i(y) = -18*y + 1 + 5*y**2 - 3*y**3 + 24*y + y**2. Is i(-6) a prime number?
True
Let j(l) = 3929*l**2 + 3*l - 19. Is j(-6) a composite number?
True
Let f be (-68154)/(-27) + (-4)/18. Let x(u) = -u**2 + 5*u - 6. Let r be x(5). Is (-18)/12*f/r composite?
False
Let m(h) = -h**2 + 2*h**2 - 5 - 9*h + 1. Let g be (-18)/(6/(-6)) - 8. Is m(g) prime?
False
Is (-111764)/(-18) - 2/18 prime?
False
Let l be 3 + (0 + -2 + -1 - -4). Let b(m) = 6*m - 2. Let u be b(-7). Is 66/l*u/(-6) prime?
False
Let i = 17 - 14. Suppose 3*t = -4*z + 1151, 5*z + t = i*t + 1456. Let b = z - 184. Is b prime?
False
Let r = -11 + 10. Let u be 0/((-2)/(-2) - r). Suppose 4*j = -u*j + 100. Is j composite?
True
Suppose -4*q + 12*q - 251448 = 0. Is q a prime number?
False
Suppose -3*i = -3*g - 54, -2*g = -3*i + 19 + 33. Is ((-52)/i)/((-5)/2540) a composite number?
True
Let z(l) = -l**3 - 16*l**2 - 6*l - 17. Suppose 0 = 5*o - y + 77, -3*o + 6*y - 3*y = 39. Is z(o) prime?
True
Suppose -4*t = -3*t - 3*s - 7412, 4*t - 29683 = 5*s. Suppose -4*a = 3*a - t. Is a prime?
True
Let i = 64 + -63. Let y(j) = -20*j**2 - 2*j + 1. Let w be y(1). Is ((-77)/w)/(i/9) prime?
False
Let h = -59 - -1971. Suppose 4*k - h = -684. Is k prime?
True
Let m(g) = -g + 60*g**3 + 4*g**2 - 18*g**3 - 2*g. Is m(2) a prime number?
False
Let y(i) = i**3 + 19*i**2 - 9*i - 19. Suppose 9*c - 10*c - 18 = 0. Is y(c) a composite number?
False
Let y(c) = -4227*c - 1106. Is y(-25) composite?
True
Let r(m) = 121*m**2 + 6*m - 4. Let g = -46 + 43. Is r(g) a prime number?
False
Let w(b) = b**2 + b + 2. Let z be w(0). Suppose 40 = -z*n + 3*n. Is 6/(-4)*n/(-15) a prime number?
False
Let k(i) = i**3 - i. Let w be k(2). Let s(t) = 167 + t**3 - t**2 + 0*t**2 - 7*t + w*t. Is s(0) composite?
False
Suppose -46 + 16 = 5*t. Is (-6406)/t + (-4)/6 prime?
False
Let a(j) be the second derivative of j**5/20 + j**4/12 - 2*j**3/3 - j**2/2 - 7*j. Let i be a(2). Is 1 + 158 + i + -1 a prime number?
False
Is 27950220/496 + 2/(-8) a prime number?
False
Is 20/(-60)*(0 + -77205) a composite number?
True
Let r(k) = -5*k + 2. Let n be r(-3). Suppose 5*l - 3*b = n, 0*b = 2*b - 2. Suppose 0 = -5*t + 4*d + 2461, 3*t + 3*d - l*d - 1471 = 0. Is t a composite number?
True
Let b be (-2300)/(-18) - 2/(-9). Let v = 1315 - b. Is v prime?
True
Suppose -8*b = -7*b - 1. Let a be b/(0 - (-4)/(-332)). Let q = a + 246. Is q prime?
True
Let q(d) = -5*d - 13. Let n be q(7). Let j be (-3)/4 + 156/n. Is (138/j)/((-9)/30) a prime number?
False
Let w = 2135 + -1200. Let h = w + -548. Let c = -253 + h. Is c composite?
True
Let w be (-4)/18 + 203/63. Suppose j = -w + 5. Suppose 0 = -j*t + 450 - 68. Is t a composite number?
False
Let y be (-5)/2*(-20)/25. Let z be ((-1)/2)/(y/68). Let m = 370 + z. Is m composite?
False
Let x(p) = -2*p + 33. Let m be x(15). Suppose -d + 3*d - l - 5 = 0, 0 = m*d + 3*l - 3. Suppose d*y + 209 = 639. Is y a composite number?
True
Suppose 0 = -4*q - 4*l + 276, 0 = 4*q + 3*l - 5*l - 264. Is q composite?
False
Let q(o) = -2*o**3 - 11*o**2 - 5*o + 101. Is q(-30) prime?
True
Let x(d) be the third derivative of 17*d**4/12 + 4*d**3/3 - 10*d**2. Is x(5) prime?
False
Let n(y) = -y**3 + 6*y**2 - 4*y - 3. Let m be n(5). Suppose 273 + 17 = m*u. Is u a prime number?
False
Let f(d) = 33*d**3 + 95*d**2 - 11*d - 6. Is f(7) composite?
True
Suppose 25797 + 7343 = 4*l. Is l prime?
False
Let l(g) = -g**2 + 9*g - 6. Let c be l(7). Let v = c - 3. Suppose 25 + 20 = v*n. Is n a composite number?
True
Suppose -4*t + 41 - 131 = 3*r, 4*t + 5*r + 86 = 0. Is ((-226)/3)/(t/180) prime?
False
Let u = -42 + 94. Suppose -u*j + 1437 = -49*j. Is j a composite number?
False
Suppose 4*o - 294151 = -5*s, -2*s - 3*s = -3*o - 294158. Is s composite?
False
Suppose 10*b = 4*l + 5*b - 13266, 2*l - 5*b - 6638 = 0. Suppose -15*q = -13*q - l. Is q a prime number?
True
Let q(f) be the third derivative of 83*f**4/24 - 3*f**3/2 - 17*f**2. Is q(4) composite?
True
Suppose 30843 = 4*g - 5*w - 21414, -2*w = 2. Is g a prime number?
True
Let v = 6746 + -3099. Is v a prime number?
False
Let r(u) = -u**3 + 10*u**2 - 16*u - 10. Let o be r(8). Let b be (-15)/o*2*-3. Let i(g) = g**3 + 11*g**2 - 6*g + 7. Is i(b) a composite number?
False
L