ose x*q - 1472 = 1483. Is q a prime number?
False
Suppose 15*l - 58035 - 328440 = 0. Is l a composite number?
True
Let o = -5 - -10. Suppose -v + l = -l + 8, 0 = -o*v - 2*l + 8. Suppose 2*x + 0*x - 72 = -3*b, v = -b - x + 25. Is b prime?
False
Let u = 33 - 28. Suppose 2*q + r = -384, -u*q - 2*r = 419 + 543. Is q/(3 + -9 + 4) a composite number?
False
Let q = 4601 + -334. Is q a prime number?
False
Suppose 3*l - 6 = 4*s + l, 4*l - 17 = 3*s. Is ((9/s)/(-3))/(3/(-1361)) a composite number?
False
Let p be 4/2 - (-31 - -7). Suppose -g - 7*n + p = -2*n, 0 = 5*g - n - 26. Is (-40)/12*(-171)/g a composite number?
True
Suppose -2*z - 4*v + 4 = -v, -v - 4 = 0. Suppose -r = -z*r + 4585. Is r a composite number?
True
Let w(g) = -9890*g - 21. Is w(-2) a composite number?
False
Let v(l) = 2*l**2 + 27*l - 520. Is v(38) a composite number?
True
Suppose 2*a - 6 = 3*s, 0*s - s = -4. Suppose -3*z - 3 = a. Is (2/z)/(2/(-1004)) prime?
True
Let u(i) = 115*i**2 - 10*i - 118. Is u(25) composite?
True
Let n be (-11)/(-7) + (-3)/(-7). Suppose -n*t + 70 = 3*t. Is (-4)/t + 3116/28 prime?
False
Let j(v) = v + 2. Let s be j(-2). Suppose -3*b = -s*b - 2472. Let k = b - 493. Is k a prime number?
True
Let q(n) = -n**2 - 5*n - 2. Let u be q(-3). Let g(p) = 13*p**2 - 5*p - 3. Let d be g(u). Let y = 150 + d. Is y a composite number?
True
Let h be (6/7)/(3/42). Let v be h/(-66) + (-35)/(-11). Suppose -3*z = -5*k + 706, 0*k - 3*k - v*z = -438. Is k prime?
False
Suppose 5942*i - 5948*i = -252276. Is i a prime number?
False
Let j be 6/(-4)*-4 + 0. Let i be 12*(j/3)/6. Suppose -4*u + i*d = -872, -d - 1 + 0 = 0. Is u a composite number?
True
Suppose 2*b - 15 + 9 = 0. Suppose 7*x - 300 = b*x - 4*u, u + 4 = 0. Is x prime?
True
Let p = 136 - 131. Suppose b + 2*b = -3*q + 2301, p*b = 2*q + 3849. Is b composite?
False
Let g = -1407 + 2111. Suppose 2*n = -8, 2*n = -4*p - 0*n + g. Suppose 4*v - 58 = p. Is v a prime number?
True
Suppose 4*h + 14 = -2. Let f(p) = 41*p**2 + 6*p + 1. Let u be f(h). Suppose 4*t = t + u. Is t a composite number?
False
Let h(q) = -2*q**3 + q**2 + 3*q + 1847. Is h(0) a prime number?
True
Let c(t) = 279*t + 3. Let g be c(3). Suppose 4*z - 5*k + 3*k = g, -5*k + 221 = z. Is z a prime number?
True
Suppose 3 = -3*d + 9. Suppose d = 3*y + 26. Is (12/y - -2)*452 composite?
True
Suppose 5*l - 10 = -3*c + 7*c, c + 2 = l. Suppose c = 4*t - 5*t. Let f(z) = 2*z + 307. Is f(t) a prime number?
True
Suppose -a + 43 = -z - 84, -5*z = 10. Suppose -5*i = 4*b - 1003, -2*i + 2*b + 537 = a. Is i a prime number?
False
Suppose 0*y + 4*y + 3*j + 1787 = 0, 3*j = 3*y + 1314. Let k be (2 - -4)*(-2230)/15. Let d = y - k. Is d a composite number?
False
Suppose -5*f + u + 17 = 0, -f - 15 = -4*f - u. Is 2/f*2 - -1456 a prime number?
False
Let f be ((-270305)/20)/7*-4. Suppose -2*n = 3*h - f, -2*h = -2*n - n + 11591. Is n composite?
False
Is (-7 + 10220 - (-1 + -1)) + -4 a prime number?
True
Is 942/157 + 46454/2 prime?
False
Let l(w) = w**3 - 5*w**2 + 6*w - 5. Let u be l(4). Let g(m) = 59*m**2 + 5*m + 7. Is g(u) prime?
False
Let a(x) = -7*x**2 + 22*x - 18. Let k(t) = 13*t**2 - 45*t + 37. Let b(r) = -13*a(r) - 6*k(r). Let u be b(10). Let m = u - 607. Is m a composite number?
True
Suppose 15627 = 78*v - 75*v. Is v composite?
False
Is 5/(-6) + (-212381)/(-186) a prime number?
False
Let t(l) = -5*l + 4. Let c be t(2). Is (-17)/51 - 2456/c prime?
True
Let r(n) = -112*n**3 - 4*n**2 - 5*n. Let b be r(-2). Let v = b - 213. Is v composite?
False
Let d(s) = s**3 + 10*s**2 - 4*s - 35. Let l be d(-10). Suppose n - 6*c - 52 = -3*c, -l = c. Is n a composite number?
False
Let b(k) be the second derivative of 1/2*k**2 + 5*k + 1/3*k**3 + 0. Is b(7) a composite number?
True
Let c(u) = 12*u + 11677. Is c(0) prime?
True
Let z(x) = -x - 1883. Let r be z(0). Is r/(-5) - (-12)/30 prime?
False
Let r be 6 + -2 - (-9)/(-1). Let t(o) = -6*o**3 + o**2 - 9*o - 2. Let v(w) = 3*w**3 - w**2 + 4*w + 1. Let n(m) = 3*t(m) + 5*v(m). Is n(r) composite?
False
Let v = 3 - -7. Let l be (-5)/v + 3759/6. Suppose -102 = -4*i + 4*b + l, -5*b - 25 = 0. Is i a prime number?
False
Let x be (-12)/30 + (-51)/(-15). Suppose 17944 = -x*y + 11*y. Is y composite?
False
Suppose 5*w - 4*d = 119061, 2*w - 2*d - 47630 = d. Is w a composite number?
True
Let p(m) = -8846*m - 5. Is p(-2) composite?
True
Let y = 46 - 40. Suppose y*i - 1282 = 1136. Is i a composite number?
True
Is ((-229817)/(-14)*1)/((-6)/(-12)) a prime number?
True
Is (-12066*(-6)/27)/(18/27) composite?
True
Let u(i) = -i**3 - 11*i**2 + i - 8. Let b be u(-14). Suppose -2*f - 106 = -b. Is f + 0 + (7 - 4) a prime number?
True
Let h be (2 - 1)/(-2*(-1)/(-4)). Is ((-1572)/(-8) + h)/((-3)/(-6)) a composite number?
False
Let a(f) = -f**3 + 5*f**2 + 7*f - 2. Let m be a(6). Suppose m*z - 44 = 184. Suppose -z - 435 = -4*q. Is q a composite number?
True
Let z(f) = -608*f + 103. Is z(-27) a prime number?
True
Let d be (15/(-9) - -1)/(1/6). Is d + (-2)/(-4)*502 composite?
True
Suppose -13834 = -2*r + 12420. Is r composite?
False
Let n(m) = -33*m - 4. Let y be n(-3). Let b(j) = 6*j**3 + j**2 - 2*j - 2. Let f be b(-2). Let i = f + y. Is i prime?
True
Suppose 5*y = -93 + 18. Let c(f) = -f**3 - 11*f**2 + 8*f - 10. Let t(i) = -i**3 - 12*i**2 + 9*i - 9. Let p(g) = -2*c(g) + 3*t(g). Is p(y) a prime number?
True
Let o be ((-14)/8)/(4/(-16)). Suppose -o*g + 12*g = 6320. Suppose -5*p + 537 + g = -2*j, -3*p + 1071 = 2*j. Is p a prime number?
True
Let s(v) = -1. Let j(c) = -c + 10. Let f(z) = j(z) + 4*s(z). Let t be f(4). Suppose -5*k + 380 = 5*r, t*k + 2*r = -2*k + 310. Is k a prime number?
True
Let d(q) = -10*q**3 - 2*q**2 + 26*q + 67. Is d(-16) a composite number?
False
Let w(b) = -5*b - 1. Let l(n) = 4*n - 14. Let z be l(9). Suppose g + 2*s - z = 5*g, -2*g - 1 = s. Is w(g) a composite number?
True
Suppose -54*b - 38946 = -60*b. Is b composite?
False
Let l be 11081/(-35) + (-3)/(-5). Let w = l - -136. Let i = w - -259. Is i prime?
True
Let t = -22 - -36. Let y = t + -9. Suppose -237 = -y*c + 2*c. Is c prime?
True
Let w(z) = 2*z**3 - z**2 - 8*z + 1. Let u be w(6). Let g = u + 642. Is g a composite number?
False
Suppose 0 = -0*x + 5*x - 10. Suppose -x*t = -3*t + 335. Is t composite?
True
Let j(g) = -251*g**3 + 5*g**2 - 2*g - 3. Let n be j(-1). Let y(z) = 5*z**3 + 2*z**2 - 1. Let i be y(1). Suppose -v + i*v = n. Is v a composite number?
True
Suppose 0 = -95*o + 93*o + 6. Is (-6)/(-27) - ((-23608)/36 + o) composite?
False
Let w = 47 + -65. Is ((-103)/2)/(w/36) a composite number?
False
Let t(z) = -z**2 - 12*z + 3. Let y be t(-12). Let v be 97/((y + 1)/20). Suppose 0*k + v = 5*k. Is k a composite number?
False
Let f(y) = y**2 - 5*y + 8. Let g be f(4). Suppose -6565 + 1937 = -g*j. Is j composite?
True
Suppose -n - 3*n - 12018 = -2*z, -4*z + 3*n + 24031 = 0. Is z composite?
False
Suppose -77*w - 25531 = -78*w - 4*s, 4*w - 4*s = 102144. Is w prime?
False
Suppose -2*g + 49692 = -21850. Is g a composite number?
False
Let y be (-1 + 0)*(4 + -9). Suppose 3*g = -y*x + 2390, -2*x - g + 956 = g. Is x a composite number?
True
Suppose -4*c = -b + 3 - 2, 0 = 2*b - c - 9. Suppose 3*g - 442 = 2*g - 5*y, b*y = 2*g - 959. Is g a composite number?
False
Is 6 + (308 - (3 + 8)) a composite number?
True
Let o(t) = -t**2 + 3*t - 9. Let s(f) = f**2 - 3*f + 9. Let h(i) = 2*o(i) + 3*s(i). Suppose 5*d = u + 8*d + 10, 0 = -2*d - 4. Is h(u) a prime number?
True
Let l(v) = -v**3 - 15*v**2 + 22*v - 29. Is l(-21) a prime number?
False
Is (0 + (-3)/(-6))/(3/714) composite?
True
Let c(a) = a**3 - 13*a**2 - a + 16. Let b be c(13). Suppose -b*h + 5*h - 5726 = 0. Is h a composite number?
True
Let n(i) = 238*i**2 - 18*i + 63. Is n(7) prime?
False
Suppose 1617 = 13*k - 10*k - 3*g, -k - 5*g = -551. Is k prime?
True
Let j = 657 - 281. Suppose 0*y = -5*p - y + 1910, p - y = j. Is p a prime number?
False
Suppose 4*d - 3*a = 881, 3*d + 3*a = 164 + 481. Suppose r + d = 3*r. Is r a prime number?
True
Suppose 9*b + 25 = -11. Is -1 + 183 + b + (-2)/2 prime?
False
Let f be (-1 + -2)*(150 - 0). Let n = -259 - f. Is n prime?
True
Let l = 4341 - 2120. Is l composite?
False
Suppose 0 = -0*j - 3*j + 612. Suppose -24 - j = 3*b. Let h = b - -209. Is h a prime number?
False
Suppose -4*z - 4*h + 416 = 0, -z + 2*z - 101 = 2*h. Is z a prime number?
True
Let w be (-6)/