6 = 4*z - 2. Suppose -4096*h = -4091*h - 9 - 1. Suppose -5*r = -f + h*f - 62, r = z*f - 69. Is f a prime number?
True
Let v(x) = -3*x**3 - 6*x**2 - 4*x - 3. Let a(f) = -22*f**2 - f + 1. Let s be a(1). Let u = s + 18. Is v(u) a prime number?
True
Suppose -2*k + 19*k - 2018904 = -7*k. Is k composite?
False
Let c be (-159)/(-33) + 3 + (-248)/88. Suppose -c*g - 4*m + 1247 = -0*m, -2*g = -m - 491. Is g prime?
False
Let a(b) = 3248*b**2 - 7*b + 10. Let f be a(4). Let p be 2/(-6) - f/30. Let y = 75 - p. Is y a prime number?
False
Let a = 515 - 510. Suppose a*u + 3*i = 170729, 4*i + 29540 + 4615 = u. Is u a composite number?
False
Suppose 0 = -4*g + 2*b + 3 - 11, 5*g - b + 4 = 0. Suppose -2 = o, -h + 3619 = -g*h - 4*o. Is h a composite number?
True
Let j(z) = -z**2 + 11*z - 1. Suppose -4*f + 36 = 2*y, 4*f - 5*y + 0*y - 50 = 0. Let u be j(f). Is (-6021)/(-18)*6/u a composite number?
False
Let r = -606695 - -1573348. Is r composite?
False
Suppose -2*u - a + 188073 = 0, -6*u + 2*a = -7*u + 94047. Is u prime?
True
Let u = 30 - 24. Suppose 0 = -0*s - 2*s + u. Suppose -s*q = 5*m - 379, q = -q + 2*m + 274. Is q composite?
True
Let m = -28 - -42. Let w be ((-10)/(-45) + m/18)*1571. Is (6 - 5)/((-1570)/w - -1) prime?
True
Let x be -4*((-18)/(-4))/9. Is ((-51264)/(-6))/8 + 2/x prime?
False
Let q = -279 - -198. Let d = 598 - q. Is d a prime number?
False
Suppose -314*c = -479*c + 53179005. Is c a prime number?
False
Suppose 5*t - 3*t = 2*d + 66152, 5*t = d + 165400. Let y be (-4)/18 - 5/((-135)/t). Let c = y - -1238. Is c a prime number?
False
Suppose 84 = -0*j + 7*j. Suppose 0 = 7*l - j*l + 45. Suppose -l*k = -6*k - 477. Is k a composite number?
True
Let h be ((-11013)/(-6) - -8)/(9/(-12)). Let m = h + 7955. Is m composite?
True
Let v(m) = m**2 - 15*m + 47. Let p be v(5). Suppose 5*g + 41 + 64 = 0. Is ((-1960)/p - 2)*g/(-14) composite?
False
Let g = -94 - -576. Is 7/56*44*g prime?
False
Let u = 52 + -57. Let q be ((-20)/u)/(-4) + 5126. Suppose 2*k + 719 - 2432 = -t, 0 = -3*t + k + q. Is t composite?
False
Let l = -247 + 355. Suppose -110*t + 3412 = -l*t. Is t composite?
True
Let i(g) = g**3 + 15*g**2 - 66*g + 31. Let b be i(13). Is (3 - (6 + -6)) + (b - 1) a composite number?
False
Let k(r) = 76*r**2 - r + 5. Suppose -56 = -4*j - 48. Is k(j) composite?
False
Let i = 458 - -1319. Let k = 243 + 563. Let y = i - k. Is y a composite number?
False
Let k = -501 + 503. Suppose 2*u = -10, k*w - 4*u + 1536 = 6*w. Is w a prime number?
True
Suppose 2*f - 7 = -3. Suppose 10*u - 41 + 1 = 0. Suppose 5*k + 927 = f*x, u*x = -x + 3*k + 2270. Is x prime?
False
Let g(v) = -v**3 + 11*v**2 - 7*v - 7. Let d be g(10). Let m(p) = -p**2 + 23*p + 9. Let t be m(d). Suppose -t*l - l + 25790 = 0. Is l composite?
False
Let h(g) = g**2 + 5*g + 8. Let v be h(-6). Let u be 0*2/v + 3366 + 1. Suppose -3*c - u = -33754. Is c composite?
True
Let g = 1206 - 570. Suppose g = 5*v - v. Is v/2*110/33 prime?
False
Let s(d) = 592*d**2 + 113*d - 8. Is s(-3) a prime number?
False
Let h(k) = -2*k**2 - 14*k + 3. Let u be h(-7). Let m be 1/2 + (-1)/((-10)/15). Suppose 0 = -u*v + m*v + 887. Is v a composite number?
False
Let c = -162772 + 316385. Is c composite?
True
Suppose 0*r + 3*w = 3*r - 15, -5*r + 19 = -3*w. Suppose r*g = -5*g + 132629. Is g composite?
False
Let v = -13295 + 56836. Is v a prime number?
True
Suppose -27*h - 43009 = -28*h + 2*f, -5*h + 2*f + 215085 = 0. Is h a composite number?
False
Suppose 20*g - 5039995 = -72*g - 35*g. Is g prime?
False
Let l = -47207 + 858438. Is l prime?
True
Let h be 516/(5*(-2)/(-25)). Suppose -2*m = 4, 3*z - 5*m - 13978 - h = 0. Suppose -2*g + g = s - 1271, -4*g = 3*s - z. Is g prime?
False
Let s(t) = 186*t**2 - 20*t + 1677. Is s(32) a composite number?
True
Let t(j) = 3*j + 895. Let p = -7 - -7. Let o be ((0 - p)/5)/1. Is t(o) a composite number?
True
Let v(j) = 3*j + 42. Suppose 0 = 4*p + 12, 3*t - p + 34 = -5. Let o be v(t). Suppose -5*i - 2*i + 3353 = o. Is i a composite number?
False
Let a = -73780 + 121239. Is a prime?
True
Let a(y) = y**3 + 64*y**2 + 19*y + 547. Is a(46) a composite number?
False
Let h(l) = -l**2 + 7*l + 33. Let c be h(-3). Suppose -4*y + c*f = -4782 - 373, 5*y - 6420 = -f. Is y composite?
True
Let b = -525 - -547. Suppose -21*d - 5273 = -b*d + 2*s, 5*s = -4*d + 21092. Is d a composite number?
False
Let r(t) = -268*t**2 - 3*t - 7. Suppose 5*q = -3*f - 17, -2*f - 3 = q - f. Let y be r(q). Let s = 7828 + y. Is s prime?
False
Let o = -209785 - -293732. Is o a composite number?
True
Is (-6 - -2)/((240/845140)/(-3)) prime?
True
Let f = -21595 + -16623. Let q = 65127 + f. Is q a composite number?
True
Suppose -q = -0*v + 5*v - 50897, -5*q = -3*v - 254457. Suppose 20*p = 16*p + q. Is p a prime number?
False
Let f = 28 + -24. Suppose 88 - f = -7*z. Let v = z + 235. Is v composite?
False
Suppose -417780 - 1145964 - 1562952 = -24*l. Is l a prime number?
True
Let n(q) = 4057*q - 180. Is n(25) a prime number?
False
Is 32/(-5 + 13) + 4673*(-33)/(-3) a prime number?
True
Suppose 5*o - 27 = -x - 11, -2*x = 8. Suppose o*v + 366 = 1686. Let m = 701 - v. Is m composite?
True
Let t be ((-17)/(-19) - 1) + 1813159/437. Let c = t + 1882. Is c a prime number?
False
Let z(v) = -v - 37. Let b be z(15). Let q = b - -57. Suppose -q*s = i - 11662, -s + 5*i = -6*s + 11650. Is s prime?
True
Let j = 211679 + -136068. Is j composite?
False
Suppose i = -2*i + 5*n + 118512, 0 = 5*i + 4*n - 197483. Is i composite?
False
Let l = 1 - -39. Let o be ((-7)/(-28))/(2/l). Is o + -5 + (1073 - 0) a composite number?
True
Let i(k) = -29720*k + 11. Let o be i(-2). Suppose m + o = 22*m. Is m prime?
False
Let u(n) = -29*n - 82. Let d(x) = -2*x. Let p(y) = -2*d(y) - u(y). Is p(25) composite?
False
Suppose 155985 = -10*i + 15*i. Suppose 24*r - 37395 - i = 0. Is r a prime number?
False
Let w = 17309 - 14848. Is w a prime number?
False
Let r = 275 + 159. Let j = 4119 + r. Is j a composite number?
True
Let h(m) = -m**2 - 10*m - 18. Let x be h(-6). Let j be 1*-1*(-4698)/x - 3. Suppose -1522 = -2*b + j. Is b a composite number?
False
Suppose -6*n - 28 = -64. Suppose 5*r + 414 - 3323 = -2*f, -2*f - n = 0. Is r a prime number?
False
Suppose -10*v + 303188 = 2*v - 8*v. Is v a composite number?
False
Let b = -5668 - -8721. Let w = b - -1356. Is w composite?
False
Let s(a) = 2*a**3 + 7*a**2 + 6*a + 2. Let m(w) = 3*w**3 + 14*w**2 + 11*w + 5. Let r(j) = 3*m(j) - 5*s(j). Let k = 71 + -65. Is r(k) a composite number?
False
Let h be (2 + -3 - -86)*1. Suppose 2*f = -3*l - 9 + 23, -5*l - h = -5*f. Suppose 100 = -9*t + f*t. Is t composite?
True
Let m(w) = -6*w + 137. Let p be m(22). Suppose -5*l = -p*h + 16870, l - 2*l + 16888 = 5*h. Is h a composite number?
True
Let q(f) be the first derivative of 8*f**3/3 - f**2/2 - 15*f + 9. Let h be q(7). Suppose 0 = 24*w - 26*w + h. Is w a prime number?
False
Let k(w) = -9*w + 29519. Is k(0) a prime number?
False
Is 501954/30 + (-4)/5 + -2 prime?
True
Is (685371/(-4))/(((-9)/2)/3)*2 a composite number?
False
Suppose n - 2 = 144. Is ((-14342)/4 - 1)*n/(-219) prime?
False
Let u be 4*4/24*(-45)/(-6). Suppose -u*i = -4*c - 254 - 2571, 701 = -c - 4*i. Let a = -106 - c. Is a composite?
False
Suppose -3*n + 69 - 54 = 0. Suppose -14*d = n*d - 5567. Is d a composite number?
False
Let u be (1 - -1)*(6 + 0 - -86). Let t = u + 1257. Is t composite?
True
Suppose -24*m + 63 = -20*m + 5*d, 5 = -d. Suppose 269736 = m*z + 2*z. Is z a prime number?
True
Let a be 1127/49 - (-8)/(-2*1). Let v(k) = 28*k**2 - 5*k - 6. Is v(a) a prime number?
True
Let f(z) = 90162*z**2 + 799*z + 3183. Is f(-4) composite?
False
Suppose 29*o - 50*o + 16121047 = 26*o. Is o a composite number?
True
Is 1 - (-263770)/(-52)*15*-4 a prime number?
False
Suppose 2*v - 4808 = 4976. Let g be 0 - (-5)/(20/v). Suppose r - g - 312 = 0. Is r prime?
False
Suppose -3*k + 19 = -2*z, -k + 5*z + 16 = -4*k. Suppose 3*s - 249 = 3102. Suppose -k*g + 2*g = -s. Is g a composite number?
False
Suppose -3*l + z - 1 = 0, 5 = 5*l - 2*l - 4*z. Let y(q) = -42869*q - 16. Is y(l) a composite number?
False
Let v = 19353 - 12639. Suppose -v = 7*l - l. Let t = l - -1766. Is t a composite number?
False
Let a(r) = -494*r. Let d be a(2). Let z be (-4)/8*4 - d. Suppose 5*g + 24 = 9, 0 = 2*l - 4*g - z. Is l composite?
False
Let j(z) be the second