rue
Let o be 244 + 0 + 0/(-1). Let y be -1 - (-5630)/(-35) - 1/7. Let z = y + o. Is z a prime number?
False
Let d = 0 - -2. Let a(h) = 8*h**2 - 4*h + 2. Is a(d) a prime number?
False
Suppose 0*l = 4*j + l - 475, -3*l = -4*j + 479. Is j a prime number?
False
Let w = -4 - -4. Suppose w = 4*o + z + 22 - 6, 0 = 3*o + z + 12. Let f = 6 + o. Is f a prime number?
True
Suppose -2984 = -3*b - 5*b. Is b prime?
True
Suppose 2*g = 6*g - 532. Suppose 2*f - g = -23. Is f a prime number?
False
Suppose 3*j - 2 = 13. Let h be (-4761)/(-45) - (-1)/j. Let z = h - 63. Is z a composite number?
False
Let u(m) = m**3 - 2*m**2 - 2*m - 3. Let f be u(3). Suppose -l + h + 473 = 3*l, f = -l + h + 116. Is l a prime number?
False
Let n(q) be the third derivative of -5*q**4/12 - q**3/2 - 5*q**2. Is n(-8) a composite number?
True
Is ((-2)/(-2) + 0)*(-9 - -308) a prime number?
False
Suppose h + p = 9, -4*h = -5*p + 9 - 0. Let l be (h/8)/(2/8). Suppose -l*b = -33 + 13. Is b prime?
False
Suppose -3*n + 0*n - 20 = -t, 89 = 4*t - 3*n. Is t composite?
False
Suppose 2*v + 10 = -42. Let g = 10 - -39. Let i = g + v. Is i composite?
False
Let d be 92/16 + 2/8. Let a = 3 - d. Is (-1)/a + (-1088)/(-12) a prime number?
False
Let d(g) be the second derivative of 3*g**4/4 - g**3/3 + 5*g. Is d(-3) prime?
False
Suppose 0*t + 9 = -5*w + t, 0 = 2*w - 4*t. Let h(a) = -12*a**3 + 4*a**2 + 4*a + 2. Is h(w) a composite number?
True
Let f(i) = 37*i**3 - i**2 - i + 1. Let p be f(1). Suppose 0*z + 2*z + 37 = 5*t, 0 = -5*t + z + p. Is t prime?
True
Let s(w) = w**3 + 4*w**2 + 3. Let m be s(-4). Suppose -16 = -m*t + t. Suppose 5*g - 23 + t = 0. Is g a composite number?
False
Suppose a + 6 = 2. Let j be a/(-14) + 172/(-14). Let n = -5 - j. Is n a composite number?
False
Let x(l) = -2*l**2 - 3*l + 2. Let b be x(-3). Let v(f) = -3*f**2 - 45*f - 28. Let p(q) = -2*q**2 - 30*q - 19. Let o(k) = b*p(k) + 5*v(k). Is o(-7) prime?
False
Suppose -4*n + 5 - 3 = -3*w, -n - 9 = 4*w. Is (w - -5)*(-22)/(-2) a prime number?
False
Let c be 2*-1 + (-4)/(-2). Let u = -47 - -78. Suppose -t = -c*t - u. Is t a composite number?
False
Suppose p + 2*p - 130 = c, 0 = 3*p + 4*c - 155. Let v = p + 10. Is v a prime number?
False
Let u be -3 - -10 - (-1 - -4). Suppose k = -u*k + 3*b + 200, 3*k - 116 = b. Is k composite?
False
Let z(i) = -i + 1. Let b be z(-3). Let r be 15/5 - (2 - 0). Is r/b + (-187)/(-4) composite?
False
Let o be 1 + 3 - (2 - 2). Let j = 57 - 33. Suppose d - 3*d = -a - j, 0 = d + o*a - 3. Is d composite?
False
Let i = 163 - 14. Is i a prime number?
True
Let y be (2 - (-2)/(-1))/1. Suppose y = 3*p + 2*p + w - 125, 4*w = 2*p - 50. Suppose 3*g = p + 38. Is g a composite number?
True
Suppose -14*g = -13*g - 219. Is g a composite number?
True
Let j be (-2)/8 + 18/8. Suppose -q + 67 + j = 0. Is q composite?
True
Suppose -4*j + 532 = 48. Is j prime?
False
Let i = -1403 + 2814. Is i prime?
False
Let x(z) = -6*z**3 + 7*z**2 + 4*z - 1. Let d = -21 + 17. Is x(d) prime?
True
Suppose 138 + 27 = 5*o. Let u = o + 4. Is u prime?
True
Suppose -4*r - 18 = -6*c + 3*c, 0 = 2*r + 3*c. Let j(x) = -23*x**2 + 5*x + 6. Let h(f) = 34*f**2 - 8*f - 9. Let n(a) = -5*h(a) - 8*j(a). Is n(r) a prime number?
False
Let a be 0 + 6 + -1 - -1. Let c = a - 4. Let p(z) = 17*z - 3. Is p(c) prime?
True
Let m(l) = -2*l**3 - l**2 + 4*l - 3. Is m(-4) prime?
False
Let q(c) = 12*c + 2. Let h be q(2). Let f be (-1)/6 - h/(-12). Let w = f + 1. Is w a composite number?
False
Let a(k) = 38*k**2 - 3. Is a(2) composite?
False
Suppose -2*f - 8 = -36. Is 71/2 - 7/f composite?
True
Suppose 2*m - 4206 + 512 = 0. Is m prime?
True
Suppose 4*o - 3*q = 6*o - 17, 3 = 3*o - 3*q. Suppose 5*y + 347 = 3*n, -2*n = 2*n + o*y - 484. Is n a prime number?
False
Let t(k) = 3*k**2 + k + 2. Suppose 8*w - 3*w = -10. Let y be t(w). Suppose s + s = y. Is s a prime number?
False
Suppose 19 = -l + 5*m, 8 = -5*l - 5*m + 3. Let o = -1 - l. Suppose y - 52 = -o*y. Is y a prime number?
True
Let x(p) = -p**2 + 42. Let d be x(0). Let y = -29 + d. Suppose 2 = -3*b - y, 0 = -5*j - 4*b + 165. Is j prime?
True
Let k(w) be the second derivative of -19*w**6/720 + w**5/40 - w**4/4 + 4*w. Let a(m) be the third derivative of k(m). Is a(-4) a composite number?
False
Let o(t) = t**3 - 6*t**2 + 4*t - 7. Let a be o(5). Let x be (-4)/6 + 4/a. Is (0 - 118/2)/x composite?
False
Suppose -5*x + 20 = 0, 4*x - 5 = -v + 13. Let j = v - 0. Suppose -5*h + 57 = j*y, 4*h + y = 4*y + 41. Is h a composite number?
False
Suppose -3*z = 3*s + 21, 7*s - 2*s - 5*z + 45 = 0. Let r be (6/s)/((-2)/(-8)). Is r/(-6) + (-387)/(-6) a prime number?
False
Let p(x) = x - 4. Suppose -5*k - r + 22 = 0, -r + 17 - 3 = 3*k. Let s be p(k). Suppose 0 = -3*c - 5*z + 143, 0*c + 4*c - z - 183 = s. Is c a prime number?
False
Let t(y) = y - 7. Let q be t(7). Let j(z) be the first derivative of z**3/3 + z**2/2 + 47*z + 2. Is j(q) prime?
True
Let v be -4 + (1 - 0) - -97. Suppose -6*k = -k. Suppose k = -3*d + 2*d + v. Is d a prime number?
False
Suppose 3*b - 529 = 1082. Is b prime?
False
Let f be 4*((-10)/4 - -3). Is -5 + 2 + f + 60 prime?
True
Let a = 2413 - 1602. Is a a composite number?
False
Let n = -8 - -9. Suppose 2*q + n = 39. Is q a composite number?
False
Suppose 0 + 10 = -2*u. Is (21/35)/((-1)/u) prime?
True
Let k(m) = -12*m - 7. Suppose -3*v + 8 = a, 8*v - 36 = 4*v + 5*a. Let w be ((-10)/v)/(2/4). Is k(w) composite?
False
Suppose -b = -3*c - 5*b - 7, -4*b = -4*c + 28. Suppose 10*m - 5*m + 259 = 4*k, 0 = k - c*m - 70. Let j = -24 + k. Is j composite?
False
Suppose -3*j - 2 = 5*f - 0*f, -4*j - 5*f - 1 = 0. Suppose -m = 5*c - 3, -3*m - j = -c - 42. Is m a prime number?
True
Let x = -53 - -116. Suppose -x = -2*t - t. Is t a prime number?
False
Suppose h = 4*x - h - 320, 4*x - 332 = -h. Is x a composite number?
True
Let p(t) = -t**3 + 2*t**2 + 3*t - 1. Is p(-4) prime?
True
Let u be 6296/26 + (-18)/117. Suppose 2*s + 373 = -0*a + 3*a, 2*a - 3*s = u. Is a composite?
False
Let y be (-78)/(-8) - (-6)/24. Is ((-4)/y)/(6/(-4755)) a composite number?
False
Suppose -3*c = -2*c + 2, 3*x - c - 509 = 0. Suppose x + 1126 = 5*q. Is q a composite number?
True
Let k(v) = -v**2 + 9*v - 7. Let y be k(8). Is ((-1)/(-2))/(y/4) a prime number?
True
Suppose -42 = -c + 3*b + 76, -2*c + 3*b = -230. Let o(l) = -l + 3. Let w be o(-2). Suppose -2*n - 3*a = -c, -w*n - 4*a + 204 + 69 = 0. Is n a composite number?
False
Suppose 2*n - 4*q = 447 + 55, -5*q = -5*n + 1270. Is n a prime number?
True
Let v = -184 + 323. Is v composite?
False
Let o(l) be the first derivative of -9*l**2 - 5*l + 1. Suppose t - 3*y + 14 = 0, -t - 4*y = -3*t - 22. Is o(t) a composite number?
True
Suppose -128 = -4*t + 20. Is t a composite number?
False
Suppose -3*s - 92 = 5*h, -7*h = -3*h - s + 77. Let k(n) = -n**3 + 6*n**2 + 7*n - 8. Let c be k(7). Let u = c - h. Is u composite?
False
Let s(a) = -6*a - 19. Is s(-22) a composite number?
False
Suppose -579 = 3*h - 0*h. Let y = 579 + h. Let l = -175 + y. Is l a prime number?
True
Let g(y) = 3*y**2 - y + 2. Let a be g(-2). Suppose 8 = -2*w, -t + 4*w = 4*t - a. Suppose -5*b + 2*o + 755 = t, 6*b - 3*b - 427 = -4*o. Is b a prime number?
True
Suppose -15*n + 172 = -11*n. Is n a composite number?
False
Suppose -c - 3*b - 313 = -1208, -4*c - b = -3624. Is c composite?
False
Suppose 1895 = 13*r - 8*r. Is r prime?
True
Let r = 11905 - 2778. Is r composite?
False
Let r be (-2)/(-1*2/220). Let k be 6/(-4)*172/2. Let p = k + r. Is p prime?
False
Let z = 457 - 298. Is z prime?
False
Suppose 0 = 2*d - 0*d - 10. Suppose 2*u - d*u = -81. Let b = -8 + u. Is b prime?
True
Is ((-2053)/(-5))/((-3)/(-15)) a composite number?
False
Let s(i) = 36*i**2 - 6*i - 1. Let v(x) = -35*x**2 + 5*x + 1. Let z(m) = -3*s(m) - 4*v(m). Let d be z(-1). Let f = d + -20. Is f prime?
True
Let z be (-10)/3 - 6/9. Let r = -3 - z. Suppose -j + 45 = 3*t, -r - 8 = -3*j. Is t a composite number?
True
Suppose 3*w + 40 = 322. Is w a composite number?
True
Let o(j) = -3*j**2 + 3*j + 5. Let a(r) = -7*r**2 + 6*r + 11. Let w(n) = 2*a(n) - 5*o(n). Is w(11) a composite number?
True
Suppose j - 8 = -3*j. Let d be -31*(1 - 0)*-1. Suppose 0 = -o - 2*q + d, 16 = 2*q + j*q. Is o a prime number?
True
Is 1463/5 + 4/10 a prime number?
True
Suppose 5*z = -2*t + 357, 300 = 2*z + 2*z - 2*t. Suppose 4*w = 305 - z. Is w 