se -5*v + 2075 = u. Is v composite?
True
Suppose 2*b - 6 = 0, s - 2*s - 4*b + 6 = 0. Let z(u) = -1 - 9*u - 1 + 2 + 11. Is z(s) a prime number?
False
Let i(y) = 104*y + 7. Let p(n) = 103*n + 8. Let d(s) = 5*i(s) - 6*p(s). Is d(-7) prime?
True
Let o = 7189 + -1872. Is o a composite number?
True
Let c be (-2)/(-4)*(-8 + 4). Is (c/(-1))/((-2)/(-479)) a prime number?
True
Let r = 10 - 8. Suppose 5*y - y = 4, -r*y = -z - 474. Is z/(-7) + (-21)/49 a prime number?
True
Suppose -23117 = 235*x - 240*x - 4*g, 4*x = -2*g + 18490. Is x prime?
True
Suppose -14*m + 1738 = 212. Is m composite?
False
Let k = -58 - -64. Is (7 - 17)*(-813)/k prime?
False
Let c = 796 - -4057. Is c a composite number?
True
Suppose -4*d - d = -v + 34, -2*v - 2*d = -8. Let u(x) = 7*x**2 + x - 19. Is u(v) prime?
True
Let h(l) = -190*l - 3. Let p be h(3). Suppose -4*q + 1848 = -6*j + 4*j, 2794 = -3*j - 5*q. Let u = p - j. Is u composite?
True
Let q = -13 - -15. Suppose 0 = 2*b - 4*x - 4, 5*x - 5 = -q*b - 1. Suppose b*v = 608 + 1478. Is v a composite number?
True
Let g = -4 - -8. Suppose -2*w - g = 2*w. Is (w/3)/(2/(-66)) a composite number?
False
Is (15274545/260)/(3/4) prime?
False
Let r(a) = -1. Let h(v) = -3*v**2 + 2. Let c(t) = -t + 1. Let w(f) = 5*c(f) - h(f). Let u(s) = -4*r(s) + w(s). Is u(-6) prime?
False
Let f = 3 + 0. Suppose -f*x + 733 = -5*d, 5*d + 119 = -5*x + 1394. Is x prime?
True
Suppose -8*p + 4*p - 3*x = -4159, -5*x = 2*p - 2083. Is p a prime number?
True
Let l be 140/50 - (-1)/5. Is -834*((-7)/2 + l) a composite number?
True
Let i be 311/(9/(-6) + 2). Let h be 3 + (1 - 2 - -943). Let m = h - i. Is m prime?
False
Let t = 1477 + 4. Is t composite?
False
Let d be (-5)/(-2)*2/1. Suppose 3*t = -4*g + 2995, 4*t - 739 = 4*g - d*g. Is g prime?
True
Let s be 5/((-15)/(-9)) + 0. Let g = -1 + s. Is (58/g)/(4/68) prime?
False
Let o(d) = -14*d**2 - d + 1. Let f(h) = -28*h**2 - h + 3. Let j(a) = 2*f(a) - 5*o(a). Let p be j(-3). Let m = p - 35. Is m composite?
False
Let s = -22909 + 41028. Is s composite?
False
Let o = -15147 + 22774. Is o a composite number?
True
Let x(i) = -i**3 + 20*i**2 + 21*i + 2. Let z be x(21). Suppose z*b = -3*b + 745. Is b composite?
False
Suppose 22*c = 168272 + 46294. Is c composite?
True
Suppose 7*b + b = 32. Suppose -12 = -b*a - 0. Suppose -3*k = 2*c - 0*c - 144, -a*c - 5*k = -217. Is c prime?
False
Let j = -4 + 9. Suppose -27 = -j*d + 13. Is ((-536)/12)/(d/(-12)) composite?
False
Let g = -1324 + 1865. Is g a composite number?
False
Let x(o) = 14*o - 3. Suppose -1 - 1 = -3*q + 2*c, 5*q = -3*c + 16. Suppose -q*m + 9 = -5*d, 0 + 3 = -3*d. Is x(m) a prime number?
False
Let d be (-447 + -12)/(-1 - 0/(-2)). Let h be 1 - 278*(-5)/2. Let m = h - d. Is m a composite number?
True
Suppose -6*c = -c - 55. Let v(i) = 4*i**2 + 2*i - 19. Is v(c) composite?
False
Let u = -565 + 363. Let l = 519 - u. Is l prime?
False
Suppose 513 = 3*l - 3*a, -4*l + 5*a = 3*a - 678. Let u = l - 91. Is u a composite number?
True
Let o be (21 - 20) + 2*1. Suppose z - 168 = -o*z. Suppose 4*p = 3*y - 546, -4*p = -2*y + 410 - z. Is y a prime number?
False
Is 140450/371 - ((-3)/(-7))/(-1) a prime number?
True
Suppose y - 6*y + 10 = 0. Let o be ((-4)/6)/(24/(-20484)). Suppose y*p - 45 = o. Is p a composite number?
False
Is (4 - (10 + -4))*-3203 a composite number?
True
Suppose 3*t = -0*t + 2*r + 10723, -t + r = -3576. Is t a prime number?
True
Let k be 55*((-288)/(-10) + -2). Suppose 2475 = 5*x + 2*g, 0*x + 3*x = g + k. Is x a prime number?
False
Let u be (-4)/(-2*(-4)/(-8)). Let z be (u/6)/(1/3). Is (z/(-6))/(5/(-1365)) prime?
False
Let o be -18 + 2*(-3)/6. Let c(k) = k + 40. Let u be c(o). Let s = u - -70. Is s composite?
True
Let y = 415 + -1117. Let l = -492 - y. Suppose 3*s - 1284 = 3*x + l, x = -s + 500. Is s prime?
True
Let p(v) = 3*v - 3. Let o be p(2). Is (-2875)/(-3) + 2*o/9 a prime number?
False
Suppose 10 = -w - 5*v, 4*v = -5*w + 2*v - 73. Is (0 + (-2049)/2)*10/w a composite number?
False
Let q(l) = 94*l**2 - 53*l - 9. Is q(10) composite?
False
Let b(i) = -i**2 - i - 31. Let a be b(9). Let r = 638 + a. Is r a composite number?
True
Let o = -76 + 568. Let l = o - 343. Is l a prime number?
True
Let q be (3007/2)/(10/240). Suppose q = 14*p - 2*p. Is p composite?
True
Let b(z) = -15*z**3 + z**2. Let d be b(1). Let k = d - -14. Suppose k = -6*m + 436 + 1106. Is m a composite number?
False
Let o = 21722 + -5421. Is o a prime number?
True
Let a be (-4)/18 + (-552)/(-54). Suppose -4*o = -g + 2 - 19, 0 = 2*o - 2*g - a. Suppose -5*i - 659 = -4*k, -3*k - o*i + 5*i + 497 = 0. Is k a composite number?
True
Suppose -5*u - 3*t = -3, -8 = -7*u + 3*u - t. Suppose 0 = x - u*x + 134. Is x a composite number?
False
Let d(s) = s**3 + 65*s**2 - 133*s - 335. Is d(-57) a prime number?
False
Suppose 0 = -p - z, -18 = p - 3*z - 2*z. Let g be -1 + 0 + (1 - p). Suppose -3*j + 5*r + 1688 = -557, 5*j = g*r + 3731. Is j a prime number?
False
Let g = 2 + -9. Is 0 - (g - -4) - -406 a composite number?
False
Suppose h = -2*h + 315. Is (1266/(-9))/((-14)/h) a composite number?
True
Let a = 1070 + 837. Is a a composite number?
False
Let m = 309 + -136. Suppose 3*d = -2*b - m + 863, -2*b - 5*d = -698. Is b composite?
True
Suppose 6*j - 3*j = 0. Let t be (0 - -1) + 1 + j. Is t/4 + 1066/4 composite?
True
Let p = -46 + 45. Is (3552/4)/1 + p + 0 a composite number?
False
Let f be (-4 + 2)/(6/(-9)). Let b = 1 + 2. Suppose -f*m - b*u - 1789 = -5884, -u = -m + 1357. Is m prime?
True
Suppose p = 4*q + 109, 2*p - 460 = -2*p + 4*q. Let f be (-8)/(40/(-825))*(-2 + 3). Suppose -3*k + 2*j + 212 + f = 0, -5*j - p = -k. Is k a composite number?
False
Let n = -16 + 18. Is (-2676)/(-18)*3/n a prime number?
True
Let c(s) = -s**3 - 5*s**2 - 5*s - 2. Let h be c(-4). Suppose 0 = 3*b - 4*i - 109, 2*b - 23 = b - h*i. Is b a composite number?
False
Let z(l) = 8*l**3 + l + 2. Let u be z(-2). Let g = u - -324. Suppose -g = -3*x + 1399. Is x a composite number?
True
Let n = 16658 - 10935. Is n a prime number?
False
Suppose -70*t = -73*t + 510. Let k = 1251 - t. Is k composite?
True
Let n = 4635 - 2104. Is n composite?
False
Suppose 8*p = 194509 + 89307. Is p prime?
False
Suppose 2 = -4*j + 3*i + 4, 4*i = -5*j + 18. Suppose 3*w + 4*m + 448 = 8347, j*w - 5266 = -5*m. Is w composite?
False
Let m be 49/35 - 6/(-10). Is 3071/m + ((-55)/10)/11 a prime number?
False
Let r be 3/(15/790)*2. Suppose 4*d - r = 1200. Is d a prime number?
True
Suppose 25*l - 25285 - 190740 = 0. Is l prime?
True
Suppose -4 - 23 = -9*v. Suppose -6240 = -v*q + 3*n, -2*q + 6243 = q - 4*n. Is q prime?
False
Let b(f) = 76*f - 7. Let q(r) = -r - 5. Let v(h) = 3*h + 15. Let j(n) = -11*q(n) - 4*v(n). Let a be j(-8). Is b(a) a prime number?
False
Let u = 147847 - 86756. Is u a composite number?
False
Suppose 3*x + 0*b = 5*b - 8, -20 = -5*b. Suppose 0 = -4*h + 4 + x. Is 597*(15/(-9) + h) a composite number?
False
Suppose -3*t + 3897 = 3*v, -4*v + 2595 = 2*t - v. Let s = 1891 - t. Is s a composite number?
True
Let k = 11716 + -3776. Suppose -9*f = -5*f - k. Is f a prime number?
False
Suppose 4*a + 3*z = 8399, -z - 2978 = -a - 880. Is a a prime number?
True
Let q be (9/(-15) + 1)*45. Let j(h) = -2*h**2 + 9*h - 8. Let b be j(5). Let w = q - b. Is w composite?
False
Is 45 + 10458 - (-1 - -5) prime?
True
Let u = -4011 - -8674. Is u prime?
True
Let c = 585 - 259. Let n = c - 223. Is n prime?
True
Suppose 930 = 3*v - 165. Suppose 673 = u + 3*i, v - 1054 = -u + 5*i. Is u a composite number?
True
Let c = -731 + 384. Let f be 36/(42/7) + -592. Let i = c - f. Is i a composite number?
False
Let y be ((-17)/(-4))/(4/64). Let k(n) = -n**2 - 14*n - 2. Let z be k(-5). Let g = z + y. Is g a composite number?
True
Is (-12)/28 + -76*(-5156)/56 a prime number?
True
Suppose 9974 = -8*a + 10*a. Is a composite?
False
Let i(w) = 8*w**2 + 19 + w + 8 - 1 - 8. Is i(-13) a prime number?
False
Let p(l) be the first derivative of l**2/2 + 16*l + 10. Is p(-13) a composite number?
False
Let d(t) = -t**2 + 6. Let i be d(4). Let z(w) = 2*w**2 + 11*w - 8. Is z(i) a composite number?
True
Suppose 2*y + 3*y = -535. Let o be (-4)/(0 + -4)*y. Let m = o - -226. Is m a prime number?
False
Let k be (0 - -3 - 3)/(-2). Let f = 0 - k. Suppose -252 = 4*w + l - 1453, 4*w - l - 1191 = f. Is w prime?
False
Suppose 460 = 13*b