hich is bigger: -5/123 or d?
-5/123
Suppose -c + 2*h - 74 = 102, 182 = -c + 4*h. Let f be (5 - 3)/((-1)/c*-4). Let k = f - -62. Are k and 0 nonequal?
True
Let h = 71.92555 + 0.05445. Does -1 = h?
False
Let a be 5 - 18 - ((-2 - -4) + -5). Let w be a/4*3760/(-1300). Does w = 7?
False
Let n(z) = 395*z**2 - 17*z + 16. Let r be n(1). Let u = 181 - r. Is -213 less than or equal to u?
True
Let y be (-15)/40 - 20/32. Let l be (1 + 2045/(-2046))/(78/13364). Let d = l - -2/279. Is y greater than or equal to d?
False
Suppose 212*q + 303*q = 100*q + 358145. Is q greater than 861?
True
Suppose 15*a = 9*a. Let n be 13 + 141 + a + -1. Which is smaller: n or 0.1?
0.1
Suppose z + 14440 = -5*r, 2*z = -2*z - 3*r - 57760. Let x = 4750766/329 + z. Let h = 6269/987 - x. Which is smaller: h or 6?
6
Let m(r) = r**2 - r - 29. Let a be m(-9). Let g = a - 123/2. Is 12.7 greater than g?
True
Let z = -1979/2 + 21773/22. Let j(a) = a**3 - 2*a**2 - 3*a. Let g be j(5). Which is smaller: z or g?
z
Let s(x) = -x**2 - 8*x + 9. Let q be s(-9). Let z = -1097 - -1116.67. Let t = z - 19.7. Which is greater: t or q?
q
Suppose -84 = 2*h - 92. Suppose 0 = -5*n + 3*u + 12, 0*u = -h*n - 5*u - 20. Which is smaller: n or -1/24?
-1/24
Let l(z) = z**2 - 9*z - 1. Let n(i) = i**2 - 3*i - 7. Let x be n(5). Suppose 2*t - x = 5*m - 52, 3*t + 15 = m. Let v be l(m). Are 1/30 and v equal?
False
Let w be 12/(-15)*45/(-6). Suppose 0 = 3*n + w*n + 9. Let g be ((-2)/4*-52)/n. Does -25 = g?
False
Suppose -3*i = 4*m - 3, 59*i = 60*i + 5*m - 1. Is 38/525 greater than or equal to i?
False
Suppose -q = -3*d + 7, -3*q + 21 = 14*d - 9*d. Which is greater: q or 15/14?
q
Let f = -818 + 821. Suppose 2*t - 50 = 3*d, -5*t + 0*t + 79 = 4*d. Which is smaller: t or f?
f
Let u = -29663 - -28548. Is -1116 equal to u?
False
Suppose 45*v - 2*y - 308 = 41*v, 2*y = -3*v + 217. Let u be -7 + (4 - 0) - -4. Which is smaller: u or v?
u
Let d(z) = 200*z - 374. Let y be d(2). Is y < 70?
True
Let q(r) = -10278*r**3 - 6*r**2 + 3*r + 9. Let g be q(-1). Is g < 0.2?
False
Let o be (4 - 1)/(((-54)/(-3810))/3). Which is smaller: o or 636?
o
Suppose -11*f + 460 = -13*f. Let p = -969 + 738. Which is greater: p or f?
f
Let o = 18790/9 - 2092. Let q = -320/63 - o. Is 0 greater than q?
True
Let a be 831/3324 + (-13)/20. Let h = -21974/9615 + 12/641. Is h less than a?
True
Let w = -8813 + 8617. Which is bigger: w or -216?
w
Suppose 571 = j + 2*q, j - 5*j + 2264 = 4*q. Suppose 19*r - j = 541. Is r smaller than 115/2?
False
Let l(m) = 1461*m + 2. Let h be l(3). Let b = 3867571/882 - h. Which is smaller: 0 or b?
0
Let i(l) = -2669*l - 47. Let w be i(2). Let z be w/(-38430) - (-1)/(-7). Is z at most -1?
False
Let a be ((-2)/3)/(116/174). Suppose -6 - 2 = -4*q. Let j be (1/q)/(4/(-8)). Are j and a non-equal?
False
Let w be ((-458)/4 - 0)*612/34. Are w and -2062 nonequal?
True
Suppose 2 = o + 4, -h + 3*o = -7. Let b be -3 + 7 - 59*(0 - h). Let d = 98 - b. Do 34 and d have the same value?
False
Let b = 2/127 - -121/381. Let i(w) = w**3 + 5*w**2 + 5*w + 7. Let j be i(-4). Suppose 9*p - 82 = -2*u + 4*p, -u = j*p - 43. Is b at least as big as u?
False
Suppose 0 = -6*x + 363 - 99. Let d = x - 40. Suppose c + 4*w - 6*w = -d, -3*c + 8 = 4*w. Is c greater than -1?
True
Suppose -77*s = -154*s - 141*s - 85020. Which is smaller: s or 7?
s
Let g(f) = -3*f**3 + 5*f**2 - 7*f - 5. Let m be g(5). Let x be ((-7)/(245/28))/((-4)/m). Is -56 < x?
False
Let j = 176 + -62. Suppose -13*a + 16*a - j = 0. Let f = a - 50. Is f >= -12?
True
Let m be 160/96 + 404/(-3). Which is smaller: m or -923/7?
m
Suppose -270 - 270 = 4*z. Let k be z/(-180) - (-11)/(-4). Is k bigger than -9/4?
True
Let t(v) = v + 5. Let o(w) = 2*w + 115. Let s(z) = -o(z) - 2*t(z). Let a be s(-28). Is a at least -13?
True
Suppose 5*j - 244 - 75 = -4*m, -2*m = -5*j - 197. Let g = m + -79. Suppose 14 = g*z + 14. Which is greater: z or 1/52?
1/52
Let u(c) = -10*c**3 - 4*c + 13. Let k be u(4). Let a = k - -417. Which is smaller: a or -225?
a
Let g = 4/373 - 9337/1119. Suppose -30*r - 3*l = -29*r + 23, 0 = -4*r + 5*l - 7. Which is smaller: r or g?
g
Let k = 784 - 647. Which is greater: 679/5 or k?
k
Let o(d) = -10*d + 187. Let b be o(19). Let p be (-8633)/(-3916) + b/4. Is 2 not equal to p?
True
Let a = -273 - -274.9. Let l = 20 + -22.1. Let c = l + a. Which is smaller: c or 0?
c
Let g be -2 + 4 + 3 - 8 - -3. Which is greater: g or -2/1575?
g
Let t(k) = 153*k + 2605. Let j be t(-42). Which is greater: j or -3819?
-3819
Suppose -c - 3 = 4*j - 4, 4*j + 4 = 4*c. Let n = 6018 - 1420249/236. Which is smaller: c or n?
n
Let z be (1290/24)/5 - 1/(-4). Let m(g) = 2*g - 27. Let b be m(z). Let p be 2/(510/141) - (-1)/b. Which is smaller: 1 or p?
p
Let p be -1 + 1 + 0 - 0. Suppose w + w = p. Let f be 915/12080 - (-23 - -13 - (-322)/32). Which is smaller: w or f?
w
Let b be (10/(-15))/(5/(-3)). Suppose -5*f + 176 = -869. Let y = f + -209. Is b equal to y?
False
Suppose -3*m + 15*o - 11*o + 44 = 0, -11 = -m + 5*o. Let t be 27/(-6)*m/(-57). Which is bigger: t or 0?
t
Let m be (-40)/14 - 54/(-63). Let w be 20/15 + m - 6/(-9). Do 0 and w have different values?
False
Let v = 2364 - 2797. Are -431 and v non-equal?
True
Suppose 0 = 4*d - 6 - 10. Suppose -p = 4*y + 3*p, -2*y - d*p - 4 = 0. Let z be (-3)/3 - (-63)/39. Is y smaller than z?
False
Suppose -12*h + 4 = -16*h, 0 = l - 2*h + 2742. Is l less than -2744?
False
Let j(g) = -2*g**3 + 5*g**2 + 1. Let y be j(4). Let v = 56 + y. Suppose -7 = 3*w + 5, -d + 3*w = -v. Is -4 > d?
False
Suppose 5*c = p - 1, -1 = -p - 277*c + 279*c. Is 4/4505 smaller than p?
True
Let v = -1/265645 - 4490197427/2125160. Let m = v + 2110. Is m at least as big as -2?
False
Let t be (1/(-3))/((-1)/3). Let h = 1.768 - 2.961. Let p = h - -4.793. Do t and p have the same value?
False
Let n = 35 + -34.9. Let w = 1.96 - 1.99. Is n >= w?
True
Let m be 1 + (-24 - -14) - -9. Which is greater: 9/415 or m?
9/415
Let g be 1 - (1 - 20/(-22)). Let o(z) = -15*z + 101. Let v be o(6). Suppose 5*t - 12 = v*t. Which is bigger: g or t?
g
Let z be (-6)/112*(-40788)/216. Let w = 59/16 - z. Is w greater than -5?
False
Let n be ((-2)/(-9))/(328/(-24)). Let y be 0/(1 + -8 + 8). Which is smaller: n or y?
n
Let k(g) = -977*g - 2931. Let x be k(-3). Is x at least as big as 2/56185?
False
Let x = 14185/4725063 + -11/3759. Which is smaller: x or 1?
x
Let k(l) = -16*l - 1548. Let z be k(-54). Which is bigger: z or -680?
-680
Let i = 39.25 - 233.15. Let z = -194 - i. Which is greater: -191 or z?
z
Let l be (2/(-6))/(-7*13/78). Let j be 2/2*(-1 - 0). Which is greater: j or l?
l
Let n = 28862/153 - 1702/9. Which is greater: -7 or n?
n
Let z = 302323 + -302716. Let l = 288 - 680. Which is smaller: l or z?
z
Suppose 0 = 4*a + 8, 60 + 707 = -3*f - 4*a. Which is bigger: f or -2278/9?
f
Suppose 0*u - 594 = 2*u + 7*u. Is -105 greater than u?
False
Let i = -5463 + 6355. Which is smaller: i or 897?
i
Suppose -2996 + 1037 = -5*c + 3*g, -3*c - 4*g + 1158 = 0. Which is greater: c or 383?
c
Let f(i) = 59*i - 2237. Let j be f(38). Is -5 less than j?
True
Let z = 1913.1 + -1913. Which is greater: z or -4534?
z
Let w = 500 - 1526/3. Let s = -465649 + 465639. Is w greater than or equal to s?
True
Let f be 11*10/10 - -8347. Is f less than 8359?
True
Suppose 3*u - 1996 = -4*z, -4*z + 4*u + 1771 = -225. Suppose -4*m + 18 = -5*m. Let t be (-34)/(-153) + z/m. Which is smaller: t or -28?
-28
Let x(p) = p**2 + 10*p + 5. Let a be x(-5). Let c = -351 - -353. Let w be (10/(-30) - 0)/(c/114). Is a greater than or equal to w?
False
Let q be 10 + (-5 - -15) + -14. Suppose 4*t = -m + 195, -3*t - 4*m + 143 = -0*t. Let x be (-308)/t + q - 2/(-28). Do 0 and x have the same value?
False
Let n be (-8)/24 + -2 + 157/3. Let o(z) be the second derivative of z**4/12 + z**2 - 10*z. Let a be o(-7). Which is smaller: a or n?
n
Suppose -5*f - 3432 = -29*f. Is f less than or equal to 139?
False
Let g = 49 - 65. Let p be (3/4)/((-2)/g). Suppose -2*f + p = -2*m, 0*m - 2*f = 2*m - 2. Is m smaller than -1?
False
Suppose 3*i - 5*i = 158. Let d = 76 + i. Let r be (-3 - -4) + -5*1. Which is bigger: d or r?
d
Let m be (-2*(-6)/(-70))/((-18)/378). Which is greater: m or 4?
4
Let y(b) be the first derivative of -b**3/3 - 3*b**2/2 - 2. Let o be y(-3). Let t(u) = -u**2 + 3*u + 1. Let g b