7. Which is smaller: g or p?
p
Let x be (6/45)/((-26)/130). Is x at most as big as -0.181?
True
Suppose 2 + 2 = -4*j + 4*h, -2*j + h = 4. Let i be j/(3 - 0)*0. Let o = -3/46 - -101/138. Which is smaller: o or i?
i
Let y be (-714)/(-192) - (5 + (-5)/5). Does y = 1?
False
Let f = -0.085 + 72.085. Let a = -85 + f. Is a equal to 0.2?
False
Let v be 3 + -5 - -5 - 15. Let r be 3/v + (-87)/(-444). Let p = 827 + -828. Which is smaller: p or r?
p
Let a(n) = -n - 4. Suppose -3*u + 8*u - 24 = -2*v, 4*v + 4*u = 36. Let j = v + -11. Let o be a(j). Is o <= -2/29?
False
Suppose 13 = -3*v + 46. Suppose 3*r + 0*r - j + 1 = 0, -v = r - 3*j. Let i be (13*3/(-9))/r. Which is greater: i or -5?
i
Suppose -25*g + 408 = 26*g. Let k be 3/(3/4) + 1. Suppose -k*o + 27 = -18. Is o at least as big as g?
True
Suppose 12*d + 4 - 280 = 0. Suppose d = -y - 14. Do 0.1 and y have different values?
True
Let m(h) = -h**2 + 7*h - 24. Let p be m(11). Let g = 31 - p. Is 99 less than or equal to g?
True
Let l be 3*((-1166)/(-11))/(-2). Is -159 at most l?
True
Let g(d) = 5*d**2 - d**3 - 9*d**2 - 11*d - 7*d**2 - 12. Let i be g(-10). Let u be 12/18*(9/6)/(-1). Which is greater: i or u?
u
Let j be 546/45 + 4/(-30). Suppose 0 = -9*b + 5*b - 5*i - j, -b + 6 = -i. Let t = -3.93 + -0.07. Which is smaller: t or b?
t
Let q = 0.203 + -0.503. Which is bigger: q or 26?
26
Let x(q) = -2*q**3 - 2*q**2 - 3*q + 6. Let v be x(7). Let y = -2440/3 - v. Which is greater: -13 or y?
-13
Let c(a) = -a**2 + 2*a + 8. Let d be c(0). Suppose -3*y - d*w = -4*w - 24, 0 = 5*y + 3*w - 29. Let j = y + -3. Are -7 and j non-equal?
True
Let m = -126 - -128. Is -1 greater than or equal to m?
False
Let k = -684 + 823. Are k and 139 nonequal?
False
Suppose -4*j + 186 = -130. Suppose 5*q - 51 = j. Let f be q/(-28) + (-2)/(-4). Which is bigger: f or 1?
1
Suppose q + 4*q = -a - 266, -q - 3*a - 42 = 0. Let z be q/12*-1*(-20)/(-6). Which is smaller: 13 or z?
13
Let m = -734018/414615 + 232/131. Which is greater: m or 1?
1
Let z = 77.5 - 95.49. Let g = 18 + z. Let f = g + -0.21. Which is bigger: 5 or f?
5
Let z = 322/5 + -64. Suppose 2050 = -6*v - 2852. Let i = v + 13895/17. Is i <= z?
True
Let z be 12/2*(-7 - (-66)/9). Is z >= -837?
True
Suppose -2*c + 0*c + 252 = 0. Suppose c = -13*v + 19*v. Which is greater: v or 104/5?
v
Let v be (21/(-54) - 0)*-4. Let z = v - 151/99. Let x = -7/11 - z. Is x bigger than -0.3?
False
Suppose 4*l + 2*u + 58 = 38, -4*u = 16. Let k be (22/6)/(5/(-3)). Which is greater: k or l?
k
Suppose 5*x - 4*x = -5. Let u be (-1)/((-48)/15 + 3). Suppose -3*k - 7 = 2*o, u*k + 0*o + 2*o = -17. Is x != k?
False
Let w(c) = c**3 + 6*c**2 + c + 12. Suppose -2*l - 10 = 2. Let p be w(l). Suppose -3*f + 11 = f - x, -5*x + 25 = 0. Is f > p?
False
Let p = 259/465 + 4/93. Let r(h) = h + 11. Let c be r(-8). Let l be 1*(2 - c)/(-3). Which is smaller: l or p?
l
Let m be 1*(-1)/((-4)/(-8)). Let d be (0 - m)*(11 - 15). Suppose -35 = 6*r + 7. Is d >= r?
False
Suppose 0*z = 3*g - z - 64, 5*g - z - 106 = 0. Let j be 75/g - 3/1. Suppose 4*r + 2 = -5*b, -4*r + 5*b = -9 - 9. Which is smaller: r or j?
j
Let l be (-1378)/1170 - 8/36. Is -26 at most l?
True
Let a be ((-16)/140)/(-5*(-8)/100). Let j = 99 - 81. Which is smaller: a or j?
a
Let t be (-3 - -21) + (-3 - -4). Suppose 0*y = -y + t. Let w(n) = -18*n**3 + n**2 - n. Let s be w(-1). Is y < s?
True
Suppose 29*j = 37*j - 160. Let o(b) = b**2 - 18*b + 40. Let m be o(j). Is 81 less than m?
False
Let w = 17.036 + -17. Let x = -0.066 + w. Suppose 0 = b - 5*b + 2*n + 2, 0 = -5*b + 2*n + 5. Is x less than b?
True
Let n = -597 - -521. Is n >= 3?
False
Let v(q) = 3*q - 35. Let x(o) = -2*o + 35. Let j(l) = 5*v(l) + 6*x(l). Let u be j(-11). Which is bigger: u or 0.1?
u
Suppose 4*z - 3059 = 46*x - 41*x, 5*x = -5*z - 3050. Is x greater than -612?
True
Let y = 156525 - 1092505/7. Let c = 452 - y. Are -2 and c equal?
False
Let d(y) = -2*y + 3. Let p be d(2). Let v = 0.011 - -13.589. Let g = v + -13. Which is smaller: g or p?
p
Let c = 1192 - 1192. Let x be (-2)/6*(-12)/34. Do c and x have the same value?
False
Let z(t) = t**3 - 3*t**2 - 3*t - 2. Suppose 4 = 5*o - 4*o. Let f be z(o). Let n = 7 - f. Is n greater than or equal to 6?
False
Let z = -4349/303 - -2/101. Let n(j) = -j**3 + j - 13. Let i be n(0). Are i and z unequal?
True
Suppose -2 = -l - 2*q, -4*q - q - 9 = -l. Suppose -46 = -4*d + 5*g, -l*g - 22 = -2*d - 2*g. Let t = d - 8. Is t equal to 2/53?
False
Let f be -5 + -1 - (-510 - 32). Is f less than or equal to 535?
False
Let h(w) = -w**3 + 15*w**2 + 5*w - 39. Let j be h(15). Is 29 >= j?
False
Suppose -q = -0*q + 1. Let o be (-6)/9 - (-2 - q). Let l = -1.8 + 1.74. Which is greater: l or o?
o
Let h = 507 - 534. Is h bigger than -21?
False
Let f = 89 + -49. Let w = -36 + f. Let j = -2 - 1. Which is smaller: w or j?
j
Suppose c + 4*b = -0*b + 5, -b - 4 = c. Let m = c - -9. Let y = 0.03 - 1.03. Which is smaller: y or m?
y
Let u(k) = k**3 + k**2 + k - 1. Let n(r) = -7*r**3 - 16*r**2 - 7*r - 3. Let w(b) = -n(b) - 6*u(b). Let j be w(-10). Let g = -3581/161 + 156/7. Does g = j?
False
Let h = -56 + 122. Suppose 4*y = -5*o + h, 22 = -o + 4*o - 2*y. Is 9 != o?
True
Let h be 1/2 + (-12)/(-8). Let d be (1/6)/(h/(-1324)). Let s = d - -112. Which is bigger: 1 or s?
s
Let w = 3349/18 - 186. Let l = 0.141 + -0.241. Which is greater: w or l?
w
Suppose -5*r + 83 - 8 = 0. Let k = -84 + 97. Suppose k + r = 4*g. Is g greater than 6?
True
Let h be (-140)/1025*486/(-1533). Let s = h - -2/365. Which is smaller: -1 or s?
-1
Let u be ((-1)/(-5))/((-2)/4). Suppose 4*d + 92 = -4*n, 0 = 3*d - 3*n - 14 + 89. Let m = -123/5 - d. Which is greater: u or m?
u
Let f be (1 + -1)/(-1 + 3). Let j be 1/6 - (-876)/(-72). Let c be 6/(-9) + (-20)/j. Which is bigger: c or f?
c
Let d = -67/1113 + 2/159. Is -1/3 <= d?
True
Let b(r) = 4*r**3 - 9*r**2 - 13. Let n(v) = -4 + 12 - 2*v**2 - 11 + v**3. Let j(y) = -2*b(y) + 9*n(y). Let z be j(0). Which is smaller: 2 or z?
z
Let b be (-3)/(-4) - 1718/8. Let l be b/14 + 30/105. Is -17 > l?
False
Let q = 34.3 + -21. Let t = 1.2 - q. Let y = t + 12. Is -6/5 < y?
True
Suppose 6*t = 3*t. Suppose 3*d + d - 88 = t. Suppose -3*o = 5*b - 29, -2*o + d = b + 3*b. Which is smaller: o or 14/5?
14/5
Let n be 62/(-20) - (-3 + -5 + 5). Let m = 3 - 1. Suppose -m*t = -t. Which is bigger: t or n?
t
Let h be ((-17)/5 - -4)*5. Suppose 0 + 6 = h*v. Is v less than or equal to -3?
False
Let x be (2/(-11) - (-272)/(-440))*-5. Suppose -x*v = -6*v + 2. Are v and -1/3 equal?
False
Suppose -42*p + 547 = 127. Which is greater: 6 or p?
p
Let r(b) = b**2 + 9*b + 2. Let i be r(-8). Let u be 4/8 + 2/i. Let p be (0 - 1/2)/(9/4). Is u at least p?
True
Let r be (-5)/7 + 6/21. Let l be 1/3*0/5. Which is greater: r or l?
l
Let a = -32 - -26. Let d(l) = -l**3 - 5*l**2 - l - 14. Let b be d(a). Does b = 28?
True
Let f = -1307/7 - -187. Let b = -1.6 + -0.4. Is b smaller than f?
True
Let f = -34 - -52. Let l = f + -27. Which is bigger: -10 or l?
l
Let a = 2 + 6. Let x = -27 - -27. Let m = 1/4 + x. Is a >= m?
True
Let j(v) = -2*v + 30. Let x be j(14). Let u be ((2 - x)/(-1))/2. Which is smaller: 0.01 or u?
u
Suppose 5*d + i = 0, -5*d + 17 = -3*i - 3. Let y = 4/7581 + 11909/7581. Is d less than or equal to y?
True
Let g = -1.27 + 1.17. Which is bigger: g or 0.155?
0.155
Let r(l) = -l**3 - 7*l**2 + 9*l + 9. Let o be r(-8). Let c = 23 - 13. Let x be -14*o*(-1)/c. Which is greater: 2 or x?
2
Let m(c) = -c**3 + 2*c**2 - 2*c + 3. Let g be m(2). Suppose -10 = 2*i, -2*z + 0*i = 5*i + 35. Let b = z - g. Is -3 greater than or equal to b?
True
Suppose 0 = -22*g + 58*g - 504. Let b be -1 - (-19 - (1 + -4)). Is g bigger than b?
False
Suppose 84 = 2*i + 3*h - 104, 0 = -h + 2. Does i = 91?
True
Let o(y) = -y**2 - 4*y. Let m be o(-6). Suppose -25*d - 230 = -2*d. Which is smaller: m or d?
m
Suppose 8*u + 2 = -38. Which is bigger: u or -1.3?
-1.3
Let u = -3 + 2. Let j = 4122 + -4145.01. Let m = j + 23. Is m at least u?
True
Let q(k) = -2*k**2 - 11*k - 12. Let f(b) = b**3 + 4*b**2 - 4. Let l be f(-4). Let r be q(l). Is 4/29 > r?
True
Let j = -557 + 5573/10. Is j less than -0.3?
False
Let z = -18 + 11. Let o = 1109 - 1118. Which is smaller: o or z?
o
Let a(v) = -v**2 - 20*v - 31. Let x be a(-18). Suppose -d + x - 11 = 0. Which is greater: d or -36/5?
