- 2*r**2 + 2*r. Let g be z(2). Let n = g - -560. Is 266 <= n?
True
Let l be (-20)/(-6) - (144/792)/(1/22). Which is smaller: 210.1 or l?
l
Suppose -6 + 2 = -2*d. Suppose -39 = -2*k - 5*l, -14 = -d*k - 2*l + 10. Let z be (234/8 + -6)*(-1)/(-3). Do z and k have different values?
True
Let n be -4 - -4 - (-2 + (-74)/2). Suppose 7*m + 4*m = 16*m. Let s(w) = w**3 + 3*w**2 + 3*w + 38. Let p be s(m). Is p smaller than n?
True
Let r = -537 - -1105/2. Let j = -4 + r. Let x = 25589 - 25576. Are x and j equal?
False
Let o = -217 + 37. Let u = -6805 - -6806. Which is greater: o or u?
u
Let i = 5/6 - 1/3. Let k be (-132097)/22148 - 200/(-35). Which is bigger: i or k?
i
Suppose 0*n - 3*n = 5*n. Let a be (2 - 1) + (-92 - n) + 3. Is -88 < a?
False
Let f be 32 - -2 - 7*22/(-77). Suppose 4 = 4*t - f. Which is bigger: t or -25?
t
Let g be (-12)/(-78) + (-628)/26. Let m(h) = h - 13. Let o be m(10). Let f be o/5*g/(-18). Is -0.3 at least f?
True
Let u be (15/17 - 1) + (-15)/(193545/46184). Which is smaller: u or -4?
-4
Let n(t) = -t**2 - 63*t - 974. Let k be n(-36). Let a = 8191/7 + -1173. Is k at most as big as a?
False
Let s be 21 - 9/(45/100). Which is bigger: 3/3868 or s?
s
Let q = 2 + -2. Suppose 3*p + p + 40 = q. Suppose -68*f + 24*f - 120 = -29*f. Is f at least p?
True
Let j(b) = 21*b**2 - 72*b - 84. Let c be j(-2). Do c and 428/3 have the same value?
False
Let s(g) = -40*g**2 + 678*g + 32. Let d be s(17). Is -94/37 < d?
True
Let f = 6/3155 - 253/1792040. Which is smaller: f or 0?
0
Let i = 1.5866 + -5348.5866. Which is greater: i or -0.2?
-0.2
Suppose 537*v - 24302 = -4433. Which is greater: 66 or v?
66
Suppose 45 = -4*h + 17. Let q be (5 + h - -5)/1. Are 35/9 and q equal?
False
Let i(b) be the second derivative of 0 - 5/2*b**3 - 43*b + 1/3*b**4 - 3/2*b**2. Let y be i(4). Which is smaller: 1/3 or y?
1/3
Let y = 16 + -11. Suppose -3*p = 2*r + 4 - y, 5*p - 1 = -4*r. Is r > -11/8?
True
Let n(z) = 2*z - 21. Let u be n(-7). Let f = u - -1. Let o = f - -62. Which is greater: o or 29?
29
Let d = -1.7 + 2. Let t = 0.5 + d. Let g = -5.6 - -6.6. Which is smaller: t or g?
t
Suppose 0 = -490*c + 508*c - 1098. Suppose 3*i - 61 = 2*i. Does c = i?
True
Let s = -91 - -106. Suppose s*o = -o - 1552. Let k = o + 289/3. Is k bigger than -2/15?
False
Let h(k) be the third derivative of k**4/24 + k**3/2 + 2*k**2. Let p be h(-5). Let y be ((-8)/(-10))/((-32)/(-320)) - 8. Is y greater than or equal to p?
True
Let p = -12.9 - -1.9. Let r = -9 - p. Let x = 3.414 - -1.586. Is r > x?
False
Let y be (27429/(-24190))/(1 + 658/(-664)). Let x = y - -627/5. Which is greater: 1 or x?
1
Let i be 26*4/10*50/40. Suppose 5*n = 37 + i. Let o be (-6)/45*33*n/(-14). Which is smaller: 4 or o?
o
Let d = 11 + 5. Let r = -2 + d. Let y(k) = 2*k - 30. Let a be y(r). Which is bigger: a or -9?
a
Let g(i) = -5*i**3 - 11*i**2 + 5*i - 13. Let z be g(-3). Is z greater than or equal to -18?
True
Let q be (0 + 1)/(1/1). Let j = 1741 - 121879/70. Let l = j - -1797/910. Is l <= q?
False
Suppose 7 = 2*a - 7. Let w(y) = -11*y**2 + 8*y**3 + 13 + 3 + 17*y - 7*y**3. Let d be w(9). Is a less than d?
False
Let w(d) = 7*d**2 - 34*d - 3. Let t be w(5). Let i be (0 + t - 1) + (-174)/318. Which is greater: i or 0?
i
Suppose 15*i - 18*i = -6. Suppose -4*g = -3*z - 3, i*g - 12 = -z - g. Suppose 0 = 2*x + z - 1. Which is smaller: -1/4 or x?
x
Let v(m) = m - 11. Let s be ((-24)/14)/((10/21)/(-5)). Let a be v(s). Suppose 9 = 3*t - 4*h, -4*t + 0*t - 19 = 5*h. Which is bigger: t or a?
a
Suppose 19*d = -d - 100. Let l be ((-58)/d)/(28/(-70)). Suppose 0 = 3*u + 14 + 79. Which is greater: l or u?
l
Suppose -36*u + 0 = -27 - 9. Which is smaller: u or 5/103?
5/103
Let p be (3/2)/(-3) - 68/(-8). Let b = 6 - 0. Suppose 0 = -b*u + p*u + 6. Are -4 and u nonequal?
True
Let s be -2*1/8 + (-308133)/588. Do s and -524 have different values?
True
Let k = 329 + -549. Let y be 5/15*k - 2/(-6). Are y and -72 non-equal?
True
Let o = 0.8 - 0.767. Let z = o + -0.133. Is -9/20 <= z?
True
Let o be ((-315)/(-12))/((-3)/24*-3). Suppose -o = -22*z + 17*z. Which is bigger: z or -3/5?
z
Let s = -6.37 - -0.27. Let p = 5.9164 + 0.0836. Let u = s + p. Which is greater: u or 62?
62
Let d be -2 + 5 + -3*4/6. Suppose -6 = -g - d, 3*j = -3*g + 15. Suppose 2*i - y - y + 10 = j, -5*i + 2*y = 16. Which is smaller: 0 or i?
i
Let s = 23/36 + -5/12. Suppose -344*g - 20311 - 10990 - 20299 = 0. Is g not equal to s?
True
Suppose -4*r = 3*z + r + 40, 0 = -2*z - r - 36. Let s be -26 + (-12)/15*-5. Which is greater: z or s?
z
Suppose 4*k - 3*q = 35, -5*k - 4 = -3*q - 47. Let f be (-27 + -10 + k)/(-5). Which is greater: -1 or f?
f
Let g(i) = i**2 + 10*i + 34. Let b be g(-7). Suppose 3*d + 49 = b. Is d at most as big as -12?
True
Suppose 3*h = -5*g - 21, -27*h + g = -22*h + 63. Let r(k) = 3*k**3 + 37*k**2 + 4*k - 3. Let v be r(h). Is v greater than -2?
True
Suppose -b - 5*z + 27 = 0, -2*b - 1 = 4*z - 31. Suppose b = -10*i + 27. Suppose 5*r = -4*f + 31, f = -2*r + 4*r - 2. Which is bigger: i or r?
r
Let s = 0.3 - 1.3. Let o = s - -0.9. Let c = 14148.7 + -14151. Do o and c have different values?
True
Let g = -0.1 + 0.2. Let l = 0.049352 - -114.950648. Is l < g?
False
Let g be ((-65)/(-6) + -7)*426. Which is smaller: g or 3?
3
Let l = 8971 - 18635/2. Let j = l - -373. Which is smaller: 28 or j?
j
Let q(m) = m**3 + 8*m**2 - 31*m + 22. Let w be q(-24). Let a be (-2)/(-18) - w/819. Which is greater: 11 or a?
11
Suppose 5*p - 9081 = -r + 2*r, r + 4*p + 9063 = 0. Let d = r + 26876/3. Let a = -112 - d. Which is bigger: a or 21?
21
Let i = -8.06 + -386.94. Let t = i - -410. Is 3/2 < t?
True
Let y = -5664 + 5633. Is y at most as big as -90?
False
Let r = 183 + -306. Let z = -57 - r. Which is smaller: 65 or z?
65
Suppose -8626 = -2*q - 5*l + 8585, -3*q = -l - 25808. Let o = -103177/12 + q. Let v = -14/3 + o. Is v smaller than 13?
True
Let w = -25.74 - -23.74. Is w >= -1113?
True
Let j = -446.35 + -18238.65. Which is bigger: -2/3 or j?
-2/3
Suppose 2*x - j - 184 = 0, -2*j = 5*x - 3*x - 178. Let p(v) = -v**3 + 116*v**2 + 861*v + 88. Let o be p(123). Is x greater than o?
True
Let y = 199120714 - 462955671797/2325. Let h = -129/25 - y. Which is smaller: 1 or h?
h
Let b be -349 + (-10)/(40/36). Let p = b - -328. Is -340/11 greater than p?
False
Suppose 0 = 21*k - 36*k - 11850. Which is smaller: k or -788?
k
Let j(c) = 2105*c**3 + 4*c**2 + 2*c - 4. Let b be j(-2). Let u = -7355587/437 - b. Let a = u - -554/17043. Which is smaller: -1 or a?
-1
Let o = -49 - -64. Let f(q) = 3*q + 1. Let g be f(-1). Let h be 38/70 + 24/o + g. Which is greater: h or -1?
h
Let p be (-27 + (-33 - -59))/(2*(-2)/(-1460)). Is p >= -366?
True
Let v = -59395 + 297153186/5003. Is v at least as big as -1?
True
Suppose 0 = 8*q - 3*q + 5. Let v be 20*(-4270)/(-7784) - 11. Is q less than v?
True
Let a = -3585 - -3585.1. Which is smaller: -2379 or a?
-2379
Let t(p) = 1 + 0*p**2 - 2*p**2 + 0. Let c be t(-1). Let v = 654687 + -654573. Which is smaller: c or v?
c
Suppose 0 = -l - 6 - 0. Let o be -25 - (l + (4 - 2)). Let k = 22 + o. Is -2/43 greater than k?
False
Suppose 7*b + 952 = 24*b. Suppose 8*m - m = b. Do 7 and m have different values?
True
Let p = 1/17685 + -725542/8082045. Which is smaller: p or 1?
p
Let a be (2/((-4)/3))/(63/(-588)). Let r be (-42)/(-49) + 44/a. Which is bigger: -5 or r?
r
Let v be (0/((1 - -11) + -11))/(-3). Is v < 35/46?
True
Let z = -43933/8 - -5480. Which is smaller: z or -2?
z
Let d = -0.7127 + -1.2873. Is 2048 > d?
True
Let k(i) = 7*i - 360. Let t be k(0). Which is smaller: -362 or t?
-362
Suppose 3*k - 77 = 4*i, k - i - 12 = 13. Suppose -13*q = -127 + 49. Let j be 3*(69/(-6))/(q/(-4)). Are k and j equal?
True
Suppose -3*x + 2*x = 0. Suppose x*f - 4*f - 3*m - 165 = 0, 3*f + 4*m + 129 = 0. Let i = 749 - 2997/4. Is i at most f?
False
Suppose -368 = -6*a - 2*a. Suppose -y + a = 25. Does y = 21?
True
Let x = 3 - 4. Let s = -14372/1413945 + -2/21753. Is x at most as big as s?
True
Suppose 5*m = -4*b - 61219, 8*m - 3*b + 123379 = 25438. Which is smaller: m or -12242?
m
Suppose -482*t = -3*j - 483*t - 602, -2*t + 587 = -3*j. Is j at most -38?
True
Suppose 148*d - 64768 + 252876 = 0. Which is smaller: d or -1269?
d
Suppose 2*m + 2*m = 96. Let c be 5/(-3*(-7)/105). Suppose -m*a + 1 = -c*a. Is 3/4 <= a?
F