t t be v(-5). Suppose 0 = b - 4 + 1. Which is smaller: t or b?
t
Let p = 28 + -31. Which is smaller: p or 1/2?
p
Let z be 0 + (2/(-4) - 0). Let i = 413/18 + -220/9. Is i not equal to z?
True
Let r be -2 + 4 + -1 + 1. Let j be (r/(-4))/((-3)/(-18)). Let h = 11 - 15. Which is bigger: j or h?
j
Let l = 12 - 13. Let x be 2/(-5) - (-55)/75. Do l and x have the same value?
False
Let r be 1/(-4) - (-74)/8. Let v = -349 + 358. Is r smaller than v?
False
Let m be 8/(-12) - (-8)/3. Suppose 5 = -5*d, -o - m*d + 3*d = 0. Is o greater than -1?
False
Let q = 0.97 + 0.03. Is -0.08 at most as big as q?
True
Suppose d = -d. Suppose 5*n + 4*b = -3 + 32, 3*b = 3*n - 39. Let v be (2/27)/(6/n). Which is bigger: v or d?
v
Let z = 18 - 37.6. Let l = z + 22. Let u = -0.4 + l. Do u and -0.1 have the same value?
False
Let c = 2.4 - 0.4. Let x = 0.8 - -1.2. Are x and c equal?
True
Let p = 23 - 23. Which is greater: p or -2/103?
p
Let z = -98 + 105. Let y be (-1)/3*(-2 - -5). Are z and y equal?
False
Let i be 18/(-12) - 1*(-33)/6. Do 7 and i have different values?
True
Let j = 0.07 + -4.07. Let d = 3.9 + j. Suppose -9*m = -14*m. Is m greater than or equal to d?
True
Let d = 0 - 2. Let v = 64 - 64. Which is smaller: d or v?
d
Suppose -20 = -3*q - 4*i, 3*q + 0*i = -5*i + 25. Suppose z - 3*z - x - 2 = q, -2*z - 5*x - 10 = 0. Which is bigger: z or -1/6?
z
Suppose 4 = -2*y - 0. Is y bigger than -6/7?
False
Let b be (-22)/(-10) + (-2)/10. Let t = 6 + -5. Let y be t*b - (-4 + 6). Which is greater: 1/9 or y?
1/9
Let z be (-24)/18*3/42. Which is bigger: 0 or z?
0
Let m = -3 - -2. Suppose -3*n + 6 = 4*f, 8 = 4*n - f - 3*f. Suppose n = x - 2*x. Which is bigger: m or x?
m
Let z be (-5 - (-5 - -2)) + 2 + -1. Let h = 6/7 + -44/35. Is z equal to h?
False
Let a(d) = 5*d. Let q(m) = -3*m. Let b(x) = -5*a(x) - 8*q(x). Let h be b(-1). Let p = 6 - 4. Which is smaller: h or p?
h
Let n(u) = -u**2 + 24*u - 46. Let x be n(2). Let h be 1 - (1/(-1) + 0). Let j be (-1)/(0 + h)*8. Which is smaller: j or x?
j
Suppose -a = -b + 2*b + 7, 20 = -4*a - 2*b. Let g be ((-26)/a)/(10/(-63)). Let j = 55 + g. Which is greater: 1 or j?
1
Suppose 2*a - 14 = -3*h - 71, -a - 33 = -3*h. Is -29 > a?
True
Let j be 4/(-14) - 26/7. Let b be (26 - j)*(-1)/(-1). Let c = b + -57/2. Which is smaller: c or 2?
c
Let j = 3 - 6. Let k = -2 - j. Let g be k + (-6)/(-1 + 4). Which is bigger: g or 1/3?
1/3
Let l = 6/679 - -14229/3395. Which is smaller: 5 or l?
l
Let a be ((-323)/6)/(-1)*2. Let l = -106 + a. Is l greater than 1?
True
Let i = -18.8 - -19. Which is smaller: 1/3 or i?
i
Let x be -1 + 0 - (-4 - 32)/(-6). Suppose -4*b = 12, -5*g - 3*b - 12 = 27. Is x less than g?
True
Let x(i) = -i**2 - 6*i - 4. Let m be x(-3). Suppose -b = -m*b. Let n = -2 - b. Is -2/3 greater than n?
True
Let n = -31/3 + 10. Let y = -3 + 2.8. Which is bigger: n or y?
y
Let z be ((-2)/5 + 1)/((-108)/(-40)). Let m(k) = -2*k**3 + 2*k - 1. Let r be m(1). Which is greater: z or r?
z
Let r be (-2 - (-5 + 1))*3. Is r at least 6?
True
Let p = 10 + -6. Let m = 2 - 1.94. Let d = m - 0.06. Which is greater: d or p?
p
Let s be 32/(-40) - (-2)/(-10). Let k be s + 0/(1/(-1)). Which is smaller: k or 0?
k
Let c = 10 - 6. Suppose 4*r - 5*v - 139 = 0, 0*r = -r - 4*v + 19. Suppose -5*k = -3*w - r, -5*k + 27 = c*w - 5*w. Is w < -1?
True
Suppose 0 = -4*c + 12, -3*v + 0*c - 4*c + 12 = 0. Let x be (v - -3)*-1 + 1. Which is greater: x or -3?
x
Let b = 35 + -35.2. Which is bigger: 2/7 or b?
2/7
Let l(t) be the first derivative of -t**4 + t**2 + t + 1. Let b be l(-1). Suppose -b*u + 13 = -4*j, 3*u - 12 = 4*j - j. Which is smaller: -2/11 or j?
j
Suppose 5*b - b = -16. Let u(x) = -x**3 - x**2 + x. Let k(w) = 5*w**3 + 8*w**2 - 3*w + 5. Let i(v) = k(v) + 4*u(v). Let d be i(b). Is 0 at most d?
True
Suppose 4*f - y + 13 = -2*y, -y - 5 = 0. Let i be (35/112)/(f/8). Which is greater: -2 or i?
i
Let g be (-20)/18 - (-14)/126. Suppose 3*l + 68 + 10 = 0. Let k = 53/2 + l. Are k and g nonequal?
True
Let z = 0.1 - -0.1. Let m = 5.2 - -2.8. Is m smaller than z?
False
Let g(b) = 5*b**2 - b + b**2 - 2*b**2 - 6 - 5*b + b**3. Let s be g(-5). Is s greater than -2/21?
False
Let n be 4/6 - (-24)/(-9). Let k be -4 - 1 - (-8 - -4). Which is bigger: n or k?
k
Let n(x) = -x**3 - x**2 + 5*x - 3. Let q be n(3). Suppose 0*z = -z + 3. Let r be z/q + 0 - 0. Which is greater: 0 or r?
0
Suppose -3*c + 7*d - 3*d = 11, -c - 9 = -4*d. Suppose 0*l + l = 3*h - 15, 2*l = 6. Suppose -r = -5*x - 3, -3*r + 5*r + 2*x = -h. Is c at least as big as r?
True
Let w be 62/(-12) - 7/(-3*14). Is w at least -54/13?
False
Suppose -w = -j + 5, 6*w + 6 = -3*j + 2*w. Let d = 3 + j. Suppose -d*l + 10 = -0*l. Which is greater: 3 or l?
3
Let j(b) = -b**2 + b**2 - 2*b + 4 + 4*b**2. Let p(g) = -7*g**2 + 4*g - 7. Let w(o) = -10*j(o) - 6*p(o). Let h be w(2). Is 0.2 bigger than h?
False
Suppose 6*i - 7*i = 0. Which is bigger: -6/43 or i?
i
Let v(h) = h**2 + 3*h + 2. Let m be v(-3). Suppose -m*p + 34 = p - 2*t, 2*t = -4*p + 50. Suppose q - 3*k = -2*q - 6, -3*k = 3*q + p. Is -2 > q?
True
Suppose 0 = -4*s + 3 + 1. Suppose -b + s = -0*b. Let a be 0/(-1) - (-2)/(-5). Is b greater than a?
True
Let t = -36 - -39.3. Let w = -4.6 + t. Let x = w - -0.3. Which is smaller: -0.02 or x?
x
Let a = 0.11 + -0.01. Which is smaller: -13 or a?
-13
Let n = 132 + -126. Is 20/3 equal to n?
False
Let f = -7 + 7. Suppose f*q + 3*q = -3. Let h = 0.2 + -0.3. Which is bigger: h or q?
h
Suppose -3*s - 2*s = -30. Let v be (-15)/s + (-2)/(-4). Are v and -3/4 equal?
False
Let y be (4/(-6))/((-2)/(-15)). Let c be 2/y*(-30)/(-2). Let l = c - -4. Is l != -2?
False
Let h = -3 - -1. Let t be -3 + (-1)/18*-3*20. Which is greater: t or h?
t
Let q = 133 - 71. Which is greater: -1 or q?
q
Let n(l) = l**2 - 8*l + 8. Let w(r) = r**3 + 8*r**2 - 11*r - 11. Let a = -22 - -13. Let c be w(a). Let z be n(c). Is z < 2/29?
False
Suppose -4 + 0 = 4*w. Let b be 2/15 + w/(-5). Are -3 and b equal?
False
Suppose 3*k - 10 = 8. Suppose -a = -k*a. Do -1 and a have the same value?
False
Let s be (-6)/(-10) + (-216)/10. Let y be (-30)/7 + (-6)/s. Is -4 at least as big as y?
True
Let k(n) = -n + 1. Let g be k(1). Which is smaller: -6/25 or g?
-6/25
Let o = -21 + 22. Let d = -3 + 2. Let b = d - -1. Is b greater than o?
False
Let t = -613 - -4897/8. Let x = 463493/40 - 11588. Let c = t - x. Are -1 and c equal?
False
Let z = -16/11 - -68/77. Which is greater: -2 or z?
z
Let c be 1*3/(-6)*-6. Suppose -c*o = 4*r - 41, 5*o - 3*r - 65 = -16. Which is greater: -1 or o?
o
Let g = 14/85 + 4/17. Let r be (-2)/18 + (-312)/351. Which is smaller: g or r?
r
Let s be 27/7 - (-24)/(-8). Which is greater: 2 or s?
2
Suppose 28 = -20*f + 24*f. Which is smaller: f or 0.06?
0.06
Let z = 22 + -19. Let w be (-30)/(-8) + (-3)/(-12). Which is bigger: w or z?
w
Let n = 0.07 - 2.07. Which is smaller: n or -8/3?
-8/3
Let s be (2/(-3))/((-10)/15). Is 1/2 greater than s?
False
Let s be (-2)/(-6) + (-1 - -2)*-1. Which is bigger: s or -6.3?
s
Let n = 126188/45 - 2804. Let s = n - 2/5. Which is smaller: -1 or s?
-1
Let b = -0.013 + -0.067. Is b > 0.1?
False
Let o be 2/4 + 7/(98/21). Let p be (-2)/10 - 148/(-10). Let g = -491/35 + p. Which is bigger: g or o?
o
Suppose 0 = d + 2*d - 210. Suppose -4*h - h - d = 0. Let w be (-1 + 2)*h/2. Is -6 not equal to w?
True
Let f = -2 - -2.1. Suppose 0 = -2*u - 3 + 11. Suppose -h + u*v - 14 = 0, 3*v - 5 = 3*h + 10. Which is smaller: h or f?
h
Let f(m) = m**3 + 5*m**2 - 7*m - 6. Let l be f(-6). Suppose 26 - 8 = 3*c. Let w(u) = -u**2 + 6*u + 1. Let j be w(c). Which is smaller: j or l?
l
Let c be (-3)/2 - 3*(-1)/2. Is c < 7/10?
True
Let t be (-4)/2 + 36/16. Let m = -8 - -5. Which is bigger: m or t?
t
Suppose -4*b + 7 = 27. Let d be 44/(-10) - 2/(-5). Which is smaller: d or b?
b
Let q = 20 + -19. Which is smaller: -31/5 or q?
-31/5
Let q be 50/42 + 15 + -16. Which is greater: -1 or q?
q
Let m(q) = q. Let h be m(-1). Suppose -15 = -5*i, 2*s - 51 = -2*s + 3*i. Let x be s/10 + (-2)/4. Which is smaller: h or x?
h
Let c = 15.2 + -16. Is c less than or equal to 0?
True
Suppose 5*d + 20 = -0*d. Let q be d/(-10) - (-76)/10. Suppose -4*y + q = 0, y = p + 5*y - 11. Which is smaller: p or 1?
1
Let v be 4/(-2) - -3 - -17. Let b be (-2)/v + (-2)/(-6). Is b at least as big as -1?
True
Let a be -2 - (108/57)/(