56/9
Suppose 3*l + 4*x = -36, -4*x + 3*x = 4*l + 35. Let u be (4 + 2)*-1*3. Let v = u - -11. Which is greater: v or l?
v
Suppose 0 = 4*s - 7*s + 6. Let a be s/((5/(-15))/(-1)). Let y be (-40)/a - 18/54. Does y = 2?
False
Let r = 2 - 3. Suppose 45*g - 69 = 66. Let b be r*g + (-49)/(-28). Is -1 less than b?
False
Suppose -5*p + 129 = 3*b, -3*b + 1 + 8 = 0. Let j be 164/6*p/16. Let w be ((-5)/10)/(j/4). Which is smaller: -1 or w?
-1
Suppose 0*o + o = 0. Let y be 18/286 - (22 + 6804/(-308)). Which is bigger: y or o?
y
Let f = -10.8 + -35.2. Let l = f + 44. Is -0.02 equal to l?
False
Suppose -5*i - 35 = 4*k - 2, -2*k - 2*i = 14. Is k less than or equal to -0.74?
True
Let p = -476.9 - -477. Is -1/145 less than p?
True
Suppose 0 = -6*i + 10*i + 20. Suppose -4*b - a + 10 = b, -6 = -3*b + 2*a. Suppose -2*p - b*p = 0, u - p + 5 = 0. Is u at least as big as i?
True
Suppose -2*t = 2*t - 8. Let h be (2 - (-131)/(-60))*46. Let r = -35/6 - h. Is r <= t?
False
Let a = 297.2 + -297. Does 89 = a?
False
Suppose 0 = 5*h + 10, -2*n - 21 = -5*n + 3*h. Suppose -4*p - j = p + n, 5*p = 2*j + 10. Which is bigger: p or 2/35?
2/35
Let h = 39 - 47. Let a = -5 + -2. Which is smaller: h or a?
h
Let w = -0.1 + 0.9. Let j = 1.6 - w. Let l = j + 4.2. Is 0 less than or equal to l?
True
Suppose 128 = 21*c - 17*c. Let a be (-8)/c + (-65)/(-292). Is -1 smaller than a?
True
Let k = 11 - 11. Let s(l) = -3*l + 1. Let p be s(k). Let n = 0.04 + 0.03. Which is smaller: p or n?
n
Suppose 0 = 3*q + r - 398 + 177, -3*q + 225 = -3*r. Do 364/5 and q have the same value?
False
Let r = 0.03 + -6.03. Let u = 2 + 3. Let z = r + u. Are z and 2 non-equal?
True
Let v = -5 + 8. Suppose 1 = -k - v. Let w(s) = s**3 + 3*s - 4. Let i be w(0). Is i less than k?
False
Suppose 0 = 728*s - 734*s + 6. Do s and 21/47 have different values?
True
Let g be 1280/(-6) - (-55)/(-33). Does g = -217?
False
Let b = 0.178 - 0.178. Let g = 197 - 124. Is b < g?
True
Let g = 561 + -383. Let d = 2671/15 - g. Let s = 2 - 3. Which is bigger: d or s?
d
Let z = 2538/7 + -14647/42. Let m = z + -257/18. Let i(o) = o**2 - 6*o + 6. Let n be i(5). Which is smaller: m or n?
m
Suppose -335 = r + x, -2*r + 11*x - 8*x = 690. Is r less than or equal to -339?
True
Let i = 72 - 359/5. Let k = -5816 - -5826. Which is greater: i or k?
k
Let g = 0.241 + -0.041. Which is smaller: 0.007 or g?
0.007
Let i(t) = -t**3 + 3*t**2 + 3*t - 5. Let r be i(0). Let d be ((-14)/(-7805))/(1/r). Which is greater: d or -1?
d
Let p be (-1337)/(-13) - 90/(-585). Is p > 103?
False
Let x = -8 - -12. Let j be x + -1*(2 - -2). Let p = -58/39 - -2/13. Is p > j?
False
Let t be 4/(32/(-2))*-44. Suppose 0 = -2*a + 5*p - 37, -3*p - 128 = 5*a + t. Is -26 less than a?
False
Let k = -0.14 + 0.2. Let t = 10 + -9.8. Is t greater than k?
True
Let i = -11.201 + 0.001. Which is greater: i or -0.3?
-0.3
Let f(p) = 9*p - 56. Let q be f(0). Is -57 at least as big as q?
False
Let j = 19 - -9. Let p = j + -44. Suppose 5*z = 2*y - 87, 0 = 2*z - 8*y + 11*y + 31. Do p and z have different values?
True
Let n(f) = 2*f**2 + 19*f - 60. Let q be n(-12). Which is smaller: 7/11 or q?
q
Suppose -3*a = -0*p + 2*p + 49, -5*a = 4*p + 97. Which is smaller: p or -20?
p
Let m = 62 - 91. Let g = m - -27. Is g at most -11/3?
False
Let m be 232/203 + 1150/(-14). Is m equal to -78?
False
Let x(z) = -z**2 + 2. Let b be x(0). Let w = -9 - b. Which is smaller: w or -12?
-12
Let g be (8/132)/((20/6)/10). Which is greater: -1 or g?
g
Suppose -1139 = 9*t + 85. Which is smaller: t or -134?
t
Let q = 262 - 254. Is -0.14 > q?
False
Suppose 0 = -o - 2*o. Let y = o - -7. Suppose 3*p - 4*l + 5*l = -2, -y = -2*p + l. Which is greater: p or 3?
3
Let d(u) = -u**3 + 10*u**2 - u + 13. Let z be (-6)/(0 + -3) + 8. Let i be d(z). Suppose 12 = 3*f - 3*t, -f + 3*t - 26 = -30. Does f = i?
False
Let r = -29/4 - -721/100. Which is smaller: 0.1 or r?
r
Let u = -96 - -96.31. Let q = -0.18 - -0.29. Let k = q - u. Is k smaller than 2/7?
True
Let a = 1 + -23. Let m = a + 16. Let r be (-204)/24 - 2 - (-12)/2. Which is greater: r or m?
r
Let y = 2505/2 + -53853/43. Which is greater: 0 or y?
y
Let s = 212 - 301. Which is smaller: s or -88?
s
Let x = 51 - 40.6. Let d = 0.6 + x. Let b = d + -13. Do -1 and b have the same value?
False
Let x = 117 + -113. Suppose x*j = -3*y - 165, 18 - 105 = 2*j + 3*y. Do -39 and j have different values?
False
Suppose 0 = 2*b + 5*f + 1258, 20*f + 635 = -b + 16*f. Is -1235/2 not equal to b?
True
Suppose -m = 56 + 46. Is m >= -102?
True
Suppose 23*q = 18*q + 320. Let f be ((-9)/6)/(8/q). Is f less than or equal to -10?
True
Suppose 2*u + 4*s = 3*s - 2, 3*u + 3*s + 9 = 0. Suppose 157 = 5*n - 88. Let z be (-2 - u) + n/17. Does z = 0?
False
Let p(w) = -w**3 + 10*w**2 + w - 2. Let o(v) = v + 21. Let b be o(-11). Let i be p(b). Is 1 at most i?
True
Let r be 225/21*7/4. Let o = r + -19. Let k = -5.85 - 0.15. Is k less than or equal to o?
True
Let m be 9/(-27) + 1145/(-30). Is -39 greater than or equal to m?
False
Let d = -62.15 - -62.1. Which is smaller: 0 or d?
d
Let w be ((-13)/4)/(2 - 14/8). Let b = 0 + w. Which is smaller: b or -14?
-14
Let g = -39 - -24. Let k be (-84)/g + (-4)/(-10). Which is smaller: 11/2 or k?
11/2
Suppose 136*k - 186 = 134*k. Which is smaller: 94 or k?
k
Let w = 11 + -4. Let s(j) be the second derivative of -j**3/6 + 7*j**2/2 - 10*j. Let v be s(w). Are -1/16 and v nonequal?
True
Let v = -12.89 + 13. Let a = 0.02 - v. Let f = a + 0.11. Is f less than or equal to 0?
False
Let a = 48 - 30. Suppose -a*f + 5 = -13*f. Let u(n) = -n + 6. Let j be u(3). Which is smaller: j or f?
f
Suppose -10 = -l + 6*l. Suppose -2*g = -q - 3 + 2, 2*q - g = -8. Let w be (-72)/(-1350)*q/l. Which is smaller: 1 or w?
w
Let m = -301 + 314. Is 105/8 less than or equal to m?
False
Let x(l) = 3*l**2 - 4*l - 6. Let s be x(17). Let o = 19831/25 - s. Is -1 at least as big as o?
False
Let x(a) = -a**3 + 13*a**2 - 25*a + 13. Let z be x(11). Which is bigger: -1 or z?
-1
Suppose -4*z + 35 + 1 = 0. Suppose -z + 11 = -2*u. Which is bigger: u or 2/107?
2/107
Let c = 19 + -17. Suppose -3*s + c*s + 12 = 5*m, -2*m = -4. Suppose 0*y + a = y + s, 5*a = -y + 10. Which is smaller: 2/13 or y?
y
Let x = 0 + 3. Suppose -2*n + 16 = -4. Suppose -f - f = -n. Which is smaller: f or x?
x
Let f = 150 + -599/4. Let i = -8 + 7. Let w be -1 + i + (-15)/(-7). Do f and w have the same value?
False
Suppose 0 = 8*y - 3*y - 15. Let v(w) = w**2 + w - 1. Let h be v(0). Is y <= h?
False
Let k be (45 - (-4 + 8)) + -1. Suppose k = -5*l - 0. Let p = l - -7. Is p greater than -2/9?
False
Suppose -2*j + 2 + 3 = b, -25 = 5*j - 5*b. Which is greater: -67 or j?
j
Let s = -44 + 66. Suppose 34*w = 35*w - 25. Let y = w - s. Does y = 3?
True
Let q = 0 - 0. Suppose 0 = -5*j - q*j + 15. Let w be (-3)/(-1)*(11 + (-93)/9). Is w less than j?
True
Let n = 0.2 + -0.4. Suppose 3*c = -h - 3*h + 57, 5*h = 4*c - 45. Let z be 4 - 78/21 - c/28. Which is smaller: n or z?
z
Let a be 4/6 + 5/(-3). Suppose -8*n + 5*n - 375 = 0. Let p = n + 125. Is a less than p?
True
Let s be 27/(-36) + (-22557)/60. Let d = -377 - s. Is d at least as big as 1?
False
Let r(u) = -6*u**2 + 7*u - 2. Let g be r(6). Let x = 533/3 + g. Suppose 5*k + 10 = 0, h + 6 = -3*k + 3. Which is smaller: x or h?
x
Let d(u) = 4*u**3 + 4*u**2 + 11*u + 20. Let l be d(-3). Do l and -84 have the same value?
False
Let m(w) = -w**3 + 12*w**2 - 10*w - 7. Let c = -22 + 33. Let p be m(c). Which is greater: -1/4 or p?
p
Let o = 27.7 + -29.11. Let d = o + 1.21. Which is greater: d or -34?
d
Let s(g) = g**3 + 7*g**2 - 9*g + 2. Let i be s(-8). Suppose -i*h + 6 = -4*h. Let f = 1 + h. Is 5 < f?
False
Suppose 4 = -4*k, 6 = -2*a - 10*k + 6*k. Let t = 0.68 + -0.7. Which is greater: a or t?
t
Let c be -23 + -3 + 4 + 1. Let h = -24 - c. Let j be (h/2)/(3/(-10)). Is -2 > j?
False
Let c be 1/(-2)*-4*(-33)/(-44). Is c bigger than -0.05?
True
Suppose -5*r - 26 = -2*n - 3, 3*r + 15 = 0. Let b = -6 + 14. Is b <= n?
False
Let m = 70 - 72. Let o be (m - -1)*(15/(-12))/(-5). Which is greater: o or 5/12?
5/12
Let r be 1 + (-1 - 4/4). Let m be r*3*(-14)/(-7). Which is smaller: -8 or m?
-8
Suppose -3*c + 8 + 4 = 0. Suppose 0 = 5*h + 2*q + 3*q - 10, 0 = c*h - 4*q - 24. Which is smaller: h or 2?
2
Suppose -2*f - 3*f = 0. Let c be f/(2*(-1)/2). Let p