 - 1). Suppose 2*c = -1867 + z. Suppose 8*v = 12*v - c. Is v composite?
True
Let d(v) = -v**2 - v - 2. Let w(h) = -27*h**2 + 5*h - 34. Let t(o) = -6*d(o) - w(o). Let q be t(-8). Suppose -q + 192 = -2*b. Is b prime?
False
Suppose 34926900 = 76*o + 13535864. Is o composite?
True
Let p(o) = 51*o**2 - 43*o - 11. Let w(s) = -2*s**2 + 26*s - 18. Let f be w(12). Is p(f) composite?
False
Let a(m) = 752*m**3 + 3*m**2 - 7*m + 3. Is a(1) composite?
False
Let p = -50 - -53. Suppose 3*r = p*h + 312, 7*h = -5*r + 2*h + 520. Let t = 150 + r. Is t prime?
False
Suppose -1339 + 41875 = 6*r. Suppose a + 3*k + 6768 = 4*a, 0 = 3*a + k - r. Let q = -982 + a. Is q prime?
False
Let z(w) = 52*w**2 - 13*w - 173. Is z(-30) prime?
True
Let w(j) be the first derivative of 61*j**3/3 + 21*j**2/2 - 63*j + 40. Is w(10) prime?
True
Suppose 5*i - v - 30 = 0, 7*v - 10*v = -4*i + 35. Suppose i*a + 6831 = 32*a. Is a a prime number?
False
Let x(d) be the second derivative of 1/2*d**3 - 4*d - 3/2*d**2 + 5/12*d**4 - 1/5*d**5 + 0. Is x(-3) prime?
False
Let o = 88 + -137. Let u = -51 - o. Is ((4/6)/u)/(29/(-10701)) a composite number?
True
Suppose 0 = 18*b - 23*b - 450. Let a be (36/b)/((-1)/5). Suppose -5*w = -a*j + 151 + 190, 148 = j + 5*w. Is j a prime number?
True
Is (-10000560)/(-25) - -8 - 3/(-5) a composite number?
False
Let k be 10 + (1/(-7) - (-264)/84). Suppose -l = k*l - 240310. Is l a prime number?
False
Suppose -g = -8*p + 6190555, -31*g - 3095261 = -4*p - 36*g. Is p a composite number?
True
Let a(z) = 7932*z - 1879. Is a(15) a prime number?
True
Suppose -3*g - 2*g - 1 = 2*d, -2*g - 2 = 0. Suppose 2*y - 18634 = 2*w, -2*y + 4*w + 46583 = 3*y. Is d/8 + y/36 a composite number?
True
Let r(f) = -10*f**2 + 18*f - 23. Suppose 9*m + 13 = -122. Let p be r(m). Let n = p - -6070. Is n a prime number?
True
Suppose 12*j = 13*j - 11. Let f(c) = -6 + 6 + j*c**2 + 4*c + 9 + c**3. Is f(-10) a composite number?
True
Suppose -36*b - 884 = -2*b. Suppose -117 = -4*h + h. Let m = b + h. Is m prime?
True
Let s be -7 + 3 + 12 - 6. Suppose -5*d = s*w - 2284, -3*w + 5*d = -1585 - 1816. Is w prime?
False
Let x be ((-2)/4)/((-1)/144). Suppose -2*v + 1000 = x. Suppose -5*s + v = 19. Is s a composite number?
False
Suppose 3*m - 46740 = -5*w, -5*w + 11*m = 9*m - 46765. Suppose -11891 = -26*y + w. Is y a prime number?
False
Let f be ((-3385)/(-3))/5*9. Suppose -2*y + 0*y + f = g, 2*g - 4027 = 3*y. Suppose 4*m - 1127 - g = 0. Is m composite?
False
Let m(n) be the third derivative of -17*n**6/120 + n**5/60 - n**4/3 + 5*n**3/6 - 6*n**2 + 8. Let i = -3 + 0. Is m(i) a composite number?
True
Suppose 3*d = -0*d + 18. Let b be 3837/d - (-3)/(-6). Let t = b + -154. Is t composite?
True
Let v be (1/(-2))/((-580)/144 - -4). Suppose 31180 = -14*q + v*q. Is q a composite number?
True
Let l = 61146 - 2057. Is l a prime number?
False
Let n = -105893 - -325734. Is n composite?
True
Let k(p) = -p. Let y be k(-7). Suppose 3*l = y*l - 77752. Is l prime?
False
Let p be (1 - -9)/(6/(-15)). Let h = p + 30. Suppose h*f + 3*q = 970 + 7701, -5*q = -10. Is f a prime number?
True
Let j = -27163 + 26521. Let i = -1833 - -148. Let y = j - i. Is y a composite number?
True
Let x be 4/(-22) + (-3)/(-33)*46. Suppose 19194 = x*y - 3130. Is y a prime number?
True
Suppose 3*p = -2*c + 7, p - 2*c - 3*c = 25. Suppose s - i - 20322 = 0, -2*i = -3*s - p*i + 60936. Is s a prime number?
False
Let d = -234713 + 508264. Is d a composite number?
False
Let d be (1*-6)/2*184/24. Is d/((-132)/610 - 13/(-65)) a prime number?
False
Let d be (-6281)/33*6/1. Suppose -3*t + 10911 = -0*t. Let r = t + d. Is r a prime number?
False
Let g be ((-52)/(-12) - 4)/(1/21). Suppose -g*z = -25*z + 32814. Is z a composite number?
False
Is (164/(-20))/(((-21)/(-105))/(5758/(-2))) a composite number?
True
Let s be (30197 - 1)*5/20. Let r = s + -5258. Is r a composite number?
True
Let c be (7 - 0) + 5 + -10. Suppose 16 = -0*i + c*i. Suppose i*f = -2*f + 3770. Is f a prime number?
False
Let k = 6351 + -3148. Is k composite?
False
Suppose -38 = -59*o + 40*o. Suppose -3*y + 5140 = i - 756, o*i = 3*y + 11801. Is i prime?
False
Let p(q) be the third derivative of -63*q**4/2 + q**3/2 + 15*q**2. Let c be p(1). Let l = c - -1442. Is l a prime number?
False
Let v(m) = 57*m**3 - 3 - 4*m**2 + 4*m**2 + 1930*m - 1931*m. Is v(4) prime?
False
Let w(d) = 3*d - 40. Let s be w(15). Suppose 3*q - 5*m = 697 + 1325, -3*m + 3336 = s*q. Is q a prime number?
False
Suppose -2*j - 2*z = -50, 9*j + 4*z = 10*j. Let a(n) = 11*n**2 - 80*n - 2. Is a(j) a prime number?
False
Suppose 13*w - 78342 = -9*w. Is w composite?
True
Let c = 747 - 742. Suppose 4*n + n = 0. Suppose 0*u + c*u + 3*m - 3236 = 0, 5*u - 4*m - 3257 = n. Is u a prime number?
False
Suppose 0 = 2*n + s + 2844, -13*s = 4*n - 15*s + 5688. Is 8/(-10) + n/60*-14 prime?
True
Suppose 0 = -3*m - 15, -20*x + m - 437860 = -25*x. Is x composite?
True
Let m(d) = d**2 + 2*d - 9. Suppose v - 5*x = 9, 3*x = 4*v - 2*v - 11. Let p be m(v). Suppose -p*g + 2915 = -10*g. Is g a composite number?
True
Let o = -45 + 42. Let x be 4 + o + 2 + -1. Suppose x*i - 1462 = v, -4*i + 4856 = v + 1932. Is i prime?
False
Let a = 25682 + -7306. Let i = a + -6681. Is i a composite number?
True
Let f(s) = -4*s - 38. Let i be f(-6). Let d be (-3)/(-7) + (-22)/i. Suppose -1269 = -2*p + 2*t - t, -d*t = -p + 639. Is p composite?
True
Suppose 0 = 3*h - 5*v - 4 - 6, 4*h - 4*v = 24. Let o be 4/(-1) - (h - 1070). Suppose -2672 = -4*q - 5*s, 4*s - 947 = -3*q + o. Is q prime?
True
Let y = 44403 + -16118. Is y composite?
True
Let m(n) = -6*n - 163. Let v be m(-28). Suppose -5*p - 3*x = -7727, 0 = 2*p - p - v*x - 1523. Is p a prime number?
True
Let d be (-2)/(24/(-58)) - 1/(-6). Let l = 17 - 14. Suppose -9698 = -l*q + 2*t + 2257, -5*q - d*t + 19900 = 0. Is q prime?
False
Suppose -3*l = -2*m + 11568 + 4054, 3*l - 7820 = -m. Is m composite?
True
Is ((-18)/6)/(105/(-858025)) a prime number?
False
Let t = -108 - -106. Is (-3)/t*(-24)/(-36)*1069 a prime number?
True
Is 137314*14/280*10 a composite number?
True
Let q = -26410 - -105387. Is q a composite number?
False
Suppose 0 = -5*z + 5, 0 = -q - z + 134414 + 362218. Is q a composite number?
False
Let l(o) = -69*o + 140. Let w be l(-9). Let p be ((-1)/(-2))/((-5)/(-5630)). Suppose -4*m + w = -p. Is m prime?
True
Suppose 6*a = -1870 - 12266. Let m(z) = -121*z + 6. Let w be m(5). Let h = w - a. Is h composite?
True
Let z(b) = -b**3 - 3*b**2. Let f be z(-3). Let m(n) = -n**3 + 9*n**2 - 2*n + 20. Let j be m(9). Suppose -j*h = -f*h - 596. Is h composite?
True
Let j be 23409/(-2) - (4 + 63/(-14)). Let t = -7715 - j. Is t a composite number?
False
Suppose 4*z = 20 - 4. Suppose -5*h + 19 = d + 3, 0 = 4*h + 3*d - z. Suppose -794 = -2*u + 4*q, -3*q + 4 = -h*q. Is u a composite number?
False
Suppose 19*z - 39651 - 141135 - 148351 = 0. Is z a prime number?
False
Let v(p) = 2*p - 12. Let y be v(7). Suppose -2*w - 2*g = -3296, 3*w + y*g - 4*g = 4949. Suppose 546 = -f + 4*q + 2199, 5*q + w = f. Is f composite?
False
Let b(i) = i + 4. Let z be b(-2). Let p be (-1269)/135 - (-2)/5. Is p*(-46 - -4) - (z - 3) a composite number?
False
Let p = -1162 - 5294. Is (7*-1)/(24/p) a composite number?
True
Let n(v) = 9676*v**2 + 134*v - 275. Is n(2) a composite number?
True
Suppose 542615 = 31*l - 2593004. Is l a composite number?
False
Suppose 1868 = -7*u + 5*u. Let q be 32/(-12)*2916/(-3). Let w = u + q. Is w composite?
True
Let i(o) = 186*o**3 + 2*o**2 - 54*o + 175. Is i(6) a composite number?
False
Let o(w) = 140*w**2 - 227*w - 170. Is o(-21) a composite number?
False
Let a(y) = 2396*y - 360. Let x be a(7). Suppose 3*w - 45*v - x = -46*v, -2*w = -3*v - 10923. Is w prime?
False
Let m(u) = -63*u - 29 + 49 - 30. Let n = 14 - 21. Is m(n) a composite number?
False
Suppose -21*r + 26*r = 80. Suppose 5*y = 4*z + 59, -3*y = -5*z - r - 9. Suppose 18*k - 3129 = y*k. Is k composite?
True
Suppose -4*q + 214664 = -r, -2*q - 19*r + 107350 = -24*r. Is q a prime number?
False
Suppose -5*i + 2*b + 1058803 = 0, 4*i = -2*b - 154205 + 1001233. Is i a composite number?
True
Let f(d) = -d**3 - 14*d**2 - 30*d - 3. Let k be f(-3). Is 10 + k + 2*523/2 prime?
True
Let v(a) = 323*a - 29. Let z be v(-3). Suppose -3078 = -4*w + 6*w. Let c = z - w. Is c a composite number?
False
Is 236/17