*l + 14, 4*l = a*i - 0 + 4. Let k be l/((-4)/(0 - 4)). Are 2/37 and k nonequal?
True
Let f = -2225 - -2197. Which is bigger: f or 0.5?
0.5
Let j(c) = -c**3 + 3*c**2 + c. Let y be j(3). Suppose -3*k + 2*f + 3*f = -11, -7 = -y*k + f. Let a be (264/1540)/((-8)/(-7) - 1). Which is smaller: k or a?
a
Let c(g) = g**3 + 11*g**2 - 6*g + 10. Let l be c(-11). Let k be (l/(-16) - -4) + -3. Let v = k - -41/12. Do v and -3/4 have the same value?
False
Let q(z) = z**3 + 9*z**2 + 5*z - 8. Let v be q(-8). Let c be v/6*30/4. Suppose -u - c = 3*u. Is -7 at least u?
False
Suppose 52*f - 56*f + 156 = 0. Let b = f - 73. Is b less than or equal to -34?
True
Suppose 0*v + 560 = 4*v. Is 139 >= v?
False
Let h = 0 + 0. Let s = 14 + -11. Suppose p = -s*p. Is p > h?
False
Let n = 55 - 84. Let f be 1/(-1) + 156/(-6). Which is smaller: n or f?
n
Suppose 0 = -7*z + 31 - 101. Is z bigger than -9?
False
Let w = 0.07 - 40.07. Let j = 37.9 + w. Which is smaller: -1 or j?
j
Let f(g) = 2*g**2 + 12*g**3 - 29*g**3 - 52*g**3 - g**2. Let n be f(1). Let k be -2 + n/(-16) - 2. Which is greater: k or 2?
2
Let q(b) = -16*b**2 - 2*b - 4. Let v be q(-3). Let f be ((-4212)/v)/(-6) - -5. Which is smaller: f or 1?
f
Let n(q) = q**3 + 9*q**2 + 10*q + 18. Let r be n(-8). Let d = 2230 + -490599/220. Let v = d - -431/1980. Which is greater: v or r?
r
Let m be -2 + (65690/(-13140) - -7). Which is smaller: 0 or m?
0
Suppose -33*d = 31 + 2. Let b = 0 - 0.1. Is b smaller than d?
False
Let l = 14.8 - 81.8. Which is greater: l or 0.2?
0.2
Let c = -156 - -156. Is c <= -1/122?
False
Let j = 4065259/68149 - 1372/23. Is j greater than 0?
True
Let g = -492 - -491. Is g not equal to 272?
True
Let g(p) be the first derivative of p**3/3 + 3*p**2/2 - 4*p - 13. Let i be g(-7). Let y be (2 - 8)*i/16. Is -8 bigger than y?
True
Suppose -3*k - 4 = 2*y, 3 - 1 = 5*k - y. Suppose k = -4*w + 2*w - 2. Is w > -2/25?
False
Let r be (-4805)/(-24150) - 7/35. Is r <= 0?
True
Suppose -96 = -4*d - y + 4*y, -16 = -4*y. Let t = 28 - d. Let w be ((-4)/16)/((-3)/60). Is w at most t?
False
Let w = 36 + -30. Suppose -w + 1 = 5*n. Which is smaller: 9 or n?
n
Let c(l) be the second derivative of 5/6*l**4 + 3*l - 1/20*l**5 - 4*l**2 + 0 - 4/3*l**3. Let i be c(9). Which is smaller: i or 2/23?
2/23
Let s be 1328/(-20) + (-4)/(-10) + 0. Let b = 65 + s. Is -1 >= b?
True
Let c be 2*26/8*2. Let s(t) = -t**2 + 37*t - 100. Let l be s(3). Which is smaller: c or l?
l
Suppose 2*j - 160 = -30*j. Which is bigger: j or 7?
7
Let w be 9/((-9)/(-2)) - -457. Which is bigger: w or 458?
w
Suppose -60 = 3*v - 216. Is 368/7 less than v?
False
Let s be 12*(0 - 10/(-4)). Let y be 0/((-5)/(-4 + -1)). Suppose b + y*b = 31. Is s at least as big as b?
False
Let k be ((-2)/5 - 0) + 0. Let i = -14 - -22. Suppose i*u + 22 = 22. Which is smaller: k or u?
k
Let n = -2 + 3. Let d be 257/(-4) - 6/(-72)*3. Let v = -64 - d. Does n = v?
False
Suppose -35*p = 201 - 61. Is p at least as big as 78?
False
Let p(n) = -2*n + 25. Let f be p(10). Suppose 145 = -f*m + 130. Suppose 0 = -0*w + 2*w + 10. Is m != w?
True
Let v = 2 - 1. Suppose 0 = 2*y + 5 - v. Suppose 2*a - 4*i = 4, 3*a - 119*i + 123*i = -24. Which is greater: y or a?
y
Let g = -454.3 - -454. Do -7 and g have the same value?
False
Let g = -17 - -16.93. Let a = 0.66 + -0.83. Let m = g - a. Which is greater: m or 5/3?
5/3
Let f be -1 - (-3 + -11) - (6 + -3). Let v be (24/20 - 1) + (-2)/f. Which is greater: 2/131 or v?
2/131
Suppose 12*l = 3*l - 549. Which is smaller: l or -59?
l
Let t(x) = -x**3 + 5*x**2 + 6*x. Let g be t(6). Suppose 2*r - 2*m - 10 = g, -m - 16 = -4*r + m. Is -1 smaller than r?
True
Let a(s) = -10*s + 97. Let x be a(-5). Which is smaller: x or 144?
144
Let l(v) = 5 - 4*v**3 + 6*v**3 - v**3 + v**2 - 4 - v. Let i be l(-2). Let q = -1394/1183 - -6/169. Is q < i?
True
Suppose -9*m + 115 = -4*m. Let f be (6 - 10)/((-2)/12). Do f and m have different values?
True
Suppose 0 = -15*q + 24*q - 216. Is 37 at most as big as q?
False
Let t(c) = -2*c - 16. Let x be t(-9). Suppose -2*u - 4*o + 10 = 0, -x*u - 2*u = 2*o - 8. Let g be (3 + (-2 - 0))*u. Which is bigger: g or -3/10?
g
Suppose -3*h - 2 - 1 = 0. Suppose 0 = -5*y + 130 + 140. Let k be (-1 + 57/y)*3. Which is greater: h or k?
k
Let v = 2196 + -2209. Which is greater: -11 or v?
-11
Suppose -l - 19 = -2*p, -p + 14 = -0*p + 4*l. Let x be -2*(45/p - 5). Are 3/2 and x unequal?
True
Let z = 0.0825 + -1.0825. Is z greater than -483?
True
Suppose 0 = -3*j + 98 - 26. Suppose -j = -2*k - 0*k. Suppose 8*c - 3*c + s = -12, 3*c + 3*s = -k. Is -6 != c?
True
Suppose -k + 6 - 7 = -p, 0 = -2*k - 4*p - 8. Let f be k/(-10) - (2 + 23/(-10)). Is f > 0.5?
False
Let z(t) = t**3 - 4*t**2 - t + 2. Let d be z(4). Let i be d - ((-50)/54 - 1). Let n be 16/24 + 2/(-2). Are n and i non-equal?
True
Let l = -23 - -52. Let d = l + -32.8. Let m = 2.8 + d. Is -1/32 <= m?
False
Let v(w) = w - 13. Let g be v(9). Let m be (g/118)/(6/(-9)). Let o = m + 47/236. Is -1/3 greater than o?
False
Let c(d) = -3*d + 34. Let p be c(11). Let w(o) = -18*o**2 + 5*o - 1. Let i be w(p). Are 2/9 and i nonequal?
True
Let x = -279/2 + 145. Suppose -i = i - 4. Let n be (-9)/(-2) + i/4. Which is bigger: x or n?
x
Let q be 3/((-5698)/2848 + 2). Let j = q + 16989/4. Let r = j - -1303/52. Is -1 smaller than r?
True
Let j(z) = -z**3 - z**2 - 21. Let v be j(0). Let s be (2/(-3))/(2/v). Is s greater than or equal to 4?
True
Let i(m) = -m**3 - 10*m**2 - 7*m + 46. Let n be i(-10). Which is greater: 347/3 or n?
n
Let h = 49 + -18. Suppose 5*a + h + 39 = 0. Let c be -1 + -1 + (-35)/a. Which is smaller: c or 1?
c
Let s be (-636)/(-585) - ((-364)/35 + 10). Which is greater: s or 2?
2
Let r = -288/31 - -14254/1581. Which is bigger: r or 1?
1
Let y = -536 - -540.7. Which is smaller: 0.03 or y?
0.03
Let m be (28/(-6))/(20/90). Let n be 1 + 4/2 - m. Suppose -3*h + 14 = 2*f, -n = -2*h - f - 4*f. Is h at least 1?
True
Let y be 2/6 - (-28)/(-21). Let s = -57203/40 + 1430. Which is smaller: s or y?
y
Suppose -5*f - 4*t + 72933 = -42027, 0 = 4*t. Let s be -1 + (f/44 - -3). Let d = 525 - s. Which is greater: d or 1?
1
Let o be 1 + -14*(-2)/(-6). Suppose 4*w - 3*l + 6*l = -11, -2*w + 4*l = 22. Which is smaller: o or w?
w
Let y = -2/7 + 1/28. Suppose -2*g - 4 = 2*l, -2*l + 6*l + 8 = g. Is y at least as big as g?
False
Let y be (-159)/(-6)*4/(-2). Let w(q) = 471*q - 3768. Let n be w(8). Which is bigger: n or y?
n
Let i = 7 + -6. Let s = -15 + 41. Let p be 4/s - 160/(-312). Is p greater than or equal to i?
False
Let i be 4*(72/(-16) - -6). Let a(v) be the first derivative of -v**4/4 + 2*v**3 - v**2 - 2*v + 1. Let l be a(i). Which is bigger: -13 or l?
-13
Suppose -15 = -4*a + 1. Suppose -3*t + 5*n = -a*t + 30, t - n = 6. Which is bigger: 9 or t?
t
Suppose 4*n = -2*i - 8, 5*n + 4*i + 10 = i. Let g be 32/8 + 188/n. Let a be (8/g)/(5/25). Is 1 equal to a?
False
Let a = 12 + -8. Suppose a*u + u - 6040 = 0. Let z be 2/11 + u/(-352). Are -4 and z equal?
False
Let a = -9497/92 + -1/46. Is a >= -104?
True
Let n = -2 + 2. Suppose 0 = d - p - 0*p - 8, n = -5*d + 4*p + 42. Let z be 66/d + 12/30. Which is smaller: 9 or z?
z
Let j be (1/6)/(9/18)*4. Which is greater: -3/2 or j?
j
Let i be -2*5/4*-2. Let b(f) be the third derivative of f**6/120 - f**5/4 + f**4/24 - 4*f**3/3 + 8*f**2. Let m be b(15). Is i less than m?
True
Let z be -3 + (-2 - -2 - 0). Let c be -1*0*z/12. Suppose 3*y = -c*y. Is 6/13 not equal to y?
True
Let x(o) = -10*o - 39. Let s be x(-4). Which is smaller: s or 7/5?
s
Suppose -16*w = -19*w + 123. Suppose 40*d = w*d + 1. Which is bigger: d or -1.7?
d
Suppose -11 = 3*z + 2*t, 7 = -z - 2*z + 2*t. Let g(b) = 0 - 4 + 4 - 4 + b. Let p be g(0). Which is bigger: p or z?
z
Let l be (-19)/(-152) + (-418)/16. Let g = l + -15. Which is smaller: g or -42?
-42
Suppose -8*x + 1649 + 1751 = 0. Is 423 >= x?
False
Let r = -5 - -5. Suppose 3*q + s - 17 = r, -2*q - 4*s + 2 = -16. Suppose -3*t - 8 = -4*a, -q*t = -3*a + 2*a + 19. Are -1 and a nonequal?
False
Let r = -6 + 13. Suppose -7*z - 11 + 46 = 0. Is r less than z?
False
Let n be (-39)/(-130) - 5405/(-50). Is 109 smaller than n?
False
Let s(y) be the third derivative of y**5/60 - 7*y**4/24 + y**3 + y**2. Let v = -504 + 508. Let a be s(v). Which is smaller: -3 or a?
a
Let j = -2.2 - -2. Let w = -567 + 474.