 Let n = f + v. Which is smaller: -0.07 or n?
n
Let f(c) = -c**2 + 40*c + 310. Let d be f(46). Which is smaller: d or 17?
17
Suppose 4*t - 32 = 8*t. Let u be 2 + t/(-6)*-3. Let p be 0 - (u - -2 - -2). Is -1 at most as big as p?
False
Let l be -1 - 6 - (-3 + 0). Let o be 4 + l/((-20)/(-23)). Is 3 less than or equal to o?
False
Let l = -4 + -8. Let v(h) = h**2 - 3*h - 6. Let q be v(5). Suppose 0 = p - 0*p + 4*i + 4, q = -4*p - 4*i. Is l less than or equal to p?
True
Let t be 6/(-2)*(-25)/15. Suppose 36 = 2*m + 3*v - v, t*v = -3*m + 60. Let g = 17 - m. Which is smaller: 4 or g?
g
Let l(s) = s**2 + 2*s + 6. Let h be l(0). Suppose -h*q = -10*q + 16. Suppose -3*g + q*i - 8 = 0, -g - 3*i = -0*g - 6. Is g greater than 0?
False
Let q = -7670/37101 + 32/149. Which is smaller: q or 0?
0
Let i = 25 + -57. Let a = -25 - i. Suppose 0 = a*z + 7 - 0. Which is smaller: z or 0?
z
Suppose 2*n + 5*t = 10, t - 2 = -3*n - 0*t. Let v be n*(3 + (2 - 4)). Let k be 1*(1 - (-80)/(-78)). Which is smaller: v or k?
k
Let d = -32 + 29. Let s = -105 - -91. Is s not equal to d?
True
Let q be (547568/(-4893))/16 + (7 - 0). Which is smaller: q or 0?
0
Let h(x) = 5*x. Let k be h(1). Suppose -5*a = 2*r - 37, -5*a + 4*a + 35 = k*r. Let j = 26 + -19. Which is smaller: j or r?
r
Let z = 4.91 + 0.09. Let m = z + -5. Let k = 4/43 + -59/172. Is k equal to m?
False
Let z = 1 - 0. Let t be (-161)/273 + (2 - (-12)/(-9)). Which is smaller: t or z?
t
Suppose 4*s - 35 = -5*r, -1 = 4*r - 4*s + 7. Suppose x + 18 = -r*a + 8*a, 4*x - 2*a = 0. Let c be 3 + 0 + x - -4. Which is smaller: c or 11?
c
Suppose -52*m - 19*m - 19099 = 0. Is m greater than -271?
True
Let z = 3521/2813 + -36/29. Let k = -167/2619 - z. Let h(g) = g**3 + 2*g**2 + 9*g + 1. Let l be h(0). Is k greater than l?
False
Let w = -20 + -73/5. Which is smaller: -36 or w?
-36
Suppose -g = 2*p + 4*g + 7, -5*p + 14 = 2*g. Suppose 2*n = -o + p*n - 5, -4*o + 1 = -n. Which is smaller: 17 or o?
o
Let u be ((-12)/144 + (-137)/(-6))*4. Which is smaller: 14 or u?
14
Suppose -2*b = -2*k + 20, -2*b - 22 = -26. Which is smaller: 95/9 or k?
95/9
Let m = -0.4 - -5.4. Let l = 35.5 + -37. Let g = l + 1.6. Is m bigger than g?
True
Suppose -8*m = -368 + 1248. Let f = m - -105. Let d(y) = y - 12. Let x be d(5). Is f less than x?
False
Let y(g) = -g**3 - 5*g**2 - 5*g - 14. Let i be y(-6). Is i not equal to 51?
True
Suppose 3*j + 0*j + 6 = 0. Let x be 1*0/j*1. Let g be (0 - 4/(-8)*2) + -1. Is x less than or equal to g?
True
Let x be (-18)/(-4) + (-3)/6. Let m = 8 - x. Suppose -m*u - 2 = -6. Which is smaller: u or -4/19?
-4/19
Let b(j) = j - 6. Let p(g) = 2*g + 14. Let x be p(-7). Suppose -3*n = -x*n - 21. Let f be b(n). Which is smaller: 4/19 or f?
4/19
Let w = 21.3 + -19. Let z = -2.4 + w. Let x be ((-10)/3)/(3/18). Which is smaller: x or z?
x
Let z be (3 - (-11)/(-3))*-3. Let a be 2 + (z + -2)/(-3). Suppose 0 = -y - a*y + 3. Do 3/5 and y have different values?
True
Let q = 8 + -5.5. Let c = -15.5 - q. Let d = 17.94 + c. Which is greater: -2/3 or d?
d
Suppose -2*a = 3*a - 45. Suppose -18 - 2 = 4*l. Let x be 16 + (l - -1) - 4. Is x greater than a?
False
Let x = -200 + 156. Are x and -43 equal?
False
Let u = -25/4 - -6. Let b(a) = 4*a. Let z be b(-1). Let o be (-3 - 14/z)*-2. Which is smaller: u or o?
o
Let h = -13.71 - -14. Let d = h + -0.19. Is d < -6?
False
Let u = -53/7 + 51/7. Let b = -57 + 105. Let d = b - 95/2. Which is greater: d or u?
d
Suppose -2*z = -z + 2*i - 9, -3*z + 3*i = -18. Suppose -z*m = -11*m - 24. Which is greater: m or 1?
1
Let s(o) = 3*o**2 + 13*o - 30. Let g be s(4). Let d be 16/(-20) + g/25. Is 2 at most as big as d?
True
Let s = -1527 + 96203/63. Which is smaller: s or 1?
s
Suppose 49 = 4*l - 39. Suppose 0*x = 9*x - 189. Which is greater: x or l?
l
Let i = 82 - 78.3. Let t = 3.61 - i. Let u(c) = -c**2 - 2*c - 1. Let g be u(-2). Are g and t non-equal?
True
Suppose -6*x - 1297 = -1303. Which is smaller: 177 or x?
x
Let y be (140/168)/(20/6). Which is bigger: 156 or y?
156
Let j = 27 - 23. Are j and -1 unequal?
True
Let j be (-24)/(-30)*15/6. Suppose -4*r + 0*r = 16, -j*s + 44 = 2*r. Is 24 smaller than s?
True
Let b = -695/99 + 64/9. Let y be (-3)/6*4 - 15/(-5). Which is bigger: y or b?
y
Suppose 0 = -10*x + 666 - 576. Which is smaller: x or -5/3?
-5/3
Let q(r) = r**2 - 4*r - 6. Let u be q(-10). Let a be (u + -20)/((-4)/(-6)*3). Are a and 56 unequal?
True
Let j = -1 + 1.3. Let z be 6/(-14) + 24/84. Is j equal to z?
False
Let d(r) = 6*r**2 + r - 2. Let u be d(2). Suppose g + g = u. Let z = g + -8. Which is smaller: 2 or z?
2
Let c = 5 + 3. Let n(b) = 3*b**2 - 12*b - 11. Let y be n(5). Suppose -2*x - 20 = -y*d, 17 = -4*d + 4*x + 45. Do c and d have the same value?
False
Suppose 0*k = k, -5*m = -3*k - 105. Let d be m/9*(3 + -2). Are d and 1 non-equal?
True
Suppose 2*p - 3*p = -0*p. Suppose -q - 63 + 6 = p. Do q and -57 have the same value?
True
Let u = -35396/51 - -694. Is 1/9 less than u?
False
Let j = -0.1 + 0. Let p = 0.671 + -0.71. Let h = -1.939 - p. Do h and j have the same value?
False
Let h = 66/127 + -18937/36195. Which is smaller: h or 1?
h
Let q = -6/17 - -110/119. Is 5 smaller than q?
False
Let x = -7.6 - -6.1. Let j = 3.5 + x. Is j > -5?
True
Let a be 34/8 - (-12)/16. Suppose -2*h + 156 - 19 = -5*b, -4*h + a*b + 279 = 0. Does h = 71?
True
Suppose -2*x - 9 = -17. Let a be 3/(-9) + x/12. Suppose -3*p = -a*p. Which is smaller: p or 3/4?
p
Suppose -15*h + 17*h - 2*r - 8 = 0, 0 = -2*h - 5*r - 20. Which is greater: h or -2/849?
h
Let o(l) = l**3 + 4*l**2 - 4*l + 4. Suppose 0*r = 3*r + 15. Let f be o(r). Let m = 61/4 - 797/52. Do f and m have the same value?
False
Let v be (-2)/(-6) + (-2)/(-12). Let a = 23.7 - -4.3. Let d = 29 - a. Which is bigger: v or d?
d
Let a be 5853/(-4)*(-596)/447. Which is greater: a or -0.1?
a
Let p = 61.96 + -56. Let c = 6 - p. Suppose -42*m - 10 = -44*m, 3*v - m = -2. Is v <= c?
False
Let a = -2.2 - -2.65. Let r = a - 0.05. Which is greater: -1.2 or r?
r
Let r(i) = i**2 - 4*i - 3. Let v be r(9). Let o = v + -39. Let b = -1 + 3. Is b < o?
True
Let n be 65 - 63 - 73/34. Suppose 0*p = p. Which is smaller: p or n?
n
Suppose 10*d = 6*d - 16. Let j be (7/(-14))/(2/d). Let l = j - 2. Which is greater: l or 2/41?
2/41
Let b be 1020/(-90)*(-3)/(-2). Is b <= -63/4?
True
Let o = -5.73 - -5.6. Let u = 20/3 - 7. Which is smaller: u or o?
u
Let a = -0.1856 - -0.0856. Which is greater: a or -6?
a
Suppose -t - 4 = -8. Let b be 12/(-30) - (-24)/10. Suppose -b*h + t*p = -p + 17, -h = 4*p + 41. Which is bigger: -22 or h?
h
Let c = 7.02 - 0.02. Let m = -12 + c. Let g = 23 + m. Which is bigger: g or -2/3?
g
Suppose 3*p + 5 = 11. Suppose 5 = p*u + 9. Does -14 = u?
False
Let z(d) = -d**2 + 9*d - 12. Let w be z(6). Let i = w - 2. Suppose x + 4*v = i*x + 9, 5*v - 14 = x. Which is smaller: x or 1/5?
1/5
Let d = 42 + -47.1. Let w = -5.1 - d. Is 0.24 less than w?
False
Let y = -8649.1 - -8650. Let k = 8 + -3. Which is bigger: k or y?
k
Let p = -0.3 - 0.5. Let g be ((-41)/(-82))/((-3)/(-18)). Which is greater: g or p?
g
Let j be 75/(-9)*(-2)/(-20). Is j greater than or equal to -9/8?
True
Let l = -114.68 + 115. Let t = -21 + 20.9. Which is greater: t or l?
l
Let s be 1/3 + (-5)/(-3). Let d be 6/3 - -98*s. Let g be 9/6*(-8)/d. Which is greater: -2/3 or g?
g
Let o = -1660 + 1659.9. Which is bigger: 0.101 or o?
0.101
Suppose -4*p = -p - 33. Suppose -p*r + 100 + 76 = 0. Is 17 at least r?
True
Let j = 532 + -533. Is j at least -2/2561?
False
Let w(u) = -u**2 - 8*u + 6. Let a(y) = 3*y - 8. Let t be a(-8). Let r = t + 23. Let b be w(r). Which is smaller: b or 1?
b
Let t = -3.5 + 27.5. Is t at most -0.1?
False
Suppose 12 - 264 = 21*i. Which is greater: i or -122/11?
-122/11
Let h be (-3)/2 + 3/3. Let t = -16024623/385 - -41623. Let g = -1/385 + t. Which is greater: h or g?
g
Suppose 4*h + k = -13, -2*k - 1 = -h + 2*k. Let x be 0 + 3/(-63)*h. Which is bigger: x or 1?
1
Let n be (-1)/3 + 152/6. Suppose 0 = 5*q + n - 5. Let z be 6/45 - q/(-30). Which is smaller: z or -1/16?
-1/16
Suppose 4*l - 4*i - 1300 = 0, 2*l - 596 = 4*i + 44. Which is bigger: 328 or l?
l
Suppose 5*v + 3 - 28 = 0. Suppose -j = -16 - v. Is j < 20?
False
Let z = -4 + 4. Suppose 0 = 5*p - 10, z = -2*j + p + p + 8. Let n = j + -8. Is n <= -3/2?
True
Let v be 6/3 + (-8)/5