s x(l) prime?
True
Let l be ((0 - 4/1) + 3)*1. Let a(d) = -552*d**3 + d**2 + 2*d. Is a(l) composite?
True
Let m = -461 + 1510. Suppose 4*t + m = -903. Let q = t - -753. Is q a prime number?
False
Let n = 886 + 9247. Is n a prime number?
True
Suppose -5*k + 5608 = -k. Let z be (-10)/30 - k/6. Let j = -131 - z. Is j composite?
False
Suppose -5*z = -2247 - 2253. Let x = -421 + z. Is x composite?
False
Let f = 52 + -44. Suppose -f*k + 14*k = 9354. Is k a prime number?
True
Let p(i) = 12*i**3 + 3*i**2 + 2*i - 1. Suppose 2*y + 3*l + 2*l = -4, -l + 7 = 3*y. Let c be p(y). Suppose 0 = -15*q + 11*q + c. Is q a prime number?
True
Let j be ((-30)/35)/((-2)/(-14)). Let c be j - -7 - 4*-1. Suppose 4*t + 0*g - 479 = -c*g, -2*t - 2*g = -240. Is t a composite number?
True
Let r(c) = c**3 + 12*c**2 - 5. Suppose 0 = 25*d - 29*d - 32. Is r(d) prime?
True
Let m = -7506 + 13891. Is m a prime number?
False
Let n = -43 - -30. Let a = -11 - n. Suppose 4*f - 354 = g - 4*g, -a = -g. Is f a prime number?
False
Let b(r) = -8*r**3 + 9*r**2 + 39*r - 21. Is b(-10) composite?
True
Is ((-1)/2)/(53694/(-26844) - -2) a prime number?
True
Let h(p) = p**3 + 6*p**2 - 2*p - 4. Let r be h(-6). Let m be (447*(-1)/(-2))/((-3)/66). Is (-6)/r - m/12 a prime number?
True
Suppose r + 0*r - 4 = 0. Let t = 919 - 526. Is (t/9)/(r/12) a composite number?
False
Suppose -3*o = w - 1 + 9, 5*w = -25. Is (3 + 1316)*o*3/(-3) prime?
True
Let p = -13 - -7. Is p*3/6*(-1382)/6 composite?
False
Let n(g) = 54*g**2 - g + 8. Let r be 8/(-32) + 0 + 13/4. Is n(r) a prime number?
True
Suppose 2*o = -8, -t - o + 11383 = o. Is t prime?
False
Suppose 17 = 6*n - 19. Is 190 + 0 + (-5)/10*n prime?
False
Suppose -26990 = -31*b + 26*b. Is b prime?
False
Let t(w) = -2029*w - 332. Is t(-3) composite?
True
Let k be (25 + -20)*1784/10. Let g = 3481 + k. Is g prime?
True
Suppose 0 = -3*k, b - 4*b - 2*k = 936. Let w = 525 + b. Is w prime?
False
Let x = -49 - 19. Let y = x + -101. Is (-26)/y + 7239/13 a composite number?
False
Let u = 94 - 216. Is (-4 - u/4)/((-1)/(-6)) composite?
True
Let v(y) = -6*y**3 - 10*y**2 - 17*y + 1. Is v(-8) composite?
True
Let p = -188 - -263. Let i = p - -43. Is i composite?
True
Let r = -1375 + 4110. Is r prime?
False
Suppose 4*z - 393451 = -5*i, i + z - 148 - 78542 = 0. Is i prime?
True
Suppose -2*k + 0*u = u + 1, -3*k + 2*u + 16 = 0. Suppose 3*q = k*q. Is ((-30)/3)/(-1 + q) a composite number?
True
Let g = 15 - 16. Let x be (17 + -4)/(g/(-1)). Let d = x + -10. Is d composite?
False
Let z(c) be the second derivative of 7*c**6/360 - c**5/40 + c**4/6 + 2*c**3/3 - 2*c. Let i(w) be the second derivative of z(w). Is i(3) prime?
False
Is (9 - (1 + 12)) + 3381/1 prime?
False
Let h be (-13 - -1)*2/(-6). Let p be 462/(-39) - h/26. Is ((-60)/16)/(p/32) a composite number?
True
Suppose -2*r - 8396 = -6*r. Is r a composite number?
False
Let g = 29519 + -3646. Is g a prime number?
True
Let s(j) = 513*j - 359. Is s(56) composite?
True
Suppose 47 - 43 = 2*y. Suppose 4 = 4*z - 32. Suppose -y*d = 3 - z. Is d a prime number?
True
Let m(l) = -11652*l + 5. Is m(-1) a prime number?
True
Let a = 0 + 1. Is 822/14 + (2/7)/a composite?
False
Let v be 16/(-2)*2/(-4). Suppose 4*b = -20, -v*x - 3*b = -0*x - 1577. Let p = x + -141. Is p prime?
True
Let i = -14 - -46. Let c be (-71)/(-5) + i/40. Let b = 16 + c. Is b a composite number?
False
Let d(j) = 5*j**2 - 7*j - 12. Let h be d(10). Suppose 0 = p + h - 1160. Let l = -191 + p. Is l a prime number?
False
Let y be (-1 - -1)/(7 - 9). Suppose y = -b - b + 862. Is b composite?
False
Suppose 2*m + m - 959 = 2*v, -5*v - 2394 = -4*m. Let y be ((-22)/110 + (-188)/10)*9. Let r = y - v. Is r a composite number?
False
Let b(l) = -l**2 - 3*l**2 + 5*l**2 - 3*l - 7. Let z(s) = s**2 - 2*s + 4. Let g be z(3). Is b(g) a composite number?
True
Suppose 21*j + 76120 = 26*j. Suppose 4*h = -4*h + j. Is h composite?
True
Let h = -9682 - -26169. Is h composite?
False
Let i(c) = -c - 2. Let z be i(-4). Suppose 6*o - z*o + 40 = 0. Is (0 - -74) + 7 + o composite?
False
Let w(a) = 50*a + 23. Let c be (2 + (-36)/16)*-28. Is w(c) composite?
False
Suppose 4*q - 3 = -19, -2*o - 88 = -3*q. Let x = o + 241. Is x prime?
True
Let y = -742 - -1919. Is y composite?
True
Is ((-90)/60)/((-6)/76316) a composite number?
False
Let k(m) = 2986*m - 603. Is k(10) composite?
True
Is 13831 + 6 + -7 + 7 composite?
True
Suppose -30 = -3*r - 18. Suppose -9*s = -r*s - 4445. Is s prime?
False
Let h(b) = 50*b**3 + 4*b**2 + 3*b - 1. Let j be h(-3). Is j/(-2)*(-2)/(-4) prime?
True
Let x(p) = 232*p - 6. Let c be x(3). Suppose 2*q + c = 2008. Is q prime?
True
Let q(j) = j**3 + j**2 - 5*j - 6. Is q(3) prime?
False
Let h = 11 - 8. Suppose 0 = -h*k - 147 + 852. Is k prime?
False
Let h(l) = l**3 + 3*l**2 + l + 3. Let t be h(-3). Suppose c - 10*c + 17541 = t. Is c prime?
True
Let j be -28*(68/(-8) + 3). Let d = 239 - j. Is d composite?
True
Suppose -5*g + 27777 = -4*k, -5565 = -g - 7*k + 3*k. Is g prime?
True
Let w be -2 - -1 - (2 + -6). Let c(o) = 152*o - 7. Is c(w) composite?
False
Let j = 8788 + -3321. Suppose -12*z + j - 439 = 0. Is z composite?
False
Is (1 + (-73271)/(-2))*2 a prime number?
False
Let d(w) = w**3 + 10*w**2 - 7*w - 7. Let v be d(-11). Let j be (-34)/v - (-8)/6. Suppose 5*b - 121 = j*q, 0*b - q = -4*b + 95. Is b composite?
False
Let d = 2001 + -1381. Suppose 4*p - 3*w - w - d = 0, 5*w = -2*p + 324. Is p a prime number?
True
Is (-2*(-1)/10)/((-164)/(-28143220)) prime?
False
Let m(f) = -9*f**2 - 9*f + 4*f - 6 + 13 - f**3. Is m(-10) a composite number?
False
Let n = 6 - 4. Suppose -3*q + g + 226 = 0, 4*g - 2*g + 2 = 0. Suppose -5*i + n*x + q = -200, -5*i + 295 = 2*x. Is i composite?
True
Let d be -146*(-4 - (-12)/8). Is d/25 + (-6)/10 a composite number?
True
Suppose 0*g = -5*g + 4*m + 68, -5*g + 86 = 2*m. Let d be ((-12)/g)/((-1)/4). Is (-5628)/(-30) - d/5 prime?
False
Is 4 + 6806*(2 - 24/16) a prime number?
True
Is 2/((-6)/14 + (-327003)/(-762909)) prime?
False
Let g(l) = l - 12. Let s be g(13). Is s/(-5) + (-30701)/(-5) - -3 composite?
False
Is (-4)/6*((-9490767)/26)/11 composite?
False
Let g = 176 + -102. Suppose 136 = 4*s - 2*x, 5*s - g - 105 = -2*x. Is s a prime number?
False
Let l(a) = -110*a**3 - a**2 + 2*a - 1. Let c be l(1). Let p = 1767 + c. Is p composite?
False
Let q(m) = 12*m - 29. Let g = 12 + -10. Let n be (260/8)/5*g. Is q(n) a composite number?
False
Let i(x) = -4*x**3 + x**2 + 2*x + 45593. Is i(0) prime?
False
Let x = -8 + 0. Is x/(-2) + (-2 - -231) composite?
False
Let h(a) = -31*a - 17. Let d be (-6)/9 - 37/3. Is h(d) composite?
True
Let m = 65461 - 39124. Is m prime?
False
Is (12099 - 28)*2/(-1 - -3) prime?
True
Let t(r) = r**3 - 6*r**2 - 6*r + 2. Suppose 4*y - 39 = 4*k + k, 4 = 4*k. Let v = y - 2. Is t(v) composite?
False
Let y(i) = -11*i + 3. Let v be y(2). Let w = v + 177. Suppose -43 = j - w. Is j a composite number?
True
Suppose 2*t - 76306 = -11958. Is t a composite number?
True
Let f be (-6 - -151)*(1 - 0). Suppose -f = -h + 66. Is h a composite number?
False
Suppose -11*b = -12*b - 5*h - 145, -4*h + 628 = -4*b. Suppose -4*m = 116 + 196. Let z = m - b. Is z composite?
True
Let m = 3571 + -998. Is m prime?
False
Suppose 0 = 2*f - 8, 40*c - 36*c - 346436 = 2*f. Is c prime?
False
Suppose -3*v + 5*o = -29356, 7*v - 4*o = 3*v + 39128. Suppose 5*z + 3*n = 5129 + v, -11923 = -4*z - 3*n. Is z a composite number?
True
Let t = -11 + 26. Let j be (-18)/(-4)*10/t. Suppose 5*q = -p + 653, -q + j*p = 2*q - 399. Is q prime?
True
Let x be 2 + (1 - 2) + 618. Let j be 16/(-200) - (-46010)/125. Let p = x - j. Is p prime?
True
Let s = 1524 - 6358. Suppose 1256 + 5041 = -3*b. Let i = b - s. Is i a composite number?
True
Suppose 5*v = -3*g + 6962 - 1162, -3469 = -3*v - 4*g. Is v a prime number?
True
Suppose 3*i = i + 20. Let m be (i + -3)*(1 - 0). Suppose m = x - 76. Is x composite?
False
Let h = 5143 + 1186. Is h prime?
True
Let f(u) = -3*u**2 + 25*u - 27. Let t be f(1). Let l = 4 + 3. Is 1/t*(-642 + l) prime?
True
Let y(d) = -3*d**2 + 1. Let i be y(-1). Is (-7 + 8)/((-6275)/(-3137) + i) a prime number?
True
Suppose -1454205 = -51*a + 656226. Is a a prime number?
True
Let u = 12667 + -4008. Is u a composite number?
True
Let t(y) = y + 10. Let k be t(-5). Suppose -6*x = -k*x + 86. Let r = -49 - x. Is r co