rue
Let h be -8*(-4 - (-4 + 2)). Which is smaller: 15 or h?
15
Suppose 3*u - 5*t = -26, -4*u = -3*u + 2*t + 5. Which is greater: u or -9?
u
Let j(g) = g**3 - 7*g**2 + 6*g + 5. Let t be j(6). Let x = -3 + t. Suppose x = c + 4. Is -1 <= c?
False
Suppose 8*f - 3*f = 60. Let y be -2 - 3*f/(-27). Is 5 greater than y?
True
Suppose 15 = 5*u, -2*y + 5*y - 4*u = -15. Let m = 7 + -93/13. Which is smaller: y or m?
y
Let o = -18 - -17.93. Let l = o - 0.03. Which is greater: -0.8 or l?
l
Suppose -18 = 2*i - 3*y, -31 = 5*i - y - 3*y. Is 1/3 equal to i?
False
Suppose t + 3*l = -4, -4*t - 2*l - 17 + 1 = 0. Let w be (16/28)/(7/(-49)). Is w > t?
False
Let d(y) = -y**3 + 9*y**2 - 15*y - 11. Let f be d(6). Which is smaller: 11 or f?
f
Let v(c) = c**3 - 7*c**2 - 8*c - 9. Let r = 25 + -17. Let n be v(r). Let s(g) = g**3 + 9*g**2 + g + 11. Let w be s(n). Is 3 != w?
True
Let w = -19 + 65. Which is smaller: w or 47?
w
Let s = 4 + -2. Let i = -11 + 24. Let m = -11 + i. Is s bigger than m?
False
Let b = -1 - -4. Let g = 3 - b. Let f be (0 - -1)*-1 - -2. Is g < f?
True
Let q be 14/(-4) - 2/(-4). Let j be 2 + 8/q + 0. Is -0.1 at most as big as j?
False
Suppose 0*j + 144 = 3*j. Suppose j = 3*q + q. Let g be (-6)/(-4)*8/q. Which is smaller: 0 or g?
0
Let y(p) = 11*p + 4. Let z be y(7). Which is smaller: 80 or z?
80
Let g(w) = w**3 - 3*w**2 - 6*w + 2. Let h be g(4). Let f be 14/(-12) + (-4)/h. Suppose 0 = 14*p + 6 + 22. Which is smaller: f or p?
p
Let x = 0.3 - 0.2. Suppose 58 = -2*c - 5*t, -2*c + t = -4*t + 38. Let d = 121/5 + c. Do d and x have the same value?
False
Let d = -5 + 4.9. Which is smaller: 12 or d?
d
Let t(o) = -o**3 + 5*o**2 + 6*o - 4. Let i be t(6). Let a = i + 2. Let p = a - -2. Is 2 > p?
True
Let t be (-2)/200*-49 - 1/4. Is -1 greater than t?
False
Let v = -0.07 + -0.03. Let z = 0.04 + -2.04. Is v at most z?
False
Let k(q) = 3*q**2 - 1. Let w be k(1). Suppose w = 4*m - 3*m. Which is bigger: m or -2?
m
Suppose -12*t = 252 + 36. Is t at most -23?
True
Let l = 4/63 - -2/9. Let g be (6 - 3)*(-4)/(-15). Is l smaller than g?
True
Let h(r) = -2*r - 3. Let p be h(-4). Let l be (-2)/1*(p + -4). Is 0 at most as big as l?
False
Suppose -2*j + 9 + 1 = -i, 5*j = -4*i + 25. Suppose -y - 2*y + 5*b - 7 = 0, -2*y = 5*b - 12. Suppose m + 2 - y = i. Which is greater: m or -2/7?
-2/7
Let p = -9 + 4.3. Let h = 4 + p. Let c = h - -3.7. Is -0.1 equal to c?
False
Let l be (1 + 0)*(1 - 0). Let b(g) = 5*g**2 + 8*g - 2. Let p(z) = -4*z**2 - 7*z + 1. Let u(a) = -5*b(a) - 6*p(a). Let t be u(3). Does l = t?
True
Suppose -p + 5 = -5*j, 0*j = 3*j + 3*p - 15. Let s(g) = -4*g + 2. Let m(q) = -7*q + 4. Let t(l) = 3*m(l) - 5*s(l). Let n be t(3). Which is smaller: n or j?
n
Let s = -28 - -30. Which is smaller: -9 or s?
-9
Let b be (2/(-55))/((-45)/(-75)). Is 0 at most b?
False
Let s = -236 - -1176/5. Which is bigger: -1/2 or s?
-1/2
Let g = -16/121 - -1006/121. Which is smaller: 9 or g?
g
Let r be ((-6)/126)/((-2)/(-12)). Let s(a) = -a**3 + 2. Let b be s(0). Suppose -5 = 5*z, f + b*z - 1 = -4. Which is bigger: f or r?
r
Let f be (-6)/15*15/(-33). Let w(j) = j**3 + 2*j - 1. Let l be w(1). Suppose -5*g = l*o - 0*g - 22, -o + 4*g = 15. Which is smaller: f or o?
f
Let r = 3.4 + -3.3. Let b = -3.9 - 0.1. Are r and b equal?
False
Let w(o) = -5*o - 3*o + 10 + 5*o + 4*o. Let k be w(-14). Let h = 2 - 1.9. Which is smaller: h or k?
k
Let j be ((-9)/6)/1*-4. Let i(z) = z - 3. Let t be i(j). Suppose 0 = 5*b - 3*s - 4, -b + 5*s - s = 6. Which is bigger: t or b?
t
Let m = 15.6 - 14. Let y = m - 0.6. Which is bigger: y or 0.2?
y
Let j be 0/(-1)*(-7)/14. Is -1/7 equal to j?
False
Let u be ((-399)/28 - 1) + (-1)/(-4). Is -6 smaller than u?
False
Let u = 4 + -7. Let w = 9 + -6. Let z = u + w. Are -3 and z equal?
False
Let v = -10 - -5. Let m = -0.21 + 0.11. Is v at least m?
False
Let o = 2 - 0. Suppose 0 = o*l - 0*l + 10. Is l bigger than -4?
False
Suppose -3*p + 1 - 4 = 0, 4*r - 2*p + 46 = 0. Which is smaller: 1 or r?
r
Let h = 9 - -22. Is 30 >= h?
False
Let k be 6/204*(-3 + 4). Is 0 less than or equal to k?
True
Let p = 0 + -0.1. Let w = 275/938 + -1/134. Which is smaller: p or w?
p
Let d be 3*-1*(2 + -3). Suppose -4*r - 8 = -4*q, -3*q - d*r - 2*r - 10 = 0. Let w be (-1 + q)*(-8)/4. Are 2/3 and w nonequal?
True
Let q be (-1)/((-1)/4) + (-266)/63. Do q and -3/26 have different values?
True
Let i = -0.1 + 0.1. Let l = i - -0.1. Let f = -49 + 197/4. Which is bigger: l or f?
f
Suppose b = -3*t - b - 46, -4*b = 4*t + 60. Let u = t + 9. Which is smaller: -8 or u?
-8
Let j(u) = u**2 - 11*u + 1. Let k = 35 + -25. Let w be j(k). Let v be ((-2)/w)/((-6)/(-9)). Which is greater: 0 or v?
v
Let r be -6 - -6 - (0 + (0 - 1)). Let x = -9 - -9. Which is smaller: x or r?
x
Let q = 0.11 - -4.89. Let d = 4 - q. Which is greater: d or 0?
0
Let t = -2 + 1.7. Which is greater: 2 or t?
2
Suppose 15 = 4*h - h. Suppose 0 = h*j - 5. Are j and 2/15 nonequal?
True
Let t be (-17)/((-306)/(-120))*1/(-2). Is t greater than or equal to -2/9?
True
Let g = -33.8 - -34. Suppose -3*q = 12, l + 13 = -5*q + q. Which is greater: g or l?
l
Let z be -1 + 2 + 1*-2. Let u = 15 - 22. Let v be 2/(-7) - 2/u. Which is smaller: v or z?
z
Let h(m) = m**3 - 7*m**2 + 5*m + 3. Let c be h(6). Let o be (-1 - (-22)/18) + (-320)/630. Is o at most as big as c?
False
Let k(j) = -j**2 + 5*j + 5. Let g be k(6). Which is smaller: 3 or g?
g
Let q = 0.065 + -43.065. Which is smaller: q or 1?
q
Suppose 2*y = 2 + 2. Suppose 0 + y = 2*h. Is -2 >= h?
False
Let m be 3/(-7)*(-18)/(-27). Which is bigger: -0.1 or m?
-0.1
Let i be -1*(-2 + 3)/(-1). Suppose 0 = -2*z - 2*z + 4. Let p be -4*z/(-40)*-2. Is p equal to i?
False
Suppose 4*g - 2*v + 4*v + 12 = 0, 5*v = 5*g. Which is greater: g or 0?
0
Let f = 25 + -25.2. Is 9 greater than f?
True
Let r be 5 + 4/(-4) - 3. Which is smaller: r or -6?
-6
Let g = 23 + -19. Let j(s) = 3*s + 1. Let r be j(g). Is r greater than or equal to 12?
True
Let p = -19.2 - -19. Is p != -2?
True
Suppose 4 = -8*w + 4. Let i(r) = -r**3 + r**2 + 3*r - 1. Let l be i(2). Which is greater: l or w?
l
Suppose -14*q = -10*q. Let c(z) = -1 + z**3 - 5*z - 2*z**3 + 4*z - z**2. Let w be c(q). Does 1 = w?
False
Let o(p) = p - 8. Suppose 4*h = -4, -3*h - 19 = -4*x + 20. Let a be o(x). Is 1 smaller than a?
False
Let p(y) be the first derivative of -y**2 - 5*y + 1. Let f be p(5). Is f at most as big as -14?
True
Let h be (-1)/10*(-5 - -1). Which is smaller: h or -2/5?
-2/5
Let p = 0 - -0.2. Let m = 3.1 - -0.9. Let c = 3 - m. Which is greater: p or c?
p
Let b = 70 + -105. Is 0.2 bigger than b?
True
Let b = 0.79 + -1.59. Let j = -2 - -3. Which is bigger: b or j?
j
Let s = -86/7 - -416/35. Let d(p) = -p**2 + 8*p - 7. Let k be d(7). Let l be (0 + -1)/(k + -1). Which is smaller: s or l?
s
Let z(v) = -v**2 - 7*v - 6. Let i be z(-6). Let u = 3 + -1. Let b = u + -3. Which is smaller: b or i?
b
Let w be 2/11 - 0/(-1). Is 1 at most as big as w?
False
Let b = 97/4 - 24. Let y = 2 - 2.1. Is b < y?
False
Suppose -15 = -5*d, -4*d - 618 = -3*s - 2*d. Let r be 8/60 + s/(-660). Let v = -1 - 0. Which is greater: r or v?
r
Let i(w) = 3*w**3 - w**2 - w - 1. Let l be i(-2). Which is greater: -28 or l?
l
Let n be (2 + -1 - 1)/1. Let w = 0 - n. Suppose -l = l + 2. Is l smaller than w?
True
Let d(m) = -m - 7. Let w be d(-7). Which is bigger: 1 or w?
1
Suppose -10 = j - 3*j. Is j greater than 6?
False
Let b be ((-10)/(-21))/(3/(-36)). Let q = 83/28 + b. Is q less than or equal to -2?
True
Let s = 3 - 3. Let a be (36/66)/(0 + -2). Let l = a - -48/55. Which is bigger: l or s?
l
Let z(p) = -p**3 + 9*p**2 - 8*p + 2. Let c be z(8). Suppose 2*l + c = 5*i + l, 5*l + 10 = -2*i. Suppose 4*f + 16 = -i*f. Are -4 and f equal?
True
Let a(r) = r - 2. Let w be a(6). Suppose -5*z = -6*v + 4*v + w, -3*z = -2*v. Let d = 3 + -2.9. Is d >= z?
True
Let x be 242/56*1 - (-12)/28. Is x > 6?
False
Let h be ((-3)/5)/(26/10). Which is smaller: -1 or h?
-1
Let k = 1 - 1.2. Let o = k - -0.2. Are o and -1.4 equal?
False
Let t be -217*4/(100/19). Let w = -165 - t. Is 1 <= w?
False
Let s be ((-36)/(-14))/(2 + (-75)/35). Are -14 and s equal?
False
Let n = 6 + -2. Suppose -3*j + n*d = -22 - 10, -6 = -j - d. Suppose -5*v = -j + 18. Is -2 at least v?
True
Let z be 0 - -1 - -4*(-4)/16. Which is smaller: 2/35 or z?
z
Let o = -28 