. Let b be z(-1). Which is smaller: -6/7 or b?
b
Let z = 12 - 12. Let t = -2.2 + 2. Which is greater: t or z?
z
Let d be (-1)/3*(-24)/(-4). Is d less than -1?
True
Let l be (-12)/(-8)*(-4)/(-6). Let y(g) = -g - 1. Let a be y(-1). Suppose -q - l = -2*p - 2, 4*q + 5*p + 9 = a. Which is greater: q or -2/7?
-2/7
Let o be (-4)/(1 - (1 - -2)). Suppose -2*v - 2*f - o*f - 4 = 0, 3*v = 2*f - 6. Is -4 greater than v?
False
Suppose 2*q + d + 30 = -3*d, 3*d - 10 = 5*q. Let l = 7 + q. Suppose -l*x = 2*x - 8. Which is smaller: x or 1?
1
Let n be (-2)/(-3) - (-2)/(-3). Suppose 0 = -m - 1 - n. Let k be (2 + 0)/(-5 - -3). Is k equal to m?
True
Let r = -53/7 + 11. Is 0 greater than or equal to r?
False
Let m = -17 + 12. Suppose 10 = -3*t - 5. Is m equal to t?
True
Let j(g) = -g + 19. Let u be j(12). Which is smaller: 19/3 or u?
19/3
Let l = -0.6 - -9.6. Let z = 8 - l. Let r be 6/(-8)*1/3. Which is greater: r or z?
r
Let s = -9 - -2. Is -7 bigger than s?
False
Let l be (0 - 3) + -5 + -1. Let a be l/(-15) - 9/15. Are a and 8 non-equal?
True
Let g(k) = -k + 3. Let v be g(3). Suppose -4*j + 5*p = -3*j + 1, 2*j - 3*p - 12 = v. Do 9 and j have the same value?
True
Let d(j) = -j**2 - 7*j - 4. Let n be d(-5). Let g be 2/(-6) + (-10)/n. Let z be 55/(-150) + g/(-4). Which is smaller: z or -1?
-1
Let w(f) be the first derivative of f**3/3 + 3*f**2/2 - f + 1. Let v be w(-4). Let t be (-27)/(-21) + (-18)/63. Is v smaller than t?
False
Suppose 3*x - 4*i = -8, i = -x - 2 + 4. Let n(r) = -2*r + 6. Let d be n(4). Does d = x?
False
Suppose -8 = -m + 4. Let r be (6/(-10))/(m/(-8)). Which is bigger: -2 or r?
r
Let x be (-2)/1*(-1)/(-8). Let f be ((-1)/1)/(2/4). Let u(g) = g**2 + g - 3. Let j be u(f). Is x smaller than j?
False
Let f(o) = -o**3 - 16*o**2 - 4*o - 17. Let m be f(-16). Which is greater: 1/2 or m?
m
Let k = -16 - -17. Is k bigger than -0.36?
True
Let w(b) = 5*b - 3 - 3 + 5 - 4*b. Let q be w(-7). Do q and -7 have the same value?
False
Let f be ((-4)/(-6))/((-2)/3). Suppose 0 = 5*m - 2*m + 27. Let s be ((-3)/6)/(m/(-12)). Is f bigger than s?
False
Let t be (-35)/20*(-4)/(-1). Let n = t - -6. Let v be -1 + (-1 - n) + 3. Which is smaller: v or 0.1?
0.1
Suppose -4 = -0*i + 2*i. Is i not equal to -2/3?
True
Suppose 7*q = 9 - 58. Suppose -34 = 4*n + 2*k, 13 + 12 = -n + 5*k. Is n greater than q?
False
Let v = -452/5 - -91. Let q be (1 - 2)*(-1 - -1). Is q smaller than v?
True
Let r = 2 - 3. Let t = 295/26 + -3431/260. Let z = t + 5/4. Which is smaller: r or z?
r
Let z = -11879 - -213485/18. Let v = z + 37/2. Which is greater: v or -1?
v
Let a be 3/(-5) + (-66)/(-385). Is a not equal to 0?
True
Let j = -7/8 + 139/40. Is j less than -2/3?
False
Let f(a) = a**3 - a**2 - 3*a - 3. Let r be f(3). Suppose l + l = -r. Let n(s) = -2*s**2 + 5*s - 5. Let t be n(2). Are t and l equal?
True
Let z be 12/(-20)*(-10)/(-15). Is 0.1 < z?
False
Let c = 10/49 - 188/441. Is -1/6 < c?
False
Let m be 9/(-6) + 1/2. Let d = 112976 - 4970659/44. Let j = d + -52/11. Is m at least j?
False
Suppose -4 - 8 = -3*m. Let j be (6/4)/((-6)/(-16)). Let d = m - j. Which is smaller: d or -2/9?
-2/9
Let k = -12 - -15. Do 8/5 and k have the same value?
False
Let u = -0.02 + -5.98. Let s = -6.2 - u. Which is greater: -1/4 or s?
s
Suppose 19*g = 13*g - 6. Which is smaller: g or -1/43?
g
Let a be 1 - (-7)/((-14)/4). Is 1/12 at most a?
False
Let t = 76 - 49. Let u be 3*(2 + t/(-12)). Which is greater: -2 or u?
u
Let g be (0 - 0)/((-2)/(-1)). Which is bigger: 1 or g?
1
Suppose 2 = n - 6. Do -1 and n have different values?
True
Let q be ((-2)/(-5))/(28/(-20)). Let h = -0.23 + 0.08. Let x = h - -0.05. Which is smaller: x or q?
q
Let q = -2 + 2. Suppose 2*a - 5*a - 21 = q. Which is greater: a or -5?
-5
Let s be (-4)/3*(-1)/8. Suppose -3*k + 4 = k - 4*h, -5*k + 3 = -4*h. Which is greater: s or k?
s
Let m = 99 - 87. Are m and 12 unequal?
False
Let d be -2*((-22)/(-12))/11. Suppose 3 = -3*z + 6. Is d less than z?
True
Let f be ((-14)/(-63))/((-1)/(-2)). Is -1 equal to f?
False
Let r(a) = 10*a**2. Let j be r(-1). Which is greater: j or 8?
j
Let j be 1 - (-4)/6 - 2. Suppose 2*h - 3 = -3*o - 6, -5*h - 18 = -3*o. Which is greater: j or o?
o
Let y = -33 + 34. Is -2/11 < y?
True
Let r be (-177)/45 + 28/21. Is -3 > r?
False
Let p(x) = -x**2 - 6*x - 5. Let v be p(-6). Let d be 108/10 - v/25. Are d and 12 equal?
False
Let j = -3 - -3.1. Suppose z - 28 = -4*p, p = 3*p + 2*z - 20. Let u be (1 + 0)/((-21)/p). Do j and u have the same value?
False
Let v = -0.27 - -0.47. Which is smaller: 0.9 or v?
v
Suppose 3*l - q = 2*q + 24, -4*q - 11 = -l. Suppose p + p - 5 = y, -5*y - l = -p. Which is greater: y or 0?
0
Suppose -22 = w + 5*h, 3*w + 5*h - 2*h + 30 = 0. Let p be 1/w - (-29)/56. Which is smaller: 1 or p?
p
Suppose 3*q + 4*j = 13 + 61, 5*j + 29 = 3*q. Which is greater: 19 or q?
19
Let o = 36 - 30. Which is smaller: 11 or o?
o
Let q be (2 - 33/15) + 4/(-5). Is q bigger than 6/13?
False
Let f = 4 + 0. Suppose -13 + 3 = 5*s, 28 = 4*c + f*s. Let y be 21/c - (-2)/(-6). Are 4/7 and y unequal?
True
Let x = -4 + 2. Let s = 4 + -7. Which is bigger: x or s?
x
Suppose 2*s + 4*f + 6 + 14 = 0, -s + 4*f - 34 = 0. Let z = s + 16. Which is smaller: z or -1?
z
Let j be 14*(2 - 3) + 1. Let d be (j/(-78))/(0 - 1). Is 0 at least d?
True
Let y be ((-18)/(-15))/(2/5). Let x = 3 - -1. Let q(k) = k**2 - 5*k + 2. Let a be q(x). Does y = a?
False
Let c = 13.9 - 13.8. Is c <= 24?
True
Let i = -34 - -33. Let b be 2/((-2)/(-2) - -1). Which is smaller: i or b?
i
Let c = 10 + -5. Let b be (-6)/(-4) + c/(-10). Which is greater: b or 2/13?
b
Suppose m = 4*w - 3, 0 = 3*w + w + 5*m - 33. Suppose -8*d - w*v = -3*d, -5*d - 4*v = 10. Is 3/5 equal to d?
False
Let k = 1.3 - 1.6. Which is bigger: k or -3/2?
k
Let s(p) = -3*p - 27. Let k be s(-9). Which is bigger: 12/19 or k?
12/19
Let i = 2 - 1. Let t be 26/8 - 5/20. Suppose g = -t*g - 4. Is i < g?
False
Let p = -0.4 - -0.2. Which is greater: -4 or p?
p
Let a be 4/(-3) + 690/18. Are 38 and a nonequal?
True
Let s = -48 + 44. Which is greater: s or 4?
4
Let s = -40 + 39. Is 2 != s?
True
Let w = -1/2839 + 5881/576317. Let x = w - 830/1827. Which is smaller: x or 1?
x
Let a be (-142)/12 - (-2)/(-3). Let s = 12 + a. Let g be -1 + 3 - (4 - 2). Which is smaller: g or s?
s
Let v = 1 + -4. Suppose 5*y - 6*y - g = 0, -7 = -5*y + 2*g. Is y at most as big as v?
False
Let b = 148 + -149. Which is smaller: -3/46 or b?
b
Let p = -23 + 22.7. Is p not equal to 0.1?
True
Let z = -2.8 - -1. Let a = z - -1.9. Which is bigger: a or 1/4?
1/4
Let l = 0.1 - 6.1. Let i = l + 5.7. Are i and -2/3 equal?
False
Suppose 20 = 5*v, -4*v = 2*a - 9*v + 14. Which is smaller: a or 0?
0
Let y = -45 - -6. Let o be (-4)/(-3)*y/(-52). Suppose -2*a - 2*a = 0. Which is greater: o or a?
o
Let c = 5 + -4. Let s(t) = -6*t**2 + 9*t - 4. Let o(i) = -i**2 + i. Let j(u) = 5*o(u) - s(u). Let n be j(3). Are n and c non-equal?
False
Let d(b) = -b**3 + 5*b**2 + 8*b - 7. Let p be d(6). Suppose -p*w + 4*c = -3*w - 6, 0 = w + 4*c - 3. Let o be -1 - 3/(3/(-4)). Is o at most as big as w?
True
Let b be 32/(-66) - 6/(-9). Let h = -1.2 - -1.1. Which is greater: b or h?
b
Let s be (5/(-10))/(2/(-4)). Which is smaller: s or 7/5?
s
Let i = 0.2 + -0.1. Let h be 2*((-4)/(-1))/36. Is h > i?
True
Suppose -2*f + 4 = 0, -9*l + 13*l - 5*f + 458 = 0. Which is smaller: l or -113?
-113
Suppose -a + 5 = q, -2*a + q - 1 - 4 = 0. Is -10/11 at least as big as a?
False
Let l(y) = y**3 - 6*y**2 - y + 5. Let m = 8 + -2. Let i be l(m). Let w be 1/(0 + 2 + 7). Is w smaller than i?
False
Let g be (-4)/15*10/1. Let h = g + 7/3. Which is smaller: h or 1?
h
Suppose -o + 35 = -4*x, -15 = -o - 2*x + x. Let p = o + -20. Which is smaller: p or -2?
-2
Let x = 1/210 + 17/840. Which is smaller: x or 1?
x
Let t(b) = 24*b**3 + b**2 - 1. Let s be t(1). Let g be 3*(s/9 + -3). Let o be (-91)/77 - 1*g. Are 1/4 and o unequal?
True
Let a be 2 + (6/(-27) - 2). Suppose -6 = 4*u + t, 5*u + t + 7 + 0 = 0. Which is greater: a or u?
a
Let f = 153 - 1527/10. Is f less than 1?
True
Let g be 2 - -1 - 2/1. Which is bigger: 10/17 or g?
g
Let r be (-14)/(-21) + 13/(-15). Is r < -0.02?
True
Let x be 0/(-3*(1 - 0)). Suppose x = t - 0*t. Which is smaller: 2/11 or t?
t
Let h(x) = -2*x - 6. Let g be h(-7). Suppose 0 = -4*u - 5*d + 29, -3*u =