t s = 5 - 7. Let p be y(s). Let j be 1/p*-3*-2. Is 2 > j?
True
Let c = -25 - -27. Suppose -3*q = -4*q - c. Let v be 1/(-3*q/30). Which is smaller: 7 or v?
v
Let k = 50.1 - 52. Let i = -30 + 32.1. Let u = i + k. Is -0.6 != u?
True
Let r = 0.7 + -1.2. Let s = -0.6 - r. Let g = 1.6 + -2. Is s > g?
True
Suppose -4 = -2*b + 3*q, 2*b - b - 8 = 3*q. Let h be b/7 - 100/(-126). Which is smaller: 28 or h?
h
Suppose -3150 = 28*c + 22*c. Is -318/5 less than c?
True
Let q be (-11)/((-110)/3840) - -7. Which is bigger: -2/9 or q?
q
Let r be 21/6*2 - -4. Suppose 3*o - 4 = -w, -r - 1 = 3*o - 3*w. Is o less than -1/13?
False
Let s = -58 - -176/3. Let c = 83 - 77. Which is greater: s or c?
c
Suppose -i - 2*n + 78 = 3*i, -4*n = 4*i - 76. Suppose -i + 8 = 12*f. Is f >= 1/172?
False
Let w(t) = 6*t + 1. Let i be (-4)/10 + 48/(-30). Let b be w(i). Is -12 <= b?
True
Let i = -20 - -30. Suppose 5*m + i = -2*x, 1 = -3*x + m + 3. Which is greater: x or 23?
23
Let r(m) = 12*m**2 + 2*m + 2. Let i be r(-1). Let w = i + -27. Is w less than or equal to -14?
True
Let w = 514 + -527. Is -0.1 equal to w?
False
Let r be (-10)/4*-2*(-5 + 12). Is 39 at most as big as r?
False
Suppose -3*g - g - 8 = 0, 5*u = 2*g + 39. Let v be u/5 + -3 + 2. Let m = -0.24 - 0.16. Which is bigger: m or v?
v
Suppose 4*j - 13 = -b + 37, 4*b - 4*j - 240 = 0. Suppose -q + 28 + b = -5*y, 30 = -2*y - 4*q. Is -18 >= y?
False
Let b(j) = 0*j**2 - 12 + 3*j**2 - 2*j**2 - 2*j**2 + 10*j. Let f be b(9). Let q be f + 1 + 15/35. Are q and -2 nonequal?
True
Let s be ((-4908)/48)/((-147)/(-28) + -5). Is s greater than or equal to -2042/5?
False
Let n(a) = -a**3 - 3*a**2 + 12*a - 11. Let t be n(-10). Let v = t - 34708/61. Which is smaller: 0 or v?
0
Let f(x) be the third derivative of -x**4/8 - 31*x**3/6 - 25*x**2. Let p be f(-11). Let q = 1224/5 - 244. Which is bigger: p or q?
p
Let i = 5 - 5.25. Let x = -0.05 - i. Let c = -0.42 + 0.22. Which is greater: x or c?
x
Let c(o) = -o**2 - 11*o + 17. Let y = -6 - -9. Suppose -b = y*b, 3*u + 4*b + 36 = 0. Let a be c(u). Is 5 > a?
False
Let j be (-1)/(-3)*(-9)/171*1. Let b = j + -109/285. Which is greater: b or -2?
b
Suppose 2*m = 2*i - 14, -7*i + 3*i - 8 = 2*m. Let b be (-4)/m + (-25)/15. Let x be -2*(-2 + (-83)/(-41)). Is b at most as big as x?
True
Suppose -3*f - 4*n + 15 = 30, 4*n + 13 = -f. Let u = 452762 - 298822841/660. Let l = u + -2/55. Which is greater: f or l?
l
Let v = 10.7 + -73.7. Let d = -57 - v. Let m be 2*1/10*2. Which is bigger: d or m?
d
Suppose -2*l = -4*l - 12. Let u be 60/14 + (4/7)/(-2). Suppose -2*h - 18 = -u. Is l bigger than h?
True
Suppose 2*c - 7*c = 70. Let f = -112 - -188. Let b = f - 90. Is c at most b?
True
Let h = -332 - -345. Is h >= 9?
True
Suppose 0*q + 36 = 6*q. Let u be q/4 - (-130)/(-60). Do u and 0.3 have different values?
True
Let n(y) = y**3 - 20*y**2 + 34*y + 36. Let w(z) = -3*z + 36. Let b be w(6). Let q be n(b). Is 3 at least as big as q?
True
Suppose 3*i - 2*r + 90 = 0, -2*i - 40 = -r + 20. Let b = -34 - i. Is b > -4?
False
Suppose -147*t = -148*t - 90. Let v be (-1 + t/(-93))*(4 - 2). Is 1 less than v?
False
Suppose 3*l - 5*c = -2207 + 519, -5*l = -5*c + 2830. Let u = -6275/11 - l. Let f(v) = -v**3 - 6*v**2 - 5*v + 1. Let j be f(-5). Which is bigger: u or j?
j
Let g = 9143 - 9142.9. Let c = -0.45 + 0.9. Is g greater than c?
False
Suppose 6*n - 3*n = 3*p - 24, 3*n - 16 = -2*p. Let q = p - 15/2. Which is smaller: q or 2?
q
Let y = -10969/106 + 207/2. Which is smaller: 0 or y?
0
Let r be (28/10)/(572/(-65)). Which is smaller: 0 or r?
r
Let i(b) = -b**2 - 14*b + 119. Let l be i(6). Which is smaller: l or -1/183?
l
Let x = -16 - -11. Let v = 74 - 65. Let o be v*3/(-21)*21/6. Which is greater: x or o?
o
Suppose -d = -4*y + 22, -3*y + 2*y = 3*d + 1. Are 4 and y unequal?
True
Let q = -252 + 1007/4. Which is bigger: q or 1/7?
1/7
Let m be 206/3*(-222)/(-148). Is -2 smaller than m?
True
Let w(g) = g**3 + 3*g**2 - 3*g - 1. Let b be w(-3). Suppose 0 = 4*u + 2*o - 50, -5*u + 7*o = 4*o - 79. Let d be ((-7)/u)/((-2)/36). Is d >= b?
True
Let h = 179.9912 - -0.0088. Are -1 and h equal?
False
Let c(q) = 2*q**2 - 7*q - 9. Let m(t) = -3*t**2 + 11*t + 14. Let v(a) = -8*c(a) - 5*m(a). Let z be v(-1). Which is bigger: z or 1/77?
1/77
Let q be ((24/(-3))/32)/(3/(-1356)). Is -0.2 at most as big as q?
True
Let l = 0 - 0. Let t be ((-2)/1)/(78/(-24) - -3). Let w be (t/(-4) + -2)/((-30)/(-9)). Are w and l nonequal?
True
Let k = -17 - -32. Let s = 14.26 - 0.26. Let w = s - k. Which is smaller: w or -2/3?
w
Let f = -46945/44 - -1067. Let n = f - -27/88. Let o be 1 + ((-2)/2 - 0). Which is smaller: o or n?
o
Suppose 5*g = -3*v - 3 - 5, v = 4*g + 20. Let r be v + 321/15 + (-8)/20. Let c = 65 - 41. Which is greater: c or r?
r
Let f(o) = -8*o - 19. Let v be f(-8). Let n be v/14 - (-1 + 4). Which is greater: n or 1?
1
Let r = 0.52 + -26.62. Let u = 26 + r. Which is smaller: 0.3 or u?
u
Let z(c) = -6*c**2 - 4. Let a be z(-2). Let n = a + 14. Which is greater: n or -13?
-13
Suppose b - 8 = -0*b. Suppose -6 = -2*i - 4*i. Is i at least b?
False
Let o be ((-15)/(-20) - -2) + 3. Let v be ((-2)/4)/((-5)/60). Is o at least as big as v?
False
Let j(g) = 29*g + 675. Let v be j(-23). Which is greater: v or 14?
14
Let k be ((-1677)/15)/((-17)/170). Is 1118 <= k?
True
Let n = 46 + -40. Let l be (-8)/n*27/(-1). Let f = 34 - l. Which is bigger: 0 or f?
0
Suppose 2*f + 9 + 1 = 0, 5*f + 7 = -2*l. Let m be -6 + l - (-12 + 3 + -1). Which is smaller: -2/7 or m?
-2/7
Suppose 649 = -5*k - 6*k. Is -59 less than k?
False
Let g be ((0/19)/((-6)/(-2)))/1. Is 3/556 smaller than g?
False
Let u(t) be the second derivative of -t**4/12 + t**3/6 + 2*t**2 - t. Let s be u(0). Suppose -3*d - d - s*g - 48 = 0, g + 4 = 0. Are d and -8 non-equal?
False
Let y = 28 - 22. Let u = y + -4. Which is bigger: 0.06 or u?
u
Let t be 2 - (4 - (5 - 2)). Suppose -t = 2*g + 2*i - 3, -g + 2*i = 2. Which is smaller: -2/65 or g?
-2/65
Let k(l) = -154*l. Let b be k(-1). Let s be 2 - -1 - b/52. Let x = s + 6/13. Which is smaller: 3 or x?
x
Let y = 46 - 71. Let d = 26 + y. Which is smaller: d or 3/13?
3/13
Suppose 45 = -5*f - 5*g, -4*f - g = -5*f - 3. Is f > -11?
True
Suppose 2*z - 11 - 49 = -3*i, 2*i = -3*z + 35. Suppose 0 = -5*x + 250. Let s = x + -28. Is i equal to s?
True
Let l be ((-4)/176)/(26/52). Let z = -1 - 0. Is z equal to l?
False
Suppose -5*n - 448 = -d, 5*n - 3*d = -d - 451. Let u = n + 67. Is u bigger than -22?
False
Let g be 18/(-15) - (-14)/(-10). Which is bigger: -4 or g?
g
Let m(c) = c**3 + 2*c**2 - 4*c - 4. Suppose -7*h = -3*h + 12. Let j be m(h). Which is greater: -2/9 or j?
-2/9
Let m = -75 - -61. Let s = -16 - m. Which is greater: 1 or s?
1
Let g = 1181 + -16553/14. Is 0 less than or equal to g?
False
Suppose 34*i - 234 - 4 = 0. Is -34 less than or equal to i?
True
Let r = -40 + 43. Suppose -64 = 3*u - 4*f, -14 = u + 3*f + r. Which is smaller: -19 or u?
u
Let z = -111 - -67. Let g = z - -43. Is 1.1 >= g?
True
Let i = -675.1 + 675. Is 0.081 greater than i?
True
Let i = -81.76 - 2.24. Which is smaller: i or -1?
i
Let c(n) = n**2 + 2*n - 3. Let p be c(-4). Suppose -3*h - p = -8. Is -2/179 != h?
True
Suppose 2*s - 2*n - 2 = 0, 3*s - 3 = -2*n - 3*n. Is 0.256 smaller than s?
True
Let r be 6 - 5 - (-4)/(-1). Let z(x) = -x**3 - 2*x**2 - 4*x - 1. Let p be z(r). Let j be ((-36)/270)/((-3)/p). Is j at least 0?
True
Let o = 11.4 + -10. Let p = 3.6 + o. Let l = -2 - -3. Is p less than or equal to l?
False
Let t(g) = 22 - 33 + 3*g - 3*g - 4*g. Let q(f) = -3*f + 3. Let s be q(4). Let w be t(s). Is 25 equal to w?
True
Suppose 0 = f - 10 + 66. Let y(r) = -r**2 - 11*r - 13. Let m be y(-14). Which is bigger: m or f?
m
Let d be ((-1)/(-2))/(-4 + 2). Let w be (-2)/30 + (-335)/(-25) + -13. Is d at most as big as w?
True
Let m(t) = -21*t + 105. Let p be m(-3). Is 168 != p?
False
Let a be (-89032)/410 + (-4)/5. Let u = 218 + a. Is u smaller than 1?
True
Let k be (-6)/(-162)*(-42)/(-4). Let j = 5/9 - k. Which is smaller: 1 or j?
j
Let p = 5/27 + -50/27. Which is greater: -89 or p?
p
Let z(s) = -s + 1. Let l be z(0). Let c(d) = d**2. Let m be c(l). Let u be m/(-10) + 8/(-20). Which is smaller: u or 0?
u
Suppose 4*s = -4 - 0. Suppose -7*k + k = -30. Which is smaller: k or s?
s
Let d = -494 + 507. Is d bigger than -0.1?
Tru