Which is smaller: r or m?
r
Let a(o) = -4*o**2 + 6*o - 6. Suppose 2*r + 3*u = -2*r + 11, u - 1 = 0. Let w be a(r). Which is smaller: w or -9?
w
Let p = 449/185 - 1/37. Suppose o - 6 = -2*o + 2*w, -4*o + 4*w + 12 = 0. Suppose -6*c + 3*c + 3 = o. Which is bigger: c or p?
p
Let a = -31120 + 49325198/1585. Is -1 at most as big as a?
True
Let f(n) be the first derivative of n**3/6 - 9*n**2/2 + 5*n - 2. Let x(k) be the first derivative of f(k). Let a be x(14). Are 6 and a equal?
False
Let m = -528/5 + 5064/65. Do -28 and m have the same value?
False
Let j = -349 - -357. Do j and 7 have the same value?
False
Suppose -10*d - 316 = 4. Which is bigger: -164/5 or d?
d
Let r(n) = -6 + 5 + 3*n + 7. Let m(h) = -4*h - 5. Let c(d) = 5*m(d) + 6*r(d). Let k be c(6). Which is greater: -2 or k?
k
Let p = 44 - 40. Suppose 6*g - g - 17 = -2*q, q - 2*g - p = 0. Suppose 7*n - 18 = 4*n + 2*b, 0 = -5*b. Is n <= q?
True
Let c = -0.12 - 23.88. Let f = -23 - c. Let m be (-8)/14*(-3)/(-4). Is f != m?
True
Let l(m) = 2*m**2 + 4*m + 1. Let g be l(-3). Let r be 2/g + 5/7. Let c = 2057/9 - 228. Which is bigger: r or c?
r
Suppose 4*i = -2 - 6. Let f = 1635.87 + -1636. Which is greater: f or i?
f
Let v = 30 + -29. Let z be 3/6*-6*v/(-3). Are 1/129 and z equal?
False
Let n = -42 + 41.79. Let u = n - -11.21. Which is smaller: u or 1/4?
1/4
Suppose -4*a = -5*p - 69, 5*p + 97 = 5*a + 7. Let w be (3 - 90/a - -3) + -2. Let f = 0.6 + 5.4. Which is smaller: w or f?
w
Let d = -4.416 + 4.4. Let p = -1.016 - d. Is 19 greater than p?
True
Let a(b) = b**2 - 2*b + 3. Let o be a(-3). Which is smaller: o or 16?
16
Let s = -7/272 + 359/272. Is 1 < s?
True
Let j = -3 - -3.1. Let d = 0.032 - 36.032. Let f = -35.8 - d. Which is bigger: f or j?
f
Let j = -2.4 + 2. Let h = 1.807 - -0.053. Let y = -0.14 - h. Is y < j?
True
Suppose -u - 3 = -2. Let f be (41 + u)*48/40. Suppose 6*v = 2*v + f. Is v greater than 13?
False
Suppose -2*f + 140 = 3*k + 60, -4*k + 4*f = -120. Let n(a) = 24*a + 2. Let j be n(4). Let i be j/40 - 7/k. Is 3 <= i?
False
Let m(f) = 2*f. Let q be m(1). Suppose 15 = 3*p - 3*d, -q*p - 5 + 30 = -5*d. Suppose -5*u + 19 - 4 = p. Is u > 2?
True
Let v be 1/2 + 60/15. Suppose 31*r - 144 = 7*r. Is r at most as big as v?
False
Let x be (405/(-18) - 1)*(-30)/3. Is 238 greater than x?
True
Let d = -18.081 + 25.9. Let w = d + -0.599. Let r = w + -0.22. Which is smaller: -1 or r?
-1
Let d = 0.14 + -0.46. Let z = d + 0.27. Is -0.1 smaller than z?
True
Suppose -5*s + 9 = 3*r - 50, 3*r = -2*s + 29. Suppose 0 = -f + 4*n + 19, n + s = -5*f. Which is smaller: 5/18 or f?
f
Let y be 4 - (-3 - (24/(-4) + 3)). Let m be y - ((-4 - 4) + -2). Which is smaller: 15 or m?
m
Let c = -0.102 - 9.998. Let t = 10 + c. Do 2/5 and t have the same value?
False
Let n = 416 - 414. Which is greater: -7/3 or n?
n
Let g = -4/71 - 516/923. Let l = 9148 - 9150. Are g and l equal?
False
Let n be (-3)/(464/32 + -13). Let h be -8*6/21 + 1. Is h < n?
False
Suppose 333 = 10*z - z. Is 39 at least z?
True
Let f(m) = m**2 - 4*m + 1. Let r be f(6). Suppose y = -5*g - r + 1, -4*y - 3*g = 14. Let w be 0 - (1*12 - y). Is -14 less than w?
False
Let a = -420/27079 - 10019629/36637887. Let t = a - -2/123. Is t greater than 1?
False
Suppose 5*f + 86*d = 88*d - 80, 0 = -2*f - 4*d - 8. Suppose z - 19 = 2*y + 4*z, -4*z + 26 = -y. Is f > y?
False
Let c be (-134)/(1/(3/6)). Let p = c + 54. Which is smaller: p or -12?
p
Suppose 2*p - 5*g = -11, 9*p - 5*g = 6*p - 14. Which is smaller: p or -82/39?
p
Suppose 9 = 7*b - 4*b. Let w(h) = -31*h + 30*h + 0*h**3 + 11*h**2 + h**b - 13. Let i be w(-11). Is 5 != i?
True
Let u be (3 - -1) + (-97)/26. Which is smaller: -2 or u?
-2
Let h(s) = s - 19. Let y be h(14). Let o = -5/932 + -191521/932. Let x = o + 201. Which is greater: y or x?
x
Let i be -1311 + 13/((-26)/20). Which is greater: 0.1 or i?
0.1
Suppose 5*z - 209 = 4*i, z - 3*z + i = -83. Let s = 45 - z. Which is bigger: 5 or s?
5
Suppose 5*k + 2*q = -1800, -372 = k - 4*q + 2*q. Let p = k + 9047/25. Is p < 0?
True
Let n = 267331/394 + -1357/2. Which is bigger: -1 or n?
n
Suppose -g - 4*g = 4*i + 38, 5*g + 14 = -2*i. Is i at most as big as -22?
False
Let l = -48973/7 - -6969. Is l equal to -28?
False
Let a = -37 - -60. Suppose 2 - a = -7*y. Is -3 != y?
True
Let w be (-537)/573 - 5/(-5). Let g = w + 2781/1337. Is g bigger than 3?
False
Let h(n) = n**3 - 18*n**2 + 16*n + 18. Let q be h(17). Let z(k) = -k**3 - k**2 - k + 7. Let g be z(0). Let i = g + q. Which is smaller: 7 or i?
7
Suppose 6 = 2*b + 5*c, 2*b - 4 = -b - 5*c. Let m = 55 + -66. Is m >= b?
False
Let h = 0.4 + -11.4. Let m = -2.29 + 2.49. Is h >= m?
False
Let y = -3 - -2.9. Let c = -0.3 + -2.3. Let j = 3.7 + c. Which is smaller: y or j?
y
Let q be (-3)/(((-27)/60)/3). Let m(b) = b**2 - 9*b + 9. Let x be m(8). Suppose -u + d - 3 = x, 0 = 5*d - q. Which is greater: u or 2/25?
2/25
Let p = -161/17 + 6364/663. Is p <= 0?
False
Let f be 22/2 - (0 - 1)*1. Suppose f = 3*i + 3*h, -2*i = -i + 3*h. Suppose 1 + 7 = m. Which is smaller: i or m?
i
Let i = -10 + 2. Let p be (-2)/(((-8)/(-786))/((-20)/(-30))). Let n = 122 + p. Are n and i non-equal?
True
Let j = 36.2 + -66.2. Is j at most -0.13?
True
Let z be 28*60/525 - (3 - 0). Suppose -20 = 2*k - 5*w, 12 = 2*w + w. Is k greater than z?
False
Let m = 14 - 62. Let b = -31 - m. Which is smaller: b or 0.2?
0.2
Let d be 12/(-18)*(-12)/(-1). Let i = -5 - d. Let y(w) = -w + 9. Let a be y(7). Is a at least as big as i?
False
Let t = 10 - 8. Suppose 0 = x + 3 - 7. Let z = -2 + x. Is z at most as big as t?
True
Let m = 12 + -12.14. Let c = m - 0.06. Let z = -0.83 - 8.17. Which is smaller: c or z?
z
Let k = 440 + -437. Do 2.8 and k have different values?
True
Suppose 0 = -2*j + j + 1. Let y be 117/(-15) - 2/10. Let h be (y/(-140))/((-5)/(-25)). Which is smaller: h or j?
h
Suppose 0 = 19*y - 17*y + 8. Let r(c) = -c**3 - 4*c**2 - 4*c + 1. Let g be r(y). Which is smaller: g or 18?
g
Suppose 2*s + 175 = -3*r, r - 5*s + 203 = -2*r. Is r greater than -58?
False
Let b be 2/(-4) + 34/(-5). Let k be (0 + 3)*-1 - 27/6. Let o = k - b. Are 1 and o equal?
False
Let n be (12*(-8)/36)/(2/(-27)). Let t be (-2)/9 - (5 + 352/n). Does t = -14?
False
Let f(p) = p**2 - 5*p - 6. Let k be f(-4). Let j be (-4)/18 + k/27. Let n = -114 + 114. Which is greater: n or j?
j
Let p be ((-16)/392)/(52/28 - 2). Is -0.047 >= p?
False
Suppose 0 = j - 1 + 2. Let y be 5 + j - 8 - -4. Do y and 0.12 have different values?
True
Let s = -1 + 0.97. Let f = -0.14 - s. Let w = -0.11 - f. Is w at least 0?
True
Let k = -31.56 + -0.44. Let a = 17 + k. Is a greater than -1?
False
Suppose 3*z - 4 = -l + z, 5*z - 7 = -l. Suppose y - 4 = -3*b + 2, -y = -b + l. Let w be (((-12)/16)/3)/(-5). Is y >= w?
False
Suppose 8*j - 7*j - 10 = 0. Suppose -2 + 14 = 2*u. Let c be u/(-12)*1*j. Is c not equal to -3?
True
Suppose 3*l + 25 - 37 = 0. Suppose 6*y = l*y - 2. Is y at most as big as 4?
True
Let k = -17 - -17. Suppose k*j - 12 = 2*j. Let v = -14 - j. Is -8 at most v?
True
Let n be 7/((-7)/(-4)) - -3. Let f(d) = d**3 - 8*d**2 + 7*d + 17. Let u be f(n). Is 17 smaller than u?
False
Let f = 1457 - 1464. Let p = -4 - -6. Let s be p/(3/3) + -9. Is s <= f?
True
Suppose 0 = -46*a + 42*a - 8. Suppose 9 = -5*x + 2*x. Let q = x - 2. Is a equal to q?
False
Let h be -2*(-3)/12*(-28)/(-7). Which is bigger: 27/17 or h?
h
Let a be (-4)/6*(12 + (-597)/10). Which is bigger: a or 31?
a
Suppose -42*m - 15*m + 60 = 3*m. Let g = -17 - -36. Which is smaller: m or g?
m
Let r = 13 - 11. Suppose -r*u = -2*h, 0 = h - u - 3*u + 9. Let f be (36/(-8))/h - -2. Do f and -6 have different values?
True
Let p = 43 + -38. Suppose -5*q - p*o = 55, -2*q - 3*o = -6*q - 23. Which is greater: -7 or q?
-7
Let p = -38 + 41. Suppose -2 = -o - p, -1 = 2*v + o. Is v at least 1/13?
False
Let r = 102.5 - 102.5. Which is greater: r or -874?
r
Let r be (-6)/9 + (-79)/(-24). Suppose 166*d = 167*d - 5*m + 8, 4*d + 5*m = 18. Which is bigger: r or d?
r
Let r = 47 - 53. Let b be (3 + 21/r)/(2/52). Suppose 3*n + 2*n + 25 = 0, 39 = -2*j - 3*n. Which is greater: j or b?
j
Let r be ((-76)/(-6))/(12/(-36)). Which is bigger: r or -36?
-36
Let b be 4/((-64)/364) - 9/(-12). Let g be ((-11)/b)/(-2 + (-39)/(-30)). Which is bigger: 0 or g?
0
Let v = 59 - 35. Which is greater: 276/11 or v?
27