-0.29 - 0.71. Which is bigger: i or -17?
i
Let k(j) = 3*j**2 - j. Let i be k(1). Let n be i - (-2 - -3)*9. Which is bigger: -1/4 or n?
-1/4
Let f = -47/184 - -3/23. Suppose -1 - 3 = -4*t. Is f < t?
True
Let w = -9 - -4. Let x = -12 - -21. Let l = -10 + x. Which is smaller: l or w?
w
Let l be 4/(-2) - 320/(-162). Which is smaller: l or 0?
l
Let w = -12 - -82/7. Let h be -1 - -1 - (-30)/5. Let u be h/21 + (-24)/35. Is w at most as big as u?
False
Let d(v) = -v + 15. Let g be d(11). Let p be ((-3)/(-2))/(g/8). Suppose 0*c - 2*f = 3*c - 19, 2*c - 5*f + 19 = 0. Is c < p?
False
Let b = -10607/5 + 2113. Is b <= -9?
False
Suppose -n - 3*f = 27, 0*n + 3*n + 5*f + 61 = 0. Let v be 9/(-12)*(-4)/n. Is 1/4 less than v?
False
Let y = -25.04 - -22. Let h = y - -0.04. Which is smaller: h or 1?
h
Suppose 0*n - 24 = -6*n. Suppose -3*g - 30 = -t - t, -n*t = 12. Is -11 > g?
True
Let g = -0.9 - 0.1. Suppose 4*j - 4 - 4 = 0. Suppose -2*o = -j - 2. Which is smaller: g or o?
g
Let x be -3 - 2/(-6)*403. Let m = 127 - x. Which is smaller: -4 or m?
m
Let a = 232/187 + -18/17. Suppose -2*m - 5 = -4*d + m, -4*d - 5*m = -45. Suppose 3*q = 5*t - 7, 0 = d*t - 5*q - 0*q - 15. Which is smaller: a or t?
t
Suppose 0 = p - 6*p. Suppose 27 = -5*m + 7. Is p at most m?
False
Suppose 0 = -l - 4*n - 11, 3*l + 4*n = n - 6. Is l greater than 3/11?
True
Suppose 2*p + w = 2322, 3*p - 2*w + 0*w - 3490 = 0. Let f = 3361/3 - p. Let t = -491/12 - f. Which is smaller: 2 or t?
t
Let w = -5 - 12. Let h = -9 - w. Let n be 2/(-6)*h/12. Which is smaller: n or -1?
-1
Let y(d) = -d + 27. Let x be y(26). Which is smaller: x or -1/49?
-1/49
Let m be 0*(40/(-15) + 3). Are m and -2/679 equal?
False
Let p = -54 + 109. Let m be p/(-60) + (-2)/(-3). Is m at most 1?
True
Let l(s) = -s**3 + 6*s**2 + s - 6. Let b be l(6). Let n be (-349)/(-3) + (-1)/3. Let u = -1046/9 + n. Is u bigger than b?
False
Let b = -0.9 - -0.7. Which is greater: 0 or b?
0
Let z = 2 + -2. Suppose b + b = z. Which is bigger: -0.1 or b?
b
Let x = -54 + 29. Let l = x + 17. Let f be 14/(-8) - (-2)/l. Is f bigger than -2?
False
Let i = -10 + 12. Let p = 2/125 - -371/250. Which is bigger: i or p?
i
Let w be 2/(-5) + 91/(-35). Let k be w/(-6)*(-1 - -3). Which is smaller: 0.06 or k?
0.06
Let l = 81.9 + -82. Is l at least 0.56?
False
Let f(x) = -7*x + 13. Let d(b) = 3*b - 7. Let a(o) = 9*d(o) + 4*f(o). Let w be a(-7). Are w and -4 equal?
True
Suppose s - 2 = -0*s. Let l be (1 + 0)/2*s. Which is bigger: 1/9 or l?
l
Let c = -20 + 58/3. Let a = -23.3 - -30. Let q = 7 - a. Which is smaller: q or c?
c
Let t = 4.18 + -4. Let g = t + -0.08. Let b = 127/3 + -883/21. Is g smaller than b?
True
Let i = 62 - 45. Is i at least as big as 16?
True
Let i = -108 + 106. Is -1 >= i?
True
Let z be 18/(-72) - (-53)/180. Does z = 0?
False
Let u be 1/1*(1 - 0). Let s(l) = -l**3 + l - 1. Let t be s(u). Let i be (0 - t)*(-2)/4. Does i = 0?
False
Let p be 2 - 3/(-6)*(-110)/33. Suppose 4*r = -r - 5*b, -r + 3*b + 4 = 0. Do r and p have different values?
True
Let r = -3588/17 - -211. Which is smaller: r or 0?
r
Suppose 0 = 4*w - 3*n - 19, 4*w + 19 = 5*n + 48. Let p be (1 - -2)*w/(-7). Suppose 2*b = 4*b. Which is bigger: b or p?
b
Suppose 5*n = -0*n + 25. Suppose 4*w = -j - j - 4, n*j + 10 = 2*w. Which is greater: 0 or j?
0
Let y = 5 - 4.6. Let u = -1.4 + 0.8. Let f = y + u. Is 0.1 greater than f?
True
Let z = 119 + -112. Are 2 and z non-equal?
True
Let l = -7 + 3. Let r = l - -3. Let f be -1 + (-3)/9*-1. Is r less than or equal to f?
True
Let x be 3 + 0 - (-1 - -1). Is x smaller than 5?
True
Let t be -1*0/(-1)*-1. Let l = -4/97 + -376/291. Is l greater than t?
False
Suppose 9*l = 14*l. Let a(u) = 2*u**3 + u**2 + u + 1. Let h be a(-1). Which is smaller: l or h?
h
Suppose -3*b = 3*b + 6. Which is bigger: -15/7 or b?
b
Let y be 5/((-2)/2 + 3 + -1). Let u(h) = h**3 + 6*h**2 - 3*h - 9. Let l be u(-6). Suppose 0 = -3*v - 2*t + 16, 2*v + t = 1 + l. Which is greater: v or y?
y
Let v = 63 - 55. Is v not equal to 3?
True
Suppose -2*n - 1 - 9 = 0. Is -5 greater than n?
False
Let s = -257/2 - -131. Let m = -2 + 2.1. Which is greater: s or m?
s
Let t(c) = c**3 + c**2 - c + 1. Let h be t(-2). Let r be (-6 - 0)*1*1. Let y be (2/(-4))/(21/r). Is h > y?
False
Let i = -6 - -18. Let x = 12.1 - i. Let h = 967/9 - 107. Is h at most x?
False
Suppose 3*c + 3*n - 24 = 0, -4*c = -5*n + 3*n - 8. Which is smaller: 9 or c?
c
Let n = -256/435 - 1/87. Which is smaller: -1 or n?
-1
Let z = 24690 + -1086441/44. Let o = z + 7/4. Which is bigger: o or -1?
o
Let x be -2 + (3 - -1 - 1). Which is greater: 4/23 or x?
x
Suppose 0 = -i - 0*i. Let c(f) = -f - 6. Let m be c(-7). Is m less than or equal to i?
False
Let q be 4/(-5)*(-5)/1. Suppose 6 = 3*c - 0*z - 3*z, 2*c + 2*z - 8 = 0. Which is greater: c or q?
q
Let x = 3 + -3. Suppose h - 1 = -x*h. Do h and 1 have the same value?
True
Suppose -a - 3 = -d, d + 2 = -4*a - 5. Let j = 1 - 1. Which is smaller: d or j?
j
Let a be (4/(-18) + (-13)/(-18))*-2. Which is smaller: -28/13 or a?
-28/13
Suppose -5*x + 0*x - 3*f + 74 = 0, -4*x + 5*f = -74. Let c = x + -9. Is c at most as big as 7?
True
Let p = -10.2 - -9.2. Is p < 3/13?
True
Let p = 0.2 + -0.2. Let z(j) = -j**3 + 2*j**2 + 2*j + 4. Let o be z(3). Let m be ((-2)/6)/(o/(-2)). Is p less than m?
True
Let l = -16 - -5. Which is smaller: -2 or l?
l
Let w be (-4)/10 - (-2)/30. Let d = -3 + 3.5. Let u = d - 1.5. Which is smaller: u or w?
u
Let p(i) = 9*i**2 + 2*i + 2. Let s be p(-1). Let b = -20 + 29. Is s less than b?
False
Let g = 0.9 - 0.3. Is -1/2 <= g?
True
Let o = -0.1 - 5.9. Let s = o + 5.5. Which is smaller: s or 0?
s
Suppose -5*x + x + 12 = 0. Let m be ((-24)/(-180))/(6/81). Which is greater: x or m?
x
Let n = 12 - 11. Which is greater: 4 or n?
4
Suppose 4 = -j, -6 = 2*m - j - 4. Let o be m + 2 - (-2)/2. Is 2/7 less than or equal to o?
False
Let r be (77/(-28))/(1/4). Let k = r + 3. Suppose -4 = -f - 13. Which is bigger: f or k?
k
Let u be (52/91)/((-4)/(-14)). Which is smaller: u or 3?
u
Let a = 0.2 - 0.3. Let q = 0 + a. Let m = 29 + -31. Which is smaller: m or q?
m
Suppose -22 = -3*o + 5*o. Is o less than -12?
False
Let a = -6.81 + -0.19. Is 0.1 at least as big as a?
True
Let a be (-9 - -4)/(1/9). Let p be (16/(-20))/((-6)/a). Which is greater: p or -4?
-4
Let a = 14 + -6. Which is bigger: 9 or a?
9
Let c be 1*0*(-1)/2. Let v be c - ((2 - 2) + -2). Let n = 19/3 - 17/3. Which is smaller: v or n?
n
Let w = -5.8 - 1.2. Let s = -6.9 - w. Which is greater: s or -2?
s
Let n be 2/(-9) + 5/9. Is n less than 2/11?
False
Let v = -3 - -8. Suppose m = -m + 4*c, v*m + 3*c + 13 = 0. Let p be (-2 + 1)/(m/(-6)). Is -2 > p?
True
Let h(c) = 4*c**3 - 2*c**2 + 1. Let w be h(1). Suppose 18 - 3 = w*u. Let p be (-14)/(-10) - 2/u. Which is smaller: p or -1/3?
-1/3
Suppose -3*a + 19 = 5*i, -2*a - 9 = -3*i + 10. Let f(p) = 2*p. Let u be f(3). Let g(h) = h. Let s be g(u). Which is smaller: i or s?
i
Suppose -v = -4*i - 20, 5*v + 3*i + 10 = i. Suppose v = 2*k + 4*k + 18. Do -5 and k have the same value?
False
Suppose 2*p - 53 = -6*f + 3*f, 5*p - 124 = f. Does p = 24?
False
Let c = 1 + -1. Suppose -p + 1 = -c. Let t be (4/(-6))/(0 + 2). Which is greater: t or p?
p
Let a be 58 + 3 + -1 + -5. Is a bigger than 53?
True
Let i be 2/((-2)/((-2)/(-3))). Let z = 22 + -22. Is z at most i?
False
Let m = -1 + 1. Suppose 13 = -4*b - 3*w, 16 = -3*b + 2*b - 5*w. Which is smaller: m or b?
b
Let u = 0.32 - 0.06. Which is bigger: -2/7 or u?
u
Suppose -3*p + 24 = -0*p. Let z be 1 - (10/p)/1. Suppose 8 = 2*s - 4*n, 3*n + 3 = 3*s - 0. Is s smaller than z?
True
Let t = -0.13 - 38.87. Is -3/5 <= t?
False
Suppose 0 = 7*k - 3*k - 4. Let n be k/(-3) + 28/21. Is n > 1/6?
True
Suppose -z - 5*w - 8 = -w, -3*z - 5*w = 45. Is z at least -20?
True
Suppose -3*p + 17 = -10. Is p not equal to 8?
True
Suppose 0 = 3*r + 16 - 85. Let i = r - 22. Which is greater: -5 or i?
i
Let c be (7/(35/2))/5. Is 1 smaller than c?
False
Let r = -2 + 4. Let o = -0.6 - -0.6. Let p = o + 0.1. Which is smaller: p or r?
p
Let u(y) = y - 5. Let i be u(-5). Is -10 greater than i?
False
Suppose 6*k + p = 4*k + 2, 5*k - 3*p = 16. Suppose -k*c + 5 + 1 = 0. Suppose -c*g = -5*g. Is g greater than 1?
False
Suppose -5*y - 5*m + 35 = 0, -y = -0*y + 3*m - 15. Which is smaller: 0 or y?
0
Let x = -15 +