-1?
q
Let j = 0.02 + 0.08. Let u = -0.9 - j. Which is greater: -8 or u?
u
Let j(x) = x**3 - 4*x**2 + 1. Suppose -3*m + 2*r = -29, 5*m - 3*r + 0*r - 47 = 0. Suppose m*t - 20 = 2*t. Let z be j(t). Which is bigger: 1/4 or z?
z
Let l be (-110)/156 - 16/(-24). Which is greater: l or 0?
0
Let i be 0 - 1 - 0/3. Let m = i + 0. Let r = 1775/9 - 197. Is m < r?
True
Let f = -0.048 + -0.152. Let c be 2/(-8) + (-5)/4. Which is smaller: f or c?
c
Let n = 506/603 - -10/201. Which is smaller: n or -1?
-1
Suppose -3*f - t - 13 = 3*t, 4*f + 2*t + 14 = 0. Which is smaller: f or 1?
f
Let p = -5 - 0. Let n = p + 12. Suppose 0 = -n*x + 2*x. Is x less than -2/3?
False
Let w = 0 + -2. Let c = 0 + -1. Let s = c - -2. Is w equal to s?
False
Let b = -2 - -4. Let y = 4 - 1. Suppose 4*o = 20, 0 = -y*j + 2*o - o - 5. Which is smaller: b or j?
j
Let c be 1000/(-2280) - 1/(-3). Are -0.6 and c nonequal?
True
Let a = -14 - -16. Which is greater: 9/7 or a?
a
Suppose -4*s + 40 = -2*s. Suppose 0*g + s = 4*g. Is 5 less than g?
False
Let y = -2 - -4. Let j(x) = -x**3 + 5*x**2 - 3*x - 3. Let t be j(4). Let w = t - y. Which is greater: -3 or w?
w
Suppose 5*l + 0*l + 19 = o, -2*o - 2 = 0. Is -6 < l?
True
Let y = 0.3 + -0.3. Let c = 0.3 + -0.3. Let b = y - c. Is 1 smaller than b?
False
Let m = 72 + -36. Let w be m/(-70) + 6/(-21). Is w smaller than -2?
False
Let r = 1835/66 + -169/6. Which is greater: r or 1?
1
Let r(y) = y - 3. Let w be r(8). Suppose 0 = -w*g - 0 - 5. Which is bigger: -2 or g?
g
Let j = -17 - -25. Let s(m) = -m**3 + 9*m**2 + 6. Let x be s(9). Is x smaller than j?
True
Let v be (14/6)/((-2)/(-12)). Let z = 127 - v. Let c = -1016/9 + z. Is 2/3 smaller than c?
False
Let u be 12/9*(-15)/(-2). Let t = u + -15. Let f = 4 + t. Which is greater: f or -2/5?
-2/5
Let l(a) = -a - 29. Let x be l(-15). Is x != -15?
True
Suppose -2*y + 5*y = 6. Suppose 0 = 3*a - 5*a + y*w - 8, -23 = -3*a - 4*w. Is 2 greater than a?
True
Let v be 6/(((-12)/(-8))/3). Is v greater than 13?
False
Let t be (-6)/(-36)*-3 + (-85)/2. Which is smaller: -42 or t?
t
Let y = 90/41 + -4688/2173. Let t = -96/265 - y. Is 0.9 not equal to t?
True
Let j = 2 - -1. Suppose -2*z + 2*b + 14 = -2*b, -j*z + 2*b + 13 = 0. Suppose -x = -z, -4*k - 3 = 3*x - 4. Which is smaller: k or -3?
-3
Let u(c) = -c - 2. Let t be u(5). Is t less than or equal to -7?
True
Let h = 0.05 + -6.05. Let b = -5 - h. Is 2 > b?
True
Let y = 18 + -13. Suppose z - y*z - 20 = 0. Which is smaller: -6 or z?
-6
Suppose -2*a - 10 = 0, 5*w + 3*a + 13 = 3. Let y be (-10)/32*1/(-5). Is y less than or equal to w?
True
Let g(l) = 18*l - 64. Let b be g(4). Let p(o) = o + 3. Let i be p(4). Which is smaller: i or b?
i
Suppose 4*i + 1 = 29. Suppose 2 = -i*g + 5*g. Is 1/7 at least g?
True
Let r = -75 + 79. Which is greater: r or -2/9?
r
Let k be 10/(-8) - 3/(-12). Let v be (22/(-14) - k)/2. Is v less than or equal to 0.2?
True
Let n = -2 - -7. Suppose 0 = n*f - f. Which is smaller: -1 or f?
-1
Let l = -3 - -1. Let i be (-4 + 4)*1/l. Let q = 0.2 + 1.8. Is i less than or equal to q?
True
Suppose 4*h + 20 = 0, -5*h - 2 - 18 = -5*x. Which is bigger: x or -1/21?
-1/21
Let j = 42 + -35.4. Let z = j + -8. Which is smaller: 2/7 or z?
z
Suppose -4*k - 13 + 49 = 5*s, -4 = -s. Suppose 3*x - 5*p = -3*p + k, p = 1. Let l be x/3*15/(-10). Which is greater: 1/3 or l?
1/3
Let z = 209987/88 - 2386. Let a = z + -1/8. Which is smaller: -1 or a?
-1
Suppose 3*m + 1 = 5*z, 3*m - z + 5 = 12. Let r be (-165)/(-234) + (-2)/m. Which is bigger: r or -1?
r
Let v be ((-2)/(-5))/((-4)/(-80)). Suppose -5*c = 15, 4*l + c = v*l - 3. Let r be (2/6 - l)*2. Which is greater: r or 1?
1
Let t = -5 + 11. Suppose t*g = 2*g + 20. Let o be (-2 + 1)/(1/(-5)). Is g greater than o?
False
Let n(b) = -b - 9. Let t be n(-8). Are -2/19 and t equal?
False
Suppose g + 4*g = 5*u - 25, -2*u + g + 5 = 0. Suppose -d + u*d + 6 = 0. Is d at least 6?
True
Let o be (-76)/12 + (-4)/6. Let a = 9 + o. Suppose 5 = -a*m + l - 2*l, 5*l + 1 = 2*m. Are -2 and m unequal?
False
Let q(m) = -4*m - 5. Let t be q(-3). Let v be (-2)/t - (-3)/(-21). Which is bigger: -1/5 or v?
-1/5
Let d be (-1875)/7404 - 1/(-4). Let i = -1256/6787 - d. Is i != 0?
True
Let p be (-12)/7 - (-4)/(-14). Let q = 73 + -69. Let w be p/q + 5/10. Which is smaller: -1/12 or w?
-1/12
Let d = -159 + 1435/9. Let f(s) = -2*s**2 + 1. Let a be f(1). Which is bigger: d or a?
d
Let o = -33 + 67. Is o bigger than 33?
True
Let c = -17 + 8. Let o = c - -10. Which is smaller: o or 3/2?
o
Let d be (3/(-14)*4)/(-2). Suppose -2*b + 9 = -1. Let c = 4 - b. Which is bigger: d or c?
d
Let y = 0.1 + -1.1. Let m = 5 + 2. Which is smaller: y or m?
y
Let b = 88 - 442/5. Which is smaller: b or 2/3?
b
Let r(g) = -g**2 + 6*g + 5. Let h be r(4). Which is greater: 15 or h?
15
Let t = -3.2 - -3. Let a = -1.49 + 0.09. Let c = a - -1.2. Does c = t?
True
Suppose 3*z - 33 = 2*q, -4*z + 0*z - 5*q + 44 = 0. Suppose -z + 3 = -4*u. Let b be u/(-6) - 2/(-6). Which is smaller: b or 1/13?
b
Let a = -20 + 20.11. Let i = a - 1.11. Let d be (-1)/2 - 3/6. Is d > i?
False
Let d = 3110/3 - 1027. Which is smaller: 10 or d?
d
Let y(r) = -4*r - 1. Let z be y(0). Let x(a) = -2*a**2 + 2*a + 1. Let g be x(2). Let p = z - g. Is p < 2?
False
Let u = 2 - 0. Let v = u + -3/2. Is v greater than 1?
False
Let r be (-22)/(-4) - 1/2. Let z(q) = -3*q - 47. Let w be z(-17). Which is smaller: r or w?
w
Let o(i) = -i**2 - i + 1. Suppose 3*u + 0 = -3. Let r be o(u). Which is bigger: r or 2?
2
Let l = 0.03 - 0.02. Let t = l + 2.99. Is 0 less than or equal to t?
True
Let u = -0.06 - -0.16. Let d = 0.2 - 0. Are u and d non-equal?
True
Suppose c + 4 = 1, -3*r = 5*c + 33. Is r greater than -6?
False
Suppose -4*y - 14 = 2*a, -4*a + 0*a + y = -8. Suppose -b + 2*b = -3*h + a, -2*b = -h + 5. Which is bigger: b or -1?
-1
Suppose 5*w - 40 = 9*w. Is w smaller than 4?
True
Let k(r) = r**2 + 1. Let h be k(1). Suppose h*l - 2*c = 12 + 4, l + 3*c = -12. Is l equal to 5?
False
Let y be -7 + 5 + (-8)/6 + 3. Let l = -1 - 0. Which is greater: y or l?
y
Suppose -4*m - m = 25. Suppose c = 2*c - 5, -15 = q - 2*c. Are m and q unequal?
False
Let s = -6 - -6. Let q(a) = a**2 - 5*a - 6. Let z be q(6). Is z equal to s?
True
Let h be (-70)/(-4) - 1/2. Are h and 17 equal?
True
Let l be ((-22)/(-6) + -3)*-18. Which is greater: l or -66/5?
l
Suppose -5*l = 3*b, -l = 2*b - b. Suppose 0 = -3*h + 6 - b. Let i be -1*(4/h + 0). Is i bigger than -1?
False
Let b = -13 - -20. Let c = -17 + b. Which is smaller: c or 1/2?
c
Let w be (-4 - -3) + 3 - 2. Suppose w = -k + 3 - 4. Which is bigger: -0.4 or k?
-0.4
Let v be -2*(1/2 + 0). Which is greater: v or 10?
10
Let w be 0 + 2 + 0/1. Suppose -9 = -3*n + 2*u, 0*n - 5 = n + w*u. Let o = -2 - -2. Is o less than n?
True
Suppose 5*q - 3*q - 6 = 0. Do 5/3 and q have the same value?
False
Let d = -0.02 - 0.08. Let t = d + 0. Which is greater: 0.5 or t?
0.5
Suppose -15 = -5*m - 0*m. Suppose 0 = -j + 3*t - 4, -j - m*t = -4*j - 6. Is j greater than -6/13?
False
Let n = 605/6279 + -1/897. Which is bigger: n or 1?
1
Let d = -0.08 - -0.28. Which is smaller: -0.08 or d?
-0.08
Let u = 481/3 - 162. Suppose -9 = -3*j - 0*j. Suppose -3*p = -4*p - j. Is u less than or equal to p?
False
Let o = -79/2 - -1267/32. Let a = 11/288 - o. Are a and 1 unequal?
True
Let o = 0.8 + -2.8. Is -8/33 greater than o?
True
Suppose 3*j - 4 + 12 = 4*k, 0 = 2*j + 3*k - 6. Which is greater: j or 6/5?
6/5
Let u be ((-324)/(-15))/4 - (1 - 0). Is 3 >= u?
False
Let y(j) = -j**2 + 10*j - 7. Let k be y(9). Suppose 4 = -k*s + 12. Suppose -2*c - 2 = -s*c. Which is smaller: c or 0?
0
Let g = -40 + 36. Which is smaller: g or 0?
g
Let l be -1 + 1*2/(-2). Suppose -5*y + 22 = q, -6 = 3*q + y - 2. Which is smaller: l or q?
q
Let r = -42 + 41.9. Which is smaller: r or 0.1?
r
Let o = -15.74 - -16. Let q = o + 0.04. Which is bigger: 5 or q?
5
Let h be 23/1*(-87)/(-27). Let z = h + -74. Let t(y) = y - 3. Let q be t(4). Which is greater: z or q?
q
Suppose 3*q + 142 = -4*b, 0 = -2*q + 2*b - 9 - 67. Let c be q/(-24)*(-186)/(-679). Let l = c + 2/97. Do -1/3 and l have the same value?
False
Let o(a) = a**2 + 5*a - 1. Let k be o(-5). Let y be (2/(-4))/(k/1). Which is greater: 2 or y?
2
Let u = 16.2 + -15.3. Which is smaller: u or 0.2?
0.2
Let d = -796.97 - -791. Let w = 9 + -8.97.