-111. Is d greater than or equal to h?
False
Let r(j) = 7*j + 4. Let v be r(2). Let o(q) = -q**3 + 4*q**2 + q + 2. Let i be o(5). Let z = v + i. Which is smaller: z or 0.04?
z
Let q be (864/420)/(-1 + 39/45). Is -15 less than q?
False
Suppose 5*b + h - 1258 = 0, 2*b - 5*h - 273 - 241 = 0. Let n be (4/6)/(12/b). Is n < 16?
True
Suppose -315 = 4*i + k, -i + 3*k - 105 = -2*k. Let s be (i/56)/((-18)/(-14)). Which is greater: s or 0?
0
Let w = -40 - -39. Let n be (-4)/w - 40/15. Are n and -1/5 unequal?
True
Let m(t) = -34*t - 19 + 30*t - 31. Let x be m(8). Is -83 at least as big as x?
False
Let g = -172 + 95. Let t = -76 - g. Is t at most -3/4?
False
Suppose 9*f - 4*f = 90. Let h be -7 + (-568)/(-80) - (-358)/20. Is f bigger than h?
False
Suppose 85*q + j + 1 = 88*q, -7*q - 3*j - 3 = 0. Let w be 2/4*29996/(-42). Let k = w + 357. Which is bigger: k or q?
q
Let j(o) = -o**2 + 4*o + 10. Let x be j(-5). Let v be (21/114 + 0)*(-20)/x. Which is bigger: 0.06 or v?
v
Let b be 14/(-13447)*-17*(-42)/(-4). Which is smaller: b or -1?
-1
Let o = -22.294 + -0.761. Let m = o + 0.055. Let i = 22 + m. Is i at most 1/8?
True
Let a = -1181.8 + 1182. Which is greater: 89 or a?
89
Let v be ((-10)/(-35))/(354/14). Let g = 123548/167265 - 1252/2835. Let a = g - v. Which is smaller: a or 0.2?
0.2
Suppose -5*v + 8*m - 9*m + 20 = 0, 16 = 4*v - 3*m. Let l be (72/70)/((-2)/(-5)). Is v bigger than l?
True
Let u be ((-13)/(12 + 1))/1. Which is smaller: u or 2/11?
u
Let t = 30 - 30. Let v = t - -11. Is -0.1 equal to v?
False
Suppose 0*z = 3*z - 435. Suppose 0 = -5*m + 5*k + z, 85 = 2*m + k + 27. Suppose 4*b - 19 = m. Are 11 and b equal?
False
Suppose -440 = v - 6*v. Which is greater: v or 87?
v
Let t = 21.22 - 21. Let g = 2.78 + t. Which is greater: -3/8 or g?
g
Suppose -8*x - 13 = 51. Let w be (-15)/(-8)*(-7 - -3). Is x smaller than w?
True
Let u(p) = 2*p**3 - 2*p**2 + 15*p - 14. Let n be u(1). Which is greater: -15 or n?
n
Let g be (-6)/(6/(-4 - -1)). Suppose g*o - 7 + 1 = 0. Which is smaller: o or 6/11?
6/11
Let g = -8 + 30. Let i = -0.718 + 325.718. Let y = -325 + i. Is g at most y?
False
Suppose 146 - 176 = -10*b. Is b at least as big as 6?
False
Suppose 4*k = -11 - 1. Which is smaller: k or -1?
k
Suppose -2*u - 5 = 3*u. Let w be 960/(-612) - (-12)/9. Which is bigger: w or u?
w
Let p be ((-3)/2)/(2/(-4)). Suppose -p = -2*b + 1. Suppose -5*g = -6*g + 1, -5*k = -4*g + 19. Is b at most as big as k?
False
Let n(w) = -w**3 - 2*w**2 + 2*w + 13. Let z be n(0). Is z greater than or equal to 198/17?
True
Let j be (94/20)/((-10)/340). Which is smaller: j or -159?
j
Let u be -1 - 3*((-17)/(-3) + -6). Is 104 less than or equal to u?
False
Let l be (-8 - -4) + 189/(0 + 3). Is 60 at most as big as l?
False
Let b = -2 + 1. Let v = -0.6 - b. Let h = -133559 + 133559.3. Which is smaller: v or h?
h
Let m(l) = l**2 - 6*l + 9. Let g be m(4). Let p be (-1*g/(-1))/(-1). Let u(y) = -y**3 + 3*y**2 - y + 2. Let t be u(3). Is p <= t?
True
Let k = 20.3 + -19.3. Is k > 0.077?
True
Let m = 1195 - 1054. Do m and 145 have different values?
True
Let i = 7 + -3. Suppose 78 - 18 = -i*p. Let g be (-6)/2*1 - p. Which is bigger: g or 11?
g
Let w = -149 + 156. Let r = 0 + 6. Is r > w?
False
Let r be (5/(-5)*(-3 - -3))/(-2). Let p(w) = 6*w**2 + 4*w**3 + 2*w**2 - 9*w - 5*w**3 + w**2 + 11. Let l be p(8). Which is smaller: r or l?
r
Let p = -19589/5930 + 2/593. Which is smaller: p or -2?
p
Suppose -5*l - 36 = 4*w, 0 = l - 5*w + w + 12. Let c be (-42)/20 + 10 + l. Is c bigger than 0?
False
Let n(y) = y**3 + 21*y**2 + 82*y + 11. Let p be n(-5). Is p less than 3/376?
False
Let d(n) = n + 35. Let t be d(-34). Which is smaller: t or -1/144?
-1/144
Let s = 28 + -16. Let w(d) = d**2 + 3*d - 6. Let b(c) = -c**3 + 3*c**2 + 3*c - 2. Let t be b(4). Let m be w(t). Is m at least as big as s?
True
Let r = 9 - 5. Let k be 3/(-12) + 25/r. Let z be ((-3)/k)/(2/8). Is z <= -4?
False
Let v(c) = 233*c - 926. Let a be v(6). Which is smaller: 471 or a?
471
Let f = -54 + 56. Let r = f + -3/2. Is r not equal to 0.1?
True
Let m(q) = 2*q**2 - 2*q + 1. Let v be m(1). Let g be (0 - -1)*(105/(-40))/21. Are g and v equal?
False
Let j = -2 + 4. Suppose j = -u - u. Let d = 121/531 - 1/177. Are d and u non-equal?
True
Let y be (302/7)/((-400)/(-175)). Is y < 20?
True
Suppose -17 = -5*t - 2. Suppose 5*n + t*z = 2*n - 30, -2*z + 16 = -4*n. Let k be n/(-39) + 84/(-39). Is 2/3 at least k?
True
Let u be 4/(8*(-2)/(-12)). Suppose 18 - 3 = -u*y. Which is smaller: -6 or y?
-6
Let x = -20 - -17. Let y = -19/4 - -49/12. Is y less than or equal to x?
False
Let b(z) = z**3 - z + 1. Let p be b(1). Let r = -10/2609 - 7687/36526. Which is bigger: r or p?
p
Let v be (12 + 493)/((-5)/(-2)). Is v greater than or equal to 203?
False
Let b = -9.19 + 0.19. Let o = -0.157 + -11.843. Let q = b - o. Which is bigger: -1/6 or q?
q
Suppose 7*q = 6*q. Which is smaller: -1/242 or q?
-1/242
Let q = -0.7 + -0.3. Suppose 11 = -a - 1. Let o be ((-6)/10)/(a/8). Is q >= o?
False
Let f = 711 - 709. Are f and 19/23 unequal?
True
Suppose -42*g = -89*g - 1457. Which is smaller: -24 or g?
g
Suppose -3*m = 12, 4*b - 60 = -0*m + 5*m. Let q be (-8)/86*b/8. Let v = q - -88/387. Is -1 greater than or equal to v?
False
Let p = -17 + 25. Let d = p - 11. Let q = d + 28. Which is smaller: q or -1?
-1
Let t = -73821/250705 - -72/247. Which is bigger: t or 0?
0
Let i = 155 + -108. Let x = 47.02 - i. Which is smaller: x or -0.2?
-0.2
Let y = 3159/4 - 789. Let p(a) = -a - 10. Let u be p(-11). Is y less than u?
True
Suppose -24 = -4*a + 32. Suppose -21822*t + 21813*t + 81 = 0. Which is bigger: a or t?
a
Let w = 7.07 - 7.4. Let f = w - 5.67. Is 1/5 greater than f?
True
Let c(b) be the third derivative of b**6/120 - b**5/60 + b**4/24 + 2*b**3/3 - 6*b**2. Let h be c(0). Suppose -i = -a - 0 + 2, -2*a + h = 4*i. Are i and 0 equal?
True
Let i = 1703/973 - 5/139. Let l = -141 - -143. Is l smaller than i?
False
Suppose -31*v + 3915 = -60*v. Are -1/2 and v non-equal?
True
Let t = 481 - 441. Which is greater: t or 37?
t
Let t be 6/(2/((-14)/(-63))). Let l = -2.85 - -3. Let x = -0.1 + l. Do x and t have different values?
True
Let x(s) = -s**3 - 8*s**2 + 8*s + 7. Let p be x(-9). Suppose 2*z - 4*q - 26 = 0, 0 = -4*z - z - 3*q + 78. Is z less than p?
True
Let x be 4 + -6 - 537/(-846). Let f = 3/94 + x. Which is greater: f or -2?
f
Let k be ((-2)/(-10) + -2)*-5. Let b = -0.0216 - 3.9784. Is k < b?
False
Let y = -0.25 + -0.05. Suppose -5*o - 39 = -4*o. Let t = o - -38. Which is greater: y or t?
y
Let b(d) = -14*d - 5. Let j be b(-4). Let k = j - 108. Which is greater: k or -56?
-56
Let y(q) = -q**3 - 6*q**2 + 38*q - 15. Let j be y(-10). Let s = 1499/5 - 294. Are s and j non-equal?
True
Let f be -8*(-1)/((-6)/(-10)). Let s be ((-6)/(-10))/((2/24)/(55/33)). Is f greater than s?
True
Suppose -37 - 12 = -3*f - 4*h, 0 = -3*f - h + 37. Let b = -566 - -570. Is f bigger than b?
True
Let o = -0.0469 + 1.3269. Which is greater: o or 1?
o
Suppose 0 = 3*t - y - 70, 0 = t - 2*y + 8 - 23. Is 23 < t?
True
Let k = 44 - 43.71. Let j = -0.09 + k. Which is bigger: 1/3 or j?
1/3
Let y(h) = -h**3 + h + 1. Let i be y(0). Let v be -4*(i + 15/(-12)). Suppose v = -2*o - 1. Is 1.3 less than or equal to o?
False
Suppose 10*y + 14 = 24*y. Which is smaller: -3/146 or y?
-3/146
Let j be 6/2 - (-17)/(-2). Let v(u) = -5*u + 33. Let b be v(8). Is b less than j?
True
Let n = -5.34 + 0.34. Let p = 2.8 - 0.8. Which is bigger: n or p?
p
Let a be 1 + 112/(-231) - 1. Which is bigger: a or -1?
a
Let t = -485/2 - -252. Let k(v) = 5*v. Let i be k(2). Let m = i - t. Is -2 greater than m?
False
Suppose -5*o + 62 = 67. Which is smaller: o or 1/48?
o
Let v = -61 + 117. Suppose 2*m - v = -2*m. Let d = -14 + m. Which is smaller: d or -0.2?
-0.2
Suppose -23*a - 889 + 935 = 0. Which is smaller: 72 or a?
a
Suppose -17*d + 12*d = 0. Which is bigger: d or 83?
83
Let m = 161 + 84. Is m at most as big as 244?
False
Let h be ((-3)/(-2) - 2)*-4. Let x = -11/86 + 495/172. Which is greater: h or x?
x
Let a(c) = 12*c**2 + 93*c - 555. Let n be a(6). Which is smaller: n or 2/5?
2/5
Let a be 8/36 - 4/(-18)*-1. Which is smaller: a or 22/39?
a
Suppose 0 = -i + 5*q - 50, 3*i - 5*q + 170 = -0*i. Which is bigger: -55 or i?
-55
Let f = -1 - -2. Let v be (-16 - f) + 3 + -1. Let g