*r - z. Is r prime?
False
Let q be -3*(1 - 0)/(-1). Suppose -5*v + 113 = -4*k, -2*k + 15 = q*k. Is v composite?
True
Suppose 4*v + 6518 = 5*m + 1963, 0 = v + 5. Is m prime?
True
Let o be 2/(-6) - (-276)/18. Suppose 3*d = -o, 3*p + p - 467 = 3*d. Is p composite?
False
Suppose -6*l + 3*l + 1185 = 0. Is l a prime number?
False
Is 1*((-483)/(-3) + 2) prime?
True
Suppose -3*i + 7 = -2. Let y(g) = -8*g**2 - 5*g + 3. Let s be y(i). Let w = s - -121. Is w composite?
False
Let w = -368 + 571. Is w a prime number?
False
Suppose -5*x + 10*x = 15. Suppose x*g - 5*g = -3*m - 307, 2*g - 2*m = 304. Is g prime?
True
Suppose 579 = 3*k - 3*s + 6*s, 0 = 4*s + 8. Suppose h + 199 = -5*m + 515, m - 4*h - 59 = 0. Suppose 14 - k = -3*l + j, l - j - m = 0. Is l prime?
True
Suppose 2*x - 3*x + 2 = 0. Suppose -5 = x*u - 3. Is u/((-438)/(-147) - 3) a composite number?
True
Suppose 4*q - 45 = -a + 11, -4*q = 2*a - 60. Let z = q + -10. Suppose -z*s = -0*s - 435. Is s prime?
False
Let w be 20/7 + 2/14. Is ((-134)/w)/(10/(-15)) composite?
False
Let d be (28/(-49))/((-4)/14). Suppose -j - d = -23. Is j a composite number?
True
Suppose -6*s + 10850 = -3952. Is s a composite number?
False
Let f(p) = -5*p - 1. Let s be f(-1). Suppose -7*b + 3*t + 647 = -2*b, -s = t. Is b a composite number?
False
Let l = 357 - 240. Let o = -70 + l. Is o a prime number?
True
Let v(p) = 1 + 6*p + 9*p + 2*p - p. Is v(4) prime?
False
Suppose 0*x + 5*x = 45. Let r = x + -9. Is (-3 + 0 - r) + 152 a composite number?
False
Suppose 4*d + 1 = 5*t, -3*t - 4*d + 9 = 2. Suppose 0 = -5*p + t + 1284. Is p composite?
False
Suppose 4008 + 1890 = 6*y. Is y composite?
False
Let r = 7 - 5. Suppose 0 = 3*x + 5*m + 11, r*m - m + 4 = 0. Suppose 2*n = -8, -x*i = -2*i + n - 11. Is i a composite number?
True
Let u(f) = f**3 - 4*f**2 - 5*f + 3. Let z be u(5). Suppose z*m - 12 = -0. Suppose m*b - 78 = 54. Is b a prime number?
False
Is (2/4)/((-7533)/1884 - -4) a prime number?
False
Is (2/(-6))/(932/468 + -2) prime?
False
Let c(y) = -3*y + 10. Let x be c(-13). Suppose v = -3*w + x, w - 47 = -v - w. Is v composite?
False
Let d = 2124 + -1380. Suppose 0*l + 2*l - 1512 = -4*m, 5*l = 2*m - d. Is m prime?
False
Let r(x) = 15. Let l(v) = v - 1. Let t(c) = 9*l(c) + r(c). Let u be t(6). Is (2/4)/(3/u) prime?
False
Suppose 3*m + 4 = -2*r + m, m + 3 = -2*r. Is (r + 0)*(4 - 15) composite?
False
Suppose 526 + 175 = 5*m + 2*c, 711 = 5*m - 3*c. Is m prime?
False
Suppose 3*p = -2*y + 293 + 148, 4*y - 435 = -3*p. Is p prime?
True
Let p be -740 + (8 - 4) - -2. Let r = p - -1275. Is r composite?
False
Let r = -5 - -1. Let u = -2 - r. Suppose x + 35 = u*x. Is x prime?
False
Let o = 220 + -81. Is o a prime number?
True
Let n = 46 - -21. Is n composite?
False
Let x(k) = -23*k**2 + 2*k - 2. Let p(t) = 2*t + 3*t - 2 - 3*t - 23*t**2 - t. Let j(b) = 2*p(b) - 3*x(b). Is j(2) prime?
False
Is (-3)/(-2)*(6207/9 - -5) prime?
False
Let f = -1 - -3. Let n be (f/(-4))/(1/124). Let v = -29 - n. Is v composite?
True
Is (8151/20 - (-4)/16)*5 a prime number?
True
Suppose r - 4 + 3 = -2*v, 0 = -r - 5*v - 2. Suppose -118 = -r*a + a. Is a a prime number?
True
Let u(v) be the second derivative of -v**6/120 + 7*v**5/60 + v**4/12 - v**3/2 - v**2 - v. Let r(f) be the first derivative of u(f). Is r(7) prime?
True
Suppose -1 - 4 = -3*d + 2*t, -2*d + 4*t + 14 = 0. Suppose 0 = -5*r + 7 - 197. Let a = d - r. Is a prime?
True
Suppose 3*p - r = 11, 2*p - r + 6 = 3*r. Suppose l - p*y - 1338 = -3*l, 3*y + 1005 = 3*l. Is l composite?
False
Let a = 7 - 3. Suppose 2*v - 8 = -4*o, -v = -5*o - a*v + 8. Suppose 0*r - o*r + 484 = 0. Is r composite?
True
Let n be 2/1 + -5 - -23. Suppose 0 = -b + 6*b - n. Suppose 0 = b*o - 106 - 78. Is o composite?
True
Suppose -2*l - 44 = -4*r, l - 3*r = -l - 41. Is (1179/(-12))/(12/l) a prime number?
True
Suppose -6 = -3*j + 9. Is (8 + -1)/(j/25) a composite number?
True
Suppose 4*l = s - 4 + 62, 38 = 2*l + 4*s. Let r(c) = -c**3 - 2*c + 1. Let m be r(3). Let h = l - m. Is h prime?
True
Let j(g) = -50*g - 1. Let f = -11 - -6. Is j(f) a prime number?
False
Suppose 6*a + 408 = 2*a. Let z = a + -110. Is z/(-20) - (-2)/5 composite?
False
Let f = 6 + -10. Let x(s) = s**2 - s - 1. Let z be x(f). Suppose h + 3*j = 24 + z, 47 = h + 5*j. Is h a prime number?
True
Suppose -g - 4*b + 34 - 13 = 0, -2*b + 42 = 4*g. Suppose 0 = g*x - 5*x - 580. Is x a prime number?
False
Let k = 421 + -152. Is k composite?
False
Is 1/2*-1266*3/(-3) composite?
True
Let q(z) = -z**3 + 2*z**2 + 3*z - 5. Is q(-7) composite?
True
Let a be (-35)/(-6) - 2/(-12). Suppose 0 = -g + a - 2. Is (g/3)/((-8)/(-132)) a composite number?
True
Let a be (0 - -1)*(0 + 1). Let c(z) = 60*z**3 - z**2 - z + 1. Is c(a) a prime number?
True
Let r(w) be the first derivative of -w**2 - 4*w + 1. Let b be r(-5). Let n(k) = 2*k**3 - 9*k**2 + 4*k - 1. Is n(b) a prime number?
True
Suppose -7*h + 1934 + 12437 = 0. Is h composite?
False
Let i = -7 - -10. Suppose -r + 17 = 4*p, -i*r + 2*p + 79 = -0*p. Is r composite?
True
Is 1555 + 8/32 + 2/(-8) prime?
False
Suppose -z - q + 3777 = 851, 2*z = 5*q + 5817. Is z a composite number?
True
Let s be (-814)/(-3) - 7/21. Suppose -3*p = -u - 6*p + s, -5*p = -4*u + 1016. Is u composite?
True
Let z be 1*(-1)/1*-124. Let a = z + -1. Is a prime?
False
Let x(t) = 6*t**2 - 7*t**2 + 14*t + 0*t - 8 - 3*t. Is x(6) composite?
True
Let j(c) = 2*c**2 + 5*c - 6. Suppose f - 4*o + 5 = -0*f, 5*o - 8 = f. Is j(f) a prime number?
True
Let r(y) = y**3 - 4*y**2 - 4*y. Let s be r(5). Let o = -6 + 5. Is 104/s + o/(-5) composite?
True
Suppose 0 = -t + 2*g + 1381, -4*t + 4*g + 4148 = -1372. Is t composite?
True
Suppose -4*n = 4*z - 1388, 5*n - 2*z - 1775 = z. Suppose -5*l - n = 5*w + 558, -5*w + 728 = -4*l. Let p = 343 + l. Is p prime?
False
Suppose 1 - 56 = -k. Is k prime?
False
Let f = 194 - 116. Let r = f + -25. Is r composite?
False
Suppose 4*o = -r + 1497, 239 - 2114 = -5*o - 2*r. Is o composite?
False
Suppose 2*x = 3*x + r - 2, 20 = 5*r. Let d(p) = -14*p**3 + p**2 + 2*p + 3. Is d(x) composite?
True
Let h(l) = l + 5. Suppose 0*a = 3*a - 24. Is h(a) a composite number?
False
Suppose 0 = 2*s + 2*i + i - 16, 0 = -2*i + 8. Let q be (-140)/(-6) + s/3. Suppose 4*h = -q + 80. Is h prime?
False
Let y = 639 + -328. Is y composite?
False
Let n(w) = -w**2 - 4*w + 2. Let m be n(-4). Let b be m*(-19 + 0) + 2. Let z = 61 + b. Is z composite?
True
Suppose -h + 5*d = -0 + 41, -h - 43 = -4*d. Let n = h - -136. Is n composite?
True
Let h(k) = -k**3 + 19*k**2 + 26*k - 29. Is h(20) a prime number?
False
Let t be 1/(-2) + 5/2. Let b be (-1)/((-1)/(t/(-2))). Is 156 - (3 + -2)/b prime?
True
Let w = -7 + 4. Let f = w - -8. Suppose -h = 2*p, f*p - 2*p = 5*h - 39. Is h composite?
True
Let x(v) = 431*v**2 + v + 1. Let h be x(-1). Let l = -208 + h. Is l a prime number?
True
Let d(x) = x + 1. Let f be d(4). Suppose 27 = 4*o - f. Suppose 30 + o = 2*h - 4*t, 2*h - 29 = t. Is h composite?
False
Let n(v) = 5*v**2 - 3*v**2 + v - 2*v**3 + 1 + 3*v**2. Let p(h) = 3*h**3 - 10*h**2 - 2*h - 2. Let d(z) = -5*n(z) - 3*p(z). Is d(-4) prime?
True
Suppose -2*z + 344 = -750. Let g = z + -390. Is g a composite number?
False
Let c(y) = 180*y - 2. Let p be -1 - (-2)/(0 - -1). Is c(p) composite?
True
Let m(o) be the first derivative of -o**3 + o - 2. Let c be m(1). Is (-161)/(-1) - 4/c a composite number?
False
Is ((3246 - 0)/3)/2 prime?
True
Let c(k) = -60*k - 13. Is c(-5) prime?
False
Is (15/10)/((-1)/(-118)) composite?
True
Let c = -173 - -952. Is c prime?
False
Let y = 9 + -4. Suppose 0 = q + y*q - 534. Is q a composite number?
False
Let h be (320/6)/((-4)/(-18)). Suppose -4*s = -0*s - h. Suppose 5*f = -a + 40, -f + s = 3*a + 2*f. Is a a composite number?
True
Suppose -2*i = -5*w + 18181, -2*w + 14540 = 2*w - 4*i. Is w a composite number?
False
Suppose -77 = 4*t - 11*t. Is t composite?
False
Let j(y) = 3*y - 12. Let d be j(5). Suppose -3*w - 309 = -d*z, -103 = -z - 0*z + 2*w. Is z composite?
False
Let v be 2*2/(-4)*-89. Let o = -24 + v. Is o a composite number?
True
Let l be 1*(-1 - -12*67). Suppose -2*u - 5*m - 526 = -4*u, 4*m = 3*u - l. Suppose -4*b - u = -7*b. Is b a composite number?
True
Suppose 2*b = 6, -3*c + 2*b - 12 = -b. Let l = 5 + c. Suppose 4*j + 159 - 3 = l*p, j + 74 = 2*p. Is p a composite number?
True
Suppose -2*a - 