. Let x be (-14)/(-10) + 4/(-10). Which is greater: x or n?
x
Suppose m + 151 = -4*l, 89 = -l - l - 5*m. Which is smaller: l or 2/11?
l
Let x be 0/(-6*4/(-12)). Suppose 2*b + 4*b - 60 = x. Let r = -17 + b. Do -6 and r have the same value?
False
Let r(a) = -a**2 + 8*a - 10. Let u be r(7). Suppose l = 5*l - 4*d, d = 2*l + 2. Let k = u - l. Which is smaller: k or 0?
k
Let b(p) = -p**3 - 4*p**2 - 2*p + 4. Let s be b(-3). Let l = 2 + s. Let q(d) = -d**3 + 8*d**2 - 10*d - 7. Let w be q(6). Which is greater: l or w?
w
Suppose -20 = -6*t + 10. Suppose h = t*x - 465, 6*h - 15 = 3*h. Is x less than 94?
False
Let y(a) = 116*a**3 + 2*a**2 - 8*a - 9. Let u be y(-1). Which is bigger: -114 or u?
-114
Let y be 131*2/120 - (-21)/(-35). Let p = -4/3 + y. Suppose 5*v + 4*j + 0*j = 5, 8 = 4*v + 4*j. Which is smaller: p or v?
v
Let s = 0.1455 + -0.0455. Let b = -2.1 - -2. Let d = b + 0.3. Is d > s?
True
Let d = -2101 - -2231. Is d smaller than 129?
False
Suppose -3*o - 4*w = -533, -2*o - w + 0*w + 362 = 0. Is o at most 181?
False
Let x be -2 + 5 + (-70)/24. Let t(u) be the first derivative of -u**4/4 - 2*u**3 + 3*u**2 - 6*u + 7. Let a be t(-7). Is x at most a?
True
Suppose 58 - 191 = -w - 5*r, 0 = -2*w - r + 257. Which is bigger: w or 129?
129
Suppose -f - 4*w - w = 3, -2*f + 3 = w. Let d be 1/(2 - 0)*6. Suppose g = 2*g - d. Which is smaller: f or g?
f
Let r = 373/8 - 568841/12200. Is 0 at most as big as r?
False
Let i = 1808 + -3216. Which is smaller: -1407 or i?
i
Let y(h) = -h**2 + 10*h + 4. Let p be y(9). Let g = -19 - -31. Let v = 24 - g. Are v and p equal?
False
Suppose -5*p - w - 43 = 0, 5*p + 0*p + 4*w = -37. Let u = -9 + 0. Is u at least p?
True
Let l be 1/(-3)*(6570/12)/5. Which is smaller: -38 or l?
-38
Let k(u) = 8*u**2 - 1. Let q be k(1). Suppose -d = 4*x - 1, -d + 4*d + 2*x + q = 0. Let r be (d/(-6))/((-1)/2). Is r >= -2/73?
False
Suppose 17*p + 24 = -7*p. Is p at least -29/15?
True
Suppose 62*v + 312 = 66*v. Which is greater: 81 or v?
81
Suppose 2*z + 0 = -i + 28, -3*i + 6 = 0. Suppose -37 = z*h - 180. Is 6 at least h?
False
Suppose 4*d + 15 = 9*d. Suppose -5*h - 20 = 0, -b - d*h - 8 = 3*b. Let v = b - 1. Which is smaller: v or -2/5?
-2/5
Let g = -343352/7 + 48958. Let x = 92 + g. Let y be -1 + 14/4*-2. Which is smaller: x or y?
y
Suppose -5*y = m + 16, m - 8 = 5*y + 6. Let i be 30/(-8)*10/(-3). Let o = i - 13. Are m and o nonequal?
True
Suppose 27 = 2*x + 3*d, -6*d + 14 = -x - 2*d. Let w be (50/(-15))/(1/x). Which is smaller: w or -19?
w
Let l(a) = -a**3 - 3*a**2 + 10*a + 10. Let y be l(-4). Suppose -i - 17 = -2. Is i greater than y?
False
Let j = -1048 + 422. Let w = -30675/49 - j. Which is smaller: 0 or w?
w
Let z be (-40 - -38) + (24 + -1 - 1). Suppose -t - 5*j + 3 = z, 3 = 5*t + 3*j. Are 1 and t nonequal?
True
Suppose -6*t + 960 = 18. Let j = -2670/17 + t. Let g = -21.2 + 21. Which is smaller: j or g?
g
Suppose -15 = 5*k - p - 2*p, 2*p = -k + 10. Suppose 0 = 3*t - 5*r, -r + 6*r = k. Let b = -16 + 14. Is t at most as big as b?
False
Suppose 38 = 3*l - 22. Let k = 456769/23226 - -3/7742. Which is smaller: l or k?
k
Let u = -194 - -195. Which is greater: u or -5/27?
u
Let x = -1184 + 1133.3. Let l = -50 - x. Which is smaller: -1 or l?
-1
Suppose 1850 = -24*k - k. Are -71 and k non-equal?
True
Let m(k) = -2*k**3 + 9*k**2 - k - 6. Let p be m(4). Which is bigger: p or 11?
11
Let n = -59 - -57. Let u be 1 + 2 + n/(2/5). Let q(v) = -3*v + 6. Let d be q(4). Which is greater: u or d?
u
Let x(h) = h**3 - 3*h**2 - 2*h - 5. Let q be x(4). Let r be q - 7 - 34/(-8). Which is smaller: 1 or r?
r
Let u = 712 + -1264. Which is smaller: u or -551?
u
Let w be 1/3*(-14)/(-6). Let a(b) = b - 1. Let n be a(4). Suppose -n*z = z. Is w at least z?
True
Let p = 147 - 62. Is p greater than 85?
False
Let j = -46 - -50. Suppose 0 = -5*q + j*x + 17, -8 = -2*q - 0*q + x. Is 5 equal to q?
True
Let o = 2551 + -15433/6. Let p = o - -64/3. Which is smaller: p or -3?
-3
Let x(y) = -y + 12. Let g be 18/10*110/33. Let a be x(g). Suppose -7*l = -a*l. Which is smaller: -2/17 or l?
-2/17
Let w(j) = j**3 - 5*j**2 + 4*j + 1. Let r be w(4). Let a be r/((5/5)/1). Is 1/15 less than a?
True
Let h = 2/271 + -552/1355. Which is bigger: h or -23/8?
h
Let g = 188385/746 + -10/373. Let c = -258 + g. Which is greater: c or -5?
-5
Suppose 4*b + 120 = 4*s - 0, -3*b = -9. Let h be 2/(1*3/s). Suppose -p = p - h. Which is bigger: 1 or p?
p
Let m = -48.3 + -3.7. Let u = 50 + m. Which is bigger: 1/7 or u?
1/7
Suppose 11*z + 4*z = -4*z - 10*z. Suppose 3*c = -0*c - 129. Is z < c?
False
Let j be 17 + -19 - (0 - 34). Which is bigger: 23 or j?
j
Suppose -2*v - 6 = -2*q - 3*q, 3*v + 9 = -2*q. Suppose 0*p - 4 = -4*p, 3*g + 2 = -p. Are v and g non-equal?
True
Let l = -880229 + 195410347/222. Let b = l - -14/37. Is -2 less than or equal to b?
True
Suppose -2*n + 15 = -5*x + n, -2*x - 5 = -n. Is x at most 2.4?
True
Suppose 16*l + 0*l - 1584 = 0. Is l less than 100?
True
Let z be ((-1)/(-2))/(1/(-10)). Let b be 0/2*5/z. Let s = -59 - -61. Which is bigger: s or b?
s
Suppose -4*a - 5*w = 37, -a + 3*w = -2*a - 18. Let b be (-7)/3 + -4 + 7. Is b less than or equal to a?
False
Let t = 209 - 140. Suppose -n - t + 27 = -4*a, 0 = 5*n - 10. Is a at most 19/2?
False
Let b be (2004/(-5))/((-180)/(-600)). Which is smaller: b or -1335?
b
Let c be -1*(-1 + -18) + (-36)/9. Let x be (459/3)/(-3)*c/(-45). Which is bigger: x or 5?
x
Suppose -20 = 3*i - 5*i. Suppose -4*j + 110 = 62. Does j = i?
False
Let a = -18 - -22. Let w be (a/(-30))/((-4)/(-9)). Suppose 4*t + 2*t - 6 = 0. Which is bigger: t or w?
t
Let j = 325 - 326. Are 49 and j nonequal?
True
Let v = 362 + -363. Which is greater: 0.013 or v?
0.013
Let o be ((-5)/3)/((-2)/6). Let x be ((-12)/(-14))/(o/245). Is x greater than 42?
False
Let j = -1.02 + 0.02. Let y = 1.1 + j. Which is smaller: y or -9?
-9
Suppose 5*f - 45 = x + 4*x, -5*f - x = -69. Suppose -f = 8*u - 5. Which is smaller: 1 or u?
u
Suppose 2*t + 30 = -t. Let i be (t/6)/((-10)/4). Is i smaller than 2/11?
False
Let v = -7.02 + 7. Let u = 0.32 + v. Let d be 4 + (3 - 4) + -4. Which is greater: u or d?
u
Suppose -s + 3 = -2*s. Let i = -30 + 33. Is i greater than s?
True
Suppose -4*z - 180 = -4*m - 52, 0 = 3*m. Which is smaller: z or -94/3?
z
Let s be (2 - 7)/(-20) - (-14)/40. Is s at least as big as 2?
False
Let f be (-536)/(-3222) + (-6)/27. Let k = f + 9149/358. Let p = -26 + k. Is -18/7 > p?
False
Let g = 3 - 4. Let b = 29 + 18. Let c = b - 51. Is c at least g?
False
Let h(u) = -u**3 + 4*u**2 + 8*u + 7. Let c be h(6). Is c less than -14?
True
Let l = 1.1 - 1. Let v = 0.055 + -8.655. Let u = v + 9. Which is greater: l or u?
u
Let b be (3 + 0)*(-7)/((-42)/5). Let d be 6/(-4)*(-8)/6. Which is smaller: b or d?
d
Suppose 0*w - w + 19 = 0. Let q = -23 + w. Suppose -5*v - 3 = 3*m, 0*m - 24 = 5*m + 2*v. Which is smaller: q or m?
m
Let m = 32 - 32. Let k = -1.8 - -1.8. Does k = m?
True
Let p(m) = 2*m**3 + 15*m**2 + 5*m + 70. Let s be p(-8). Which is bigger: -426/13 or s?
-426/13
Let f(p) = -24*p - 74. Let v be f(-3). Which is bigger: v or 407?
407
Suppose 8008 = 69*y - 58*y. Is y not equal to 729?
True
Let v be 120/9 - 6/(-9). Let i be 404/505 + (81/5 - 0). Which is greater: v or i?
i
Let p = 0.3 - -2.9. Let r = p + -3.3. Which is smaller: -10 or r?
-10
Suppose 351*z = 360*z + 72. Is -31 < z?
True
Let p(r) = -3*r + 3 - 2 - 9*r. Let m be p(1). Let c be (-1824)/(-384) - 5*1. Do m and c have the same value?
False
Let c = -218.1 + 218.4. Is c at most as big as -4?
False
Let f = -41 - -42. Let x(w) = 19*w + 2. Let l be x(f). Let t = l + -52. Is t equal to -32?
False
Let i = -0.039 + -0.311. Let r = i - -1.35. Is -8 bigger than r?
False
Let h be -1 - (1 - (-2)/14). Let p(m) = -15*m - 9*m + 5 - 8*m**2 + 30*m + m**3. Let y be p(7). Which is greater: h or y?
y
Let n be ((-6)/(-21) - 0) + (-39)/135. Is n > -1?
True
Let v = -762 + 1049. Is v > 1?
True
Suppose -50*u + 1920 = -114*u. Which is greater: -26 or u?
-26
Let n be (166/498)/((-7)/3 - -2). Let t = 280 - 10919/39. Which is smaller: n or t?
n
Let g(n) = n**2 + 4*n - 17. Let c be g(-13). Let y(m) = m**2 + 4*m - 2. Let k be y(-5). Let q be (c/(-9))/(-4) - k. Which is smaller: -2 or q?
-2
Let x be (2/(-4) - -1) + 889/14. Let w = x + -160. Do -95 and w have different values?
True
S