. Suppose -2*r = -5*r + v. Is r composite?
True
Let q(i) = -10*i + 0*i**2 - 7*i**2 - 8*i**2 - 2*i**2 - 2*i**3 + 26. Let j be q(-11). Suppose 4*z - j = 5*f + 89, f - 1023 = -5*z. Is z composite?
True
Suppose 0 = -3*v + w - 4*w + 1534380, 2*w = -5*v + 2557309. Is v a prime number?
True
Let f be (8 - 10)*(-2 - -1). Suppose -10 = -4*n - 5*b, -f*b + 4 = 3*n - n. Is 730 + 4 + n + -1 prime?
True
Suppose 89*g - 439477 = 14*g - 4*g. Is g a composite number?
False
Let a(j) = -990*j + 3. Let w = 6 - 12. Let v(c) = c**3 + 4*c**2 - 13*c - 7. Let p be v(w). Is a(p) a prime number?
False
Let v = -45 + 56. Let y = v - 15. Let g(f) = 9*f**2 - 10. Is g(y) composite?
True
Let j be (-11536)/(-56)*(1 + (-22)/4). Let w = 1996 + j. Is w prime?
True
Suppose 0 = 80*t - 22*t - 829791 - 309155. Is t a composite number?
True
Suppose -3*g - 74959 = -447268. Is g composite?
True
Let l = -221 + -104. Let b = -18 - l. Suppose -p = v + 3*p - b, -3*p = 3*v - 957. Is v prime?
False
Let f = -14289 + 40060. Is f a prime number?
True
Suppose -1 = -2*s + 29. Let r = -13 + s. Suppose -k = -5, -r*k - 53 = -3*p - 0*k. Is p prime?
False
Let x = 3470 - 1346. Suppose 9971 = w - j, j + 27781 = 3*w - x. Is w composite?
False
Let k(o) = 881*o - 1085. Is k(2) a composite number?
False
Suppose -m = 5*l - 3797447, 2*l = 4*l - 3*m - 1519006. Is l a composite number?
False
Let o be (36/24)/(6/8). Suppose -4*r + 1703 = -p - 179, 5*r + o*p - 2346 = 0. Suppose l = -l + r. Is l a composite number?
True
Let y be (-7754)/(-3)*6 - 1. Suppose -y - 5989 = -4*w. Is w a prime number?
False
Is (-20)/50 - (-35156627)/55 a composite number?
False
Let m(d) = d**3 + 14*d**2 + 8*d - 55. Let z be m(-13). Let t(c) = 31*c**2 - 52*c - 26. Is t(z) a composite number?
True
Let r(x) = x**2 - x + 2. Let z be r(-2). Suppose 2*i + z*g = 13*g + 25716, -4*g = 3*i - 38551. Is i prime?
True
Let x(l) = -11*l + 18. Let b be x(2). Is 5 - ((-2)/(b/(-5486)) + -1) composite?
False
Let f = 194 - 94. Let n = 46 - f. Let w = n + 103. Is w a composite number?
True
Let o be (2/3)/(10/(-705)). Let m = o + 43. Let u(x) = -13*x + 1. Is u(m) prime?
True
Suppose -143*f + 10285893 + 7403350 = 0. Is f prime?
True
Let y be 2 + 0 + -1896*(-2 - -3). Let t = 4203 + y. Is t a composite number?
False
Suppose 10*q - 235 = 285. Let y = -51 + q. Is (-832)/(-7) - y/(-7) composite?
True
Let l be (-55 + 50)*1*-1. Suppose c - l*y + 234 = 1213, -3*c + 3*y = -2937. Is c a prime number?
False
Let u(y) = y**3 + 40*y**2 + 4*y - 11. Let h(c) = -4*c**2 - 4*c + 16. Let d be h(3). Is u(d) a composite number?
False
Let p(r) = r**2 + r**2 - 8 + 2*r - 4 + 43 + 42. Is p(14) a prime number?
False
Let y = -151 - -273. Let s = -222 + y. Let i = s - -277. Is i prime?
False
Suppose 4*m - 16 + 4 = 0. Let t(l) be the first derivative of 8*l**3/3 + 5*l**2/2 - 4*l + 7. Is t(m) prime?
True
Suppose 4*k = 16, -4*r + 5*r = 4*k - 150. Let a = r + 4555. Is a prime?
True
Let k(s) = 2*s - 40. Let a(z) = -z - 1. Let l(m) = -2*a(m) + k(m). Let j be l(9). Is (-3 + 3 - 2) + (-5642)/j composite?
False
Let m(d) be the third derivative of d**5/12 + 7*d**4/6 + 5*d**3/3 - 15*d**2. Let x = 9 + -18. Is m(x) composite?
False
Let v = 177618 - 126477. Is v a prime number?
False
Let f(m) = m**3 - 17*m**2 + 11*m - 11. Let z be f(15). Let g = 503 + z. Suppose g = 2*y + y. Is y prime?
False
Let x be 50 + -3 - 1*(-2 + 3). Let b = x + -41. Suppose -b*t - 116 = -7*t. Is t composite?
True
Suppose -95*n - 386 + 4292 = -102*n. Let t be 0/(-1) - -2 - -3173. Let c = t + n. Is c a prime number?
True
Suppose 4*p = 3*r + 20, 5*r = -3*p - 0*p - 14. Let q be -1 + (4 + 73 - r). Let n = q - -555. Is n a composite number?
True
Let f = -959271 + 1512052. Is f a prime number?
False
Let y be 6/9*15/10. Is (y - 4)/(1 + (-13538)/13517) a composite number?
False
Let c(r) = -221*r + 331. Let s be c(-13). Suppose 10*p - s = 29966. Is p prime?
False
Suppose 2*d = -11*d + 23179. Let m = d + 624. Is m a prime number?
False
Let u = 445688 + 130557. Is u a composite number?
True
Is (2 + -3)*(960677/(-1) + 0) a prime number?
True
Let a(w) = 684*w - 211. Is a(8) a composite number?
False
Is -22 + (-1110)/(-50) + 14716188/10 a prime number?
True
Let n(p) = p**3 - p**2 - p. Let r(x) = -x**3 - 2*x**2 + 18*x - 11. Let u(i) = 2*n(i) + r(i). Is u(14) a prime number?
False
Suppose 20 = 4*w + 12. Let s be (12/(-16))/(w/8)*-1. Is (7297/s + -1)/(16/24) a prime number?
False
Suppose -13*k = -9*k - 96. Suppose 0 = 6*w - 2*w + 3*a - 23, 2*w + 4*a = k. Suppose 5*j = 3*j + l + 1921, w*l - 1906 = -2*j. Is j a prime number?
False
Is (-18 + 1050/56 - 511/4)*-2221 a prime number?
False
Suppose 5*k = -2*o - 3 + 17, -2 = 4*k - 5*o. Suppose k*m = -i - 374, 0*m + m + 3*i + 192 = 0. Let p = -119 - m. Is p prime?
True
Suppose m - 17 = -l + 5, -14 = -m + 3*l. Suppose -12*t = -m*t + 28216. Is t composite?
False
Let v = 360 + -360. Suppose v = -7*p + 16*p - 53307. Is p a prime number?
True
Suppose 219238 = 4*g - 62878. Is g prime?
True
Let d = 26 - 25. Let i be d*5 - (14 - 10). Is ((-3692)/(-12) - (-2)/(-3))*i a prime number?
True
Suppose j - 2*d - 7943 = 0, -4*j - 23*d = -28*d - 31781. Is j composite?
False
Suppose 4*p - 14 = 18. Let a(l) = -l**2 + 7*l + 8. Let m be a(p). Suppose m = -2*r - 78 + 392. Is r prime?
True
Let b = 191 - 188. Suppose b*o = 439 + 110. Is o a prime number?
False
Let r be 20 - (1/3)/(2/12). Let o be 36020/3*r/12. Suppose -12*b + 2*b = -o. Is b a composite number?
False
Suppose 18460 = -4*a - 13192. Let s = -4036 - a. Is s composite?
False
Let u = 10081 - 914. Let h be 249*((-2)/(-8))/(77/308). Suppose -5*c + 22317 = -b, h - u = -2*c - 4*b. Is c composite?
False
Let d(m) = -m**2 - 3*m + 1637. Let l(i) = -28*i - 196. Let x be l(-7). Is d(x) a prime number?
True
Suppose -2342748 = -2*t - 5*n - 405830, -4*n + 2905377 = 3*t. Is t a composite number?
False
Let a = 55628 + -4651. Is a composite?
True
Suppose -20*q - 856 = -27196 - 272120. Is q composite?
False
Let b = 639717 + -428986. Is b a prime number?
True
Is 15/((-315)/(-21))*4517213 a prime number?
True
Let u = -511 + 515. Suppose 0 = 4*l - u*t - 211224, l - 7*t = -10*t + 52810. Is l a composite number?
False
Let a(m) = 4*m**2 + 7*m + 11. Let o be a(12). Let d = o - 1814. Let q = d + 2266. Is q a composite number?
False
Suppose r = 5*r + 4*r - 1167704. Is r prime?
True
Let h(m) = 1915*m**3 - 938*m**3 - 963*m**3 - 12*m - 5*m**2 + 25. Is h(6) prime?
True
Let j be (0 - ((0 - 1) + 0))*118. Suppose j*d + 8781 = 121*d. Is d prime?
True
Suppose -10046 = -5*y + 2*y + q, 2*q = -2*y + 6708. Let d = y - 1529. Is d prime?
False
Let z = -579 - -249. Is (-208197)/z - 1/(-10) a composite number?
False
Let i(q) = 13 + 21 - 7 - 89*q. Let g(h) = 133*h - 40. Let m(l) = 5*g(l) + 7*i(l). Is m(10) a prime number?
True
Let h(p) = p**3 - 6*p**2 + 3*p - 14. Let n be h(6). Suppose -n*r + v = 3*v - 186, -4*r + 174 = -2*v. Suppose -r*m + 43*m = -6778. Is m a prime number?
True
Suppose 3*i = 28*i - 175. Suppose 0 = i*p - 29780 - 369. Is p composite?
True
Suppose 12*q = 4*q + 2098268 + 1319948. Is q a prime number?
False
Let z(t) be the second derivative of -1213*t**3/6 - t**2 - 2*t + 2. Is z(-3) composite?
False
Suppose 5*b = 2*b + 15. Let l be -2 + 16/20*b. Suppose -l*k = 2*s - 380, -2*s + 5*s + 725 = 4*k. Is k composite?
True
Suppose 718929 = 8*s - 1134359. Is s a composite number?
False
Let b = 19 - 5. Let u(a) = -43 + 17005*a - 8454*a - 8448*a. Is u(b) a prime number?
True
Let h = -1203 - -847. Let i = 875 + h. Is i composite?
True
Let v(x) = 24*x**2 - 11*x - 228. Is v(29) prime?
False
Let b(l) = 175*l**2 + 94*l - 40. Is b(13) prime?
True
Suppose -2*b = 2*i - 2224096, 0 = 2*i - 17*b + 18*b - 2224095. Is i a prime number?
True
Let y(k) = k**2 + 20*k + 88. Let n be y(-7). Is ((-490)/4 + n)*-14 a prime number?
False
Let f(i) = -56*i**3 - 5*i**2 + 8*i + 18. Let l be f(-5). Suppose -4*j = -23575 - l. Is j a composite number?
False
Let c(z) be the first derivative of z**4/4 - 3*z**3 + 3*z**2 - 13*z - 28. Let p(h) = 5*h - 4. Let v be p(3). Is c(v) a prime number?
False
Suppose -2*l - 22 = -4*v, 4*v - 2*l = -5*l + 27. Let z(t) = 40*t**3 - 7*t**2 + 22*t - 19. Is z(v) composite?
False
Let y(j) be the first derivative of 4*j**2 + 26*j - 42. Let a be y(-3). Suppose -2*i - a*r = -4738, 3*i - 2369 = 2*i + r. Is i compos