rue
Let k be 6 + (1/6 - -5*(-57752)/240). Which is bigger: k or 1?
1
Let m(g) = -2*g. Let d(k) = -7*k + 24. Let v(t) = d(t) - 3*m(t). Let z be v(9). Which is smaller: z or 14?
14
Let p = -16 + 10. Let d be (-3)/(0 + p/2). Let t(a) = -a**3 - 6*a**2 + 2*a + 25. Let y be t(-6). Which is bigger: d or y?
y
Suppose 2520 = 5*v - o, 893 + 619 = 3*v - 5*o. Suppose 174*k - 170*k - v = 0. Is k greater than 128?
False
Let v = -967 + 966. Is 8/1221 equal to v?
False
Let z = -93 + 93. Suppose 5*f + 0*f - 4*o + 4 = z, -2*o - 28 = 5*f. Let x be (6/f)/(-3*12/54). Is 2 smaller than x?
True
Let w = 12502 - 12334. Which is bigger: -63 or w?
w
Suppose -2*q - 9 = q. Let r = -4768749/16 + 298044. Which is smaller: r or q?
q
Suppose 3*r = 1 + 23. Let o = r - 36. Let i be 367/(-4) + 7/o. Is i less than -91?
True
Let r(u) = 4*u**2 - 41*u - 7. Let s be r(11). Let a be (s/(-39))/((-7)/((-63)/(-6))). Which is smaller: 0.57 or a?
0.57
Suppose 3*d - 2*h = -d - 86, -3*d = 5*h + 84. Let a(c) = -c**3 - 22*c**2 + 151*c + 411. Let u be a(-27). Which is bigger: u or d?
u
Let r = -4.2 - -4.143. Let m = 75.057 + r. Which is bigger: 0 or m?
m
Suppose -48*w - 112*w = -51*w + 3488. Does w = -36?
False
Suppose 5969 - 5501 = 26*v. Suppose -p - 95 = a - 6*a, -19 = -a - 2*p. Are v and a unequal?
True
Let k = 45/17 - 8476/3247. Which is bigger: k or 0?
k
Let c(x) = -4*x**2 + 4*x - 2. Suppose 10*z + 17 = -133. Let k be c(z). Let r be k/636 + (-18)/(-12). Is r <= 0?
True
Let k(n) = n**2 - 2*n. Let d(z) = 15*z + 16. Let s(u) = d(u) + 2*k(u). Let i be s(-3). Are i and 2/133 equal?
False
Let a be 14/(-70)*0/(-3). Which is smaller: a or -1/4507?
-1/4507
Let a = -832 + 384. Let p = a - -448. Which is greater: 530 or p?
530
Let r = 173 - 191. Let b be 3/r + (-25)/(-600). Is b not equal to 0?
True
Let o(c) = -c**3 + 39*c**2 - 31*c - 262. Let f be o(38). Which is smaller: -49 or f?
-49
Let c = 6929 + -6929. Which is bigger: 5/942 or c?
5/942
Let c be -5*((-48)/15 - 2). Suppose -2*n + 0*n = 3*v + c, -2*n + 10 = -3*v. Let m(r) = r**2 + 3*r - 14. Let f be m(v). Which is greater: 2 or f?
f
Let b be (1*3)/(6/21)*2. Suppose 0 = b*p - 10*p + 44. Is p < -4?
False
Let t = -0.436 + 0.336. Which is greater: 4.96 or t?
4.96
Let g = -18202 - -18203. Is 3.801 > g?
True
Suppose 6800 = 250*t - 179200. Which is smaller: t or 741?
741
Let i be 1 - 61/21 - -2. Let q = 8981/36 + -1009/4. Let u = q - -293/99. Which is greater: u or i?
u
Let r(x) = 48*x + 242. Let w be r(-5). Suppose 0 = 3*p + w*m + 3 + 4, 0 = 2*p + 4*m + 10. Let c = -237361/708 - -1341/4. Is c greater than or equal to p?
True
Suppose -4*r + 35 = 3*d, 3*r + d - 13 - 12 = 0. Let p be -4 + 4 + r/(-2). Let g = -732/5 + 1469/10. Which is smaller: g or p?
p
Let b = -45.21 - -47.2. Let c = -2.1 + b. Let f = -338 + 337. Is c less than f?
False
Let c(n) = 2*n**2 - 45*n - 187. Let l be c(8). Is -419 > l?
False
Suppose 6*i - 60 = 2*i. Let p be (-67)/((-2010)/1140) + 1*2*-4. Let h = p - i. Is h less than 16?
True
Let u(x) = -x**2 - 14*x + 4. Let m be u(-14). Suppose -70 = -5*q + 3*b, -m*b + 14 = 2*q - q. Let t be (-24)/84 + 18/q. Is -6/25 less than or equal to t?
True
Let s = 254/41 + -58112/287. Let v = 83 + 112. Let m = s + v. Is m bigger than 0?
False
Suppose -h = 3*h - 2*m - 30, 5*h - 30 = -5*m. Let s = 30 - 22. Let x be 2/(1 - s/10). Is h bigger than x?
False
Let c(m) = 4*m**2 - 124*m - 238. Let l be c(69). Which is smaller: -1 or l?
-1
Let g(d) be the first derivative of d**4/4 - 22*d**3/3 + d**2 - 43*d - 29. Let x be g(22). Let b = -289/936 + -11/72. Which is greater: b or x?
x
Let w be 16/(-36) - 48/(-108). Let v be -1*7 - (-14061)/2021. Which is greater: v or w?
w
Suppose 11*f + 3*u = 9*f - 6765, -4*u = 4*f + 13516. Are f and -3372 non-equal?
False
Suppose 23*f - 54 - 53 = -107. Which is smaller: f or -1/10701?
-1/10701
Let j = -370.968 - 7.032. Is 1/11 greater than j?
True
Let h(b) = 3*b. Let a be h(-2). Let j(q) be the first derivative of q**4/4 + 7*q**3/3 + 4*q**2 + 11*q - 607. Let l be j(a). Is l > -2/7?
False
Let v be 5 + (-5)/(210/214). Let c = -28 - -33. Are c and v non-equal?
True
Let o(k) = -95*k + 1142. Let m be o(12). Let b = -16.3 - -16. Is m < b?
False
Let m(a) = -2*a - 22. Let c be m(-11). Let w = 2899 - 489929/169. Let q = 384/3887 - w. Are c and q equal?
False
Suppose -v + 2 = 1. Suppose -2*i = -2*u - 1168, i = -2*i + u + 1752. Let m be -2 + (-96)/i*-12. Is m greater than or equal to v?
False
Suppose -2 = -q + t, q - 295 = -4*t - 308. Let u be 0/(-1) + (1 - 0). Let l be 1*(-57)/60 + u. Which is bigger: q or l?
l
Let k be (((-56)/(-7))/(5 + 3))/((-478)/(-244)). Which is greater: k or 1?
1
Let j = -45 + 58. Let b = -18 + j. Let i be (-12)/18 + 32/(-9). Which is smaller: b or i?
b
Let b(x) = x**2 + 12*x - 191. Let g(l) = -45*l + 190. Let c be g(4). Let f be b(c). Which is smaller: 360/13 or f?
360/13
Let m = 27994 - 27992.7. Which is smaller: 7/3 or m?
m
Suppose 2*s + f = -0*f + 46, 0 = 5*s - 2*f - 106. Let w(z) = -5*z + 4. Let i be w(0). Let l(t) = 23*t - 71. Let y be l(i). Are y and s equal?
False
Suppose -4*i = -h - 1148, 4*i + 96 = 108. Which is bigger: h or -1134?
-1134
Let f(s) = 94*s - 8258. Let u be f(87). Which is smaller: -70 or u?
u
Let w = -18 + -9. Let o(p) = p**2 - 37*p + 51. Let c be o(35). Let l(y) = -2*y - 65. Let b be l(c). Are b and w unequal?
False
Suppose 2*u = 5*t - 1001 + 258, -5*u = -4*t + 608. Is t at most -4?
False
Let p(r) = r**2 + 3*r - 12. Let c be p(-6). Suppose 2 = -q + c. Suppose -2*b + 4*b = -q. Does -17 = b?
False
Suppose -70*r + 391965 = 81*r - 139404. Is 3517 < r?
True
Let l be (1/3)/(5/(-15)). Let j be ((-5978)/(-462) - 13)*(-8)/20*-3. Which is bigger: l or j?
j
Let b = 53196 - 1504116901/28275. Is b <= 1?
True
Let s = 0.44338 + -0.05338. Are -3/5 and s non-equal?
True
Let u = 944 - 1709. Let q = 768 + u. Let h = 0.3 + -0.29. Is q less than h?
False
Let a be (-2)/(-6)*((-759)/(-3) - -2). Let s = 87 - a. Suppose -s*i - 39 = -3*l, 4*i - 4*l + 74 = -2*l. Are i and -17 nonequal?
True
Let u(g) = 2*g**3 - 7*g**2 + 5*g - 1. Let d be u(3). Let b(m) = -m**2 + 6*m - 15. Let y be b(d). Which is smaller: y or -11?
-11
Let i = 480 - 475. Let k be 2*(i - 4)*(-675)/(-198). Is 8 >= k?
True
Suppose -2*c + 4*l + 38 = 3*c, 4*c = -3*l + 18. Suppose -3*k - 6 = 4*a - a, 14*a - 6 = 3*k. Suppose a = -o + c*o - 120. Is o >= 24?
True
Let h be -14 - (8 - (-556)/16). Which is greater: -57 or h?
h
Let d(q) be the first derivative of q**4/2 + 79*q**3/3 - 20*q**2 + 3*q + 49. Let a be d(-40). Which is bigger: a or 35/11?
35/11
Let v = -71/18 - -11/2. Let b = -136.36 + 136.66. Which is greater: b or v?
v
Let c(k) = -49*k + 144. Let x be c(3). Suppose o - 38 = 3*m - o, m + o = -16. Is x less than or equal to m?
False
Let x be ((-6813)/(-12))/((-381)/(-2032)). Which is bigger: x or 3029?
3029
Let g(l) = 3*l + 3. Let x be g(-1). Let r be 15/50*(3 + (-44)/6). Which is bigger: x or r?
x
Let k = 40119 + -37957. Is 2159 at most k?
True
Let r = -606.5 + 604.5. Which is smaller: r or 4/393?
r
Suppose -10*i + 3*g + 1 - 10 = 0, 5*i - 5*g = -15. Is -0.22 < i?
True
Suppose 0 = 2*v + 4*m - 7872, -m - 2*m - 3936 = -v. Suppose -f - 2*f = -v. Let g = 10481/8 - f. Is -1 at most as big as g?
False
Let y(w) = -22*w**2 + 176*w + 5. Let l be y(8). Suppose 2*h - 1 = u, 4*h - h + 5 = -l*u. Which is smaller: -3 or u?
-3
Let c be (-308310)/(-172) + 0 + 3. Is c > 1797?
False
Let k be (-4)/(3 + 82/(-28)). Suppose -12*i + 15 = -9*i, -s + i = -19. Suppose s*d + 2*q = 20*d - 216, -3*d = -2*q + 169. Is k < d?
True
Let k be 2 - 2/((-2)/(-9)). Let y(u) = u**3 + 7*u**2 - u - 8. Let a be y(k). Let j = -2530 + 159392/63. Does a = j?
False
Let h be (-8)/(-42)*(-261)/(-116) - 187692/(-14). Is h equal to 13407?
True
Let a = 241760/27 - 8954. Which is greater: 182 or a?
182
Let n be ((-336)/3283)/((2/(-7))/2). Let p = 1544/1407 - n. Is p at most as big as 1?
True
Suppose -4*z - 16 = 2*v, -5*v + 0*z = 2*z. Suppose 4*t = -t, v*n - t = 0. Is n greater than or equal to 8/27?
False
Let r be ((-31)/(-35) - 1)/(2268/210). Let z be (-4)/(-80)*5*-4. Is r smaller than z?
False
Let o(z) = -2*z**3 - 14*z**2 - 36*z - 40. Let j be o(-3). Let a = -12 + 6. Which is bigger: a or j?
j
Let l(o) = o**3 + 6*o**2 + 6*o - 6. Let z be l(-4). Let s be ((-413)/(-14) - -1) + 6/z. Which is smaller: s o