
w
Let v = -0.4 - 0.1. Let k = 0.3 + 0.2. Let q = v - k. Which is greater: q or -0.3?
-0.3
Let z = -76 - -382/5. Which is smaller: -2/37 or z?
-2/37
Let h = 10 + -8.9. Let r = h + -1. Which is bigger: -1/4 or r?
r
Let o = 83 - 247/3. Let n = 0 - -2. Is n less than o?
False
Suppose 4*h = 7 + 29. Suppose -l - 2*l = -4*y + 19, 0 = 3*l + 3*y - h. Is 0 greater than l?
True
Let u(b) = -b**3 - 8*b**2 - 6*b + 8. Let i be u(-7). Let t be 6/2*-1*i. Let d(a) = -2*a + 2. Let g be d(2). Which is smaller: g or t?
t
Let o = -2/361 + 379/3249. Which is greater: o or -2/7?
o
Let y = 0.011 - -4.689. Let q = y + 0.3. Let n = q + -6. Which is bigger: -0.3 or n?
-0.3
Let g be (84/(-16))/(6/16). Let r be (-12)/g - 3/(-21). Which is smaller: r or 3?
r
Let r = 23 - 8. Let q = -21 + r. Is -7 smaller than q?
True
Let h be (4 + -22)*(-2)/16. Suppose d + 2*z - 11 = 0, 3*d = 4*d - 2*z + 5. Which is smaller: d or h?
h
Let v = -9/2 + 25/6. Let d = 6 - 5. Which is smaller: d or v?
v
Let n = -168 - -153. Is n != -14?
True
Suppose -4*b - 9 = 43. Does b = -13?
True
Let g be -4 + (-4)/48 - -4. Let n(l) = l + 11. Let h = 6 - 16. Let u be n(h). Which is smaller: u or g?
g
Let w = 5.7 + -11.4. Let p = 6 + w. Does p = 0.1?
False
Let m(f) = f**2 + 3*f + 4. Let y be m(-1). Let r = 1 - 1. Which is bigger: r or y?
y
Let v = 6.84 - -0.16. Let s = v - 16. Let d = -9.2 - s. Is d < -3?
False
Let d be (-2 - -5)/(243/6). Are d and 1 equal?
False
Let t be (-1 + -1)*(-4 - -2). Suppose t*y - 7 = -5*h, 3 - 14 = -h - 4*y. Let m = 180 - 2698/15. Do h and m have the same value?
False
Let b(k) = -k**2 - k - 1. Suppose 0 = 5*j + 5*g - 20, 3*g - 12 = j - 0. Let n be b(j). Which is greater: n or 2/23?
2/23
Let t = 3.6 + -1.6. Is 2/9 bigger than t?
False
Let p(q) = q + 2. Let m be p(-3). Let v = 0.07 - -5.93. Let h = v - 5. Does m = h?
False
Suppose 12 = -3*m - 3*o, 3*m - 5*m - 4 = o. Let w = 0 + 1. Is m not equal to w?
True
Let x be 0/7 - 2/1. Let p be (-24)/10 - (-2)/5. Is x < p?
False
Suppose -7*p = 9*p - 368. Which is greater: 0 or p?
p
Let o = 5 + -5. Let c = 0.7 - o. Let i = -0.05 - -0.05. Is i < c?
True
Suppose -3*h + 12 = h. Suppose 0 = -h*n + 5*k + 26, -5*n - 2*k = -2 - 0. Suppose 5*m + 2 - 1 = 4*w, 4*m + 6 = -n*w. Which is smaller: w or -2/3?
w
Let n = 4 - 4. Suppose 0 = -f - f - 6. Let l be (3/(-6))/(f - -2). Is n greater than or equal to l?
False
Let z be (-2)/(2 - 0)*47. Let o = z + 236/5. Let g be 1 + 2 - 2*1. Which is bigger: g or o?
g
Let x = -11 + 9.8. Let g = x + 1.3. Which is bigger: g or 7?
7
Let u = 44 + -44.8. Which is greater: -1.2 or u?
u
Suppose 3*s + 5 = 11. Suppose -f + s = -6. Which is smaller: 7 or f?
7
Let v be (-18)/(-4) - (-4)/(-8). Is 3 <= v?
True
Let r(s) = -s**2 - 13*s - 11. Let z be r(-12). Is z != -2/85?
True
Let w(m) = -m**2 - 24*m + 36. Let k be w(-26). Is k < -14?
True
Suppose -5*a - 5 = y - 0*a, -y + 4*a + 4 = 0. Are -2/21 and y equal?
False
Let x = -49 + 50. Let t be (-48)/70 + 6/15. Which is smaller: t or x?
t
Suppose -2*v - 68 = -6*v. Let t = -117/7 + v. Is t smaller than -1?
False
Let j = -29 - -17. Let l = 7 + j. Which is bigger: -0.1 or l?
-0.1
Let x = -3 - -3. Suppose -5*b - 3 - 2 = x. Which is greater: b or 1/4?
1/4
Let a = -0.04 + 0.34. Is -1 at most a?
True
Suppose -3*g + 5 = -0*g - 2*t, -3*t - 16 = 4*g. Let w be (1 + -2 - g)/2. Which is bigger: w or 1?
1
Let u = 1 - 1.4. Let b = u + 0.3. Let c = 18 - 35/2. Which is smaller: c or b?
b
Let r = 2 - 5. Let v(l) = -l**2 + 5*l - 3. Let q = 13 + -8. Let c be v(q). Is r less than c?
False
Suppose -2*k + 2 = -b, -4*k + 3*k = -5*b - 1. Suppose -2*v = -7*v - 20. Let s be v/8 - (-1 + b). Which is greater: 1/5 or s?
s
Let f = 0.79 - 0.8. Let t = -0.038 - -0.448. Let j = t + f. Which is greater: 0.1 or j?
j
Let j(k) = k + 6. Let l be j(-7). Let i(q) = q + 1. Let o be i(l). Suppose 3*u = 0, 0 = -5*n - o*n + 4*u - 5. Which is smaller: n or 0?
n
Let z = 5 - 2. Suppose z = -5*l - 2. Let v(b) = 3*b**3 + 2*b**2 + 2*b + 1. Let s be v(l). Is s greater than -3?
True
Let t = 12 - 25. Let o(m) = m**3 + 13*m**2 + 3. Let v be o(t). Does v = 0?
False
Suppose 8 = -a - 7. Let t be (-2)/a - 2/(-10). Is 4 smaller than t?
False
Let k be (5 + -2)*(3 - 1). Which is smaller: 4 or k?
4
Let s(z) = -z + 29. Let b be s(15). Are 15 and b equal?
False
Suppose s = -3*v - 2 + 4, s = 2. Let x be (4 + -3)*(1 + -2). Is v >= x?
True
Let b = -79/3 + 1826/69. Is 0 at most b?
True
Let x = -5 + 9. Suppose -4*q + 5*q = -a - x, 2*q = -3*a - 11. Which is smaller: q or -2?
-2
Let t(d) = d + 12. Let r be t(0). Suppose 3*l - r = -i + 2*i, -l + 18 = -5*i. Is i bigger than -2?
False
Let r(g) = -g**3 - g + 1. Let w be r(0). Let p(i) = 3*i**2. Let h be p(1). Suppose -w = u - h. Which is bigger: u or 3?
3
Suppose y = -5*v + 31, -5*y - 6*v + 2*v = -50. Let w be 3 + (-7)/(7/y). Is w at least as big as -3?
True
Suppose 0 = -h - 3*n - 7 - 2, -15 = 2*h + 5*n. Do h and 0 have the same value?
True
Let j = -15 + 20. Does j = 0.4?
False
Let b = -1/3 - -14/15. Let h = -1 - -1. Which is greater: b or h?
b
Suppose 2*y = z - 5, 4*y + y + 40 = -3*z. Let w be y*(-1)/((-5)/3). Is w equal to -3?
True
Let t = 137/25 + -5657/25. Let f = -84998/385 - t. Which is greater: f or -1?
f
Suppose 2*i = -0*i + 60. Let z(j) = 18*j + 1. Let u be z(-1). Let l be (-18)/i + u/5. Is -5 less than or equal to l?
True
Let r(z) = z + 4. Let f be r(3). Let w = f + -9. Which is smaller: -0.1 or w?
w
Let l be (-22)/(-2*(-2)/10 - 0). Is -54 >= l?
True
Let d be 3/(-8)*-10 + -3. Which is smaller: 2 or d?
d
Let j = -14/29 + 3068/6235. Are j and 1 unequal?
True
Suppose -2*w + 4 = -0*w. Let l = -1 - -4. Suppose 0 = -u - 4*o + 22, -l*u + 19 + 7 = 4*o. Is w not equal to u?
False
Let f = 2064/94031 - 2/931. Which is greater: -1 or f?
f
Let q(x) = -5*x**2 - x. Let b = -1 + 2. Let t be q(b). Is t equal to -6?
True
Suppose 3*m + v = -4, v = 4*m - v + 12. Is -7/11 less than m?
False
Let w = -1038374896/399 + 2602436. Let y = 2/133 + w. Let x = -7 - y. Which is smaller: 0 or x?
0
Suppose 5 = -4*p + 5*p. Suppose -x + 2*x = -4. Let j = p + x. Is j greater than 2/9?
True
Suppose 2*d = d. Let o = -1 - d. Is -4/9 at least as big as o?
True
Let q(f) = f**3 - 1. Let y be q(-1). Let z be -4 + 0 - 3 - -4. Which is bigger: y or z?
y
Let f(j) = j**2 - j + 2*j**2 + j**3 - 6 + 3*j**2. Let o be f(-6). Let c be (-5)/3 - (o + -1). Which is greater: c or -1?
c
Let o(i) = 3 + 3*i - 13 - 2*i + 5. Let p be o(4). Let l = -2.2 + 2. Which is greater: l or p?
l
Let u(r) = r**2 - 1. Let a be u(0). Let m(v) be the third derivative of v**4/4 - 26*v**2. Let j be m(a). Are j and -6 equal?
True
Suppose 5*b = -d - 93 - 22, 2*d = -10. Is -21 != b?
True
Suppose 0*l - 5 = c - 5*l, -2*c - 10 = 5*l. Which is greater: c or 1?
1
Let r be 170/(-195) - (-8)/6. Is -1/2 greater than or equal to r?
False
Let l(k) = k**2 - 6*k + 8. Let r be l(4). Is r > 2?
False
Let i = 4 - -1. Suppose i*n = o - 6, 3*n - 4*n - 2 = 0. Is -4 bigger than o?
False
Let i = -185 + 1669/9. Let m be 94/90 - 2/2. Let h = m - i. Are h and -1 unequal?
True
Let k = -0.06 + 0.12. Let x = k + 3.94. Let o = 9 + -8. Which is greater: o or x?
x
Suppose 5 = z - 4*m, -3*z + 2*m - 2 = -z. Which is bigger: z or -2?
-2
Let n = 1 + 0. Suppose 5*v - 2*u = -12, 15 = -4*u - 1. Let a be -38*4/(-36) + v. Is n less than a?
False
Suppose -h - 2 = 0, 3 - 7 = -2*z + 3*h. Let s = 0.3 - 1.3. Let p = 1 + s. Which is greater: p or z?
p
Suppose 0 = 11*i - 6*i + 240. Which is greater: -49 or i?
i
Let g be 1*(6 + -2 + 1). Let d = 1 + g. Is 7 smaller than d?
False
Let h = -135 + 134. Is -4/45 less than h?
False
Suppose 2*s = 3*u - 69, -u + 18 = -0*u + s. Suppose -2*f - 5*r = -23, -5*f = -5*r + u + 9. Let y = -2 + 2. Which is smaller: y or f?
f
Let w(p) = -p - 3. Let z be w(-6). Suppose -3 = -2*m - m + 5*b, -m = -b - z. Let f be 0*((-3)/m - -1). Is -1 greater than f?
False
Let j = -0.061 - -1.061. Which is bigger: j or -72/5?
j
Suppose -14 = -3*q - 5. Suppose 2*f - 2*j = -4*j + 8, -q*j + 17 = -2*f. Is f greater than 1/7?
False
Let x be 3/(-5) + 26/60. Which is greater: x or -3?
x
Suppose 3*o + 2 = -o - s, 10 = -5*s. Is o not equal to -8?
True
Let m = -22 - -22.1. Is m equal to -2?
False
Suppose -4*o = -5*c + 5, -o + 2*c - 4*c = -2. Which is smaller: 3/23 or o?
o
Let z = -0.88 - -2.84. Let j = 0.09 - 0.05. Let o = 