= y - 1. Suppose z = -a*z + 3489. Is z prime?
True
Suppose -7*w + 2*w = -10. Suppose -1280 = -3*m - w*h, 0*h = -m - 2*h + 428. Is 0 + 14/42*m/2 composite?
False
Is (-1199918)/((-60)/15 - -2) composite?
False
Let c(y) = 10*y**2 - 29*y - 4. Let i be c(4). Is (i/(-10))/(-4) - 1318*-1 composite?
False
Suppose -2*w + q = -54304, 17*q = 4*w + 21*q - 108572. Is w a prime number?
False
Let m be 45/(-180) + (-42)/(-8). Suppose b = -11 + 9, 0 = 3*i + m*b - 19325. Is i a composite number?
True
Let z = -45001 + 146628. Is z a composite number?
False
Let p(h) = 3534*h - 11. Is p(13) prime?
False
Let p(i) = 9*i - 26 + 29 + 1009*i**2 + 666*i**2. Let g be p(-5). Suppose 0 = 2*m + 9*m - g. Is m composite?
False
Let u(f) = 105*f**2 + 1321*f - 177. Is u(-52) a prime number?
True
Suppose 0 = -5*x + 263 + 317. Let v = -116 + x. Suppose v = 9*d - 13*d + 15172. Is d composite?
False
Let k(i) = -2*i**3 + 2*i**2 + i. Let j be k(-1). Suppose 4*z = 5*z - g + 4, j*z + 3*g = -36. Is (2332/z)/(1/(-2)) a composite number?
True
Let s be (-2)/(2/(-177 - 1)). Suppose -178 = -80*d - 18. Suppose -d*m = -0*m - s. Is m composite?
False
Let q be 273/42 - (-3)/2. Is q/(-48)*-7484*39/2 prime?
False
Is (27731/(-44))/((-9)/252) a composite number?
True
Let q be ((5 - 0) + -3)/(-1) - -677. Suppose -3*f = -2*x - q, 5*x = -3*f + 524 + 172. Suppose -5*m - 105 - f = -2*c, 2*c + 3*m = 316. Is c a composite number?
True
Let m = 290474 - 196791. Is m a composite number?
False
Let a = 3852 - 3265. Is a prime?
True
Suppose 5*d = -25, 448*d + 418183 = 2*w + 447*d. Is w a composite number?
False
Suppose 2*p + 4*q + 164 = 0, 10*p - 11*p - 70 = -2*q. Is p/38*(-1)/(4/2198) a composite number?
True
Is -67*-6*11478/36 composite?
True
Is (-3715938)/(-12) + 11/2 prime?
True
Let h(n) = -25*n - 13. Suppose 30*u - 87 = 27*u. Suppose 19 = -6*y - u. Is h(y) prime?
False
Suppose -166*k = -162*k + 2*l - 426112, 0 = 5*k - l - 532661. Is k a composite number?
False
Suppose l - 9 + 1 = 0. Let v be 9*((-1 - 1) + l/3). Suppose v*g = 4154 + 568. Is g a prime number?
True
Let v be 114/22 + 3*2/(-33). Suppose 4*a + v*q - 4842 = 0, 2*q = -4*a - 370 + 5218. Is a prime?
True
Let c(s) = 8*s**2 + 3*s - 7. Let a(l) = -10*l**3 + 7 + 11*l**3 - 13 + 8*l + 9*l**2. Let j be a(-8). Is c(j) composite?
False
Suppose 758 = h - 1272. Suppose u - h = -13*u. Is u prime?
False
Let f be 4*526/2 + 4. Suppose -4*l + 11775 = -a, -a - f = -3*l + 7776. Let g = -1432 + l. Is g composite?
False
Suppose 9*h + 19 = 28*h. Is h/(-1) + 889 + 4/4 prime?
False
Let t(c) = -c + 11 + 14*c + 6*c + 17*c. Let a = 10 + -5. Is t(a) a composite number?
False
Let l(w) = 104*w**2 + 322*w + 1417. Is l(86) prime?
True
Suppose -1727739 + 193637 = -2*m. Is m composite?
False
Let g be 18/8 + 4/(-16). Suppose 5*r - 21 = g*r. Suppose 0 = -5*a - v + 1016, 4*v + 3 = r*v. Is a a composite number?
True
Suppose -3 - 1 = -2*n. Let v be -4 + (-125)/(-35) + (-18403)/49. Is (14/(-8))/(n/v) prime?
False
Let u be (-8)/12 + 17/3. Suppose 2*h - 440 - 628 = 0. Suppose -h = -u*x - x. Is x a prime number?
True
Let g = -63245 + 27971. Suppose 103 + 41 = 9*p. Is (p/(-24))/(4/g) prime?
True
Let i(a) = 26*a**3 - 14*a**2 + 76*a - 203. Is i(8) composite?
False
Suppose -3*y - b = -2*y - 4, -5*y + 20 = -b. Suppose -360 - 2180 = -y*j. Suppose -3*n = 2*n - j. Is n a prime number?
True
Suppose -14*d + 5*d = 36. Let t(v) = -40*v**2 - 5*v + 23. Let i(s) = 20*s**2 + 2*s - 11. Let o(a) = 13*i(a) + 6*t(a). Is o(d) composite?
False
Let v(g) = g + 4. Let t be v(11). Suppose 5*s = -t + 5. Is -211*((-2 - s) + -3) prime?
False
Suppose -4*i - 3968 = -2*o, 4107 = 2*o - 2*i + 131. Is 6/(-15) + (-1 - o/(-5)) composite?
False
Suppose -76*y + 534806 = -1174716 + 115574. Is y a composite number?
True
Suppose -4*o - 5*r + r = -100, 5*o + r = 137. Let j = o + -27. Is -109*j/(-1) + 1 + -1 composite?
False
Let a = 123 + -120. Suppose -3947 = -5*f + a*d, 5*f = 4*d + 2311 + 1640. Is f a composite number?
False
Let o = 303568 + -126591. Is o composite?
False
Let u = 70413 - -115796. Is u a composite number?
True
Suppose 2*n - 74274 = 4*x, -3*n = -10*x + 11*x - 111418. Is n composite?
False
Suppose -28*j = 509454 - 102538 - 3274144. Is j a composite number?
True
Suppose 1 = -4*y - 5*w, 2*y - 1 - 1 = -2*w. Let j(h) = 7*h**3 - 11*h + 13. Is j(y) prime?
True
Suppose 31582179 + 8483902 + 5444402 = 87*u. Is u a prime number?
True
Let t(m) = -4*m**2 - m + 44. Let q(r) = -r**2 + 14. Let s(f) = 17*q(f) - 6*t(f). Let a = 0 + -9. Is s(a) prime?
True
Let y = -2618 - -3680. Suppose 6*h = y + 3972. Is h a prime number?
True
Suppose 5*n + 10 = -15. Let l = 72 + -78. Is 2 + 117 + (l - n) a composite number?
True
Let f(g) = -7*g + 33. Let y be f(5). Let b be (-4 + 2 - y)/(-3). Suppose -5*z - z + 564 = b. Is z a composite number?
True
Let c(n) = -32457*n**3 + 7*n + 1. Is c(-2) a composite number?
False
Let y(j) = 36*j**3 + 24*j**3 - 11*j**3 - 9. Let b be y(-3). Let w = b + 2669. Is w a prime number?
False
Let y(q) = 6286*q**2 + 673*q - 2689. Is y(4) a prime number?
False
Suppose 3658 = -33*l + 19663. Let i = l - -474. Is i prime?
False
Suppose 11*a - 15*a = 1680. Let q = 3794 + a. Let c = 1017 + q. Is c a prime number?
True
Let c(s) = -4*s + 12902. Let l be c(0). Suppose -5*i = b - l, -3*i + 4*b = -7*i + 10312. Is i composite?
True
Let n be (-2)/(-2) - (-2)/(-5 + 3). Suppose n = 38*j - 36*j - 146. Suppose 603 - j = 10*o. Is o a composite number?
False
Let v(l) = -3*l + 12. Let z be v(4). Suppose 2*k - 7 + 1 = z, -2*d - 5*k - 203 = 0. Let u = d + 123. Is u composite?
True
Let k(j) = -j**2 + 10*j - 14. Let s be k(8). Suppose 2*z = -z + x - 139, 0 = 3*z + s*x + 136. Let g = 23 - z. Is g composite?
True
Let x = -442 - -257. Let w = x - -21. Let l = 305 + w. Is l composite?
True
Let n = 616700 + -337389. Is n a composite number?
False
Suppose -6*f - 165 = -3*f. Is 219/15 + (-22)/f prime?
False
Let m(z) = 25*z**3 + 158*z**2 - 57*z + 61. Is m(27) composite?
False
Let x(i) = 5583*i**2 - 146*i + 1086. Is x(7) a composite number?
True
Let r = -524 + 458. Is -6*2/r - 963574/(-22) a prime number?
False
Suppose 0 = -5*b - 10*x - 9175303 + 25191568, b - 2*x - 3203245 = 0. Is b a composite number?
True
Let u be ((81/2)/(-9))/((-2)/1964). Let p = u - 2734. Is p a prime number?
False
Let p = 76 + -65. Suppose -2*z + 25 = z - g, z - g = p. Suppose -862 = -9*t + z*t. Is t a prime number?
True
Let f = 125 - 89. Is (15126/9)/(24/f) prime?
True
Let z(x) = -x**3 - x**2 - x + 1. Let y(b) = 465*b**3 + b**2 + 8*b - 6. Let k(l) = -y(l) - 5*z(l). Let w be k(2). Let f = w - -5786. Is f prime?
False
Suppose 2*s - 2 = -z, 0 = -3*z + 2*s - 0*s - 18. Is z/38 - 123097/(-323) composite?
True
Let q = 90872 - 55660. Let c = q + -20723. Is c a prime number?
True
Suppose 0 = -x + 3*g + 13505, -9*x + 14*x + g - 67429 = 0. Is x composite?
False
Let i(y) = -y**3 - 9*y**2 - 20*y - 41. Let n be i(-7). Suppose 3553 = 3*l - 4*s, 5*s - n = 9. Is l a prime number?
True
Suppose 7*c + 24 - 3 = 0. Let k(f) = -f**3 - 21*f**2 - 52*f + 37. Let i be k(-18). Is (70/c)/i*6/(-4) a composite number?
True
Let f be (0 + (-15)/10)/(3/(-28)). Suppose f*j = 397344 - 110022. Is j a composite number?
True
Suppose 192*a + 58686742 = 185132758. Is a prime?
True
Let m = 17095 + -5364. Is m a composite number?
False
Let l be 2/(-1 - (0 - (-4 + 3))). Let w be (l/3)/(5/(-75)). Suppose 2*n - 439 = 2*i - 17, 0 = 2*n + w*i - 422. Is n a composite number?
False
Let w(i) = 434*i**2 + 19*i + 8. Is w(-11) composite?
False
Let c = -421 - -2476. Suppose 22 = -3*m + 7, 5*t - c = -5*m. Suppose 0 = 5*z - 1161 + t. Is z a prime number?
True
Let r = -3399 - -5595. Suppose -m + r = -1541. Is m composite?
True
Let v(t) = 1490*t**3 - 2*t**2 - 10*t + 63. Is v(5) a composite number?
True
Let o be (73 + (3 - 2))/((-12)/(-288)). Let m = o - 5309. Let u = m - -5170. Is u prime?
True
Is 10220876/85 + (-1 - (-10)/25) a prime number?
False
Is ((-8)/(-6))/(388/5878491) a composite number?
False
Suppose 55855 = 2*p - 3*d, p - 3*d - 27924 = 2*d. Suppose -3*f = -2*h + p, h = 15*f - 13*f + 13965. Is h composite?
False
Suppose 2564207 = 59*a - 1403130. Is a prime?
False
Let q = -672990 - -967469. Is q a prime number?
True
Suppose -361552 = -u + x, -4*x = -269 + 233. Is u prime?
True
Let n(a) = 137 + a + 37*a + 166*a. Is n(10) prime?
