
True
Let s be (-26)/(-4) - (-7)/(-14). Suppose a + 10 = s*a. Suppose -10 + 0 = a*u. Which is smaller: -6 or u?
-6
Let y be 5/(-15) + (-20)/(-6). Suppose y*u = 7*u - 4. Let q(v) = v**2 - 3*v + 1. Let m be q(2). Which is smaller: m or u?
m
Let x(t) = -t**2 + 7*t. Let g be x(7). Let b(w) = -w - 12. Let q be b(-9). Let i = q + 2. Do i and g have different values?
True
Let w = -16 + 16. Are w and 1/6 equal?
False
Let p = 0 + 1. Let x(c) = c. Let f be x(p). Is f >= 2?
False
Let i = 8.81 - 9. Let t = 3.81 - i. Let l = -0.1 + 0.1. Which is smaller: l or t?
l
Let w = 0.2 - 0.2. Let r = 4 - w. Let g = r - 6. Do 0.1 and g have the same value?
False
Suppose 2*t = 6*x - x - 4, 4*x + 2*t = -4. Which is smaller: x or 1/19?
x
Suppose 3*a = -u - 7, -22 = -2*a + 4*u - 8. Let b be 13/(13/18) - 4. Let d = b - 29/2. Which is smaller: a or d?
a
Let h(x) = -6*x - 1. Let o be h(-2). Let c = o - 15. Are -3 and c unequal?
True
Let p = 3 + -20. Let j = p - -18. Is j greater than 4?
False
Let t(w) = -2*w**3 + w. Let o be t(-1). Which is smaller: -2/7 or o?
-2/7
Let p be 3/((-3)/2)*-1. Let z be 2*((-3)/(-2))/3. Is p at least as big as z?
True
Let f = -276/403 - -11/13. Is f > 1?
False
Let a be 1 - (2*6 + 1). Let x be 2/7 + a/(-7). Suppose -x*c + 0*c = -6. Which is smaller: c or 2?
2
Let k = 9 - 46. Let v = k - -110/3. Is 8 <= v?
False
Let t(i) = i**2 - 13*i - 6. Let y be t(10). Which is greater: y or -33?
-33
Let y = -2.795 - 0.225. Let m = -0.02 - y. Let u = 3 - m. Is u smaller than 1/2?
True
Let y = 66 - 67. Which is greater: y or -2/119?
-2/119
Suppose -2*g + 40 = 2*g. Which is greater: 11 or g?
11
Let s = 7 + -11. Let z = s - -6. Let d be (7 + -1 - z)/2. Is 1 greater than or equal to d?
False
Let d = -22.2 + 3.2. Let w = 13 + d. Let q = 6.3 + w. Is 0.1 bigger than q?
False
Suppose z - g - 3 = g, 0 = z + g + 3. Is z not equal to 0?
True
Let f = -35 - -35. Let b = 241 - 6265/26. Is b > f?
True
Let v(h) = h**2 + 7*h + 3. Let w be v(-7). Suppose -3*d - 5 - 7 = -a, w*a = d + 12. Which is smaller: a or 4?
a
Let m = -5/8 - 1/8. Let g be (2/3)/((-22)/(-33)). Let o be 3 - (0 + 2 + g). Is m less than o?
True
Let y be (15/60)/((-2)/16). Do -11/4 and y have the same value?
False
Let s = -232 - -3478/15. Is -1 greater than s?
False
Suppose 18 = -2*n - 5*s + 3, -s - 3 = 3*n. Is n > 1/114?
False
Let v = -11 - -8. Which is bigger: v or 2?
2
Suppose -4 = -r - 3*w, 2*r - 2*w + 5 = 29. Suppose -2*o = -7*o + r, 3*s - 3*o - 126 = 0. Let c = -263/6 + s. Do c and 0 have the same value?
False
Let r be 1*0/(5/5). Which is greater: 0.06 or r?
0.06
Let p(g) = 7*g**2 - 6*g - 7. Let u be p(11). Let h be 136/u + 10/(-45). Is 1 less than h?
False
Let i be 250/234 + 4 + -5. Let b = i + 2/13. Let w(q) = -q**3 + 6*q**2 - 4*q - 4. Let x be w(5). Is b bigger than x?
False
Suppose -8 = -4*u - 5*q, -2*q + 1 + 1 = 2*u. Let b be 2/3*(u + 0). Suppose v + 5 = -j + 1, -v + 3*j = -12. Which is bigger: b or v?
v
Let g = 6266867 - 1861257172/297. Let h = g - 87/11. Which is bigger: h or 1?
1
Let y be 2/8 - (5/4 + -1). Which is smaller: -4/77 or y?
-4/77
Let s(k) = -k**2 + 2*k + 2. Suppose 0 = 2*t - 3*q - 6, 0 = 5*t - q - 6 - 9. Let i be s(t). Let j be i*(-3)/(-18)*4. Are 1 and j equal?
False
Suppose 0*j + 2*j - 24 = -4*l, -5*l + 5*j = -15. Suppose 24 = 5*d - 1. Is l at most d?
True
Let b = 0 + -0.2. Let d = 0.4 - 0.1. Let s = d + -0.5. Is s not equal to b?
False
Let u(x) be the third derivative of x**4/24 - x**3/6 + x**2. Let d be u(0). Let q be 1 + 2 + 39/(-12). Which is bigger: d or q?
q
Let l = -0.68 - 0.02. Let w = 0.6 + l. Which is smaller: w or -4/13?
-4/13
Let y(r) = r**2 + 4*r - 3. Let k be y(-5). Suppose -8 = 3*c + 5*j, -2*j + 3*j + k = -c. Let b = c - -1. Is 0 less than or equal to b?
True
Suppose -23 = -5*p + 7. Is p greater than 6?
False
Suppose 6*u = 2*u. Does 2/49 = u?
False
Let k be (-3)/(-4) - (-2)/(-8). Which is smaller: k or 2/7?
2/7
Let t = -4 - -3. Let s = -6 - -6. Is s bigger than t?
True
Let t = -1.57 + -0.43. Which is bigger: 18 or t?
18
Let j = 1.545 + -1.56. Is j at most 1?
True
Let p = 44/3 - 14. Let n = 4 + -6. Let r be (-2)/6 + n/3. Which is greater: p or r?
p
Let y = -81 + 82. Which is bigger: y or -8/23?
y
Suppose -5*s + 23 = 4*d, 2*d = 2*s + 7 - 27. Let j = s + -11. Is -4 at most j?
True
Let i be ((-15)/30)/(42/4). Does 0 = i?
False
Let o(k) = 5*k**2 - 8*k - 10. Let v(t) = 4*t**2 - 8*t - 9. Let a(m) = 5*o(m) - 6*v(m). Let s be a(-8). Which is bigger: 1 or s?
s
Let q be ((-132)/15)/(5/150). Let f = 2637/10 + q. Is 0 equal to f?
False
Let o be (-2*(-2)/(-4) - -55) + -2. Which is greater: o or 53?
53
Suppose 0 = -8*l - l + 9. Which is smaller: l or 4/111?
4/111
Let h = -3 - -2. Let s be -2 - -1 - (0 - h). Let d be s/3*9/(-24). Which is smaller: 1 or d?
d
Suppose -6*s + 10 = -11*s. Which is smaller: -11/5 or s?
-11/5
Let a(s) = 3*s**2 - 26*s - 8. Let w be a(9). Let n = 17/26 + -2/13. Which is smaller: w or n?
n
Let a(c) = -2*c - 7. Let n be a(-5). Let b be (n + -3)/(1/(-1)). Suppose 3*f + 5 + b = p, -4*p = 4*f + 28. Which is bigger: 0 or f?
0
Let m = -236 - -209.1. Let z = m - -25. Let p = -0.1 + z. Which is smaller: -0.1 or p?
p
Suppose 3*q - 7 - 11 = 0. Suppose 0 = -3*y + q - 3. Let f be (2 + (-24)/9)*y. Is -2 > f?
False
Let n be (-21 - -23) + 42/(-23). Is n > 1?
False
Let y be (-5)/((-10)/(-3)) - -1. Is y smaller than -0.2?
True
Let a = 95/3 + -31. Let b = 23/4 + -6. Is a <= b?
False
Let f = -0.3 + 0.3. Let y = f - -0.2. Let q = -106/5 + 21. Which is smaller: y or q?
q
Let x(l) = 2*l**3 + 2*l**2 - 3*l - 2. Let d be x(-2). Let o be 1/(d - 180/(-44)). Is 1 greater than or equal to o?
False
Let g be 3*3*5/(-90). Is g at least -0.076?
False
Suppose f + 1 = -12. Let i = f - -14. Is i not equal to 2/11?
True
Suppose h = m - 5*m + 31, 3*m + h = 23. Are 0 and m non-equal?
True
Let n = -1 + -11. Which is smaller: 1 or n?
n
Suppose -x - 7 = -4*y, -5*x = 3*y - 0 + 12. Let u = -284965/12 + 23691. Let s = u + 56. Which is smaller: y or s?
s
Suppose -5*j - 4*l - 10 = 0, 5*l + 4 = -2*j + 2*l. Let c be (-2)/((-3)/(2/j)). Which is greater: c or 3?
3
Let s = 817/9 + -91. Suppose 3*c - 3*m = -2*c - 6, 2*c = -2*m + 4. Which is greater: c or s?
c
Suppose 0 = -2*z + 56 - 20. Let l = -24 + z. Is -6 bigger than l?
False
Let s = 7 + 5. Let k = s + -18. Let c = 5 + k. Is c != 3?
True
Let z(s) = -s**2 + 9*s + 10. Let o be z(10). Let u(f) = -f + 8. Let l be u(-8). Let g be l/154 + 4/(-14). Is o at most g?
False
Let a = -4 - 0. Suppose -52 = 3*f + 10*f. Is a <= f?
True
Let q = -0.059 - 19.941. Which is smaller: q or 1?
q
Suppose 0 = -t - 3*u + 4, -2*t + 0*u + 23 = u. Suppose 0 = 5*q - t + 73. Is q smaller than -12?
False
Let c = 4.1 - 3. Let m = c + -1. Which is smaller: m or 0.4?
m
Let p = -4 + 5. Suppose 4*d - 13 = -p. Let i = 4 - d. Is 1 > i?
False
Let r = 3.97 + 0.03. Let j = 9 - r. Is j less than 0.2?
False
Let c = 17 - 21. Is -4 at least c?
True
Let z be (-10)/(-8)*(-9 - -5). Is -7 greater than z?
False
Let i(q) = -q**2 - 7*q - 2. Let k be i(-6). Suppose 0 = -k*a + 29 + 35. Let b be (-5)/(-4) - (-12)/a. Is 6/11 smaller than b?
True
Let d(k) = -k**2 - 5*k - 1. Let y(f) = -3*f - 1. Let o be y(1). Let r be d(o). Let c(v) = -v - 4. Let l be c(-6). Which is smaller: l or r?
l
Let r(q) = -q**2 + 16*q - 13. Let f be r(15). Which is smaller: f or 3?
f
Let w be (8/(-16))/(1 - 0). Suppose -4*x + 0*x = -d - 3, d - 3 = x. Suppose 3 + x = -5*n. Is w less than n?
False
Let k = 0.8 - -2.2. Is -2/7 bigger than k?
False
Let l = -25 - -17. Let x = 6.9 + l. Let b = x - -1. Which is smaller: 2/11 or b?
b
Let p = 3 - 6. Let k = p + 2.9. Which is smaller: k or 2?
k
Suppose 6*i - 18 = -0. Let t = 5 + -2. Let x be (-13)/(-3) - t/9. Which is smaller: x or i?
i
Let q = 0.3 - 0.1. Let s(f) = -f + 9. Let g be s(4). Let d = g + -2. Is d at least as big as q?
True
Let o be (-3 + 5/35)*(-14)/2. Is o > 22?
False
Suppose -t = -4*f - 5, t = 3*f - 6*f + 5. Which is greater: 5 or f?
5
Let y(x) = -3*x - 26. Let u be y(-5). Which is greater: 0 or u?
0
Let f(v) = -9*v**2 + 2*v**2 + 4*v + 8*v**2. Let i be f(-4). Is i < 1/3?
True
Let j = -15.52 - 0.48. Which is bigger: j or -2?
-2
Let c be 1/(-3)*15/(-5). Is 2/5 less than or equal to c?
True
Let k = -4 - -3. Let c be (-28)/95 - 2/10*-2. Which is greater: k or c?
c
Let k = 8/17 - 58/51. Whic