 t(f) = f**3 + 4*f**2 - 6*f - 7. Let v be t(-5). Let o be 15/8 - (3 + v). Is o < i?
False
Suppose -76 = -2*d + 4*t, -3*d = -t - 48 - 86. Which is smaller: 47 or d?
d
Suppose 4*k + 4 = -4*j, 2*j + 2 = -5*k - 6. Let z be ((-322)/42)/(k/6). Are z and 23 equal?
True
Let w = 41 - 29. Suppose a - w = 5. Suppose 0*x + x + a = 0. Which is smaller: x or -16?
x
Let t(a) = a + 21. Let d be t(-6). Suppose -d = 4*x + x. Is x at most -4?
False
Let v = 278 + -131. Suppose v + 75 = -6*d. Do -36 and d have the same value?
False
Suppose 0 = -5*j - 3*r - 9, -5*j - r - 3 = -3*j. Is -1/291 != j?
True
Suppose 24 = 4*p - 12. Let k be (-1 + -4 + 4)*0. Suppose -3*d + 6*d - 38 = -4*r, k = -r - 5*d + 18. Is r > p?
False
Let b(j) = j**3 + 4*j**2 - j - 3. Let k be b(-4). Suppose d = 9 - k. Let i be (-2 - d/(-5))*-5. Is i equal to 3/2?
False
Suppose 4*s = -61 - 75. Suppose -7*l - 519 = -274. Which is greater: l or s?
s
Suppose -4*d + 3*k = 67, -12*d = -10*d - 5*k + 51. Suppose -5*g + 35 = 95. Which is smaller: g or d?
d
Suppose -4 = -n - 1. Let d = -2 - -15. Suppose -10*a + d*a = 6. Which is greater: n or a?
n
Let g = -4 + 24. Suppose 4*q + 0*q - g = 0, 0 = d - 4*q + 52. Is d < -33?
False
Let y be 4*2/4*5. Let f(t) = -25*t - 4. Let v be f(2). Let m = v - -63. Are m and y unequal?
True
Let a(l) = -l**2 - 8*l - 7. Let r be a(-7). Let k = -4 - r. Let y = -818 - -815. Which is smaller: y or k?
k
Let y = 556.7 - 557. Which is smaller: y or -50?
-50
Let k(n) = -27*n - 32. Let b be k(-6). Let p = b - 114. Which is bigger: 77/5 or p?
p
Let n = -196.95 + 187. Let c = -0.4 + 10.4. Let d = n + c. Do -2/3 and d have the same value?
False
Let r = -14839 - -103679/7. Let p = r + 28. Which is bigger: p or 0?
p
Let o = -284.6 + 285. Is -12/11 >= o?
False
Let s = 2100 + -1813. Which is bigger: s or 288?
288
Let f = 9 - 6. Suppose 0 = -f*y - 0 - 3. Let m = 12287/35 - 351. Do y and m have different values?
True
Suppose 5*f - l = 22, -2*f - f + 5*l + 22 = 0. Let g be 1 + (6 - f) + -1. Suppose -4*w + 20 = -g*w. Is 9 at most w?
True
Let h = 590 + -369. Which is greater: h or -1/2?
h
Let u be 92/6*(-10 - 981/(-90)). Suppose -2*m + 30 = -5*h, -4*h = -2*m - 3*h + 30. Is m >= u?
True
Let c = -22 + 26. Which is greater: 92/17 or c?
92/17
Suppose 0 = 12*b - 5*b - 301. Let f be 651/15 + 18/30. Is b smaller than f?
True
Let g(q) = -3*q - 32. Let t be g(2). Which is smaller: t or -0.7?
t
Suppose 168*b - 568 = 160*b. Let q = 93605/7 - 13302. Let l = q - b. Which is smaller: 0 or l?
l
Let m = -8/79 - -1444/11139. Is m at least as big as -1?
True
Suppose -3*p + p = -4. Suppose -p*x - 24 = x. Let d be x/32 + (-1)/12. Which is smaller: -2/5 or d?
-2/5
Let f be (-7)/63 - (-13437)/(-81). Which is greater: -169 or f?
f
Let d be -2*(-16)/40*2/(-4). Is d at most -0.13?
True
Let r(c) = -c**2 - c + 7. Let p be r(-4). Let b be (-2 + p + 4)*1/(-18). Do 0 and b have different values?
True
Let k = -112/11 + 2531/187. Which is smaller: k or 2?
2
Let m be (1*-36)/(-2 + 1). Suppose -4 = -x - 4. Suppose m = -x*t - 6*t. Which is smaller: -9 or t?
-9
Suppose 4*t = y + 21, -3*t + 5*y - 2*y + 18 = 0. Suppose -3*v + 4*z = -17, t*v + 0*z - 15 = 4*z. Which is smaller: v or 3/4?
v
Let t be (-5)/(-6)*(2 + 11 + -4). Is t smaller than 8?
True
Let x = -0.98 - 0.02. Suppose -5*r - 139 = 11. Let k be (-4)/(-6) - (-23)/r. Is k at least x?
True
Let h = -18 - 4. Which is greater: h or -23?
h
Let o be (-12831)/(-312) + 1 + -1. Suppose -l = l - 82. Let m = l - o. Which is smaller: 0 or m?
m
Let l be ((-2)/(-4))/((-3)/108). Let r = l - -20. Let p be (r/148)/(1/(-4)). Is -1 smaller than p?
True
Let z = 2.03 - 0.03. Let x = -3 - -9. Let j = -8 + x. Which is smaller: j or z?
j
Let j be 1036/(-370) - (1 - (0 - -4)). Let x = -72 + 74. Which is greater: x or j?
x
Let g = -1 - -1. Let i = -39163/13 + 3013. Are i and g nonequal?
True
Let m(d) = -7*d**2 + 8 + 5*d + 6*d**2 - 5. Let x be m(5). Suppose -w = x, 5*n - 4*n + 3 = -2*w. Is n <= 3?
True
Suppose 0 + 33 = 3*c. Let x(z) = -z**3 + 20*z**2 - 17*z - 26. Let j be x(19). Which is smaller: j or c?
c
Suppose 0 = -2*t + 6 + 2. Suppose 4*l + t*n + 15 = n, 2*n = 5*l - 10. Let y = -43 + 127/3. Which is smaller: l or y?
y
Let z = -0.35 + 7.35. Let y = -0.002 + -0.058. Which is smaller: y or z?
y
Let q be (108/576)/((-2)/12)*4. Is q < -6?
False
Suppose 2*g - 9 = -3. Suppose m = g + 5. Suppose 0 = -h - o, -o - 20 = 5*h - m. Which is smaller: -2 or h?
h
Let f(r) = -6*r - 95. Let z be f(-16). Which is smaller: -6/121 or z?
-6/121
Let y = 21985/18 - 1221. Which is greater: y or 1?
1
Let q(s) = -s**3 + 29*s**2 + 28*s + 110. Let p be q(30). Do p and -6 have the same value?
False
Let f = -113541661/350 + 324405. Let r be ((-1)/(-2))/((-175)/(-75)). Let h = r - f. Which is smaller: 1 or h?
h
Let p = -246 - -1726/7. Suppose g + 3*k = 14, -2*g + 4*g + 5*k - 24 = 0. Which is smaller: p or g?
p
Let f = -92 - -92. Suppose 5*d + 10 = f, -d = -4*q - q - 3. Is -6 at most as big as q?
True
Suppose -3*v - 4 = -1. Let i be -3 + 46497/(-936) + 2. Let j = i - -405/8. Is j <= v?
False
Let f(a) = 4*a - 6. Let n(t) = 7*t - 13. Let l(p) = -5*f(p) + 3*n(p). Suppose -12 - 37 = -7*j. Let z be l(j). Is z greater than or equal to -2?
True
Suppose 214*z - 219*z + 285 = 0. Which is smaller: 60 or z?
z
Let n(k) = -k**2 - 1 + 0*k**2 + 2 - 3 - 5*k. Let f be 2/((-1)/(-3) - 1). Let y be n(f). Which is greater: y or 0?
y
Let x = -842/765 + -14/45. Is -2 < x?
True
Let l(d) = d**3 + d**2 - 6*d - 5. Let g be l(-3). Let w(y) = -y**3 - 5*y**2 + 3*y - 1. Let p be w(g). Let f be 40/99 - p/(-72). Does 9 = f?
False
Let b = 159/94010 + -404969281/40330290. Let l = b + 111/11. Which is bigger: -1 or l?
l
Let h = -44 + 35. Suppose -15 = -4*w + 9. Suppose w*s = 2*s - 32. Is h >= s?
False
Let f = -28983 + 201619/7. Let c = 181 + f. Which is bigger: -2/19 or c?
c
Let s = 1 + 14. Let j = s + -16. Which is smaller: j or -0.08?
j
Let n = -385.6 - -386. Is n at least -1.6?
True
Suppose 5*i + 3*y - y = 2, -20 = 5*y. Suppose i*v + w = 4*v - 21, -18 = -v + 2*w. Suppose -3*r + v = 4*s - r, 5*r + 10 = 0. Is s smaller than 1?
False
Let g = 0.238 - 0.438. Let l = 0.5 + -0.53. Which is greater: l or g?
l
Let f(a) = 27*a + 64. Let c be f(-3). Let h = -29 - -13. Let d = c - h. Which is bigger: d or 2/25?
2/25
Let j(m) = -m**3 - 3*m**2 + 41*m + 6. Let x be j(-8). Let z = 3.5 + -5.4. Let g = 2 + z. Which is bigger: x or g?
g
Let r = 44 - 35. Let d = -10 + r. Which is bigger: d or 1/12?
1/12
Suppose -3*h - 4*l = -28, l = -h - l + 12. Let p be 3/2*h/18. Suppose 2*k - 11 = -4*z + 5*k, -2*k = 10. Does p = z?
False
Suppose -30*h = -27*h + 6. Let l be 3 + -3 - (-4 - 0). Suppose l*a = -n - 0*n - 10, 5*n = -4*a - 18. Is h != n?
False
Suppose 0*h - 2*h + 30 = 0. Let j = 943 + -929. Which is bigger: j or h?
h
Let q = 77.3 - 107.3. Which is bigger: -7 or q?
-7
Let u(g) = 4*g**2 + g. Let m be u(1). Let f be ((-5)/m)/((-1)/(-1)). Let y = -1127/24 + 47. Is y bigger than f?
True
Let h be 74/6 + 22/(-66). Let k be h/42 + (-48)/21. Is 8 greater than or equal to k?
True
Let g = 223 - 234. Let p = -1 + 12. Let a be (p/(-4))/((-2)/(-8)). Are g and a non-equal?
False
Let b = 42.69 - 44.6. Let u = 1.8 + b. Let v = 5.11 + u. Which is bigger: v or 0?
v
Let y(l) = -l**2 + 16*l + 38. Let k be y(17). Suppose -5*j - n + 65 = 0, -j - k = -4*j + 3*n. Are 12 and j nonequal?
False
Suppose 3*q + 1 = 4. Let d = -0.91 + 0.11. Let n = d + 0.9. Which is greater: q or n?
q
Suppose 0*l + 4*g - 42 = 2*l, 5*l = -g - 149. Let c = 42 + l. Let z = c + -13. Is z less than -1/8?
False
Let p(l) = -l**2 - 15*l + 3. Let z be p(-15). Suppose -z*w + 7 = -4*b, -2*b = -5*w - 7*b - 35. Let c be (0 - 2)*4/2. Is c > w?
False
Let h = 25.78 + -18.78. Does h = 0?
False
Let u = -0.2 + 0.1. Suppose 7*l + 66 = -67. Is l smaller than u?
True
Let y = 474 - 475.5. Which is greater: -0.6 or y?
-0.6
Let c = -113 - -113.97. Let h = c + -0.67. Which is smaller: h or -2/7?
-2/7
Let r = -43603/78 + 3025505/3198. Let z = r + -387. Suppose -h + 2*j = 6*j - 23, -5*h + j = 11. Which is smaller: h or z?
h
Let o = 13768/741 + -242/13. Let q be (-11)/9 - (-10)/45. Which is bigger: o or q?
o
Let k = -871015/131 + 6649. Let m = 1151/917 + k. Let a = -509/385 + m. Which is smaller: 1 or a?
a
Let j = 20 + -14. Let q be (-17)/51 + (-10)/(-3). Suppose 28