s c prime?
False
Is ((-13)/(-26))/(((-85)/(-627870))/17) a prime number?
False
Is 232586/1 - ((-3)/6)/(58/580) a prime number?
True
Let d = 178 + -349. Is (-18)/d - (-405891)/57 prime?
True
Let b = -118 + -172. Let z = b - -593. Is z prime?
False
Let w(d) = 6*d**3 - 3*d**2 - 3*d + 4. Let f(a) = -a**3 + a + 1. Let x(v) = -2*f(v) + w(v). Let r be x(-5). Let o = 1799 + r. Is o a prime number?
True
Suppose 2*w + 14 = 2*j, 2*j = 2*w + 2*w + 24. Suppose -4*p + 2402 = -j*f, -3*f - 4*p = f + 4792. Let x = -340 - f. Is x a composite number?
False
Let n be (-1*3860)/((-6)/(-249)). Let u be 8/36 - n/45. Is (-9)/((-45)/u) - 3 composite?
False
Is 6/(-18) + 2088492/18 prime?
True
Let w(l) be the first derivative of 21*l**3 + 4*l**2 - 21*l + 26. Let n be w(5). Let u = n - -1611. Is u a prime number?
False
Let g(y) = 43*y**2 - 20*y + 41. Let f be g(10). Let p = -842 + f. Is p composite?
False
Let t be (30 + (0 + 3)/3)/(-1). Let d = t - -34. Suppose 415 = d*n + 2*n. Is n a composite number?
False
Suppose 14*f = -70, 0 = 5*u + 2*f + 16042 - 103397. Is u a prime number?
False
Let v(f) = 113*f**2 + 356*f - 110. Is v(81) composite?
True
Let l(c) = 414*c**2 + 75*c - 131. Is l(10) a prime number?
True
Let h be 40667 - 7/(-14)*2. Let r = h - 21227. Is r a composite number?
False
Suppose 40 = -0*t + 5*t - 4*o, 3*o - 1 = -4*t. Suppose -n = -5*u - 31 + 11, 2*n - t = u. Suppose n = -2*p + a + 1510, 3*p + 5*a + 812 = 3077. Is p composite?
True
Suppose 128*g - 337874 = 682414. Is g composite?
True
Suppose -4*k - 3 = -23. Suppose -k*f + 2 + 28 = 0. Is (2/(-6) - 4/f)*-79 a prime number?
True
Suppose 0 = -24*s + 21*s + 18. Suppose 2*t + 7*t = 3699. Suppose -s*a + t = 57. Is a prime?
True
Let b = 242703 + -122752. Is b a composite number?
True
Let z(m) = -5*m - 1. Suppose 5*n - 2*j = 0, n - 5*n = 5*j - 33. Suppose 1 = -3*w + 5*o, -45 + 18 = 5*w - n*o. Is z(w) a composite number?
True
Suppose 0 = -2*n + n - 3*p + 67, -5*n - 4*p + 324 = 0. Let j = -62 + n. Suppose -j*w - 2*w - 2*f = -1014, 2*w - 527 = -5*f. Is w composite?
False
Let m be -4 - -9344 - (-2 + 1). Let w = -4432 + m. Is w composite?
False
Suppose 0*h + 2*h = 10. Suppose 134580 = 575*u - 515*u. Suppose h*m - u = 1472. Is m a composite number?
False
Let j(b) = 2*b**2 + b - 1. Let v(p) = 8*p**2 - 4*p + 25. Let l(d) = 3*j(d) + v(d). Is l(7) a composite number?
False
Is 25175750918/18676 + -2*(-2)/56 a prime number?
True
Let v = -4765 - -5523. Is v a composite number?
True
Let s = 116284 + -68756. Suppose 0 = -14*g + 6*g + s. Is g a composite number?
True
Let i(m) = -5*m + 10. Let z be i(2). Suppose 0 = -2*t + 5*b + 18, z*t = -4*t + 3*b + 22. Is (-1 - -149) + -5 + -2 + t a composite number?
True
Let d(o) be the third derivative of o**5/60 + 11*o**4/24 - 5*o**3/2 + 8*o**2. Let c be d(-12). Let r(k) = -10*k**3 - 2*k**2 + k + 4. Is r(c) prime?
False
Let j = 119 + -115. Suppose -j*c + 17173 = 2153. Is c prime?
False
Suppose -162*u + t + 641804 = -160*u, -3*u + 962703 = -t. Is u a prime number?
True
Suppose -3*l + 1077307 = 2*j, -85 + 73 = -6*j. Is l a composite number?
False
Let o be 207809/2 + (-5)/(-2) + -3. Is o/128*(-12)/(-3) composite?
True
Suppose 5*y = -3*k - 5 + 197, 3*k - 3*y - 192 = 0. Suppose 0 = -6*x + 10*x - k. Let g(j) = 4*j**2 - 5*j + 3. Is g(x) a prime number?
True
Let t(z) = z**3 - 5*z**2 - 2*z - 15. Let j be t(6). Suppose -5*l + 10 = 5*b, -j*b + 5*l = -12*b. Let i = 1214 + b. Is i a prime number?
False
Let v be 216/(-27) - (0 - -3). Let c(h) = -h - 13. Let n be c(-7). Is ((-2)/n)/(v/(-11055)) a prime number?
False
Let r = -37 - -37. Suppose 4*q - 14 = -p + 267, r = q + 3. Suppose -h + 99 = a, -p = -3*a - 0*h - 4*h. Is a prime?
True
Let w be 5/1 + (-1)/(-1). Let n(b) = -12*b**3 + 3*b**2 + 65*b + 28. Let f(s) = -3*s**3 + 16*s + 7. Let h(u) = -13*f(u) + 3*n(u). Is h(w) a composite number?
False
Let j(i) = -3302*i + 6957. Is j(-13) a composite number?
True
Suppose 15*i - 499221 = 871735 + 309959. Is i a composite number?
False
Let x(g) = 720*g - 211*g + 6 - 2. Suppose 0 = -t + 2*w + 5, 0 = t + w + 25 - 27. Is x(t) a composite number?
False
Let u be 105/(-14)*12/(-10). Let k(p) be the third derivative of p**5/30 - 5*p**4/12 + 13*p**3/6 + p**2 + 9. Is k(u) composite?
True
Let r(j) = 2*j**3 - j**2 + 4*j - 3. Let g be r(2). Let v be (8/6)/((-2)/10575). Is g/((-85)/v) - 1 composite?
False
Suppose -2*l - 3*l - 182 = 2*c, 0 = -4*c + 2*l - 364. Let o = 75 + c. Let y(g) = 2*g**2 + 10*g + 39. Is y(o) a composite number?
True
Let p(v) be the third derivative of 1507*v**5/60 + v**4/8 + 7*v**3/6 + v**2 - 12. Is p(-2) a composite number?
False
Let a(p) = -p. Let t be a(-5). Suppose -2*o - f = 2*o + 20, -t*f - 4 = -4*o. Let x(q) = -393*q + 13. Is x(o) a composite number?
True
Let x = -724 - -3038. Suppose -4*o - 1 = -5*o, q + 1592 = -5*o. Let u = x + q. Is u prime?
False
Let f(o) = 6*o + 39. Let q be f(-6). Suppose 3 = -q*n, 54 = -7*m + 2*m + n. Let x(z) = -3*z**3 - 25*z**2 - 2*z + 1. Is x(m) composite?
False
Let i be ((-330)/(-1))/(-5) - -5. Let j = i - -330. Is j composite?
False
Suppose -40 + 6 = -2*h. Let v(r) = -2*r + 37. Let o be v(h). Suppose 4*f - 4961 = -5*j, 7*j + o*f = 3*j + 3969. Is j prime?
False
Let r(k) = -3047*k - 956. Is r(-11) composite?
False
Let w(o) be the second derivative of -361*o**3/6 + 61*o**2/2 - 17*o. Is w(-16) prime?
False
Suppose 2*r = 4*v - 4, 7*v - 1 = 6*v. Suppose -12856 = -u - 3*l + 9916, r = u - 3*l - 22766. Is u a composite number?
False
Suppose -12*a = 36*a - 60852 - 128700. Is a a composite number?
True
Suppose -3*b + 2*t = -948567, -4*b - 2*t = 629605 - 1894347. Is b a composite number?
True
Suppose 9*y = 2*y + 21. Let f be 312/(-21) + (0 - y)/21. Is (2 - 3) + (f - -4765) a composite number?
True
Is -3 + 4478664/45 - 108/(-810) a prime number?
True
Let f(l) = 91*l - 48*l - 44*l + 1 + 16*l**2. Let j be f(1). Suppose j*q - 15*q = 39. Is q a composite number?
True
Suppose 0 = 3*d - 2*d + 5*a + 28, 0 = 4*d + a - 2. Let w be 247090/14 + (-4)/14. Suppose -w = -7*b - d*b. Is b a prime number?
False
Let y be -1 - -9 - (-5 - -5). Is 45060/y - 1 - 3/(-2) a prime number?
False
Is -5*(17011/(-3))/(((-25)/15)/(-5)) composite?
True
Suppose -107*o - 37028 = -109*o. Is o composite?
True
Is 96/72 + (-14)/(-49) + (-13390414)/(-42) composite?
True
Let y = -16525 + 95852. Is y a prime number?
False
Let y(v) = 100*v**2 - 18*v - 2. Let r be y(12). Suppose i - r = -3*m - 0*m, 5*m - 28361 = -2*i. Is i prime?
True
Let t(l) = 13*l**2 + 9*l + 17. Let r(b) = 3*b + 36. Let x be r(-9). Is t(x) prime?
True
Let x be -4*(-86402)/((-1 - -1) + -8). Let o = x - -81906. Is o a prime number?
False
Is (1057/84*524)/(2/6) a prime number?
False
Suppose -998709 = 29*m - 3*m - 2470075. Is m composite?
False
Let j be ((-2821)/4)/(13/52). Let z = 9 - j. Suppose 7*h + z = 9*h. Is h a prime number?
False
Let k(g) = -1019*g + 3. Let m = -11 - -5. Is k(m) prime?
False
Is ((-5)/10)/((-4)/17432) a composite number?
False
Suppose -27*p + 55*p = 46*p - 2363958. Is p a composite number?
True
Let a(x) = 105*x + 739. Let p be a(-7). Let t = 3 - 1. Suppose -2*l + 432 = -t*s, 2*l - p*l + 5*s = -429. Is l a prime number?
False
Suppose -15*c = -2*b - 11*c + 96700, 4*c = 20. Suppose t - 4*r = 2*t - 9667, 0 = -5*t + 5*r + b. Is t a composite number?
True
Let l be (-2)/(-14) + 8/(0 + (-98)/63). Let n be -4*((-3)/(-2) - 1). Is n - 30/l*28 a composite number?
True
Let l be 1/3*(-2 - -59). Let g be 0*(2 - (-5)/(-2)). Suppose l*w - 22*w + 1713 = g. Is w a composite number?
False
Suppose -1186673 + 59472631 = -1206*v + 1244*v. Is v a prime number?
True
Let x(q) = 13*q**3 + 3*q**2 + 2*q + 1. Let v be x(-1). Let o be (-13 - v)*530/4. Is 1*(-4)/(-2) - (o + 2) a composite number?
True
Is (77674410/126 - 17)*((-60)/(-8) + -4) composite?
False
Is (12/336*21*-85222)/(3/(-14)) composite?
True
Let h be 1903725/60*3*(-24)/(-27). Suppose -21*q + h = -11*q. Is q prime?
True
Let g(l) = 6*l**3 - l**2 - 9*l + 14. Let r be (-2)/(((-16)/(-20))/(-2)). Is g(r) a composite number?
True
Let q(v) = 6 + 35 - 4*v - v + v**2. Let d be q(23). Let z = -84 + d. Is z prime?
False
Let m(s) = -4*s**2 - 557*s - 245. Is m(-102) a prime number?
False
Suppose 0 = 4*u + 2*g - 466700, -5*g - 456338 = -5*u + 127022. Is u prime?
False
Let o(d) = -5*d**3 - 3*d**2 - d. Let k be o(-1). Suppo