composite number?
False
Suppose 28*r - 31*r = 0. Suppose 4*p - 5*v + 5547 - 895 = r, -p = -v + 1164. Let t = -483 - p. Is t composite?
True
Let v(i) = i**2 - 14*i. Let d be v(14). Let r be (0 + -1)*(-2 + d + 0). Is (-4063)/(-34) + ((-1)/r - 0) prime?
False
Let q be (-1 + 0)/((-21)/33537). Let w = q - 198. Is w a composite number?
False
Suppose 0 = -470*c + 476*c - 2712. Let w = 1881 + c. Is w a prime number?
True
Let m = 7852 + 176011. Is m composite?
True
Let o(c) = 623*c**2 - 35*c + 499. Is o(30) prime?
True
Let n = -517 + 507. Is 2878/6 + n/6 a composite number?
True
Let v = -618501 - -1232300. Is v a prime number?
False
Suppose 178010 = 2*d - w - 3564, -w = -d + 90787. Is d prime?
True
Let a be ((-570)/25)/(12/6520). Let q = -1470 - a. Suppose 4*o - q = 3366. Is o a composite number?
False
Let u(c) = 15*c + 15. Let o be u(4). Let s = -73 + o. Suppose 5*i + 2*x = 18731, 2*x = -5*i - s*x + 18727. Is i composite?
True
Suppose 7*x - 287089 = 6*x - 10*x. Is x a composite number?
False
Let q(k) = -2*k**3 - 4*k**3 - k + 3*k**3 + 120*k**2 - 130*k**2. Let d be q(-7). Let p = 820 - d. Is p a composite number?
True
Suppose -3*y + 21 = 5*b - 3*b, 1 = 2*b - y. Suppose -16*r + 24*r = 0. Suppose -b*j = r, -m + j = 3*m - 3476. Is m a prime number?
False
Suppose -15490 - 92679 = 56*j - 57*j. Is j prime?
False
Let c = 1786 - -970. Suppose 441 + 951 = 2*y - x, 4*y = -5*x + c. Is y a prime number?
False
Suppose -3*b - 3*x + 2769 = 2*b, -b - 4*x + 564 = 0. Suppose 0 = 4*q - b - 120. Suppose 4*c = q + 340. Is c composite?
False
Suppose -1152 = -126*u + 120*u. Suppose -191*c = -u*c + 25. Is c a composite number?
True
Let s be 1/9 + 304/(-144) - 0. Is 13236 + (9 + 5)/s a prime number?
True
Suppose 22*x - 18*x + 138452 = 0. Let o = -19618 - x. Is o prime?
False
Let h = 433 + 336. Suppose -2022*m + 2021*m = -46. Let s = m + h. Is s a composite number?
True
Suppose -7*a + 1 = -3*a + 5*b, 5*a + b = -4. Let p be 4*(a + (-18)/(-8)). Suppose -2*y + 2112 = p*m, y - 1051 = -0*y - 5*m. Is y composite?
False
Let j(p) = 15070*p - 859. Is j(3) composite?
False
Suppose 5266*n - 1813129 = 5207*n. Is n a prime number?
False
Suppose 42 + 32 = 5*d - 2*c, 4*d + 4*c - 48 = 0. Suppose 0 = -d*i + 34597 + 11239. Is i prime?
False
Suppose 5*u - 5*a - 287383 = 116797, -5*a = -2*u + 161663. Is u prime?
False
Suppose -17*g = 12*g + 670480. Let u = g + 77313. Is u a prime number?
True
Let y(f) = 907*f**2 - 8*f - 8. Let c(h) = h**3 + 12*h**2 - 13*h - 1. Let k be c(-13). Is y(k) a composite number?
False
Let x = -806 - -818. Let f(y) = 9*y**2 - 19*y + 47. Is f(x) a prime number?
False
Let l be (-52726)/(-4) - 3/6. Suppose -2596 = -9*c + l. Is c a composite number?
False
Let w(z) be the first derivative of -2/3*z**3 + 7 - 7*z + 2*z**2 + 2*z**4. Is w(3) prime?
False
Let n(u) = 253*u**2 + 9*u - 11. Let z(q) = 11*q + 67. Let f be z(-6). Is n(f) a prime number?
True
Let z = 27 + -23. Suppose 0*j = 2*y + j - 2695, -z*y + j + 5375 = 0. Suppose 19*p = 14*p + y. Is p prime?
True
Let u = 24 + -27. Let m be (8/2)/2 + 116 + u. Suppose -n = -144 - m. Is n a composite number?
True
Suppose 2*r - 17*j + 12*j - 757046 = 0, -j + 1135569 = 3*r. Is r prime?
True
Let h(c) = 54*c - 101. Suppose 24*t - 50 = 22*t. Is h(t) a composite number?
False
Let f = -588 - -588. Suppose 2*y = 0, -10*t + 7*t - 4*y + 46581 = f. Is t composite?
False
Is (0 + 3/2)/(6*(-19)/(-5515852)) a composite number?
False
Let i(y) = 98*y**3 + 3*y**2 - 3*y - 3. Suppose 2*c - 4*x = 6 - 8, 4 = -c + 3*x. Suppose -8*q + 4*h + 6 = -c*q, -6 = -3*q + h. Is i(q) prime?
True
Let i(z) = 8*z + 112. Let l be i(-13). Suppose -22*m + 6090 = l*m. Is m a composite number?
True
Suppose -2523 = 7*x - 4*x - 3*j, 0 = 3*x + 4*j + 2488. Let o = 7605 + x. Is o prime?
False
Suppose 20*k - 1063007 = -0*k + 252813. Is k prime?
False
Suppose 8*i - 192 = 11*i. Let m = i - -56. Is -8 - m - 178/(-2) a prime number?
True
Suppose 39 = -2*m - 81. Is -92*(-383)/6 - 20/m prime?
False
Let y = 62 + -60. Suppose 12755 = m - y*f + 6*f, 63829 = 5*m + 2*f. Is m prime?
False
Let f be (6 + -6)*(-3)/(4 + 2). Suppose 0 = 5*v - f*v - 5*t + 10, -4*t = v + 2. Is 1 + v/(348/(-172) - -2) a composite number?
True
Let k(o) = 5*o**2 + 5*o - 3. Suppose 29*s - 233 - 318 = 0. Is k(s) composite?
True
Let d(f) = 70*f**2 - 29*f + 8. Let m be d(-13). Suppose -2*b - 3*b + m = -4*i, 0 = -5*b + 3*i + 12215. Is b a prime number?
False
Suppose -6*d + 22*d - 850564 + 227316 = 0. Is d composite?
False
Let t be ((-2)/(-3))/((-8)/60). Let h be (-1 - t) + (-5 - -4). Suppose 2*o = h*u - o - 753, 0 = 2*u + 3*o - 512. Is u composite?
True
Let c(w) = 1072*w**2 + 48*w - 521. Is c(6) a composite number?
True
Let q = -314028 - -1027445. Is q a composite number?
False
Is 1*5/(-2) + (-17530906)/(-236) prime?
False
Let o be 1*-14*(-2)/4. Suppose -o*w + 242 = 18. Is w/(-48) - (0 + (-1475)/3) prime?
True
Let i(r) = 2*r**3 - 38*r**2 + 32*r + 675. Is i(46) prime?
True
Suppose 10 = 3*x - 8. Let r be (-8)/24 + 500/x. Suppose r - 249 = -y. Is y a composite number?
True
Suppose -24*d + 1671580 - 416439 = -1662563. Is d a prime number?
True
Let d = -56 + 88. Let y(j) = 1 - 53*j**2 + 0 - d*j + 134*j**2 + 21*j. Is y(-5) a composite number?
False
Let i be -91*(-6 + -153) - 3. Suppose i = 50*d - 44*d. Is d prime?
True
Let x = -33 - -35. Let h(v) = 46*v + 25*v + 3 + x*v. Is h(8) composite?
False
Let u(o) be the second derivative of -95*o**3/3 + 61*o**2/2 - 74*o. Is u(-3) prime?
True
Let n(m) = 2*m - 4. Let v be n(2). Suppose v = s - t - 2*t - 2322, -20 = -5*t. Suppose -c = w - s, -w = 6*c - c - 11666. Is c composite?
False
Suppose -5*v + 137864 = 3*a + 14301, 164749 = 4*a + 5*v. Is a a prime number?
False
Let x(y) = y**3 - 27*y**2 - 57*y + 63. Let i(u) = 14*u**2 + 28*u - 31. Let c(v) = -13*i(v) - 6*x(v). Is c(-11) a prime number?
False
Suppose -k - 4*l = k + 52, 0 = -3*k + l - 99. Let h = k + 40. Suppose h*c - 201 = 10687. Is c a prime number?
True
Is (((-1278522)/(-30) - 1*5)*-5)/(-2) composite?
False
Let x = -4410 - -6804. Let d = x + -77. Is d composite?
True
Suppose -5*y = 4*c - 31, 4*y - 20 = -3*c + 4. Suppose 0 = 20*u - c*u - 61296. Is u prime?
False
Let d be -5 + (-1 + 0)/(-1). Let t(x) be the first derivative of 61*x**3/3 + x**2 - 9*x - 1867. Is t(d) prime?
False
Let c(g) = -194656*g + 1791. Is c(-2) prime?
True
Suppose 5205*a + 43068319 = 5306*a. Is a composite?
True
Let a = -1167 + 1625. Let y = 243 - 436. Let p = y + a. Is p composite?
True
Let p = -47 + 51. Let j be (2 - -6)/p + 0. Suppose j*a + a - 137 = 2*f, 0 = -a + 2*f + 43. Is a prime?
True
Suppose 41314112 = 1066*u - 205*u - 107507155. Is u a composite number?
True
Let o = -42 - -48. Suppose 0*u + o = -u - 4*a, 3 = u - 5*a. Let l = 201 - u. Is l a prime number?
False
Let h(t) = -1327*t - 1307. Is h(-12) a composite number?
True
Let a(l) = 11*l + 126. Let p be a(-11). Suppose -26806 - 3599 = -3*t - 2*c, 0 = 3*t - p*c - 30384. Is t a composite number?
False
Let i(v) = 423*v**3 - 14*v**2 - 38*v - 9. Let s be i(-5). Is (-35 + s)*(-1)/3*1 composite?
True
Suppose 7*v = 15*v - 80. Suppose -3*h = -v*h + 67585. Is h a prime number?
False
Suppose 0 = -5*n - 3*o - 9, n + 2*o = 5*o + 9. Suppose v + 19*v - 10580 = n. Is v composite?
True
Let z(g) = g**3 + g**2 - 2*g + 6. Let d be z(-3). Let h be d/(-27) + (-21)/(-27). Is 1 + (1 - h) + 264 a composite number?
True
Is -6 - ((-1936374)/(-9))/((-6)/45) prime?
True
Let n(x) = -2*x**3 + 14*x**2 - 56*x - 87. Is n(-20) a prime number?
False
Let p(x) = 2*x**3 + x. Let y(a) = 8*a**3 - 9*a + 39. Let j(t) = 5*p(t) - y(t). Is j(7) a prime number?
False
Let d(h) = -h**2 - 10*h + 79. Let f be d(-15). Suppose 0 = f*r - 8, 31*r + 27516 = 2*m + 36*r. Is m prime?
False
Suppose -32114 = 2*w - 3356. Let j = -16451 - -8139. Let s = j - w. Is s prime?
True
Let u(g) = -24*g - 120. Let o be u(-6). Is 6/o + 6*2957/8 a prime number?
False
Suppose -5*g = 4*b - 33, g + 7 - 28 = 4*b. Is -3*(3/(g/(-5357)) - -2) a composite number?
False
Let j be (-2)/4*3*28/(-6). Let w = j - -6. Is (-6)/(-8) - ((-171639)/12)/w prime?
False
Suppose 11 - 1 = 5*l - 5*o, -4*l - 3*o + 1 = 0. Suppose 5*k + l - 2 = -3*j, 4*j + 2*k - 6 = 0. Suppose 0 = -2*i + m + 34, -j*m + 1 = i - 6. Is i a prime number?
False
Let a = 23122 + 1850. Suppose 33*p - 37*p = -a. Is p composite?
True
L