 - 169. Let a = h + 141. Which is smaller: -33 or a?
-33
Let d(k) = 4*k**2 + 2 + 4*k**2 - k**3 - k**2 + 3. Let b be d(7). Suppose q + 4*g = 18, 13 = 2*g + b. Which is smaller: q or 1?
1
Let y = -2837 - -1890. Let r = y - -4768/5. Let u = 97/15 - r. Which is greater: u or 0?
0
Suppose 0 = -4*j + 4*c - 572, 3*j - 2*c = -6*c - 443. Is j less than or equal to -147?
False
Let v = 0.1 - 0.1. Let w = 8 + -33.9. Let a = w - -26. Are a and v unequal?
True
Let g(d) = -13*d**2 - d. Let k be g(-1). Let l = 43 - 15. Let a = l + -38. Which is smaller: k or a?
k
Let y = -761703/17015 - -1846/41. Let c = 320662/3735 + y. Let h = c + -86. Are h and -1 unequal?
True
Let x = -892 + 2674/3. Let v(j) = j - 1. Let d be v(0). Let a be (d - 0) + 0 - 1. Which is smaller: x or a?
a
Let c = -2817 - -8477/3. Which is greater: 9 or c?
9
Let g = 22.43 + -0.53. Let t = -22 + g. Is t bigger than -0.2?
True
Let a(j) = -j**3 + 9*j**2 - 11*j + 3. Let b be a(8). Let i = 37 + b. Suppose 4*v = 4*k - i, 5*k + 11 = -4*v - 14. Is k at least 1/15?
False
Let w = -25 + 26.4. Let x = w + -4.4. Which is smaller: x or -1/4?
x
Suppose 0 = 5*z + 4*o - 13, 10 - 7 = -3*z + 3*o. Which is bigger: z or 1/54?
z
Let q = -54 + 56. Suppose 4*z - q*z = 0. Which is smaller: z or -2/9?
-2/9
Let r be ((-33)/(-6))/(-11) + 50/52. Let n = r - 44/39. Which is smaller: -1/15 or n?
n
Let v = -34 + 43. Suppose -v*n = -5*n. Which is bigger: n or 1/26?
1/26
Let y = 228 + -151. Suppose y*x = 79*x + 148. Which is smaller: x or -73?
x
Let l(x) = x**2 - 11*x + 14. Let s be l(10). Let g be s/8 - (-3)/6. Let y be 12/(-8)*g/39. Which is greater: -1 or y?
y
Let g be 2/(-6)*(5 - 390/85). Let y = 155/357 - g. Which is greater: y or 2?
2
Let i be 0 + 0 + (-147)/14. Are i and -12 equal?
False
Let l be (-300 - -2)/(-2 - 0). Let m be (-4 + l/38)/(1/10). Which is smaller: m or 0?
m
Let r = -572 + 571.9. Which is smaller: r or -235?
-235
Let s be 16 - (-8 - (6 + -5)). Which is greater: s or 24?
s
Suppose 22*b = 23*b - 48. Are 49 and b equal?
False
Let p be (6 - 6) + (-918433)/10. Let n = p - -91612. Let h = -231 - n. Which is greater: 0 or h?
h
Let w(s) = 2*s + 9. Let u = -5 + 0. Let l be w(u). Let o = -1/148 - 287/1332. Which is bigger: l or o?
o
Suppose -5*p + 15 = 0, -5*y = p - 5*p + 12. Suppose y = x + 4*x + 325. Let g be ((-2)/(-3))/(x/15). Is -2 smaller than g?
True
Suppose -272*j = -264*j - 8. Does j = 13/38?
False
Let x = -2554.96426 - 0.03574. Is -2/3 > x?
True
Suppose -112 = 4*r - 4*z, 2*r = -3*r - 3*z - 156. Let a be ((-12)/r)/((-252)/(-20)). Suppose -2 + 6 = 4*c. Are a and c equal?
False
Suppose -4*l = -8, -p + 3 - 4 = -l. Let s = -4 - 6. Is p bigger than s?
True
Let p be (-1 - (-7)/7)/2. Are p and -15/58 non-equal?
True
Suppose 0 = t + 4*t + 5. Let f = -12/816125 - 1772965433/32249995500. Let y = 1/1068 + f. Which is bigger: y or t?
y
Let d be (300/216)/(33/(-12) - -2). Which is smaller: d or -3?
-3
Let x be 134/1541 - (-441)/(-46). Is 2 less than x?
False
Suppose 0 = -3*x - 2*x + 5. Suppose 80*t - 85*t = -5. Let c be (-2)/(160/(-85)) - t. Which is smaller: c or x?
c
Suppose 5*c - 77 = 68. Suppose 4*g + t = 101, -4*t = 5*g - 4*g - c. Is 26 less than or equal to g?
False
Suppose -87 = -2*i - 3*f, 74 = 4*i + f - 75. Is i greater than 18?
True
Let f be 21*(-9)/(-4) - (8 + -11). Let g be (-1)/((-1)/48) + 2. Let i = f - g. Which is greater: -1 or i?
i
Suppose f + 5*q = 28, -5*f = -4*q + 8 - 3. Suppose -4*r + f*r + 16 = 0. Let d = r - 174/11. Is 1 less than or equal to d?
False
Let t(q) = -q - 4. Let p be t(-7). Suppose 0*y = y. Suppose y = -p*d - 8 - 31. Is -14 equal to d?
False
Suppose 396 = 5*f + 2*g, 3*f - 182 - 62 = 2*g. Which is smaller: f or 75?
75
Let l = -19 - -22. Suppose -l*k = -6*k. Suppose k = -8*m + 4*m. Which is bigger: m or -2?
m
Let x = 8 - 8.36. Let i = -36.64 + x. Which is smaller: i or -1/2?
i
Suppose 29 = 12*y - 7. Suppose -2*n - 9 = -n - y*t, 3*n - 5*t = -15. Is 1/19 < n?
False
Let k(m) = -3*m - 2. Let u be 2*(-2)/(-4) + 1. Let j be k(u). Let r = 14 + j. Are r and 7 non-equal?
True
Let p = 86 - 81. Suppose 3 + 37 = p*f. Are f and 9 unequal?
True
Suppose -131*c - 5 = -132*c. Suppose -4*p + 106 = -7*g + 4*g, -85 = -3*p + c*g. Which is greater: p or 76/3?
76/3
Let i(z) = -z**2 + 2*z + 1. Let w be i(-3). Let n be (12 + w)/((-2)/(-4)). Suppose 5*u - 7 = 4*h + 4, -2*u + 5*h + 18 = 0. Which is smaller: u or n?
n
Suppose -3*z - 2*n - 8 = 2*z, 0 = -5*n - 20. Suppose z = -4*m + p + 1, -5*m + 0 + 3 = -3*p. Which is smaller: 2/105 or m?
m
Let z = -15 + 12. Let j = z - -5. Suppose i - 16 = 3*k, j*i = 4*i - 5*k - 27. Is -2/17 bigger than i?
False
Let a(r) = 47*r**3 - 2*r**2 - 7*r - 6. Let o be a(-2). Is -376 != o?
False
Suppose 5*j - 57 = 2*i + 2*i, -2*j + 22 = -2*i. Let w = -235/18 + j. Are w and 0 nonequal?
True
Let s be 15/2 - 2/4. Let h = s - 7. Let j(c) = -c**2 + c. Let a be j(h). Which is bigger: -1/11 or a?
a
Let u = 6031/3 - 2046. Let o = -37 - u. Is o at most -2?
False
Suppose 0 = -u - c - 41, 6*c - 2*c = -3*u - 122. Is -39 at most u?
False
Let x = 0.8 - 5.2. Let r = x - -7.4. Which is greater: r or -14/3?
r
Suppose -6*d = -4*d + 4. Let v be (21/42)/(0 + d). Let g = 63 + -187/3. Which is bigger: v or g?
g
Let p = -1.7 - 11.3. Let t = -12.98 - -0.48. Let x = p - t. Which is smaller: x or 0?
x
Let i = -45386/2371851 - -2/11241. Which is smaller: 0 or i?
i
Let c be 2278/(-4011) + 408/714. Which is smaller: -1/4 or c?
-1/4
Let g = -29 - -4. Let r = -24.96 - g. Let f = 3 + -2. Which is smaller: r or f?
r
Suppose -5*b - 751 = -85*c + 81*c, 4*c - 4*b - 752 = 0. Which is smaller: 187 or c?
187
Let k(a) = -a**3 + 4*a**2 + a - 1. Let m be k(4). Suppose -m*d + 4 = -7*d. Is 3 at most d?
False
Let h be (2/30)/((-14)/(-175)). Let u(o) = o**2 + 34*o - 109. Let v be u(-37). Which is smaller: v or h?
h
Let f = -52.8 + 45.8. Is -0.41 != f?
True
Suppose 8*k - 156 = -31*k. Which is smaller: k or 54/17?
54/17
Let c(i) = -5*i**3 + 2*i + 1. Let a be c(2). Let m be -2 - -5 - (-130)/a. Which is smaller: -2 or m?
-2
Let l = 221 + -220. Let s = -117 + 2224/19. Which is bigger: l or s?
l
Suppose -h + t - 22 = -4*t, 3*h - 3*t = -6. Suppose h*v - 70 = -2*v. Let i be 6/(-9)*(-21)/v. Is 1 at least as big as i?
True
Let i(z) = -35*z + 13. Let j be i(-11). Let f = -3983/10 + j. Are -1 and f nonequal?
True
Suppose -5*t = q + 73, -5*q = -0*t + t + 5. Let w = -5 - t. Suppose 0 = 4*m - 2 - w. Are m and 2 non-equal?
True
Let w = 29 - 28.91. Let l = 0.29 - w. Which is smaller: -1/6 or l?
-1/6
Let v be (-896)/(-96)*126/8. Is v bigger than 150?
False
Let t = -6 + 8. Let k(o) = -2 - 10 - t*o + o. Let l be k(-13). Do l and -12 have different values?
True
Let f(k) = -k**2 - 6*k + 2. Let t(n) = n**2 - 8*n - 9. Let x be t(9). Let d be -8 - -2 - x/(-1). Let z be f(d). Do 1 and z have different values?
True
Suppose 3*h + 4*r - 195 = 117, 2*h + r = 213. Suppose h*l = 110*l. Is 16/11 at most l?
False
Suppose 0 = 2*z - 16 + 6. Suppose 0 = r - 2*y + z, -4 = 4*r - 2*y + 4. Which is smaller: -2/17 or r?
r
Suppose 7*c = -725 + 235. Do -208/3 and c have the same value?
False
Let z = -1262 + 25233/20. Which is smaller: 1 or z?
z
Let l be -3 - (-1 + 5 + -11). Let y(i) = -i**3 + 5*i**2 - 3*i - 4. Let m be y(l). Let s be (-4)/14 - (-2)/7. Does s = m?
True
Suppose 537 = 3*x - 3*w, 225 = 2*x + w - 124. Suppose 0 = -6*t + 14*t - x. Is 22 >= t?
True
Suppose -5*g = 2*o - 372, 4*g + 2*o - 48 = 250. Is 73 bigger than g?
False
Let h(m) = -13*m**2 + 64*m + 5. Let g be h(5). Which is smaller: -982 or g?
-982
Suppose 1 = 3*h - 8, 3*z - 591 = h. Which is smaller: 197 or z?
197
Let o be -5*((-108)/(-20) + -5). Let f = 697/8 + -351/4. Is o smaller than f?
True
Suppose 13*m - 11*m = 0. Let u be (m + 1)*(20 - 10). Are u and 9 nonequal?
True
Let s(a) = -2*a - 6. Suppose -2*q - 4*g - 24 = 0, -4*q - 16 = -3*q + 3*g. Let u be s(q). Suppose -2 = -2*i + u. Is -1 != i?
True
Let a = 1.8 + -1.6. Let b = -28 - -36. Which is smaller: a or b?
a
Let y(f) be the third derivative of -f**4/12 - 3*f**3/2 + f**2. Let z be y(-5). Let h be 16/10*(-3)/12. Which is bigger: z or h?
z
Let p(i) = -i - 3. Let j be p(-4). Let y = 131 + -389/3. Which is smaller: j or y?
j
Suppose -5*y - 55 - 50 = 0. Suppose 15 = -5*b, -2*q - b - 19 = 4*b. Which is greater: y or q?
q
Let y = -199 - -133. Which is smaller