*r**3 + r**2 + r - 3. Let t be w(2). Suppose 2708 = -7*h + t. Let l = 4905/14 + h. Which is greater: l or -2?
l
Let c = 4003 - 51973/13. Are c and 4 equal?
False
Suppose -4*w = x - 759, 4*x - 3081 = 198*w - 199*w. Is 771 smaller than x?
False
Suppose -5*b + 2*f + 23 = 0, 0 = 3*f - f + 8. Suppose 8*j - b*j = 20. Suppose 2*v - 27 = t, 4*v - 127*t = -132*t - 9. Do v and j have the same value?
False
Suppose m - 4*j - 44 = 0, -5*m - 115*j = -118*j - 101. Which is bigger: -63 or m?
m
Suppose -4*u = -u + 5*x - 15, 4*u - 9 = -3*x. Suppose 12*b + 96 = -u*b. Is b > -4?
False
Let p = 3270 - 3271. Is p > 1/569?
False
Let t be 8 + (-6 + -2)/1. Let a be (-1)/4*2/(-68). Which is bigger: t or a?
a
Suppose 0 = 7*g - 3*g + 184. Let l(b) = 53*b + 429. Let w be l(-9). Which is greater: w or g?
g
Let l be (-634688)/352560 + (-63)/(-35). Which is smaller: 0 or l?
l
Let u(k) = -13*k**2 + 54*k - 549. Let x be u(21). Do x and -5148 have the same value?
True
Let y = -142 + 21. Let c = -98 - y. Let x = -27 + 48. Is c < x?
False
Let o(g) = 14*g**3 + 150*g**2 - 26*g - 22. Let y be o(-11). Let d = 312 - 533. Does y = d?
False
Let l = 258780679/24645 + -31501/3. Which is smaller: l or 1?
l
Let a(z) be the second derivative of 3*z**3/2 + 35*z**2/2 - 70*z. Let o be a(-4). Which is smaller: 5/23 or o?
o
Suppose 5*v = 3*v - 10, 0 = -2*z - 4*v + 90. Is 42 equal to z?
False
Suppose g + 8 - 22 = -15. Which is smaller: g or 2/8465?
g
Suppose 3*b + 4*p - 4 = 19, -5*p = 4*b - 29. Is -15/206 at most b?
True
Suppose -28*b = -27*b - 3. Suppose -h + b*h = -8, f - 5*h - 21 = 0. Which is smaller: f or 6?
f
Let q = 859 - 844. Suppose 0 = z - 4, 16*g = q*g + 5*z - 30. Is -4 != g?
True
Let c(z) = -2*z**3 + 15*z**2 - 8*z + 5. Let f be c(7). Let g be (f + (-44)/(-8))/(1/14). Suppose -1 = -4*y - g. Is -0.1 less than y?
False
Let g(m) = -25*m**2 + 85*m + 1705. Let t be g(-18). Is -7926 < t?
True
Suppose -24*o - 1135 = 5*l - 20*o, -5*l + 12*o = 1215. Let a(v) = -232*v**3 + 2*v - 1. Let q be a(1). Is l > q?
False
Let z = -4194.99 + 4195. Let n = 23.019 - 0.019. Let m = 23.06 - n. Which is greater: z or m?
m
Let b(g) = 4*g + 335. Let s be b(-93). Is s not equal to -38?
True
Let n be -1*((-9)/(-3) + -2). Let k be (-3)/213*(-11 - 72/(-9)). Which is bigger: n or k?
k
Let h(p) be the third derivative of p**4/4 - 139*p**3/6 + 86*p**2. Let w be h(21). Is w < -14?
False
Let l = -97 - -406. Let h = l + -305. Suppose -u + 3 = -2*u. Which is smaller: h or u?
u
Let n = 49 - 16. Let k(v) = -2*v**2 - 79*v - 448. Let l be k(-32). Is l at most n?
True
Let s = 5 + -29. Let i = 70/3 + s. Let r = -10010 - -10009. Does r = i?
False
Let n = -2629 + 2812. Is n at most as big as 184?
True
Let n(r) = -r**2 + 13*r + 48. Let x be n(-3). Let b = -436/17 - -5401/255. Let j = b + 14/3. Which is bigger: j or x?
j
Let t be 5/3*(-109 + -38). Let h = 248 + t. Is h at least -1?
True
Suppose -4*h - 3*q - 7976 = 9578, 5*h - 4*q + 21927 = 0. Which is smaller: -1 or h?
h
Let n(w) = w**3 + 3*w**2 + 3*w + 25. Let z be n(-4). Let m be 3 + z/(-12)*-11. Which is greater: 5 or m?
5
Let g = 2400 + -2399.89. Is g greater than or equal to 0.056?
True
Let d(g) = g**3 - 8*g**2 - 55*g - 18. Let y be d(12). Are y and 11 unequal?
True
Let s = -9.1 + 3.6. Let f = s + -20.5. Let w = 28 + f. Is -12 at most as big as w?
True
Let u be ((-1 - -2) + -4)*23/(-69). Suppose 4*j = 3*a - 4, j + u = -0*a - 2*a. Is 2/409 < j?
False
Let l(n) = n**2 + 11*n - 106. Suppose -4*f = -3*c - 44, -50*c + 47*c + 2*f = 52. Let y be l(c). Is y at most as big as 76?
True
Suppose -v + 4 = -s, 57*v = 55*v - 3*s + 33. Are v and 134 equal?
False
Suppose -17*u - 20*u - 22*u = 0. Is -1/3139 < u?
True
Let w be 1185/9 + (-1)/(-3). Suppose 48 = -9*r - w. Let o be (0 - (-9)/r)*(-16)/(-6). Are -1 and o non-equal?
True
Let q be ((-132)/99)/(6/99). Let c be (-5)/15*3*(1 - q). Is c bigger than -24?
True
Let w(r) = 5*r + 8. Let c(d) = 6*d + 9. Let z(a) = -6*c(a) + 7*w(a). Let s be z(6). Let m = 1092 + -1090. Is s bigger than m?
False
Let k = -1.3293 - -1.0993. Are -3.16 and k nonequal?
True
Let f = 104 - 48. Let w = -56.018 + f. Let t = 0.082 - w. Is t bigger than -0.22?
True
Let m = -716 - -404. Let y = m - -312.04. Does 1/2 = y?
False
Let k(x) = 2*x**2 + 4*x - 1. Let h be 29/(-9) + 0 + (-36)/(-162). Let l be k(h). Suppose 0 = -3*w + l*w - 4. Which is smaller: w or 10?
w
Let x = -0.9 - 0. Let l = x + -3.3. Let z = l + 4.1. Is z at most as big as -1/30?
True
Let b(n) = n**2 - 17*n + 67. Let s be b(11). Which is smaller: -4/925 or s?
-4/925
Let f = -156.2 - -1585.2. Is f at most as big as -0.1?
False
Let l(q) = 2*q**2 - 2*q - 4. Let k be l(2). Suppose k = -8*o + 701 - 13. Is o <= 87?
True
Let a be 3/(-36)*-4*36/4. Let o be ((-165)/44)/(0 + 1/4). Which is bigger: o or a?
a
Let q(j) = -100*j - 6023. Let l be q(-105). Is l at most 4478?
True
Suppose 24*h + 2895 + 777 = 0. Let v be -1 + (-12)/(-3) + 477/h. Which is greater: -2/9 or v?
v
Suppose 61 = -4*w + 17. Let h(m) = m + 27. Let s be h(w). Let o(q) = -10*q + 279. Let c be o(26). Which is greater: c or s?
c
Suppose -9 = -4*r + 4*p + 11, 2*r = -4*p - 14. Let b = -83 + 88. Let k = 10 - b. Which is smaller: k or r?
r
Let f be 1394/(-160) + (3/(-15))/((-28)/56). Which is smaller: -8 or f?
f
Let m(x) = 6*x - 5*x - 3*x - 1 + 4*x. Let k(h) = 8*h**2 + h. Let n be k(-1). Let g be m(n). Which is smaller: g or 12?
12
Let r(v) = -v**3 + 95*v**2 + 2031*v - 144. Let p be r(113). Is -483 at least p?
True
Let z = 232087/2541 + -3/847. Let w = z - 91. Which is bigger: 1.11 or w?
1.11
Suppose -113813*q + 113777*q = -792. Let a = 12 - -8. Which is greater: q or a?
q
Let l = -46 - -49. Let t = 8 - -1. Let d = 9 - t. Is l less than d?
False
Let q = 4 + -3. Suppose -5*b + 284 = g, -3 = 8*g - 5*g. Suppose -b = -13*n + 16*n. Is n at most q?
True
Let u = 3306.5 + -3308. Which is bigger: -268 or u?
u
Suppose 20*p - 1181 = -7*p + 34189. Is p < 1311?
True
Let s = -7 - -24. Let p = s - 12. Suppose 32 = -p*c - 13. Is c at most -8?
True
Let d(f) = f**2 + 6*f - 3. Let a be d(-7). Let x = 0.62 - 2.22. Which is greater: x or a?
a
Let q(u) = u**2 + 5*u - 4. Let s be q(1). Let b be s*(6/34)/(-3). Which is smaller: b or 0?
b
Suppose 0 = -37*z + 23*z + 9*z + 1850. Which is bigger: 369 or z?
z
Let j = -14 + -176. Let f = j + 183. Is -15 greater than f?
False
Let i be (-16)/(-56) + 1/(-7). Let p = 67.061 + -0.061. Let k = 61 - p. Is k < i?
True
Let v(j) = j**3 - 4*j**2 - 5*j + 4. Let w be v(4). Let a(g) = g**3 - 110*g**2 + 105*g + 428. Let n be a(109). Which is smaller: n or w?
w
Suppose 5*k = 3*k + 4*u - 32, 4*k - u + 29 = 0. Let y(r) = -42*r + 1189 + 43*r - 1206. Let l be y(k). Is l at least as big as -23?
True
Suppose -24*k + 48*k = -1320. Let j = 61 + k. Is 65/11 >= j?
False
Suppose -1 = -t - 0*t. Suppose 0 = 2*g - 0*g + 2*u - 124, 2*g - 5*u = 145. Let r = 60 - g. Which is smaller: r or t?
r
Let j(k) = 27*k + 240. Let v be j(-8). Let h be (-8*v/8)/(-82). Which is bigger: -1 or h?
h
Let y be 34 + (-168469)/14 - (-2)/(-4). Which is smaller: -11998 or y?
y
Let u = -42849 - -24099. Is u at most 1/2?
True
Let c be 5/50*-74 - 3/5. Let m be (165/20)/((-2)/c). Which is smaller: 35 or m?
m
Let k be 27/(-2*(-27)/(-540)). Which is smaller: -255 or k?
k
Let y = -0.0453 - 99.9547. Is y < 2/13?
True
Let m = 1681 - 1681.04. Which is greater: m or -0.193?
m
Let w(f) = -2*f**3 + 14*f**2 + f - 3. Let n be w(7). Let l be n/(-6)*(-255)/34. Suppose -7 - 8 = -3*j. Do l and j have the same value?
True
Let x be -1 - -2 - (26 - -1). Let s(g) = -g**3 + 22*g**2 + 23*g + 1. Let n be s(23). Let l be n - 3 - (-6 - 84/x). Which is greater: l or 2?
2
Suppose 0 = 4*k - 18 + 2, 2*t - 1628 = 2*k. Is 819 not equal to t?
True
Let z be (92/(-69))/(12/207). Are z and -1 equal?
False
Suppose -46*f = 11578 + 104327 + 35021. Are -3281 and f unequal?
False
Let p(z) = -z**2 + 15*z + 5877. Let s be p(83). Which is smaller: 238 or s?
s
Suppose 15611 = 73*b - 2055. Which is greater: 241 or b?
b
Let k be (0 - 6) + 6 - -24. Suppose -l + 5*b = k, 3*b + 23 + 25 = -2*l. Which is greater: -27 or l?
l
Let x be 12/(-4) - (-2190 + -9). Suppose 0 = -101*l + 83*l - x. Which is smaller: l or -123?
-123
Let o be (-1240)/414 - (0 + -15)/5. Let y = o + 205/414. Do y and 11/13 have the same value?
False
Let n be -6*(81/6)/9. Let u(p) =