-6) + 115/150. Let b = w - -3/10. Let s = 30.05 - 30. Is s > b?
False
Suppose -4*q + 0*q = 20. Suppose 44 + 7 = -17*c. Which is greater: q or c?
c
Suppose -4*r - 5*f - 26 = 0, -2*r - 4 - 10 = 3*f. Let o be 6/(1 + r/(-4)). Is o greater than or equal to 5?
False
Let u = 2.1735 - 2.4735. Let b = -16 + 22. Is b less than u?
False
Suppose 0 = -2*m + g - 12, -13*m - 2*g + 16 = -15*m. Are m and 53 equal?
False
Let i be 54/2 + 1 - (6 - 8). Let q = 22 - i. Let f = 0.2 + -0.1. Is f > q?
True
Let w = 393.6 + -351. Let m = -48 + w. Is 2/3 < m?
False
Let q be (-348)/(-22) - 14/(-77). Which is smaller: 0.4 or q?
0.4
Suppose 3*x = -0*x, x = g - 90. Let k = -69 + g. Which is greater: 0.3 or k?
k
Suppose -8 = 6*i + 172. Is -30 smaller than i?
False
Let g be (-14)/((-6)/((-6)/(-2))). Suppose 0 = -5*d - g - 3. Let u be (2/(-4))/(6/8). Which is bigger: u or d?
u
Let h be (0 - 0)*1/2. Let g be ((-1)/(-371))/(-1)*-50. Let m = -8/53 - g. Is h bigger than m?
True
Let c(v) = -5*v**2 - 30*v + 10. Let p be c(-7). Is -24 greater than or equal to p?
True
Let q = -2.03 + 0.03. Let i = q + 1.95. Let g = 1.1 - 1. Is g less than i?
False
Let a be 42/4*(-2 + (-12)/(-9)). Let w = a + 9. Which is smaller: -0.1 or w?
-0.1
Suppose s - 2*s = 0. Let u(c) = -5*c + 2. Let b be u(-2). Let z = -34/3 + b. Is z < s?
False
Suppose 0*v = -4*v - 4*c, 2*v - 4*c = 18. Suppose v*k + 59 = 35. Which is smaller: -10 or k?
-10
Let p be (-6)/4*20/3. Let q(c) = -13*c**2 + 366*c - 64. Let b be q(28). Which is smaller: p or b?
p
Suppose -2*z - l = -1, -4*z - 4*l = -2*z - 10. Which is smaller: -2/405 or z?
z
Suppose 13276 - 12180 = -8*l. Is -137 > l?
False
Let g(z) = -4*z**2 + z - 2. Let x be g(-4). Let r = -348/5 - x. Which is bigger: 1 or r?
1
Suppose -h + 10 = 9*h. Which is bigger: h or 1/63?
h
Suppose 0*y + 5*y = -40. Suppose 5*v - 2*l - 1 + 22 = 0, 4*l - 17 = 5*v. Let c = v - 2. Which is bigger: y or c?
c
Let a = -36 - -36.3. Let b = -2.3 + a. Which is greater: b or 13?
13
Let z(k) = 3*k**2 - 37*k - 13. Let f be z(13). Is 10 <= f?
True
Suppose 3907 = -5*m - 2613. Let a = 129097/99 + m. Which is greater: a or 0?
a
Let m = 18 - 63. Which is bigger: -40 or m?
-40
Suppose -462*k - 64 = -460*k. Let a(u) = -u + 2. Let r be a(0). Let p be (r/4)/(8/k). Which is smaller: p or -3?
-3
Let q = -201 - -203. Is q <= 5/7?
False
Let j = -28 - -34. Let s(o) = -6*o + 34. Let g be s(j). Is g at least as big as -9/10?
False
Let g be 10/15*(342816/(-428))/2. Let y = g - -267. Is 1 at most as big as y?
False
Let y be (108/(-8))/(((-4)/8)/(-1)). Let k be 2/9 - ((-420)/y)/7. Is -1 less than or equal to k?
False
Suppose -4*t + 4*m - 4 = t, 2*t - 3*m = 4. Let f be (2 - 3 - t)*10. Is f greater than or equal to 30?
True
Let h = -0.1 + -0.1. Let d = -1.2 - h. Let i be (1 - (-9)/(-3))*(-576)/672. Which is smaller: i or d?
d
Let k = -299 - -326. Let b be 2 + (-1 - 108/(-4)). Which is smaller: b or k?
k
Let k(v) = -2*v**2. Let t be k(-1). Let u(d) = -3*d - 26. Let x be u(-11). Suppose -x*g - 30 = -2*g. Does g = t?
False
Let z = 74 + -72. Is 0.74 not equal to z?
True
Let x = -36.8 - -0.8. Let l = 35.96 + x. Do l and -0.1 have different values?
True
Let j = -12.37 - -185.37. Are j and 0 nonequal?
True
Let m be 0 + (-6)/12 + (-3225)/(-42). Let t(j) = -4*j**3 + 5*j**2 - 4*j - 1. Let w be t(3). Let p = m + w. Which is bigger: 2.5 or p?
2.5
Let l = -748 - -749. Do l and -203 have different values?
True
Let z = 61 - 22. Suppose -f + 42 = -3*a, -f + z = f + 3*a. Let u = -20 + f. Does u = 5?
False
Let a = -11/21 - 1/7. Let i = 480 - 481. Are i and a equal?
False
Suppose -2*k + 7 = -s, -41*s - 71 = -36*s + 2*k. Which is bigger: s or -8?
-8
Let h = 149/3 - 45. Let o = 589 - 585. Which is smaller: o or h?
o
Suppose 2*z - 5*m - 1544 = -2*z, 5*z + 4*m - 1971 = 0. Suppose 12 + z = 13*g. Which is smaller: g or 32?
g
Let z be ((-72)/42 + 3)*1/(-3). Which is bigger: z or 1?
1
Let n = 629 + -630. Is -15/17 greater than n?
True
Let x = 17 + -17. Suppose d - 2*d + 12 = x. Is d at least 13?
False
Suppose 5*g - 4*w - 14 = 7, -4*w = -4*g + 20. Is 19/20 > g?
False
Let f = 80699/5176 - -22/647. Which is smaller: f or 16?
f
Let q(n) = -n**3 - 8*n**2 - 34*n - 13. Let r be q(-6). Is r != 119?
False
Let p = -0.15 - 0. Let c = -0.75 + p. Let a = 0.1 - c. Is a at least as big as 5?
False
Let m(d) = d**3 - 14*d**2 - 15*d + 3. Let n(b) = 3*b - 33. Let l be n(16). Let w be m(l). Let s be (2/(-4))/(1 - w). Which is smaller: -1 or s?
-1
Let t = 8.02 + -9. Let b = 1.1 + t. Which is smaller: -0.2 or b?
-0.2
Let f = -1933 - -1933. Which is bigger: f or 1/328?
1/328
Let h be 8/18*288/65216. Is h <= 1?
True
Let t(u) = 8*u - 41. Let g be t(5). Which is smaller: g or 1/107?
g
Let c(y) be the second derivative of y**5/20 - y**4/4 + 2*y**3/3 - y**2 + 6*y. Let u be c(2). Let q be 1*(u + 16/(-5)). Is q greater than -2?
True
Let s(t) = t - 14. Let a be s(7). Suppose -7*n + 372 = 442. Is a bigger than n?
True
Let y = -0.2938 - -0.1438. Let g be 21/9*4/(-14). Is g equal to y?
False
Let c(x) = 6*x**2 + 34*x - 4. Let p be c(-6). Is 8 less than or equal to p?
True
Suppose 5*o + 147 = -483. Let c be o/(-15) - 6/(-10). Let v(g) = -g**3 + 8*g**2 + 9*g - 11. Let a be v(c). Which is smaller: -10 or a?
a
Let c(u) = -29 - 3*u - 23 + 16. Let f be c(-12). Which is bigger: f or 17/6?
17/6
Suppose -3*v = 9*v - 1824. Suppose -14*a = -12*a + v. Do -75 and a have the same value?
False
Suppose -y = -5*b + 5 + 19, 5*y = b - 24. Suppose 3*d + 4 + 0 = 5*i, 4*i - 16 = -b*d. Let c be i - (-2)/((-112)/116). Is -1 < c?
True
Let v = 12 + -16. Let u be (2/v)/((-9)/28). Suppose -3*g - 41 + 47 = 0. Is u at most as big as g?
True
Let h be 1/3*3 + (-4)/(-4). Let u be 38/84 + (-13)/6 + h. Let b = 12/17 + 3/68. Which is smaller: u or b?
u
Let w be (-3 - -3)/(-2 + 1). Let d be (7 + 259/(-49))*(-1)/2. Which is bigger: w or d?
w
Let x be 4806/792*(-6)/5. Let q = 12/55 - x. Is q smaller than 7?
False
Let t be (-24)/(8/2) - (-6)/2. Let x be 5 + -7 - t/(18/4). Is x less than -6?
False
Let z be 1733/6 + 2/12. Are z and 289 nonequal?
False
Let r = -2573 + 17978/7. Are -0.2 and r unequal?
True
Let k = 3.98 + -3.91. Which is smaller: k or -6?
-6
Suppose 41*z + 4 = 45*z. Is 60/29 equal to z?
False
Let w(m) = -10*m + 5. Let d be w(2). Let j be (-1)/2 + d/(-70). Let v(s) = s - 5. Let k be v(6). Which is smaller: j or k?
j
Let k be (-12)/(-20) + (-32947)/(-35). Let v = 942 - k. Do 0 and v have different values?
True
Let m = -302 - -319. Which is greater: m or 5?
m
Suppose -2*q + 13 = -3. Suppose 2*y = -3*l + 6*y + q, 6 = -3*y. Is -3 < l?
True
Suppose 3*c = f + 87, -29 = -6*c + 5*c + 3*f. Which is smaller: 3 or c?
3
Let l = 1488/5 + -296. Suppose -5*n = 0, 34*m + 2*n = 33*m + 3. Is l at least m?
False
Let r = -11.05 + 11. Let i = r - 0.85. Let f = i + 0.92. Is 2/7 at most f?
False
Let b be -1*(-3)/1 + 0. Let f be (-54)/(-4) + b/(-2). Let d = f + -7. Are 5 and d equal?
True
Let f = 3 - 2.7. Let n = f - 2.3. Do n and -3 have different values?
True
Let y = 0.51 - -15.49. Let f = 36 - y. Is f at most -1?
False
Let d(f) = -f**3 - 5*f**2 + f - 11. Suppose -3*s = -24*s - 105. Let x be d(s). Which is bigger: -13 or x?
-13
Let r be (2 + -11)/(2/(-6)). Let q = 133 - 130. Suppose q*b + r = -0*b. Is -9 smaller than b?
False
Let b = -3181 - -6149/2. Suppose -8 + 0 = 4*n, v + 116 = -3*n. Let a = b - v. Is 3 smaller than a?
True
Let l(b) = -b**2 - 1. Let y be 12/(-8)*(-8)/6. Let r be l(y). Suppose 4*g = h - 14, -2*g - 4 = -h + 2. Is r not equal to g?
True
Suppose -6 = -2*k, -7*d - 9 = -4*d - 3*k. Which is smaller: d or 120/13?
d
Suppose 0 = -4*p + p + 6. Let s(f) = -f. Let h be s(-3). Suppose -4*m = h*o - 0*m, -p*o = -m + 11. Is -2 greater than o?
True
Let c(x) = -16*x + 31 + 5*x + 4*x + 17*x. Let t be c(-3). Is 6/7 at most as big as t?
True
Suppose -4*d = 3*i - 10, 0 = -2*d - 2*i + 2 + 4. Let q = 9 - 5. Let c = -3.94 + q. Is c <= d?
True
Let a = -21 - -23. Let u = a - 2.1. Is u bigger than -12/11?
True
Let t = -0.3 + 0.28. Let l = -15.02 - t. Is -3 at most l?
False
Let y = 41 - 44. Suppose -j = -2*q - 4 - 5, -j + 4*q - 1 = 0. Which is bigger: j or y?
j
Suppose 4*r + 45 = -91. Let k = r + 34. Which is greater: 10 or k?
10
Let r be (-2)/(-14) - 10*602/980. Let n(z) = 45*z. Let j be n(-1). Let k be 15*3*6/j. Is k greater than r?
False
Let