73 = 4*c. Is c a prime number?
False
Suppose 3*x + 29 = -2*i + 117, x + 44 = i. Suppose -3*v + d + i = 0, -v + 5*d = -5*v + 27. Is v prime?
True
Let k(t) be the third derivative of 7*t**5/60 + t**3/6 + 4*t**2. Is k(-4) prime?
True
Let r be (-4)/10 + 5188/20. Suppose 0 = -5*b + 3*b - 3*z + r, -3*z - 3 = 0. Is b a prime number?
True
Let z = 196 + -90. Suppose -5*s = -z - 34. Suppose s + 24 = 4*r. Is r prime?
True
Suppose 3*m + 3 = 0, -2*z + 0*m + 119 = -3*m. Is (z/3)/((-10)/(-105)) composite?
True
Suppose 4 = -5*u + 9. Suppose y + 3*j = -u, -6*y = -y - 4*j - 33. Suppose -y*w = x + 4*x - 50, -5*x - 2*w = -65. Is x prime?
False
Let g(x) = -2*x**2 - 1 + x**2 - 1 + 3*x + 5*x**3 - 2. Is g(3) a prime number?
True
Let r(k) = 1 + 1 - 6*k + 4 - 3. Is r(-3) a composite number?
True
Is 28098/98 + ((-12)/(-14))/3 composite?
True
Suppose -15 = -3*n + 3*u - u, n = u + 6. Is (n/9)/(4/2796) a composite number?
False
Let k(i) = i**3 - 11*i**2 + 10*i + 2. Let c be k(10). Let s = 6 - c. Suppose -4*o + 0*o + s*q = -48, 0 = -4*o - 5*q + 66. Is o composite?
True
Let c be 5/((-20)/(-3))*-36. Let k = 100 - c. Is k prime?
True
Let s be ((-10)/4 + 2)*6. Is 6/9 + (-235)/s a composite number?
False
Let q be (-4)/(-8) + (-183)/2. Is (-11571)/q - (-2)/(-13) composite?
False
Let m(s) = 2*s. Let l be m(2). Suppose 2*h = c + 8, -c = -3*h - h + 14. Suppose h*b - l*b + 6 = 0. Is b a prime number?
False
Suppose -3*r = -4*r. Suppose m - 19 = -r*m + 4*n, -5*n - 109 = -4*m. Is m a composite number?
False
Suppose 14*b = 10*b. Let p(v) = v**2 + 0*v**2 + 4*v**3 + 155 - 5*v**3. Is p(b) a composite number?
True
Suppose 2*s = -x - x + 4, -2*s + 2 = x. Suppose -x*j + 593 = d + 189, -2 = -d. Is j prime?
False
Let u = -7 + 2. Let i(o) = 3*o**3 - 4*o**2 + 7*o + 9. Let l(b) = 4*b**3 - 4*b**2 + 7*b + 10. Let q(c) = u*i(c) + 4*l(c). Is q(-4) a prime number?
True
Let u = 7 + -5. Suppose -5*p - 2 = -3*z, 6*p - p - 2*z = u. Suppose 3*h - 139 = -3*j - p*j, 114 = 2*h - 2*j. Is h a composite number?
False
Let d(j) = -j**3 - 11*j**2 + 11. Is d(-11) composite?
False
Suppose -9 = 3*o, -4*k + o + 4034 = 727. Let x = k + -285. Is x prime?
True
Suppose 0*k - 4*k = -688. Suppose 3*f - k = 4*o, -202 = -3*f - 0*o - 2*o. Suppose -r + f = -69. Is r composite?
True
Is 2 - (-1204)/(-1 - -5) a prime number?
False
Suppose 3*p = 3*k + 429, -k + 6 - 4 = 0. Is p composite?
True
Suppose 9*a - 4*a - 35 = 0. Let c be a/3 - (-3)/(-9). Suppose -c*z + 55 = 3*z. Is z a composite number?
False
Suppose -16*o + 2592 = -25*o. Suppose -4*g - 148 = 2*j + 376, -5*g + 5*j - 655 = 0. Let q = g - o. Is q a composite number?
False
Suppose 6*j + 40 = j. Let l = j + 44. Let g = l + -23. Is g prime?
True
Let d(c) = c**2 - 11*c + 3. Let b be d(11). Suppose -b*l + 26 = -2*l. Is l a composite number?
True
Suppose -3*y + m + 14 = 0, 0*y = 5*y - m - 22. Suppose y*f - f = 1257. Is f a prime number?
True
Suppose 26*z + 7580 = 30*z. Is z composite?
True
Let x(q) = 132*q - 2. Let s be x(3). Let c = s + -281. Is c a prime number?
True
Let x(n) be the third derivative of n**6/120 + 7*n**5/60 - 3*n**4/8 - 4*n**3/3 - 8*n**2. Let g = -22 + 15. Is x(g) a composite number?
True
Suppose -4*g + 821 = -5*n, 0 = -2*g + 3*n + 111 + 298. Is g prime?
False
Let b be (2/(-4) - -1)*-86. Let o = 130 + b. Is o prime?
False
Is (1/(-1))/((-15)/4905) a prime number?
False
Let n(d) = d**3 - 3*d**2 + d. Is n(5) prime?
False
Let w(s) = -s**3 - s**2 - s + 7. Let y be w(-6). Suppose y = 5*q + 23. Is q a prime number?
False
Let x = -8 - -8. Suppose k - 4*w - 293 = 0, x = -3*k + w + 348 + 531. Is k a prime number?
True
Let l be ((-6)/(-4))/((-2)/(-20)). Suppose -x - 1 = -l. Is x a composite number?
True
Let d be 6/9 - 118/(-3). Suppose 4*g - 6 = 2*g. Suppose g*s = d + 119. Is s a composite number?
False
Let g(c) be the third derivative of 13*c**4/12 - 11*c**3/6 + 3*c**2. Is g(9) composite?
False
Let h(b) = -25*b - 8. Let k be h(7). Let f = 346 + k. Suppose -97 + 278 = 5*n - 2*a, f = 5*n + 4*a. Is n prime?
False
Suppose 865 = x - 4*p, 6*x - 2*x + 4*p - 3400 = 0. Is x a prime number?
True
Suppose -4*q - 4 = -2*k - 40, -3*q + 3*k = -24. Suppose 5*x = q*x - 15. Suppose -x*i = -0*i - 417. Is i prime?
True
Suppose -3*u = 5*a - u - 755, -5*a - 4*u + 765 = 0. Is a prime?
True
Let m = 54 + -31. Is m a prime number?
True
Is 63/5 - (-6)/15 composite?
False
Let v be 5/(10/98) - 1. Is (-626)/(-16) - 6/v prime?
False
Let x(t) be the first derivative of 4*t**4 - t**3/3 - t**2/2 + 4. Is x(2) composite?
True
Suppose 0*v + 12 = v + 5*t, -v + 3*t = 4. Suppose -n = -v*n + 31. Is n a composite number?
False
Suppose 4*i = 20, 5*w + 56 - 6 = i. Let h be (-1)/6*2*w. Suppose -h*g = -696 - 309. Is g a prime number?
False
Let i be 5 + -3 + (-3)/(-1). Suppose -f - 2*t = -7, -i*f + 6 = -t - 7. Is f prime?
True
Let l = 21 - -92. Is l composite?
False
Let w(b) = 21*b + 2 + 13*b + 10 - 5*b. Is w(11) a prime number?
True
Let y = 202 + -137. Suppose -5*n = 3*o - 24, -2 - 4 = 2*n - 4*o. Suppose -j + s + 5 = -12, -n*j - 4*s + y = 0. Is j a prime number?
True
Let f(p) = -p**2 - 9*p - 4. Let v be f(-7). Suppose 0 = -4*z + 5*l - 9, z - 19 = -5*l + v. Suppose s - 345 = -z*s - 5*a, -69 = -s + 3*a. Is s a prime number?
False
Let n be (2/(-3))/((-2)/(-72)). Let a = 103 + n. Is a a prime number?
True
Suppose 4*m + 4*q - 13488 = 0, -4*m - 3*q + 7*q + 13480 = 0. Is m prime?
True
Let p be (18/4)/(1/10). Let b be (-1)/((-60)/(-16) - 4). Suppose 0 = 3*f - 12, b*r - 531 = -f + p. Is r a composite number?
True
Let k = 10 - 8. Suppose -k*w = 2*w - 12. Is w a prime number?
True
Suppose f - 45 = 4*f. Let o = f - -24. Is o a composite number?
True
Let x = 165 - -616. Is x a prime number?
False
Let a be ((-18)/8)/((-3)/12). Suppose -3*c + a = f, f + 4*c = -5 + 13. Suppose -3*d + f = -d. Is d composite?
True
Let g(o) = -52*o - 18. Is g(-10) prime?
False
Suppose -5*u + 3 = -7. Suppose 12 = 3*r, -5 - 29 = -3*g + u*r. Is g a prime number?
False
Let j(m) = m**2 - 2*m - 1. Let i be j(3). Suppose 564 = 3*n + 3*s, -n + 4*s = -i*n + 197. Is n composite?
True
Let a(m) = -m**2 - 9*m - 7. Let k be a(-8). Let w(q) = k - 6*q - q + 0*q + 4. Is w(-4) composite?
True
Let k(r) = r**2 - 9*r + 10. Let l be k(8). Suppose l*x + m - 10 = -3*x, 3*x = 5*m + 34. Suppose x*i - 107 = -2*s, 4*i + 81 = -s + 217. Is i composite?
True
Let g(i) = -317*i**3 + i + 1. Let v be g(-1). Suppose -4*q = 3*k + 334, -118 = 5*q - 5*k + v. Let c = q + 123. Is c prime?
False
Let a = 12 - 7. Suppose 0 = a*k - 0*k - 125. Is (20/k)/((-4)/(-10)) composite?
False
Suppose 5*h - 124 = -794. Let j = -38 - h. Suppose -w - v - 2*v = -10, 2*v + j = 4*w. Is w a prime number?
False
Let o(y) = y**2 + 6*y + 3. Let g be o(-5). Is 2/(g - -3) - -47 a composite number?
True
Suppose -2*f = 2*f - 16. Suppose f*u + 506 = 2*v, 0 = -u + 4*v - 49 - 74. Is u/(2*2/(-4)) a prime number?
True
Let f = 3 - -1. Suppose -4*d - 392 = -4*q, 4 = f*d - 2*d. Suppose -m + q + 27 = 0. Is m a prime number?
True
Suppose -3*g = -p - p - 2709, 0 = -2*g + p + 1805. Is g prime?
False
Is (-225)/(-1) - (-6 + 7 - -1) prime?
True
Let y(o) be the first derivative of o**5/60 - o**4/24 + o**3/6 + o**2/2 - 2. Let r(w) be the second derivative of y(w). Is r(-9) a prime number?
False
Suppose 9*j + 27 - 342 = 0. Is j a composite number?
True
Is -4011*1/(6/(-2)) prime?
False
Let b(p) = 2099*p. Is b(1) prime?
True
Let u(w) = 112*w - 17. Is u(5) composite?
True
Let f(k) = k**3 - k - 1. Let p(n) = -13*n**3 - n**2 - 3*n + 4. Let z(s) = f(s) + p(s). Is z(-4) a prime number?
False
Suppose 2*l = 2 + 6. Suppose -f = -v + 85, l*v - 109 = f + 216. Suppose -p = 2*p + x - 56, -4*p = -4*x - v. Is p prime?
True
Is (10/20)/(2/1220) a composite number?
True
Let r = 12 - 7. Let g be 1/r - (-62)/(-10). Let l(o) = -o**2 - 7*o + 7. Is l(g) composite?
False
Let j = -8 - -9. Let s be j/3 - (-3)/(-9). Suppose -3*q + 273 = -s*q. Is q a composite number?
True
Let c = -1835 - -2794. Is c prime?
False
Let r(n) = 4*n + 4 - 4*n**2 + n**2 - 4*n**2 + 3*n**2 + n**3. Suppose f = 5*f - 20. Is r(f) a composite number?
True
Let l be (-4)/(-6)*36/8. Suppose -4*t + 7*d = 2*d - 1156, -1164 = -4*t + l*d. Let k = t - 161. Is k prime?
False
Is (22/(-4))/(1/(-158)) composite?
True
Let d be (339/12)/(4/112). Suppose -5*f + 5*s = -790, 4*s = 4*f + f - d. Is f a prime number