pose 5*m - 29 = 5*s - j, -2*s + 4*m - 14 = 0. Suppose z + 0*z = -5*l - 10, 2*l - 3*z + 4 = 0. Which is smaller: l or s?
s
Let k be (-7)/(14/10) + (-1464)/21. Let i = -111 + 36. Let j = k - i. Which is smaller: j or 0.1?
0.1
Suppose 4*z = -3*l + 27, 2*z - z - 28 = -5*l. Suppose 0 = 5*u - 25, -5*p - 7 - z = -u. Which is smaller: p or -2/23?
p
Let u(t) = t**3 - 12*t**2 + 6*t + 57. Let z be u(11). Let c be -1*(400/205 - z). Let x(o) = -o + 2. Let j be x(1). Are j and c unequal?
True
Let s be (10/9)/(2/3). Let w = 21 - 3. Let o = 21 - w. Which is greater: o or s?
o
Let b be 3/9 + 515/(-210). Let t = b + 11/6. Which is smaller: t or -12?
-12
Suppose 3*z = -2*t + 10, 5*z = 5*t - 5 - 20. Suppose 2*d + u = 4*u, -5*d = t*u. Is d greater than -1/85?
True
Let n be -4 - ((-6986)/990 - -4). Let b = -14/15 - n. Which is smaller: b or 0?
0
Let f(l) = -l**3 + 62*l**2 + 128*l - 64. Let n be f(64). Is n bigger than -326/5?
True
Suppose 0 = j - c - 2, -2*j + 7*j = 3*c + 12. Let b(r) = -r**3 - 3*r**2 + 5*r + 4. Let x be b(-4). Which is smaller: j or x?
x
Let y = 0.23 - 12.23. Let x = y + 12.1. Is 2/3 bigger than x?
True
Suppose 15*m = -m - 2432. Which is smaller: -455/3 or m?
m
Let l = 44012/29 - 1518. Is 1 less than or equal to l?
False
Let d = 3781/2 + -1935. Is d at least -46?
True
Let h(j) = j**3 + 10*j**2 + 12*j - 4. Let f be h(-8). Let n(l) = l + 16. Let w be n(10). Which is smaller: w or f?
w
Let p be ((-4)/8)/((-3)/84). Let b(d) = d - 10. Let u be b(p). Suppose 2*g + u*q = 2*q + 10, q - 9 = -5*g. Is g not equal to 1/16?
True
Let l be (-5)/((-15)/(-4))*-3. Suppose d = -l*d + 110. Let w(q) = -q**3 + 13*q**2 + 2*q - 5. Let x be w(13). Which is greater: x or d?
d
Let s be 6*(-1)/(-8) + (-3)/4. Suppose s = 5*c - 25 + 20. Suppose 2*x = -0*x + 2. Is x at least c?
True
Let v be 52/16 - (-5)/(-20). Suppose 0 = 4*f - v*f + 3*d + 12, f + 16 = -4*d. Suppose -2*b - 3*g + 24 = f, -4*b = -4*g + 3*g - 20. Are 5 and b non-equal?
True
Let l = -29 + 43. Let r be 30/70 + (-6)/l. Which is greater: -1 or r?
r
Let i(d) be the second derivative of -3*d**5/20 + d**4/12 + d**3/6 + d**2/2 - 5*d. Let j be i(-1). Let q be 1 + 1 + 4/2. Are q and j equal?
True
Let n be 1 + 176/(-84) + 1. Let m = 0.56 + -0.06. Let r = m + -0.3. Is n < r?
True
Suppose 4*t - 64 = -4*d + 9*d, -80 = -5*t - 2*d. Let v = t + -31. Let w(x) = 3*x - 11. Let i be w(-1). Which is smaller: i or v?
v
Let g(k) = -4*k + 7. Let b be g(-10). Suppose -41*i = -b*i - 354. Is -59 < i?
False
Let j = 14/435 + -13/464. Which is smaller: j or 1?
j
Let z be (15/(-20))/(1/8). Let a = -3 - z. Let j = 0.009 - -0.391. Which is smaller: j or a?
j
Let n = -102 - -123. Is 13 at most n?
True
Suppose -159*k + 1568 = -163*k. Which is greater: -391 or k?
-391
Let p = -832 - -827.1. Which is bigger: p or -5?
p
Let v(f) = -f**3 - 2*f**2 + f - 3. Let n be v(-3). Let d be -1*((-8)/n + 3). Let x = 4/21 + -1/3. Is d at most x?
True
Let o be (5/(-130))/(2/(-4)). Let p(z) = -z + 16. Let g be p(8). Suppose -g*b + 5*b = 0. Which is smaller: o or b?
b
Let y(n) = 6*n - 9. Let h be y(3). Let x be (-6)/h + 29/3. Is 11 > x?
True
Let l = 44.29 - 44. Let b = -0.19 + l. Which is greater: b or -1/11?
b
Let c = -3 - -7. Let z = 416 + -412. Are z and c nonequal?
False
Let u = -163 + 60. Which is greater: 2 or u?
2
Let h = -22 - -15. Suppose -3*a = 4*z + 35, 32 = -3*a - 2*z + 1. Let p = 3 + a. Which is greater: h or p?
p
Let j = 21/4 - 35/12. Let g be 4 + -4 + (5 - (6 - 2)). Which is smaller: g or j?
g
Suppose 4*w = 2*k + 14, -17 = -4*w + k + 2*k. Suppose -3 + 1 = w*r. Do r and -3/13 have different values?
True
Let o = -73/45 - -20/9. Let l = 11/10 - o. Is l > -4.2?
True
Let r be ((-1)/(68/(-54)))/((-180)/1920). Which is greater: -7 or r?
-7
Let l = 138 + -150. Let w(a) = -a**2 - 18*a - 20. Let m be w(l). Is 53 not equal to m?
True
Suppose q + 43 = -87. Let p be (-84)/q + (-11)/(143/(-2)). Which is bigger: 2 or p?
2
Let h = 0.034734 + -1408.104734. Let j = h - -1393. Let a = j + 15. Does 2/5 = a?
False
Suppose 0 = 2*t - 10, j + 2*t - 6 - 2 = 0. Suppose 3*c - w + 87 = 88, -4*c - 2*w = 12. Which is smaller: j or c?
j
Let y be 2535/135 - 19 - 4844/(-21879). Which is greater: y or 0?
0
Suppose 28*n - 70 = 490. Which is bigger: 18 or n?
n
Let k = -239 - -106. Let m = k + 134. Which is greater: m or -4/37?
m
Let b = -11 + 11. Suppose b = 8*i + 4*i + 2*i. Let u = 118/3 + -39. Which is greater: i or u?
u
Let o be 12/(-10) + 1 - 684/(-3020). Do 1 and o have the same value?
False
Suppose -2*u = -z - 74, -5*u + 2*u = -5*z - 335. Which is smaller: z or -440/7?
z
Let a = 6 + -4. Let q = -1 + a. Let g be 1 - (-1 + 13/9). Which is bigger: q or g?
q
Let n = -0.4 - -0.4. Let o = n + -0.1. Let p = -3 - -13/5. Which is bigger: o or p?
o
Let p = -7476/5 - -1457. Which is smaller: p or -39?
-39
Suppose -8 = -4*m - 20. Let j be 3/m*(2 - 3). Suppose -2*w = -w - j. Which is bigger: w or 1/2?
w
Suppose -751*z + 44 = -747*z. Is z smaller than 2?
False
Suppose 4*t - 27 = 5*z, 0 = -5*t + 9*z - 6*z + 50. Is t >= 10?
True
Suppose 7 = 6*b + b. Is -38/93 greater than b?
False
Let n be (-4)/6 + (-23)/(-39). Let x be 1*3/18 - (-13 + (-190)/(-15)). Is n != x?
True
Let g(l) = -l + 3. Let r be g(1). Suppose -17 = r*i + 3*j, 4*i + 24 + 1 = 3*j. Is i > -7?
False
Let o = 95 - 96. Which is bigger: o or 1/11?
1/11
Let n = 28204 - 366948/13. Is -22 > n?
True
Let o be -3 + 8 - (-29)/(0 - -1). Is 34 != o?
False
Let t be (-1)/((-147)/(-9632)) - (-6)/63. Is t at most -65?
True
Let b(m) = 0*m**2 + 4*m**2 - 3*m**2 - 10*m + 13 + 12. Let l be b(6). Which is bigger: 2/7 or l?
l
Let v = 24.8 - 31. Let f = v - -1.2. Let b = f - -10. Is b at least -2/5?
True
Let q = 19 - 338. Is q equal to -318?
False
Suppose k + 6 - 7 = 0, -5*x - 4*k = 2441. Is -489 smaller than x?
False
Let c = -7 + 6. Let b be 1*9/(c/1). Let u(i) = i**3 + 6*i**2 - 8. Let x be u(-6). Which is bigger: b or x?
x
Let j(c) = -c**3 - 2*c**2 - c. Let o be j(-2). Let v(s) = s**2 - 1. Let z be v(o). Suppose 2*i + 3*i = 3*f - 10, f - 6 = z*i. Which is smaller: -3/5 or f?
-3/5
Let o(h) = 9*h + 233. Let m be o(-27). Which is greater: m or 6?
6
Let b(i) = -i**3 + 13*i**2 - 4. Let m be b(13). Let l be -3*(m + 14/3). Do -8/15 and l have different values?
True
Suppose 0 = -4*r + 9*r + 25. Let p = -802/213 + 7/71. Which is greater: r or p?
p
Let o(y) = -y**3 - 12*y**2 - 11*y. Let f be o(-11). Suppose z - 4*z + 9 = 0. Suppose -4*b + 2 = 2*h, -z*b + 5*b + 5 = 5*h. Which is bigger: f or h?
h
Let a be (-2)/6*(-2)/(8/6). Are a and 318 nonequal?
True
Let d = 13.2 - 13. Let f = -2.2 + d. Let h = 1.9 + f. Are -2 and h non-equal?
True
Suppose 3*h = 2*h + 2. Let b be ((3 - 1)/(-2))/((-4)/(-52)). Let y be (b - -1)/(-2) + (-9)/3. Is h > y?
False
Suppose 4*z + 4*a = -16, 0 = -4*a + a + 6. Let v = -561 - -560.9. Which is smaller: z or v?
z
Let x(k) = k**3 - 4*k**2 - k - 20. Let t be x(5). Let y = -12890/21 - -614. Is y not equal to t?
True
Let m(t) = -3*t**3 + 4*t**2 + t + 1. Let r be m(3). Let k = 41 + r. Is 0 less than k?
False
Let k = -56.5 - -56. Are k and -7/2 unequal?
True
Let v = -36 - -36. Suppose v = -5*w + 7 - 12. Is w at most 0.7?
True
Suppose -5*x = -4*x - 4*x. Which is bigger: x or -4/17?
x
Suppose -133*m - 40 = -138*m. Which is smaller: m or 52?
m
Let t be (-173)/7 + 2/(-7). Let d = 33 - -15. Let q = d + -49. Which is smaller: t or q?
t
Let c = 567 + -570. Let t be (84/70)/((-3)/10). Is t equal to c?
False
Let y = 28783/82 - 351. Let c be -1 - (-6)/15 - 777/(-1845). Let g = y + c. Which is smaller: 0 or g?
g
Let i(y) = y**3 - 7*y**2 + 8. Let v be i(7). Suppose -3*z = -v*z + 10, 2*p = -4*z + 20. Is 6 at most as big as p?
True
Let y(i) = i + 9. Let n be y(-11). Let f = n + -1. Are f and -11/4 unequal?
True
Let c = 1 - 2. Let i be ((24/(-2310))/((-60)/50))/(-1). Which is smaller: c or i?
c
Suppose 5 = -m, 2*a + m = -a - 5. Suppose 55 + 53 = -9*t. Let u be 3/(-48)*-2*t/15. Which is smaller: u or a?
u
Suppose 11*m - 13*m = 0, 5*i - 5*m = 1240. Which is smaller: i or 251?
i
Let c be -1 + (-2)/((-4)/(-2)). Let u(p) = -5*p - 2. Let l be u(c). Let h = 192 + -192. Is h < l?
True
Suppose -306 - 62 = 23*h. Suppose -3*y - f - 41 = 13, 5*y + f + 88 = 0. Is h at most y?
False
Suppose 11*h + 3*v = 12*h - 2, v = 1. Which is smaller: 0.04 or h?
0.04
Suppose n = 2 + 1. Let a b