. Suppose d = 5*d + v - 7, 4*d + 2 = 2*v. Is y > d?
False
Let j(d) = 15*d**3 - d + 1. Suppose 25*p = 30*p - 5. Let k be j(p). Is 43/3 smaller than k?
True
Let a = 896 + -1465. Which is smaller: a or -570?
-570
Let d = 1 + -1. Let w = 11.209 + -8.209. Which is smaller: d or w?
d
Let u = -686/2049 - -1/683. Is u greater than -397?
True
Let o be (-1)/(((-3)/15)/1). Suppose o*z = f - 12, f - 3 - 7 = 4*z. Let c(i) = i**3 - 2*i**2 - 2*i + 1. Let p be c(f). Is -3 less than p?
False
Let x = -19/2 + 10. Let u = 7.9 - 8. Is x > u?
True
Suppose 2*g = 16 - 6. Suppose -g*k + 2*y - 38 = 0, -4*y = 5*k - 3*y + 26. Let h(w) = -7*w**2 - 7*w + 6. Let z be h(-2). Which is greater: z or k?
k
Suppose -5*n - 4*m = 4, -2*m - 3 = -4*n + m. Suppose n = -3*t - 2*o - 122, 10*o = 5*t + 5*o + 170. Which is smaller: t or -36?
t
Let t = -2624 - -13041/5. Which is smaller: t or -17?
-17
Let k(g) = -g**3 + 4*g**2 + 3*g + 12. Let x be k(5). Suppose 0 = 3*i + x*i + 35. Is i less than -7?
False
Let i be 2/6 + -3 + (1 - -1). Let w = i - -1. Which is greater: 0.2 or w?
w
Let q be -3*(-3 + 51/(-9)). Let m be q/117 - 46/(-198). Which is greater: m or 1?
1
Let k = -25 - -25. Suppose b - 103 = -4*t - 4*b, k = 4*t + b - 123. Suppose -d + i - 2 = -i, -4*d = -2*i + t. Which is smaller: d or -11?
-11
Let o = -12.915 - -13. Let p = o - 12.885. Let v = p - -12. Which is bigger: 0.1 or v?
0.1
Let i = 1.148 + 0.632. Which is greater: i or 2/7?
i
Let j = -928397/22594 - 1/2054. Let l(y) = -y**3 + 14*y**2 - 16*y - 2. Let h be l(13). Let b = h - j. Which is greater: -1 or b?
b
Let a = -4458 - -138186/31. Is a at least -1?
True
Let n = 20 - 28. Let k be 2*-11 - (-32)/n. Is k at least -25?
False
Let l = -54.5603 + 1.1703. Let y = l + 53. Are y and 0.1 unequal?
True
Let n = -1.295 - -2.295. Which is greater: 0.0002 or n?
n
Let b = 2/69 + -164/897. Let r(n) = -7*n**2 - 10*n - 3. Let x(u) = -13*u**2 - 19*u - 6. Let j(m) = 11*r(m) - 6*x(m). Let i be j(-2). Are b and i non-equal?
True
Let u = 117 - 117.178. Let g = u + 0.078. Which is smaller: -0.01 or g?
g
Let z be 963302762/462 + (-10)/(-55). Let h = z - 2084591. Let a = h + -480. Which is smaller: a or -1?
-1
Suppose 0 = i + 12691 - 12675. Is -16 at least as big as i?
True
Let r(f) = -f**3 - 12*f**2 + 13*f - 1. Suppose -n + 2*j + 66 = n, -5*n - 2*j = -165. Suppose -4*s + 2*y = -s + n, 3*y - 30 = 3*s. Let u be r(s). Is -4 < u?
True
Let b = -7102/3270741 + -4/4889. Let n = 77/892 + b. Which is smaller: n or 0?
0
Suppose 0 = 23*m + 317 + 672. Which is smaller: -45 or m?
-45
Suppose -87*t - 26 - 670 = 0. Suppose -5*a - 4 = -a + 4*g, 4*a - 3*g = -11. Is t > a?
False
Let m = 0.236 - 0.236. Which is bigger: -8 or m?
m
Let v(l) = -l**3 - 5*l**2 + l + 5. Let x be v(-5). Suppose x = -z + 5*a - 5, -z + 2*a - 30 = -2*z. Suppose z = -g - g. Do -9 and g have different values?
True
Suppose 0 = -6*y + 2*y - 20. Let a be 4*(-4)/(-10)*y. Let f = 9 + a. Is f smaller than 0.6?
False
Suppose 4*s + 7 + 17 = 0. Let a = 152 - 156. Which is bigger: s or a?
a
Let d be (164 - 79)*(0 - -1). Is 81 > d?
False
Let d(n) = n - 8. Let m = 2 + 3. Let u = 5 + m. Let o be d(u). Are o and 14/9 nonequal?
True
Let o(j) = j**2 - 4*j - 2. Let m be o(4). Let u be -82*(-6)/126 + 8/m. Which is bigger: 0 or u?
0
Let h = -21 - -17. Let w be 36/24 + 2/h. Let g = 3 + -3. Do w and g have different values?
True
Let h(w) be the second derivative of w**3/3 - 14*w**2 - 8*w. Let t be h(13). Let i be (1 + 2)/(6/(-4)). Is i at most t?
True
Let y be 2*413/14 - 5. Is 56 equal to y?
False
Let i(n) = -4 - 4*n**2 - 2 + 5*n**2 + 9 + 11*n. Let k be i(-8). Which is bigger: k or -20?
-20
Suppose 0 = -4*h + h - 63. Let a = 24 + h. Let i(u) = -u**3 - 4*u**2 - 5*u - 4. Let p be i(-3). Is p less than a?
True
Suppose 19 = -9*m + 10. Do -13 and m have the same value?
False
Let h = -14.28 + 0.28. Let u = 8.061 + -0.061. Let z = u + h. Which is smaller: z or -1/2?
z
Let r = 0.16 + 12.84. Let u = r - 23. Let j = u - -7. Which is bigger: -2/7 or j?
-2/7
Let j = -12.8013 - -0.0013. Which is smaller: j or 6/11?
j
Let b(n) = n**2 - 24*n + 79. Let k be b(4). Which is smaller: k or 2/3977?
k
Let o(b) = 27*b + 204. Let x be o(-10). Is x != -196/3?
True
Let l(u) = -10*u + 232. Let m be l(21). Which is greater: m or 21?
m
Let g be 0 + 2 - 4/((-8)/10). Suppose -7 + 21 = g*u. Suppose 2 = -4*q + 18. Which is bigger: u or q?
q
Let v = -526.93 + 527. Let k be (1/3)/(0 + -1). Which is smaller: v or k?
k
Suppose 8 - 14 = -3*q. Let i be 2/6 - q/(-3). Let c = 2/99 + 29/198. Is i <= c?
False
Let y = -7 + 7.031. Let z be (-20)/50*5*2/10. Which is smaller: z or y?
z
Let p = -20 - -58. Let x be (16/11)/(1/(-26)). Let o = p + x. Is 1 < o?
False
Let m = -38.906 - -39. Let u = m - -0.006. Which is smaller: 10 or u?
u
Suppose -2*h = 4 - 0, 0 = 4*f + h + 2. Which is smaller: 31 or f?
f
Suppose -5*f + 48 = -7*f. Let z = f + 34. Is z > 11?
False
Let z be (52/(-12))/((-1)/(-6)). Let p be (3/5)/((-12)/15 + 1). Let h be 2/(z + (p - 2)). Which is smaller: h or 0?
h
Suppose -o + 3*q + 118 + 115 = 0, q = 3*o - 659. Let l = -134 + o. Let p be (-8)/16 - (-50)/l. Is p greater than 0?
True
Let n = 3 + -4/5. Let r be ((-18)/(-8))/(-1)*(192/(-18))/8. Is r greater than or equal to n?
True
Suppose -5*i = 2*s - 28 + 7, -3*s + 3*i = 0. Suppose v + 0 = c + s, -5*v = -2*c - 6. Let n be (-314)/(-1727)*44/14. Is n smaller than v?
False
Suppose 0 = -3*g - 3*s + s + 42, 0 = -s. Suppose -10*i + 5*i + 75 = 0. Which is bigger: g or i?
i
Let j be (-401803)/(-308) + 5/20. Let x = 1305 - j. Let o = -5/7 - x. Is -1 > o?
False
Let v be -32 - 0/(-7 - -16). Which is smaller: 0.01 or v?
v
Suppose 0*g - x = -2*g + 7, -5*x = 2*g - 25. Let u be 128/g - (-18)/(-30). Suppose q + u = 6*q. Which is smaller: 4 or q?
4
Let a(f) be the second derivative of -f**4/12 + 2*f**3 + 31*f**2/2 - 3*f. Let b be a(14). Let i be 0 + 0/(-1) + 3. Is b not equal to i?
False
Let x = -479 + 479.56. Is x equal to -1?
False
Let b be (16/(-28))/(6/(-21)). Suppose -2*s + 58 = b. Let p be 8/s - 36/(-70). Which is greater: 0 or p?
p
Suppose 4*j - 135 = 3*s, 5*j + 2*s - 143 = 20. Which is greater: j or 103/3?
103/3
Let n be (-3)/((-570)/(-76))*1*(-5)/49. Let b(s) = -2*s + 1. Let y be b(-1). Let d be (-2)/y + (-4)/(-6). Is d at least as big as n?
False
Suppose 8*b - 7*b + 2*u = 11, 3*b + u = 8. Which is bigger: 11/9 or b?
11/9
Suppose -32*v = -31*v - 97. Which is smaller: v or -3?
-3
Suppose -9*b + 1015 = 997. Which is smaller: -1.2 or b?
-1.2
Let w(n) = 20*n + 44. Let p(k) = 6*k + 15. Let x(j) = -7*p(j) + 2*w(j). Let s be x(-9). Are 0.63 and s nonequal?
True
Let k be 3/2 + 3 + 21/(-6). Which is smaller: k or 16/7?
k
Suppose -425*f - 7539 = -418*f. Is f <= -1077?
True
Suppose 7*q + 32 = -q. Let w be 2/17*(-2)/q. Which is greater: w or -1?
w
Let i(k) = 7*k - 51. Let m be i(21). Let t = 99 - m. Which is smaller: t or 8/5?
8/5
Let v be (3264702/(-4))/(150/40). Let b = -216491 - v. Let s = b + -1160. Are -4 and s equal?
False
Let f(g) = 32*g + 54. Let h be f(4). Is h less than 181?
False
Let k = 1/12 - 3/4. Which is greater: 1.03 or k?
1.03
Let q = 0.58 + -49.58. Let l = -84 - q. Is l < 2/7?
True
Let d be (2 + (-8)/12)/(2/(-231)). Let m = d + 153. Is m bigger than -1/210?
False
Let r(k) = 6*k - 194. Let v be r(27). Is -33 equal to v?
False
Let z = 641 - 636. Which is bigger: 0 or z?
z
Let l be (-8)/(-6)*(-4548)/14. Suppose -3*j - 1296 = h, -850 = -2*j + 4*j - 4*h. Let v = j - l. Which is bigger: 1 or v?
v
Let p = -0.891 + -0.109. Let d = 0.111 + 48.889. Which is greater: p or d?
d
Suppose 68*n = 59*n - 72. Which is smaller: -9 or n?
-9
Let k = 22.154 + 0.246. Let h = k - 23. Which is smaller: 2/5 or h?
h
Let a = -143051 + 1138929/8. Let c = a - -684. Do 0 and c have the same value?
False
Let d(a) = -a**2 - 9*a - 4. Let r be (-2)/5 - (-134)/10. Let y = 4 - r. Let b be d(y). Which is smaller: -5 or b?
-5
Let w(i) = i**3 - 23*i**2 + 40*i + 41. Let b be w(21). Let h be (4/(-3))/(8/4). Which is smaller: b or h?
b
Let u(s) = -28*s - 87. Let c be u(7). Do -284 and c have different values?
True
Let z be (-2)/5 + 31/(-10) + 4. Suppose 0 = -g + 4*d + 3, 5*d + 3 + 2 = g. Which is smaller: z or g?
g
Let l(j) = -3*j**2 - 63*j - 36. Let m be l(-20). Let h be 1 + (-3)/(12/(-88)). Is m greater than or equal to h?
True
Let r = 10 + -1