aller: 2/27 or m?
m
Let n(h) = h**3 + 7*h**2 + h + 6. Let s be n(-7). Let j be (2/(-44))/((-5)/(-60)). Let q = j + 20/77. Which is greater: q or s?
q
Let w(q) = q**3 + q**2 - 8*q + 15. Let m be w(-4). Which is smaller: 2/689 or m?
m
Let b = -12.63 + 12.7. Is -3/2 at most as big as b?
True
Let q be -3 + (-4)/(-4) + 7. Suppose 6*d - 3*d - 12 = -q*l, -2*l - 3*d + 12 = 0. Which is bigger: 2/33 or l?
2/33
Let s = 226.2 - 226. Let b = 12 + -17. Which is greater: s or b?
s
Let g be (6/(-7))/(18/(-168)). Suppose -o + 9 = 3*v, -v + g = -o + 5. Let s = -1116/13 - -7814/91. Which is bigger: s or o?
s
Suppose 2*h + 3*a - 4 = h, 3*h - a + 8 = 0. Let p be (-1)/h - 2472579/14238. Let l = -1212/7 - p. Which is bigger: l or 1?
1
Let o be 8/(-28) - 2/(-7). Let f(z) = -z**2 - z - 1. Let l(a) = -a**2 + 13*a - 14. Let m(y) = -2*f(y) + l(y). Let c be m(-16). Is c > o?
True
Suppose -3*k + 2*k + 17 = 0. Suppose g = -g - 2*l, -2*l + 6 = 4*g. Suppose k - 14 = -g*x. Is 1/4 < x?
False
Let x be (2 - 15) + 12*(-3)/(-12). Let k be (-6)/x + (-48)/120. Which is greater: k or -14?
k
Let r(g) = 15*g**2 - 2*g + 1. Let f be r(1). Suppose 5 = 3*u + 2*s, -2*s = 4*u - s - 10. Suppose 0 = -u*a - f - 4. Is -6 <= a?
True
Suppose 0 = -13*x - 861 - 1154. Does x = -163?
False
Let r = 38 - 40.3. Let g = -7.7 + r. Is g equal to 3/2?
False
Let m be (0 - (-3)/(-4)) + 544/(-128). Let x(b) = b**3 - 27*b**2 + 48*b + 50. Let w be x(25). Which is smaller: m or w?
m
Let k = 17 + -16. Suppose k = -5*a - 4. Is -7/6 greater than a?
False
Let p = -25 + 37. Let q = p + -19. Let g = 7 + q. Which is bigger: g or -0.2?
g
Let k = -8441/15 - -563. Let q be 0/((-18 + 12)*(-1)/(-2)). Which is smaller: k or q?
q
Suppose -62*d + 16*d - 4232 = 0. Is -91 less than d?
False
Let k = -74 - -149. Suppose -a - 4*a + k = 0. Let y = 6 - a. Which is smaller: y or -10?
-10
Let s = 10 + -7. Let a be 10/30*(-3)/(-1). Suppose -q - a = -5*l + s, 2*q = 2*l. Which is smaller: l or 16/7?
l
Let z be (-3942)/3472 + (-54)/(-144). Let v = z - 3/31. Suppose -5*h = 2*d + 8, 12 = -4*h + 2*d + 2. Which is smaller: v or h?
h
Suppose -o = -5*h + 69, -5*h = -9*h + 20. Suppose -3*u - 5*b - 112 = 0, -3*b - b = 5*u + 204. Is o bigger than u?
False
Let k = -3.33 - -11.33. Is -1.2 at most as big as k?
True
Let i = 7 + -2.4. Let v = -33.6 + i. Let a = v - -29.2. Is 0 greater than a?
False
Let x(a) = 240*a**2 + 4*a + 3. Let t be x(-2). Let j = 44881/47 - t. Is j bigger than 0?
False
Let s be 8/(-32) - (-2)/8. Let k = s - -3. Suppose 0 = -5*o - 4*z - 14, -9 = k*o + 5*z + 2. Is -2 less than or equal to o?
True
Let p = -28 + 29.32. Let n = 2.68 + p. Which is bigger: n or -1?
n
Let u = 105 + -101. Suppose 14 = 3*j + u*l, -10*j + 8*j + 10 = 3*l. Suppose -5*p - 2*n = -12, 2*p + p - 24 = 3*n. Is j less than or equal to p?
True
Let u(a) be the second derivative of -a**5/20 - 11*a**4/12 - 4*a**3/3 + a**2/2 - 3*a. Let y be u(-10). Let f = 77/4 + y. Which is smaller: 1 or f?
f
Suppose -2*g = 5*q - 368, -7*g + 2*g - 196 = -3*q. Suppose -31*z + 35*z = q. Does z = 18?
True
Suppose 5*j = 2*z - 46, 0*z = -2*z - 3*j + 14. Suppose 974*r + 495 = 1007*r. Is r greater than or equal to z?
True
Suppose -5*q + 25 = 0, -6 = -3*k + q - 11. Is 1/2240 <= k?
False
Let a(o) = 46*o + 260. Let c be a(-7). Which is smaller: c or -58?
c
Suppose -2*a - 47 = 7. Let b = a - -23. Which is greater: b or -5?
b
Let h = -7.976 + -0.024. Let b = h + 7.2. Is -0.1 less than or equal to b?
False
Let h = -304/5 + 61. Suppose 79 = 3*y + 7. Suppose r - 5*w = y, 20 = -3*w - w. Do h and r have the same value?
False
Let g = 9.35 - 4.29. Let r = 0.06 - g. Is r greater than or equal to -4?
False
Let b = -107 - -76. Is -33 at least b?
False
Let v(m) = -2*m + 1. Let c(s) = -7*s + 26. Let a(i) = -c(i) + 4*v(i). Let u be a(-8). Let h = -52 - -36. Is u at most h?
False
Let z = 51 + 23. Let j be z/(-18) - (7 + -11). Which is greater: j or -1?
j
Let s be 4187/(-318) - (-4 - 0). Is 1 > s?
True
Suppose c - 2*c + 5 = -5*g, 3*g = -2*c + 10. Suppose 0*i - a = 4*i + 17, -3*i - c*a = 17. Which is smaller: 2 or i?
i
Let k(r) = 6*r + 1. Let j be k(4). Suppose -j = 20*u - 5. Which is bigger: u or 2/299?
2/299
Let z(u) = u + 12. Let r be z(-9). Suppose 4 + 11 = r*g. Suppose -65 = -g*w - 5*q - 10, 0 = 3*q + 9. Which is smaller: 12 or w?
12
Let t = -399.94 + 400. Which is smaller: 2/5 or t?
t
Let x be 14/(-7) - (-9)/1. Suppose 5*f - f = -27 + 63. Which is bigger: f or x?
f
Let n = -0.17 + 0.07. Let f = 0.5 - 0.2. Let g = n - f. Is 0 at least as big as g?
True
Let h(v) = 63*v + 271. Let c be h(-9). Which is smaller: -294 or c?
c
Let y = 77/37 - 3859/1961. Is y smaller than 0.1?
False
Let c = -45 + 41.7. Let t = -3.9 - c. Which is smaller: -2 or t?
-2
Suppose 0 = n - 1 - 0. Let m = 21.05 - 34.05. Which is smaller: n or m?
m
Let h = 30 + 43. Let g = 73.05 - h. Which is smaller: g or 0.5?
g
Let w be (-3344)/(-114) + (-8)/(-3). Suppose -k - p = -33, 2*p = 3*p + 1. Which is greater: k or w?
k
Let u(d) = -2*d**3 - 5*d**2 - 3*d - 3. Let a be u(-3). Let x = -77.6 + 76.6. Which is greater: a or x?
a
Suppose 0*y - 2 = -y. Suppose 0 = t + 5*h - 49, 4*t - 5*h - 207 = t. Let f be ((-84)/t + 2)*4. Are f and y non-equal?
True
Suppose -2 = -3*z + 2*z. Suppose 0 = 5*v, -q - 2*q + z*v = -36. Let f be 2 + (-44)/q + 1. Is f greater than -1?
True
Let t be 8 + (-5)/((-5)/3). Let c = 5 + t. Let d be 4 - (c/(-1))/(-4). Are 4 and d nonequal?
True
Suppose j = -0*j. Suppose -10 = -4*s + 2*p, -3*s + j - 5 = p. Which is smaller: s or 6/17?
s
Let d be (2/6)/((-6)/72) + 4. Which is smaller: 1/12 or d?
d
Let j be (3 - 2331/(-784)) + -6. Is j smaller than 1?
True
Let w(z) = -3 - 4*z + 3*z - z + z. Let g be w(-5). Let m be (-1)/3*180/(-24). Is g <= m?
True
Suppose 0 = 5*x - 4*n - 139, 0 = -5*x + 2*x - 2*n + 79. Let g be x/6 - 1 - 7/(-14). Which is smaller: 2 or g?
2
Let o = -0.052 - 1.148. Let k = o + -14.8. Which is bigger: k or 0?
0
Let x(p) = 51*p - 102. Let t be x(2). Which is smaller: t or -4/25?
-4/25
Let p(g) = -g**3 - 2*g - 41. Let y be p(0). Let s = y + 30. Which is greater: -12 or s?
s
Let s be (-11)/(-44) - (-150)/8. Suppose 3*p = -i + 2*i + s, -5*p + 21 = i. Let x be 0/(-4) - (-5 - i). Is 3/2 less than or equal to x?
False
Suppose -3*h - 15 = -3*k - 2*k, 2*h + 10 = -5*k. Suppose k = -9*v + 2*v - 147. Which is greater: -22 or v?
v
Suppose -4*v - 2*q = 2, 0 = -4*v + 8*v - 3*q - 3. Which is smaller: 1/132 or v?
v
Let n = -3.9 + -1.1. Let b = 8 + n. Let a = 1 - b. Is -1/3 equal to a?
False
Suppose 7*g - 8*g + 2*c + 651 = 0, -g - 4*c = -627. Are g and 644 nonequal?
True
Let f be 4/10 - (3 - 114/15). Let p = 21.5 + -20.4. Is f equal to p?
False
Suppose -2*y + 17 = 5*h + 7, 4*y - 20 = h. Suppose -2*d = 3*k - 69, -y*d = -2*d - 2*k - 71. Let p be (d/12)/(21/14). Is -5 >= p?
False
Suppose -p - 3 = 2*p. Let f = p + 1. Let s = 1029 + -1032. Which is greater: f or s?
f
Suppose -x + 1 - 2 = 0. Let q = -1674 - -70313/42. Let w = 3/14 - q. Are x and w non-equal?
True
Let z be (-3)/(8/(-40) + 8/(-10)). Suppose z*h + 2*d + 13 = -3*d, 29 = h - 5*d. Which is bigger: h or 21/5?
21/5
Let o(q) = -6*q**3 - 9*q**2 - 3*q + 5. Let d be o(7). Let b = -7451/3 - d. Let m = b + -1219/39. Does 1 = m?
False
Suppose -2*m + 29*m - 27 = 0. Which is greater: m or -10/37?
m
Let r be (-170)/(-7) + 2/(-7). Let u = -880 + 905. Which is smaller: u or r?
r
Let b(c) = 4*c + 3. Suppose 3*y - 4*n = 0, 5*y + n + 3*n + 32 = 0. Let g be b(y). Let a = g - -9. Are -5 and a equal?
False
Let d be 1/(-4) - ((-875)/196 - -4). Is 1.4 bigger than d?
True
Let p(i) = -97*i**2 + 1. Let b be p(1). Let w be b/44 + 4/22. Let t be 1*(w + 0 - -2). Which is greater: t or 2/17?
2/17
Let a = 37 - 14. Let v = a - 21. Which is bigger: -2 or v?
v
Let i be (-8)/18*2*(-12)/32. Which is greater: i or 8.4?
8.4
Let m be 68*((-35)/(-10) - 3). Suppose -k - m = -24. Let g = 1 + -1.1. Is g at most k?
False
Let s be ((-4)/110)/(7/35). Let z = 152/715 + s. Let h = 24 + -23. Is z bigger than h?
False
Let n(o) = o**3 - 11*o**2 + 6*o + 15. Let y be n(11). Let z = y - 81. Which is smaller: z or -7/3?
-7/3
Let x = -230 + 909/4. Which is greater: x or -4?
x
Let m be (-12)/8*(3 + (-95)/(-15)). Which is smaller: -2/3 or m?
m
Let w = 0 - 0. Let g = 577 + -70. Let t be g/135 + 1/(-5) - 4. Does w = t?
False
Let d(g) = -g**2 - g 