45 = 0. Let f = -1083/31 - n. Which is bigger: -1 or f?
f
Let q = 1753/1645 - 7199169/70735. Let m = q + 704/7. Which is bigger: m or -0.1?
-0.1
Let o be (-3)/6*-6 + 12. Suppose -o*b = -9*b - 582. Is 96 not equal to b?
True
Let w = -32.265 + -0.635. Let u = 31 + w. Let v = -1.1 + u. Which is bigger: 1/3 or v?
1/3
Let x = 2.2 - 0.2. Let b = -67 + 41. Let h = 25.9 + b. Which is greater: x or h?
x
Let q = -2.9 + 1.78. Which is greater: 0.2 or q?
0.2
Suppose 1 = -0*q + q + h, -5*h - 31 = -q. Let z(d) = -2*d**3 + 42*d**2 - 3*d + 54. Let f be z(21). Let w = f + q. Is w bigger than -3?
False
Let z = -182.117 - -182. Is -2/7 greater than z?
False
Let n(y) = y**3 - 5*y**2 + y - 9. Let m be n(5). Let t be m/((-64)/(-20)) + 3 + -2. Which is bigger: 14 or t?
14
Suppose 2 = 2*w - 0*w. Suppose -5*v = 11 + 79. Let n = 17 + v. Which is bigger: n or w?
w
Let y = 241 + -169. Let n be 3/y*-2*18/4. Is n equal to 1?
False
Suppose 0 = 3*a - 2*t - 20, -5*t - 4 = a + 3*a. Is a at least 21/4?
False
Let l be (12/(-10))/((-2)/(-21)). Suppose -157*o - 689 - 91 = -97*o. Is l > o?
True
Suppose -5*c - 21 + 6 = 0. Let o be c/2 + 1/2. Let i = 8/65 + 9/455. Is o less than or equal to i?
True
Let v = 51697/72 - 718. Let l be (-1)/2 + 6/4. Which is smaller: v or l?
v
Let d(f) be the second derivative of f**5/20 - 2*f**4/3 + 7*f**3/6 - f**2/2 - 15*f. Let k be d(7). Which is smaller: 17 or k?
k
Let s(z) = 15 - z**3 + 2 - 5*z - 11 - 1 - 5*z**2. Let w be s(-3). Let c = 12/5 + 0. Is c greater than or equal to w?
True
Let j(k) = -3*k**2 + 33*k. Let o be j(11). Is o < -18/115?
False
Suppose 2*z = -5*i - 51, 10*z + 5*i = 5*z - 135. Let c be (2 + -9 - -3) + z. Does -35 = c?
False
Suppose -c = -7*c + 84. Let v be ((-28)/6)/(c/(-21)). Are 7 and v nonequal?
False
Suppose 55*p + 3 = 52*p. Let m = -26/29 - -1864/1885. Which is greater: p or m?
m
Suppose 0*t = t. Let q = t - -2. Let g(j) = -j**3 + 2*j**2 - 2*j. Let h be g(q). Which is bigger: 0 or h?
0
Let y = 5022 - 431887/86. Which is greater: 0 or y?
y
Let v = -877 + 902. Which is greater: 0.12 or v?
v
Let r = 25.2 + 24. Let l = -49 + r. Is -1 >= l?
False
Let v = -896 + 33150/37. Is 20 at most v?
False
Let o = 30.22 + -27. Let c = o - 3. Let p = c - 0.12. Is p less than -4?
False
Let w = -0.18 + 0.12. Suppose -l = -q + 2, -5*q - 4*l + 27 = -10. Which is greater: q or w?
q
Let w(k) = -4*k - 4*k + 3*k + 9*k - 36. Let z be w(9). Is z at most 2/113?
True
Let q = 16 + -10. Suppose -12 = -4*p, 4*p = 4*x - x + q. Suppose -a = -x*a + 1. Is -1 != a?
True
Let w = 20.77 + 3.23. Is -0.1 < w?
True
Let j = -154 - -92. Let u be 15/(-10)*(1 - j/(-54)). Which is smaller: u or 1?
u
Let o = 3 - 4. Let w = 2.3 + o. Let i = 1.8 - w. Which is smaller: 0.4 or i?
0.4
Let t = 37 - 36. Let q be -1*t/(-2)*86. Is 44 > q?
True
Let p be 1*(-1 + 4 + -2). Suppose p + 6 = -t. Is -9 less than t?
True
Let p be 87 - (-15)/30*0/(-2). Let h = 60 - p. Is h bigger than -25?
False
Let p = -5 - -6. Let a = 11188/3 + -3767. Let u = -2153/57 - a. Which is smaller: p or u?
u
Let t = 0 + 1. Suppose r = 4 + 2. Let l(w) = 2*w - 14. Let u be l(r). Which is smaller: u or t?
u
Let c = -92 - -91. Which is bigger: 0.1 or c?
0.1
Let s = 1179/35 + -167/5. Which is smaller: s or 94/21?
s
Suppose 8*t - 12*t + 232 = 0. Let p = 57 - t. Is -12/5 != p?
True
Let i be (97/(-12))/(((-14)/(-20))/7). Let b = i - -81. Is b greater than 8/3?
False
Let t be (-168)/16*-2*4/(-6). Suppose 8*a - 3*a = -65. Which is smaller: t or a?
t
Let n be 9/28 + 252/(-336). Is n at least as big as 26/9?
False
Suppose -2*v - 33 = -2*l + 13, l = -4*v + 23. Suppose -4*b = -2*b - n - 10, 5*b + n = 25. Suppose 0 = b*r - 6 - 19, 4*p + r = -l. Which is smaller: -5 or p?
p
Let c be 10/(-8) + 4/16. Let l(f) = -5*f**2 - 11*f - 1. Let q be l(-10). Let v = q - -1162/3. Which is greater: c or v?
c
Let c = -2 - -6. Suppose 198*h + 64 = 194*h. Let a be (h/4)/c - -7. Which is bigger: a or 4?
a
Let a(m) = -2*m + 20. Let c be a(8). Suppose -f + 16 - 61 = c*u, 0 = 4*u - 4*f + 20. Which is greater: u or -44/5?
-44/5
Let y(z) = -2*z**2 + 2*z + 5. Let x be y(0). Which is smaller: x or 21/4?
x
Suppose 22 = -3*t + 4*n, -2*t = -t - 5*n. Let p be (-3)/(((-18)/24)/(-1)). Let g be p/18 - (-395)/(-45). Which is smaller: g or t?
t
Suppose -u - 6 + 1 = 0. Let i be (2/(-5))/(u/(-225)). Which is smaller: -16 or i?
i
Suppose 3*t = 438 + 129. Is t less than or equal to 191?
True
Let p = 2 - 3. Let j = 9 - p. Let q = j - 14. Which is smaller: 0.1 or q?
q
Let h = -146 + 62. Let a = h - -95. Is a greater than -2/9?
True
Suppose 109*j = 94*j + 30. Let g = 13265/33 - 402. Which is greater: g or j?
j
Let i be (-562)/(-616) - 24/42. Which is bigger: i or -1?
i
Suppose -4*y + 5*a - 28 = -0*y, 0 = 5*y + 4*a - 6. Let k be 35/(-9) + 6 + -5. Is k greater than y?
False
Let x = -118849 - -1187427/10. Let h = x + 106. Which is smaller: -1/4 or h?
h
Suppose 3*y - 24 = -3*y. Suppose -3*z + 14 = j - 0*z, -3*z = y*j - 38. Are 8 and j unequal?
False
Let m = -3652 - -3652.2. Suppose 0 = -3*f + 2*f + 1. Let h be -2 + f - (-3)/4. Which is smaller: h or m?
h
Suppose 29326 = -37*b - 6*b. Which is greater: b or -681?
-681
Let w(i) be the third derivative of -i**4/24 - 2*i**3 - 5*i**2. Let v be w(-13). Which is greater: v or -1/10?
v
Suppose f - 2*m = 8, 2*m = -3*m + 15. Let t = f + -15. Which is smaller: t or -7/6?
-7/6
Let f = 20.5 + -14.5. Suppose 3*m = m. Is m less than f?
True
Let h = 33 + 8. Suppose 2*x - h = -0*m + 5*m, -2*m - 12 = -3*x. Suppose 0 = -26*r - 221 - 39. Are m and r non-equal?
True
Suppose 0*d = 4*d - 20. Suppose -d*l - 5*i + 20 = 0, -8 = -3*l - l + 4*i. Let c be l - 5 - (-3 + 1). Which is smaller: 0.3 or c?
c
Let h be 36*(-4 - 11780/(-328)). Let d = h + -1149. Is 0 > d?
True
Let m = 0.111 + -1.111. Let f(z) = -2*z - 3. Let o be f(-2). Is o < m?
False
Suppose -4 = -4*p - d, -5*p + 0*p = -2*d - 18. Suppose -2*h + v = 3*v - 156, 2*v = 0. Let m = 159/2 - h. Which is greater: m or p?
p
Let x(q) = -q**2 + 10*q - 3. Let g be x(10). Let l = 6.4 + -6.3. Does g = l?
False
Let v(d) = 17 + 0*d - 2*d - d + 6*d. Let u be v(-8). Let c be (u/(-553))/(2/4). Which is greater: c or 1?
1
Let w = 2036 + -2011. Which is bigger: 2/15 or w?
w
Let d = -7 - -12. Let h = -2685 - -2689. Is h bigger than d?
False
Let n = 1244 - 1233. Which is greater: 112/9 or n?
112/9
Let a = 82 + -77. Let r be -2 + (25/(-4))/a. Which is smaller: r or -3?
r
Let w(h) = h**2 - 7*h + 5. Let p be w(4). Suppose n = a - 2, n + 4*a - 16 = 2. Suppose -q - 4 = -i, -4*q - 7*i - 52 = -n*i. Is p at most as big as q?
False
Let k(d) = -2*d**2 + d - 8. Let n be k(-3). Suppose -3*s = -5*q + 92, 3*s = 4*s - q + 30. Is n < s?
False
Let b be (-14)/(-2) + 0 + (-1 - -2). Suppose -9*z = -b*z - 11. Which is bigger: z or 9?
z
Let k = 15 + -23. Let i = k + 33. Suppose -5*m - 120 = -10*m. Is i greater than or equal to m?
True
Let k = 220 - 117. Which is greater: 104 or k?
104
Let u be 3 + ((-3)/(-2))/((-3)/4). Which is bigger: -2/105 or u?
u
Suppose 3*h - 12 = -0, -3*h + 28 = 4*r. Suppose 20 = o - 6. Suppose -z + o = 20. Which is greater: r or z?
z
Let v = 323/6 - 54. Let k be (-423)/36 + 2/(-8). Let f = k - -11. Which is smaller: f or v?
f
Let k = 28 - 31. Let a = -53/12 + 14/3. Is a smaller than k?
False
Let h = 217 + -215. Is 35/6 at most h?
False
Let p = -232 - 82. Let a be -1 + p/104 + 4. Does a = -1?
False
Let l = -611/18 + 274/9. Let u be (-4)/(-35)*5*1. Do l and u have the same value?
False
Let o = 1066 + -1125. Is -22 > o?
True
Let j(h) = 8*h**2 + 10*h + 25. Let x be j(-2). Which is greater: 8 or x?
x
Let q = -92580508533467537992075/3078502 - -30073233193763944. Let z = q - -3/219893. Let b = 745/2 - z. Is b at most -1?
True
Let y = -1508 + 19586/13. Let q = 754.9 - 755. Do q and y have the same value?
False
Let a be ((-13)/117)/(2/(-6)). Let n(b) = -b**2 - 3*b - 9. Let d be n(-8). Let s = -49 - d. Does a = s?
False
Suppose 6*f - f = 20, -19 = -3*z - 4*f. Is z equal to 9/37?
False
Let b = -2702692020254/25585 + 105635803. Let y = b + 1/2193. Which is smaller: y or -1?
-1
Suppose -k + 5 = q + 6, 4*k + q + 4 = 0. Is k less than 3/226?
True
Let o = -56/719 + -400922/3595. Suppose 153 = -2*j - 71. Let c = o - j. Does -1 = c?
False
Suppose -3*m = -0*m - 6. Suppose 4*d - 4 = p, m*d = 5*p + 4*d - 2. Let t = -61942/17 + 3644. A