 Let l = 4.086 - 22.756. Let a = l - j. Which is smaller: a or -1?
a
Let s = 0 + 5. Suppose n + 2*j = 4*n - 35, -n = -s*j - 3. Let v = 61/5 - n. Which is smaller: 0 or v?
v
Let s = -113 + 78. Let k = -52 + s. Is -1/4 less than or equal to k?
False
Suppose 0 = -3*b + r + 262, -8 = -6*r + 2*r. Let h be (-5)/(-10)*b/12. Which is bigger: h or 4?
4
Let b(k) = -k**2 + 8*k + 10. Let l be b(-1). Let g = 98 + -174. Is l < g?
False
Let b be 2/(12/(-8)*(-18)/(-27)). Is b <= -1/21?
True
Suppose 2*f - 5*f + 42 = 0. Let n = -58/7 - 393/70. Let r = f + n. Which is smaller: 0 or r?
0
Let d = 2 - 2. Let c = 41.045 - 0.045. Let a = c - 38. Is a greater than or equal to d?
True
Let z be 1*2 + (-231)/21. Let k = z + 16. Which is greater: 23/3 or k?
23/3
Suppose 3*j + 162 = -0*j. Let f be (j + -6 + 2)*(-2 - -1). Which is smaller: 59 or f?
f
Suppose 25 - 16 = -9*i. Let n = i + 23. Do 23 and n have the same value?
False
Let n be (0 - -2) + -322 - (0 + 1). Let t = -1931/6 - n. Do -1 and t have different values?
True
Let a = -0.1 - -0.3. Let r = 0.05 + 0.5. Let j = 1.45 + r. Which is smaller: j or a?
a
Suppose m - 3*w = -5*w + 10, -5*m = -4*w - 78. Let h = m - 12. Suppose 0*x = -4*j - 4*x - 12, 0 = -2*j + 3*x + 4. Is h != j?
True
Let k(o) = o**3 - 7*o**2 + 7. Let g be k(7). Let m be (-3)/1 - ((-1 - 10) + 3). Is m less than g?
True
Let l(y) be the third derivative of y**6/60 - y**5/5 - y**4/24 - 2*y**3/3 - 14*y**2. Let j be l(6). Which is smaller: j or -8?
j
Let j = 5 + -6. Let t be 8/(-116)*(-2 + 349)*-1. Let a = t + -24. Is a != j?
True
Let t = -301/412 - 2/103. Let j = 11 + -8. Let l be 0/(4 + (j - 5)). Is t < l?
True
Let g be 3/(-5) + (-5)/5. Let d(r) be the third derivative of r**4/12 - 5*r**3/2 + 4*r**2. Let k be d(7). Is k bigger than g?
True
Suppose 4*s - m - 11 = 4*m, -4 = s + m. Is s greater than 18/77?
False
Let x be (-463)/(-708) - (1 - 5/15). Is 1 >= x?
True
Let s be (-2 - (4 - -1)) + 3. Let c be (-8)/(-12) - s/(-6). Are -2/173 and c equal?
False
Let h = -194.9 + 209. Let d = 1.1 - h. Let k = -2 - d. Is k < 0.1?
False
Let x = -2.6 - -0.6. Let l = x + 1. Let b = 0.0812 + 5.9188. Which is smaller: l or b?
l
Let v = -1044 + 35509/34. Which is greater: 0 or v?
v
Suppose 0 = -5*x + 2*v + 2, 7 = -5*x + 4*v + 1. Suppose 48 = 2*w + c - 3*c, -x*w + 27 = 5*c. Which is greater: 19 or w?
w
Let j be (-204)/(-72) + 15/3. Is j smaller than 7?
False
Let x = 68 + -67.88. Which is smaller: 14 or x?
x
Suppose 157 = 5*k + 2*x, 2*k + 2*x = 5*x + 78. Suppose 6 = 3*i + k. Is -10 >= i?
False
Suppose -5*x = 13 + 7, -3*r + 4*x = -10. Let d be (r*74/4)/((-5)/(-10)). Which is smaller: d or -73?
d
Let v = -302 + 2112/7. Which is smaller: v or 25?
v
Let b = 1274/5 - 118483/465. Which is smaller: -1 or b?
-1
Suppose -41 + 31 = 5*i. Is -6 equal to i?
False
Let g = 313/1515 + -2/303. Are -3/7 and g nonequal?
True
Let p be (-4 - -8)*1/(-4)*-137. Suppose -6*b - z = -b + 250, -2*z = -3*b - p. Are b and -48 unequal?
True
Suppose 0 = -500*y + 510*y. Which is smaller: -2/193 or y?
-2/193
Let o = -2 + -8. Let s be (-14)/o + 24/40. Let u be (4 - s)*(-6)/(-12). Is 0.1 at least as big as u?
False
Let a = -337 - -341.07. Let g = -3.7 + a. Let z = g - 0.17. Which is smaller: 2 or z?
z
Let l = 37 - 54. Let j = l + 16.7. Is 5 less than j?
False
Suppose -c - 2*h = 36, -4*c - 153 = 6*h - h. Which is greater: -81/2 or c?
-81/2
Let q = 2394 + -9733/4. Which is bigger: q or -38?
-38
Let y be 2*(38943/4869 - 8). Which is bigger: 1 or y?
1
Let h = 111 - 168. Let l(j) = j**3 - 10*j**2 - 16*j - 1. Let y be l(11). Is h greater than y?
False
Let l = -0.33 + -5.69. Let v = l + 0.02. Let d = -5 - v. Which is greater: -1/3 or d?
d
Let j(q) = 2*q**3 - 78*q**2 + 70*q - 121. Let s be j(38). Which is smaller: -350 or s?
-350
Let q = -49 + 49.04. Let n = 0.08 - -0.02. Is q > n?
False
Let f = 39 - 75. Let t = f - -32. Which is bigger: t or -0.01?
-0.01
Let w be 12/9 - 100/(-15). Suppose f - 4*j + 12 = 2*f, -3*f + 5*j + 36 = 0. Is f >= w?
True
Let u(t) = t**3 - 9*t**2 + t - 3. Let w be u(9). Suppose -5 = 5*d - w*d. Suppose -d = x - 0*x + v, 0 = x - v + 1. Which is bigger: x or -9/4?
-9/4
Suppose -5*d = w - 8, 4*d + 3*w = -2*w + 19. Is d greater than or equal to -2?
True
Let c be (4/8)/((-1)/(-20)). Suppose -2*p + 12 = c. Is 0.5 at least as big as p?
False
Let u = -5626/3 + 1853. Is 4 greater than or equal to u?
True
Let t(s) = -18*s + 1. Let v be t(-5). Which is smaller: v or 94?
v
Let r = 1228956/455 + -2701. Is r smaller than 1?
True
Let l(f) be the third derivative of f**5/120 + f**4/12 - f**3/6 - 5*f**2. Let o(i) be the first derivative of l(i). Let m be o(-4). Is -9/5 equal to m?
False
Let o = 46 + -68. Let v be 4/o + (-35)/110. Are -0.6 and v non-equal?
True
Let p be (-19)/(228/72) - (-7 - -1). Are p and 25/43 unequal?
True
Let h = -55 - -61. Let k = 11/12 - 155/156. Let x = k + 17/52. Which is greater: x or h?
h
Let x = 45 - 42. Do -0.11 and x have different values?
True
Let o = -0.0356 + 0.0415. Which is greater: o or -1?
o
Let j(k) = 49*k + 649. Let t be j(-12). Which is greater: t or 0?
t
Let j be 20/50 + 26/10. Suppose -x = 6 - j. Let o be (-4 - (x - -1)) + 3. Is o at least as big as 2?
False
Let r = -18 + -12. Let z = 35 + r. Which is smaller: 6 or z?
z
Let y(b) = -4*b**2 - 2*b - 1. Let t be y(-2). Let m = -12 - t. Is -2/73 at most m?
True
Let j = -38.6 - -41. Let v = -0.4 + j. Is v greater than 0.01?
True
Let s(j) = -j - 12. Let l be s(-15). Let x be 2/9 + (-418)/180. Let d = x + 23/5. Is d greater than l?
False
Let n(v) = 7*v - 520. Let f be n(-50). Is f at least -871?
True
Let g be 2/(-5) + (-63)/(-20). Suppose -2*t = 15*t - 136. Let p = t - 5. Does p = g?
False
Suppose 0 = -7*q - 1 + 29. Suppose q*a = y - 2, 2*a - 3 = -3*y + 3. Let h = 9/5 - 88/35. Which is greater: a or h?
a
Let x be ((-310)/(-465))/(1/(-507)). Which is smaller: x or -337?
x
Let z = 80 + -47. Let q = -33 + z. Are -3/11 and q equal?
False
Let g = 1.1 + -15.1. Let h = g - 23. Does h = -0.1?
False
Let g = 0 + 4. Let l(h) be the third derivative of h**4/12 - h**3/6 - 5*h**2. Let y be l(2). Is y != g?
True
Let r = -968 + 980. Suppose 5*t = -4*p + 3*p + 80, -p - 55 = -4*t. Is r greater than t?
False
Let a = 115.1 - 79.8. Let p = -35 + a. Which is greater: p or 4?
4
Suppose 140 = -2*g + 7*g. Let d be (0 + -1*9)/(2/(-6)). Which is bigger: g or d?
g
Let p be ((-1)/3)/((-1)/9). Let o be (-5 - -4)*(-3)/p. Let r = 32 + -30. Which is smaller: r or o?
o
Let t = -80.7 + 81. Which is smaller: t or 13?
t
Let h = 2 - -3. Let m = h - 2. Let c be (1/10)/(m/2). Which is greater: -1 or c?
c
Suppose -32 - 202 = -6*k. Let u be k/8 + 20/(-5). Is u <= 2?
True
Let p = -606 + 605. Which is greater: p or 2/1687?
2/1687
Let s be (-20)/(-21) - 4/14. Let x = -129 - -131. Are x and s non-equal?
True
Let a be 72 - 77 - (114*1 - 1). Which is smaller: a or -355/3?
-355/3
Let n(x) = 3*x**2 - 43*x + 52. Let k be n(13). Is k at most -2/767?
False
Let v(x) = -23*x - 146. Let d be v(-7). Is d > 28?
False
Suppose 35*s = 3*s + 4800. Which is smaller: 151 or s?
s
Suppose 3*c - 4 - 2 = 0. Suppose -2*w + l - 4*l - 2 = 0, -3*w + 4 = l. Suppose w*f = -f. Is c > f?
True
Let z = 890.3 + -890. Is z less than -13.2?
False
Suppose 0 = 3*b + 2*b - 70. Let c be (1 - -1)/(b/42). Which is bigger: c or 2/3?
c
Let t(l) = -l**3 + 8*l**2 - 13*l + 43. Let d be t(7). Do -2/5 and d have the same value?
False
Let j = 16 - 430/27. Let h = 61 + -60. Is h less than or equal to j?
False
Let n = -49491632/114801 + -65/6753. Let i = n + 431. Suppose 0 = 2*b - 3 + 5. Are i and b non-equal?
True
Let b = 2234 + -2257. Let g = 0 + 1. Is g > b?
True
Suppose -474 - 625 = 7*c. Which is bigger: -159 or c?
c
Let m = -28664/1443 + 258/13. Suppose -2*r + 8 = -7*f + 3*f, -f + 5*r - 20 = 0. Is m greater than f?
False
Let b(a) = -a - 6. Let k be b(-6). Let g be (1/(-11))/(1/(-2)). Is g at most k?
False
Let d be 133/19*(-3)/(-43). Is d at least as big as -1?
True
Suppose 3*n - 4*o = o - 13, -5*n + 3 = 4*o. Let i be 48/26 + -9 + 6. Let k = i - -101/65. Do n and k have the same value?
False
Let d(y) = 47*y - 111. Let j be d(0). Which is greater: j or -112?
j
Let p = 850 + -828. Which is bigger: 15 or p?
p
Let j be 481 - (-1 + 1) - (-51 + 49). Which is bigger: j or 484?
484
Let n(u) = -u**3 - 8*u**2 + 10. Let m be n(-8). 