g prime?
True
Suppose -2*u = -u + 2*p - 129, -3*u + 2*p + 379 = 0. Is u a prime number?
True
Let k be 39/2*(-132)/9. Let m = -137 - k. Is m a prime number?
True
Let w be ((-24)/(-9))/(4/6). Suppose -2*z + 4 = -w. Suppose 0*l - 60 = -z*l. Is l a composite number?
True
Suppose -3*w = -5*d + 65, -4*d - 3*w - 2*w = -15. Let f(k) = k**3 - 11*k**2 + 12*k - 5. Let s be f(d). Suppose -45 = -4*z + m, 2*z + s - 55 = 4*m. Is z prime?
False
Suppose 9*t - 525 = 14*t. Is (116/(-6))/(10/t) prime?
False
Is 1/(1*(-1)/(-163)) composite?
False
Let w be (2 - 2)/(3 + -4). Suppose 2*i = -w*i + 614. Is i a composite number?
False
Suppose 0 = -y + 69 + 140. Is y a composite number?
True
Let t(a) = -a**3 + 9*a**2 - 8*a + 2. Let n be t(8). Suppose 2 = 3*x + 14, z - 46 = -n*x. Let s = z - 5. Is s prime?
False
Suppose -3*w + 2*f = -1625, 0 = 5*f - 5 + 10. Is w a prime number?
True
Let u = 483 + -905. Let r be u/1*3/(-6). Let w = -144 + r. Is w prime?
True
Suppose 40*k = 45*k - 3765. Is k composite?
True
Suppose -5*x - 30 = -5*y - 0*x, -4*x = 12. Is ((-154)/y)/(24/(-36)) prime?
False
Suppose 0 = -a + 3, -5*s + 967 + 287 = 3*a. Is s composite?
True
Let t(h) = h**3 - 11*h**2 + 9*h + 12. Let p be t(10). Suppose p*x - 3*q - 8 = 0, -2*x - 2*q = -11 + 3. Is 132 - (-1 + (x - 2)) a composite number?
False
Suppose -4*t + 24 = 4*d, -3*t + d = -8*t + 18. Suppose 6*y - 5*o = t*y + 130, -5*y = 2*o - 165. Is y prime?
False
Suppose -3*o + 82 = 4*m - 29, 0 = 4*o - 4. Suppose -2*a = -5*a + m. Is a prime?
False
Let j(t) = 10*t**3 + 2*t**2 - 4*t - 1. Let n be j(-3). Let l = -120 - n. Is l a composite number?
True
Let z = 7140 - 3091. Is z a prime number?
True
Suppose 2*t - 5*z - 59 = 0, 0 = 4*z - 4 + 16. Suppose -4*d - t - 20 = -a, 2*d = 2. Suppose -3*h + 17 = -a. Is h a prime number?
False
Suppose 13*o - 14174 - 1283 = 0. Is o composite?
True
Let n(w) = w. Let f be n(2). Let x = 1 + f. Suppose -2*p + 54 = x*p + 2*l, -p + 4*l + 2 = 0. Is p a prime number?
False
Let p = 791 + -156. Suppose 0 = u + 4, -i - 2*u - p = -4*i. Is i composite?
True
Let k(r) be the second derivative of -23*r**5/20 + r**3/2 + r**2 + r. Let t be k(-2). Let w = -49 + t. Is w prime?
True
Suppose g + g = -t + 2292, -9164 = -4*t - 4*g. Suppose o - 2*o - 1382 = 3*f, 5*f - 5*o = -t. Is ((-3)/6)/(2/f) a composite number?
True
Suppose -2*d - 2 = v, 0 = 2*v + d - 2*d - 6. Suppose -3*z = 15, -48 = -4*n + 2*n + v*z. Is n prime?
True
Let q(k) = -25*k + 35. Is q(-18) composite?
True
Suppose 0 = -0*s + s - 196. Suppose -2*j + 58 = -s. Is j a composite number?
False
Suppose 2*l - 7 = l + 2*j, -4*l - 3*j = -6. Suppose 0 = -l*g + g + 110. Is g prime?
False
Let w(n) = 57*n**2 - n - 1. Let i = 3 - 4. Is w(i) prime?
False
Let y(b) = -b**2 + 1. Let l = -3 - -3. Let k be y(l). Is 6 + -1 + k - -1 a prime number?
True
Suppose 615 = 8*h - 3*h. Is h composite?
True
Let d = -55 - -129. Suppose -d = -4*z + 38. Is 4164/z + (-4)/(-14) composite?
False
Let g(u) = -2*u**2 - 2*u + 2. Let y be g(-2). Let a be ((-3)/(-3) + y)*-4. Suppose -95 = -a*d + 45. Is d a prime number?
False
Let j(v) = -3 + 3 + v - 3. Let u be j(5). Suppose -3*s = u*o - 89, 7*o = s + 2*o - 58. Is s composite?
True
Suppose -3*z = 4*f + f - 359, 2*z + 5*f - 236 = 0. Is z composite?
True
Suppose 5*a - 568 = -r - r, 0 = -a - 2*r + 120. Suppose 3*f - a = 95. Is f a composite number?
True
Let n = -1368 + 2729. Is n a composite number?
False
Let j(v) = -20*v + 11. Is j(-12) composite?
False
Let l(f) = f**2 + 2. Let o be l(-2). Let j = o + -3. Is j composite?
False
Let v be 764/10*-1*10. Let k = -19 - -13. Is v/(-8) - k/4 composite?
False
Let m be (68/(-6))/((-2)/3). Suppose -5*j - m = 2*x - 89, j + 50 = x. Is x a composite number?
True
Let y = 11 - 8. Let g be (-2)/6 - 637/(-3). Suppose y*w + w - g = 0. Is w composite?
False
Let p(k) = -k**2 - 2*k + 371. Is p(0) a prime number?
False
Suppose 6*x - 2*x = 48. Is (165/x)/(2/8) composite?
True
Suppose 0 = 4*g - 0*g - 36. Let t = 11 - g. Suppose -2*q - t*u + 44 = 0, q + 3*u = 17 + 3. Is q prime?
True
Let w = 31 - 7. Suppose 0 = -0*x + 4*x - w. Is x prime?
False
Let l(k) = k**3 - 7*k**2 + 9*k - 9. Is l(8) composite?
False
Suppose -t = 3*t - 2*a - 294, -5*t + 364 = a. Let h = t + 42. Is h prime?
False
Let r = 7 + -5. Is (-1314)/(-10) + r/(-5) a composite number?
False
Let o(a) be the second derivative of a**4/6 - a**3/3 + 7*a**2/2 - 3*a. Is o(-6) composite?
True
Suppose -5*l = -7 - 8. Suppose -l*k + 305 = -76. Is k composite?
False
Let o(m) = 6*m**2 + 6*m + 7. Is o(-5) prime?
True
Let q(k) be the third derivative of 11*k**6/60 - k**5/120 + k**3/2 + 3*k**2. Let y(s) be the first derivative of q(s). Is y(-1) a composite number?
False
Suppose n = -n + 5534. Is n a prime number?
True
Let w be ((-3)/(-3) - 1) + 2. Suppose 5*l = -2*d + 167, -w*d - 2*d + 19 = l. Is l prime?
False
Let u(m) = -m**3 + 4*m**2 + 9*m + 1. Let f be u(8). Let v be (-4)/(-6) - (-520)/(-6). Let w = v - f. Is w a composite number?
False
Let u be 1/(-3)*-3 + -2. Let k(b) = -2*b + 1. Let r be k(u). Suppose 0 = 5*i - r*c - 106, i - 5*c + 6*c = 26. Is i a prime number?
True
Let w(q) = -q**3 - 6*q**2 + 4*q + 7. Let c be w(-6). Let f = -7 - c. Is f prime?
False
Suppose -4*b - 1455 + 5279 = 4*l, -b + 968 = 5*l. Is b composite?
False
Let y = 341 + -178. Is y prime?
True
Let v(m) = 16*m. Let f be v(1). Suppose 2*b + f = -5*z, 2*z + 1 = 4*b + 33. Let n = 5 - b. Is n composite?
False
Let s(l) be the third derivative of l**6/120 - l**5/30 + l**4/6 + l**2. Suppose 4*w = 6 + 6. Is s(w) composite?
True
Suppose 0 = w + 3*w - 8. Let p be w + -4 + 6/(-1). Let i(u) = -u + 2. Is i(p) prime?
False
Let t(y) = 432*y**2 - 3*y - 1. Is t(2) composite?
False
Suppose 7*k - 8 = 3*k. Suppose -2*a + k + 2 = 0. Is a/6 + 154/6 a composite number?
True
Let o(f) = -f + 1. Let h be o(2). Let v = h - -186. Is v prime?
False
Is 7/((-140)/(-2985))*4 prime?
False
Suppose 183 = -2*y - 2*k + 603, -220 = -y - 3*k. Is y a composite number?
True
Let h = 23 + -31. Let s(z) = 16*z**2 + 8*z + 7. Is s(h) prime?
True
Let n(z) = -z**3 + z**2 + z + 1. Let v be n(0). Let x(m) = 39*m. Is x(v) prime?
False
Suppose 9*d - 7*d - 446 = 0. Is d a prime number?
True
Suppose -2*r - 2*l = -3*l + 27, -3*r - 5*l = 73. Is 4/r + 213/4 prime?
True
Suppose -2 = b, -b = -3*s - 0*s + 17. Let x(y) = y**2 - 4*y - 6. Let a be x(s). Is a/(1 - 40/39) prime?
False
Let s = -3 - -6. Suppose -n + s*n = 4. Suppose -n*x + 55 = 3*x. Is x a composite number?
False
Is 5/(-35) - 2620/(-14) composite?
True
Let m = 1024 - -733. Is m prime?
False
Let g(n) = 3*n**3 + n**2 - 2*n - 5. Suppose 6 + 2 = -2*s. Let y be g(s). Let z = -42 - y. Is z a prime number?
True
Let o(c) = 81*c + 5. Let v be (12/4)/(3/4). Is o(v) a prime number?
False
Let g be 6/(-3 - -1)*1. Let w = g + 3. Suppose -o + 18 + 59 = w. Is o prime?
False
Let l(p) = 50*p + 2. Let m be l(4). Let r = m - 125. Is r prime?
False
Let f = -9 + 4. Let r = -1 - f. Suppose r*o = -5*v + 8 + 51, 3*v + 13 = 2*o. Is o a composite number?
False
Let w(p) = 793*p**3 - 2*p + 9. Is w(2) prime?
False
Let a(w) = -w**3 + w**2 + 127. Let v be (-42)/4*2/3. Let q = -7 - v. Is a(q) a prime number?
True
Suppose -4*w - 43 = 3*d, -5*w = -2*d - 0*w + 2. Let l(z) = z + 13. Let j be l(d). Suppose -j*q + 3*r + 89 = 0, -3*q - 5 = 5*r - 79. Is q a prime number?
True
Let k(o) = o. Let q be k(5). Let n be (-6)/5*(-177 - 3). Suppose q*b - 109 - n = 0. Is b prime?
False
Let g = -30 - -87. Suppose g + 154 = t. Is t a prime number?
True
Let j = -19 + 33. Let s = j - 9. Suppose s*d - 4 = 3*d. Is d a composite number?
False
Let b = 1 + -2. Let n(f) = -1. Let d(c) = -53*c + 4. Let z(j) = d(j) + 4*n(j). Is z(b) prime?
True
Suppose -6 - 23 = -i. Let g be (-1)/((-1)/(-2)) + 4. Suppose 3*r = a - g*a + i, 3*a - 37 = r. Is a composite?
True
Let c be 71/(7/3 + -2). Let m be ((-136)/(-3))/(3/9). Let s = c - m. Is s a prime number?
False
Let d = -2 - 7. Let l be 22/6 - 3/d. Suppose l = 2*u, -2*g + 106 = -3*u - 126. Is g prime?
False
Let s(c) be the third derivative of -59*c**4/24 + 3*c**2. Is s(-1) a composite number?
False
Let z(y) be the third derivative of -31*y**4/24 + y**3/2 + 3*y**2. Let k be z(-3). Let a = k + -29. Is a a composite number?
False
Suppose -4*o + 8 = -v - 3*v, v - 14 = -3*o. Suppose 0 = -v*r + 19 + 1. Is r a composite number?
True
