igger: r or g?
r
Let d(v) = -6*v**2 + 4*v + 2*v**2 + 3*v**2. Let q be d(4). Let c = -4522 + 76876/17. Are c and q nonequal?
True
Let u = -1 + -81. Let w = 81 + u. Are -10/13 and w unequal?
True
Suppose 0 = 90*d + 61*d - 5786 + 1105. Which is smaller: 479/16 or d?
479/16
Let k = 12864 + -13512. Which is greater: -646 or k?
-646
Let x(b) = 2*b + 38. Let m be x(-23). Let t(u) = -u - 4. Let n be t(m). Let i be (-42)/(-27)*n/(-7). Is -2 equal to i?
False
Let v = -3.051 + 3.431. Which is bigger: v or -1?
v
Let s = 112.67 - -0.33. Let r = s + -86. Let y = 34 + r. Is y >= -1?
True
Suppose -6*q - 10 = -4*q. Let y = q + -14. Let n = 233 - 231. Is n at most y?
False
Let d = -1621 + 1622.209. Which is greater: d or -2/3?
d
Let v(z) = z**3 - 12*z**2 + 17*z + 32. Let q be v(10). Let s be 8/16*(-22 - (-2 + q)). Are -58/5 and s non-equal?
True
Let r(g) = -g**2 - 5*g + 1. Let c be r(-5). Let m(v) = -1176*v - 172871. Let j be m(-147). Is c less than j?
False
Let g be ((-15)/(-6))/((-12)/504). Let v be (-63)/g + (-381)/(-15). Let h = 71 - 42. Which is smaller: h or v?
v
Let d(z) = -2*z**2 - 4*z. Suppose 3*f + 11 + 0 = 5*q, -17 = f - 5*q. Suppose -3*n - 6 = f. Let k be d(n). Is -2 < k?
False
Let n = -177.88 + 181. Let b = 3.62 - 0.72. Let a = n - b. Is a not equal to 1/4?
True
Let t(u) = -17*u**2 + 1071*u - 99. Let h be t(63). Which is smaller: -1290/13 or h?
-1290/13
Let i(c) be the first derivative of c**2/2 + 5*c + 36. Let o(s) = s**3 - 4*s**2 - 4. Let z be o(4). Let t be i(z). Do t and -1/16 have different values?
True
Let j = 6169491547870/1498021719909 - -81/126447347. Let t = -136/33 + j. Is t > -1?
True
Let t(u) = -4*u + 9. Let i be t(6). Let q(b) = 3672*b - 11032. Let n be q(3). Which is smaller: i or n?
n
Suppose -k = -4 + 1. Let t be k/12 + (-15)/28. Suppose 0 = 3*i + 67*c - 72*c - 52, 5*i = 3*c + 44. Which is smaller: t or i?
t
Suppose -3*l = 5*m - 0*m + 47, 2*m + 23 = 3*l. Let p be 4/m + 13/(390/492). Let x = -24 + 40. Is p at most x?
True
Suppose 3*d - 2*d - 17 = v, 4*v + 8 = d. Suppose 3*o - 5*o - d = 4*z, -3*o + 3*z + 15 = 0. Let f be ((-4)/5)/(12/2). Is o at least f?
True
Let m = 1868 + -902. Let j = m + -967. Which is smaller: 2/1389 or j?
j
Let l(g) = 11*g**2 + 78*g + 14. Let u be l(-7). Is 47/7 bigger than u?
False
Let j = 0.053 + -0.053. Is 6702 at least j?
True
Suppose -3*m + 263 - 41 = 0. Let d be ((-63)/(-42))/(2 + (-160)/m). Is d bigger than -0.1?
False
Let h be (-38)/4*(-26 + 0). Let q(y) = 2*y**3 - 147*y**2 + 491*y + 179. Let p be q(70). Which is bigger: h or p?
p
Let b = -131.22 - 0.78. Let t = -133 - b. Let o be 82/(-90) - (-4)/5. Does o = t?
False
Suppose -3*g = 5*b - 23, -2*g - 3*b = g - 15. Let l be -5 + 5 + 2 - g. Let r be 213/(-45) + 2 - -3. Is r at least as big as l?
False
Suppose 0 = 3*j - 3*u + 4512, 2*j + 40*u - 38*u + 2996 = 0. Which is smaller: j or -1505?
-1505
Suppose -2976 = -87*f - 99*f. Which is bigger: -1/9 or f?
f
Let p be (-165)/120 - 6/(-16) - -2*26. Which is smaller: p or -7?
-7
Let o(k) = -4*k**2 + 3*k - 3. Let p be o(-3). Let l be ((-728)/(-455))/((-112)/3500). Is l equal to p?
False
Let q = 649 + -209. Suppose -19*d - 90 = -18*d + 4*k, 0 = 4*d - 4*k + q. Which is greater: -105 or d?
-105
Suppose 549 = 5*r - 2*n, 4*n + 0*n + 8 = 0. Let z = -111 + r. Let f be z/7 - (76/28 - 2). Is -1/15 at least as big as f?
True
Let j = -12.092 - -0.092. Suppose -2*d + 5 + 1 = 2*v, v = -2*d + 8. Suppose 4*x = -d*x. Is j <= x?
True
Let x(c) = c**2 - 3*c. Let w be x(2). Let n(v) = 3*v**2 - 7*v + 7. Let i be n(3). Suppose -7*g + 3*g = i*g. Which is bigger: g or w?
g
Let a = -3930 + 3064. Is -863 equal to a?
False
Let n = 627 - 619. Suppose n*o + 33 = 25. Which is greater: o or -3/190?
-3/190
Let j = -1/22932 + 435965/5893524. Is 1 > j?
True
Let q be (-26)/4 + 2 + (-1470)/60 + 26. Which is smaller: 3813 or q?
q
Suppose 2637 = -67*z - 43*z - 10453. Is -3 greater than z?
True
Let a be (-61)/915 - (-826)/30. Is a smaller than 26?
False
Let x = -384341/308 + 13466/11. Which is greater: -25 or x?
x
Suppose 5*t = a - 1015, -4*a + 3115 = -a - t. Let r = a - 6197/6. Is -0.1 at least r?
False
Suppose 5*k = 5*b + 20, 0*k = -2*b - k - 14. Let p = -22 - b. Let l be (-8)/p*4/6. Which is smaller: l or 50?
l
Let q = 8211566/403 - 20376. Let w = q + -10107/128557. Is 1 at least as big as w?
True
Let g = -36.6 - 231.4. Let n = 271 + g. Which is greater: 6 or n?
6
Let m = 9196 - 9197. Let p be 24/(-272)*(-1390)/6. Let n = p + 1/17. Is n >= m?
True
Let t(w) = 3*w**2 - 3*w + 2. Let d be t(1). Suppose 4*g - 29 - 21 = -2*l, -53 = -d*l - 3*g. Is l equal to 2?
False
Let n be (-38)/(-76)*((-42)/(-2) - 1). Let c be 2*1/4*6 - n. Are c and 2 non-equal?
True
Let s = 388.47 - 3.47. Suppose 4*g + 20 = 5*u, 0*u + 5*g = -4*u - 25. Is s at least as big as u?
True
Let k(x) = 4*x**2 + 23*x - 4. Let m be k(-6). Let o be (-684)/(-15) + (-40)/25 + m. Which is bigger: o or 49?
49
Let r = -267/76 - -5/19. Let n(i) = 11*i - 7. Let d be n(-4). Let k be 2/16 - d/(-24) - 1. Is r equal to k?
False
Let x(z) = z**3 - 2*z**2 + 2*z - 3. Let w be x(2). Let y be (18/(-25))/((-5)/7110*-2). Let m = y - -512. Is m < w?
True
Suppose 52*d = -35*d + 350436. Do 4029 and d have the same value?
False
Suppose -8*v + 6183 - 1135 = 0. Let h be ((-22355)/45 - -4)/v. Let p = h + 2/631. Is p at least as big as 0?
False
Let m(h) = -h - 6. Let v be m(-11). Suppose -v*i + 8 = -i. Let c be 7/10*(-1 - -2)*i. Is -2 > c?
False
Suppose 6*m + 183 + 687 = 0. Let y = m - -165. Which is bigger: 19 or y?
y
Suppose 0 = 43*y - 182 - 25 + 78. Are y and -1608 unequal?
True
Let k = -67.03119 - 0.23881. Which is smaller: 0.2 or k?
k
Let n(o) = 3*o**3 + 5*o**2 + 5*o + 18. Let a be n(-4). Let m = a - -578/5. Is m > 2?
False
Suppose -5*i = -3*f + 133 - 10, 4*f = 24. Are 72 and i unequal?
True
Suppose 14*z - 22 = 12*z + z. Is z at most 36?
True
Let b = 18773/65730 - -1/9390. Let j = 2 - -26. Let x = 66 - j. Does b = x?
False
Let j = -14685.7 + 14685. Which is bigger: j or 0.405?
0.405
Let a = 0.08 - 1.58. Suppose -3*c = 7*c. Is a at most as big as c?
True
Let u be 2*(9/6)/(-3). Let b be (-42 - u) + (-26 - -29). Which is greater: -36 or b?
-36
Suppose -3*o + 6 - 3 = -3*a, o = 5*a + 13. Let s be (0 - (-3)/3) + (a - 1). Let k be (-24 - 1) + ((-3)/s)/1. Is -23 not equal to k?
True
Suppose 188 = 6*y - 16. Let h = -33 + y. Which is bigger: -2/385 or h?
h
Let u(f) = 6*f - 118. Let a be u(25). Let d be (-38)/4 - -2*(-1)/(-4). Let k be (d - (-333)/36)/((-50)/a). Which is smaller: k or 0?
k
Let h be (39/(-9) - -3)/(2/879). Let u = h - -585. Let z be (-2)/26*(23 - 2). Do z and u have the same value?
False
Suppose 0 = 5*i + 4*c - 204 - 239, 5*c - 76 = -i. Which is smaller: i or 80?
80
Let v(k) = 8*k**3 + k**2 + 2. Let q be v(2). Let s(f) be the third derivative of 11*f**4/24 + 203*f**3/6 + 164*f**2. Let u be s(-12). Is q at least u?
False
Let t = 1.520295 + 7538.709705. Let d = -7504 + t. Let q = d - 36. Does q = 0.1?
False
Let f = -66.19 - -3.49. Let w = f + 62.49. Are 0.19 and w equal?
False
Let s = -0.0105 + 60.0105. Let w = 46 + -48. Which is smaller: s or w?
w
Let p = -36 + 68. Suppose 2*b + 3*i - p = 0, 2*i - 46 = -4*b + 5*i. Suppose -10 = -q + b. Is 23 bigger than q?
False
Let w be (-15)/(-10)*(-64)/48. Let n be w/7 + (-1540)/(-3675). Is n bigger than 17?
False
Let z(p) = -14*p + 7. Let l be z(-3). Suppose 0 = l*f + 37 + 404. Is -102/11 at least as big as f?
False
Let b be (-80)/(-30)*(-207)/(-24)*2. Let y = -949 + 994. Is y at most b?
True
Let c = 1 - 0. Let f = 10700 - 10646.03. Let d = f + -54. Which is greater: d or c?
c
Let u(c) = -c**3 + 133*c**2 + 268*c + 268. Let b be u(135). Which is smaller: -65/41 or b?
b
Suppose 9 = 10*r - 21. Suppose -2*d - 4*o + 3*o + 5 = 0, -4*d + r*o = 15. Let z = -3466/21 + 165. Which is greater: d or z?
d
Let b be (-31)/(-8) + 3/24. Suppose -33 = b*z - 193. Let m = 13 + z. Which is smaller: 52 or m?
52
Suppose 4*s + j + 120 = 0, 68*s - 69*s - 2*j = 30. Is -27 >= s?
True
Let d(u) = 45*u**2 - u - 1. Let w be d(1). Let y be (6/(-15) + 19/10)*28. Let l be 21/y + w/(-62). Is -1 > l?
False
Let v be -79*5/(4 - -1). Is -64 bigger than v?
True
Suppose 2006*c - 2045*c - 39 = 0. Which is greater: -791 or c?
c
Let z = -311 + -258. Let r = -542.9 - z. Let u = -26 + r. Which is smaller: u or 7?
u
Let