o 2/14973 and v have the same value?
False
Let o(r) be the first derivative of r**4/2 + 5*r**3/3 - 2*r**2 + 4*r - 135. Let k be o(2). Are 32 and k equal?
True
Suppose 3*d = 28*g - 24*g - 363, -600 = 5*d - 5*g. Which is bigger: -110 or d?
-110
Let q = -0.3728 - -0.5428. Which is bigger: 2/9 or q?
2/9
Let f = 2626 - 2625. Which is greater: 654 or f?
654
Let x = -9.524 - -8.87. Let k = -0.554 - x. Which is smaller: k or -0.284?
-0.284
Let n be 13/(39/90)*1. Let y(d) = -173*d - 344. Let g be y(-2). Which is smaller: n or g?
g
Let f = 1366 - 1066. Does 302 = f?
False
Let n(a) = -614*a - 9211. Let q be n(-15). Is 48/265 at least as big as q?
True
Let o(r) = -r - 4. Let u be o(-3). Let l(z) = z**3 + 24*z**2 + 18. Let i be l(-24). Let f be (-57)/i - -3 - 65/(-30). Is u > f?
False
Let w(i) = -i**2 + 21*i + 127. Let b be w(19). Which is bigger: 164 or b?
b
Let y = -1673 - -1615. Let u = -5 + 4. Let l be u/(1 + (-174)/177). Which is greater: l or y?
y
Let u be 963/535*30/9. Suppose -3*t = 5*p - 4*t - 13, 0 = -4*p - 2*t + 2. Suppose -p*q = -8 - 2. Is q bigger than u?
False
Let c(g) = g**2 + 9*g + 5. Let j = -251 - -251. Let s be c(j). Is s at least 3?
True
Suppose 0 = h - 2*h + 4. Suppose -h*b - 11 = -0*a - a, -4*a - 12 = -2*b. Suppose 15 = -v - 2*v. Which is greater: b or v?
b
Let w(n) = -n**2 + 9*n + 8. Let d be w(9). Suppose -15*j = -13*j - d. Suppose 2*l = -j*i + 13 - 1, -5*i + 15 = l. Which is smaller: -4/11 or l?
-4/11
Suppose -494 = -16*x - 1342. Is x equal to -53?
True
Let i be (-12)/(-6)*(3 + -2). Suppose 5*y - 26 - 29 = i*v, -38 = -2*y + 4*v. Is 29/3 at least as big as y?
True
Let d = 12 - 17.2. Let z = 81.85 + -87. Let h = z - d. Are -2 and h equal?
False
Let p = 2894 - 2831. Which is greater: 501/8 or p?
p
Let z = 5054 + -5085. Let t = -2897 - -8602/3. Is t greater than z?
True
Let u(h) = 9*h**2 - 5*h + 9. Let z be u(2). Let v = z - 40. Let f be (-36)/v - (-6)/(-30). Is f != 2?
True
Suppose 17 - 749 - 395 = -23*c. Let y be ((-10)/4)/(4/(-80)). Do c and y have different values?
True
Suppose 4*x + 15 = -x. Suppose 7*v + 160 = 55. Let k be (-6)/v + 9/((-1170)/272). Is k <= x?
False
Suppose 4*b + 5*u - 16 = 0, 3*b - 4*u + 20 = -b. Which is greater: b or 5/14?
5/14
Let a(m) = -m**2 - 15*m + 18. Let q be a(-13). Let r be (0 + 6/4)/(891/q). Suppose 0*p - 5*f = -p + 25, 4*p - 5*f = 25. Is p smaller than r?
True
Suppose -2*u + 3*s - 624 = 0, 3*u + s + 562 = -363. Let g be -2 + u/(-12) - (-7)/28. Is g > 22?
True
Let i be (1/(-5))/((-8)/(-10)). Let u(k) = k**2 + 25*k + 13. Let l(m) = -m**2 - 24*m - 13. Let h(y) = 3*l(y) + 4*u(y). Let n be h(-27). Is i at most n?
False
Let m(l) = 2399*l - 6. Let x be m(-1). Let v = x + 134685/56. Which is smaller: v or -1?
-1
Suppose -3*a = 4*d - 345, 4*d = -0*d + 5*a + 385. Let f = d + -124. Is f equal to -33?
False
Let w(j) = j**2 + 28*j - 34. Let h be w(-30). Suppose -18*u = -h*u + 16. Suppose -15*q + 9*q + 12 = 0. Is u less than or equal to q?
True
Let t(i) = 2*i**2 + 54*i + 421. Let g be t(-11). Suppose 65*n = 64*n + g. Is 72 at least n?
True
Let z be (-24)/84*21/(-2) + 2245. Is z smaller than 2248?
False
Let y = 10411 + -10410.71. Which is bigger: -1/49 or y?
y
Let g be (-48)/36428*-759 - (-5)/(-5). Which is smaller: g or -1?
-1
Suppose 21 = 2*u + 7*y - 2*y, 3*u - 4*y = -26. Suppose 3*q - 62 = 88. Let l = q - 53. Which is bigger: l or u?
u
Let i = 5845351/169 - 34588. Is i greater than -1?
True
Let i = 2051.4583 + -2052. Let k = -0.0417 - i. Which is greater: 19 or k?
19
Suppose 0 = 3*z - 11 - 220. Let g be 2070/7 - (-22)/z. Let b be (-3)/(-2) - (724/g - 1). Is b less than -0.1?
False
Suppose -3*l + 223 = 2*p, 6*l - 2*p = 4*l + 142. Which is smaller: l or 1510/21?
1510/21
Let q = 1045 - -286. Do -0.1 and q have the same value?
False
Let a be 5/(5 + 5)*(0 + -12). Let c be (3 - (-21)/a)*-2. Let p be -1 - ((-70)/72)/1. Do c and p have different values?
True
Let v = 3.2699 + -0.2079. Let t = v + 41.918. Let r = t + -45. Do 1/3 and r have the same value?
False
Let i = -2.71715 - -0.02615. Which is bigger: -0.1 or i?
-0.1
Let s = 14659 + -22300. Which is greater: s or -7640?
-7640
Suppose -25*v - 87 + 4612 = 0. Suppose 11*b = -159 + v. Is b smaller than -279?
False
Let w(y) = -y**3 + 4*y**2 + 2*y - 6. Let s be w(4). Suppose s*f = 3*f. Suppose -3*x + 2*x + 2 = f. Which is smaller: x or -0.7?
-0.7
Suppose -5*f = 3*v + 44750, -3*f - 2681 = -5*v - 77219. Is -14910 less than or equal to v?
True
Let v be 2/(72/27)*(-72)/(-27). Is -3.513 at most v?
True
Let k be (-2)/(-11) - 12/66 - -26. Suppose 47*q + k = 45*q. Is q bigger than -10?
False
Let f = 6 + -4. Suppose 30 = 3*g - f*g. Let o(k) = k**3 + 2*k**2 + 3*k + 31. Let l be o(0). Which is greater: l or g?
l
Suppose 130 = 3*w - k, 4*w - 185 = 4*k - 5*k. Suppose b + 43 = 2*c, -3*c - w - 6 = 2*b. Which is bigger: -34 or b?
b
Suppose 0 = i + 2*i. Let j be 54/30*1130/(-76614). Is i at most j?
False
Suppose 0 = -29*o + 9045 - 1563. Let r = 257 - o. Is r not equal to -2/793?
True
Suppose 0*l = l - 1. Let f = -3614.897 - -3613. Let k = f - -0.197. Which is smaller: k or l?
k
Suppose -31 = -5*n - 4*b, 0 = -4*n - 5*b + 8*b. Suppose 5*x + 1369 = -4*s, n*s + 8*x + 1023 = 5*x. Is -336 greater than s?
False
Let l = -109/30 + 19/5. Let v be (-30)/(-4)*42/35. Let x = v + -19/2. Does l = x?
False
Let m(h) = 2206*h + 9112. Let d be m(-4). Is 251 at least as big as d?
False
Let a = -66 - -23. Suppose -66*z = -15*z - 306. Let v(x) = -x**3 + 2*x**2 + 15*x + 11. Let o be v(z). Is o at most a?
True
Let y = 152.295 - 152. Let u(n) = -14*n + 83. Let l be u(6). Are y and l non-equal?
True
Let h(g) = -g**2 - 16*g + 37. Let p = 90 + -108. Let q be h(p). Let f be 4175/1001 - (-28)/(-154) - 4. Is q < f?
False
Let b = 3972 + -1783. Is b not equal to 2187?
True
Let w = -18.3 - -133.3. Let o = w - 115.84. Let g = o - -0.74. Is g greater than or equal to -10/9?
True
Let a(l) = l**2. Let m(w) = -4*w**2 - 14*w - 2. Let s(q) = 3*a(q) + m(q). Let x be s(-14). Let v be (5 - 3)*x/338. Which is bigger: v or -1?
v
Let m be -18*1*72/27. Let z = m + 54. Are z and 5 non-equal?
True
Let b = -369.87 + -7.13. Let j = b - -377.09. Let i be ((-3)/15)/(2/5). Is j <= i?
False
Let g(l) = -17*l - 16. Let z(k) = -53*k - 48. Let q(w) = 11*g(w) - 4*z(w). Let m be q(-11). Is m < -259?
False
Let o be (-12)/(-20) + -3 - -4. Suppose 12*d + 13 = 13*d. Suppose -d = 4*n - 21. Do o and n have different values?
True
Let q = -15.4592 - -3.4372. Are 0.1 and q equal?
False
Let i = -46155 - -7430928/161. Do 1 and i have the same value?
False
Let z = 4909 - 6011. Is z <= -1103?
False
Suppose -7 = 3*o - 13. Let r be ((-24)/((-15)/5))/o. Let v be (6/r)/((-45)/(-150)). Which is bigger: 9/2 or v?
v
Let k be 752/(-58)*(-145)/290. Which is smaller: k or 7?
k
Let x = 113.97 - 109. Let c = -0.23 - x. Which is bigger: -2/5 or c?
-2/5
Let q be -2 - -5 - -15*8/(-20). Let l be 22/88 - q/4. Is 1/395 != l?
True
Let b = -181 - -180. Let l be (-4)/(-6)*(-9)/(-516). Which is bigger: b or l?
l
Let b = 1.79 - 92.79. Let m = -58 - b. Do m and 2/11 have different values?
True
Let c be 16/6*(-232)/(-16). Let m = -2514 - -2552. Which is smaller: c or m?
m
Let g(h) = h**3 + 27*h**2 + 273*h + 8. Let k be g(-15). Is -1388 at most as big as k?
True
Suppose -27*z + 14*z = -65. Let b be (2/(-4))/((-15)/30). Are b and z equal?
False
Let o = 4550.89922 - 4551. Which is bigger: o or 1/2?
1/2
Let h(b) = -b**3 - 4*b**2 - 2*b - 3. Let i be h(-4). Let f be (0 - ((-6)/3 - -2))*1. Suppose 5*j - 2*j - 6 = f. Which is bigger: i or j?
i
Suppose 232*x - 20740 = 225*x - 1213*x. Suppose -14 + 58 = 2*f. Suppose r - f + 4 = 0. Which is smaller: x or r?
x
Suppose 0 = -2*y + 3 + 1. Suppose 5*a = q + 2 - 1, y*q - 3*a - 5 = 0. Let r be (7 - q) + (-2 - -4). Does 10 = r?
False
Suppose -69*d - 16 = -73*d. Suppose 31 = -2*y + 37, -d*y = -5*g - 7. Let h = 3/10 + -17/90. Is h at most as big as g?
True
Suppose 0 = 7*y - 13 - 1. Suppose p + y = 4*l, 7*l + 2*p - 8 = 3*l. Let m be ((-9)/45)/(l/5). Which is smaller: m or 1?
m
Suppose -3*c = -3*r - 9, 0*c + 3*c + 2*r = 4. Suppose 0*i + 5*l - 20 = 4*i, 0 = c*i + 3*l + 32. Let u = -57 - i. Which is greater: 0.1 or u?
0.1
Let d = -1061/1298 + -1/1298. Let t(j) = -178*j - 36312. Let p be t(-204). Which is smaller: d or p?
d
Let a = 2 - 20. Suppose w + 4 = i 