-3)/2)/(693/(-1092)). Which is smaller: 3 or m?
m
Let r = -11.4 + 10.33. Let l = 0.07 + r. Is l bigger than -0.4?
False
Let u be (7 - 2)*3/5. Suppose w - 34 = 2*m - u*w, -w + 40 = -5*m. Let o = 19/3 + m. Which is greater: o or 0?
0
Let k be 2/(-6) + (-2)/(-12). Suppose -2*n + 0*n = 0. Is n at most k?
False
Let l be (-2)/(-6)*(-6)/(-4). Let v(g) = -g**2 + 6*g - 4. Let w be v(4). Suppose -3*o - 7 = 4*i - 23, -4*o + 12 = -w*i. Is i smaller than l?
False
Let s(o) = -o**3 - o + 1. Let x(f) = f**2 - 10*f. Let r be x(10). Let m be s(r). Is m smaller than 2/11?
False
Let g = 10 - 5. Suppose 4*o + o + g = 0. Let l(i) = i + 13. Let p be l(-14). Are o and p nonequal?
False
Let m be 37*(-1 + (-2)/6). Let t = -50 - m. Is -3 bigger than t?
False
Let o(p) = -p**2 + 8*p - 5. Let d be o(6). Suppose 0 = -4*l - 3 + d. Is -1/3 at least as big as l?
False
Suppose 2 + 0 = 2*p + 2*b, 5*p - 12 = 2*b. Is 17/12 greater than p?
False
Let d(v) = -v - 12. Let w be d(-12). Is 0 at most w?
True
Suppose -2*z - 5*k = -k + 14, 2*z + 3*k + 9 = 0. Suppose -3*x - 3 = -z*u, -u - 3 = x - 2. Let q(c) = c**3 - 2*c**2 - c. Let l be q(-1). Is x <= l?
False
Suppose 17 = -3*c + 2. Let n = c - -7. Let r = 4 - n. Is r at least 2?
True
Let v = -12 + 12.14. Let s = 0.14 - v. Are 5 and s non-equal?
True
Let t be (2/(-5))/((-40)/25). Let l be (1 - -1)/2*2. Suppose 0 = -l*w - 10, 5*c - 27 = 2*w + 8. Which is bigger: t or c?
c
Let o(s) = 2*s**2 - s - 2. Let i be o(2). Suppose -5*b - 4*l + 33 = 0, -2*b + 2*l + i = -l. Which is smaller: 2 or b?
2
Let b(a) = -a**3 - a**2 + a - 22. Let w be b(0). Let d be (-24456)/(-11781) + (-4)/w. Let y = d + -40/17. Is 1 at least as big as y?
True
Let a = 16.3 - 17. Let q = a - -0.8. Which is greater: q or 10?
10
Let v be (0 + 0)/(2 + -1). Let w(r) = -3*r**3 - 4 - r**2 + 3*r**2 + 2*r**3 + 4*r. Let y be w(3). Is v at most y?
False
Let n be (0 + 1 + 0)*0/26. Suppose 5*u + 8 = -2. Which is greater: u or n?
n
Let f be 305/700 + (-2)/7. Is 0 at least as big as f?
False
Let d be 15/(-100) + (-2)/8. Suppose o - 8 = -2*w, -5*w - 2*o = -o - 23. Let g = w + -4. Which is bigger: g or d?
g
Let g = -783 - -1593. Let h be (-2)/8 + g/(-4088). Let q = -9/73 + h. Which is smaller: q or -2?
-2
Let a be (3/(-12))/((-1)/(-14)). Do a and -5 have the same value?
False
Let t = 51 + -21. Let i be (-3)/t*25/10. Which is greater: i or 7?
7
Let k = 0 - 0. Which is greater: k or -2?
k
Let k(z) = z**3 + 4*z**2 + z + 5. Let o be k(-4). Is o greater than or equal to 6?
False
Suppose 3*n - 3*g + 4 = -g, 5*n + 4 = 2*g. Let i = 44 + 34. Let o = -392/5 + i. Is o greater than n?
False
Let k be -3 - ((-1788)/199)/3. Let d = 604/1393 + k. Which is greater: d or -0.2?
d
Let k = -1.19 - 0.81. Which is greater: k or 3?
3
Let c = 1 + -3. Suppose -2*v + 5*b = 2*v - 12, -4*b = 0. Is c greater than v?
False
Let z(h) be the second derivative of h**4/12 + h**3/6 - h**2/2 + h. Let p be z(-3). Are 5 and p equal?
True
Suppose l + 9 = 2*x - 2, -5*x = -l - 26. Which is bigger: l or -2/29?
-2/29
Let o = -0.06 + 2.06. Let f be ((-11)/(198/(-12)))/(-1). Which is smaller: o or f?
f
Let x = -2/45 + 49/90. Do x and 15 have the same value?
False
Let c = 35/426 + 6/71. Which is smaller: c or -2?
-2
Let d = -7 + 10. Let j = 8 - 12. Let p = j + 3. Which is smaller: d or p?
p
Let m = 3404/13 - 262. Let b(o) = o**2 + 5*o + 4. Let f be b(-4). Which is smaller: m or f?
m
Let b(p) = -3*p**3 - 1. Let v be b(-1). Suppose v*c - 1 - 5 = 0. Let k be (-22)/(-6) + (-4)/6. Is c at least as big as k?
True
Let m = -0.09 - 5.91. Let j = 5.9 + m. Let k be 1/2 + 22/(-28). Is k at least as big as j?
False
Let s = -0.36 - 1.04. Which is greater: 1/4 or s?
1/4
Let x(j) = j**3 + 4*j**2 + j + 2. Let t be x(-4). Let q = -1 - t. Is q bigger than 3?
False
Let l = 48 + -50. Suppose 19 = 2*i - 3*z, -24 = 3*i - 5*i + 4*z. Which is greater: l or i?
i
Let f(k) = k**3 - 4*k**2 + k - 1. Let b be f(3). Let i = -5 - b. Let c be ((-6)/9)/i*3. Is c smaller than 1?
True
Suppose 6*q - 3*q + 4*a = 134, 4*a - 20 = 0. Let u = q - 24. Which is greater: u or 13?
u
Suppose -5*j + 11 = -9. Suppose 5*i = p - 0*p + 23, -3*p + 2*i - j = 0. Suppose -2*b = -3*t - 13, -3*t = 3*b - 4*t - p. Is -2/5 at least as big as b?
True
Let o = -3 + 2. Let r be ((-2)/(-5))/(o/(-5)). Suppose -2*k = n + 6, -r*k - 16 = 2*k. Is 1 bigger than n?
False
Suppose 4*l + 3*h - 9 = -4, 2*l - 5*h + 17 = 0. Let f be l/(-1)*3/(-12). Let o = 3 + -4. Is f less than or equal to o?
False
Let p = 7.78 - -0.22. Which is smaller: -1/4 or p?
-1/4
Suppose 175 = -5*c + 4*n + n, -n - 4 = 0. Let t be 3 - (-3)/(45/c). Let r be ((-4)/(-4)*-1)/(-1). Are r and t nonequal?
True
Suppose -7 = 3*s + 5. Which is smaller: s or -6?
-6
Let f be -2 + 1 + -2 + 4. Let r(v) = -v**3 - 5*v**2 + 2*v + 7. Let o be r(-5). Let c be o*2/(-12)*3. Is f less than c?
True
Let s = 2.8 - 1.6. Let l = s - 1.4. Let d = 1.5 + 0.5. Which is smaller: d or l?
l
Let v(z) = -z**2 - 2*z - 1. Let x be v(-2). Let q = 9 - 9. Which is greater: x or q?
q
Suppose -3*f - 16 = -1. Let o = f + 3. Let x be (-1)/(-1)*o + 3. Is 0 bigger than x?
False
Let u = -1.5 + 0.5. Let z = -8 - u. Let q = 7 + z. Is q at most 7?
True
Let x(v) = -2*v**3 + 3*v**2 - 2*v. Let n be x(2). Let p be (-6)/n + (-1)/(-4). Suppose p = -2*c - 1. Which is smaller: -1/3 or c?
c
Let p be (-8)/(1 - 2) - 1. Suppose 0 = -p*d + 2*d + 10. Let x = -1 + d. Is 1 equal to x?
True
Suppose 2*l = 5*l - 18. Let k be (-1)/(-1 - (-8)/l). Which is greater: -4 or k?
k
Suppose -3*v = 4*i - 19, 2*i - v + 4 - 1 = 0. Is 0 < i?
True
Suppose 3*s - 6 = l, -2*s - 10 = -6*s + 2*l. Let f be s + -3 - 16/(-9). Is f < 1?
True
Let c be 5 + (-1)/((-2)/(-12)). Which is bigger: c or -13/5?
c
Let f be (16 + -20)/(2/4). Which is greater: f or -3?
-3
Let v = -0.7 + 1.5. Let y = 0.5 - v. Is y > -1?
True
Let o = 0 - 0. Let i be 3/(-4)*4*(-3)/(-90). Are i and o non-equal?
True
Suppose b - 21 = -c - 3*b, c - 3 = 2*b. Let x be c/(-30)*12/(-9). Which is bigger: 0 or x?
x
Suppose -7 = -6*r - 1. Let j(d) = -d**3 - 2*d - 1. Let m be j(-1). Which is smaller: m or r?
r
Suppose 2*c + 4*w - 12 = 0, -4*c + 21 = 2*w - 15. Is 9 at most c?
True
Suppose -2*k - 4*i = -20, 2*i = -5*k + 2*k + 10. Suppose k = -2*w - 3*w + 10. Is 2 not equal to w?
False
Suppose 0 = -d + 5*d - 988. Let w = -2225/9 + d. Which is smaller: 1 or w?
w
Let a(v) = -v**2 - 4*v + 5. Let h be a(-5). Is h <= 1/7?
True
Suppose 13*c = 10*c + 15. Suppose -q + 30 = 5*k, 2*q - 3*k + k = 0. Are q and c equal?
True
Let z = 32 - 29. Let k = -3 + 2. Let x = k + 2. Is x bigger than z?
False
Let n(r) = r**2 - 4*r - 5. Let d be n(5). Suppose -5*l + 2*l = d. Suppose l = 2*a + 9 + 5. Which is bigger: -8 or a?
a
Suppose u = 10*u + 90. Is -32/3 at least as big as u?
False
Suppose -4*l + 24 = 4*n, -4*n + 7 = -2*l + 1. Let f = -3 + 19. Let j = f + -14. Which is bigger: j or l?
l
Let r be (-2097)/5440 - 7/(-14). Let y = r + 1/320. Is -2 less than y?
True
Suppose 10*i + 315 = 3*i. Which is smaller: i or -44?
i
Let q be ((-6)/(-4) - 1) + (-689)/130. Do -6 and q have the same value?
False
Let g = 83 + -106. Do g and -0.2 have the same value?
False
Let v = -25/7 - -57/14. Suppose -2 - 3 = -5*a. Which is greater: a or v?
a
Let u be (-10)/(-2) - (-166)/(-34). Suppose 0 = 2*x + x. Do x and u have different values?
True
Suppose 0 = 11*g - 19*g + 216. Which is greater: 25 or g?
g
Let b(u) = 2*u**3 + 17*u**2 + 7*u - 9. Let n be b(-8). Is -1/50 less than n?
False
Let h = -24 + 25.4. Let q = 3 + -2.6. Let d = h - q. Is 1/7 less than or equal to d?
True
Suppose -u + 8 = 5*c, -c + 3*u + 5 = 13. Which is bigger: c or 3?
3
Let i = 7.9 + -8. Let y be -1 + 3 - 20/11. Which is smaller: i or y?
i
Let q = -4 - -4.3. Suppose 0 = 33*u - 31*u. Which is bigger: q or u?
q
Let p be 28/11 - (6 - 4). Which is smaller: p or 2?
p
Let f(n) = -3*n + 1. Let l be f(3). Let q = l - -8. Let m = 0.03 + -0.33. Which is smaller: m or q?
m
Let h(k) = -k**2 - 9*k - 1. Let w be h(-11). Does w = -23?
True
Suppose 3*b + 12 = 3. Suppose 4 - 2 = 2*q. Let d be q + b/(6/4). Is d at least as big as -1/2?
False
Let g = 0 - -5. Which is greater: g or 0.1?
g
Let g = -26 - -25. Let a be 0 + -2 - 6/(-4). Is a at least g?
True
Let g = 34 - 36. Is -4 smaller than g?
True
Let x = 26 + -17. Do x and 0.1 have different values?
True
Let f = -17.1 + 17.