hich is smaller: 2/3 or m?
m
Suppose 825 = 54*g + g. Which is smaller: g or -7?
-7
Let v(k) = -k**3 - k**2 + k - 62. Let i be v(0). Let o = i - -62. Let q be -2 + (-8)/11 + 2. Is o smaller than q?
False
Let g = -52285/6 + 204172937/23430. Is g > 1?
False
Let c be (1 - 0) + 2/8. Let i = -3 + 30. Let f = i - 27. Which is smaller: c or f?
f
Let j be (-64)/(-87) - (-10)/(-15). Is j at least as big as -0.008?
True
Let i = -1.73 + 1.859. Let k = i - 10.929. Let f = k - -11. Is 2/11 less than or equal to f?
True
Let h = 941/9167 + -10/89. Which is bigger: 1 or h?
1
Let t = -14.01 - -0.01. Let u = 14.04 + t. Are -1 and u unequal?
True
Let k = 2717 + -2707. Let x = 0 - -0.1. Which is smaller: k or x?
x
Let i = -324 - -350. Which is smaller: -0.1 or i?
-0.1
Let l = 176 + 243. Is 419 at most l?
True
Let p be 47/376 + (-69)/(-88). Let m = -0.07 - -0.07. Which is smaller: p or m?
m
Suppose 3*q - 3*c = 12, 5*q + 5*c = q - 11. Let i = 30 - 57/2. Which is smaller: q or i?
q
Suppose 3*w - 5*w - 740 = -3*s, 4*w = 2*s - 488. Let m = -1732/7 + s. Which is greater: 1/3 or m?
m
Suppose -11 = 3*l - 8. Let x be (4/6)/(4/(-8) + l). Suppose 0 = -2*d - w + 3, w + 4 = 5*d - 0*d. Are x and d equal?
False
Let k = 139 - 139. Let h be (6/7)/(6/(-1952)). Let j = -278 - h. Is k < j?
True
Let s = 539/31659 + -1/183. Let t = 119 + -120. Which is bigger: t or s?
s
Let l be ((-5)/20)/((-5)/(-8)). Let f = -9 - 5. Let q be f/(-7) + -1 + 0. Is q > l?
True
Let k be 2/((-7)/((-63)/6)). Suppose -6 = -k*i + i. Suppose -i = 3*y - 2*y. Which is smaller: -7/4 or y?
y
Suppose -3*g - 6 = 0, -18*r + g + 2 = -21*r. Suppose -2*i - 6 = -3*o, -5 = -3*o + o + i. Which is bigger: r or o?
o
Let z(d) = -346*d**3 - 2*d**2 + 2*d - 1. Let k be z(1). Let r = -4509/13 - k. Is -1 bigger than r?
False
Let z(c) = c**3 + 12*c**2 - 2*c - 22. Let g be z(-12). Suppose 5*l - 3*i + 26 = 0, 0 = -5*l - i - 9 - 29. Let u = l + 9. Do g and u have different values?
False
Let b be 2*(-2)/((-80)/(-132)). Which is greater: 1 or b?
1
Let w be 8/(-14) + (-270)/42 + 7. Is 1/113 less than or equal to w?
False
Suppose 6*i - i + 2*k = -232, -4*k + 226 = -5*i. Let d = -183/4 - i. Let b = -2 - -3. Do d and b have different values?
True
Suppose -5*p = -5*x, -18*p + 22*p - 7 = -3*x. Which is bigger: -1/61 or x?
x
Let f = 4 + -7. Let x = -42 + 51. Suppose -3 = l, 0 = 5*o - l - l + x. Is f equal to o?
True
Let v = 10 + -31/3. Let o = 0.38 - 50.38. Let u = 48 + o. Which is smaller: v or u?
u
Suppose -5*b - 2*c + 10 - 4 = 0, -3*b + 4*c = 12. Let u = 366/7 + -53. Is u != b?
True
Let g = 156 + -155. Is g at least as big as -1/770?
True
Let t be 2/(-7) - (-31)/133. Let w be ((-50)/(-4))/((-5)/10). Let v = w + 25. Which is smaller: t or v?
t
Let l = 200 - 191.08. Let c = -0.08 - l. Let m = -17 - c. Is m smaller than 0?
True
Let x be (4 + -3)/(3 - 56/20). Suppose -x*f + 15 = 10. Are f and -1/95 nonequal?
True
Let q(m) be the second derivative of -m**4/12 + 2*m**3 - 9*m**2/2 + 21*m. Let i be q(11). Suppose -2 - 6 = -2*t. Which is bigger: i or t?
t
Let m = 4.59 - 4.4. Let f = -0.00748 - 0.39252. Which is smaller: f or m?
f
Let p be (-224)/(-36) - 4/18. Suppose -2*u + p*u - 12 = 0. Let x be ((-3)/18)/((-1)/u). Is -1 < x?
True
Suppose 13*g - 7*g - 36 = 0. Suppose -2*h = -8*h - g. Let m = -8176/67 - -122. Is h > m?
False
Let a = -20776/5297 - -5101522217/1122964. Let o = 4539 - a. Let i = o - -603/2332. Which is greater: i or 1?
1
Suppose -29 + 5 = -4*y. Suppose -24*v + 37 = -155. Which is smaller: v or y?
y
Let i = 3797.6 + -3797. Let t = 35.98 + -33. Let w = -0.02 - t. Which is greater: i or w?
i
Let y be (2/(-109))/(11*(-10)/(-220)). Is 0 < y?
False
Let d be (-11)/(-2)*(-8)/(-28). Let i be 2/(-7) + 99/(-126). Let x = d + i. Is 7 bigger than x?
True
Suppose -x + 15 = 4*b, 0*x + 2*x = b + 3. Suppose -l + b*h = 4, 1 - 13 = -3*l - 3*h. Let a be ((-40)/105)/(4/(-6)). Which is smaller: a or l?
a
Let t be (-236)/(-12) - 1/(-3). Suppose 2*r + 0 = t. Is 12 greater than r?
True
Let o = -81 - -76. Let l(m) = -3*m**3 + 4*m**2 - 2*m - 2. Let v be l(2). Let w be o/10 + (-1)/v. Is w >= 1?
False
Let v = 324 - 325. Are v and -8/15 equal?
False
Suppose -18*c - 33 + 69 = 0. Which is smaller: c or -37?
-37
Suppose 7*l = 2*l - 115. Let b = -15 - l. Which is bigger: b or 9?
9
Let n be (-2)/((-2)/3) - 67*1. Let s = n + 63. Which is smaller: -17/7 or s?
-17/7
Let p(a) = -9*a**2 - 11*a - 24. Let b(r) = r**3 - 12*r**2 + 10*r + 8. Let y be b(11). Let j be p(y). Are -71 and j nonequal?
True
Let x be (-16)/(-10)*25/10. Suppose x*c - 2 = 2*j, -2 + 4 = 5*c - 3*j. Which is bigger: -2/19 or c?
c
Let p(k) = -9*k + 639. Let j be p(-15). Is 775 < j?
False
Suppose -25 = -18*i + 13*i. Suppose -2*t - a - 56 = -4*t, -i*a - 135 = -5*t. Which is smaller: t or 26?
26
Let k(l) = -2*l**2 + 2*l. Let n(i) = i - 1. Let v be n(4). Let t be k(v). Let m = t - -22. Is m <= 10?
True
Let h(b) = -2*b - 4. Let y(d) be the first derivative of 3*d**2/2 + 4*d - 13. Let n(j) = -5*h(j) - 4*y(j). Let o be n(-4). Is o less than 13?
True
Let g(t) = t**3 - 4*t**2 - 4*t - 6. Let n be g(5). Let d be 12/18*(-6)/4. Let x be (5/3 + d)/(-2). Is x not equal to n?
True
Let z = -12699/5 - -2529. Let u = z - -63/10. Let p(g) = -8*g + 3. Let k be p(1). Is k less than u?
True
Suppose 3*b = -p - 14 + 68, 5*b = 4*p - 199. Let h = 51 - p. Is h > -6/5?
True
Let x(h) be the second derivative of -h**3/6 - 3*h**2/2 + 5*h. Let m be x(-16). Which is smaller: 15 or m?
m
Let m = -2 + 4. Let c = 3272 + -42532/13. Which is greater: m or c?
m
Let y be 2*1*(-10)/38. Let k(l) = 15*l**3 + 313*l**2 - 43*l - 21. Let o be k(-21). Which is greater: o or y?
o
Let s(o) = -o**2 - 3*o + 9. Let m be s(-5). Does -1/289 = m?
False
Let r be 4 + (57/2)/((-3)/(-4)). Let t = -82 - r. Is -124 < t?
False
Suppose -43*s - 45 = -42*s. Let z be 3 + -2 + (-49 - -1). Is s <= z?
False
Let b be (5/225)/(7/42). Are -3 and b equal?
False
Let h = -0.65 + 0.34. Let x = 0.51 + h. Is x bigger than 4/5?
False
Suppose 4*g - 5*g = -1. Let u(l) = -l + 4. Let s be u(-2). Let v be (3 + 7/(-3))/(s/9). Is v at least g?
True
Let o be -1*1924/32 - -12. Are -47 and o non-equal?
True
Let x(t) = t + 3. Let w be x(-3). Let a be (-15 - -14)*(w - 1). Does 2/85 = a?
False
Let d = 90/53 - 7446/265. Is -27 at most as big as d?
True
Suppose -6*p = 26 + 4. Which is greater: p or -4?
-4
Let m = 0 + 2. Let g = m + -5. Let j = -10.8 + 11. Which is bigger: g or j?
j
Let c = -6306/1067 + 150/97. Let f(v) = -v**3 + v**2 - 5. Let i be f(0). Is c bigger than i?
True
Let p(b) = -b + 6. Let a be p(4). Suppose 2*z - 2*y = 0, -5*z - 3*y = -9*z. Suppose -k - 28 = 4*f - z*k, -a*f + 2*k = 14. Are f and -7 non-equal?
False
Let o = 0.1 + -0.4. Let s = 3059/8 - 133127/360. Let f = s + -64/5. Which is smaller: o or f?
o
Let y be 2/(-6)*7/(70/(-3)). Let w(t) = -t**3 + 4*t**2 - 1. Let d be w(4). Which is greater: y or d?
y
Let v = -14.4 + 13.39. Let u = -0.01 - v. Let n = 6.8 + -8. Which is smaller: n or u?
n
Let p = 152/87 + -17768/609. Which is bigger: -27 or p?
-27
Let i = 26.5 - 22.5. Is -3 < i?
True
Suppose 6*j = d + j + 19, 4*d - 5*j + 1 = 0. Suppose 60 = d*p - p. Suppose -1 = -2*c + l + 5, 0 = 4*c + 5*l - p. Which is bigger: c or 2?
c
Suppose 14 = -13*x + 15*x. Suppose 1 = -z, 3*m + z = -2*z + 15. Is m != x?
True
Let j = -88 + 59. Suppose 65 = -2*n + 9. Which is smaller: j or n?
j
Let q(t) = -t**2 + 5*t + 11. Let l be q(6). Suppose 0 = -l*g + 138 + 112. Let n be 195/g + 3/5. Which is smaller: 4 or n?
4
Let r = 225/4 + -56. Let l = -15.6 - -24.7. Let q = 9 - l. Is r < q?
False
Let f be 4*1*943/(-82). Which is bigger: -48 or f?
f
Let q be ((-1)/4)/(2/(-8)). Let c(z) = -2*z**2 + 47*z - 18. Let a be c(23). Suppose -a*g - 15 = 5*l, 0 = -3*l - 1 - 5. Is g less than q?
True
Let o = -5085 - -350846/69. Which is greater: o or -1?
o
Let o be (-6)/(-12) - (-10)/4. Suppose 4*t - o = -11. Let k be (t/(-20))/((-8)/(-16)). Is 1/5 greater than k?
False
Suppose 5*a = 2*s + 11, -s - a - a = -8. Suppose -4*k = -7*k - 3*r + 24, -2*r + s = 0. Let z be ((-1)/((-2)/18))/1. Is k bigger than z?
False
Suppose 5*m - 3*i = -22, -m + 3*m = -2*i - 12. Let o(l) = 4*l**2 - 41*l + 40. Let k be o(9). Is m at least k?
True
Let l(u) = u**3 + 18*u**2 - 20*u - 9. Let r be l(-19). Suppose t - r = 5*h, 1 = -6*h + 4*h + t. Which is sma