e (4/6)/(v/3). Which is greater: g or j?
g
Suppose 2 = 2*y, y - 5 = r + 3. Let k = 93 + -86. Suppose 4*x - 8*x = 4*s + 4, 0 = -s - 3*x + k. Is r equal to s?
False
Let i = 391 + -418. Suppose j - v + 8 = 2*j, 4*j = -2*v + 28. Let t be i/(-15)*(1 - j). Do t and 2 have different values?
True
Let p be (57 + -55)*1/(-4). Let d(o) = 4*o + 3. Let c be d(-3). Which is greater: p or c?
p
Suppose -4*r + r = 12. Let l be r/(-6)*(-4 + 1). Let s = -151 + 140. Which is bigger: l or s?
l
Let h = -2.45 + 4.51. Let i = h + -2. Do 0.04 and i have different values?
True
Let i = 19 + -30. Let l = -9.35 + -0.65. Let y = l - i. Is -0.4 >= y?
False
Let c = -2 + 4. Let t be 7/(7/c) + -2. Suppose t = 2*h + 5 - 3. Which is bigger: h or -2/7?
-2/7
Suppose -k = -2*k + 2. Let l = -41 - -46. Suppose -3*d = 2*d + l. Which is bigger: d or k?
k
Let p be 744/(-363) + (1 - 2) + 3. Is p smaller than -1?
False
Let d(j) = -2*j - 4. Let a be d(-8). Let y be 5/14*a/15. Let o be (-6)/9*(-3)/2. Which is greater: y or o?
o
Suppose 0*g = -2*g + 14. Let w = -50 + 72. Let b be (3 - 35/11) + 180/w. Which is bigger: g or b?
b
Let s(j) = -j**2 + 11*j - 11. Let v be s(10). Let u = -6/13 - -37/52. Is v bigger than u?
False
Let r = -27.9 + 28. Let s be 4/12*(5 + -2). Let x be s/12*(-4)/2. Which is greater: x or r?
r
Let x = -241/7 + 34. Let p(m) = -5*m**2 - m**3 - 3 + 0 - 2 - m. Let s be p(-5). Is s < x?
False
Let t = -1792 - -1951. Is t greater than 1110/7?
True
Let u be (-1)/(-6)*(-21 + 13 + 14). Let s be 12/(-146)*(-1)/9. Which is smaller: s or u?
s
Let f be (-3 - -2)/(58/(-12)*3). Suppose 0*d + 4*d - 4 = 0. Which is smaller: f or d?
f
Let z(j) = 3*j**3 - 2*j**2 + 2*j - 1. Let o be z(1). Which is greater: 3/4 or o?
o
Suppose -5*z + 3 = 4*x, 5*x + 15 = 2*x + 2*z. Let h(u) = 9*u**3 + 4*u**2 - u. Let q be h(-3). Let a be (-1)/x + 44/q. Which is bigger: a or 1?
1
Let n be (-329)/(-49) + (-5)/((-25)/20). Which is greater: 12 or n?
12
Let o(u) = -u**3 + 7*u**2 + 3*u - 17. Let p be o(7). Let d be -1 + (-2)/p - (-354)/252. Is d greater than 2?
False
Let v(k) = k**2 + 6*k + 7. Let b be v(-4). Let p be 2/(5/b + -2). Suppose 0 = w + 2*w - 21. Is w greater than p?
True
Let l(z) = z**3 - 14*z**2 + 7*z - 21. Let b be l(14). Let v be 35/b*4/(-50). Which is smaller: 1 or v?
v
Let y = -1981 + 1962. Which is bigger: y or 3?
3
Suppose -4*n = -4*s - 96, -n + 8*s + 24 = 4*s. Which is bigger: n or 546/23?
n
Suppose o + 5 = 14. Let n be (-1)/((-15)/o - -2). Suppose 0 = 6*a + a + 28. Do n and a have different values?
True
Suppose 49 - 43 = 6*r. Are r and 11/8 non-equal?
True
Let f = 5 - 9. Let m be (-6)/(-15) + f/10. Let d be 15/(-18)*(-5)/25. Which is smaller: d or m?
m
Let m = 3/992 - -6899/14880. Is 0 > m?
False
Let j(y) = -11*y + 34. Suppose 4*u = -0*u - o + 12, -5*o = -4*u + 12. Let f be j(u). Which is greater: f or 2/137?
f
Let b be (1 - (-25)/(-35))*(-35)/25. Let f be (-82)/(-56) - 4/(-14). Is f >= b?
True
Let h be ((-4)/(-6))/(19690/2190 - 9). Which is greater: -220/3 or h?
h
Suppose -1096*b + 1102*b + 12 = 0. Let d be ((-4)/4)/(2/6). Is b greater than d?
True
Let m = 50.782 - -0.018. Let i = m - 56. Let q = i + 5. Which is bigger: q or -4/3?
q
Let d be -5*(-545)/50*-12*1. Is d smaller than -655?
False
Let q(m) = -2*m - 5. Let a be q(-5). Suppose h = 6*h + a*z + 25, -5*h - 4*z = 21. Let r be -2 - (73/(-18) + 2). Which is smaller: h or r?
h
Let z be (-6)/21 - (-276)/525. Let h = -288 - -289. Are h and z unequal?
True
Let d(a) be the second derivative of a**5/20 + a**4/4 - a**3/3 + 4*a. Let o be d(-3). Suppose 2*j = o*j. Which is smaller: j or -1?
-1
Suppose 0 = -4*x + 2*m - 130, 7 = -2*m - 3. Let b = x + 41. Is b bigger than 2/3?
True
Let q = 8.25 + -13.2. Let f = -0.05 + q. Let i = f + 5.2. Is i at most 4?
True
Suppose -2*d - 10 - 18 = 0. Let t be 4/(-14) + 66/d. Let m(q) = 18*q + 229. Let a be m(-13). Is t greater than a?
False
Let z = -10 - -35. Does 25 = z?
True
Let j = -0.01 - 0.09. Let x be (-8)/(-14) - 288/(-280). Which is greater: j or x?
x
Let x = -5/9 + 2/9. Let z be (-4 + 4/1)/((-2)/(-2)). Which is bigger: z or x?
z
Let d(r) = 10*r**2 - 108*r - 24. Let g be d(11). Is g less than -10?
False
Suppose -7*d + 206 = 59. Let u be 1 - (1 + 2) - 1. Let v be d/(-12) - (u - -2). Is -1/4 at most as big as v?
False
Let x(y) = -y**3 - 2 - y**3 + 3*y**3 - 6*y**2 - 6*y. Let f be x(7). Is f greater than or equal to 6?
False
Let g be (3/2)/(7/2). Do 15 and g have different values?
True
Let g(y) = -y**3 + 6*y**2 - 4*y - 3. Suppose 3*c = 5*j - 40, 2*j = 2*c + 8 + 12. Let i be g(j). Let f = 2197/4 + -546. Is i at least as big as f?
False
Let c = 3 + 0. Suppose 2*u - c*u = -2. Let m be -7 + 10 + (-1 - 0). Is u greater than m?
False
Suppose -4*q + 5*y = -25 - 3, -2*q - y = 0. Suppose 2*z + 5 = -0*z + j, -10 = z - q*j. Suppose g - 5*g + 4 = z. Which is bigger: g or -3?
g
Let j(d) = -d**3 + 8*d**2 + 9*d - 21. Let r be j(9). Let x be (-164)/(-14) + (-6)/r. Is x at least as big as 11?
True
Let h(t) = 2*t**3 + 18*t**2 + 21*t + 39. Let j be h(-8). Do 2/73 and j have different values?
True
Let n be (-12)/90 - 4/(-30). Suppose 4*k = 5*k + 1. Which is smaller: n or k?
k
Let y = 15 - 11. Suppose 0 = y*l + 20, 5*u + 2*l = -0*l. Let x = -450 + 455. Is x at most as big as u?
False
Let l(a) = -a**3 + 3*a + 3. Let n be l(-2). Suppose 0 = n*i + 5*x - 30, 0 = -i + 3*i + 4*x - 22. Let g be (1/(-4))/(10/(-8)). Is i less than or equal to g?
False
Let v = 141 + -1273/9. Is v < 1?
True
Let z = 0.1217 + -0.1217. Which is bigger: -303 or z?
z
Let v(a) = -a**3 - 11*a**2 + 11*a - 1. Let q be v(-12). Let p = -9 + q. Suppose -p*b - 18 = -0. Is b at most as big as -9?
True
Suppose 3*t + 468 = 4*f, -4*f - 186 = -2*t - 650. Is 3 greater than or equal to f?
False
Let p(r) = -r**3 + r**2 + 7*r - 3. Let f(z) = 2*z**3 - 2*z**2 - 13*z + 6. Let i(d) = 4*f(d) + 7*p(d). Let o be i(2). Is o greater than 4?
False
Suppose 5*n + 48 + 102 = 0. Suppose 5*q + p - 5*p - 81 = 0, 0 = -3*q - 2*p + 53. Let t = q + n. Is -12 greater than or equal to t?
True
Let h be 9 + (-11)/(66/2436). Do h and -397 have the same value?
True
Let m be -4*(-2)/12*-3. Let c be 6*2/6 + m. Is c greater than or equal to 3/29?
False
Let b = -1 - -2. Suppose -15 = -5*q, 2*u - 5*q + 0 = 5. Let t be 57/(-90) + 25/u + -2. Is b equal to t?
False
Let p be 15*(-1 + -1)/2. Let b be 2/8 - p/(-92). Let s = 13 + -12.9. Does b = s?
False
Let y(z) = z**3 - 16*z**2 - z + 38. Let g be y(16). Suppose -2*v = -3*r + 6, 0 = -0*v + 2*v + 5*r + g. Which is greater: v or -3?
-3
Let q(i) = -31*i**2 - 3*i - 2. Let h be q(-1). Let t = 15 + -17. Let v be (-1)/(t + (-27)/h). Is 2 at most as big as v?
False
Let r = -47 + 333/7. Let y(n) = 6*n**2 + 8*n - 3. Let l(o) = -o**2 - 1. Let t(d) = 5*l(d) + y(d). Let s be t(-9). Which is smaller: s or r?
r
Let j be 6707/5 - (8 + -4). Let f = -1349 + j. Which is bigger: f or -11?
-11
Let f = -157 + 160. Are 5/2 and f equal?
False
Let u = -26.64 - 0.36. Let r = -3 + 3.1. Is r <= u?
False
Let v = -95 + 177. Let a = 81.4 - v. Which is bigger: a or 6?
6
Suppose 22 = -t - 2*k, -k + 11 = -2*t - 28. Let m be (-2)/(-30) - (-8)/t. Is m > -1?
True
Let b be (-5)/(-15) + (-134)/(-66) + 2. Is 0 <= b?
True
Let g = -26 + 53. Let a = 35 - g. Does a = 6?
False
Let s be 20/(-16)*2*24. Let x be (-42)/(-14) + 178/s. Is x smaller than 0?
False
Let p(g) = -g**3 - 11*g**2 + g + 10. Let l be p(-11). Let o be (-9)/3 - (l + 0). Let x be (o + 2)/(-2 + 3). Does -1/10 = x?
False
Suppose 2*g - 76 = -5*k, 7*k - 67 = 2*k + g. Suppose 9*z + 10 = k*z. Which is smaller: 1 or z?
1
Let n(x) = -4789*x + 9. Let d be n(11). Let s = d - -1474953/28. Let q = s + -23/4. Which is bigger: 0 or q?
q
Let i = 75 - -71. Let a = i + -142. Which is smaller: a or 0.06?
0.06
Let a be (20 - 16)/(3 + (-109)/37). Which is smaller: 86 or a?
a
Suppose 16 = 4*c - 32. Suppose -7*w + 20 = -c*w. Let j be (-3)/7 - (-232)/(-112). Is w equal to j?
False
Let a = 34.9 + -33. Let v = a - 1.8. Which is smaller: v or -13?
-13
Let t be (5 - (-7 - -3))/(-1). Which is smaller: t or -10?
-10
Let j be (6/6)/((-1)/3) - -8. Suppose -5*n + j = -7*d + 2*d, 2 = 3*d + 2*n. Suppose c = -2 + 3. Is d at most as big as c?
True
Let j(q) = -106*q**3 - 2*q**2 - 3*q + 4. Let k be j(1). Which is smaller: k or 1?
k
Let x = -19 + 24. Suppose x*y - 7 = 3. Is y greater