t w = 1/2 - 5/6. Which is smaller: g or w?
g
Let v be 219/5 + 1/5. Let z be 6/(1 - v/(-12)). Which is greater: 2 or z?
2
Let h = -49351/10388 - -2/2597. Do -4 and h have different values?
True
Let m(l) = -l - 5. Let z be m(-4). Let n = 11.07 + -11. Let a = n - 1.07. Is z at least a?
True
Let d be 1/2*-2*-29. Let s = d - 50. Let m be (7/s)/(2/6). Which is smaller: 1/3 or m?
m
Suppose 3*y = -4*t, -5 = 6*t - 9*t - y. Suppose 2 + 1 = m. Is m at least as big as t?
True
Let k(i) = -i**2 + 8*i - 3. Let d be k(5). Let b be (d*4/56)/2. Let m = -1 + 0. Which is smaller: m or b?
m
Let q = 0 + -0.1. Let s = 7 - 18. Is s greater than q?
False
Let f(i) = -i**3 + i**2 + i + 2. Let n be f(2). Let g be (-6)/10 + 1 + n. Is 1 smaller than g?
False
Suppose 6*a - 9 = 3*a. Let y(s) = -3*s**3 + 5*s**3 - s**a + 6*s**2 - 6*s + 8. Let z be y(-7). Are -2/9 and z nonequal?
True
Let n = 8 + -14. Are -6 and n non-equal?
False
Let m = 0.4 - 0. Let h = m - 0.4. Let q = 7 + -5. Which is smaller: q or h?
h
Let s(u) = -u**3 - 8*u**2 - 9*u - 16. Let b be s(-7). Let p(j) be the first derivative of -j**3/3 - j**2 - 1. Let k be p(b). Is k bigger than -6/13?
True
Let k = 0.097 + -7.097. Let b = -3/11 + 31/33. Do b and k have the same value?
False
Suppose 0 = -6*g + 2*g - 2*f + 226, 3*f - 283 = -5*g. Is g < 56?
False
Suppose -3*s + 2*s = -4*d - 12, 2*s = 2*d. Suppose 3*n = -11 + 2. Let a be -3*-1*(n - -2). Is d at least a?
False
Let b(t) be the third derivative of -t**4/24 - 4*t**3/3 + t**2. Let l be b(-8). Which is smaller: l or -2/15?
-2/15
Let p = 0.18 + -0.38. Is -17 greater than or equal to p?
False
Let w = -1.47 + 1.5. Does -2/3 = w?
False
Suppose -6*a - 9 = -3. Let q be 15/17*(-262)/(-3). Let h = q - 77. Which is smaller: h or a?
a
Suppose 6 = -2*d - d. Let r be (-6)/(d/(-3) + 0). Let b = r + 9. Is 2/9 at least b?
True
Let x(o) = 2*o**2 - 2*o - 4. Let n be x(3). Suppose 4*s - 21 = -3*v, -n = -v - s - 1. Suppose v*g - 2*g = 0. Are g and 1 non-equal?
True
Suppose 3*v - 8*v = 10. Let m be v/(-4) - 1/6. Which is smaller: m or 2/9?
2/9
Let k = -3.031 - -0.031. Let j = 1.5 + -1. Which is smaller: j or k?
k
Let b be 9/(-3) - 25/(-9). Which is smaller: -1 or b?
-1
Let q(x) = x**2 - 7*x. Suppose 4*f - 50 = -0*l + 3*l, f - 16 = -l. Let z = f + -8. Let j be q(z). Is -6 smaller than j?
False
Let p be 2/24*135/18. Let r = 0 - -2. Is p at least r?
False
Let p = 7 - 2. Suppose 0 = -3*s + 3*a + 3, -4*s - 5 = p*a. Which is smaller: 1 or s?
s
Let w = -0.3 - -0.6. Let c = -0.7 + 0.8. Do c and w have different values?
True
Let a = -42 - -42. Which is greater: 14 or a?
14
Let d = 218 - 1530/7. Which is smaller: -1 or d?
-1
Let n be 10/(-55) + 62/(-22). Which is smaller: n or 1?
n
Suppose -2*v + 3*t - 8 = 0, -5*v - 2 = -3*t - 0. Which is greater: v or 21/8?
21/8
Let d = 3/2 + -17/10. Does d = 2?
False
Let c(r) = -5*r**2 + 2*r + 9. Let d(t) = t**2 - 1. Let w(s) = c(s) + 6*d(s). Let o be w(-3). Are 6 and o non-equal?
False
Suppose v = -w - 13, 2*v + 35 = -2*w - w. Let l be (5/(-30))/(10/w). Let c = l + 1/10. Is c < -1?
False
Let j(q) = -q**2 - 8. Let x be j(0). Let h(l) = l**2 + 8*l + 1. Let v be h(x). Is v greater than 0?
True
Let b = -7901/70 + 823/7. Let j = -11/2 + b. Is j less than or equal to -2?
False
Let y = -1 - 2. Let i = y - -2.5. Suppose -23 = -3*m + 5*v, 2*m + 3 - 17 = 3*v. Which is bigger: i or m?
m
Suppose 0 = -3*z + 4*y + 1, 5 = 4*z + 3*y + 37. Suppose -2*d + 3*d = -5. Is d bigger than z?
False
Suppose 0 = 6*p - p - 5. Which is smaller: p or 16/9?
p
Suppose -5*b = c - 648, 0*b - 3*c = -3*b + 378. Let j = b - 647/5. Let y = -2.8 - -3.1. Is j equal to y?
False
Let l = -2 + 6. Let f be (3/6)/(2/l). Let h = -379/5 - -76. Which is smaller: h or f?
h
Let w = 0 - 5. Let x = w + 5.1. Is 0.06 at most as big as x?
True
Let j(i) = 3*i**2 - 1. Let g be j(2). Suppose 2*z = -5*w + g, 4*z - 10 = -0*z + 2*w. Suppose -5*u + z = -2. Which is smaller: 2/5 or u?
2/5
Let u(w) = 15*w**2. Let s be u(1). Suppose 4*z - z = s. Are 4 and z equal?
False
Let u = -3 + 3. Which is smaller: 20 or u?
u
Suppose -2 = -4*w + 2*w. Is 3 != w?
True
Let k = -8 + 9. Let u(j) = -j**2 - 5*j + 2. Let v be u(-5). Let n be 9/(-4) + 0 + v. Is n < k?
True
Let u = -3 - -3. Let m = u + 3. Let l be 3*(-1 - (-5)/m). Is 2 greater than l?
False
Let b = -1 + 0.95. Let j = b + -0.15. Is -2/5 != j?
True
Let j be (-2)/3 - 52/12. Let u be j/2 - (1 - 3). Is 1 at least as big as u?
True
Let v = 44 + -43. Let b be (-2)/(-5)*5/(-7). Is v smaller than b?
False
Suppose -k = -2*k + 2. Let w = 3 + -1. Suppose r - 6 = -w*r. Is r not equal to k?
False
Let v = 6 + 1. Suppose -v*m = -6*m - 1. Do 4/11 and m have different values?
True
Let y = 0.083 - -0.017. Which is greater: y or -58?
y
Let l = -1.6 + 1.5. Which is bigger: l or -4/5?
l
Let a be (3 - (-18)/(-8))*2*2. Is a at least as big as 18/11?
True
Suppose z + z - 3*d - 1 = 0, -5*z = -d + 4. Let j be (1 - 0) + 0/z. Which is greater: 2/7 or j?
j
Let u = 0.28 + -0.3. Let a = -36 - -33.98. Let x = a - u. Which is bigger: x or 0.1?
0.1
Let l = -13.9 + -0.1. Which is smaller: -1 or l?
l
Let y = 10 - -1. Let f = y - 9. Let s be (1 - f)*(-2 + 3). Is 0 >= s?
True
Let n be 0 + 5 + -2 + 2. Suppose -n*l - 5*s + 3*s = -51, 4*l + 3*s = 45. Suppose -l - 3 = -4*h + 2*b, 4*b + 12 = -4*h. Is h at most as big as 2/13?
False
Suppose -12*p = -14*p + 8. Is 4 bigger than p?
False
Let p be (2/(-14))/((-3)/(-9)). Let w = 3 + -3. Which is bigger: p or w?
w
Let g(r) = -r**3 + 5*r**2 - 6*r + 1. Let j be g(5). Which is smaller: -28 or j?
j
Let x(y) = -y**2 - 4*y + 14. Let i be x(-6). Suppose i*n + 1 = 3. Which is smaller: 2/7 or n?
2/7
Suppose -4*x = -x + 2*n - 25, 3*x = 2*n + 17. Is x < 7?
False
Suppose -6*b - 14 + 80 = 0. Which is smaller: 8 or b?
8
Suppose 0 = 2*g + 23 + 7. Suppose -66*w - 620 = 304. Which is greater: w or g?
w
Suppose 4*y - 172 = -5*m - 31, 3*y + 3*m = 105. Which is smaller: y or -1?
-1
Let t = -0.2 - -0.2. Let i = 13 - -2. Let d be 0 + -2 - i/(-6). Is t < d?
True
Let k = 29 - -125. Suppose 5*n + 485 = -5*l, 4*n + 5*l + 239 = -k. Let z be 8/44 + n/22. Which is smaller: -3 or z?
z
Let o = -7 - -7.01. Let a = o - 0.01. Are a and 0 equal?
True
Suppose -2*g + 2 + 0 = 0. Let x be (-152)/434 + (-14)/(-49). Which is bigger: g or x?
g
Let c(t) = -t**3 - 4*t**2 - 3. Let a be c(-4). Let p be (a/6)/(6/(-8)). Is p not equal to 0?
True
Let i be (94/(-440))/(-1) - (-14)/(-56). Is 0 at most as big as i?
False
Let l(g) = -g**2 - 2*g + 1. Suppose -5*p - 4 - 11 = 0. Let d be l(p). Suppose -3*x - 11 = -4*v, 0*x + 2*x - 2*v = -6. Which is smaller: x or d?
d
Let f(c) = c**3 + 4*c**2 + 4*c + 4. Let y be f(-3). Let q = 0.1 + -2.1. Let b = q + 4. Is b less than y?
False
Let y be (6 - 10)*(-1 - 0). Let f be (0 - -6)*y/(-6). Let m(g) = g**3 - 4*g**2 + g + 2. Let b be m(3). Is f less than b?
False
Let x = 12.7 + -12. Let s = x - 0.9. Let n = 187/3 - 63. Is s greater than or equal to n?
True
Let b be 1*2/(2/(-9)). Let j = 10 + b. Are j and -1 equal?
False
Let j be -2 - (-1 + -2 + 1). Suppose j*a - 1 = a. Which is bigger: a or -2?
a
Let a = -5 - -7. Let c be a - (-18)/(-17)*2. Let s be (2/(-6))/(3/9). Which is smaller: s or c?
s
Let x = 15.2 + -1.2. Let t = 14.3 - x. Is 0 bigger than t?
False
Let s(w) = w**2 + 9*w + 3. Let i be s(-9). Let f be (-45)/(-6)*i/(-15). Is 2/7 at least f?
True
Let x be 1 + 2/(-2 + 3). Suppose 0 = x*d + 3 - 12. Let h be ((-4)/(-6))/(2/d). Which is smaller: 2/5 or h?
2/5
Suppose 5*l + 4 = 9*l. Is l < 1?
False
Suppose r - 25 = -4. Are 20 and r unequal?
True
Let z be (5 - (-318)/(-63))*2. Are z and -1 equal?
False
Let o be (5/3 - 1)*-9. Suppose x - 2*f - 7 = 0, 4 = -5*x + 4*f - 7*f. Let y be -1*x*8 + 1. Is o equal to y?
False
Let t = -818 + 5735/7. Which is smaller: t or 1?
1
Suppose 15 = 7*q - 2*q. Let k = 9 - q. Suppose -k = -c - 2*c. Which is greater: c or 5/3?
c
Let r = 9 - 8. Are -1/21 and r unequal?
True
Suppose -2*l - l - 3*k = 0, 0 = -2*l + 5*k + 35. Suppose -3*b + 16 = b + 4*z, z = -2*b + 7. Which is smaller: b or l?
b
Let j = -26 - -26. Let q = -3 + 4. Suppose 3*n - q = -4. Which is smaller: n or j?
n
Let k = 884/1661 - -2/151. Is k at least -0.07?
True
Let q be ((-1)/32)/((-5)/150) + -1. Are q and 2 equal?
False
Suppose 6*j - 105 + 21 = 0. Which is smaller: 15 or j?
j
Let z be 11 + 1*(-3 - -2). Is 