26*i - 17. Let r be u(-2). Is r bigger than 134/41?
False
Let m = 3.817 + -5.817. Are 26/17 and m equal?
False
Suppose 21*b - 35595 = -19488. Which is greater: b or 3829/5?
b
Let a = 4859/4444 - 1/404. Let k = a - -19/33. Is k greater than 0.7?
True
Suppose -22*n = -36*n + 17*n + 93. Is 0.05 smaller than n?
False
Let k = 125351/43 - 2915. Do 0 and k have the same value?
False
Let c be 4/(-17) - -19*(-40)/6460. Let k = 1.95 + 0.05. Is c <= k?
True
Suppose -44*p - 3*d = -47*p + 5700, 4*d - 3776 = -2*p. Is 1896 less than or equal to p?
True
Let t be (-6*(-24063)/(-104))/((-44)/16 - -2). Are t and 1852 equal?
False
Let u(y) = 32 - 5*y + 2*y + 30 + 0*y. Let o be u(14). Is o equal to 96/5?
False
Let o(j) = 17*j**2 - 47*j + 13. Let s be o(4). Which is smaller: s or 89?
89
Let n(a) = -2*a**2 + 2. Let b be n(2). Let r(x) = -3*x - 14. Let y be r(b). Let q be (-25)/(-5)*(y + -26). Is q >= -110?
True
Suppose 0 = -w - 2, -3*d + 3*w = 61 + 26. Let s be d/7 - (-3)/7. Let v be (4 + (-22)/5)*5. Which is bigger: v or s?
v
Let d be -20 + 1008/54 + 2. Which is bigger: d or -8853?
d
Let f = 12484/486563 + 2/6319. Let u be (1 - 1)*(4 - 3). Suppose 0 = x - 1, 2*z - x + u + 1 = 0. Which is greater: f or z?
f
Suppose -4*r = 3*h - 32, -4*r + 12 + 20 = 0. Which is smaller: -26/1225 or h?
-26/1225
Let u be -2 + 50/15 - (-20)/(-6). Let i = 10 - u. Which is smaller: 9 or i?
9
Let w = -33.053 - -31.053. Is w at least -4146?
True
Suppose -35*v + 25*v - 750 = 0. Which is smaller: v or -51?
v
Let l(c) = -3*c**2 + 25*c + 6*c**2 + 14*c**2 - 15*c**2 + 23. Suppose 5*q = 0, 3*o = 6*o - 2*q + 36. Let b be l(o). Which is smaller: -3 or b?
-3
Suppose -3*n - 83 = -q, -4*q + 325 = -9*n + 4*n. Let c be ((-42)/(-35))/(3/q). Suppose 5*b = -4*f - c, -2*b = -2*f + 5*f + 17. Which is greater: f or 7?
7
Let i be (126/12)/(-7)*30/(-9) - 4. Suppose 2*l + 0 = -12. Let j(n) = -n**3 - 5*n**2 + 5*n - 5. Let s be j(l). Is s at most i?
True
Let j = 16.1 - 16.2. Let n = -18 + 5. Which is bigger: n or j?
j
Let w(z) be the second derivative of z**3/6 - 11*z**2 - 514*z. Let p(q) = q + 8. Let o be p(0). Let y be w(o). Is y less than -13?
True
Let y = -1.009 - -0.009. Let j = 19.9 + y. Let t = 19 - j. Do 31 and t have the same value?
False
Let p(j) = -7*j + 30. Let g(x) = -8*x + 31. Let a(t) = 2*g(t) - 3*p(t). Let z be a(17). Let v = z + -31. Are 28 and v equal?
False
Let n(x) = 29*x - 2175. Let j be n(75). Is -2/2765 bigger than j?
False
Suppose 5*o = 5*b + 190, 2*o - b - 78 = -0*o. Let j = -41 + o. Let n = 374 - 1876/5. Is n <= j?
True
Let p(n) = -3*n**3 + 85*n**2 + 60*n - 110. Let l be p(29). Is l at most -49?
True
Let i be ((-237705)/2415)/((-2)/14). Is i bigger than 700?
False
Let l be (-2 + (-456)/(-210))/((-16)/(-5160)). Which is greater: l or 54?
l
Let b = 0.6926 + 221.3074. Which is greater: -4 or b?
b
Let s be (-1)/(-2*4) - (-270390)/80. Let d = s - 6887/2. Which is greater: d or -63?
-63
Let k be ((-6)/27)/((-271047)/189). Which is greater: 0 or k?
k
Let y = -116 + 77. Let a be y - (0 + -1 + 4). Let w be (-24)/(-30) + a/40. Which is smaller: w or -6/7?
-6/7
Let y = 12.2 + -27.2. Let m = y - -12. Which is smaller: 184 or m?
m
Let k = -448 - -11645/26. Let t = -80 + 100. Suppose -t*j = -26*j + 6. Which is greater: k or j?
j
Let n(z) = 36*z - 188. Let j be n(17). Let r = -355 + j. Which is bigger: 67 or r?
r
Let d(c) = -c**2 + 7*c + 7. Let y be d(8). Suppose 3*a - 5*l = 1096, 5*a + l - 1765 = -3*l. Let z = 4277/12 - a. Which is smaller: y or z?
y
Let n(o) = -o**2 + 7*o - 5. Let w be n(6). Let t be (((-368)/(-56) - (-8)/(-14))/6)/(-1). Is t != w?
True
Let r = 840 + -835. Let w(x) = 3*x**3 + 2*x**2 + 5 - 6*x**3 + 9*x + 2*x**3. Let d be w(r). Do -26 and d have the same value?
False
Let t be 2/(-6)*-2 - (-507)/117. Suppose 80 = 5*v - 5*a, -t*v + 2*a + 108 = 4*a. Suppose -v = j + j. Does -14 = j?
False
Suppose -50*k - 3492 = 67*k + 1890. Is -762/17 less than k?
False
Let a = -796 - -806. Which is greater: a or -374?
a
Suppose 0 = -434*k + 449*k - 810. Which is smaller: k or 1/2?
1/2
Let d be (-2)/(0 + (-10)/(-35)). Let r(t) be the first derivative of t**2/2 + 2*t - 1. Let j be r(d). Is -6 != j?
True
Let k = 39/1819 - -57330/634831. Which is bigger: k or -1?
k
Suppose -4*m - 2*i + 4*i = -100, m = -5*i + 36. Let x(q) = q. Let f be x(m). Let y be (-39)/f*(-4)/126. Do y and 0 have the same value?
False
Let k be ((-1)/(-2))/(3/42). Suppose -2*l = -k - 5. Let f(g) = -2*g**3 + 12*g**2 - 2*g + 2. Let a be f(l). Which is smaller: 2/3 or a?
a
Let c be (1/(-3))/((-3192)/(-1764)). Which is bigger: -6/5 or c?
c
Let g = -29 + 63. Let t(p) = p**2 + 2*p + 3. Let h be t(5). Let d = h - g. Which is smaller: 5 or d?
d
Let k be 5 + (-171)/36 - 2/8. Suppose k = 599*r - 607*r + 8. Is r bigger than 79?
False
Let r be (-107611)/(-245) + (8/(-76) - (-174)/570). Is 440 at least r?
True
Suppose p = -10*b + 11*b + 7, -2*b = 4*p + 32. Let g(m) = 81*m - 1. Let u be g(1). Suppose 5*q + u - 15 = 0. Which is bigger: b or q?
b
Let w be (-729)/(-102)*(-8016)/264. Let s = w + 217. Is -1/2 at most s?
True
Suppose 5*c - 753 = -708. Is c <= 97?
True
Suppose -4*q + 15 = u - 5, -4*q = -2*u - 8. Suppose q*h = -5 + 25. Is h less than 15/4?
False
Let b = 113/7 + -8051/497. Let i = b - -194/923. Let d = -46 + 47. Which is smaller: i or d?
i
Let z = 26/81 + 1/81. Let k = 17865.6 - 17883. Are k and z equal?
False
Let t be (-1 - -1 - 0)*-1. Let s be (-4)/18 + t + 3684/54. Let f be 2 + s/(-32) + (-63)/(-120). Is f less than 14?
True
Let v = 3 + 0. Let d(a) = 16 - 5*a**2 + v*a - 4*a**3 + 3*a**3 + 2 - 9. Let y be d(-5). Are y and -5 unequal?
True
Suppose -5*a = -96*r + 92*r - 590, -10 = 2*r. Is 84 <= a?
True
Let g be 36*4*6/(-36). Let j be (g/16)/(4*6/608). Which is smaller: -40 or j?
-40
Suppose 7*b = b - 20*b. Let a be 1/(-15)*((-75)/45 - -5). Is a bigger than b?
False
Let c = 110/91 - 12323/182. Suppose 229 = -3*l - 5*a, a - 31 - 168 = 3*l. Is l equal to c?
False
Let a be ((-18)/8)/(175/(-23100)). Is a < 286?
False
Suppose 6*l - 16*l + 6100 = 0. Let z be l*(0 - -3)/(30/(-4)). Is z at least as big as -245?
True
Let n(b) = 127*b - 4905. Let g be n(38). Let w(l) = -20*l + 2. Let m be w(4). Is m at most g?
False
Let q(m) = -m**2 + 75*m + 2239. Let p be q(-23). Which is bigger: p or -68/19?
-68/19
Suppose -2*l + 20 + 20 = 0. Suppose -2*j + 3*k = 12, -k = -j + 4*k - l. Let w be (-1 - (j - -1)) + 1. Is w not equal to -2/15?
True
Suppose 0 = -h + 1, -3*x - 3*h - 4 = -22. Suppose 28 = p - x*f, -6 + 38 = 4*p - 4*f. Which is smaller: -41 or p?
-41
Let b be (12 - 217 - -3*2) + 2. Let d be (((-24)/(-9))/4)/(12/(-3546)). Does d = b?
True
Suppose 573 = 7*f + 580. Which is bigger: f or -9/745?
-9/745
Let k be 3/(6 - 3)*-51. Suppose -2*w - 277 = 5*x, x + 3*x = 2*w - 218. Let y = x - k. Which is greater: -40/11 or y?
-40/11
Suppose 15 = 5*k, 3*c + 3*k - 32 = 7. Suppose 49*y - 13*y + 1260 = 0. Let t be (3 - 7/(-1))*(-28)/y. Is t != c?
True
Suppose 17*l - 74394 = 23781 - 22814. Is 4434 < l?
False
Let u be (2/(-48))/((-990)/(-3960)). Let j = 112 - 77. Let o = j + -21. Which is greater: o or u?
o
Let o be (104/10)/((-2)/5). Suppose -4*s - 4 = -3*s. Which is greater: s or o?
s
Let i = -188 - -149. Let m = -9.7 + 49. Let y = i + m. Which is smaller: y or 3/4?
y
Let d be (0 + -1 + 68712)*92/(-4324). Let w = d + 1462. Is w greater than or equal to -1?
True
Suppose 5*s + 1070*n - 1055 = 1065*n, -7*s = 3*n - 1449. Which is smaller: 205 or s?
s
Let w be (8/(-10) + 2)/(10/(-25)). Let z be (2 + 2 + w)/1. Let p be (-13)/(-34) - ((-1)/2 + z). Which is smaller: p or 0?
p
Let k be (-5 + 184/40 - 0)*6. Is -4.1 at most k?
True
Let o(m) = -21*m - 105. Let l be o(-6). Suppose -l*k - 51 = -18*k. Which is greater: -22 or k?
k
Let o = -83 + 83. Let w = 80 - 188. Let p be w/(-135)*((1 - o) + 3). Which is bigger: 2 or p?
p
Let o = -343 + 194. Let u = o + 149. Are u and 11/12 non-equal?
True
Let d be -5 + -1 - (-81 + -222). Suppose 3*h - d = 14*h. Which is smaller: h or -9?
h
Let b be 3/(-36)*(-6)/4. Let r be 21/(-6) + 3 + (-1)/(-2). Suppose r = 5*q + u - 1, 3*q + 5*u = 2*q + 5. Which is smaller: q or b?
q
Let n(q) = 3*q**2 - 6*q + 10. Let b be n(3). Suppose k = -4*k + 90. Suppose 5*u = k + 77. Are u and b equal?
True
Let z be (15004/(-7161))/(6/7). Are -3 and z non-equal?
True
Let m(z) = -