o = -0*o - 25. Suppose q*m - 3*s + 6*s - 36 = 0, 2*m = -5*s + 33. Let y be (-5)/(15/m + -2). Is y <= 14?
False
Suppose -2*z = r + r + 234, -5*z = 3*r + 587. Which is greater: -117 or z?
-117
Let j = -1105 - -1105.2. Which is bigger: j or 40/7?
40/7
Let c be 0 + 2 + 19/1. Suppose 3*d + 32 = 5*d + 3*l, 2*d - 3*l = 56. Let o = c - d. Which is greater: 2/9 or o?
2/9
Let f = -55.69 - 1.31. Let n = 56.96 + f. Which is greater: n or -1/4?
n
Let g = 58.3 - 56. Let r = g - 2.2. Is 0.02 < r?
True
Let s be 12/(-18) - 4/(-6). Suppose -4*u - y + 13 = s, 0 = 3*u - 6*u - 4*y. Suppose v - 3*v = -u. Which is greater: v or 3/5?
v
Suppose -j + 3 = 0, 2*q - 14 = -j - 1. Suppose -q*t - 15 = 0, 3*l - 45 = -t + 3*t. Let c = l - 8. Is c not equal to 3?
True
Suppose k + 5*k - 282 = 0. Does k = -0.4?
False
Suppose 773*z - 77 = 766*z. Which is smaller: z or 3/8?
3/8
Let w = -2307 + 2303. Let c = -0.7 + -0.3. Is w smaller than c?
True
Let f be (7/(-2) - -1)*22. Let t = f + 2. Is t > -52?
False
Let l be 42/(-99) - (-4)/(-6). Let j = 139 + -149. Let p be (-4)/10 + (-4)/j. Which is smaller: l or p?
l
Let m = -19/4 + 85/12. Suppose -2 = -2*x - 4*j, 2*x - 5*x = -j - 3. Which is smaller: m or x?
x
Let g = -0.5 - 1.5. Let q be (-18)/((12/32)/((-5)/140)). Is g greater than or equal to q?
False
Let k = 61 - 57. Suppose 20 = k*f, 3*u - 4*f = -26 + 6. Do u and -2/5 have different values?
True
Let d = -585 - -544. Is d < -1?
True
Let g = 41.3 - 44. Let i = g + 2.79. Is 1/4 < i?
False
Let x = -16 + 6. Let j = -10.2 - x. Which is smaller: 1 or j?
j
Suppose -69 = -2*t - 5*d - 0*d, t - 5*d + 3 = 0. Let x be 1 - 1 - t/11. Let q be x/(-24)*45/10. Is 0 > q?
False
Let b be (15/50*-1)/((-2)/5). Is b at least -7?
True
Let l = 49 - 58. Which is greater: l or -54/7?
-54/7
Suppose 26 = 4*i - 6. Let q(v) = 2*v**2 - 9*v + 6. Let r be q(3). Let s = r - i. Is -9 greater than s?
True
Let f(k) = -2*k**2 + 4*k - 4. Let n be f(2). Suppose 0*h + 4*b - 4 = 5*h, -3*b = 12. Is h less than or equal to n?
True
Let y be -5*((-110)/(-25) + -4) + 54. Does 5 = y?
False
Suppose 112 = -13*x + 8. Which is bigger: x or -7?
-7
Let t(n) = -n**2 + 8*n + 34. Let x be t(-3). Let w be ((-6)/372)/(1/(-2)). Is x greater than w?
True
Let u be (-59)/7*(-14)/(-12). Is -10 smaller than u?
True
Let m = 14 + -6. Let k be 14/(-84)*30/m. Which is smaller: 1 or k?
k
Suppose -38 + 14 = -4*p. Let r = 27/5 - 9/10. Is r at most p?
True
Suppose p = -2*v, -p - p = -2*v. Which is greater: v or -17/5?
v
Let x = 1010 - 1493. Is x smaller than -483?
False
Let v = -89 + 88.8. Is v equal to 165?
False
Let t(g) = -g**3 + 8*g**2 - 3*g + 2. Suppose -5*x + 3*f = -15, 8*f + 9 = 3*x + 3*f. Let h be t(x). Is h >= 38?
True
Suppose -35 = -28*w + 1925. Is 73 <= w?
False
Let s = 8.2 + -8. Let l = s + 0.8. Do 3/4 and l have the same value?
False
Let u = 1672/51 - 98/3. Let y(k) = k**3 - 3*k + 2. Let z be y(1). Suppose -r + 2 = z, -4*m - 5*r = -10 - 4. Is u less than or equal to m?
True
Let l be (-3)/((-6)/(-4)) + 1. Let r = -11 - -12. Let d be (-7 - -1)/(r/l). Is 5 at most d?
True
Let l be (15/6 + -3)*-6. Suppose 0 = -l*v + j - 1, -v - 3*j + 0 = -3. Which is smaller: -0.073 or v?
-0.073
Let d = 2.9 - -0.6. Let w = 3.7 - d. Is w at most as big as -11?
False
Suppose 3*n = 0, 18*b - 3*n = 17*b - 2. Let c(s) = s**2 + 4*s - 1. Let v be c(-5). Suppose -1 = v*j - 5*j. Which is bigger: b or j?
j
Let a = 134796/6055 + -782/35. Which is bigger: 1 or a?
1
Suppose -11 + 74 = 21*l. Is 0.2 <= l?
True
Let o be -6*(-1)/156*-4. Let p = -0.95 - 0.05. Is p not equal to o?
True
Let c(k) = -3*k - 25. Let w be c(-10). Suppose 2 = -2*i - w*a, i + 1 = 4*a - 0. Which is smaller: -3 or i?
-3
Let g = 1194 + -1159. Which is smaller: -5 or g?
-5
Let q be ((-2)/(-4))/(-2 - (-2 - 1)). Are 1.29 and q equal?
False
Suppose -q = -0*q - k + 5, 0 = 5*q + 5*k - 25. Suppose 11*h - 10*h = q. Is h > 1/16?
False
Let i be (0 + (-3 - -2))/1. Suppose 0 = 8*y + 23 - 343. Let j be y/825 - 2/(-15). Which is bigger: i or j?
j
Suppose 0 = 8*d + 2*d - 820. Are 0.1 and d unequal?
True
Suppose -7*b = -3*b - 208. Let r be ((-39)/b)/(246/16). Which is greater: r or -1?
r
Let m(h) = -h - 1. Let w be m(-7). Let a = -14 + w. Let r be (-2)/a*(-32)/(-92). Is 1 greater than r?
True
Let k = 9 - 10. Suppose 5*o - o = 0. Suppose -5 = 5*b - o. Do k and b have different values?
False
Let u be (7*(-34)/119)/((-2)/(-4)). Let c be 5/(2*(-1)/2). Which is smaller: u or c?
c
Suppose 0 = -5*b + 3*v - 3118 + 378, -1096 = 2*b + 2*v. Is b != -548?
False
Let c be 2/(-6) + (-1)/(-5). Suppose -7*w - o + 14 = -2*w, -3*w = 3*o - 18. Suppose i = -2*z - 0 + 9, 0 = -w*i - z + 6. Is c at least as big as i?
False
Suppose 4*m - 76 = -4*k + 3*m, 5*m - 110 = -5*k. Suppose k*d + 8 = 14*d. Which is bigger: 0 or d?
0
Let u(l) = -10*l - 9. Let r be u(-1). Is r bigger than -1/112?
True
Let a(x) = -6*x**2 + 24*x + 51. Let f be a(-2). Is f at least as big as 6/7?
False
Let j = -38507/5 - -7728. Which is bigger: j or 28?
28
Suppose -47*g + 81*g - 102 = 0. Let i be (-12)/2*(-1)/2. Suppose -1 - i = 4*u. Is g equal to u?
False
Let j(n) = -8*n - 406. Let v be j(-9). Is -333 less than or equal to v?
False
Suppose 0 = -705*k + 699*k - 2118. Is -353 at most as big as k?
True
Suppose -4*v = -v, 2*l = -2*v + 28. Which is smaller: 0 or l?
0
Let l(g) = 116*g**2 + g + 2. Let o be l(-2). Let s be (-25)/2 - (-33)/(-22). Let q be 4/s + o/56. Are q and 8 nonequal?
False
Let j be (0 - 1)*(-12)/138. Let c = -17/69 - j. Suppose -4 + 34 = -5*v + 5*o, 4*v = 5*o - 29. Which is greater: c or v?
c
Let z be (1 + -3)/(1 + 0). Let n be 0/(z*1 + 4). Let v be (-6)/(-16)*(-132)/891. Are n and v unequal?
True
Let k(g) = 14 + 0 + 4 + 2*g + 5. Let z be k(-11). Which is smaller: 2/45 or z?
2/45
Let g(t) = 40*t**2 - 11*t - 63. Let z be g(-4). Is z less than 621?
False
Suppose -4*x - l - 731 = -2*x, 4*x = 5*l - 1483. Is x bigger than -367?
False
Let d be 4/30 - 74576/1770. Which is greater: 6 or d?
6
Suppose 0 = 10*f + 6560 - 1980. Is -457 smaller than f?
False
Let o = 127 - 133. Is o bigger than 2/25?
False
Let x = 0.13 - -7.87. Let b = 9 - x. Let t = -2/7 + -17/14. Is b not equal to t?
True
Let r(s) = 17 - 5*s - 10*s**2 - s**3 + 4*s**2 - 11*s**2 - 10*s. Let w be r(-16). Is w at most as big as -3/16?
False
Let m = -0.48 - -1.36. Let o = 0.12 + m. Let g(i) = -2*i**2 - 25*i - 73. Let u be g(-9). Which is greater: o or u?
o
Suppose -5*l + 49 = 2*u + 370, 4*u + l = -669. Are -169 and u equal?
False
Let u = 0.78 - 1.18. Let p(a) = a**2 + 3*a - 5. Let v be p(-5). Suppose -k + v = -6*k. Is k at most as big as u?
True
Let h = -137 + 247. Let s = h + -115. Is s > 1/3?
False
Let b = -100 + 112. Is -3 greater than or equal to b?
False
Let k be ((-60)/(-14))/(4*5/65). Is 15 at most k?
False
Let c be 9/6*(-46)/(-69). Is 9/5 bigger than c?
True
Let u(l) = -2*l - 1 - 3 - 2*l. Let y be u(-2). Suppose -33 = 3*g - 3*o, 3*g = y*o - 34 - 2. Is g < -8?
False
Let y = 19/48 - 1/16. Let z = 82.2 - 18.1. Let g = -64 + z. Which is smaller: g or y?
g
Let v be -2*(42/10 - 2/10). Let n(a) = 2*a**2 + 16*a + 20. Let p be n(-6). Is p equal to v?
False
Suppose -2*m + 5*z - 11 = 0, 4*m + 0*z - 3*z - 13 = 0. Suppose 0*a = m*a - 98. Suppose d = -3*f - 0*d - a, -5*d = -f + 6. Which is greater: f or 2/5?
2/5
Suppose 0 = -u - 4*k - 8, u - 2 - 4 = 3*k. Let b be 2/(-16) + u + 0. Let a = 0.027 - -0.073. Which is greater: a or b?
a
Let f = -44 - -23. Let j = 350 - 186. Let d = -163 + j. Which is greater: d or f?
d
Suppose 4*m - 2 = 6*m. Let j be -4 - -2 - (-2 - m). Let y be -2*1/8 - j. Which is smaller: 2 or y?
y
Suppose 50 = -3*k - 2*k. Let x be 8/(-2 - 16/k). Let i be -1 - ((-12)/(-28) - (-1353)/77). Which is smaller: x or i?
x
Suppose 50*f = 5*f + 315. Which is bigger: f or 13?
13
Let u = -1441/315 - -11/63. Let d(x) be the first derivative of x**2/2 - x - 1. Let r be d(-4). Is u < r?
False
Let v = 0.132 + -6.232. Let z = -7.1 - v. Do 2.1 and z have the same value?
False
Let u be 4/(-18) - 316/36. Let n be ((-15)/9 + 2)/(12/u). Is -0.32 less than or equal to n?
True
Let u(f) = f**3 - 4*f**2 - 31*f - 15. Let o be u(8). Which is smaller: o or -53?
-53
Suppose 5*k = -a + 8, -k + 5*k = -2*a + 10. Let g(f) = -f**3 + 6*f**2 - 4*f + 4. Let t be g(a). Is t equal to 19?
True
Let l = -204.36 - -215. Let i = l + -11. Let m = i - -0