*j = 3*j - 40. Suppose -407*t = -418*t - 88. Let h = t + j. Which is greater: h or -1/12?
h
Let w = -120 - -124. Suppose -2*m - 20 + 67 = 5*h, -5*m = h - 60. Which is bigger: w or m?
m
Let v = 24 - 38. Suppose -7*z - 153 - 92 = 0. Let w be ((-2)/4)/(z/(-20)). Which is bigger: v or w?
w
Let s(u) = 12*u + 199. Let x be s(-17). Let h be (206/x)/((-52)/20 - -3). Is -103 equal to h?
True
Suppose 0 = -4*t - 4*t - 8. Let h(u) = -2*u**2 - 3*u - 4. Let s be h(t). Let w be (1/4)/(s + 4). Which is greater: 49 or w?
49
Let a = -0.48 - 1.54. Let q = 98.02 + a. Is q smaller than -0.2?
False
Let s = 1/3507 - -160/24549. Let t(x) = -x**2 + 11*x + 1. Let m be t(11). Do m and s have different values?
True
Suppose l - 2*k = 1 - 9, 0 = -3*l + k - 4. Suppose l*q = -7*q + 105. Let n be 0 + 6*(-20)/q. Is n > -8?
False
Let j be 2 + (-96)/(-10)*(-240)/(-96). Which is smaller: j or 29?
j
Let x(z) = -3*z**3 + 32*z**2 + 14*z - 33. Let o(l) = l**2 - l - 19. Let d be o(-5). Let b be x(d). Are -0.315 and b equal?
False
Let t = 5.7 + 3.9. Let g = -8 + t. Let p be (4/30*15)/2. Which is bigger: g or p?
g
Let o be (-44)/6*((-56)/(-4) - 26). Is o not equal to 100?
True
Let h(u) = -u**3 - 11*u**2 + 23*u + 16. Let d be (26/(-4))/((-6)/(-12)). Let r be h(d). Suppose -r = 4*k - 5*g, 4*k + 0*k + 56 = 4*g. Is -29/2 not equal to k?
True
Suppose 0 = -9*t + 44*t - 9275. Let c = t + -277. Is c greater than -4?
False
Let l = -0.5495 - 342.4505. Do l and 0.4 have the same value?
False
Suppose 2*q = -4*g - 12, 2*g - 769*q + 771*q = -14. Suppose 4*b + 29 = 9, -4*b = 5*l + 340. Do g and l have the same value?
False
Let z = 0.00865 - -0.29135. Is -109/5 bigger than z?
False
Let g = -109 - -76. Let a be (-63)/(-5) - (-4)/10. Let l(y) = -y**3 + 14*y**2 - 16*y + 5. Let o be l(a). Is g < o?
False
Let u = -57.1275 - -0.0811. Let p = 0.0536 - u. Let c = -62 + p. Which is greater: 1 or c?
1
Let m be (-8)/(-68) + 30/34. Let a(n) = -2*n + 11. Let i be a(m). Is 20 != i?
True
Let x = 2 - 16. Let q = 11 + x. Let b = 5 - q. Which is smaller: 0.1 or b?
0.1
Let d = -317.932 - 0.068. Let x = d - -316. Let i be 6/(-15) - 93/(-15). Which is greater: x or i?
i
Suppose 0 = -14*a - 701 + 602 - 1399. Which is greater: -1386/13 or a?
-1386/13
Let a = -140 - -204. Suppose 0*r + 8*r = -a. Let t(y) = 2*y + 10. Let k be t(r). Which is smaller: k or 3/7?
k
Suppose s = -3*s - 16, 2*d - 4*s = 46. Let i be (-11 + -5*d/(-25))*1. Does i = -46/7?
False
Suppose 70*s + 29*s - 13761 = 0. Which is smaller: s or 133?
133
Suppose 47 - 16 = -33*y + 2*y. Let h be (2 + (-72)/38)/(-23). Which is greater: h or y?
h
Let m be (-3656)/11040 - 5/(-15). Is m smaller than 0?
False
Suppose p - 8 = -5. Let z be (-3)/(18/12) - 1492/(-5). Let g = -294 + z. Is p <= g?
False
Let j be 60*(0 + 9/12). Let w = j + -41. Let t = 0.3 + 0. Is t at most w?
True
Let c = 399 - 396. Suppose 4*r - 5*b - 430 = 0, -323 = -c*r - 2*b + 6*b. Is r greater than or equal to 103?
True
Let g = -20730.93 - -20728. Which is greater: g or -5?
g
Let l(z) = 29*z**2 + 12*z - 19. Let y be l(-5). Let p = -448 + y. Which is smaller: -0.1 or p?
-0.1
Suppose 2*y + 0*p = 2*p, -12 = 5*y - 2*p. Suppose -d - 4*d + 75 = 0. Let b be ((-5)/d)/(1/33). Does y = b?
False
Let i = -12762 - -12763. Which is smaller: -17303 or i?
-17303
Let s(m) = 2*m**3 + 19*m**2 - 17*m - 37. Let y be s(-10). Let w be (-630)/(-3) + (-11)/(y/18). Which is bigger: 206 or w?
206
Suppose -4*y - 19 = 21. Let t(w) = -w**3 + 6*w**2 - 10*w + 13. Let d = -106 - -111. Let o be t(d). Which is smaller: y or o?
o
Let b be 190/8 - 5/(-20). Suppose h + 36*a - 28 = 32*a, -2*h + 51 = 3*a. Is b >= h?
True
Let v(o) = -o**2 + 5*o - 5. Let i be v(5). Let w(b) = -b**3 - 3*b**2 + 2*b - 6. Let c be w(i). Is -1 smaller than c?
True
Suppose -3*b = -3*j + 9, -j + 23*b - 26*b - 9 = 0. Are j and -35/254 non-equal?
True
Suppose 40*i - 2198 = 86*i - 39*i. Which is greater: -299 or i?
-299
Let b = 29205 + -29204. Let l = -793843/195 - -4071. Are b and l equal?
False
Let s be 29/4 - 1/(-1). Let r be ((-54)/45)/(9/30) - 6. Let m(z) = -31*z - 301. Let a be m(r). Which is smaller: a or s?
s
Let x(d) = -d**3 + 7*d**2 - 8*d + 64. Let f be x(7). Let u(w) = -w**3 + 7*w**2 + 5*w + 9. Let g be u(7). Let z be (-476)/440 + f/g. Which is greater: -2 or z?
z
Let t be (-34)/(-187) - ((-444)/(-22) - -4). Which is bigger: -16/3 or t?
-16/3
Let r be (11/(-2))/((1 + (-3228)/3288)/(-5)). Is 1509 less than r?
False
Suppose 33893*l = 33879*l - 616. Is l < -1636/37?
False
Let s be 994*-3 + -2 + 4 + (-2)/(-1). Are s and -2977 equal?
False
Let l be ((-9318)/4677 - -2)*((-10)/40 - 0). Which is smaller: 0 or l?
l
Suppose 4*d + 8 = -0. Let n = -4 - d. Suppose 0*l + 3 = l - 2*b, 0 = -4*l - 3*b - 32. Which is greater: l or n?
n
Let l = 570 + -396. Let r = -123 + l. Which is smaller: r or -1/2?
-1/2
Let i = 40 - 55. Let k be i/(-5) + (-11177)/13 + 2. Let f = -854 - k. Which is smaller: f or 0?
0
Suppose -16 = -4*j, -2*h + 572 = 3*j - 192. Let g be (-30)/(-16) + 6 + h/(-64). Suppose -z + 43 = -7*v + 2*v, 0 = -z - g. Are -8 and v non-equal?
True
Let x = -13500 + 13587. Let h be ((-3)/(-10))/((-6)/8). Which is smaller: x or h?
h
Let d be (-1)/(3 + (-3 - -1)). Let b be -3*d/3 - 1. Suppose 9*k + 18 = 3*k. Which is smaller: b or k?
k
Suppose 0 = 14*l + 4*h - 41 + 37, -l + 2*h - 2 = 0. Let d = 142511/1890 - 377/5. Is d at most l?
False
Let i = 31505301/85796480 - 3/1559936. Let o = i - -3/385. Is 71 at most as big as o?
False
Let r = 10.009 + -0.109. Let c = r - 60.9. Let b = c + 45. Is b greater than -3?
False
Suppose 15*b + 4378 = -4697. Let i be (-44)/b*(-5)/246. Does i = 1?
False
Let y = 19024 + -19040. Is -102 smaller than y?
True
Let a(d) = 13*d - 106. Let f be a(9). Suppose -f*c + 0*c + 1122 = 0. Is 100 != c?
True
Let g(t) = 2*t**2 - 22*t + 115. Let o be g(6). Suppose 126 = -6*m + 474. Which is bigger: m or o?
m
Let z(r) = -27 - 6 + r**2 + 15 + 12*r. Let u be z(-14). Let k(n) = n + 33. Let w be k(u). Is 44 equal to w?
False
Suppose 2*p = 1512 - 1912. Which is greater: p or -1.5?
-1.5
Let c(d) = -d**2 + 2*d + 13*d - 16 + 46. Let x be c(19). Are -49 and x nonequal?
True
Let c = -44.6 - -44.721. Let f = c - -0.029. Which is smaller: f or -2/5?
-2/5
Suppose -24*d - 3134 = -2988 - 8090. Do 335 and d have the same value?
False
Let r = 43 - 40. Let l be (1/2*-3)/(r/32). Let v be (-2 + 21/2)*-2. Is l at most v?
False
Suppose -29 = 41*w + 12. Let j(x) = 15*x + 14. Let c be j(w). Is c at most 24/97?
True
Let d be (-5)/(-15)*-22*6/4. Which is greater: -9.8 or d?
-9.8
Suppose -2 = 2*x + 2*s, -2*x + 3*s - 5 + 8 = 0. Suppose 6*q + 7*q + 117 = x. Let j = 23 - 34. Which is smaller: j or q?
j
Let o(q) be the first derivative of -q**3/3 + 3*q**2 - 7*q - 5. Let r be o(4). Let w be (-6 + -1 - -4) + (-86)/r. Which is smaller: w or -88?
w
Suppose 70 = 4*i + 10. Let l(u) be the second derivative of u**4/12 - 7*u**3/3 - 6*u**2 + u. Let z be l(i). Which is greater: 1 or z?
z
Let x = -11132155/58 + 191929. Which is smaller: x or -4?
x
Suppose 5 = -u, 14*b = 17*b + 3*u - 2613. Which is smaller: b or 886?
b
Suppose 355*l - 42 = 354*l. Which is bigger: 30 or l?
l
Let f(c) = -10*c**3 + 22*c**2 - 55*c - 21. Let m be f(5). Is -993 at most m?
False
Let z = -11/37723 + 151409/1772981. Let r(v) = -v**3 - 3*v**2 - 2*v + 1. Let t be r(-2). Let w = t + -1. Are w and z unequal?
True
Let t = 0.28152 + -0.18152. Let x = 514 - 90. Which is bigger: x or t?
x
Suppose h + 2*a = 9, h - 2*h - 5*a + 18 = 0. Let d be 16/48*h/148*-2. Which is bigger: d or -1?
d
Suppose 22 = 4*a + 9*x, 0 = -4*a + 6*a - x. Which is greater: -0.0935 or a?
a
Let s be (-21 + 1)/(4/(-16)). Let f be 30/(-4)*s/(-12). Let k be (-10)/(-5) + f/(-5). Which is smaller: k or -10?
-10
Suppose -4*h + h = -0*h. Suppose 3*j = 4*u - j, -2*u = 4*j. Let w be (-11)/(748/(-48)) - u. Is h at least w?
False
Let w(o) = 8*o**2 + 4*o - 21. Let f be w(2). Let x be (-25 + 36/6)*-1. Is x at most as big as f?
True
Let j(n) = 3*n - 1. Let v be j(4). Suppose -v - 1 = 12*a. Suppose -2*o = -3*o - 4. Which is smaller: a or o?
o
Suppose -108 = 19*w - 146. Suppose -61 = w*x + 4*l + 85, 0 = 3*x + l + 209. Is x bigger than -67?
False
Let w = -23018 + 22362. Which is smaller: 4 or w?
w
Let h = -14202 - -8336. Is -5867 greater than h?
False
Let w be -5 + ((-164)/(-164) - 302/2)