1)/(-4))/((-1)/(-2))*1294 a prime number?
True
Suppose 2*g = 7 + 5. Let w(n) = n - 6. Let c be w(g). Suppose i - 223 = -c*i. Is i a prime number?
True
Suppose l - 2*g = -7*g + 238, 3*g + 15 = 0. Is l a composite number?
False
Suppose -5*q = 2*d + 1347 - 289, 5*q = 2*d + 1038. Is (d/12)/((-2)/6) a prime number?
True
Let c(t) = 3*t + 5. Let a be c(-4). Let z be (-1 - a)*(-24)/(-18). Let m = z - -78. Is m composite?
True
Let u be 2 - (2 + -1 + 11). Is (2 - u)*2/4 composite?
True
Suppose 3*g - 4*f = 22 - 7, 2*g - 10 = -3*f. Suppose 665 = g*x - 0*x. Is x composite?
True
Suppose 0 = 4*m - 2*m. Suppose 2*q - 182 + 4 = m. Is q prime?
True
Let w(j) = 5*j - 1. Is w(4) prime?
True
Let h be (-1)/(-2)*(3 - 3). Suppose 0 = 4*m - t - 234, 3*m + t - 4*t - 171 = h. Let x = m + -12. Is x prime?
True
Let r = 945 + -334. Is r a prime number?
False
Suppose -1 = 2*l + 5. Let j(d) = d**2 + 3*d - 1. Let h be j(l). Is (3/h - -1) + 79 a composite number?
True
Suppose -3*b + 6*o = 2*o - 16, -4*b + 2*o = -8. Let q = b - 0. Suppose 0 = -2*t + t - 2*l + 45, -4*t - 2*l + 156 = q. Is t composite?
False
Suppose s - 2*s + 4*v = -149, -499 = -3*s - v. Suppose 5*t = 5*q - 320, 4*q - 131 = -4*t + s. Suppose r = 4*r - q. Is r prime?
True
Let p be (18/8 - -3)*4. Let u = p + 40. Suppose q - 4*q = -4*w + u, 25 = 5*q. Is w a composite number?
False
Suppose 0 = -2*k - 419 + 1713. Is k composite?
False
Let l be (1 - -4)*3/5. Let i(o) = o - 4. Let z be i(6). Suppose 5*p + 3*c - 429 = 2*c, -263 = -l*p - z*c. Is p prime?
False
Let s = -5383 + 10004. Is s a prime number?
True
Let j(n) = -122*n + 11. Let w(o) = -3*o**2 + 6. Let t be w(-2). Is j(t) a composite number?
False
Suppose -4*z - 44 = 2*u, 2*u + z = 2*z - 59. Let q = u - -98. Let c = -45 + q. Is c composite?
True
Let y be 2/9 - 770/(-99). Suppose -5*j - 3*o = -o - 161, -y = 4*o. Is j a composite number?
True
Suppose 0 = -4*l + 6*x - 3*x + 347, 2*l + 5*x = 193. Is l composite?
False
Let d be 5/10 + (-233)/2. Let s = -58 - d. Is s a prime number?
False
Let z = -103 + 179. Suppose -12 = 4*i, 0*p = p + 5*i + 15. Suppose 4*n - z = -p*n. Is n a prime number?
True
Let l = 1 - 1. Suppose -5*k + l*k + 330 = 0. Suppose 2*s - 3*h = 68, k = -5*s + 7*s - 4*h. Is s a composite number?
False
Let n be (-301)/(-4) + (-5)/20. Let p = 2 + 0. Suppose -n = -3*w - p*w - 2*o, -4*w + 4*o + 32 = 0. Is w composite?
False
Let s(b) = b**3 + 11*b**2 + 7*b - 1. Let m be s(-7). Let h = -79 + m. Is h a composite number?
False
Let p(c) be the second derivative of 0 - 1/2*c**2 - 1/20*c**5 - 2*c + 1/2*c**3 + 7/12*c**4. Is p(6) a prime number?
True
Suppose 5*a - 445 = 3*z, 0*a - a + 89 = 3*z. Suppose -t - a = -2*t. Is t composite?
False
Suppose 0 = -2*a - 99 - 305. Let s = a - -285. Is s composite?
False
Let j = -69 - 1. Let q be (j - 0) + (9 - 6). Is 2/(3 + 199/q) a prime number?
True
Let s(i) = 2*i**3 + 4*i**2 + 5*i - 16. Is s(7) prime?
False
Let x = -9 + 3. Let o(y) = y**3 + 7*y**2 - 2*y + 1. Is o(x) composite?
True
Let l = -596 - -889. Is l a prime number?
True
Let o = -9 - -12. Suppose 0*u = -o*u + 3129. Suppose 3*n = -5*w + u, 0 = 3*w - 4*n - 533 - 116. Is w composite?
False
Let w(y) = -166*y**3 + y**2 - 2*y - 2. Is w(-1) prime?
True
Suppose 4*n - 39 = 5*b + 368, 3*b + 203 = 2*n. Is n prime?
True
Suppose -5*d - 2 = -p - 23, 5*d - 3*p = 13. Suppose -d*w + 199 + 586 = 0. Is w prime?
True
Let u = 7 + -7. Suppose u = 5*x + 5*q - 178 - 822, 2*q = -6. Is x prime?
False
Let z(g) = -g + 10. Let c be 19/3 + (-3)/9. Let x be z(c). Suppose 2*d - x*d + 66 = 0. Is d a composite number?
True
Let h = -116 + 189. Let n be 0*4*4/32. Suppose n = 2*o - h - 57. Is o composite?
True
Suppose 0 = -z - 0*z + 85. Is z*1 + 0/(-3) composite?
True
Suppose 0 = 3*d - 26 - 7. Let f(k) = k**3 - 11*k**2 + 13*k - 16. Is f(d) composite?
False
Suppose 0 = f - 2*f + 587. Is f prime?
True
Is (-4494)/(-28) - 1/(-2) a prime number?
False
Is (4 - (-166)/(-8))*-4 prime?
True
Let g be 5 - 4 - (-3 + 2). Suppose 0 = -g*s + s + 21. Is s a composite number?
True
Is ((-313)/(-2))/(-1)*-10 - 4 a prime number?
False
Suppose 6*z = z + 25. Suppose -n + 943 = -5*i + 324, -4*n + 2526 = z*i. Is n a composite number?
True
Suppose -48 = -h - 3*p, 5*h - 3*p - 27 = 195. Let i = h + -22. Is i prime?
True
Let u = -270 - -122. Is 2 + -5 + 4 - u a composite number?
False
Let a(t) = -2*t**2 - 20*t - 11. Is a(-6) composite?
False
Suppose 4*b - 1940 - 2712 = 0. Is b composite?
False
Suppose -6*u + 111 = 21. Is u composite?
True
Is 2/(2/3) - (-502)/2 a composite number?
True
Suppose 4*u + 51 = 4*m - u, m + u = 6. Let y(d) = d**3 - 9*d**2 + 10*d - 11. Is y(m) composite?
False
Suppose 5*r = -2*p + 3211, -r - 6*p = -2*p - 653. Suppose -r = -2*a + 181. Is a a composite number?
True
Let h = 7856 - 3619. Is h composite?
True
Suppose 0 = p + 4*h + 22, -2*h - 6 = 3*p + 30. Let n = p + 16. Suppose 69 = -3*q + n*q. Is q composite?
False
Suppose 4*k = n + 2516 - 863, -3*k + n + 1240 = 0. Is k composite?
True
Let j = 3 - 0. Is (j - 3) + 58/1 composite?
True
Let u(n) = n**2 + n + 6. Let g be u(0). Let z = g - -5. Let j = 10 + z. Is j a composite number?
True
Let x = 14 + -1. Suppose -o = 5*f + 2*o + 14, 4*o = -f - x. Is f/(1 + 342/(-339)) a composite number?
False
Let f(i) = -33*i - 1. Let o = 19 - 27. Is f(o) prime?
True
Let c(z) = -z - 4. Let y be c(-6). Let n(p) = -4*p**3 - p**2 + p + 1. Let t be n(-1). Suppose -y*i = t*r + i - 60, 0 = 4*i + 12. Is r a composite number?
False
Let q(t) = -338*t + 21. Is q(-4) a prime number?
True
Let r be (8/3)/(2/3). Suppose r*l - 15 = l. Let w(a) = -a**3 + 7*a**2 + a - 4. Is w(l) a composite number?
True
Suppose j + 4*j - 730 = 5*y, 0 = 4*y - 12. Is j a composite number?
False
Let c(q) = q**2 + 5*q + 6. Let w be c(-6). Let h = 5 - w. Let i(o) = -6*o - 7. Is i(h) composite?
True
Let x = 20 + 2. Is (-1)/(0 + (-2)/x) composite?
False
Suppose -o = -3*o + 16. Let d(z) = z**2 - 3*z - 5. Is d(o) a composite number?
True
Suppose -1120 = -l - m, 2*l - 5*m = -260 + 2465. Suppose 11*o - l = 6*o. Is o prime?
True
Let c(h) = 95*h**3 - 1. Let v be c(1). Is v/2 + -3 + 2 prime?
False
Let h = -81 + 500. Suppose -5*y = -3*v + 308, 0 = 4*v + 3*y - 8*y - h. Is v prime?
False
Suppose 10 = 3*d - d. Suppose 5*v = 90 + d. Is v a composite number?
False
Let d = -2 + -1. Is (942/24)/(d/(-12)) a composite number?
False
Let n = 70 - 119. Let v be (0 + 84)*(0 + 1). Let i = n + v. Is i a prime number?
False
Suppose r + 4*r = -20. Let s be (-2)/r*(-2 + 8). Suppose -3*w + 4*k + 83 = 0, -18 = 3*k - s. Is w prime?
False
Let k(c) = 2*c**2 + 2*c - 1. Let n be k(-2). Let o(t) = 25*t + 4. Is o(n) a composite number?
False
Suppose 2*a + 20 = -2*a. Let v(n) = -n**3 - 2*n**2 + 7*n + 7. Is v(a) a prime number?
True
Let r(i) = -i**2 + 8*i - 1. Is r(6) composite?
False
Let u = -7 - -10. Suppose 0 = -5*b - u*g + 10 + 70, -3*g = -3*b + 24. Is b a prime number?
True
Suppose 5*z - 2*j - 10763 = 0, -2*j + 4 = 2. Is z prime?
True
Is -3 + (1 - -5) + 64 prime?
True
Let y(q) = q**2 + 7*q + 7. Let w be y(-6). Let r = 2 + w. Let o = 12 + r. Is o prime?
False
Let o(w) be the second derivative of w**5/20 + 3*w**4/4 + 5*w**2 - 3*w. Let i be o(-9). Let t(g) = 4*g - 9. Is t(i) composite?
False
Let o = 4 + 0. Suppose 0*g = -o*t + 2*g + 12, -3*g = -6. Suppose -2*i = -i + t*z - 55, -i + 62 = -3*z. Is i composite?
False
Let k be 15/(-6)*(-6)/3. Suppose k*o = 4*c - 142, -3*o + 4*o + 101 = 3*c. Is c composite?
True
Suppose -y + 5*d = -82, 0 = -3*y - y - 3*d + 305. Is y + (3 - (0 - -3)) prime?
False
Let k(y) = -135*y + 32. Is k(-5) prime?
False
Suppose -j + 1265 = 4*j. Is j a composite number?
True
Suppose -4*k = 16, 3 = -b + 2*k + 14. Let v be (-9 - -11)/(2/b). Is 158/v - (-2)/6 a composite number?
False
Let p(h) = -1 - 1 - 35*h**3 + 1 - 121*h**3. Is p(-1) a prime number?
False
Let z(g) = g**3 + 8*g**2 - 7. Let d(m) = m**3 + m**2 - 1. Let v(p) = 4*p**3 + 2*p - 1. Let c(r) = -5*d(r) + v(r). Let f be c(-5). Is z(f) a prime number?
False
Let w = -90 + 54. Let n be 85/2*(-2 + 0). Let c = w - n. Is c a composite number?
True
Let r(u) = u + 3. Let x be r(0). Suppose 0 = 5*b - x*l - 572, 3*l - 8*l + 235 = 2*b. Is b composite?
True
Let c(g) = 20*g**2 + 5. Is c(5) prime?
False
Suppose -4*v + 4*u + 2744 = 0, -2*v + 696 = -v + u. Is v a prime number?
True
Suppose -i - 4*i - 