et c = 31 + -34. Which is bigger: -3/7 or c?
-3/7
Let l = 0.05 + -2.55. Let c = 3 + l. Let j be (-11)/(-12) + (-20)/30. Do c and j have the same value?
False
Let b be 0 - (12/7 + -2). Suppose -9*h = h + 10. Is b > h?
True
Let c be (0 - 3)/(3/4). Let i be 5/(-3) + c/(-6). Which is bigger: 1/11 or i?
1/11
Suppose -2*l = -18 + 14. Let h be 3 + (-26)/16*l. Is h >= -1?
True
Let j = 7 - 7. Is j greater than -3/7?
True
Let p be 1/1 + -3 + 5. Suppose 0 = -u - 12 + p. Suppose 0 = 7*w - 4*w + 27. Are w and u equal?
True
Suppose -2*i + 14 = 4*n, 2*i = 3*i - 2*n + 9. Which is smaller: i or -78?
-78
Let r = 25 - 11. Which is greater: r or 15?
15
Let k be (10/(-14))/(9*(-16)/(-840)). Which is smaller: -3 or k?
k
Let r be (-20)/3*24/(-10). Let g = -2 + r. Let w = -27/2 + g. Does 2 = w?
False
Let m = -80 + 98. Is m != 1?
True
Let y = -1.2 - -0.2. Let w = 0.11 + -0.11. Is w < y?
False
Suppose -7*l + 4*l + 2*t + 6 = 0, 2*t = -2*l - 6. Which is greater: l or 2?
2
Let u(t) = -t**2 - 2*t + 4. Let l be u(-3). Suppose -l = -3*c + 2, 2*w = -3*c - 11. Is w < -7?
False
Let q(x) = -3*x + 9. Let c be q(3). Let v = -1096/7 - -157. Which is smaller: v or c?
c
Let j = -2.4 - -2. Let z = 0.8 + j. Let c = 0.3 - z. Which is smaller: 0 or c?
c
Suppose 16 + 0 = -4*v. Let u(q) = -q + 3. Let p be u(9). Let m = p - v. Which is smaller: 0.2 or m?
m
Let p(t) = -2*t**3 + 4*t**2 - 2*t. Let q be p(2). Let j(u) = u**3 + 3*u**2 - 5*u - 2. Let k be j(q). Which is greater: -1/3 or k?
k
Suppose q - 1 = 1. Suppose z - 2*z = -3*d + 9, z + 5 = q*d. Which is greater: 4 or z?
4
Let x = 1 - 1. Suppose -2*i + 0*i + 62 = 0. Let v = -123/4 + i. Which is smaller: x or v?
x
Suppose 0 = 2*g - 0*g - 22. Is g <= 10?
False
Suppose 0 = x - 2*x - 1. Let o = -3 + 7. Let w be 0 - -1 - (-3 + o). Is w greater than or equal to x?
True
Let o be ((-4)/4)/1*1. Suppose 0 = -4*y - 6 - 2. Which is smaller: o or y?
y
Let y = 1767 - 249149/141. Let g = -43/282 + y. Is 0 < g?
False
Let l = -79 + 2448/31. Which is bigger: l or -1?
l
Let c(g) = g**2 + 4*g - 5. Let h be c(7). Let q be h/(-154) + 2/7. Let d = 1 - 0. Is q less than or equal to d?
True
Suppose k = -5*t - 15, 3*k = 2*t - 4 - 7. Let s(y) = y**2 + 2*y + 2. Let j be s(t). Do j and 2 have different values?
False
Let s = 4 + 0. Suppose 5*q = -2*d - 6 - 5, d = -q - s. Is -4 equal to d?
False
Let j(c) = -c**3 + 5*c**2 + 6*c. Let o be j(6). Let i = -226 + 2492/11. Which is smaller: o or i?
o
Let b be 8/2*(-2)/(-28). Which is smaller: -25 or b?
-25
Let b = 0.618 + -0.078. Which is greater: 0.1 or b?
b
Let u be (-3)/14*(-16)/6. Let f(z) = -z**3 + 2*z**2 + 2*z + 5. Let d(h) = -h + 6. Let k be d(3). Let c be f(k). Which is smaller: c or u?
u
Let j be 16/440 + 4/(-10). Which is smaller: 1 or j?
j
Suppose -10 - 11 = 3*s. Let q be ((-30)/(-35))/(1/s). Which is greater: q or -5?
-5
Let c be (72/32)/((-21)/2). Which is smaller: c or 0.1?
c
Let j(p) = 3*p + 3. Let c be j(-2). Let w be 322/21 - (-1)/c. Suppose -w = -b + 6*b. Does -4 = b?
False
Let r = -2/441 + -4843/1764. Do -4 and r have the same value?
False
Let w(y) = y - 4. Let c(n) = -n**3 + 3*n**2 + 2*n + 4. Let k be c(4). Let a be w(k). Are a and -8 non-equal?
False
Let s be (-2)/(-1) + 388/(-210). Let d = -2/15 - s. Which is smaller: d or 0.3?
d
Let t = -0.16 - -0.11. Which is greater: t or -1?
t
Let c(m) = m**3 + 6*m**2 + 3*m + 8. Let a be c(-6). Is -10 smaller than a?
False
Let i = 7 - 6.5. Let j = -0.5 + i. Does -2/3 = j?
False
Suppose 7*z - 10*z - 15 = 0. Let h(l) = l**3 + 4*l**2 - 3*l + 7. Let c be h(z). Is -4 smaller than c?
True
Suppose 11*y = 8*y. Which is smaller: 0.34 or y?
y
Let g = 7.01 + 0.29. Let j = 99 - 98.3. Let f = j + g. Is f > 1/2?
True
Suppose -11 = -4*h + a, 39 = 4*h + 4*a + 3. Is h at most 3?
False
Let w = -0.02 + 1.02. Which is smaller: -2/7 or w?
-2/7
Let f be -3*-1*2/(-3). Let l be -3*(-1 + f/(-1)). Let g(b) = b**2 + 9*b + 5. Let v be g(-8). Do v and l have different values?
False
Let b(w) = 2*w**3 - 4*w**2 + 2*w - 3. Let y be b(3). Is y not equal to 0?
True
Let n = -10 + 4. Let a = n + 5.3. Let v = a + 0.8. Is v at least 1?
False
Suppose -32 + 26 = -2*s. Let t be -2*((-3)/(-8))/s. Is t < -1/4?
False
Let h = 2.03 + -0.03. Suppose -5*m - 18 = -2*m + 3*z, 0 = 2*m - 2*z. Which is greater: h or m?
h
Let m be 2/4*(-6 - 8). Let h = 4 + m. Which is smaller: h or -5/2?
h
Let h be -2 + 0 - 1*-4. Let n be 72/27 + 2/(-3). Suppose -2*j - w - n = h, 3*j - 16 = 4*w. Do j and 1 have different values?
True
Let f = 1413 + -873. Let h = f + -16742/31. Which is smaller: 1 or h?
h
Suppose 7*u + 44 = -96. Which is bigger: -21 or u?
u
Let d be 3/((-3)/4) + 1. Suppose -3*c + 4*b - 21 = 1, 3*c - 5*b + 26 = 0. Is d < c?
True
Let x be (-4)/3*12/4. Let c be (x/8)/(2/4). Let k be (-27)/(-30) - c/(-2). Which is greater: 0 or k?
k
Let p be 0 - (11 - 12)*0/2. Which is greater: -5 or p?
p
Suppose j = -j + 2. Let a be (-1)/(2 + 4 - j). Is a less than 1?
True
Let v be -1 - (63/24)/(-7). Which is smaller: v or -1?
-1
Let j = 43 + -8. Let w be ((-8)/j)/((-4)/10). Let b = 2 + -1. Which is smaller: b or w?
w
Let m(a) = -6*a**2. Let p be m(1). Let o(c) = -c. Let u be o(5). Is p less than u?
True
Let n = -0.53 - -0.6. Let w be (-20)/6*12/10. Let y be (-3 - w)*0/(-1). Are y and n nonequal?
True
Suppose -3*v - 2*v - 15 = 0. Let m = 21 - 20. Which is bigger: v or m?
m
Let n(t) = t + 16. Let o be n(-12). Which is smaller: 3 or o?
3
Let s be (1/(-2))/((-3)/(-18)). Let x(i) = 3*i**2 - i + 5. Let w(l) = -2*l**2 + 2*l - 5. Let d(n) = s*x(n) - 4*w(n). Let z be d(-6). Is 1/6 at most z?
False
Let i be ((-16)/(-2) - 5) + 59. Is i less than 63?
True
Let w be 240/(-116) + (-1 - -3). Which is bigger: w or 0?
0
Let k be 0 + (-15 - -1)/(-1). Let r be 6/28 - (-4)/k. Let j = -331 - -332. Does r = j?
False
Let u = -40 + 76. Are 36 and u equal?
True
Suppose -2*x + x = 0. Suppose 3*j + 15 - 2 = 5*w, 2*w + 3*j - 1 = 0. Suppose 2*u - 3*g + g = x, -w*u + g = 1. Which is smaller: 1/4 or u?
u
Let n be 109/3 + (-3)/9. Suppose 0*i + n = -4*i. Are i and -10 non-equal?
True
Let y(x) = x - 4. Let b be y(7). Let c be 1/b + (-2)/(-3). Suppose -w + c = -0*w. Is 0 equal to w?
False
Let l be (50/(-4))/(7/(-14)). Let h = 26 - l. Are h and 2/51 unequal?
True
Let z be -4*(-3)/(-6)*-1. Suppose 5*r - 205 = 4*j - 0*r, -3*j - z*r = 125. Let f be (-19)/j + (-3)/15. Which is smaller: -2/5 or f?
-2/5
Let r = 2 + -2. Suppose r*v = -4*v - 320. Let t = v - -481/6. Is -2/5 <= t?
True
Let n(m) = 3*m + 7. Let a be n(-7). Which is greater: a or 0?
0
Let q = 0.29 - 16.29. Let y = q - -10. Let b be (9 + -6)*(-2)/(-15). Which is bigger: b or y?
b
Suppose -z + 2*z = -2. Let y be ((-8)/12)/((-4)/(-6)). Which is smaller: z or y?
z
Suppose 5*c - 40 = 3*p, -2*c + 25 = p - 4*p. Suppose -5 = -c*l - 0*l. Is l less than or equal to 1?
True
Let j be 12 - (3 - (-1 + 2)). Let z(l) = -l + 2. Let n be z(-8). Is j >= n?
True
Let u be 2*(2 + -3 - -2). Let m be ((-6)/(-12))/(u/(-4)). Are -10/9 and m non-equal?
True
Let u be 2/7 + (-76)/(-28). Suppose u*t = -t + 28. Suppose 4*r - 1 = t. Is 2 less than r?
False
Let u(t) = -t**2 + 4*t - 2. Let y be u(3). Let p = 50/3 + -16. Which is greater: p or y?
y
Let j(l) be the first derivative of -1 + 1/3*l**3 + 3/2*l**2 - 5*l. Let i be j(-4). Which is smaller: 2/7 or i?
i
Let q = -663/4 + 165. Which is greater: q or -6?
q
Let h(z) = z**3 + z**2 - 3*z - 1. Let p be h(-2). Let j be 4/(-6)*(-2)/(-4). Which is bigger: p or j?
p
Suppose -u + 4*a + 61 = 4*u, -2*u + 3*a = -30. Let s = u - 6. Let l = 3 - s. Which is smaller: l or -3/8?
-3/8
Let u be -2 - (0 - 1) - -3. Suppose 5*x - 6 = u*x. Let k be (0 + 2)/(8 - 6). Which is smaller: x or k?
k
Let l = 0.06 - 0.76. Let w = l + 0.6. Which is greater: 2 or w?
2
Suppose -2*w - 168 = 2*w. Let n = -139/13 - 1641/52. Let d = w - n. Is d at most -0.1?
False
Suppose 0 = -0*i + 2*i - 8. Let b = 8 - i. Suppose b*j = -j - 25. Is -3 >= j?
True
Suppose -3*a + 6 + 9 = 0. Suppose -g + 3*q = -6, a*g - 17 = 2*q - 0*q. Is g equal to -0.3?
False
Let s = 9 - 10. Is -2 > s?
False
Let n = 0.35 - 2.35. Which is smaller: -0.5 or n?
n
Let n = -9 - -5. Let m = 6 + n. Does m = -2?
False
Let r be (-443)/(-44) - 2/(-11). Let w = 25442 + -508647/20. Let q = w - r. Which is smaller: -1 or q?
-1
Let r = 127592 + -5103401/40. Let q = r - 33/5. Which is smal