 - 4. Which is greater: c or -4/11?
c
Suppose -2*z + 9 = -5*z. Let f be 10/3*z/2. Suppose -12 = 2*j - 0*j. Which is bigger: f or j?
f
Let f = -115 + 114. Let w(o) = -2*o**2 + 1 - 6*o - 7 + o**2. Let d be w(-5). Is d != f?
False
Let y(h) = -10*h**3 - 22*h**2 + 4*h - 22. Let o(f) = 7*f**3 + 15*f**2 - 3*f + 15. Let p(u) = 7*o(u) + 5*y(u). Let w be p(-5). Is -1 less than or equal to w?
True
Let k = 96 - 298/3. Is -2 less than or equal to k?
False
Suppose -2*l = -5*y - 33, 2*y - 3*l = -8 - 14. Let z be (5/(y/14))/1. Is z at least -13?
False
Let v = -0.2 - -0.4. Let m = 0.22 + -0.1. Let b = m - 4.12. Is v less than b?
False
Let j = -3/14 - -43/70. Is j less than -0.6?
False
Let f = -0.76 + -3.25. Let c = -0.01 - f. Let b = c - 4. Is b less than or equal to 0.2?
True
Suppose 4*c - 11 - 1 = 0. Suppose 4 = -m + c. Is -1/2 != m?
True
Let s = -1/932 - 1815/45668. Let t = -104/147 - s. Which is greater: -2 or t?
t
Let x = -60 - -106. Which is smaller: -1/3 or x?
-1/3
Let g(z) = -z**2 - z - 2. Let u be g(0). Let d be 2/(-9)*-8 + u. Which is bigger: d or 0?
0
Let j be ((-13)/(-42) + 1/(-3))*4. Which is smaller: -2/7 or j?
-2/7
Let d = -4030981/11070 + 5/2214. Let v = -364 - d. Which is smaller: v or 1?
v
Let s be ((-1)/7 + 0)*2. Which is smaller: s or 0?
s
Suppose -6 = -5*p - 3*m, 5*m = p - 3*p + 10. Which is greater: p or 3/14?
3/14
Let z be (3*3)/(-1 + 0). Let r be (-34)/(-6) + (-3)/z. Suppose 4*j - 6 - r = -5*c, 16 = 2*c - 4*j. Do c and 1 have the same value?
False
Let l(v) = -3*v**2 + v. Let s be l(-1). Which is smaller: s or -5?
-5
Suppose -4*d - 851 = 3*t, -4*t = -0*d + 2*d + 418. Let l be d/(-142) - (-2)/(-8). Let g = l + -1/71. Which is smaller: 1 or g?
1
Let h = 15 + -46. Are -29 and h nonequal?
True
Let b = -16 + 11. Let f = -8 - b. Do -1/4 and f have different values?
True
Let d be (4 - 3)*5*1. Let p(l) = -3*l**3 - 2*l**2 + 2*l. Let j(u) = u**3 - u**2 + u - 1. Let c(z) = 4*j(z) + p(z). Let s be c(d). Which is smaller: 2 or s?
s
Let d = -30 + 44. Let w = 7 - d. Which is smaller: 1/2 or w?
w
Suppose -5*j = 5*l + 2 - 12, -3*j + 5*l = -6. Suppose 2 = 4*m - j. Is -2/9 < m?
True
Suppose 9*y = 5*y + 8. Do 27 and y have the same value?
False
Let i be (7 - -2) + 6/(-2). Let z(d) = -2*d + 6. Let v be z(i). Is v less than or equal to 0.2?
True
Let c = -2.99 + -0.01. Let h = 3.5 + c. Let v = -5 + 6. Is v at most as big as h?
False
Let x = -1041/5 - -212. Let a = x - 16/5. Let z be (3/3 - 2)*-1. Is a bigger than z?
False
Let f be 1/30*(-7)/(-2). Let z = f + 2/15. Is z equal to 1?
False
Let a(o) = 8*o**3 - 2*o. Let d be a(2). Suppose -3*p + d = 2*p. Which is smaller: 13 or p?
p
Let d = 8 + -11. Let g be (4/33)/2*d. Which is smaller: g or -3?
-3
Let r(k) be the first derivative of -k**3/3 + 2*k**2 - 2*k - 3. Let v be r(3). Which is smaller: v or -0.3?
-0.3
Suppose 2*v + 12 = 5*v. Suppose d = -d - v. Which is smaller: -3 or d?
-3
Suppose -3*f + 3*r = 24, -4*f = -f + 3*r + 54. Which is greater: -17 or f?
f
Let w = 105 + -27. Which is smaller: w or 77?
77
Let j = -0.4 - -3.4. Let h = 2 - j. Let n = -10.7 + 11. Is n at most as big as h?
False
Let c(t) = t**3 + t**2 - 1. Let h(q) = q**2 + 7*q + 5. Let s be h(-6). Let v be c(s). Which is greater: v or -5/3?
v
Let w be (-4)/(8/(-6))*-1. Let v be (-10)/(-21) + 1/w. Is 0 at least v?
False
Let l be 2/(-21)*(8 + -5). Let m = 21 + -64/3. Which is smaller: m or l?
m
Let n(y) = 2*y + 6. Let l = 14 + -20. Let k be n(l). Let r be k/(-24) - 6/(-8). Is r less than -1/5?
False
Suppose -3*j + j = -6. Let b be j/12*16/(-6). Suppose 0 = -i - 5*k + 9, -2*i = 2*i + 4*k - 4. Which is smaller: i or b?
i
Let c = 0.1 - 0. Let w = -2913/9425 - -1/725. Which is smaller: w or c?
w
Suppose -3 = 5*x - 13. Let i = x - 0. Let g be (-1 + -1)/(-8 - -4). Is i not equal to g?
True
Let j = -0.11 + 0.11. Is j greater than or equal to -2/13?
True
Suppose 0 = 2*u + 4*v - 4, 4*v - 10 = u. Suppose -3*c - 5 = 4. Which is greater: c or u?
u
Let v = 1.78 + -1.58. Is v >= 1?
False
Suppose 105 = -4*z - z. Which is greater: z or -22?
z
Let f(r) = 3*r**2 - 4. Let t be 8 + -5 + (-2 - -1). Let i be f(t). Is i > 8?
False
Let g = 7 + -8. Let n be 3/(-2)*g*-2. Is -5 less than or equal to n?
True
Suppose -7*n = -4*z - 2*n - 17, -4*z + n = -3. Suppose 4*j = -j, z*j = -3*h. Are -2/9 and h non-equal?
True
Let u be 12/1 - -4 - 4. Let a = u + -6. Which is smaller: a or 5?
5
Let z = 4.9 + -19.9. Is -3/4 > z?
True
Let c(a) = -11*a - 6. Let g be c(-7). Let u = 211/3 - g. Is 0 greater than or equal to u?
True
Suppose -3*o + 2*u = 5*u - 9, 0 = u. Suppose 3*z + 3*t + 0 = -12, -o*z + 3*t = -12. Which is bigger: z or 2?
2
Let w be (-4)/6 - (-5)/3. Let n(x) = x**2 + 2*x + 3. Let z = 2 - 4. Let r be n(z). Which is bigger: w or r?
r
Let h be 152/(-160) - (-3)/4. Which is bigger: -4 or h?
h
Let a = -6 + 10. Let m = 0.13 - 0.03. Which is smaller: m or a?
m
Let x = 160 - 160.2. Which is smaller: 28 or x?
x
Suppose -76*c + 71*c = 0. Let z be (822/70)/(3/(-2)). Let a = z - -37/5. Are c and a nonequal?
True
Let x be 2*(-3)/(-24)*-2. Which is smaller: 1/4 or x?
x
Suppose -u - 10 = -3*u. Suppose -25 = u*h + 5*w, 2*w = -h + 4*w + 4. Let b = 5/2 + h. Is b less than 1?
True
Let x = -9593 - -47612/5. Let k = x - -71. Is k at least as big as -3?
True
Let m = -0.4 - 0.2. Let y = -0.4 + m. Suppose -l - 1 = -3. Is l greater than y?
True
Let d be -2 + 68/(-44) + 3. Are d and 0 nonequal?
True
Let z = 2 - 2. Let n be -1 + -1 + (-21)/(-12). Which is smaller: z or n?
n
Let k be (1 + 4)/5*(-1 + 0). Is -1 less than or equal to k?
True
Let r(u) = -2*u + 84. Let v be r(0). Is v smaller than 84?
False
Let j = -0.32 + 2.02. Let p = j + -0.5. Let v = p - 1. Which is smaller: -2/9 or v?
-2/9
Let g = 448877/175 - 2565. Is g less than -1?
False
Let a be 196/308*(-4)/(-14). Which is bigger: 1.3 or a?
1.3
Let j(x) = -26*x**3 + 25*x**3 - 2*x + 3*x + 6 - 7*x**2. Let g be j(-7). Is g < 0.1?
True
Suppose 0*t = 3*t. Let j = 1 + t. Suppose -1 = u + 3, -4*i = u. Are j and i unequal?
False
Let m be (-2)/(-9)*156/16. Let c(n) = n**2 + 11*n + 2. Let h be c(-11). Which is greater: m or h?
m
Suppose 2 = x - 0. Is x less than or equal to 3/2?
False
Let t be ((-6)/9)/(4/(-18)). Suppose t*g + 5 = -x + 3*x, 3*g = -3*x + 15. Which is greater: 5 or g?
5
Suppose 4*k + 0*k = 0. Let z be 22286/(-121)*2/(-2). Let y = -184 + z. Is y <= k?
False
Suppose 5 = -3*b - 58. Is b bigger than -21?
False
Let x(k) = -3*k. Let q(o) = -3*o**3 - o**2. Let a be q(-1). Let i be x(a). Let g be ((-3)/i - 0)*2. Is g less than or equal to 2/3?
False
Suppose 3*t = 3*a + 2*t - 11, 0 = -a - 5*t + 9. Is a < 4?
False
Let b be 306/(-72) - -2*1. Which is smaller: b or -3?
-3
Let d = -38.9 + -6.1. Let k = d + 25. Is -1/4 bigger than k?
True
Let p be (3/2)/((-6)/40). Let j be 6*3/p - -2. Let z(h) = -2*h**3 - 2*h**2 - 2*h - 1. Let m be z(-1). Which is greater: j or m?
m
Suppose 2*v + 72 = 5*v. Let k = v + -12. Let q be (-18)/k - (-14)/(-4). Is q < -5?
False
Suppose 0 = 3*v + 2*v - 5, -5*v + 7 = -g. Suppose 6 = -2*d + 4*d. Suppose -j + 3*c - 8*c + 24 = 0, 2*j + c = d. Is g != j?
True
Let h(w) = w**3 - 2*w**2 - 2*w. Let i be h(3). Let m = i + 0. Do m and 0 have different values?
True
Suppose -2*l = 3*l + 160. Let g = l + 21. Is -10 <= g?
False
Let m = -7 - -10. Suppose 2*t - 3*u = 8, 4 = -m*t - u + 5. Is t less than 2/9?
False
Let i = 3 - 2.8. Let o = i - -1.8. Let z = -2 - -7/4. Do z and o have the same value?
False
Let u be 5 - 7 - -3*1. Is -3/10 bigger than u?
False
Let a = -0.1 - -0.15. Let f = a - 0.05. Which is greater: -2 or f?
f
Let i(f) = -f**2 + f - 1. Let s(o) = -3*o**2 + 7*o - 6. Let w(v) = -2*i(v) + s(v). Let d be w(3). Let k be 1/(d + -1*3). Which is smaller: k or 0.1?
k
Let o = -5 + 6. Let u(h) = -5*h**3 + 2*h**2 - 1. Let v be u(o). Does v = -5?
False
Let y = -13/57 - 2/19. Let g be (40/12)/((-4)/(-6)). Let f(w) = w**2 - 6*w + 4. Let s be f(g). Does y = s?
False
Let b = -17 + 19. Which is bigger: 1 or b?
b
Suppose -6 = 2*h + 2*g - 0, h - 2*g = 6. Suppose 4*q - 3*q + 2 = h. Is q bigger than -11/6?
False
Let f(j) = -j - 4 + 2 + 1. Let v be f(-4). Let t = v + -4. Is t bigger than 0?
False
Let s be (-2)/7 + (-142)/(-7). Suppose 2*n + s = -4*m, n - 5*m + 1 - 5 = 0. Let c be (1/3)/((-1)/n). Is -1 > c?
False
Let f be 2 + (-1 - -3 - 1). Suppose -3*a + f + 3 