maller: q or z?
q
Suppose 0 = 5*k - 15, 3*a = -5*k + 3*k + 3. Let x be 2*(-3 - 28/(-8)). Is x at least as big as a?
True
Let g(w) be the third derivative of -w**4/24 - w**3/6 - 2*w**2. Let c be g(-1). Are c and 3/13 unequal?
True
Let n = -8 - -3. Let j be n/(-10) - 1/2. Let q = 6328/135 - 234/5. Which is greater: j or q?
q
Let n be -1 - 0 - 26/(-24). Suppose -5*i + 2 = 7. Which is smaller: i or n?
i
Let u(z) = z**3 - 22*z**2 - 25*z + 46. Let l be u(23). Let p be -4*6 + 1*2. Let m be (-3)/(-12) + p/56. Which is smaller: m or l?
m
Let c = -7 + 2. Let t = -7 - -5. Let k = 1 + t. Is c <= k?
True
Let z(t) = -2*t**3 - t**2 - t. Let s be z(-1). Let v = s - 2. Let u be 2*1 - 44/28. Is v less than u?
True
Suppose n - 28 = -x - 4*x, 3*x - 4*n = 3. Are x and 12 equal?
False
Let z be 18/30 + 1*4. Is z < 6?
True
Let f be 1/6 - ((-130)/(-12))/(-13). Let l be (-1)/4 - 17/(-12). Which is smaller: f or l?
f
Let o be 1/(21/69) - 3. Is 0 less than o?
True
Let a be (-1)/(4 - 3) + 3. Suppose -4*p + 12 = -a*c - 2*c, 4*p = -2*c - 6. Which is smaller: p or -2/11?
-2/11
Let z be (-14)/4*16/(-28). Suppose -2 - 2 = -4*v + 3*p, 2*v = -3*p + z. Let l be (v - -1) + (1 - 0). Is l < 4?
True
Suppose 3*b = -4*s - 101, 3*s + 42 = 4*b - 15. Is -21 bigger than s?
True
Let x be (-4)/(-6)*(-3)/(-2). Let f be (-396)/30 + (-1)/(-5). Let p be (-1)/(-1 - f/(-2)). Which is smaller: p or x?
p
Suppose -w = -0*w - 2. Suppose 0 = w*a - 3*j - j + 8, 2*j - 6 = 0. Is a <= 2?
True
Let c = 5 + -3. Suppose c*o = -a - 8, 0 = -2*o - 4*a + 5*a - 4. Suppose 2*j = -j - 9. Are o and j equal?
True
Let y(w) = -2*w**2 + 8*w - 4. Let d be y(3). Is 0 <= d?
True
Let j = -26 + 26.84. Let b = j + -3.8. Let v = -0.04 + b. Which is smaller: 0 or v?
v
Let i = 0 - -4. Let d be i/6 - (-20)/(-30). Let j = d + -1. Is j equal to -1?
True
Let v(f) = -f - 4. Let d be v(-4). Let g be 1/(-55) - (-4)/20. Does g = d?
False
Suppose g + 3 = 2*g. Let f = 4 - g. Does f = -2?
False
Let d = 45 - 29. Let i be (d/40)/(-3 - -1). Let j = -1 + 1. Is j at most as big as i?
False
Let w = -4 - -11. Suppose w = -2*t + 2*m - 3*m, 3*t = 5*m - 17. Is t equal to 0.2?
False
Let q(v) = v + 5. Let i(j) = 2*j + 10. Let k(h) = 6*i(h) - 11*q(h). Let y be k(-8). Is y less than -1?
True
Let a = 20 - 19. Is 10 less than or equal to a?
False
Let w = -68 - -343/5. Suppose -u - 2 = 1. Let a = -3 - u. Which is smaller: w or a?
a
Let h = -0.027 - 0.973. Is -19 >= h?
False
Suppose 4*s = -41 + 9. Which is smaller: -66/7 or s?
-66/7
Let h = 1.1 + -0.1. Let g = -0.273 - -0.073. Which is bigger: h or g?
h
Suppose -u = -3 - 0. Suppose -4*w + 5*t + 8 = 0, 0 = u*w - 3*t + 4 - 10. Let f be (-9)/2*w/(-3). Is 1 > f?
False
Let h be -62*(-10)/(-12)*(-15 - -12). Which is bigger: 154 or h?
h
Let q = -2/13 - 9/26. Let w(b) = -b**3 - 7*b**2 - 7*b - 8. Let t be w(-6). Which is bigger: t or q?
q
Let u(o) = -o**3 + 4*o**2 + 5*o - 1. Let g be u(-1). Which is greater: 0 or g?
0
Let r be (30/(-9)*3)/2. Which is smaller: -2 or r?
r
Let g = 117407 - 24538189/209. Let j = g - -8/19. Which is greater: 0 or j?
0
Let h(r) = r**3 + 7*r**2 + 5*r - 11. Let t be h(-6). Let w(u) = -u**3 - u + 1. Let q be w(-2). Suppose -2*l - q = 1. Is t smaller than l?
False
Let t = 0 + 4. Suppose -4 = 5*u - 3*b, -4*u - 5 = b - t*b. Which is smaller: u or -0.4?
-0.4
Let f = -5 + 3. Let u = -8 + 8.6. Let s = u + 0.4. Which is bigger: f or s?
s
Let p = 1 + 3. Suppose 2*h - 13 = -3*g, p*h = 9*h + 4*g - 22. Which is smaller: 1/2 or h?
1/2
Let o = -0.52 + 0.02. Let w = 0 - -0.1. Is w at most o?
False
Let u = -284/901 + -2/53. Which is greater: -1 or u?
u
Let z = -60 + 81. Is z not equal to 21?
False
Let y = -67/22 + 6/11. Is 1/2 at most y?
False
Let q = -9 - -13. Which is greater: q or 3?
q
Suppose -2*l - 225 = -l. Let r = l + 905/4. Do -1 and r have the same value?
False
Let m = 5.8 - 5.9. Which is bigger: -16 or m?
m
Let h(w) = w + 15. Let g be h(-14). Is 17 equal to g?
False
Suppose t = 4*t - 9, 2*k + t + 1 = 0. Suppose -3*b = -4*b. Suppose 2*q - c = -8 + 3, 2*c - 6 = b. Is k at most q?
True
Suppose -3*d = d + 8. Let k(n) = n**2 - 1. Let a be k(-1). Which is smaller: d or a?
d
Suppose 0 = 7*u - 2*u - 10, 3 = -3*f + 3*u. Let s be (1/(-3))/(2/(-6)). Let j = s - -1. Which is smaller: j or f?
f
Let x = -9.9 - -9.8. Is x > 80?
False
Let k be (1 - -3) + 2/(-2). Is 2 not equal to k?
True
Let y = -63 - -23. Let u be 16/y + (-6)/10. Is -1 equal to u?
True
Let w = 70 + -8. Is 62 >= w?
True
Let f(c) = 2*c**2 + 4*c. Let m be f(-2). Which is smaller: m or -2/39?
-2/39
Let n = 0.1 - 0.05. Let w = n + -0.09. Let l = w - 0.06. Is l < -2/9?
False
Let t(q) = q**2 - 3*q - 1. Let o be t(4). Is 2 less than o?
True
Let t = 4.6 + 1.4. Let d = 5 - t. Which is greater: -0.9 or d?
-0.9
Let n = 9 + -55/6. Which is bigger: n or -0.2?
n
Let x = 1/42 - 53/462. Let n be (-2)/11 - 8/(-44). Is n smaller than x?
False
Suppose 0 = -4*r + 6*r + 20. Let w be (-5)/(r/32) + -2. Suppose 2*c + 3*p = c - 17, 0 = 3*c - 4*p - w. Which is smaller: 2 or c?
c
Let y(f) = -12 - 2*f + 9*f + f**2 + 4*f - 2*f**2. Let l be y(9). Is 5 < l?
True
Suppose -p - 27 = -2*w + 3, -5*w + 75 = -p. Is 15 bigger than w?
False
Suppose 3*r - 105 = -2*h, -r = 3*r + 20. Let b be 6/10 + h/(-225). Which is greater: b or 0?
b
Suppose -2 = q - 5. Suppose q*u = 2*u. Let z be -1 - (1 - 13/6). Which is smaller: u or z?
u
Let u = 494 - 2975/6. Which is smaller: -2 or u?
-2
Suppose 2*j + 5*v = 26, 4*j + 5*v - 19 - 13 = 0. Suppose i - w - 3*w = 10, -j*i + w - 3 = 0. Let y be 1/5 + (-64)/20. Is i greater than y?
True
Let v be -1*1/(-1) - (-6 - -8). Which is greater: v or -3/13?
-3/13
Let u = 2 - 3. Is 2/91 greater than u?
True
Suppose 3*v + 1 = 4*x, 4*x = 4*v - 6 + 2. Suppose 5*b + v = -25. Suppose l + 18 - 11 = 0. Which is smaller: l or b?
l
Suppose 0 = -2*o - 8, -5*a - o + 5*o = -1. Let x be (-4)/40 - (-3)/6. Which is smaller: a or x?
a
Let d = 21 - 22. Which is bigger: d or 1/4?
1/4
Let p = -1898/11 - -172. Suppose 3*d - d + 4 = 0. Is d < p?
True
Let k = 9 + -5. Suppose 5 = -3*w - k. Which is smaller: -4 or w?
-4
Let d = 2 + -2. Let n = 4 - 2. Which is greater: n or d?
n
Let f = 20 - 21. Let m be ((-2)/10)/(2/4). Which is greater: m or f?
m
Let a be 1*(5 - (-1 + 3)). Suppose -a*r - 9 = -6*r. Suppose 9 = -h - 0*h + 3*k, -r*k + 9 = 4*h. Is h at least -1?
True
Suppose -i - 2*i = 0. Which is bigger: -6/7 or i?
i
Let q be (-4 + -2 + 4)/((-28)/14). Is q at least as big as -1/81?
True
Let v = -136 + 136. Is 8/9 equal to v?
False
Let k = -1 - -1. Let o = -340 - -3737/11. Is o >= k?
False
Let i be ((-9)/2)/(2 - 14/4). Let b(c) = -c**2 - 4*c - 3. Let u be b(-2). Which is bigger: u or i?
i
Suppose 0 = -4*t + 5*c - 58 - 11, 3*t = 2*c - 57. Let l = t + 85/4. Do l and -1 have the same value?
False
Let y = 7.34 + -0.34. Is y >= -2?
True
Let w = -131 - -154. Which is smaller: w or -2/3?
-2/3
Suppose 3*c - 2*c + 1 = 0. Let l be (7/21)/(26/(-12)). Which is smaller: l or c?
c
Let g = -1/22 - -145/286. Is -1 > g?
False
Suppose 0*p + 4*p + 2 = -5*r, -3*r - 12 = -3*p. Let k be 1/p*0 + 3. Suppose -y - k*y = 4. Is y less than or equal to -2?
False
Let l(m) = m**2 + 15*m + 12. Let w be l(-13). Which is smaller: 1 or w?
w
Let o = 6564/5 + -1318. Is -5 greater than or equal to o?
True
Let c = -0.1 - -0.2. Let k = 4.9 + c. Let v = k - 5.1. Is 0.3 greater than or equal to v?
True
Let h = -11 - 0. Let l = 1.3 + -0.3. Which is bigger: h or l?
l
Let g = -5 + 6. Suppose g = 3*p - 2*p. Is 1 <= p?
True
Suppose 2*b + 3*o - o - 4 = 0, o = -4*b + 17. Let v be -1*2 + (-2 - -9). Is b > v?
False
Let x = -318 - -187. Which is bigger: -130 or x?
-130
Suppose 0 = -4*s - 2 - 26. Let g be (-16)/(-12)*(1 + 2). Let j be (g/s)/((-21)/49). Which is bigger: 2 or j?
2
Let f be (-138)/(-42) - 2/7. Is f greater than or equal to 7?
False
Let r(z) = -z - 2. Let g be r(-2). Suppose g = -n + 2*n - 4. Let m be 2/n - 33/(-6). Which is greater: m or 5?
m
Let m(k) = -3*k**2 - 26*k + 17. Let t be m(-9). Is t smaller than 1?
False
Let j be -2 + 4 + 3 - 3. Let s be j/4 - (-8)/(-16). Suppose s = 4*m + 4*v + 8, 2 = 3*m - 0*m - 5*v. Is m bigger than -6/11?
False
Let y = 68 + -154. Which is smaller: 1 or y?
y
Let d = -53 + 52.79. Is d at most as big as 1?
True
Let w be (-4)/(-10) - 36/(-10). Let c be (-20)/(-16) + (-1)/w. Let l be -2*((-16)/(-4))