 Which is smaller: w or 0?
0
Let g = -11 - -10.1. Which is smaller: g or -2?
-2
Let d = -10 + 14. Suppose -o = d*o, -m - 5*o = -2. Suppose -3*p - 1 - m = 0. Is p <= -3/8?
True
Let f = -55 + 158. Which is greater: f or 102?
f
Let k = 1 + 3. Let f = 1 - k. Let p be 12/(-45) + (-2)/f. Is p < 0.1?
False
Let i be 9/6 + 11/(-2). Suppose p - 4 = -6. Which is smaller: p or i?
i
Let k = -19 - -22. Are k and 4 nonequal?
True
Let h = -4 + 0. Let u = 4 + h. Let f = 9/28 - 4/7. Is u <= f?
False
Let j = -4.17 + -1.13. Which is bigger: 0 or j?
0
Let q = 0.01 - 0.1. Let o = 0.01 - q. Is 2 <= o?
False
Let q = 64 + -67. Is q greater than -3?
False
Let l = -17 - -16. Let i = 1 - 1.04. Let v = i + 0.34. Is l bigger than v?
False
Let p = -827/6 - -135. Let h = 5/2 + p. Is -7 < h?
True
Let x(i) = i**3 - 5*i**2 + 5*i - 4. Let n be x(4). Suppose w - 5 = 2*y, 2*y + y = n. Suppose -w*d - 11 = -1. Is d at least as big as -1?
False
Let j = -19/27 + 1/27. Let b be 3*((-6)/(-9))/(-2). Which is greater: j or b?
j
Suppose -y + 2 = -3. Let q(g) = -g**3 + 7*g**2 - 6*g + 9. Let v be q(6). Suppose v = -4*j + y. Which is smaller: -2 or j?
-2
Let s be ((-8)/(-210))/((-8)/(-20)). Which is smaller: 0 or s?
0
Let w = 94 + -660/7. Is 5 < w?
False
Let h = 13 + 11. Let q be ((-2)/4)/((-4)/h). Let a = 0 + q. Are 4 and a equal?
False
Let i(q) = q**3 - q**2 + q + 8. Let y be i(0). Is y greater than or equal to 72/11?
True
Suppose 2*m + 3*f - 13 = 0, f + 9 = 4*m - 2*m. Is m smaller than 5?
False
Suppose -5*v - 58 = 4*a, 0 = -4*v - 3*a - 2*a - 50. Let b = v - -13. Suppose 2*y - 3*f = -2*y + 1, 4*f + 6 = b*y. Which is smaller: y or -9/5?
y
Suppose 4*n - 20 = 0, 0*r + n = 2*r - 5. Suppose 0 = -5*t - 3*o - 0*o + 20, 11 = -2*t - r*o. Do t and 8 have the same value?
False
Let q be (-2)/(-7) - 4/14. Suppose -r + 113 - 112 = 0. Is q bigger than r?
False
Let w be ((-2)/3 - (-564)/(-18)) + -1. Which is smaller: w or -34?
-34
Let c be 4*(-3)/78 - (-134)/26. Which is smaller: -0.4 or c?
-0.4
Let k be (4/(-15))/((-6)/(-15)). Which is bigger: k or -47?
k
Let s = -23 + 20. Let o be s/((-36)/7)*-3. Let t(v) = v**3 + 3*v**2 - 5*v - 5. Let d be t(-4). Is d bigger than o?
True
Suppose 2*d - 9 = 39. Which is smaller: d or 23?
23
Suppose 3*h = 6*h. Suppose -5 = -2*a - k, 3*a + k + 2*k - 9 = h. Suppose a*v = -0*v - 4. Do v and -1 have the same value?
False
Let q = 0.23 + -0.14. Let o = 0.01 + q. Let w = 0.4 - o. Which is bigger: 0.1 or w?
w
Let b(o) be the second derivative of o**5/20 - o**4/4 + 2*o**3/3 - 3*o**2/2 + 2*o. Let z be b(2). Do z and 15/7 have different values?
True
Let m = -8.12 - 1.78. Let v = m + 10. Is v >= 0.4?
False
Let d be 20/(-16)*(-7 + 3). Which is bigger: d or 0?
d
Let c = 18 - 14. Is -1 greater than c?
False
Let y = -1579025210/1199 - -1316952. Let a = 18/109 + y. Is -1 at most as big as a?
True
Let s = -8 + 13. Let z = -7 + 11. Let p = z - s. Is 1/3 smaller than p?
False
Let x = -11 + 11.1. Which is smaller: x or 1?
x
Let k(n) = -3*n - 34. Let w be k(-12). Is 10 equal to w?
False
Let p = -33783/52 - -1299/2. Let s = p + 531/364. Does 2 = s?
False
Let r(g) = 2*g - 7. Let v be r(5). Suppose 9*u = 4*u + 10. Suppose u*p = p + 1. Is v at least p?
True
Suppose 124 = -2*p - 8. Let d be 1/p*-3*-386. Let y = -17 - d. Is y > 0?
True
Let y = -8 - -9. Which is smaller: y or 13?
y
Let r(u) be the third derivative of u**6/12 - u**4/24 - u**3/6 + 5*u**2. Let q be r(-1). Is -10 smaller than q?
False
Suppose -3*s + 5 = 2*s. Let x(n) = n - 8. Let o be x(9). Let t be o + (0 - 2/(-8)). Which is smaller: t or s?
s
Let c(z) = -z**3 + 7*z**2 - 3*z - 7. Let t be c(6). Let v = t + -7. Let d = v + -2. Are 0 and d non-equal?
True
Let w(m) = -m**2 + 5*m + 4. Let c be w(5). Suppose 3*q + c = 4*q. Let s be ((-2)/10)/(q/10). Which is greater: s or 0.1?
0.1
Let n(o) = -o**2 + 6*o + 8. Let m be n(7). Let u(q) = -q + 1. Let h be u(-1). Let j = h - -2. Which is smaller: j or m?
m
Suppose 2*h - 4*s = 5 + 3, -8 = -4*h + 4*s. Suppose 0 = 3*l - h*l. Let c = -102/5 - -20. Which is greater: l or c?
l
Let x be 0 + (-3 - 99/(-30)). Which is smaller: x or -1?
-1
Suppose 28 = 2*s + 5*m, 4*s - 56 = -m - 0*m. Let c be ((-2)/s)/((-1)/1199). Let t = c - 171. Is 0 less than t?
True
Let b(r) = r**2 + 6*r + 4. Let y be b(-6). Suppose -v = 2*z + v, 0 = y*z + 5*v + 1. Which is smaller: z or -2/9?
-2/9
Let u = 6 + 1. Let t = u - 10. Let l = t + 5. Is -0.1 at most as big as l?
True
Let z(y) = -y**2 - 4*y - 2. Let c be z(-4). Let h = 1 + 0. Let q be h*8/20*-5. Are q and c nonequal?
False
Suppose 3*b - 3 = 3*i + 8*b, -21 = 5*i + 3*b. Let a be 1796/(-6)*i/(-14). Let k = a + 128. Is k equal to -3?
False
Suppose 10*l + 90 = 5*l. Suppose 0 = 2*c - 3*a - 1, 3*a - a + 3 = -c. Let r be l/(-4) - c/2. Is r smaller than 4?
False
Let i(v) = v + 7. Let a be i(-6). Let f = 266/3 - 529/6. Which is greater: f or a?
a
Let z(d) = d - 1. Let u be z(4). Let t be (u - 1)*(-3)/6. Is 0 < t?
False
Suppose 3 = 4*c - 1. Is c bigger than 6/11?
True
Let f(y) = y**3 - 11*y**2 + 3. Let v be f(11). Let z be 715/235 + (0 - v). Is z less than or equal to -1?
False
Let j(l) = 7*l**2 + 12*l + 7. Let z(a) = a**2 + a. Let v(i) = -j(i) + 6*z(i). Let o(m) = -2*m - 1. Let t be o(2). Let h be v(t). Is -2 > h?
False
Let t(z) = -z**2 - 5*z - 5. Let a be t(-4). Let k = 0.07 - 0.37. Is a less than or equal to k?
True
Let l = -1.46 + 1.36. Is l less than 52?
True
Suppose -37 = 3*t - 10. Which is smaller: t or -15/2?
t
Let k = 1631 - 13027/8. Which is greater: 2 or k?
k
Let p(f) = -f**2 + 7*f + 3. Let a be p(7). Suppose 4*z = a*z. Is z bigger than 1/12?
False
Let z(p) = -p + 2. Let x be z(2). Suppose -2*i + 6 = -0*i. Suppose 2 + 1 = i*k. Which is bigger: x or k?
k
Let y = -3.4 + 4. Let g = -1.1 + y. Let t = g - -0.6. Which is smaller: t or 0?
0
Let m be (-14)/12 - (-16)/24. Let x = 0.8 + 0.2. Let n = -2 + x. Is m != n?
True
Let m = -1 + 14. Is 14 at least as big as m?
True
Let d = 157 + 15. Suppose -164 = a - b, -3*b = -a - 4*b - d. Let p = a + 1174/7. Which is bigger: 1 or p?
1
Let c = 9 + -8. Let s be (21/6)/(c/2). Which is smaller: s or 8?
s
Let x = -6 + 8. Suppose 0*o + 3*o + 2 = -t, 2*t + 2*o = 0. Which is smaller: x or t?
t
Let s be (1/(-10))/(144/40). Which is bigger: -1 or s?
s
Let s = 21/169 + 7331/845. Which is smaller: 10 or s?
s
Let q = -0.118 + -0.282. Let j = 2 - 2. Which is greater: j or q?
j
Let c(j) = j**2 - 3*j + 3. Let x(t) = -6*t**2 + 15*t - 15. Let l(a) = 11*c(a) + 2*x(a). Let k be l(-4). Is -2 bigger than k?
False
Suppose 4 + 0 = -g, 2*p = -2*g - 12. Suppose 4 = d - 2*t, -3*d - 5*t - 36 = -15. Is p greater than d?
False
Suppose 0 = -d - 4*j - 1, -5*d - 2*j = 3*j - 10. Let c be (-25)/5*d/(-5). Which is smaller: 5 or c?
c
Let t = 3/29 + -119/870. Which is bigger: -1 or t?
t
Let i(x) = -2*x**3 + 6*x**2 - 4*x - 1. Let g be i(3). Which is smaller: g or -12?
g
Let m(z) = z - 8. Let f be m(13). Suppose f*b + 2 = -2*y + 12, 6 = -3*y + 3*b. Let l = -1 - -2/3. Is y at least as big as l?
True
Suppose 0*w + 35 = -5*t + w, 2*t + 14 = w. Let y(v) = -v**3 - 7*v**2 - 2. Let a be y(t). Is a less than or equal to -2?
True
Suppose 0*p = 9*p + p. Let i = 4 - 10. Let m be 1/i - (1 - 1). Which is bigger: m or p?
p
Suppose 3*t = -3 - 0. Let h be t/2 - (-15)/(-6). Suppose 7*k + 51 = -10*k. Is k <= h?
True
Let q = -0.7 - -0.6. Let h = -3.808 - 0.162. Let y = -0.03 + h. Which is greater: q or y?
q
Let g be (-1)/(-4)*(3/(-3) - -5). Is g bigger than 1/126?
True
Let u = 164 + -82. Which is smaller: 83 or u?
u
Suppose -2*l - 3*h - 3 = 0, -4*h = -0*l + 5*l + 18. Let j be 6/(-2*9/12). Which is smaller: l or j?
l
Let o(q) = -4*q + 4. Suppose 2 = -y + 2*g, 5 = 4*g - 3. Let j be o(y). Let l = 5 + -8. Is l bigger than j?
True
Let b = 2.03 - 0.03. Let p = b - 1. Let l(y) = y**3 - 9*y**2 + y - 8. Let k be l(9). Is p at least k?
True
Suppose k + 13 = -d, -2*k - d - 2 = -5*d. Do -9 and k have the same value?
True
Let n = -12.1 - -11. Let q = 6.1 + n. Let l = q - 5.1. Which is greater: l or -0.05?
-0.05
Let u(v) = -3*v**2 + v**2 + 10*v + 15 - v + 3*v**2. Let f be u(-6). Let x be 2/6 - 14/6. Which is greater: f or x?
x
Suppose 2*r = 2 + 4. Let d be ((3 - 4) + r)/(-1). Do d and -1 have different values?
True
Suppose 3*v + 6 = 3*b, -9 = 2*v + b - 2*b. Let y(o) = o**3 + 8*o**2 + 6*o - 9. Let d be y(v). Let 