?
True
Let g = 107 - 261. Let i = 224 - g. Let h = i + -265. Is h a prime number?
True
Suppose 3*o = 7*o + 40. Suppose 8 - 6 = k. Is 3*(o*k)/(-4) prime?
False
Suppose 5*l = -10*l - 90. Is -2 - (-3)/(l/(-794)) prime?
False
Suppose 2*m - 1038 = 502. Suppose 20*u = 18*u + m. Suppose -3*z + z + u = 3*j, 4*j + 3*z - 514 = 0. Is j prime?
True
Let i(v) = 96*v**2 + 26*v - 49. Is i(16) composite?
False
Let l(q) = q**3 + 102. Let p be l(0). Suppose -5*r - 4*o = 18, 0 = -2*r - 2*o - o - 10. Is r/(-12)*3*p composite?
True
Suppose 4*y + 103738 = 2*g, 4*g - 6*y - 207421 = -9*y. Is g a composite number?
False
Let k be 5 - 8/((-8)/(-5)). Let p = 7 + -5. Suppose -5*a + 1259 = 4*s, p*a + k*s = 3*s + 499. Is a composite?
False
Suppose 0 = 9*l - 16*l + 21. Is -1979*l*6/(-18) a composite number?
False
Suppose -10 - 2 = 2*s. Let b be (s/(-9))/((-1)/9). Let c(v) = -21*v - 7. Is c(b) a prime number?
False
Let y(v) = 14*v**2 - 31*v - 4. Is y(-21) a prime number?
False
Let l(b) = 547*b + 18. Is l(7) a prime number?
True
Suppose -4*g + 3*g + 2408 = 0. Let k = -1149 + g. Is k composite?
False
Let g(q) = q**2 + 6*q + 1. Let a be (-1)/7 + 205/(-35). Let l be g(a). Let r(k) = 48*k - 2. Is r(l) prime?
False
Let c(n) = 2*n**2 + 8*n - 5. Let z be c(1). Let p(t) be the first derivative of t**4/4 - 2*t**3 + 7*t**2 - 12*t - 1. Is p(z) a composite number?
True
Let w = -3876 + 18167. Is w a prime number?
False
Let y be 9336/27 - ((-4)/18 + 0). Suppose -4544 - y = -6*t. Is t a composite number?
True
Let m be -1*1*(3 - 2). Let x be (-1*83 - 2)*6974/55. Is x/(-51) + m/3 a prime number?
True
Is -2 + (-2008)/(-3) + 1/(-3) a composite number?
True
Suppose -21*g + 11*g - 5720 = 0. Let w = g + 925. Is w a composite number?
False
Let s(v) be the first derivative of 253*v**2/2 + 14*v - 32. Is s(9) a prime number?
False
Let n(s) = -415*s**3 - 3*s**2 + 2*s. Let a be n(1). Let q = 593 - a. Is q composite?
False
Is (31 - 37)*5666/(-4) a prime number?
False
Suppose -18070 + 2055 = -2*r - x, 2*r - x = 16021. Is r a prime number?
True
Let n = 11 - 8. Let p be 1*(-4)/(-4) - n. Is 266/(p/4*-4) prime?
False
Suppose 41*i = -10419 + 57610. Is i composite?
False
Suppose 7*h = 6*h + 3. Suppose t + 446 = h*t. Is t prime?
True
Suppose 2*o - 882 = -5*z + z, 5*z - 4*o - 1135 = 0. Is z prime?
True
Let h = -2703 + 5028. Suppose 5*g - 727 = -2*f, -h = -5*f - 3*g - 479. Is f a prime number?
False
Let z be 232 - (-2 - (-3 - 3)). Suppose 4*w = -2*s + 88, -2*w = 2*s + 3*s - z. Is s a prime number?
False
Suppose -3*q + h = -3940, -4*q - 2*h + 5252 = -3*h. Suppose -i + q = -741. Is i a composite number?
False
Let z(p) = p + 10. Let t be z(-10). Let b be (0 - t) + 3*58. Let r = b - 123. Is r a composite number?
True
Suppose -5*v = -15, 0 = 5*l - 4*v + 5*v - 23. Is (-16)/8*(-106)/l composite?
False
Let n = 12 - 12. Let g = n - -3. Suppose g*w + 2*w = 275. Is w composite?
True
Suppose -s - 103044 = -5*x, 7*s = 4*x + 4*s - 82433. Is x a composite number?
True
Suppose 363*o - 375*o + 2028 = 0. Is o a prime number?
False
Let w be 40/25*(-30)/12. Let f(t) = -216*t + 31. Is f(w) a composite number?
True
Let y(m) = -m**3 + 2*m**2 + 4*m - 3. Let i be y(3). Suppose -s - 4*s + 45 = i. Is -3*(1 - 2382/s) composite?
True
Suppose 2*r - 21612 = -10*r. Is r prime?
True
Let g = -518 + 248. Let q = -139 - g. Is q a composite number?
False
Is 3 - -6*(2602/3 + 0) composite?
True
Suppose -8 = 2*k + 2*k. Let w(x) = 14*x**2 + 3*x - 3. Is w(k) a prime number?
True
Suppose 0 = -3*z - v + 6*v + 4428, 4*z = 3*v + 5893. Is z composite?
False
Suppose -10 = j - 26. Suppose -j*y + 19*y = 249. Is y a composite number?
False
Let w(u) = u**3 + 11*u**2 - 14*u - 16. Let k be w(-12). Let y be 14/(-16) + k/(-64). Let q(m) = 19*m**2 + m + 1. Is q(y) a prime number?
True
Let i(s) = 232*s**2 - 23*s - 27. Let k(q) = -58*q**2 + 6*q + 7. Let n be -2*((-5)/5 - -2). Let g(w) = n*i(w) - 9*k(w). Is g(-5) composite?
False
Let s(u) = 501*u**2 - 4*u - 2. Let k be s(3). Suppose -7*z = -2*z - k. Is z a composite number?
True
Let q be (-1896)/2*(-2)/4. Suppose j - t = -2*t + q, 4*t = 2*j - 978. Is j composite?
False
Suppose 4*x - 20820 = -4*l, 5*x = -4*l + 3*l + 5189. Is l a composite number?
False
Suppose 0 = -25*r + 17*r + 137272. Is r a composite number?
False
Let i = 0 + 419. Is i composite?
False
Suppose -120 = -4*v - 0*v + 3*h, -2*v - h = -50. Is 788/3 + 9/v prime?
True
Suppose 6*b = 21829 + 269. Suppose 0 = -7*q + b - 232. Is q prime?
False
Let v(p) = -p**2 + 10*p - 20. Let m be v(4). Let y(o) = -o**2 + 335. Let w be y(0). Suppose -u = m*u - w. Is u a composite number?
False
Let z(o) = -2*o**2 + 7*o + 24. Let h be z(6). Let c(v) = 4*v**2 - 9*v - 20. Is c(h) prime?
False
Is 7/4 - (-193960)/160 prime?
False
Is (-1)/((-123879)/(-61943) + -2) composite?
False
Suppose 19*d - 5*d = 61894. Suppose 3*s = -0*w + 2*w + d, 5*w - 2979 = -2*s. Is s a prime number?
False
Let v be -7*(-3 - 1)/(-4). Let r be (-1699)/v - (-4)/14. Suppose 3*l = c + r, 5*l = 2*c + 134 + 270. Is l a prime number?
False
Suppose 0 = -25*v + 8*v + 842503. Is v a composite number?
False
Let j(g) = -g - 5. Suppose 3 = 2*o - 3, 12 = -4*u - 4*o. Let b be j(u). Is 13*((-1)/(-1))/b prime?
True
Let f(j) = -5190*j**3 + 4*j**2 + 7*j + 4. Is f(-1) composite?
True
Let b(u) = -2*u**3 - u**2 - u. Let c be b(-1). Let s = 2 - c. Suppose s = -o + 20 + 17. Is o a composite number?
False
Let q(f) = 18*f**2 - 25*f - 176. Is q(-21) prime?
True
Let i be ((-4)/(-3))/((-4)/18*-3). Suppose 3*a - 23 = i*x, -3*a = -5*x + x - 25. Is a prime?
True
Let k be (3/9)/(2/12). Let p = 11 - 8. Suppose -k*x - 4*t + 722 = 0, 4*x = 6*t - p*t + 1499. Is x a composite number?
True
Let d = 11308 + -7447. Let g = d + -2542. Is g a composite number?
False
Let t = -18 - -21. Suppose -190 = 4*r - 5*x, -r + t*x - 32 = 19. Is (-1585)/r - 2/9 composite?
True
Let t(m) = -m**3 + 11. Let h be t(0). Suppose -h = 4*o - 2*x - 3, 2*o - 8 = -2*x. Suppose -8*n + 2*n + 1818 = o. Is n prime?
False
Let d = 22 + -40. Let r = -18 - d. Suppose 0 = -r*f - f + 451. Is f a prime number?
False
Let r = 13 - 8. Let u(k) be the second derivative of -k**5/20 + 7*k**4/12 + 5*k**3/6 + k**2 - 8*k. Is u(r) a prime number?
False
Suppose 3*d = 2*l - 13, -l + 17 = 3*l + 3*d. Suppose 177 = l*f + 122. Is f a composite number?
False
Suppose -5*o = -4*o + 14. Let w(u) = u**3 + 14*u**2 - 10*u - 27. Is w(o) composite?
False
Let y(s) = -64*s + 180*s + 121*s. Is y(1) a prime number?
False
Suppose -2*t + k - 10 = 2, 0 = 3*k + 6. Let z(y) = 23*y**2 + 4*y + 16. Is z(t) prime?
False
Let b(t) = 3*t - 41. Let j be b(15). Is -2 + j + -3 + 700/5 a prime number?
True
Suppose 18 = 4*x - 5*u - 10, 0 = 2*x + u. Suppose -k = -5*n - 14, 0 = x*k - 2*n + 5*n - 80. Is k a composite number?
True
Let v(c) = 6*c**3 + 7*c**2 - 7*c + 6. Let f be v(4). Suppose -411 = -5*w + f. Is w composite?
True
Let w(d) = -d**2 - 11*d - 11. Let b be w(-10). Let y(z) = -114*z**3 - 1. Is y(b) a prime number?
True
Let c be 1 + 5 + -2 + -33. Let n = 240 + c. Is n composite?
False
Let o = 48645 + -31354. Is o a prime number?
True
Suppose 5*f + 4*o + 72173 - 3898 = 0, -4*o = -20. Is ((-2)/(-3) - 0)*f/(-58) a composite number?
False
Let d(m) = m + 2. Let n be d(0). Let a be -2*n - 770/7. Let l = 49 - a. Is l prime?
True
Let x = 146069 + -40218. Is x prime?
False
Is -10267*(-2 - (-5)/5)*1 a composite number?
False
Let k(m) = -3804*m**3 - 2*m**2 + m + 2. Let c be k(-1). Let x = -2436 + c. Is x prime?
True
Suppose -k = 2*k - 41235. Is k prime?
False
Let g = 1440 - -18613. Is g a prime number?
False
Suppose 3*c + 10 + 34 = -5*b, -4*b = 3*c + 40. Let k(z) be the first derivative of -5*z**2/2 + 9*z + 30. Is k(c) prime?
False
Let x be (-3)/(-6) + (-36015)/(-10). Let y = x - 2067. Is y a composite number?
True
Suppose -61*k = -57*k - 2456. Is k a composite number?
True
Suppose 6*i - i - 584 = -v, 0 = 3*i - 4*v - 332. Suppose -i = -2*y + 414. Suppose -2*w = -3*w + y. Is w prime?
False
Suppose -5*b = 2*c - 115491, 69303 = 3*b + 9*c - 12*c. Is b composite?
False
Suppose 0 = 5*x - 2*x. Suppose x = -h - 3*a + 229, 5*h - 3*a + 7*a - 1123 = 0. Is h prime?
True
Let j(b) = -50*b + 2. Suppose -p = 2*p + 2*y - 8, 18 = 3*p - 3*y. Suppose -m + 3*u = 21, -5*u = -p*m - m - 55. Is j(m) composite?
True
Suppose 85*z - 4*p - 9495 = 84*z, -3*z = -2*p - 28