u be (-10 + 12)*(-6)/44. Let j be -2*1/2 + 0. Which is smaller: u or j?
j
Let z(t) = 3*t - 1. Let v be z(1). Let n be v/12*4*2. Suppose 3*p - p = 8, 0 = f - 4*p + 15. Is n at least as big as f?
True
Let z(s) = 30*s + 27*s - 54*s + 20. Let p be z(-6). Let t(x) = -x**3 + 5*x**2 + 5. Let i be t(5). Is i at least p?
True
Let i(d) = d**2 + 16*d + 11. Suppose 0 = 4*j + k + 64, -3*j + 2*k + 0*k = 37. Let y be i(j). Let v(b) = 3*b. Let f be v(-1). Which is bigger: y or f?
f
Suppose 3*n = 2*n, -n - 16 = -4*m. Suppose -4*z - 6 = -2*c, -3 = -m*z - 0*c - c. Let d = 7/5 + -1. Is z equal to d?
False
Let y be 9 + -6 - (2 - 4/(-6)). Let i = -2 - -3. Is y <= i?
True
Let z be 4/5 + 3/15. Suppose 0 = -2*u - z - 3. Let t be (u/(-16))/((-2)/4). Which is smaller: -2/5 or t?
-2/5
Let i be (-32)/(-14) + 2/(-1). Let w(f) = f**3 - 2*f**2 - 7*f + 5. Let q be w(4). Suppose g - 2*r + 3*r - q = 0, 2*r = 3*g - 2. Which is greater: g or i?
g
Let y be 4/(-5)*(-2)/(-12). Let t be 2*(-1 + 2) + -3. Which is bigger: t or y?
y
Suppose -3*p - 2*w = -4*p - 10, 3*p + 20 = 4*w. Which is smaller: 2/13 or p?
p
Let c = -5 + 5. Suppose -f + 2 + c = 0. Are f and 2 non-equal?
False
Let p = -138 + 968/7. Let q = -9/1117 + -44167/63669. Let y = q - -2/57. Which is smaller: y or p?
y
Let s = -0.6 - -0.7. Suppose -5*k + 5 = 2*t - 5, 3*k = -5*t + 25. Suppose t*v = 2*c - 12, -12 = 4*v - v. Which is bigger: s or c?
s
Let h = -1.9 - 0.9. Let x = 2.96 + 0.04. Let d = h + x. Which is smaller: -1 or d?
-1
Let m = -0.1 + 0.06. Let o = m - -0.44. Let k = o - 0.3. Is k greater than 0.1?
False
Let p be (-36)/22 + (6 - 4). Which is greater: 1 or p?
1
Suppose 5*p = -s - 2 + 34, 3*p = -5*s + 6. Let u be 7/((-35)/25) + (13 - 0). Are p and u equal?
False
Let p = 37/15 - 13/5. Let n be (-2)/84*-4*-3. Is n less than p?
True
Let a = 1 + -2. Is 1/50 less than a?
False
Let n = 27 - 107/4. Which is smaller: -1 or n?
-1
Let b(h) = 3*h**2 - 7*h + 5. Let t be b(4). Suppose -y = 4*y + t. Is -3 >= y?
True
Let m be (4/12)/((-195)/1467). Let i = -30/13 - m. Is 0 at least as big as i?
False
Let j = -8 + 8. Let o be 5/4*12/30. Which is bigger: o or j?
o
Let a = -1 - 0. Let k be (0 - a)*(-1 + 2). Let c be 3/33*(11 - 7). Which is smaller: k or c?
c
Let x(n) be the second derivative of n**3/6 - n. Let p be x(0). Let u = -2 + 3. Is u at most p?
False
Let n = 0.1 + 3.9. Which is bigger: n or -2?
n
Let v be ((-2)/10)/(8/20). Let u(b) = -3*b**3 - b. Let m be u(-1). Suppose -4 = -4*y + 4*s, 2*s + 11 = -m*y + 3. Which is smaller: v or y?
y
Let v = -196/5 + 39. Let x be 1 - (-1 + 3)/1. Is v equal to x?
False
Suppose -y = -18*b + 22*b - 37, 59 = 5*b - 3*y. Let f = -8 - -19. Is b equal to f?
False
Let l = -19/10 - -22/5. Let y = -14 + 13.92. Let s = 1.08 + y. Which is greater: l or s?
l
Let o = 0.06 + -0.06. Let g = -1 + o. Which is bigger: g or -3?
g
Let i(m) = -m**3 - 3*m**2 + 4*m - 5. Let n be i(-4). Let z = -4 + n. Is -9 not equal to z?
False
Suppose -2 = -6*k + 4*k. Is k at most -4?
False
Suppose -4*r + 0*v = -3*v, 21 = 3*r + 3*v. Suppose -5*a + 1 = -2*d - r, -7 = -d - 2*a. Which is smaller: d or 4?
d
Suppose 3*x + 22 = -2*b - x, x + 37 = -2*b. Is b at least -22?
True
Suppose -2*m = -m + 34. Let b be -1 - (0 - (-38)/m). Which is greater: 2/9 or b?
2/9
Let x = -1328 + 2173. Let y be 2/5 + (-273)/x. Which is bigger: y or -1?
y
Let k = 20 - 22. Is -0.1 at least as big as k?
True
Let a be 204/10 + (-4)/10. Let q(l) = -l**2 - 7*l - 2. Let v be q(-6). Suppose a = -v*b - b. Which is smaller: -5 or b?
-5
Let q = -15 + 18. Let a(c) = -3*c + 7. Let z be a(q). Is -2 equal to z?
True
Let f be 28/(-5) + (-3)/(-5). Suppose 3*q = -q - 20. Is q < f?
False
Let d = 0.8 + 1.16. Let s = d - 1.8. Which is bigger: -1/2 or s?
s
Let b = 3 - -11. Suppose 19*k = b*k. Let d = 2/71 + -180/1349. Which is smaller: k or d?
d
Suppose 5 = -2*d - 3, i + 17 = -5*d. Suppose h + 0*h + 2 = 2*n, 3*n = i*h + 3. Suppose -s + 2*k + 1 = h, 3 = 2*k + k. Which is smaller: s or 4?
s
Suppose 0*v - v = 1. Which is smaller: -2/13 or v?
v
Let r be 4/2 + (-11)/4. Let g = -95 + 94. Which is bigger: g or r?
r
Suppose d = 4*d + 18. Let t = -5 - d. Which is smaller: t or 2?
t
Suppose -j + 14 = j. Are 5 and j nonequal?
True
Let f = 0.6 - -0.4. Let u = f + -1.2. Which is smaller: u or 1?
u
Let g = -8 - -6. Suppose 3*r + 4*s + 10 + 5 = 0, -4*r + 11 = -5*s. Is g less than or equal to r?
True
Let v be (2/(-2))/(-2 - -6). Let r = 1.1 - 0. Let a = r - 1. Are v and a non-equal?
True
Suppose -111 = -2*x - 3*p, -5*p + 105 = -0*x + 2*x. Which is greater: x or 61?
61
Let f = 0.11 + 0.89. Let a = -11 + f. Which is greater: 1 or a?
1
Suppose 0*q - f + 7 = 4*q, 0 = -2*q - 3*f + 11. Let d = 15 + -6. Suppose r + d = 4*c, 6*r = 2*c + 3*r - 7. Do c and q have the same value?
False
Let f = 44/117 - -10/117. Which is greater: f or 1?
1
Let m be -2*2/(-3)*(-3)/(-20). Which is smaller: m or -2?
-2
Let q = -74 - -75. Is q <= -2/5?
False
Let j = 0.22 + -0.22. Let k = 2 - j. Is -7 less than k?
True
Let u = -106 + 106. Do 0 and u have different values?
False
Let z(h) = h**2 - 2*h - 5. Let d be z(4). Let f be (-2 - 0) + d + 47. Let o be 22/(-12) - 8/f. Is -3 at least as big as o?
False
Let j = -19 - -18. Let l = j + 4. Are l and 5/3 nonequal?
True
Suppose -4*k - 3 = -k. Is k greater than -8?
True
Let y be ((-1)/(-2))/((-1)/(-34)). Let p = -12 + y. Let g be -2 + (p - (0 - 0)). Which is greater: 2 or g?
g
Suppose -12*d + 9 + 3 = 0. Is -3/22 bigger than d?
False
Let q = -439/6 - -73. Which is smaller: q or 0?
q
Let w be 3/4 - 76/16. Suppose -5*b + b = 20. Let l = b - w. Which is smaller: -2 or l?
-2
Let x = -932 + 64309/69. Which is smaller: x or 0?
0
Let u be (-28)/(-70) - 13/(-10)*-8. Which is bigger: -7 or u?
-7
Let n = -1.46 - -3.46. Is n at most 11?
True
Let z(p) = -p**2 - 8*p + 3. Let r be z(-9). Which is smaller: r or -7?
-7
Let o = 185 - 184. Is -34 greater than o?
False
Let r(p) = -5*p + 32. Let b(v) = -v + 8. Let u(n) = 9*b(n) - 2*r(n). Let f be u(-7). Which is bigger: f or 4/11?
f
Suppose -3*w - 5*x + 12 = 0, 0*w - 18 = -w + 3*x. Is w > 6?
True
Let h be 2*((-447)/(-6) + 2). Let b be (-12)/(-2)*3/h. Which is smaller: b or 1?
b
Suppose 4*u = -3*b + 22, 3*b + 5*u - 30 = -2*b. Which is smaller: 0 or b?
0
Let m = 8.2 - 8. Which is smaller: 24 or m?
m
Let d be 26/(-65) - 7/(-5). Which is bigger: d or 1/14?
d
Let c(a) = -a**3 - 5*a**2 - 4*a. Let q be c(-4). Let v = 28/3 - 9. Which is smaller: q or v?
q
Let h(y) = -y**2 - 6*y + 7. Let t be h(-7). Let c = -6 - -4. Let k = 2.1 + c. Which is greater: k or t?
k
Let m = 6.1 - 6. Let x = 0.3 - m. Which is bigger: x or -1?
x
Let z(i) be the third derivative of i**5/60 + i**4/3 + 22*i**2. Suppose 6*w - w + 35 = 0. Let x be z(w). Do -7 and x have the same value?
True
Let g be (-8)/6 - 1/(-3). Let o be g/3 - 5/3. Let y = -22 + 21. Is o at most y?
True
Let z = 217/3258 + -2/181. Is z <= 0?
False
Let f = 21.6 - 20. Let h = f + -1.4. Is -0.3 >= h?
False
Let o(s) be the third derivative of -s**5/60 + 3*s**4/8 - 4*s**3/3 - 2*s**2. Suppose 2 + 6 = a. Let w be o(a). Which is greater: w or -1?
w
Let w = 32 - 63/2. Let p be 2 + 1 + (1 - 1). Suppose -p*f + 4 = f. Which is greater: f or w?
f
Let c = -6 + 11. Let q(o) = -o**3 + 4*o**2 + 4*o + 3. Let f be q(c). Which is smaller: f or 1/3?
f
Let p = 29859/32 - 933. Let n = 138/509 + 7621/48864. Let l = n - p. Which is greater: 0 or l?
l
Let b be ((-2)/(-2))/(-1 + -2). Which is smaller: b or 4?
b
Let f be 2/(-8) - 10/(-8). Let p be 5/10 + 761/(-2). Let o = 7982/21 + p. Is f equal to o?
False
Let w(z) = 3*z. Let t be w(-2). Is t smaller than -3?
True
Suppose 4*w - 8 = 0, t + 3 = 4*w - 6. Suppose 4*p + 6*k = 2*k - 20, -3*p + 3*k + 3 = 0. Which is bigger: t or p?
t
Let t(x) = -x**2 + 3. Let i be t(0). Suppose 4 = o + i*o. Let h = 431/4 + -107. Is o > h?
True
Let f = 3209/11 + -292. Is -1 <= f?
True
Suppose -3*v - 4*d + 27 + 36 = 0, -4*v + 5*d = -53. Suppose 0 = 4*f - f - 5*t + 4, -5*t = 4*f + v. Is f < -1?
True
Let x = -128 + 128.25. Is 0.2 >= x?
False
Suppose 10*h + 23 + 7 = 0. Which is bigger: h or -8?
h
Let x = -5.04 - -5. Let c = x - -0.14. Which is greater: c or -1/2?
c
Let q = 0.294 + -6.384. Let w = q + 0.09. Let s = w + 4. Is -1 less than or equal to s?
False
Suppose -5*j = -2*f + 38, 5*j + 2*f + 3*f + 10 = 0. Let o be j/(-4)*(