 Let z be q(h). Suppose n = -3*l - 8, n + 3*n = -8. Is l at least as big as z?
False
Suppose -7*q + 2*q - 20 = 0. Let y be (-20)/16 + (-6)/8. Let d be 19/(-3) + y/(-6). Which is bigger: q or d?
q
Let y = 16 - 15. Let z = 1 + y. Which is bigger: z or 3?
3
Let p be -1 + -41 - 132/(-44). Do -35 and p have different values?
True
Let r = 1.5 + -4.5. Let q = r - 1. Let d = -1 - q. Which is smaller: 0.3 or d?
0.3
Let t be 66/(-14) + (-6)/(-21)*-1. Let l be ((-18)/(-5))/(t/(-25)). Is 17 greater than or equal to l?
False
Let b = -0.49 - -3.59. Let m = -3 + b. Which is greater: m or 24?
24
Let w(q) = q**2 + 16*q + 8. Let i be w(-17). Suppose -l - 2*p = -9, -p - i = -5*l - 6*p. Is -2/33 smaller than l?
True
Let q(v) = v. Let f = -5 - -8. Let w be q(f). Suppose k + 0*k = 5. Is w less than k?
True
Let x(s) = -s**3 + 8*s**2 + 2*s - 11. Let w be x(8). Let l = 190 + -551/3. Which is smaller: w or l?
w
Suppose -3*g - 12*p = -9*p + 45, 4*p + 20 = 0. Which is smaller: g or -68/7?
g
Let k = 269 + -72. Which is smaller: k or 1?
1
Let q = -15.9 + -0.1. Let w = -4 - q. Let r = -20/3 - -7. Is w bigger than r?
True
Suppose -u = -5*u - 24. Let x(h) = 7*h + 42. Let k be x(u). Which is greater: 2/5 or k?
2/5
Suppose -5*d - 22 = i, -6*i + 14 = -3*i - d. Suppose 5*h + 0 = -i*g - 21, -4*g - h = 28. Suppose -29*z = 100 + 103. Is g greater than z?
False
Let u = 1287/14 - 92. Let o(v) = -v**3 + 7*v**2 + 3*v - 22. Let g be o(7). Which is smaller: u or g?
g
Let o = -21 - -27. Let u = o + 4. Suppose -v + 6 = -u. Is v less than or equal to 15?
False
Let o = 0.7 + -0.1. Suppose 47 = 19*i - 10. Which is greater: i or o?
i
Let n(p) = -p**3 - 13*p**2 + 168*p + 1. Let y be n(-21). Which is smaller: 2/965 or y?
2/965
Suppose 0 = -27*i + 95*i + 1224. Which is greater: i or 1?
1
Let x be (-10)/(-8)*2/10. Let m = 32 + -32. Is m at most x?
True
Suppose -5*f + 136 = o - 51, -4*f - 4*o = -156. Let m = f - 35. Let w be ((-1)/5)/((-2)/14). Is m greater than w?
True
Let m = 60 - 55. Suppose n = -4*u - 14 - 8, 23 = n - m*u. Do -4/7 and n have the same value?
False
Let f = -0.27 + 0.13. Let g = f + 4.14. Let s = 6.9 + -7. Is s at most g?
True
Suppose m - 1 = -j + 3, 3*j = -4*m + 14. Suppose -x - f = -11, m*x - 7 - 13 = -4*f. Which is greater: 2 or x?
x
Let b = 59 - 25. Suppose 5*w - b + 164 = 0. Let k be ((-274)/10 - 0) + (-12)/(-30). Is k less than or equal to w?
True
Let a be 3/(-12) + 2/8. Let t(u) = u**2 + 2*u + 6. Let y be t(a). Suppose 0*j = -2*j - y. Which is greater: j or -7/3?
-7/3
Let m = 0.2 - 1.2. Let o = 3 - 24.2. Let k = -0.8 + o. Is k bigger than m?
False
Let m(c) = c**2 + 6*c + 4. Let q be m(-5). Let u be -9*(-1 + 15/9). Let h be (u/(-40))/((-1)/8). Which is smaller: q or h?
h
Let d = -1.75 + -0.55. Let i = d - -2.3. Let b be 2/(-3) + 51/9. Is b not equal to i?
True
Let y = -18827/6 - -3145. Are 7 and y nonequal?
True
Let s = -111/46 + -2/23. Which is bigger: -0.4 or s?
-0.4
Let g = 10 + -29. Let a(u) be the second derivative of -u**3/6 - 7*u**2 - 20*u. Let i be a(6). Which is smaller: g or i?
i
Let g(b) = 2*b**2 - 19*b - 229. Let s be g(-11). Which is greater: 224 or s?
224
Let a = 0.14 + 1.86. Let x = a - 3. Let f = x + 0.8. Is -0.1 at least as big as f?
True
Let x be (-2728)/66 - 14 - (-6)/2. Which is smaller: x or -52?
x
Let i = 1139 + -1794. Is i <= -656?
False
Suppose -93 - 3 = 12*j. Is j bigger than -5?
False
Let n = 178 + -179. Are n and 1/583 unequal?
True
Suppose 0 = -3*z - 6, -4*r - 3*z + 5 + 5 = 0. Let a(g) = -3*g + 0 + r + 2*g + 1. Let l be a(4). Is -2/5 <= l?
True
Let a = -0.004 - -49.004. Let z = 48.4 - a. Which is smaller: 2 or z?
z
Let h = -694 + 695. Is 5 equal to h?
False
Suppose 2*r + 4*s = -2*r + 16, -4*r - 5*s = -19. Let f be (r/(-1))/(3/(-6)). Suppose 2*o = -f*o. Which is greater: -5/4 or o?
o
Let f(z) be the second derivative of z**5/5 - 5*z**4/12 + 2*z**3/3 - 5*z**2/2 - 21*z. Let k be f(2). Is k at least as big as 13?
True
Suppose 0*c = -2*c - 2*c. Suppose 10*w - 47 - 713 = c. Is w at most as big as 76?
True
Suppose -3*l + 2*w - 50 = 0, -w - 5 = -0*w. Which is smaller: l or -176/9?
l
Let t = -4580 - -4545. Let o(d) = -9*d**2 + 1. Let r be o(-2). Do r and t have different values?
False
Let o = 0.017 + 0.983. Let x = -2 + o. Is 0.051 at most as big as x?
False
Let g be (6 - 5)*705/20. Which is bigger: g or 34?
g
Let n = 1165 - 822. Does n = 343?
True
Let q(l) be the third derivative of l**6/120 + l**5/20 + l**4/12 - 6*l**2. Let p be q(-2). Which is smaller: 4/7 or p?
p
Let r be ((-10)/(-6))/((-606)/603 + 1). Which is bigger: -336 or r?
r
Let y(z) = 2*z**3 - 5*z**2 + 2*z - 1. Suppose -5*h - 3*q + 18 = 0, -2*h + q + 2*q = -3. Let o be y(h). Is o at least 14?
True
Suppose 6*l + 40 = 11*l. Let w = -8 + l. Which is smaller: 2/125 or w?
w
Let h = 1.1 + -0.4. Let f = -6763.05 - -6763. Is h smaller than f?
False
Let i(y) = 200*y + 707. Let q be i(-6). Is q at most as big as -493?
True
Let z(c) = c**2 - c - 12. Let w be z(-9). Let t = -52 + w. Let k be 4/t + 88/104. Is 2/5 greater than or equal to k?
False
Suppose -12*g + 9*g = -90. Suppose 4*y + 2*t + 52 = 18, 5*y + g = -5*t. Is y less than -11?
False
Let r be 6/(-10) - (-6)/10. Let b = -2209/91 - -170/7. Is b >= r?
True
Let d = 3.14 - -0.86. Which is smaller: d or -11?
-11
Let v be -2 - (8 + (-4 - 0)). Let l be (((-168)/(-9))/(-4))/(4/v). Which is greater: l or 8?
8
Let v(q) = -q. Let u be v(1). Let w be ((-18)/(-9))/(u/1). Let y(l) = -l**3 + 2*l**2 + l - 1. Let o be y(2). Which is bigger: w or o?
o
Let c be (-515)/(-75) - 2/(-15). Which is bigger: c or 42?
42
Suppose v - 18 = 3*r, 0*r = -5*v + r + 48. Is v at most 7?
False
Suppose 28 = -2*g - 30. Let o = g - -59/2. Is o bigger than 2?
False
Let x = 441 - 440. Which is bigger: x or 274?
274
Let l be (-168)/(-98)*7/2. Suppose p - 13 = -l*w + 7*w, -p = 2*w + 32. Which is smaller: w or -1?
w
Let x = 4.1 - 4. Let v(m) = -m**2 - 29*m. Let q be v(-31). Is x less than q?
False
Suppose -827*m - 682 = -829*m. Which is smaller: 1019/3 or m?
1019/3
Let m = 18.3 + -21. Let h be (-252)/459 - (-8)/(-68). Is h at least m?
True
Let y be 6/(-1746)*3*8/(-124). Is y >= 1?
False
Suppose 5*z = -3*p + 6, p = 2*z - 0 + 2. Suppose p - 12 = 5*r. Let h = 1 - 4. Are r and h equal?
False
Let s be 1*(-30)/10 + (-305)/(-102). Is s at most as big as 0?
True
Suppose -3*r = -3*c + 3, 3*c - 7 = -3*r + 14. Let a = c - -10. Let d = 7 - a. Which is greater: d or -9?
d
Let j be 10/6*6/(-28). Which is greater: j or 0?
0
Let y be (72/28 + 0)*-63. Is y bigger than -162?
False
Let h be 2/(-5)*100/(-110). Let j = 0.85 + 0.15. Which is smaller: h or j?
h
Let w = -465 + 469. Is 36/13 greater than or equal to w?
False
Let i = -608 - -701. Which is smaller: i or 89?
89
Let n(h) = h**2 - 15*h - 6. Let b be n(16). Let j be (4/b)/((-72)/405). Let o(i) = i**3 + 3*i**2 + 2*i + 4. Let p be o(-3). Are j and p equal?
False
Suppose 0 = -5*i + i - 2868. Let h = -3572/5 - i. Is h < 2?
False
Let j = 209 - 184. Which is bigger: 0.23 or j?
j
Suppose -z - 466 = 5*q, 5*q = 5*z - z - 461. Let r = q - -63. Is -30 bigger than r?
False
Suppose 4*n + 1 = -3. Suppose 0*u - 18 = -3*u. Let k be 20/(-14) - u/(-14). Are n and k non-equal?
False
Let x be (-2)/10 + (-42)/(-10) + 38. Which is greater: x or 37?
x
Let p be 3/9 + 115/(-336). Suppose -1234 = -3*y - 1237. Which is smaller: p or y?
y
Suppose -14*f = -2*m - 19*f + 2221, -1109 = -m - 2*f. Is 1104 less than m?
False
Suppose -2*h = 31 - 33. Let t be 14*h/((-21)/36). Let q = -31 - t. Is q not equal to -8?
True
Suppose d + 6 = 3*d. Suppose -d*a - 4 = -4*a. Let z = -4 + a. Are -1/10 and z non-equal?
True
Suppose 4*d + 34 - 12 = -3*m, 3*m = 2*d + 2. Let u(v) = 2*v**2 + 26*v - 31. Suppose 2*i = -8*i - 140. Let w be u(i). Is m greater than w?
True
Let f be (-7 + (-664)/(-96))*-3. Which is smaller: -1/254 or f?
-1/254
Let j = -38 + 39. Let n = -16 - -10. Let w be (n/18)/((-2)/54). Is w > j?
True
Let b be (-80)/60*2100/(-8) + 4. Are b and 353 equal?
False
Suppose 5*j = 5*q - 275, 9*j - 4*j - 2*q = -272. Is -55 bigger than j?
False
Let b = 134.6 - 128.49. Let x = -0.11 + b. Is -3 at most as big as x?
True
Let y = 278 + -279. Let x be (0 - 1) + 265/220. Let a = x + -7/44. Which is smaller: a or y?
y
Let s = 0.6 + -3.48. Let n = 0.42 - s. Which is smaller: 0 or n?
0
Let k(v) = v**3 + 7*v**