ue
Let j be ((-3)/4)/((-102)/12 - 5). Which is smaller: -1/4 or j?
-1/4
Let t = -23.9 + 24. Which is smaller: t or 2/7?
t
Let c(u) = 0*u - 2 + 3 - u - u**3. Let r be c(0). Let l be 32/55 - 2/11. Which is smaller: r or l?
l
Let q(v) = -5*v**3 + 2 + 10*v**3 - 2 - v**2. Let t be q(-1). Which is bigger: t or -5?
-5
Let p = -9/13 - -84/65. Which is smaller: -2/3 or p?
-2/3
Let d(q) = q**3 + 6*q**2 - 6*q + 5. Let u be d(-7). Are -12/5 and u non-equal?
True
Let y be 41/(-4) + 63/(-84). Which is bigger: y or -15?
y
Let s = 19 - 19. Let d(o) = o - 4. Let r be d(3). Is r less than s?
True
Let n(v) = -2*v**2 + 5*v - 3. Let t be n(-6). Let w be t/9 + 1/(-3). Let p be ((-4)/12)/(2/w). Which is bigger: p or 1/2?
p
Suppose 4*h + 1 + 3 = 0. Suppose 4*m - 2*t + 8 = 0, 0 = -2*m - 4*t + 6 - 0. Let y = m - h. Which is smaller: 2 or y?
y
Suppose 2*z = 3*z + 9. Let s be 80/36 + 2/z. Suppose 2*r + s*r = 0. Is r > 0?
False
Let k = 0.14 + -8.14. Let h = k - -8.2. Let c = h + 0.2. Which is smaller: c or 0?
0
Suppose -p - 3*p + 5*w - 6 = 0, -w - 2 = -4*p. Is 6/41 at most p?
True
Let a(g) = 4*g - 1. Let c be a(3). Suppose 2*j - 29 = 5*l, 0*j - l = j - c. Is j at most 11?
False
Let r = -7 + 8. Let n = r - 1.6. Let z = -0.7 - n. Is 3/2 equal to z?
False
Let f be (36/(-40))/(2/3). Let p = f + 8/5. Are 5 and p equal?
False
Let i(a) = a**3 + 3*a**2 + 3*a. Let j be i(-2). Let v be (-1 + 0)/(j/(-6)). Is -3 at most as big as v?
True
Let k be ((-2)/8)/(2/(-16)). Let b = 0 + k. Which is bigger: 5/6 or b?
b
Suppose 3 = -11*s + 8*s. Which is smaller: s or 1/3?
s
Let x be 1 - 1*(4 + -1). Let k(l) = l**3 + l - 3. Let s be k(0). Which is smaller: x or s?
s
Let g = 253 - 2275/9. Is 1 equal to g?
False
Let z = -188471/1432 - -1053/8. Which is smaller: z or -1?
-1
Let y = 3785/9 + -421. Is 1 <= y?
False
Let f(j) be the third derivative of j**4/8 + j**3/6 - 2*j**2. Let m = 0 + -1. Let i be f(m). Which is smaller: 0 or i?
i
Let h = -7 - -8. Let o be (((-12)/(-14))/(-2))/(-1). Which is smaller: o or h?
o
Let i = 2/345 + 2056/2415. Which is smaller: 1 or i?
i
Let n(z) = -z - 10. Let w = 0 - 0. Suppose w*y - 3*y = 24. Let o be n(y). Are o and 0 unequal?
True
Let s(d) = d**2 - 6*d + 17. Let u be s(5). Let x be u/(-15) + 1/(-5). Is x at most -3?
False
Let s be (-9)/(-6)*(-24)/(-9). Suppose -s*r + 9 = -z, 2*r = -z - 2*r + 15. Are 1 and z nonequal?
True
Let v be 2/(-7) - (-92)/28. Is v less than 3?
False
Let c be (52/8)/(-1 + (-4)/(-5)). Which is greater: -34 or c?
c
Suppose j = 5*n - 28, 14 = 2*n - 2*j + 3*j. Do 4 and n have the same value?
False
Let h be (-82)/(-26) + 18/(-6). Is 1 smaller than h?
False
Suppose -4 = p - 5*p. Let g be (p*(0 + -1))/1. Which is smaller: g or 1?
g
Suppose 3*u = 5*g - 25, -19 = -5*g + 6. Let w be (-1)/(-3)*u + 20. Suppose 7 = 2*l + y, -4*l + y + w = -3*y. Is 4 greater than l?
False
Let n be (((-324)/(-8))/9)/((-2)/(-4)). Which is smaller: n or 4?
4
Suppose m = -0*m + 2. Suppose 3*n = m*n. Let j be 1/(3/3 - n). Is 4/7 less than or equal to j?
True
Suppose 2*q = -l - q + 29, -4*l + 65 = -5*q. Which is greater: 19 or l?
l
Let m be ((-3)/6)/((-1)/4). Let w be (-1 + 5)/(m/(-2)). Let u = 4 + w. Is u smaller than 0.2?
True
Let t = 38 + -26. Let x = 8.9 - t. Let p = x + 3. Does p = 0?
False
Let v(h) = -h**3 - 2*h**2 + h - 4. Let r be v(-3). Suppose -3*k + 5*j + 15 = 0, -k + r*j + 6 = 3*k. Is -3/10 greater than k?
False
Let o be ((-4)/(-30))/((-3)/9). Suppose -4*n = -n - 6. Suppose 0*j + 6 = -n*j. Is o >= j?
True
Let a(i) = -2*i + i**2 + 3 - 3*i + 1 + i. Let w be a(3). Which is bigger: w or 4/3?
4/3
Let t be 624/(-84) - (-3)/7. Is -7 at least t?
True
Let i = 6417/49 + -131. Suppose 0*o = -o. Does i = o?
False
Let y = 0.4 + -0.2. Let h be (108/(-16) - -6)/((-1)/4). Do y and h have the same value?
False
Let t be 2/(1*(1 - 2)). Let d = -1 - t. Which is greater: d or 2?
2
Suppose 4*w = 6*w - 5*f - 129, 0 = 3*w + 4*f - 182. Is w bigger than 62?
False
Suppose -4*s + 2*s + 14 = 0. Let g(b) = -b**2 + 5*b + 2. Let w(x) = -x**3 + 3*x + 2. Let n be w(-2). Let y be g(n). Which is bigger: s or y?
s
Let z(h) = h - 1. Let s be z(6). Let q(t) = -3 + t**3 - 7*t**2 - 6 + 6*t + t**2 + 3. Let m be q(s). Which is smaller: -3/5 or m?
m
Suppose -5*f + 39 = 2*a, -a - 3 = -2*f - 0. Suppose 0 = -5*d - 20, -d = a*u - 2*u - 1. Is 1/4 > u?
False
Let x = 0.08 + -0.02. Let l = 0.21 + -0.05. Let h = x - l. Which is smaller: h or -1?
-1
Let g = -2.9 - -3. Let m be (-5)/(14 + 1)*3. Is m less than g?
True
Let j(k) = -k + 7. Let t be j(6). Let u be (t/6)/(2/42). Which is smaller: u or 5?
u
Let a be 5*2/10*1. Which is greater: a or 23?
23
Let x = 10 + -12. Is -1 <= x?
False
Let z = 0.91 - -0.09. Which is greater: -5/4 or z?
z
Suppose -3*v + 9 = -2*v - 3*a, -v = -a - 3. Suppose v = -s + 4 - 7. Is -4 smaller than s?
True
Let p = 2.2 + -0.2. Let j = -2.2 + p. Which is bigger: j or 4?
4
Let m = -58.81 - -59. Is m > 1/2?
False
Let u(d) = d**3 + 4*d**2 - 2*d + 4. Let t be u(-4). Let x be t/(-15)*(-10)/4. Suppose 0 = 3*z - 12, -4*c = -x*c - 3*z + 10. Which is smaller: c or 4?
c
Let q = 8 + -10. Let j = -4 + 2. Is q equal to j?
True
Suppose 0 = 3*c - k, 2*k = -c + 3*k + 2. Let z(d) = -d**2 + 4*d - 4. Let i be z(3). Is c < i?
False
Let l(f) = f**3 + 6*f**2 - 5*f + 10. Let d be l(-7). Let u be (-370)/201 - 2/d. Let c = u - -1/134. Which is smaller: c or -2?
-2
Let v(r) be the third derivative of r**4/24 + 11*r**3/6 + r**2. Let p be v(-10). Which is greater: -2/23 or p?
p
Let h = -145 - -145.7. Which is smaller: h or -3?
-3
Let h = 269/812 + 3/116. Is -1 > h?
False
Let u = -17 + 16.8. Let c = -0.06 + -3.94. Let n = c + 1. Is u greater than or equal to n?
True
Let q be (3/4)/((-1)/4). Let h = 6 - q. Is h less than 8?
False
Let w = 0.26 + -0.16. Is w >= 3?
False
Let y = 9 - 12. Is y <= 2?
True
Let f(n) = n**3 - 3*n**2 - n + 2. Let v be f(3). Are 3 and v unequal?
True
Let o be ((-645)/20)/(6/(-2)). Let u = o + -11. Which is smaller: u or 1/2?
u
Let t(l) be the second derivative of -l**3/6 + 7*l**2/2 - 3*l. Let c be t(7). Is 3/16 greater than or equal to c?
True
Suppose -45 = 3*i + 3*p, -2*i - 50 = -0*i - 2*p. Let g = 29 + i. Suppose 40 = 5*k - 0*k. Is k != g?
True
Suppose -2*v = 0, -5*b + 11 = -4*v + 1. Let t(j) = 9 + 4*j + 2*j - j**b + j. Let u be t(8). Which is smaller: u or 4?
u
Let m = 20 - 30. Is -10 at least as big as m?
True
Suppose 3*v - 6 = -2*x + 4*v, -5*x = 2*v + 3. Let j = x + 1. Suppose -4*l + 4 = -5*a, -2*l = -a - 0*l - j. Which is greater: -1 or a?
a
Let g be (-39)/18 + (1 - 0). Let o = -3 + 2. Which is smaller: o or g?
g
Suppose -2*d + 8 = m - d, -4*d + 24 = 2*m. Suppose 9 = m*q - 11. Let s be 1/2 - q/2. Which is greater: s or -1?
-1
Let i be (-1)/3 + 2450/15. Let a = -655/4 + i. Does a = -2?
False
Let s(r) = r**2 + 4*r - 9. Let f be s(2). Which is smaller: f or 2?
2
Suppose -42 = -3*g - 0*g. Is g less than 14?
False
Let l = -247/20 - -58/5. Which is smaller: -2 or l?
-2
Let t(n) = -n**2 + 4*n + 1. Let a be t(4). Let z be 42/8 + (-2)/8. Suppose 1 = z*x - 9. Is x greater than or equal to a?
True
Let w = -0.15 - -5.35. Let m = w + -5. Let z = 0.8 + m. Which is greater: z or 1/3?
z
Let w be (8/(-6))/(35/15). Let n be -1*1 - 0/(-8). Which is smaller: w or n?
n
Suppose 4 = -4*x, 5*s = -x + 10 - 51. Which is bigger: -20/3 or s?
-20/3
Let s(i) = 4*i**2 - 11*i - 12. Suppose 3*h - 7*h + 20 = 0. Let a(v) = v**2 - 1. Let u(r) = h*a(r) - s(r). Let p be u(-11). Which is greater: p or 6?
p
Let k(p) = p**3 - 4*p**2 + 4*p - 14. Let s be k(4). Let z = -0.04 - 2.96. Let v = z - -3.1. Is s >= v?
True
Suppose -2*f + f + i - 1 = 0, 6 = 4*f + i. Let l be ((-6)/(-56))/(5/(-20)). Is l less than or equal to f?
True
Suppose 15 = 2*w + 3*w. Let g be 1/3*(0 + w). Let b be 1*3*18/(-891). Is b > g?
False
Suppose -4*t + 18 = -6. Let q = t - 11. Which is bigger: -3 or q?
-3
Let q(f) = f**3 - 5*f**2 - f. Let o be q(5). Let z = o + 8. Let s(p) = -p + 3. Let t be s(0). Is t less than z?
False
Let d be -3*-1*2/(-3). Let u = -1/19 + -129/76. Which is smaller: d or u?
d
Suppose 0 = 5*z - 0*z. Let s be (-1)/(-1) + 9/3. Suppose z*r = -r - s. Which is greater: r or -3?
-3
Let t(h) = -h**3 + 8*h**2 - 7*h + 1. Suppose -3*j + 6 + 3 = 0. Let r(o) = 2*o + 1. Let u be r(j). Let k be t(u). Which is smaller: k or 3/2?
k
Suppose 2*p = 4 + 10. Let i = 5 -