be x(-10). Let g = s + 25. Is g less than 14?
False
Suppose -6*j = -k - 3*j + 4, -4*j = 4*k + 16. Let i be (-4)/14 + 3/(-112). Let g = i + -3/16. Which is smaller: g or k?
k
Let z = 4 + 1. Let u = 7 - z. Which is smaller: 2/7 or u?
2/7
Suppose 4*x - 9 = 5*x. Let k = 12 + x. Which is greater: 1 or k?
k
Let n = -2749443/2003540 + -1/546420. Let u = n - -3/77. Let a = 0 + -1. Is a smaller than u?
False
Suppose -x = 2*x, x - 3 = -t. Is t > 11/5?
True
Suppose 4*b - 2*q = 12, 18 = 5*b - 2*b + 3*q. Suppose -x + b = 5. Let u = 1237/13 - 95. Which is smaller: u or x?
x
Let h = 0.311 - 0.211. Do -2/13 and h have different values?
True
Suppose 72*u = 70*u - 4. Let p = -0.01 + -1.99. Is p smaller than u?
False
Let u = -3 - -1. Let t be 2/(-3) - (-16)/(-21). Which is smaller: t or u?
u
Let i = -4 + 5. Which is bigger: 26 or i?
26
Let z = -6 + 9. Let t = z - -1. Let y = 23/3 - 7. Is y at most as big as t?
True
Let s(t) = t - 2. Suppose -2*f + 8 + 6 = 0. Let c be s(f). Suppose 2*g - 6 = c*d, -2*g = -5*d - 4*g + 6. Is 1 equal to d?
False
Let m = 36 - 35. Which is smaller: m or 4/33?
4/33
Let w = -2.8 + 1.8. Let n = w + 1.5. Is n greater than -0.1?
True
Suppose a - 10 = 4*r, 5*a - 3*r - 18 = r. Suppose -l - l + a = 0. Let i(c) = -c**3 + 8*c**2 - 6*c - 7. Let o be i(7). Which is smaller: l or o?
o
Let b(k) = -k**3 - 22*k**2 - 21*k + 2. Let z be b(-21). Which is greater: -2 or z?
z
Let z = 2/373 + -1907/7833. Which is greater: 3 or z?
3
Let n = -10 - -68/7. Is n greater than -3?
True
Let i be 11/((-33)/36) + 3. Do i and -8 have different values?
True
Let x = 8/3 + -3. Suppose 5*k = -2*t - 5, 5*k + 15 = 2*t - 6*t. Is k at least as big as x?
True
Suppose -5*x = -10 + 30. Suppose 0 = -v + 21 + 3. Suppose j + 4*k = -v, -3*j + 2*j - 2*k - 14 = 0. Is x >= j?
True
Let c be (-18)/3 + 2/1. Let j be (-4)/(c/3)*1. Suppose j*k = 2*m + 11, -3*k = -4*k + 3. Does -1 = m?
True
Suppose 0 = -2*u + 33 - 1. Is 16 bigger than u?
False
Suppose -q - 4 = c, 5*q + 4*c + 14 = 5*c. Let l be (((-10)/q)/(-5))/(-2). Which is greater: l or -2?
l
Let q = -0.9 + 1. Let b(p) = -p**3 - 5*p**2 - 6*p - 6. Let t be b(-4). Is t >= q?
True
Suppose 0 = -0*s + 3*s + 12. Let h be (-1)/(38/18 + -2). Let b = 6 + h. Is s smaller than b?
True
Let j(p) = p - 13. Let g be -3*((-34)/6 - -3). Let b be j(g). Let s be 10/(-25) - (-28)/b. Is -6 less than or equal to s?
True
Let v(h) = -h**3 - h**2 - 2. Let s be v(0). Let i = -2/75 - 517/300. Which is greater: i or s?
i
Let s be (-2)/(-4)*(-6)/1. Let a be (-3)/6 + s/(-2). Are a and 2/33 nonequal?
True
Suppose 4*v - 1 = -9. Which is smaller: 0 or v?
v
Let p be (4/(-7))/(4/14). Let g be p/(-4) + 5/(-15). Is g less than 1/2?
True
Let j(t) = 5*t**3 - t. Suppose 3*f + 4 = 1. Let v be j(f). Let y be v + 1 + 1 - -2. Which is bigger: 1 or y?
1
Suppose 0 = -s + 5*u - 91, 6*s + 4*u = 4*s - 196. Is s not equal to -97?
True
Let t be -116 + 0 + 1/(-1). Let f = 937/8 + t. Suppose 0 = -4*i - 0*i. Is f greater than i?
True
Let l = -14 - -7. Let p be (-7 - -4) + (-9)/l. Which is bigger: -3 or p?
p
Let b = 18 + -12. Suppose 8 = -5*m + 5*k + 43, -5 = -3*m - 5*k. Which is greater: m or b?
b
Suppose 3*v + 9 = t + 5*v, 4*t = -3*v + 26. Suppose 0 = k - t*k. Suppose -2*h + 5 = 3*g, 3*h + k = 3*g - 15. Which is smaller: -1/2 or h?
h
Suppose 2 = 3*t - b + 2*b, 0 = -2*t - 5*b + 23. Do 2/167 and t have the same value?
False
Let c = -18 - -12. Let l(m) be the first derivative of -m**4/4 - 7*m**3/3 - 3*m**2 - 2*m + 2. Let w be l(c). Is w equal to 0.1?
False
Let g = -9.123 - -0.023. Let f = g + 9. Which is greater: f or 0.1?
0.1
Let f be -5*(5 + (-508)/100). Which is bigger: 3/31 or f?
f
Suppose 0 = -4*s - 8 - 8. Let h be (6/(-9) - -1)*3. Suppose -m - 2 - h = 0. Which is smaller: s or m?
s
Let i = 3 + -5. Let s = 2.1 + i. Which is greater: -2 or s?
s
Suppose 25 = -y - a, 4*a + 50 = -y + 8*a. Which is bigger: y or -1?
-1
Let r = -0.2 + 2.2. Let h = -3 + r. Let i = 8.2 + -8. Which is greater: h or i?
i
Suppose 6*u = 4*u. Is u less than or equal to -1/7?
False
Let h be 5/4*(-2)/10. Let l be ((-1)/1)/(-2)*(-22)/11. Which is smaller: h or l?
l
Suppose -4*g + 0 + 4 = -4*r, r = 5*g + 7. Let f be 0 - ((-12)/10)/r. Which is greater: f or -0.16?
-0.16
Let r = 0.09 + 0.11. Let q = r - 0.3. Do q and -1/4 have the same value?
False
Suppose -3*h - 6*s - 27 = -3*s, 0 = -5*h + 5*s - 45. Are h and -31/4 unequal?
True
Suppose -2*t - 4*m = 20, -4*t = -2*m + 5*m + 30. Let l = 9 + t. Do 3 and l have different values?
False
Let q(y) = y + 2. Let c(p) = -1. Let a(m) = -c(m) + q(m). Let o be a(-4). Let k(j) = -j**3 - 4*j**2 + 6*j + 2. Let x be k(-5). Which is greater: o or x?
o
Suppose 7*h = 6 + 22. Let t = 597/238 - 1/119. Which is smaller: t or h?
t
Suppose -9 = -m + 5*k, -4*m - 2*k - 3 = 5. Is m greater than or equal to -2?
True
Let o be (2 + 17 - -1) + -1. Let i = -13 + o. Suppose -h + i - 2 = 0. Is h greater than 4?
False
Let f = -69 - -69.1. Do 3 and f have the same value?
False
Let b = 6 - 6. Let g be -1 + 1 - 9/21. Which is bigger: g or b?
b
Let v = 2.3 - -0.7. Suppose -5*u + 25 = 0, 0 = -2*b - 3*u + 2*u + 5. Suppose 0 = -b*z - z - 1. Are v and z nonequal?
True
Let q(s) = 6*s. Let l be q(1). Which is smaller: l or 7?
l
Let a be 140/490 - (18/14 - 1). Is -1/12 at least as big as a?
False
Let s be ((-1)/2)/((-1)/234). Let f be 3/(-9) + 21/s. Which is bigger: 0 or f?
0
Suppose 2*b + b - 3 = 0. Let f be b/4 - 15/(-20). Let g be 4/(-8) - 19/(-46). Which is smaller: f or g?
g
Let i = -29 + 27. Is 8 at least as big as i?
True
Suppose 4*x - 5*x = -5*o - 167, o + 2*x + 29 = 0. Is o smaller than -32?
True
Let z(j) = -j + 3. Let g be z(2). Which is bigger: -2/5 or g?
g
Let x = 1.61 + 0.09. Let i = x - 0.7. Let g = -25 + 74/3. Is i at most g?
False
Suppose 7*g - 6*g = 0. Let m be -5*(0 + 6/465). Which is smaller: g or m?
m
Let a = 43 + -89/2. Suppose -9*d + 10 = -14*d. Is a at least as big as d?
True
Let q(u) = -u. Let r be q(-4). Suppose -5*a + 2*m - 33 = 6*m, -a + 3 = -r*m. Which is bigger: a or 0?
0
Let y = -2.3 + -1.7. Which is bigger: y or 1?
1
Let a(w) = w**2 + 2*w + 3. Let f be a(-2). Let l be f/(2 + 1) - -1. Suppose -6 = -5*x - 2*q, -6 = -x + l*q - 4*q. Are 1/5 and x nonequal?
True
Let w = -2461/20 - -123. Let t = -15 - -16. Which is smaller: w or t?
w
Let h be (-1 + -3 + 1)/((-63)/210). Is 12 < h?
False
Let x = 97 + -52. Let l = x + -317/7. Let o = 0.24 - 0.04. Is l greater than or equal to o?
False
Let z be ((3/42)/1)/((-15)/90). Is z less than or equal to -0.08?
True
Let p = 4 - 3. Let f = -9.7 + 21.7. Is f smaller than p?
False
Suppose -39 = -3*s - 4*f - 7, -5*f + 41 = 4*s. Suppose -3*i + 130 - 16 = 4*u, 20 = u + 5*i. Let k be (u/9)/((-6)/(-9)). Which is smaller: s or k?
s
Suppose -3*i + 74 = -5*i. Is i bigger than -38?
True
Let n(i) = 3*i + 16. Let d be (-21)/(-2)*(-2)/3. Let p be n(d). Do -5 and p have different values?
False
Let w(p) = p**2 + p. Let u(d) = d**3 - 3*d**2 - 5*d - 4. Let z(k) = -u(k) + w(k). Let s be z(6). Let f = -98/3 - s. Which is bigger: -1 or f?
f
Let m = 1.2 - 0.2. Let l(j) = 3*j - 1 - 2 - j. Let c be l(2). Is m >= c?
True
Let u be 993/6 - (-1)/(-2). Let p = -828/5 + u. Which is smaller: -1 or p?
-1
Let r be 1 + 0 + (-2 - 0). Let t be (-23)/20 + 18/24. Which is smaller: t or r?
r
Let k = 26 - 26. Is -4/21 at least as big as k?
False
Suppose -10*k = -k - 27. Is 0.3 at least as big as k?
False
Suppose 10 = -2*r + 34. Which is smaller: r or 11?
11
Let w be ((-1206)/24)/((-6)/8). Which is bigger: -1 or w?
w
Suppose 3*c + 6*c = -9. Which is smaller: 1/25 or c?
c
Let k(t) be the third derivative of -t**4/24 + t**3 - 4*t**2. Let d be k(2). Which is bigger: 7 or d?
7
Suppose 3*c + 1 = 7. Suppose c*h = h + 8. Let d = -7 + h. Are 1 and d equal?
True
Let k = 63 - 15. Let m = k - 24. Suppose -5*d - 4 = -m. Is d at most 4?
True
Let v be (-1)/(-2)*(29 + -1). Is 14 less than or equal to v?
True
Let k be 4/10 - (-8)/(-8). Is -0.3 greater than or equal to k?
True
Let i be ((-4)/(-3))/(1/6). Suppose p - 2*m + 11 = 0, -4*p + 3*m - 26 = i. Let y(c) = -c**2 - 6*c + 6. Let l be y(p). Is l > -1?
False
Let b = -183 - -165.2. Let i = -18 - b. Let k = 7 + -5. Which is greater: k or i?
k
Let y(i) = i**2 + 2. Let o be y(4). Suppose -o = 4*u + b + 4, 0 = 2*u - 2*b + 16. Let c = u - -7. Is 2 smaller than c?
False
