a composite number?
False
Let v be -5*((-2)/5 - 0). Suppose 5*l - v*l = 2031. Is l a prime number?
True
Suppose 7*y - 2586 + 437 = 0. Is y a composite number?
False
Let v(h) = -h**3 - 10*h**2 + 8*h - 12. Is v(-11) composite?
True
Let y = 16 - 14. Suppose y*i - 80 - 68 = 0. Is i prime?
False
Let n = 11 + 2. Suppose 0*s = -2*s + 12. Let l = n - s. Is l a prime number?
True
Let z(j) be the third derivative of 4*j**5/5 + j**4/8 - j**3/3 - j**2. Is z(1) a prime number?
False
Let n be 4*(420/8 + 0). Suppose 4*k + d - 344 = 48, -2*k + n = 4*d. Is k a prime number?
True
Suppose -4*v + 633 = -3*v + 2*u, 3*v = -3*u + 1908. Let n = -268 + v. Is n a composite number?
True
Let w be (1 - (-1 + -1))*-1. Let d(s) = -2 + 5 - 1 + 5*s**2 - 1. Is d(w) prime?
False
Suppose -4*f - 1 = -5*f. Suppose 0 = i - 4*c - 73, -c + 2*c = -f. Is i a composite number?
True
Let g(u) = 34*u**2 - u. Let t = -14 + 8. Let s(b) = b**3 + 7*b**2 + 5*b - 5. Let k be s(t). Is g(k) a composite number?
True
Let d = -73 - -62. Suppose 2 = -4*t - 2. Let m = t - d. Is m a composite number?
True
Suppose 0 = -2*u + 48 + 8. Suppose 2*f + u = 222. Is f prime?
True
Let o be -2 + (0 - (-2 - 0)). Let l(s) = 0 + o - 41*s - 4. Is l(-3) a prime number?
False
Let v = -5 - -7. Suppose w + 85 = v*w. Is w a composite number?
True
Let w = -326 + 525. Let r = 348 - w. Is r a composite number?
False
Suppose 5*c + 0*c = 8375. Suppose 0 = 5*v - 0*v - c. Is v prime?
False
Let g = 243 + -30. Is g a composite number?
True
Is (-62366)/(-30) + 2 - 2/(-15) prime?
True
Let u(y) = 23*y**2 - y - 2. Let v be u(-3). Let r = v + -405. Let t = r - -286. Is t prime?
True
Let b(n) = -2 + 205*n + 2 - 1 - 13*n. Let x(y) = y + 8. Let a be x(-7). Is b(a) composite?
False
Let c be ((-3 + 12)/(-1))/(-3). Is ((-236)/(-8) - c)*10 a prime number?
False
Let g = 2 - 7. Let d = g + 44. Suppose d = -0*v + 3*v. Is v prime?
True
Let x = -3 + 6. Suppose 4*o - 14 = -8*p + x*p, -3*o + 5*p + 28 = 0. Suppose o*w = w + 265. Is w a composite number?
False
Suppose 3*w - 2*w - 2*u + 169 = 0, 0 = -2*w - 2*u - 326. Is (w/(-9))/((-3)/(-9)) a composite number?
True
Suppose -4*d + 2*o + 18 = 0, 5*o - 2*o = -9. Is 3/(-6)*(-473 + d) prime?
False
Let x(t) = 430*t - 9. Is x(4) prime?
False
Suppose 2*q + 176 = -4*o, -4*q + 1 = 2*o + 89. Is (o/8)/((-2)/28) a prime number?
False
Suppose 0 = 5*o - 10*o + 1615. Is o a prime number?
False
Is 1506 + 3 - 1*-4 a composite number?
True
Suppose 530 + 308 = 2*v. Is v prime?
True
Let m be (2 + -6 + 2)/(-1). Suppose -m*b = 3*g - 377, 0 = -5*b + 3 - 13. Is g a prime number?
True
Suppose -4*l - 4*x - 4 = -128, l + 2*x - 29 = 0. Let y be 2 + 776/(2 + 2). Let h = y - l. Is h a composite number?
False
Let t = 27 + 31. Is t composite?
True
Let w(h) = 779*h + 3. Is w(2) a prime number?
False
Let j be -36*((-15)/2 + 2). Is (j/3 + 3)/1 prime?
False
Suppose 2*r - 779 = -229. Suppose 13*q = 18*q - r. Is q prime?
False
Let d be (6 - 2)*(-2)/(-4). Suppose d*m - 4 = -2*m, 0 = 2*x - 4*m - 174. Is x prime?
True
Let p = 110 + -21. Is p a composite number?
False
Is 8/(-8) - (3 - 1403) prime?
True
Let i = -1507 - -2328. Is i composite?
False
Suppose -9*m = -6*m - 2271. Is m a prime number?
True
Let p be 104/(-28) + (-4)/14. Let l be p/(-6)*6/1. Suppose 2*g - 94 = -l*d, 27 = g - 4*d + 2*d. Is g composite?
False
Suppose 3*o - i = -3275 + 8736, -3*o = -2*i - 5465. Is o prime?
False
Suppose 8*z - 14 = 2*h + 4*z, 2*h + 12 = 3*z. Let s = 6 + h. Suppose -o = -l - 4*o + 25, -o = -s*l + 55. Is l a composite number?
False
Let a = 0 + -1. Is 2/a*(-39)/2 a prime number?
False
Let s = 951 - 634. Is s prime?
True
Suppose 149 + 243 = 4*f. Suppose -l - 5*d + 104 = 0, l - d + 12 = f. Is l prime?
True
Suppose 3*p = -2*p - 730. Let s = -69 - p. Is s a composite number?
True
Let i(z) = 5*z**2 + 9*z + 1. Is i(-6) a composite number?
False
Suppose -5*o - 6 - 6 = -2*x, 3*x - 2*o = 29. Suppose -w + 2*w - x = 0. Is w a prime number?
True
Let a = 116 + -37. Suppose 2*g + a - 1253 = 0. Is g a prime number?
True
Let c = 707 + -450. Is c prime?
True
Suppose d + 4*o + 8 = 0, -5*d + 3*o + 11 = 6*o. Suppose 126 = d*p - 94. Is p a prime number?
False
Let z = 2 - -14. Is 514*4/z*2 prime?
True
Suppose -705 = -5*k + 3*r, -2*k + 71 + 211 = 2*r. Suppose -3*u - 439 = -3*y - 5*u, y = 2*u + k. Is y a composite number?
True
Let i(p) = -3*p + 4. Let j be i(-4). Let n be ((-39)/(-3))/(2/6). Let t = n - j. Is t a composite number?
False
Let k(h) = -h - 2. Let i be k(-7). Suppose -3*o = 3*t - o - 74, 3*t = i*o + 88. Suppose 0 = -0*c + 2*c - t. Is c composite?
False
Let d(a) = -675*a + 2. Is d(-1) composite?
False
Suppose 3*w = 5 + 1. Suppose w*l = 4*q + 8, l = -4*q + 5*q + 5. Is (99/l - -1)*2 prime?
False
Suppose -2*x - t = 2*t - 33, 0 = -x - 5*t + 34. Suppose -2*m - x + 95 = 0. Is m a prime number?
True
Suppose 2941 = c - 846. Is c composite?
True
Let j(f) = 5*f**3 + f**2 - f. Let g(u) = -u**3 - 4*u**2 - u - 3. Let y be g(-4). Let z be j(y). Suppose z*t - i = 3*i + 11, -5*t = -i - 14. Is t prime?
True
Let l(t) = 22 + t**2 + 0*t**2 - 2*t + 0*t + t. Is l(0) prime?
False
Let y(x) = 13*x + 25. Is y(12) prime?
True
Suppose 5*r + 0*r - 25 = 0. Suppose 0*j = -r*j + 2030. Suppose 6*a = 8*a - j. Is a a composite number?
True
Suppose -2*l - 1 = -l. Is (13 - 0) + (1 - l) a composite number?
True
Is (8/4 - 1)*541 composite?
False
Suppose -5570 = -4*d - d. Suppose -3*y = 28 - d. Suppose 0 = 3*t - x - y, 0 = x + 3*x - 4. Is t a composite number?
True
Let y = -7 + 1. Let q(h) = -h**2 - 1. Let o(d) = -5*d**2 - 4*d + 1. Let n(u) = o(u) - 6*q(u). Is n(y) prime?
True
Let t be (-1)/(3/717) + -3. Let n = 159 + t. Let d = n + 141. Is d a prime number?
False
Let t be (5/(-3))/((-2)/12). Suppose -t = -4*a + 2*z, -3*z + 1 = a - 2*z. Is (26/(-3))/(a/(-3)) a composite number?
False
Let g = 7 - 11. Is g/(-6) - 201/(-9) a prime number?
True
Let v be -1*((-6)/(-4))/(30/(-80)). Let r(g) = 49*g**3 + 2*g**2 - 4*g + 3. Let c be r(2). Suppose -i - v*i = -c. Is i a prime number?
True
Suppose 5*i - 5 = 0, a - 721 - 818 = 4*i. Is a a prime number?
True
Let n(c) = -c + 4. Let p be n(6). Let j be (5/(-2))/(p/8). Let l = j - -37. Is l prime?
True
Let h(o) = 2*o**2 - 2*o + 2. Let m be h(1). Suppose -d + 3*k = -452, -3*d = k + m*k - 1320. Is d a prime number?
True
Suppose -n - n = -20. Is (2 - n/6)*1437 prime?
True
Let r = 264 + -156. Suppose 0 = -3*u + 69 + r. Is u a prime number?
True
Suppose -1197 = 3*q + 5*i, -4*q - 3*i = -i + 1610. Let o = q + 589. Is o a composite number?
True
Suppose -3*p - 537 = -5*l, -4*l = -3*l + 5*p - 85. Suppose -l = -6*q + q. Is 469/q + 2/3 a composite number?
False
Let v(m) = m**3 + 36*m**2 + 8*m - 26. Is v(-19) a prime number?
False
Suppose -8 = -2*w, -545 = -3*r + 2*w + 770. Suppose 3*f - r = 2*a, 2*f - a - 4*a = 305. Is f prime?
False
Let n(y) = y**3 + 2*y**2 - 5*y - 3. Let o be n(-3). Suppose -4*c = o*g + c - 65, 4*c = 3*g - 29. Is 6/g - 219/(-15) a composite number?
True
Let h(o) = -o**3 + 6*o**2 - 3. Let a be h(6). Let d(j) = -2*j**3 - 5*j**2 - 2*j + 2. Let y be d(a). Suppose -2*i + y = p, -i - 84 = -3*p + 4*i. Is p composite?
False
Let o(v) = v**2 + 7*v - 9. Let w be o(-9). Suppose 0 = -3*s + w - 3. Suppose -4*j - 39 = -l, s*j + 15 = -l + 48. Is l composite?
True
Let p(d) = -16*d**3 + 45*d**2 - 25*d - 31. Let j(o) = -3*o**3 + 9*o**2 - 5*o - 6. Let y(u) = -11*j(u) + 2*p(u). Is y(9) a composite number?
True
Is (0 + -4)/(26/(-1079)) prime?
False
Let m(c) = 9*c**3 + c**2 - 2*c + 5. Is m(3) a prime number?
True
Let a(x) = 296*x - 43. Is a(6) a prime number?
True
Let v(z) = -z. Let o be v(-2). Suppose 5*r - o*r - 21 = 0. Is r a prime number?
True
Let y(o) = -3*o - 3. Let v be y(-2). Suppose v*k = -0*k + 9. Suppose 0 = 4*f - 5*w + k*w - 1172, -1172 = -4*f + 4*w. Is f composite?
False
Let h be 21/4 - 2/8. Suppose 2*a - 4*d = -8, -3*a = -h*d + 12 + 1. Let y(n) = -n**2 - 13*n - 7. Is y(a) prime?
False
Let h(k) = k**3 + 4*k**2 - 6*k - 10. Let l be h(-5). Let d = 8 + l. Is d prime?
True
Let f(s) = s**3 - 4*s**2 + 3*s - 1. Suppose 4 = v - 1. Is f(v) a prime number?
False
Suppose b + 2*a = 1 + 7, 3*b - 9 = -3*a. Let z = b + -45. Let f = -26 - z. Is f prime?
False
Let m = 32 + 7. Let g = -8 + m. Suppose -g = -t - 0*t. Is t a prime number?
True
Let f be 358/5 - 6/(-15). Suppose 2*x = 6*x - f. Is (-99