 + 5*t + 463, u - 3*t + 2*t = 117. Is u < 121?
False
Let y = -363/2 + 181. Let l = 0.5 - -0.7. Is l at least y?
True
Let r = -6001/24 - -250. Which is greater: 3/5 or r?
3/5
Let x = 22 + -21. Let b = x - 1.6. Let w = -14 + 14. Is w > b?
True
Suppose 0 = q - 2*q - 9. Let w = 8 + q. Let u be 6/(-30) - 1/((-25)/8). Which is bigger: u or w?
u
Let c be (-13)/(-12) + 4/6. Suppose 0 = 4*a + 50 - 202. Let r = a - 35. Which is smaller: r or c?
c
Suppose -2338 = -177*h + 184*h. Which is greater: h or -331?
-331
Let p = -837099/236 + 3547. Are p and 0 nonequal?
True
Let n be 0/3 - (-4)/(-6). Suppose 19 = -3*y - 29. Let m = 10 + y. Which is smaller: m or n?
m
Suppose -4*y + w - 14 = 6, -15 = 3*y - 5*w. Let v = y - -5. Let z be (4/(-16)*v)/1. Which is greater: -3 or z?
z
Suppose -3*m = 3*z + 6, -2*z - 6 = 5*m - 2*m. Which is bigger: 3 or m?
3
Let y be ((-1)/4)/(3/6). Let s = 30 + -4. Do s and y have different values?
True
Let y = 2 + -2.7. Let c = 1000 - 1003. Which is smaller: c or y?
c
Let k be (-2)/(-14) - (-4197)/(-29673). Which is smaller: -1 or k?
-1
Let j be -6*(-5)/20*8/3. Which is smaller: j or 46?
j
Suppose -66*k + 1137 = -63*k + 3*m, 391 = k - 5*m. Which is bigger: -0.2 or k?
k
Let q(w) = w**3 - w**2 - 14*w + 8. Let p be q(4). Which is greater: -2/439 or p?
p
Suppose 5*n - 15 + 10 = 0. Let o be (-3 + 7 + -2)/(n*-2). Let l = -6 + 5. Are o and l equal?
True
Let y = 18.083 + -18. Let d = y - -0.287. Let b = -9.37 + d. Is -0.2 > b?
True
Let s(l) = l**2 + 14*l - 16. Let u be s(-14). Let m be u/56 - 12/7. Let v be 2 + m/(1 - -1). Which is greater: v or 0?
v
Let p = 0.202 + 0.008. Let l = 6.3 + -5.26. Let r = -0.04 + l. Which is smaller: r or p?
p
Let r = 36 + -56. Let a be 2/4 + 12/r. Let p be -3 - (-2)/((-6)/(-9)). Is a < p?
True
Suppose 5*u = 2*u + 252. Suppose 4*g = 10*g - u. Is 15 not equal to g?
True
Let a = -16 + 19. Suppose 13 = -a*d + 5*n, 3*n + 1 = 4*d - 0. Suppose d = -3*y + 1. Which is smaller: -1/14 or y?
y
Let b = -70.8 + 8.8. Let m = b + 64. Is -4 bigger than m?
False
Suppose 3*v - 1449 = -3*g, -2*g - 3*g = -3*v + 1441. Do v and 482 have different values?
False
Let d be -3*(10/(-3) - -2). Suppose -v = d*v - 5. Let g be ((2 - 3) + -2)*(-58)/(-6351). Which is greater: g or v?
v
Let p(t) be the first derivative of -3*t**2/2 + 6*t + 1. Let w be p(-3). Suppose -5 - w = 4*m. Does m = -6?
False
Let n = -88 + 103. Let i be (-2)/8 - n/20. Is i at least -6/7?
False
Let c = -0.0172 - 0.2828. Let u = -14/9 + 11/9. Which is greater: u or c?
c
Let n = 9.9 + -8. Let t = 17.6 + -15.8. Let w = n - t. Is w at most -5/6?
False
Let l = -1/48 + 11/16. Let h(m) = m**3 + 8*m**2 + 7*m - 9. Let n(f) = -f**3 + 4*f**2 - f - 3. Let y be n(4). Let j be h(y). Which is bigger: l or j?
l
Let b(x) = x - 9 - 2 + 1. Let t be b(13). Suppose c = 5*q - 11, -t*q = -0*c + 4*c - 2. Is c at least -2?
True
Let m = 76187/11 + -6943. Is -18 <= m?
True
Let j = 13 - 116/9. Let s be ((-12)/(-16))/(1/(-4)). Let g be (s - 0) + 1*3. Is j greater than g?
True
Let r = 86 - 14. Let i be (-40)/r*(-3)/10. Let v = -29.8 + 30. Which is greater: i or v?
v
Let q(t) = -10*t - 7. Let x be q(-4). Suppose 3*v = 3*i + 99, 3*v - 91 = -i + 20. Which is bigger: v or x?
v
Let b = -0.096 + 9.796. Let u = 23.7 - b. Do u and -3 have the same value?
False
Let s be (((-1)/(-4))/(2/8))/1. Do -2/393 and s have the same value?
False
Let o = 1008 - 1071. Are o and 4 non-equal?
True
Suppose -2*s + 4*l = -4, 0*l = 5*l. Let j(t) = t + 6. Let k be j(-5). Suppose -o - k = -s*z - 6, z + 3*o = 1. Which is greater: -3 or z?
z
Let w = 1 - 2.3. Let r = 1.3 + w. Let g = 6 + -6.2. Which is bigger: r or g?
r
Suppose 3*i - 8*i = q + 70, 5*i = 5*q - 40. Let l = 19 + i. Suppose -k - 4*y = -31, k + 0*y - y = l. Which is greater: k or 12?
12
Let r = -0.18 - -0.2. Suppose 5*s - 2 = f - 3, 0 = -5*f + 2*s + 28. Is f not equal to r?
True
Suppose b - 1949 = 3*g + 133, -3*g + 4*b = 2091. Let o be (-1 - (-5)/4) + g/3108. Let i be (-9)/7 - 4/(-14). Is o at least as big as i?
True
Let p be ((-6307)/(-159))/((-8)/6). Are -29 and p unequal?
True
Let x(a) = -6*a - 10*a + 16*a - 5*a + 2. Let q be x(0). Which is smaller: q or -3?
-3
Suppose x + 277 = -l, 0 = 2*x - 3*x - 4*l - 268. Let t be (-106558)/x + (-18)/(-45). Let s = t + -381. Is 0 less than s?
False
Let q(y) = -147*y**3 - 5*y**2 + y + 4. Let x be q(4). Let t = x - -28690/3. Let m = t + -84. Is 0.6 greater than or equal to m?
True
Suppose -2*b = 5*s + 2149, -5*s + 4*s - 416 = 5*b. Is -432 < s?
True
Let y(w) = w**2 + w - 42. Let j be y(-7). Let c be ((-4)/156)/(2/3). Is j at most c?
False
Suppose 4*q = r - 29 - 71, -q - r = 25. Is 10/3 at least as big as q?
True
Let l be -1 + 213/(-6) + 7/(-14). Let g be 2 - (300/126 - 4/(-14)). Is l < g?
True
Let p be -1*(-2996)/(-231) - (-6)/(-9). Which is greater: -14 or p?
p
Let m = -349 + 9773/28. Suppose 0 = -5*r + 11 - 36, -5*k - 15 = 2*r. Let b be k + 0 - (-4 - -4). Which is bigger: m or b?
m
Let x = -34328/2655 + 194/15. Which is bigger: 1 or x?
1
Let r = 15 - 22.4. Let d = -28.4 - r. Let c be 1/10 + 1/(-2). Which is smaller: c or d?
d
Let h be (-6)/15 - (-39)/(-15). Let f be (2/(-4))/(h/12). Suppose -f*j + j = 2. Which is greater: j or -13/6?
j
Let r = -208/7 + 206/7. Is 4/7 at least as big as r?
True
Suppose -d = 5*s + 7 + 17, 2*d + 3 = -s. Let h be (d*18)/(39/26). Is h at most 12?
True
Let h(c) = -109*c - 18. Let p be h(1). Is -126 greater than or equal to p?
True
Let b = 0 - -1. Let t = -22092 - -110414/5. Is t > b?
False
Suppose -2 = 16*t - 14*t. Let f = -1 + 1. Suppose f = -5*m + 4 - 24, 4 = -4*s + m. Is t smaller than s?
False
Let l = -18293/7 + 2609. Suppose 9*w = 3*w + 30. Suppose 5*j + 5*d + 45 = 0, 0 = -j - 3*d + w - 24. Which is bigger: l or j?
j
Let f be (-1460)/(-17) + -1 + -1. Let o = -101 - -185. Let s = f - o. Is s bigger than 0?
False
Suppose 27*l = -196 - 830. Is -38 at least l?
True
Let i = -6 - -8. Suppose 3 = u, 5*x - 8 = i*u - 39. Let l be 4/14 + 69/(-21). Which is greater: x or l?
l
Let r = 0 - 0. Let y be (-1476)/14 - 3/(-7). Let z = 733/7 + y. Which is smaller: r or z?
z
Suppose 2*r - 2*x = 18, 4*r = -3*x - 2*x. Suppose -r = t + 4. Let y be t/3 + 3 + 0. Which is smaller: y or -4/3?
-4/3
Let w = -28 - -29. Let i be ((-3)/9)/(5/(-10) + w). Are i and 0.2 non-equal?
True
Let m = 0.142 + -0.11. Let u = m + 6.968. Is u <= 0.1?
False
Let h = 0.85 - 0.05. Let w = h - -0.2. Let d = 1.68 - 0.68. Does w = d?
True
Let t be (10/2)/((-1)/(-18)). Suppose -30*h + 3127 - 427 = 0. Is t > h?
False
Let m(s) = -2*s - 3. Let t be m(-2). Let l be (6/63)/(t/(-3)). Let o be 16/96*((-20)/(-4) - 2). Is l at most as big as o?
True
Let x(f) = f**3 + 8*f**2 - 7. Let g be x(-7). Suppose 0 = -3*c - 4 + 4. Suppose c = -2*n + 5*u - g, 2*n + n + u = -63. Is -20 equal to n?
False
Let r be 174/9*1/(2/5). Let i = 48 - r. Let l = -3.2 + 3. Is l greater than i?
True
Suppose 55*h - 48*h = -49. Which is smaller: h or -10/39?
h
Let k = 0.29 - 1.29. Which is smaller: 18 or k?
k
Let u be (96 - 96)*(-1)/(-3). Which is smaller: u or -2/5623?
-2/5623
Let s = -355 + 355.03. Is 0.1 bigger than s?
True
Let m be (-28)/(-30) + 7/105. Which is smaller: -1/77 or m?
-1/77
Suppose 5*j - 2*j = 0. Suppose j*r + r = 1. Is -1 bigger than r?
False
Let j = 0.297 + 0.093. Which is greater: j or -1/7?
j
Let t be ((-1027)/52 + 16)/((-3)/16). Is t at most 13?
False
Let m be -8 + (-2 - 427/(-42)). Which is greater: m or 104?
104
Let f = 0.077 + -37.077. Let l be (-4 + 91/26)*-1. Is l bigger than f?
True
Let f(b) = -b - 3. Let d be f(-3). Let a be -4 + (1 - d) - -2. Let k = 7252/3 - 2418. Is a <= k?
True
Suppose 8 = -9*n - 10. Let a be (-16)/(-10)*35/(-21). Which is smaller: n or a?
a
Let j = -33/13 + 223/52. Let p(m) = -m**2 + m. Let q be p(2). Is q greater than or equal to j?
False
Let r(f) be the second derivative of -f**4/12 + 5*f**3/2 + f**2/2 + 5*f. Let u be r(16). Let n = u - -7. Which is smaller: n or -9?
-9
Let u(p) = 190*p + 80. Let a(n) = 7*n + 3. Let k(o) = -80*a(o) + 3*u(o). Let t be k(-2). Is t < -21?
False
Let n(s) = -25*s + 5*s**2 + 23*s + 4 + s**3 - 2*s**3. Let r be n(5). Are r and -5 equal?
False
Let r = 8 - 11. Let c be r/(-3) - ((-16)/5)/2. Which is smaller: -2/5 or c?
-2/5
Let f(o) = -2*o + 3. Let b be f(-2). Suppose 0 = -b*k - k - 8. Is -4/49 at most k?
False
Let