3*2 + (-2360)/(-392). Let u(t) = -t**3 - 7*t**2 + t + 6. Let h be u(-7). Are h and b equal?
False
Suppose -3*k + 0*g - 482 = -5*g, k = -2*g - 168. Let m = k - -130. Which is greater: -0.1 or m?
-0.1
Let t = 73/414 + -3/46. Let h = 1806 + -1805.8. Which is bigger: t or h?
h
Suppose 34*o = 28*o - 1584. Which is smaller: -263 or o?
o
Let q be (-6)/4 - 7/(-2). Suppose -y = -2*b - 4 - 2, -5*b = -q*y + 15. Which is bigger: y or 4/7?
4/7
Let v(j) be the third derivative of -j**5/60 - j**4/6 - 8*j**3/3 - 9*j**2. Let t be v(-6). Let p be t/9 - (-6)/3. Is -1 less than p?
False
Suppose 4*z = -2*f + 58, 0*z - 5 = 5*z. Suppose 0 = -3*o + f - 7. Which is smaller: 6 or o?
6
Let h(a) = a**3 - 7*a**2 - 15*a - 2. Let o be h(9). Let x = o + -12. Do x and 13 have different values?
False
Suppose 3*p = g - 16, -g + 16 = 3*g. Let i be 2/p*(1 - 1). Suppose i = -5*b - 2*u, b = 5*u - 2*u. Which is smaller: b or 2/29?
b
Let q = 13 + 11. Suppose 2*s - q + 26 = 0. Is s greater than 2/61?
False
Let f = -47 - -133. Is 85 greater than or equal to f?
False
Let a(c) = c + 4*c + 6 - 7*c. Let z be a(4). Which is smaller: z or -3?
-3
Suppose p = -5*p - 192. Let f be 4/16 + (-24)/p. Let j = 2.8 - 2.49. Is f bigger than j?
True
Let l = -40 + 70. Let f = 30 - l. Which is greater: f or -0.3?
f
Let s = 567.81 + -568. Let j = -3 + 3. Is s at most j?
True
Suppose 4*n - 42 = n. Let t be 64/28 - 4/n. Suppose -i + 3*w - t*w = 6, -4*i - 3 = 3*w. Which is bigger: 0 or i?
0
Let v(t) = -t**2 - 2*t + 8. Let c = 60 + -64. Let g be v(c). Which is bigger: g or 8/23?
8/23
Let n be ((-3)/(-12))/(24/(-36896)). Is -385 at least as big as n?
False
Let y = 0.517 + -0.356. Let i = -0.061 + y. Which is greater: 2/35 or i?
i
Suppose -j = -6 - 3. Suppose q = 2*q - j. Suppose -11*y = -2*y - 72. Are y and q equal?
False
Let h = -7 + 11. Suppose 10 = h*u - 30. Is 8 != u?
True
Let v = -3.0516 - 0.0484. Which is smaller: v or 3?
v
Let x = -4868756267039/18814 - -258783686. Let d = x - 3/409. Which is greater: d or -1?
d
Suppose -4*q - 11 + 103 = 0. Let p be (24/(-10))/((-1)/(-10)*-1). Let a = q - p. Which is greater: 3 or a?
3
Suppose -7 = i - p + 6, i - 5*p + 9 = 0. Let l be (1 - (-15)/(-21)) + (-192)/i. Suppose 3*h + 45 = 2*m, -2*m - 3*h = -m. Which is smaller: l or m?
l
Let z be (2 - (-3)/(-2))/((-20)/(-7960)). Is 197 less than z?
True
Let c = 13 + 5. Let s = c - 18. Let x = s - 3. Are x and -1 equal?
False
Let t = 25 - 22. Suppose 6 = 2*b + t*n - 3, 0 = 3*b + 3*n - 15. Suppose 0 = 3*w, b*x = 2*x + w + 8. Do x and 2 have different values?
False
Let a(m) = 41*m - 5. Let q be a(-1). Let n = -54 - q. Are -8 and n nonequal?
False
Suppose -59 + 48 = -x. Suppose x*u + 1 = 12*u. Which is smaller: 1/11 or u?
1/11
Let s = -1289/221 + 85/13. Which is greater: s or 1?
1
Suppose 21*y - 2 = 20*y. Suppose -3*q = 2*t + 110, -4*q + y*q - 4*t - 84 = 0. Which is smaller: q or -33?
q
Suppose 5*h - 2*w - 255 = 326, 5*h + 2*w - 569 = 0. Which is smaller: 108 or h?
108
Let q(p) = -2*p**2 - p + 2. Let c be (4/1 + -3)*-2. Let v be q(c). Let h be ((-7)/63)/(v/(-30)). Which is bigger: -2 or h?
h
Let d = 2.25 - -1.76. Let b = d + -0.01. Let x = 62 - 125/2. Are x and b nonequal?
True
Let n = -16843/5 - -3451. Let x = n + -83. Which is bigger: 0 or x?
0
Let d = 28.7 - 26. Let i = d - 3. Let c = 217/4 - 55. Which is smaller: c or i?
c
Let k be (-1136)/(-26)*9/(-18) - 2. Let w = k - -16404/689. Is w at most as big as 0?
True
Let h be ((-9177)/38)/23*40/(-6). Is h at least as big as 78?
False
Suppose 0 = 29*t + 19*t. Suppose 0 = k - 3*u - 17, 2*k - 5*u - 18 = -3*u. Let q = k - 7. Is t greater than q?
True
Let h(o) = -6*o + 114. Let r be h(10). Which is smaller: 3 or r?
3
Let x = 158 + -158. Let i be (4/(-2))/((-4)/(-58)). Let z be 2 + x + i/15. Is z bigger than 0?
True
Let f = 0.07 + -0.2. Let q = -41 + 41.23. Let u = f + q. Which is smaller: -1/4 or u?
-1/4
Let c = 143 - 148. Suppose -6*t + t = 35. Which is bigger: c or t?
c
Let m be (-1)/(-7) - (-410)/1148. Is -10/7 < m?
True
Let o = -27 + 27.04. Let w = o + -0.34. Is w at least as big as 6?
False
Let i(b) = 3*b + 5*b - b**2 + 2*b + 13. Let s be i(10). Are 16 and s non-equal?
True
Let m be (-6)/4*(-624)/(-117). Is -38/5 > m?
True
Let t be (-4)/(-18) - 1896/27. Is -70 > t?
False
Let q = -0.9 + 0.9. Let i = -134 - -161. Which is smaller: q or i?
q
Let v = 3727 + -3722. Let y be (11 + 1)*2/4. Is v > y?
False
Suppose 0*c - 3 = -3*c. Let q = -4 + 6. Let z be (1 - (q + -3))/9. Which is bigger: z or c?
c
Let c be (-2873)/2665 - (-3)/15. Is c less than 0?
True
Let d = 61.06 - 21.14. Let u = d + -40. Which is smaller: u or -0.1?
-0.1
Let y = 47 + -44. Suppose 3*b = r - 3*r - 23, 4*r = -2*b - 26. Let j be y*(r/9)/(-4). Which is greater: j or 5?
5
Suppose 0 = x + 4, -929 - 944 = n + 2*x. Let o = -221933/119 - n. Do 1 and o have the same value?
False
Let z(y) = y**2 + 3*y - 3. Let l be z(-3). Suppose -4*h - 2*i + 144 = 0, 0 = 4*i + 2 - 18. Let a = h - 36. Is a greater than l?
True
Let l be 15/3 + (343/3)/(-1). Which is greater: l or -109?
-109
Let r(a) = a - 19. Let q(y) = 4*y - 58. Let l(n) = 5*q(n) - 16*r(n). Let o be l(2). Do 24 and o have the same value?
False
Let a = 8383/62 + -84/31. Let y be 1/1 - 3431/(-26). Let z = a - y. Is -1 > z?
False
Let v(b) = -b**3 - 8*b**2 + b + 13. Let c be v(-8). Is -13 < c?
True
Suppose 6 + 6 = 6*f. Let k be -4 - -1*(4 + f). Is 2 smaller than k?
False
Let y(k) = 12*k + 121. Let l be y(-10). Which is smaller: l or -6/127?
-6/127
Let z = -1349/55 + 139/5. Which is smaller: 3 or z?
3
Suppose 0 = 3*r - 0*r + 5*r. Let d = 1451/75 + -59/3. Let b = -138/275 - d. Which is bigger: r or b?
r
Let r = -0.019 - -0.749. Let n = r - -0.27. Which is bigger: n or 0.19?
n
Suppose 3*n - 8 = -n. Suppose 7*g - 2*g + 5*i - 50 = 0, 59 = 5*g + n*i. Which is greater: 11 or g?
g
Let a be -1 - -1 - 2 - -36. Suppose -a*z = -37*z - 9. Let l(j) = -j**3 - 4*j**2 + 4*j - 6. Let i be l(-5). Which is bigger: z or i?
i
Let l = -3.04 + 0.04. Let x = 3216 + -3223. Are x and l unequal?
True
Suppose -12 = -5*r - 2. Suppose n = 3*y + r*n, -5*y - n = 0. Let j(p) = -p**2 - 5*p + 7. Let o be j(-6). Which is smaller: y or o?
y
Let z = 696 - 689. Which is smaller: z or 2?
2
Let b = -40.991 - 0.009. Let z = -40.9 - b. Is -1/41 bigger than z?
False
Let h(m) = -214*m**3 - 3*m**2 - 5*m + 6. Let u be h(1). Which is greater: -218 or u?
u
Let d be (-25)/18 + (7 - (13 - 6)). Which is greater: -1 or d?
-1
Let m = 100 - 99. Let r be 5 - (3 + -4 - m). Suppose -h = h - 18. Which is smaller: r or h?
r
Let g(j) = 3*j**2 - 3*j + 2. Let i = -18 - -19. Let r be g(i). Let m = r + 0. Is m at least as big as 1?
True
Let a = -1/382 - -577/1528. Let y be ((-17)/(-119))/(2/14). Which is smaller: a or y?
a
Let v = -20 + 15. Let b be 1239/15*v/6. Let y = b + 69. Which is smaller: 0 or y?
0
Let m = 216.5 - 216. Which is smaller: m or 1/10?
1/10
Let i = 1/721 + 11531/3605. Which is smaller: 4 or i?
i
Let b = 4.04 + -0.04. Suppose 4*g = -40 + 52. Suppose -m + 4 = g*m. Which is smaller: b or m?
m
Suppose -1 = j - 6. Let r(c) = -c**3 + c**2 - j + 12 + c - 7. Let q be r(-1). Is -1 not equal to q?
True
Let w be (-1 - 2/(-6))/((-19)/57). Which is smaller: 108/59 or w?
108/59
Let c = -353 + 5649/16. Suppose -2*i - 3 = i. Does i = c?
False
Let g = -2093/5 + 6284/15. Is 22 greater than g?
True
Let p = -771 + 772.4. Which is greater: -0.28 or p?
p
Let w = -20 + 18. Let y be (1 - w) + (-22)/2. Suppose -5*r + j - 40 - 10 = 0, 2*r + 3 = -3*j. Which is smaller: r or y?
r
Suppose 9739 + 2741 = -52*z. Do -243 and z have different values?
True
Suppose 0 = -5*j - 4*s - 1, 7 + 0 = -3*j + 4*s. Is j bigger than -1/947?
False
Let z(u) = 23*u + 147. Let k be z(-10). Are k and -81 nonequal?
True
Suppose -5*o + 10*o = 25. Suppose -l - o*m + 44 = 0, 0 = -2*l - 4*m + 80 - 22. Is 19 less than or equal to l?
True
Let i(a) = a**3 - 7*a**2 + a + 6. Let g(x) = 5*x**3 - 28*x**2 + 4*x + 24. Let v(o) = -2*g(o) + 9*i(o). Let s be v(-7). Is -21/10 < s?
True
Let c = 2007/5 + -396. Let v = c + -29/5. Let n = -237 - -236. Are v and n equal?
False
Suppose 112 = -5*l + 72. Let b = l + 25/3. Is b <= 17?
True
Suppose -7*y + 2*y - 15 = -s, -4*s - y + 60 = 0. Let c = s + -3. Suppose 0 = 5*q - 42 - 18. Is q != c?
False
Suppose a = -1 - 12. Let z(y) = y**2 + 12*y - 20. Let g b