se -v + 81 = -5*k, -3*v - 5*k + 345 = 2*v. Is v composite?
False
Let h be (-12)/(-9)*6/4. Suppose 1 = n - z + h*z, 4*n + z - 13 = 0. Suppose -n*q = -91 + 15. Is q composite?
False
Let m be (-9 - -10) + 2/2. Is 380 + (0 + m - 5) a prime number?
False
Let n = 55 + 1044. Is n a composite number?
True
Suppose -3*j + 4*j + 3*t - 13 = 0, -3*t = 3. Suppose -5*y + y + 12 = -2*f, 5*y - j = 3*f. Suppose 0 = -y*s - 4, 21 + 80 = 5*a + 2*s. Is a composite?
True
Suppose -8 = 4*h, -2*l = -4*h - 56 - 70. Is l prime?
True
Is (12/18)/((-6)/(-2007)) a prime number?
True
Let n = -2 + 6. Let k = 361 - 207. Suppose -465 = -5*a - 5*m, 3*a - k - 127 = -n*m. Is a composite?
True
Let p = 13 - 2. Suppose 4 = 5*i - p. Is 3*-2*(-7)/i composite?
True
Suppose -3*f - 2*f = -30. Let g be 24/(-2) + (-4)/(-2). Is 182/f - g/15 prime?
True
Let x be (-7)/4*(4 - 8). Suppose 0 = -x*w + 11*w. Is 2/(2/11) - w prime?
True
Suppose -5*j + 4*m = -31, -3 = -3*m - 15. Let n(h) = h + 107 + 161 - j. Is n(0) composite?
True
Let n(r) = r**2 - 7*r + 6. Suppose 2*f - 24 = -2*f. Let z be n(f). Suppose -x + z*x = -133. Is x a prime number?
False
Let p(v) = 3 - 4*v + 8*v - 3*v + 3*v**2. Let s be p(-8). Suppose -3*g = -14 - s. Is g a composite number?
False
Suppose -r = 2*r - 1842. Is r composite?
True
Suppose 1529 - 101 = 4*v. Suppose -y - 2*c + 117 = 0, 3*y + 2*c - v = -2*c. Is y composite?
True
Let l = -3 + 5. Suppose s + 45 = l*p + 13, 0 = -3*p + 4*s + 58. Is p prime?
False
Suppose -1010 + 5646 = 2*h + t, t + 9266 = 4*h. Is h prime?
False
Suppose 5577 = t - 756. Is t a composite number?
True
Is (4 - -164*34) + 1 a prime number?
True
Suppose 0 = -2*a - a + 6. Suppose a*r = 3*r. Is (-164)/(-4) + (-2 - r) composite?
True
Let b = -6 - -8. Suppose -b*f + 10 = -f. Is f a prime number?
False
Suppose -f - 2*k + 4 + 2 = 0, 4*k = -f + 10. Suppose -f + 3 = -s - 5*x, 3*s - 4*x = 16. Is (-3)/12 + 581/s a prime number?
False
Let i(j) = 3*j**3 + j**2 + 4*j + 1. Let l(v) = v**2 + 5*v + 3. Let g be l(-5). Let r(q) = -q**2 - q. Let n(h) = g*r(h) + i(h). Is n(3) a prime number?
True
Let l be 24/(-20)*20/(-6). Suppose f - l*f = -339. Is f a composite number?
False
Suppose -3*l - l = 20, 5*l = 5*v - 35. Suppose -3*a = -183 + 57. Suppose -z = v*z - a. Is z a composite number?
True
Let a(t) = 2*t**3 - 7*t**2 + 3*t + 3. Let o be a(6). Is o*(2 - (-15)/(-9)) prime?
True
Let v be (9/(-6))/((-2)/4). Let n be (3/v)/((-2)/(-8)). Suppose -n = z - 14. Is z composite?
True
Let j(y) = 2*y**2 + 10*y + 7. Let v(z) = -7*z + 1. Let l be v(1). Is j(l) a prime number?
True
Suppose 0 = -4*v - 83 - 65. Let r = v - -62. Let u = r + -10. Is u prime?
False
Suppose 0 = 3*b - 1 - 5, -2*b - 720 = -4*z. Is z composite?
False
Suppose -3*g = x - 33, -3*x + 6 = -x. Let c be ((-9)/(-6))/(3/g). Suppose -3*q = -c*z + 242, 3*q - 200 = -4*z - q. Is z a prime number?
False
Let k = -110 - -73. Let t = k - -74. Is t prime?
True
Suppose -5*c = -339 - 131. Suppose m + m = c. Suppose -2*o + 87 = 3*v, 4*o - m = -2*v + 3. Is v a composite number?
False
Suppose 2*b + 370 = 7*b. Is b composite?
True
Is 1/(18/(-23697)*1/(-2)) a composite number?
False
Let t(c) = -34*c + 11. Is t(-12) a composite number?
False
Let l(a) = -2*a**3 - 6*a**2 - 3*a - 3. Let m be l(-4). Let n be 1*3*14/21. Is 1/n - m/(-2) composite?
True
Is (12/(-18))/(-1 - 12460/(-12468)) a prime number?
True
Is -53*1*(0 + (-8 - 3)) a composite number?
True
Is (-40451)/(-19)*(-1)/(-1) a composite number?
False
Let p(u) = 2*u**3 - 7*u**2 - 5*u - 1. Let a be p(6). Suppose 5*v - 4*v = a. Is v composite?
False
Let b = 97 - 38. Is b composite?
False
Suppose -2*u - 33 = -5*k, -4*k - u = -5*k + 9. Let i = 11 - k. Is 381*(i/(-9) + 1) a composite number?
False
Is (-2)/1*(-764)/8 a prime number?
True
Suppose -3*o + 705 = -288. Is o a composite number?
False
Suppose 4*d + 0*d = f + 123, 0 = 3*d - 2*f - 96. Is (2353/39)/(2/d) a prime number?
False
Suppose -13*k + 0*k = -31967. Is k composite?
False
Let q(g) = 5 - 2*g**3 + 1 - 4*g - 4*g**2 - 3. Is q(-4) a composite number?
False
Suppose 0 = 2*f - 3*f + 5*t + 750, -2*t - 3727 = -5*f. Is f prime?
False
Suppose -3*n + 37 = 2*p, -n + 17 = -6*p + 2*p. Let d(k) = -k**2 + 0*k**3 - k**3 + n + 2*k**2. Is d(0) composite?
False
Suppose -4*q + 2*d = 3*d - 990, 0 = 2*q - 5*d - 484. Suppose -2*l + q - 91 = 0. Suppose 5*m - 77 = l. Is m a composite number?
False
Let l(a) = 3*a**3 - 13*a**2 - 8*a - 19. Is l(9) prime?
False
Let x(l) = 2*l**2 + 4*l + 13. Let f(a) = 0*a - 4*a + 2*a + 0 - a**2 - 6. Let w(t) = -5*f(t) - 2*x(t). Is w(-9) prime?
True
Let c be (-10)/(-6) + 1/3. Suppose 0 = 4*v - c - 2. Is v/4 - (-810)/24 prime?
False
Suppose -w = -2*c - 1399, -2*w - 3*c = -7*w + 6995. Is w a composite number?
False
Let m = 149 - 94. Is m a prime number?
False
Suppose 15*q = 2072 + 26533. Is q composite?
False
Let k be ((-2)/(-4))/((-3)/(-18)). Suppose 0 = 2*n - k*n + 127. Is n prime?
True
Let f = 0 - -211. Is f a composite number?
False
Suppose 3*u + 0*u = 5868. Let d be u/18*(0 - -3). Suppose t = -3*t + 5*n + d, 5*t + 2*n = 391. Is t prime?
True
Let t(w) = 3*w**2 + w + 18*w**3 - 1 - 2*w**2 + 0*w**2. Is t(1) composite?
False
Suppose 20 = 2*l - y - 2*y, -l + 4*y + 15 = 0. Is l/(1 - (-88)/(-92)) a prime number?
False
Let n(p) = -2*p**3 - p**2 - 2*p - 1. Let g be n(-1). Let m(u) = -u**3 + 2 - 5*u + 4*u + 6*u**g + u**2. Is m(3) prime?
False
Let r be (-1)/4 + 155/(-20). Is (257/4)/((-2)/r) a prime number?
True
Let p(m) = 4*m**2 - m + 1. Let z be (-1 + 0)/(7/14). Is p(z) a prime number?
True
Let h = 2 - -10. Suppose 3 = -3*g + h. Suppose -g*s = -56 - 1. Is s prime?
True
Suppose h + 54 = 163. Is h a prime number?
True
Is ((-17)/((-51)/(-18)))/((-2)/67) composite?
True
Let i = -1 + 4. Suppose -i*a = -5*a + 8. Suppose 2*m - 52 = -2*m + r, -a*m + 52 = 3*r. Is m composite?
False
Suppose -3*w + 661 = 2*j - 0*w, 0 = 4*w + 12. Is j composite?
True
Let t = -4 + 6. Let j(o) = -2*o + 2*o**2 + o**2 + 0*o**t. Is j(-5) composite?
True
Let p(z) = z**3 + 20*z**2 - 16*z - 36. Is p(-19) prime?
False
Let h be 2 + (-1)/(3/(-513)). Suppose 4*s - s = d - 27, 5*d = -4*s + h. Is d prime?
False
Let z(g) be the second derivative of g**4/12 + 2*g**3/3 - 2*g**2 + 3*g. Let r be z(-6). Suppose 2*v = -2*b + 4 + r, -4*b = 4. Is v a prime number?
True
Let t = -1 + 4. Suppose 60 = 3*c - 3*x - 12, 0 = -2*c + t*x + 46. Is c prime?
False
Let i = 8 - 9. Is (-291)/(-6) + i/(-2) composite?
True
Suppose -v = 3 + 1. Let w(a) be the second derivative of -a**3 - a**2/2 - a. Is w(v) prime?
True
Suppose d - 2 = -0*d. Is d prime?
True
Let c = -2 + 0. Let j be ((-5)/c)/(3/42). Let u = 68 - j. Is u composite?
True
Let l(j) = -j**3 - 2*j**2 - 4*j - 2. Let h be l(-2). Suppose 2*w - 23 = -q, 5*w - h*q = -3*q + 74. Is w a composite number?
False
Suppose 0*j = -4*j + 8. Suppose -d = 3*i - 4, -3 = -2*i + j*d + 5. Is (-2)/(356/179 - i) composite?
False
Let n(c) = -c**2 + 4*c + 7. Let t be n(5). Suppose 5 = -t*j - 3. Let l = j - -57. Is l composite?
False
Let n be (-1)/(-4) + (-4459)/28. Let l = 248 + n. Is l prime?
True
Let m be -3*(10/(-3) + 2). Suppose -5*h = -m*h + 1. Is (111/(-12))/(h/4) prime?
True
Let u(j) be the third derivative of j**5/60 - j**4/12 - j**3/6 + 2*j**2. Let v be u(-1). Suppose -3*z = -v*z - 13. Is z a composite number?
False
Let n be -1*(0 + 1 + -1). Let j(c) = 128*c**3 + 6*c + n*c + 0*c - 7*c. Is j(1) a composite number?
False
Let t be 63/((-1 + -2)/(-3)). Suppose 2*u - 2 - 4 = 0. Suppose 0*p = u*p - t. Is p a composite number?
True
Let y = -5 + 44. Is (y/(-12))/(2/(-88)) composite?
True
Suppose -c = -3*y, -c - y - 3*y - 7 = 0. Let q be 150/c + (1 - -2). Let h = q + 238. Is h a composite number?
False
Let z(n) = -9*n + 4. Suppose -4*s - 8 = 4. Is z(s) composite?
False
Is (-1292)/(-8) - (-1)/(-2) prime?
False
Let t = 28 + -682. Let s = 960 + t. Is 4/10 - s/(-10) composite?
False
Suppose 2*q = 3*w - 4*w - 20, 0 = 5*q - 3*w + 28. Let p = -4 - q. Suppose -p*t + 67 = 7. Is t a composite number?
True
Suppose -2*k = -k - 2. Suppose 6 = 3*j - k*j. Is j a composite number?
True
Let f(a) = a**2 + 5*a - 15. Let n(x) = -2*x**2 - 11*x + 29. Let u(j) = 9*f(j) + 4*n(j). Is u(14) a composite number?
False
Suppose -2*g = -g + 5*l - 11, -4*g - 32 = l. Let o = 67 + g. Is o a composite number?
True
Let y = 14 + -5. Let b = y + -4. Suppose 5*