59 = 3*r. Let m = a - 1209. Is m a prime number?
True
Let g(v) = 4*v**3 + 14*v**2 - 2*v + 16. Let u be g(-10). Let x = u + 3673. Is x a prime number?
True
Suppose -59*j = -10*j - 173509. Is j composite?
False
Is (-3147)/15*(55 - 390) a prime number?
False
Let r(s) = s**3 + 18*s**2 - 6*s + 10. Suppose 5*c + l = -69, 16 = -c + 3*l - l. Is r(c) composite?
True
Let b(w) = -2*w + 19. Let c be b(6). Suppose 273 = 3*h - 4*u, c*u - 3*u = 0. Is h composite?
True
Suppose 4*f - 14194 = -4*p - p, 2*f + 2836 = p. Suppose 0 = 6*q - 3*q + p. Let g = q - -1461. Is g composite?
True
Let r be 196/42*(-6)/(-7). Suppose 0 = -5*i - r*k + 326, 2*k + 3*k = 20. Is i a prime number?
False
Let x(u) = -u**3 - u**2 - 2. Let k be x(-2). Suppose k*z = f + 4, f = -3*z - 2*f - 3. Suppose t = -z, -t = -2*y + 117 + 266. Is y a prime number?
True
Suppose -1247 = -10*j + 2063. Is j composite?
False
Let g = 159 - 69. Suppose r - 11*r = -g. Is r composite?
True
Let g(b) = -b**3 - 9*b**2 - 20*b - 19. Suppose 4*q = 21 - 57. Is g(q) prime?
False
Suppose -334*b + 2*q = -337*b + 1455, 485 = b + q. Is b a prime number?
False
Let y(f) = f**2 - 15*f - 7. Let v = 37 + -16. Let s be (-4 - 3)*36/v. Is y(s) composite?
False
Let q = -30563 + 46894. Is q a prime number?
False
Let v = 3 + -3. Suppose -2*w = -v*w - 254. Is w a prime number?
True
Is 22025/35 + (-4)/14 a prime number?
False
Let m(w) be the second derivative of 167*w**3/3 + 15*w**2/2 - 29*w. Is m(5) a composite number?
True
Let r be 230 + (-1)/(2 - 1). Suppose 5*y = 3*x - 220, x - 4*x = -4*y - 218. Suppose -3*h + r = x. Is h prime?
True
Let v(k) = k**2 - 2*k + 1. Let i be v(0). Suppose 0 = 3*d + i - 16. Suppose d*p + 332 = 7*p. Is p a prime number?
False
Let f(y) = 927*y**3 - 2*y**2 + 2. Let m be f(1). Let g = 1558 - m. Is g a composite number?
False
Let q(m) = m - 1. Let g be q(2). Suppose -f + g = -5*y - 181, -2*f = 2*y - 304. Is f prime?
True
Let x = 50 - -91. Let k(b) = -214*b + 1. Let w be k(-1). Let f = w - x. Is f a composite number?
True
Let f = 6531 + -4114. Is f prime?
True
Let x = 5454 + -2101. Is x prime?
False
Suppose 20 = -5*q, 3*x - 15*q = -10*q + 905. Is x a prime number?
False
Is (-114188)/(-28) - (-3)/(-21) a prime number?
False
Suppose 2*t + 3*k + 4 = t, 0 = -4*t + k - 3. Let f be ((-15)/(-9) + t)*789. Suppose -3*y = -y - f. Is y prime?
True
Suppose 3*u + n - 11459 = 0, -3*n + 15574 = 4*u + 302. Is u composite?
False
Suppose 4*f = f + 6. Let q(m) = -m - 10*m + f*m**2 + 5*m + 5. Is q(8) a prime number?
False
Suppose 11 - 3 = 4*g. Suppose -g*y - 2 = -2*t - 2*t, -5*t + 2*y = -5. Let k(x) = 9*x**2 + 6*x - 10. Is k(t) prime?
True
Suppose -1 = -l - 3, n = 2*l + 58. Is 11562/n - 2/18 a composite number?
True
Let x = -48 - -18. Suppose -766 = -4*t - 2*b, -348 = -3*t - 2*b + 229. Let j = t + x. Is j a prime number?
False
Let u(f) = 402*f**2 - 39*f - 217. Is u(-6) a prime number?
True
Let a = 13 + -9. Is 544 + ((-8)/a*-3 - 3) prime?
True
Let g be 2/(-7) - 351/21. Let a be -3*(-8 + 3/(-3))*-1. Let w = g - a. Is w composite?
True
Let a(n) = 2*n**2 - 15*n + 3. Let q be a(7). Let t(u) = -1289*u + 15. Is t(q) composite?
False
Let x(a) = -3*a**2 - 4*a + 5. Let f(p) = p**3 - p**2 + p. Let k(u) = -u**3 + 13*u**2 + u - 10. Let h be k(13). Let t(j) = h*f(j) + x(j). Is t(4) a prime number?
True
Let n = -78 - -82. Suppose -5*v + 5195 = -n*z, -7134 + 2967 = -4*v + z. Is v a composite number?
True
Suppose -191 = 4*a + 305. Let v = a + 461. Is v a prime number?
True
Suppose 4*b = -2*q + 94 - 6, -5*b = -q - 96. Suppose 0 = 19*x - b*x + 1934. Is x a composite number?
True
Suppose 0 = 74*p - 80*p + 476436. Is p prime?
False
Let i = 8014 + -1781. Is i prime?
False
Suppose 3*u = 5*v - 1249, 21*u = -4*v + 23*u + 1000. Is v a prime number?
True
Let l(w) = -82*w**3 - w**2 + 2*w - 4. Let o be l(3). Is (o + -1)*7/(-14) a prime number?
False
Let j = 2161 - -3792. Is j a composite number?
False
Let v = 39 - 37. Suppose 2*x = 6*n - v*n - 20, 20 = 4*n - 3*x. Suppose -2*z + 294 = 2*q + 2*z, q = n*z + 154. Is q a prime number?
True
Let y = 0 - -6. Let h(k) = 2*k**3 + 6*k**2 + 16*k - 21. Is h(y) a composite number?
True
Let j(x) = 9*x**3 - 14*x**2 + 27*x + 7. Let l(k) = -k**3 + k**2 - k. Let b(f) = j(f) + 6*l(f). Is b(9) a prime number?
False
Let i(g) = -11*g**3 + 3*g**2 - g. Let v(a) = -a**3 + 5*a**2 + 6*a + 3. Let w be v(6). Let x be i(w). Is ((-10)/3)/(14/x) composite?
True
Suppose -367079 = -20*c + 227261. Is c prime?
True
Suppose 0 = 5*k + 5*n - 15940, -n = 2*k - 0*k - 6376. Let p = k - 2269. Is p a prime number?
True
Suppose -w - w = 2*g - 606, 0 = -5*g + 4*w + 1560. Suppose -2*m + g = -222. Is m composite?
True
Let i be -1 + -3 - -3*2. Suppose i*u - 63 - 13 = 0. Is u a composite number?
True
Suppose -5*i - 40 = -3*f + 28, -4*f + 4*i = -80. Suppose -3*q + 5*c = -34, -2*c = 2*q - 4*c - f. Suppose -q*g + 8 = -22. Is g a prime number?
False
Suppose -5*d = -5*s + 26070, 0 = 5*s - 2*d + 8777 - 34862. Is s prime?
False
Let x(n) = -n**2 + 5. Let c be x(-3). Is 6/(-4) + (-210)/c a composite number?
True
Let s(h) = 10*h + 598. Let n(r) = -7*r - 399. Let i(t) = -7*n(t) - 5*s(t). Let v(q) = q + 196. Let l(j) = -6*i(j) - 5*v(j). Is l(0) prime?
False
Is (5 - (-20)/(-5)) + 5250 prime?
False
Let l = 34 - 33. Suppose k + 3 = -l, -r + 4*k = -2443. Suppose -h + r = 2*h. Is h prime?
True
Suppose 2*v - 1777 + 364 = -3*q, -4*v + 2357 = 5*q. Suppose 5*m = -3*b - 1461, -q = 3*b - 3*m + 968. Let z = 999 + b. Is z prime?
False
Suppose 0 = -0*w - 4*w + 2*v + 26, -3*v = 3*w - 15. Suppose -1464 = -5*c + c. Suppose a - w*a - 2*d = -441, 4*a = 5*d + c. Is a prime?
True
Let a be -5*(3 + 1838/10). Let v = 215 - a. Is v a prime number?
False
Suppose 2*f = 67*t - 72*t + 23751, -5*t = -f + 11838. Is f a prime number?
True
Suppose 25*i + 23*i - 86448 = 0. Is i a prime number?
True
Suppose -5*x + 28 = 3. Let l be x/1*12/(-20). Is (0 - l)*1239/9 composite?
True
Is 3/12 + (335634/8)/3 a composite number?
True
Let j be 1 - (4/(-1) - -479). Let b = j + 808. Is b composite?
True
Let b(o) = -597*o - 15. Let d be b(-8). Suppose -5*c = -6*c + 5*p + d, 3*p = 4*c - 19010. Is c a prime number?
True
Let q be (49 - 43)/(((-2)/1)/(-1)). Let m(l) = 246*l**2 - 2*l. Let c be m(-2). Suppose q*y = -103 + c. Is y composite?
True
Suppose 25*y = 20*y + 11425. Suppose 5*w - q = y, -914 = -2*w - 2*q + 3*q. Is w a prime number?
True
Suppose 2*q - 344 = -2*d, -3*d = -2*d - 4*q - 192. Let c = 23 + d. Is c prime?
True
Let l = 5032 + -3435. Is l a composite number?
False
Suppose -5*i + 7125 + 4640 = 5*c, -5*c = -3*i - 11797. Is c a composite number?
False
Let x = 41 + -41. Let c(u) = u**2 + u + 257. Is c(x) prime?
True
Is (-4782)/(-10)*(-150)/(-90) prime?
True
Let o = -1 + 6. Let u(y) = 71*y + 124. Let j be u(19). Suppose -5*a = o*t - j - 637, 2*a - 832 = 2*t. Is a prime?
True
Let s be 184/(-12) - (55/15 + -4). Is 6081/(-2)*10/s composite?
False
Let b(v) = 13*v**2 + 3*v. Let j(n) = 25*n**2 + 5*n. Let i(c) = -7*b(c) + 4*j(c). Let y be i(-1). Is y/(-35) + 5235/21 composite?
True
Let q be (4/(-8))/((-2)/364). Let i be ((-8)/(-6))/(-4)*-9 + 153. Let b = i - q. Is b a composite number?
True
Let l = -720 + 1609. Is l a prime number?
False
Suppose -12*h + 30 = -9*h. Suppose -1117 = -h*p + 9*p. Is p prime?
True
Let t(q) = q**3 - 4*q**2 + 2. Suppose -3*p + 119 = 29. Suppose -4*f + 9*f = p. Is t(f) a prime number?
False
Suppose 23734 = 8*n - 31842. Is n prime?
True
Let r(p) = 26*p**2 - 14*p + 93. Is r(5) prime?
True
Let s = 2362 + 3254. Suppose -4*h + 2886 = 2*a, 5*a - 1659 = 5*h + s. Is a prime?
True
Suppose -5*d = 2*d - 59346. Let v be -8 + 4 + -2*1. Is ((-4)/v)/(36/d) prime?
True
Let k(h) = 172*h**2 + 43*h + 81. Is k(-14) a prime number?
True
Suppose 27 = y - 4*y + 5*n, n - 3 = 0. Is 213 + 0*y/16 a composite number?
True
Suppose 0 = -5*f + 10, 69*f = 2*h + 73*f - 15538. Is h a prime number?
False
Suppose 9*k + 3863 - 18560 = 0. Is k a composite number?
True
Let n(r) = -10603*r - 63. Is n(-2) composite?
False
Let z be 2 - (-18 + 2) - -2. Let i = z + 140. Suppose -s + 51 = -i. Is s composite?
False
Suppose 2*z - 7 = -1. Suppose -z*s + 5554 = -s. Is s prime?
True
Let d(b) = -b**3 - 8*b**2 - 7*b + 2. Let q be d(-7). Suppose -z - 141 = q*u, z + 277 = -4*u - 0*u. Let c = 114 + u. Is c prime?
False
Suppose -34*d + 1534057 