 number?
False
Let z be 361/95 + 2/10. Let a(d) = 144*d + 5. Is a(z) a composite number?
True
Suppose -493*x = -502*x + 66969. Is x prime?
False
Let m = 23 - 19. Suppose -3*o + 4*b = 6*b - 557, -4*o + m*b = -756. Is o prime?
False
Let f be 17862/(-91) - (-2)/7. Let z = -47 - f. Is z a prime number?
True
Let n(m) = -2*m - 38. Let k be n(-21). Suppose -k*o - 404 = -s - 4862, -3*s - 1109 = -o. Is o a prime number?
False
Let c(s) = -41*s**2 + 37*s**2 + 4 + 22*s + 22. Let n be c(18). Is (2 - n) + 5 + -4 a composite number?
False
Let q be (-3 + -7)/(-1)*(-495)/(-2). Suppose 4*w - 1169 = q. Is w a prime number?
True
Suppose -36 = -0*i + 4*i. Let v = i + -1. Let q = v + 13. Is q prime?
True
Let m(q) = -3*q**3 - 3*q**2 - 6*q + 6. Let x be m(3). Let y be (x/75)/(2/10). Is (1337/(-28))/(2/y) a composite number?
False
Suppose 7*f + 5*d = 11*f - 43, 10 = f - 2*d. Suppose f*r = 3902 + 2278. Is r composite?
True
Is 12/(-102) + 3/((-102)/(-493514)) composite?
True
Suppose x + 31*p - 4 = 27*p, -3*x + 12 = -4*p. Suppose -3*r = 3*t - 597, 2*r + 2*r + 625 = 3*t. Suppose 3*f + 2*z = t, -x*f - z + 0*z + 269 = 0. Is f prime?
True
Let o = -1742 - -5857. Is o a composite number?
True
Let t = 1 - 23. Let m be 38/(-3)*(2 - t). Let h = -170 - m. Is h a prime number?
False
Let x = -72 - -73. Is (-10)/20*(x + -4407) prime?
True
Let c be 15/(-10)*(-124)/3. Let j = 189 - c. Is j composite?
False
Let m be -3 - 7/(7/(-4)). Suppose i - 9 = q, 2*i + 5*q - m = -18. Suppose -8 = 4*o, 5*o + 489 = i*v - 3*v. Is v a composite number?
False
Is ((-16)/(-12))/((-5)/15) + 13803 composite?
False
Let s(b) = -140*b - 4. Let p be s(3). Let d = p - -738. Is d a composite number?
True
Let k = -160 - -301. Suppose k = z - 328. Is z prime?
False
Let x = 41 + -23. Suppose 2*o = 2*m + 11 + 1, 3*o = 2*m + x. Is o a prime number?
False
Let s(a) = -a - 1. Let w be s(5). Let n be (-2)/1 + w + 0. Let m(b) = -b**3 - 5*b**2 - b - 9. Is m(n) a composite number?
False
Suppose 0 = -2*y - 2*u + 6, -2*y - u + 4*u = -6. Suppose -2*d - 1470 = -3*g + 437, -y*g - d + 1895 = 0. Is g prime?
False
Let n = -11 - -13. Suppose -4 = n*x + 6, -3*x = -2*f + 331. Let h = 307 - f. Is h a prime number?
True
Let a = 13 - 11. Suppose -3*i + 430 = 2*k, -4*k - a*i + 838 = -7*i. Suppose 0 = 2*y - 2*n - k, 3*n + 71 = 2*y - 144. Is y a prime number?
True
Suppose 5*p - 3*o - 58 = 0, 0*o - o + 4 = 0. Suppose 0 = -4*m + h + 145, m - 21 = -5*h + 31. Let q = m + p. Is q a prime number?
False
Let z(k) = k**2 + 6*k - 5. Let r be z(-8). Let d = r - 18. Let l(y) = -52*y + 17. Is l(d) a prime number?
False
Let m be 8 + (13 + 2)/(-5). Suppose -t + 1316 = -2*i + 61, 6299 = m*t + 2*i. Is t a prime number?
True
Let f(p) = -14*p - 41. Let v be f(-14). Suppose y + 3*d = v, -5*y - d = -3*d - 775. Is y prime?
False
Suppose -2*j = 3*i - 750, 5*i - 4*j = -6*j + 1250. Let v be -29 - ((-6 - -3) + 6 - 3). Let u = v + i. Is u a prime number?
False
Let m(b) = -211*b + 33. Let t be m(33). Let j = t + 12157. Is j a prime number?
True
Suppose 204*k = 200*k + 17228. Is k composite?
True
Let h(d) = d**2 + 11*d + 24. Let o be h(-8). Suppose o = -2*i + 677 + 1049. Is i composite?
False
Let g(h) = -h**3 - 40*h**2 - h - 38. Let r be g(-40). Let w = 1154 - 819. Suppose -3*q + r*q = -w. Is q prime?
False
Let i(q) = 5*q**2 + 8. Let r = 23 - 18. Is i(r) composite?
True
Suppose -5*x + 254 = -4*w - 187, 2*x - 154 = -4*w. Suppose -4*z + x = -135. Is z composite?
True
Let x be 2*(26/10 - 6/10). Suppose 666 = x*d - 506. Is d a prime number?
True
Let s(y) = 969*y - 6. Let h(z) = -z - 1. Let a(n) = 5*h(n) - s(n). Is a(-2) prime?
True
Let u(r) = r**3 + 10*r**2 - 13*r + 14. Let v be u(-10). Let h be 6/(-10) - v/(-15). Let i(y) = -y**3 + 11*y**2 - 6*y + 13. Is i(h) composite?
True
Let t be 3/(-1) - (-75)/25. Suppose -w = -2*p + 6*p - 579, -w - 5*p + 578 = t. Is w prime?
False
Let s be 10/(-55) - (-86850)/(-33). Let q = s - -3905. Is q prime?
False
Suppose 4*s = o - 41, 0 = -o + 4*s - 2*s + 35. Let i = o + 78. Suppose 4*w + i = 367. Is w composite?
True
Let w(p) = p**3 - 6*p**2 - 5*p + 11. Let c be w(7). Suppose 5*l - 3460 = q, -3*q - 2*q = c. Is l composite?
False
Suppose -10*i = -3*i - 35903. Is i composite?
True
Suppose -5*g + 33657 = 4*d, 0*g - 16828 = -2*d - 2*g. Is d a composite number?
True
Let s = 131667 + -74608. Is s prime?
True
Suppose 7*u - 320204 = x, 10*x - 13*x = -5*u + 228724. Is u prime?
False
Let a(t) = -t**3 + 10 - 11*t + t**2 + 12*t**2 - t**2. Suppose 49 = 3*k - 5*b, k = -k - 3*b + 1. Is a(k) a composite number?
True
Suppose -h = -8*h + 76265. Is h a prime number?
False
Let b be (-12)/(-54) - (-34070)/18. Suppose 0 = 9*c - 6*c - b. Is c composite?
False
Let p = -36 + 25. Let k = -7 - p. Suppose 5*s - q - 2422 = 0, -k*s + 979 = -2*s + 3*q. Is s a prime number?
False
Let v(s) = -16*s**2 + 3 - 1 + 2 - 4*s - s**3. Is v(-17) a composite number?
True
Let w(f) = 5*f**2 + 12*f + 29. Is w(8) a prime number?
False
Let a = -5 - 8. Let g = a - -19. Suppose -z - 195 = -v - g, 197 = v + 3*z. Is v prime?
True
Let a(k) = -6*k**3 + 4*k**2 + 5*k + 1. Let s be 4 + (-12)/(-2 + 4). Is a(s) a composite number?
True
Suppose 3*k = -15 + 48. Let z be (-371)/(-77) - (-2)/k. Suppose -4*t + t + 865 = g, 0 = -z*g - 2*t + 4377. Is g composite?
False
Let o(n) = -476*n + 45. Is o(-2) a composite number?
False
Suppose -r - 4 = 84. Let u(a) = a**2 - 3*a - 29. Let o be u(-25). Let b = r + o. Is b a composite number?
True
Let n(o) be the first derivative of 11*o**2/2 + 14. Let r(x) = -x**3 - x - 1. Let q be r(-1). Is n(q) prime?
True
Let j = 10 + -8. Suppose 5 - 4 = 3*h + j*d, 24 = 4*h - 3*d. Suppose i + h*i - 148 = 0. Is i composite?
False
Let t = 32198 + -18057. Is t prime?
False
Suppose -3 = 6*u - 15. Suppose -5*p - 4375 = 3665. Is (p/(-16))/(u/4) a composite number?
True
Suppose 102045 = 5*n - 5*s, 0 = -4*n + 5*n + 3*s - 20409. Is n composite?
True
Is 16/120 - (-146)/30 - -668 a composite number?
False
Suppose b - 147 = -4*m + 75, -5*m = 5*b - 1035. Suppose -4*d + 18 + b = 0. Is d prime?
False
Let v = -24 + 21. Is (-1)/v - (-1652)/21 prime?
True
Let g = 9 + -7. Suppose 0*n + r - 59 = -5*n, -r = g*n - 26. Suppose -p + n = -4. Is p prime?
False
Let y(u) = -4*u**2 - u + 4. Let n be y(3). Let s = -24 - n. Suppose -1126 + s = -5*g. Is g a composite number?
False
Suppose -3*h = -0*t - 3*t + 32931, 4*h = -4*t + 43908. Is t a prime number?
False
Let v(k) = -k + 1. Let f be v(1). Suppose f = 4*w - 4*t - 20, w + 0*t + 10 = -2*t. Suppose w = -4*s + 129 + 315. Is s prime?
False
Suppose -2*w - 3*o = 0, 0 = 5*w - 3*o + o + 19. Is (w/(-6))/(2*(-3)/(-996)) prime?
True
Let g = -916 - -2313. Is g a prime number?
False
Suppose -f = 3*y + 30 - 9, -5*f = -5*y + 25. Is (9/6)/(f/(-870)) composite?
True
Let z = -74217 - -104440. Is z composite?
False
Is -20*3/(-5) - -17825 composite?
False
Let c = -3456 - -13589. Is c a composite number?
False
Suppose 4*v + 2*v + 42 = 0. Is 1 - -714 - (9 + v) composite?
True
Let s(n) = -2*n**3 - 21*n**2 - 9*n + 14. Let c be s(-10). Let o = -3719 - -6443. Suppose -c*b + o = -904. Is b a prime number?
True
Suppose 0 = 16*g - 136180 - 759612. Is g composite?
False
Let p = 21 + -19. Suppose 4*q - 17 = 3*i, p*i = -2*q - 1 - 1. Let k = i + 260. Is k composite?
False
Suppose 195944 = -347*c + 355*c. Is c a composite number?
True
Suppose 2 = 2*g, 6*j - 2*g + 4110 = 10*j. Suppose 1 = -4*q + 9. Is j + (q + -2)/(-1) composite?
True
Let x(f) = 165*f**2 + 121*f - 9. Is x(7) a composite number?
False
Is (-1)/(3/(-160411)) - 4/(-6) a prime number?
False
Suppose 0 = -2*i + 7 + 1. Is i/22 + (-20910)/(-66) a prime number?
True
Suppose 16*f - 12*f - 12988 = 0. Suppose -f - 1288 = -n. Is n composite?
True
Suppose -43*k - 305339 = -1269958. Is k a composite number?
False
Suppose 0*q + 3*q + 189 = 0. Let y = 199 + q. Let g = y - 23. Is g prime?
True
Suppose -4*g - 70 - 1286 = 0. Let v = 40 - g. Is v prime?
True
Let l be (-3276)/10 - -4*3/20. Let d = 470 + l. Is d a prime number?
False
Let l = 11 + -6. Suppose -l = 5*f - 0. Let g(u) = -58*u. Is g(f) prime?
False
Is ((-2663170)/1150)/(2/(-10)) a prime number?
True
Suppose 1 = j + 5. Suppose 2*p - 4 = -74. Is j/14 + (-20555)/p a prime number?
True
Suppose -9*k = 213 - 1176. Let l(y) = -19*y + 3. Let r be l(3). Let g = r + k. Is g a prime number?
True
