7. Suppose -139*u = -193*u - 352*u - 1218. Is m < u?
True
Suppose 3*z = -3*p + 5*z + 28, 12 = p + 2*z. Which is greater: 9 or p?
p
Suppose -7*g = o + 157 + 28, -4*o - 856 = -g. Which is smaller: o or -211?
o
Suppose -5*o - 671 = -191. Which is smaller: o or -97?
-97
Let q = -0.668 + 0.768. Let l(b) = 5*b + 5. Let f be l(4). Is q at most f?
True
Let g = -225 - -214. Which is greater: g or -5?
-5
Let q be (-1)/3 + 770/294. Which is smaller: q or 11?
q
Let q be (-76)/(-2) + 13/(13/4). Suppose 4*b + q = 134. Which is smaller: 25 or b?
b
Let q be 2/3*(17 - 26). Which is bigger: q or -45/7?
q
Let h(v) be the third derivative of -v**4/8 - v**3/2 - 8*v**2. Let l be h(-18). Let g = 71 - l. Is g >= 19?
True
Let b = 5 - 4. Let n = 73.7 - 73. Is b at least n?
True
Let u be (-2)/3 + (-2392)/12*1. Is -198 >= u?
True
Suppose 0 = -2*q + 15 + 25. Suppose 5*v - 4*v + q = 0. Let h be (24/v)/((-4)/(-20)). Are -4 and h nonequal?
True
Suppose -g + 0*v = -v - 51, 4*v = -3*g + 139. Is g < 46?
False
Let z be (-2)/(-4) + 11830/504. Let p = z + 844/9. Let f = p - 117. Is f at most 1?
True
Let m(k) = -k**2 + 11*k - 9. Let g be m(10). Let w = 80527/236 - 1365/4. Is g greater than or equal to w?
True
Let s be 9919/1414 - 28/4. Is s less than or equal to 0?
False
Let p(k) = k**3 + 7*k**2 - 3. Let a = 10 + -17. Let t be p(a). Let z = -2.3 + 2.3. Is z not equal to t?
True
Suppose 24*a - 19*a = -5. Which is greater: a or 2/479?
2/479
Let j be 4/1*(-4)/160*4. Is 9 bigger than j?
True
Let a = 2.13 + -2.53. Which is smaller: -28 or a?
-28
Let x = -50/341 - -13/31. Let v = -0.9 + 0.9. Which is smaller: x or v?
v
Let b(j) = -j**3 - 208 + 429 - 4*j - 216 - 6*j**2. Let q be b(-5). Which is greater: 12/29 or q?
12/29
Suppose 0*p = 3*p. Let u = p + -19. Let y = u + 20. Are 2/7 and y equal?
False
Let s = 5 - 1. Let v = 8 - s. Let x = -0.04 - 0.06. Are x and v unequal?
True
Let o = 35.775 + 0.225. Is o bigger than -1?
True
Let y = -14938/17 + 878. Which is smaller: y or 6?
y
Let v = -2/81 + 85/162. Does -566 = v?
False
Let b(z) = -z**3 + 13*z**2 + z - 9. Let x be b(13). Let g = x + -2. Let j be g - (141/30 + -3). Is 1 <= j?
False
Suppose 5*c - 5*r = 530, r - 151 = 4*c - 560. Let j be ((-8)/20)/((-36)/(-9015)). Let i = j + c. Is 1 != i?
True
Suppose i - 5*o - 17 = 3, 5*o + 20 = 3*i. Which is smaller: i or -81/8?
-81/8
Let r(h) = -2*h - 2. Let d be r(-9). Suppose 0*b - 2*b + 4*f - d = 0, -3*f = -5*b - 12. Let a = 919/130 - 88/13. Which is greater: b or a?
a
Let n = 11.2 + -12.2. Which is greater: -8/7 or n?
n
Let v(q) = -q**3 + 9*q**2 + 2*q - 18. Let n be v(10). Let x = 100 + n. Let d(k) = -3*k**3 + 2*k**2 + 2*k + 1. Let y be d(-1). Which is greater: x or y?
y
Let y = -557 - -561. Let w = 0.2 + -0.3. Is y at least w?
True
Suppose 418 = 11*q - 583. Let o = q - 96. Is o > -6?
True
Let b = -200 - -200.1. Let w = -45 - -40.6. Let y = w + 4. Which is smaller: y or b?
y
Let s(f) = -13*f**3 - 8*f**2 + 4*f + 5. Let y be s(-1). Let r = 5 + 4. Which is smaller: y or r?
y
Let p be (1 - (-12)/(-3)) + 801/(-15). Let d = 56 + p. Which is smaller: d or -49?
-49
Let c(x) = -6*x + 3. Let f be c(4). Let o be ((-1)/(-1) - f) + -2. Which is smaller: 17 or o?
17
Let w be (-195)/(-10)*(-4)/(-3). Suppose -30 = -4*r + 3*k, k - w = -5*r - k. Suppose 0 = -5*p - 5*q, -2*q - r = -4. Is p > 3?
False
Let w(h) = 2*h - 1. Let y be w(1). Let i be (4/87)/((-4)/(-6)). Is y <= i?
False
Let y be (18648/230)/(-7) - (-4)/10. Let c = 18/23 + y. Which is bigger: c or -11?
c
Let r = 2 + -7. Let q = 4.97 + r. Let n = -603/4 + 151. Which is bigger: n or q?
n
Let k(d) = -d + 12. Let q be k(12). Let x be -10*(-3)/(q - -6). Suppose -a + 4 = -x*a. Is 1 greater than a?
True
Let z be ((-2)/(-2))/((10/26)/(-5)). Let g = 14 + z. Let y be ((-3)/(-15))/(12/(-5)). Does y = g?
False
Let m = 754 + -562. Which is smaller: m or 769/4?
m
Let d be -11 + 1 + -1*3/(-3). Which is bigger: d or -57/7?
-57/7
Suppose 0 = -28*a - 617 + 1961. Is 47 at least a?
False
Let c(m) = 208321*m - 2. Let r be c(4). Let p = -82493800/99 + r. Let i = p - 100/9. Is i not equal to -2?
True
Let v = -9.46 + 9.36. Let x = 3 - 6. Let w = -3.02 - x. Which is greater: w or v?
w
Suppose 8*f + 7 + 73 = 0. Let v be 8/6 + f/7. Which is greater: 0 or v?
0
Suppose 6*g - 30 = g. Suppose b + 2*l - g = 3*l, -3*l + 2 = b. Let s(h) = h**2 - 4*h - 4. Let u be s(b). Is 1/2 at least u?
False
Let q = 87.5 + -65. Let w = -11.5 + q. Is w greater than or equal to -3?
True
Let p(s) = -36 + 0*s + 3*s + 62 + 0*s. Let l be p(-8). Let w = -1 + 1. Is l greater than or equal to w?
True
Let p = -68 - 12.1. Let a = -80 - p. Which is smaller: -14 or a?
-14
Let t = 0.1 + 0. Let s be (-2)/(-17) + (-234)/(-34). Let i be 0 - 1/5 - (s + -7). Which is smaller: t or i?
i
Let j = 1266 + -72163/57. Let f be (-1*3/(-3))/(-1). Is f < j?
True
Suppose 0 = -27*u + 30*u - 105. Let l = u - 13. Let s(q) = q**2 - 4*q. Let n be s(7). Are n and l nonequal?
True
Let p(w) = w**2 - 14*w + 15. Let j = 26 + -13. Let r be p(j). Let n be ((14 - r)/(-1))/(-1). Which is smaller: 21/2 or n?
21/2
Let b = 23 - 21.3. Let r = -0.3 - b. Let o = 0 - 0.1. Is o greater than or equal to r?
True
Let u = 28 + 5. Let x = u - 33.2. Are -0.3 and x equal?
False
Let z be (-1 + (-36)/(-34))/(37/74). Is -0.5 equal to z?
False
Let h = -54 - -54.3. Which is smaller: 111 or h?
h
Let v = 931/8 - 124. Which is greater: v or -9?
v
Let c(f) = f - 16. Let t be c(19). Suppose -t = -2*p + p. Is p > 6?
False
Let d(j) = -j**2 - 2*j - 8. Let u be d(-5). Which is greater: u or -12?
-12
Suppose 3 = -7*v + 4*v + 4*z, 2*v + 7 = z. Which is bigger: -56/11 or v?
v
Suppose -5*f = -2*f + 21. Let t be 2/(-6)*1 + (-14)/(-6). Suppose -5*c + 22 = -3*v, c + t = -c. Which is greater: v or f?
f
Suppose 0 = -3*c - 5*j + 423, 0 = -c + 4*j + j + 161. Is c less than or equal to 0?
False
Let g = 150/11 + -911/66. Which is greater: 13 or g?
13
Let i(r) = -22*r - 7. Let n be i(3). Is n at least 6/7?
False
Let g = 62.6 - 62. Are g and 0.1 equal?
False
Let a = -3.295 - 0.325. Let z = a - -0.66. Let q = -0.04 + z. Which is bigger: q or -0.3?
-0.3
Let d = 170 - 84. Let i = 60 - d. Which is bigger: i or -29?
i
Let c = 2918 - 4109. Are c and -0.1 unequal?
True
Let g = 2515/494 - 96/19. Let d = -18 + 19. Is d greater than g?
True
Suppose -t - 2*m = -24, -8*t + 13*t = -4*m + 132. Do 27 and t have different values?
True
Let h(v) = v**3 + v**2 - 18*v - 38. Let l be h(-2). Suppose r + m = -12 - 6, 0 = 5*m + 20. Let q = r + 10. Which is greater: q or l?
q
Let j be 4870*(-10)/4420 + 11. Which is smaller: 1 or j?
j
Let k be ((-3)/(-3) + 41)*-1. Let m be ((-44)/k)/(80/(-60)). Let z = 37/7 + m. Is z greater than or equal to 6?
False
Let f be (153/510)/(6/(-4115)). Which is smaller: f or -205?
f
Let h = 25261 - 4648011/184. Is h bigger than 0?
True
Let p = 293 + -257. Is 33 < p?
True
Suppose -2*v + 6 + 4 = 0. Let n(g) = -g**2 + 9*g. Let f be n(0). Suppose s - v*s - 4 = f. Is -1 less than or equal to s?
True
Let g = -7 + 5. Suppose 0 = 2*b - 3*b - 4*k, 5*k = 4*b - 21. Suppose 3*d = b*d. Is g smaller than d?
True
Let f be (-156)/(-11) + (-8)/44. Let l be (-21)/f*6/27. Which is smaller: 1 or l?
l
Let h = -0.12 + 0.4. Let y = h + -0.28. Which is smaller: y or -4?
-4
Suppose -9*n + 11 = 65. Is -12 <= n?
True
Let a be (2 + 1)*(-1)/3. Let o be ((50/4)/5)/(7/a). Is o bigger than 0?
False
Suppose -10*k = -25 + 35. Let l be (1 - -2)/(0 + -11). Which is smaller: k or l?
k
Suppose 4*t = -44*t. Which is smaller: 11/34 or t?
t
Let x(z) = -15*z - 226. Let j be x(-15). Let c = -314 - -12247/39. Is j less than c?
True
Suppose -14*d + 9 + 19 = 0. Suppose -20 = -4*t, -3*t - 29 = s - 5*s. Let k be -1*(s - 2)/(-3). Which is greater: d or k?
k
Suppose -185 - 25 = -21*z. Let n be 63*1/((-15)/z). Is -43 < n?
True
Let g = 22/5 + -39/10. Let d be 12/(-3)*(-3)/(-3). Let q = 5 + d. Which is greater: q or g?
q
Suppose 4*a - 233 = 2*m + a, 124 = -m - a. Are m and -121 unequal?
False
Suppose 5*z - 3*k - 1 = 0, z - 3*k = -z - 5. Let h(n) = n**3 - 3*n**2 + 3*n - 1. Let a be h(z). Suppose -12*w - 5 = -41. Is w greater than a?
True
Suppose -65 + 122 = -3*y. Let v = y + 19. Let k = 16 + -1. Which is smaller: v or k?
v
Let n(g) = -4*g - 5. Let c be n(-5). Suppose -3*y - 5*b = 42, -5*y + b = -3*y + c. Let u = -5 - y. Is u less than 4?
