1) a composite number?
True
Let c = 614 - 363. Is c composite?
False
Let m(a) = -a + 14. Let i be m(8). Is 34 - (-2)/4*i a composite number?
False
Let l be 2/(-4) - 2049/6. Let c = l - -514. Suppose 7 = -5*y + c. Is y a composite number?
True
Suppose -3*t - 5 = 2*x, -x + 5*t + 21 = 2*x. Is 4/(-6)*-3*x a composite number?
True
Let m = 139 + -23. Suppose -2*g = m - 30. Let b = g - -98. Is b a composite number?
True
Let b be -1*1 - (8 + -123). Let i = 33 - 88. Let s = i + b. Is s composite?
False
Let h(d) be the second derivative of d**5/20 + 2*d**4/3 + 5*d**3/6 - 9*d**2/2 - d. Let l be h(-7). Suppose 0 = y + y + 4, l*y - 40 = -2*v. Is v a prime number?
False
Let a be -3*(-5)/(-3)*-1. Suppose -4 = -a*h + h. Suppose 0 = -m - h + 16. Is m prime?
False
Let n(q) = -4*q**3 + 2*q**2 - 1. Let w be n(1). Is (-84)/w - (-1 + -2) composite?
False
Suppose -3*r + 9 = -2*r. Suppose 3*g - w - 2*w = r, -9 = g + 3*w. Is 4/5*(5 - g) composite?
True
Suppose n - 6*n - 3*d = -6, -n - 2*d = 3. Is n a composite number?
False
Let y be (6/(-8))/((-1)/8). Let c be -64*(y/(-8))/1. Let z = 145 - c. Is z a composite number?
False
Suppose -5*d + 4*d + 3 = 0. Suppose 0 = -j, 5*f - 17 = d*j + 38. Is f a composite number?
False
Let k(t) = t**3 + 13*t**2 - 12*t - 4. Let i(o) = 7*o**2 - 6*o - 2. Let x(r) = -11*i(r) + 6*k(r). Is x(5) a composite number?
False
Let f be (16/4)/(-4) + 5. Suppose 3*n - 646 = -2*w - 41, -f*n + 800 = 4*w. Is n a prime number?
False
Suppose -3*w - 12 = -7*w, -2*j + 189 = 5*w. Suppose o = 5*d - 5 - 436, o - j = -d. Suppose 3*p = d + 17. Is p a prime number?
False
Let n = -1 + 1. Suppose -5*k + 228 = -h - n*h, 3*k = 5*h + 128. Suppose -k = -2*q - 4*t, q = -0*q + 3*t + 28. Is q prime?
False
Suppose -1 = -y, d + d + 5*y - 3747 = 0. Is d prime?
True
Suppose 5258 = -15*k + 17*k. Is k a composite number?
True
Let j be (475/(-20))/(1/(-4)). Suppose 0 = -3*l + 4*i + j, 113 = 3*l - 5*i + 19. Is l composite?
True
Suppose 5*q = -14 + 279. Let j(g) = q + 0*g**2 + g**2 + 0*g**2. Is j(0) prime?
True
Suppose 11974 = 5*b - k, -2*b - 6*k = -k - 4795. Is b composite?
True
Let b = 19 - 8. Suppose 2*n + 16 = -0*n. Let m = b + n. Is m a composite number?
False
Suppose 2*w = 1 + 3. Suppose 0 = w*r - 6 - 0. Suppose r*f - 76 = -f. Is f composite?
False
Suppose -13*y = -14*y + 431. Is y prime?
True
Suppose n = 5*f + 148, 2*f + 47 = -5*n + 4. Let l = f - -52. Is l prime?
True
Let w(i) = 702*i + 79. Is w(6) a composite number?
True
Suppose -6*l + l = -20. Let f(y) = -y + 9. Let d be f(l). Is 2/(-2) - (d - 124) prime?
False
Suppose 4*r + 54 = 2*w - 0*w, -2*w + 2*r = -56. Let t = 28 + w. Is t prime?
False
Let q(n) be the second derivative of n**4/3 - 7*n**3/6 + 3*n**2/2 - n. Let z be q(5). Is 4/12 + z/3 composite?
False
Suppose 0 = -3*m + 930 + 393. Suppose -m = -2*c - 23. Is c composite?
True
Let g(j) = -5*j - 1 - 2*j**2 + 0 + 0*j**2 + 3*j**2. Let f be g(-5). Suppose 0*k = k - f. Is k composite?
True
Suppose 2*d - 3*d = -51. Suppose d - 14 = p. Is p prime?
True
Let n = -8 - -26. Let z = n - -3. Is z prime?
False
Suppose 4*t - 3*p = 0, 3*t + p - 6*p - 11 = 0. Let r = t - -15. Suppose -5*s + r + 33 = 0. Is s a prime number?
False
Let k = 258 - 140. Is k*3/12*2 prime?
True
Suppose 0*j = -2*j + 3*m + 24, -3*m = -6. Is j/(-9)*3*-67 a composite number?
True
Let z = 0 + 2. Suppose -x + 4*i = -5*x + 24, -3*i = -5*x - z. Is x/6 - 132/(-9) a composite number?
True
Let q = 4 - 2. Suppose 0 = 5*z - 62 + 2. Suppose q*f - 50 = -m + f, -z = -4*f. Is m composite?
False
Suppose -16 = -q + 9*q. Suppose 1 = -f - 5*m, -57 = 5*f - 2*m + 56. Let a = q - f. Is a a prime number?
True
Let b(v) = -v**2 + 5*v + 2. Let k be b(4). Let f be ((-3)/6)/(1/k). Is (-54 + (-3)/f)/(-1) composite?
False
Let r(f) = f**2 + 15*f + 29. Is r(-18) composite?
False
Suppose 0 = 2*v - 7*v - 35. Let y(h) = -10*h + 13. Let p(l) = l - 1. Let n(k) = 6*p(k) + y(k). Is n(v) prime?
False
Let k be 54/10 + (-2)/5. Suppose -33 = 5*u + 4*a - 298, k*u - 5*a - 265 = 0. Is u a prime number?
True
Let n = 1 + 14. Suppose 0 = -6*l + l + n. Suppose 2*w = l*w - 37. Is w a composite number?
False
Suppose -3*t + 115 = -2*t. Is t composite?
True
Suppose -r + 2*r + 11 = 2*p, 0 = 2*r + 6. Suppose z = -p*z + q - 468, -2*z = -3*q + 182. Let v = 171 + z. Is v a composite number?
True
Let y be 0 - -5*(2 + -1). Is 4/y*(-70)/(-4) prime?
False
Suppose -15 = 4*c - 7*c. Suppose -4*x + c*f + 64 = 0, 3*x + 6*f - 79 = 2*f. Is x a prime number?
False
Suppose -8*q = -4*q - 2716. Is q prime?
False
Suppose -2*w = -3*w - 55. Let b = 335 + w. Let i = b + -147. Is i a prime number?
False
Let z = -530 + 789. Let x = 408 - z. Is x a composite number?
False
Suppose -2*p - 4 = 0, 2*c - 2*p = -3*c - 36. Is 2/c + (-1389)/(-4) prime?
True
Suppose 0 = -7*i + i + 714. Is i composite?
True
Suppose -5*w = -2*w - 6. Suppose -2*r = w*r - 60. Is r composite?
True
Let w be 54/9*(-2)/(-3). Suppose -2*s + 999 = -r, 4*s + s = -w*r + 2465. Is s a prime number?
False
Suppose -2*p = -3*p + 155. Is p composite?
True
Let c be 10*(-2 + (-11)/(-2)). Suppose c - 11 = -4*s. Is ((-14)/s)/(1/15) a prime number?
False
Suppose -2*f = -0*f - 30. Suppose -4*a - 5*s = -86 - 84, 8 = 4*s. Let k = a - f. Is k prime?
False
Let o = -844 - -1472. Suppose -3*r = r - o. Is r prime?
True
Let n(o) be the first derivative of o**4/4 + o**3/3 + o**2/2 + 287*o - 2. Is n(0) a prime number?
False
Let p be 3/12 - 2/8. Let x = 5 - p. Suppose 0 = -0*v - x*v + 95. Is v composite?
False
Let h(u) = 5*u**2 - 3*u - 5. Let r(s) = 4*s**2 - 2*s - 5. Let q be (-1)/3 + 13/3. Let a(z) = q*r(z) - 3*h(z). Is a(7) prime?
False
Let s(d) = d**3 + 11*d**2 + 9*d - 10. Let g(f) = 2*f. Let t be g(-5). Let j be s(t). Suppose 4*v - 3 - 89 = j. Is v composite?
False
Is (2 - (-6)/(-4))*(-3 - -9533) a composite number?
True
Let g(d) = -190*d**3 + 2*d**2 + 2*d + 1. Let b be -4 - -1 - 2*-1. Is g(b) a prime number?
True
Is (22 + -11)/((-3 - -1)/(-4)) a prime number?
False
Suppose -4*t + 340 = -0*t. Is t composite?
True
Suppose g = -5*u, -2*g = -2*u - 6 - 6. Let t be (2 + u)/(1/9). Let r(i) = -i**3 + 9*i**2 + 9*i + 4. Is r(t) a prime number?
False
Let j = 225 - 76. Is j composite?
False
Is (2/(-6))/(1/(-3081)) a prime number?
False
Let j(k) = 159 - k + 105 + 48 - 5. Is j(0) prime?
True
Let p = -3 + 5. Suppose p*b + b = 0. Suppose b = 3*w - 4*v - 17, 3*v + 10 = 2*w - 0*w. Is w a prime number?
True
Let k(s) = 2*s**2 + 10*s - 5. Is k(-24) prime?
True
Let d be ((-20)/(-3))/((-8)/(-12)). Suppose -2*n + 76 = -d. Is n a composite number?
False
Let q(z) = -104*z - 3. Is q(-2) composite?
True
Let t(n) = -13 + 0 + 2 - n**2 - 6 + 24*n. Is t(12) prime?
True
Suppose -2 = -2*g - 4*q + 20, -35 = -4*g - 5*q. Suppose g*u - 55 = -5*w, 2 + 6 = w - 2*u. Suppose -t = w - 43. Is t a composite number?
True
Let i be (-3)/(-1) + 1/(-1). Let v = i + 19. Let q = v + 34. Is q composite?
True
Let c = -5 - -5. Let w = 6 - -2. Suppose c = -3*g + w*g - 175. Is g prime?
False
Let k be 42/8 - 4/16. Suppose -k*x + 1279 = 3*b, 2181 = 7*b - 2*b - 4*x. Suppose 4*h + 93 = b. Is h composite?
True
Suppose -4*t + 30 = -9*t - 4*u, -5*u + 30 = -5*t. Is (46/t)/((-2)/6) a prime number?
True
Let s be (1 - (-102)/(-8))*-4. Let t be (-2)/((3/12)/(-1)). Let u = s + t. Is u a prime number?
False
Let p = 34 - 13. Let d = 35 - p. Suppose b - a - 36 = d, -3*a - 97 = -2*b. Is b a prime number?
True
Let q(h) = h - 1 + 5 + 3*h**2 - 1. Let u be (-1)/4 + (-68)/(-16). Is q(u) a composite number?
True
Let f = -1 + 3. Suppose 3*q = f*q + 3. Is (q - (-1 - -3))*35 composite?
True
Suppose -249 = -2*p + 725. Is p a prime number?
True
Let w(g) = 19*g - 7. Suppose -2*c - 5*d - 6 = -2, -40 = -3*c + 4*d. Is w(c) prime?
False
Suppose -3*l - 306 = 3*m, -3*m = -5*l + m - 546. Let b = -73 - l. Is b a prime number?
False
Let c be ((-24)/(-10))/((-8)/(-1940)). Is 6/(-4)*c/(-9) a composite number?
False
Suppose -a - 7 = -6*j + 3*j, -j + 3 = -a. Let z be a/2 + (-501)/(-6). Let y = 214 - z. Is y a prime number?
True
Let s = -458 + 949. Is s a composite number?
False
Let o = -9 + 9. Let m(v) = v**3 + v**2 + v + 83. Is m(o) prime?
True
Suppose 0 = -5*s + 5 - 20. Let a(l) = l + 6. Let q be a(s). Is (q - -11*2) + 0 composite?
True
Let x(d) = -d**3 + d**2 - d + 4. Let p be x(2). Let s(h) = -26*h**3 + 2*h**2 + 4*h + 3. Is s(p) pri