maller: z or 1/4?
1/4
Let r be ((-4)/4)/((-4)/50)*-2. Let w(m) = -m**2 - 23*m - 83. Let j be w(-20). Is r bigger than j?
False
Suppose -c = 5*f + 32, 0*f - 70 = 2*c + 4*f. Let i = -45 - c. Suppose -9 = 5*t + 41. Which is smaller: i or t?
t
Let d = 0 + 0. Let r = -919 + 3693/4. Which is smaller: d or r?
d
Let d(g) = -g**2 + 8*g - 7. Let o be d(7). Suppose -2*k + 6 = o, -16 = -u - 4*k - 3. Let r(p) = -p**2 - p + 1. Let j be r(-2). Which is smaller: u or j?
j
Let u(q) = 7*q - 4. Let g be u(1). Suppose -y = -3*b + 55, 6*b + 3*y - 75 = g*b. Do b and 17 have different values?
True
Suppose 0 = 9*l - 10*l, 0 = -3*m - 4*l + 102. Which is bigger: m or 35?
35
Let p(d) = d + 26. Let k be p(-15). Let r be 596/60 - (-6)/15. Which is greater: k or r?
k
Suppose -3*m = -11*m + 800. Suppose -5 = -d - t + 15, 5*t + m = 3*d. Is d equal to 26?
False
Suppose -x - 3*g + 6 = -g, -5*x = -4*g - 30. Let b be (-2 - -2)/(x/2). Is b at most as big as 3/29?
True
Let p(o) = -59*o + 8. Let i be p(0). Is 8 at most i?
True
Suppose -2*d - 3*d - 3*m - 34 = 0, -4*d - 2*m - 28 = 0. Let z be (-2)/(-4) - 1*58/(-4). Suppose 2*l - z = 5*q - 3*l, -20 = 5*q - 4*l. Is q at least d?
True
Suppose p - 2 = 0, -4*h - 2*p = -0*p - 20. Let n be (h + 0)*3/30. Are n and -16 unequal?
True
Let j = 1342 - 1344. Let u be 2/(1*2/8). Suppose o + u + 11 = -5*k, -17 = 4*k - o. Which is greater: j or k?
j
Suppose 3*q - 7 = -1. Let n be q/(-18) + (-68)/(-72). Which is smaller: n or 2?
n
Let b = 747/5 + -4374/35. Is b at most as big as 23?
False
Let p = 136 - 138.13. Let c = 0.87 - p. Is c smaller than -0.1?
False
Suppose -j = 6 - 18. Suppose 2*y + 0*k = -2*k, 4*k + j = 0. Do y and 46 have different values?
True
Suppose 0 = -5*w + 2*m + 360, 3*w + 216 = 6*w + m. Suppose 5*f - w = -17. Is f less than or equal to 10?
False
Let d = -947857/69780 + 1/5815. Let z be (-4 - 13/(-3))*43. Let f = z + d. Which is smaller: -1 or f?
-1
Let g(r) = 4*r - 13. Suppose -4*q + 30 = q. Let v be g(q). Let x = 4 + 8. Is x at least v?
True
Let y be (1*-5)/((-8)/(-576)). Let k be 2/7*((-2511)/y - 7). Which is smaller: k or 0?
k
Let q be 510/(-21) + 465/35 + -13. Do -24 and q have the same value?
True
Let o(j) = -j**2 + 18*j + 118. Let d be o(23). Which is greater: d or -4/9?
d
Let h = -51 - -101. Let s be (-3)/5 + (-20)/h + 7. Which is greater: s or 4?
s
Let i be 122/(-14) + (-2)/7. Let u be 4/(8/6) + i. Let r be (-3 - u)*(-3)/15. Which is bigger: r or -1?
r
Let b(l) = 2*l**2 + 7*l + 2. Let u be b(-4). Let x = -0.32 - -0.02. Let j = x - -0.1. Which is smaller: u or j?
j
Let u = -67 + 64. Let o be (u + 44/(-3))*(-1 - 2). Is 54 at most as big as o?
False
Let w = -1.867 - -11.867. Which is bigger: 2/79 or w?
w
Let b = 33.5 + -34. Which is bigger: b or 1?
1
Let k(o) = o + 17. Let j be k(12). Suppose -3*x + 16 = -j. Suppose -5*v + m + 25 = -0*m, -3*v + x = 4*m. Are 7 and v equal?
False
Suppose -9*i = -7*i - 38. Suppose w + 3*w = 3*o + 85, -2*o - 25 = -w. Are w and i unequal?
False
Suppose -2*g + 28 = -2*v, 2*g - v = 6*g - 56. Suppose -4*m + 2 = -g. Suppose -4*c - k + 8 = m, -5*k = 0. Which is greater: c or -2/31?
c
Suppose 420 = -12*g + 33*g. Is g > 24?
False
Let s = -133 + 155. Which is bigger: s or -3?
s
Let g = 1704 + -32332/19. Let u = g - 68/95. Suppose -3 = 2*s + 52*j - 53*j, 5*s = j. Is u < s?
False
Suppose -5*x + g + 19 = 0, -5*x + 10 = -2*x - 2*g. Suppose -x*w - 12 = 5*c - 2*c, 0 = -4*w + c - 28. Are w and 0 equal?
False
Let k = 33.8 + -27. Let o = 15 - 8. Let l = k - o. Is 2/9 <= l?
False
Suppose 82 = 5*r + 92. Let u be (-1)/(10/52) - (r + 0). Is u greater than -4?
True
Let f(q) = -q**2 - 3*q + 4. Let n be f(-4). Suppose -w + 9 - 13 = n. Which is bigger: -6 or w?
w
Let p(n) = -4*n**2 + 2*n + 4. Let z(u) = -9*u**2 + 4*u + 7. Let j(h) = 5*p(h) - 3*z(h). Let o be j(-2). Suppose -o = -5*g + 14. Is g smaller than 9?
False
Let f be 122/18 - 7 - 7/9. Which is bigger: f or 3/592?
3/592
Let p = -28062/23 - -1220. Which is greater: p or 26/17?
26/17
Let f = 1976/6965 - -2/995. Is 0.173 smaller than f?
True
Suppose -5*w - 2*w = -70. Let l(z) = -z**2 + 5*z + 50. Let j be l(w). Is j >= 1/6?
False
Let w be (-2)/(-1 - 45/(-42)). Let m be 4 - ((-216)/w + -4). Is -1 > m?
False
Let z be 4/1 + -10 + 4 + 1. Is z less than 3/176?
True
Let d be ((-32)/24)/(2/3). Let l = 15.1 + -13.5. Are l and d nonequal?
True
Let a = -1818 - -1819. Which is smaller: -479 or a?
-479
Let y = -17 + 15. Let u = 9 + y. Is 7 at most u?
True
Let d(h) = -6*h. Let s be d(-1). Let x = 36 + -32. Is x < s?
True
Let c(h) = h**2 - 5*h - 4. Let k be c(6). Suppose -2*r + 6 = -2*b - 48, 0 = 4*r - k*b - 106. Is r < 27?
True
Let x = 0.32 - 0.62. Let j = 0.2 + x. Which is smaller: 15 or j?
j
Let t = 33 - 47. Let d = 14.4 + t. Let f = -0.28 - -0.18. Which is smaller: d or f?
f
Let j = 2/347 - 457/19085. Suppose -f + 2 = 3. Do j and f have the same value?
False
Suppose -8*u - 136 = -4*u. Let g(b) = -b**3 - 23*b**2 - 34. Let p be g(-23). Is u bigger than p?
False
Let u(c) = c - 5. Let d be (-7 + 26/3)/(2/6). Let x be u(d). Is -15 greater than x?
False
Let r = 2302/3 + -750. Which is smaller: r or -2/5?
-2/5
Suppose l = 7 - 86. Is -77 less than l?
False
Suppose 5*r + 15 = 10. Is r at least as big as -1/323?
False
Let p = -53 + 37. Let i = p + 22. Let r = -0.3 - -0.1. Which is greater: r or i?
i
Suppose 24*q - 4*q = 60. Which is smaller: q or 293?
q
Let g = -26 - -34. Let b be (-2)/45*(g + 2). Is -1 less than b?
True
Let x = -2.02 - -1.959. Which is smaller: 0.2 or x?
x
Let t = 22 + 12. Let o be 39/13 - t/10. Let d(a) = -4*a**3 - 2*a**2 + a. Let j be d(1). Which is smaller: o or j?
j
Let i = 37 + -27. Let l = 5 - 18. Let a = i + l. Are -1/3 and a equal?
False
Let k = -150.6 + 151. Is -2/11 >= k?
False
Suppose -t + 2*b = -24, 0*t - 36 = -t + 5*b. Is t at least 21?
False
Let v be 7 - (-5)/(20/(-8)). Suppose 0 = -2*k + v - 13. Let p be (-8)/k*(-2)/4. Do 3/11 and p have the same value?
False
Let c = -20.73 - -21. Let t = c - 0.47. Do 33 and t have the same value?
False
Let d(t) = -t**3 + 2. Let n(u) = -u**3 + u + 1. Let a(s) = d(s) - 2*n(s). Let q be a(2). Suppose 9*x - q = 13*x. Which is bigger: 1/18 or x?
1/18
Suppose 5*d + 142 = -228. Let c be 1/(-1) - 70/d. Let o = 2270 - 2271. Is o <= c?
True
Let a = 5 - 0. Let p be ((a - 4) + 0)/(-1). Are p and 2/73 equal?
False
Let q(a) = -4*a - 60. Let t be q(-23). Are 32 and t nonequal?
False
Let o be (-120)/504*(-2 - 8/5). Which is bigger: -43 or o?
o
Let c be 84/(-21) + -1*166/(-52). Is c greater than -1?
True
Let z = -79 - -78. Let x = -38 + -447. Let a = -18913/39 - x. Is z at most a?
True
Suppose -23*b + 20*b = 6. Let n(o) = -o**2 + 6*o + 6. Let y be n(7). Which is smaller: y or b?
b
Let a = -58 + 32. Let w = a + 43. Let c = 11 - w. Which is smaller: -5 or c?
c
Let j = 46.6 - 37.6. Let c = -37 + 61. Let r = j - c. Does -1 = r?
False
Let w be 2973/(-5) + 4/(-10). Let b = -4157/7 - w. Are b and 2 nonequal?
True
Suppose -17 - 61 = 2*v. Let y = 44 + v. Which is greater: y or 3?
y
Let c = -1055 + 1106. Which is smaller: c or -18?
-18
Let p(v) = v**2 - 6*v. Let i be p(6). Let d = -174361/754 + 3006/13. Is d < i?
True
Let a = 2/9155 - -585906/64085. Which is greater: 10 or a?
10
Let t = 0 - 0. Let f = 1239/31 - 43562/1705. Let b = f - 73/5. Which is greater: b or t?
t
Let b = -1232 + 1217. Do -35 and b have the same value?
False
Suppose 0*b + 228 = -2*j - 4*b, 5*j - 2*b = -546. Which is smaller: j or -109?
j
Suppose -136 + 53 = 3*c + 5*w, 25 = -c - w. Which is smaller: 7 or c?
c
Suppose -3*g = -2*g - 4. Let j be (g + -2)/(-2) + 0. Let m = -13 - -11. Which is smaller: j or m?
m
Suppose 9*u = 4*u - 5*a - 20, -2*a = -3*u + 8. Suppose -i + u*i = -2*r - 1, 0 = 5*r + 5*i - 35. Is r != 8/11?
True
Suppose d = -2*p - 63, -2*d + 7*d = 5. Let i = p + 36. Which is smaller: 3 or i?
3
Let g = -164 + 239/2. Is -45 > g?
False
Let p = 87 + 299. Suppose -4*b = -b - 4*k - p, -128 = -b + k. Let r be 3 + b/(-20) + 3. Which is smaller: r or -1?
-1
Let w = -1714 + 1658. Which is greater: w or -54?
-54
Suppose 2*x + 115 = 5*p - 0*p, -p + x = -23. Which is smaller: 131/6 or p?
131/6
Let s = -17 + 8. Let m(z) = -3*z - 7. Let p be m(s). Suppose -3*l - 5*h - p = 2*l, 20 = -2*l - 5*h. Which is greater: l or 3?
3
Let b = 39532/7 - 5618. Which is bigger: 28 or b?
b
Let x = -19