
True
Suppose w - 4*w = w. Suppose w = 5*m - 0*v - 4*v + 8, 0 = 5*m + 3*v - 6. Let k be 0 + 1/(5 + -2). Which is smaller: m or k?
m
Let a(f) = -f**3 - 2*f**2 + 17*f. Let g be a(-5). Is g bigger than -65/6?
True
Let j = 119 - 113. Let r(z) = 5*z - 15. Let q be r(j). Which is smaller: 78/5 or q?
q
Let p = -71 - -70. Let m be p/(-3 - (3 - (-82)/(-14))). Is m less than 7?
False
Let s be 4 + ((-1)/(-7) - (-1036)/(-49)). Let i(n) = n**2 + 23*n + 16. Let m be i(s). Which is bigger: m or -85?
-85
Suppose -4*b + 6*h = 3*h - 19, -5*h = -b - 8. Is b equal to 31/5?
False
Suppose -2*t = 16*t + 576. Which is smaller: t or -30?
t
Suppose 3*t - 5*z = -22, -t - 30 = -0*t + 4*z. Let n be 4 - (1 - 1 - -12). Which is smaller: n or t?
t
Suppose -25 = 5*y, z + 0 + 6 = -y. Let q be 2/z*3*4/24. Are q and -1/44 non-equal?
True
Let k = 236 + -228. Which is greater: 12 or k?
12
Suppose 11*g - 8*g - 15 = -4*p, 4*g - p = 1. Which is bigger: g or 5/54?
g
Let u be (-9 - -4 - -8) + 0. Are u and 4 nonequal?
True
Let b = 12.3 - -45.7. Let d = 62.6 - b. Let m = d - 5. Is m at least 1?
False
Let s be ((-285)/9 - 1)/((-15)/(-45)). Is s <= 6?
True
Let c = 713 + -883. Which is smaller: c or -174?
-174
Suppose -19 = -z - 0*z. Suppose f - 14 = -3*m, m = f - m - z. Which is bigger: f or 19?
19
Let y be 3*6 - (0 + 2). Let p = 4814/3 + -1590. Is y bigger than p?
True
Suppose 7*p - 3*p - 72 = 0. Let v = p - 23. Let u be 9 + -13 + (-18)/v. Which is greater: u or -9?
u
Let o be ((-15)/18)/((-1)/6). Suppose -5*z + d + 37 = -42, -20 = o*d. Suppose -7*y + 2*y = z. Is -1 at most y?
False
Suppose 46 - 16 = 30*x. Let q be 0 + -1 - (-2 + 80). Let t = 393/5 + q. Is t less than or equal to x?
True
Let i be 4/(-18) + 10561082248/(-55440). Let v = i - -190496. Let d = 1/110 - v. Which is bigger: 0 or d?
0
Let l be (-4)/14 + (-6704)/56 - 3. Is -1/2 <= l?
False
Let a be (-18)/(-80) + 6/15. Is 8 bigger than a?
True
Suppose -3*s - 1026 + 768 = 0. Which is smaller: s or -87?
-87
Suppose -21*g - 252 = -9*g. Which is bigger: g or -20?
-20
Suppose 22*r - 4*r = 0. Which is bigger: r or 1/330?
1/330
Let g = -29 - 17. Let f = 42 + g. Is f less than -1/3?
True
Suppose -7*o + 91 = -5*x - 130, -x + 2*o = 43. Suppose -4*m - w = 190, w - 25 = -3*m - 167. Do x and m have different values?
True
Suppose 0 = 45*h - 69 + 24. Is 18/49 greater than h?
False
Let h = 80 - 78. Suppose -3*b + 6 = -5*x - h, -2*x = 4*b + 24. Which is greater: x or 0?
0
Let b = 16.6 - 16.521. Let h = b + -0.029. Is 0 smaller than h?
True
Let q = 8 - 7.99. Let t = 86 + -81. Do q and t have the same value?
False
Let p be (138/64492)/(-3 - (-21)/6). Is -1 at most p?
True
Suppose 60 = -58*u + 62*u + 4*w, 2*w = 2*u - 26. Is u equal to -12?
False
Suppose 115*k = 124*k + 6525. Is -726 <= k?
True
Let s = -22 - -28. Let q be (8/24)/((-1)/s). Is q smaller than 21?
True
Let u = 333 - 384. Is -51 greater than u?
False
Let f be 1/2 - 219182170/(-6851340). Let o = f - 19/20151. Let r = o + -98/3. Which is smaller: r or 1?
r
Let c(f) = f**2 - 14*f + 2. Let i be c(10). Let t = 644/17 + i. Suppose -4*s - k = 11, k + 0 - 3 = 3*s. Is s greater than t?
False
Let b(m) = m**3 - 6*m**2 - 9*m + 6. Let a be b(7). Let k be 2*3 - a/(-2). Is 2 equal to k?
True
Let i = 3/5 + -4/15. Suppose 3*u - 2*b - 5 = 0, 2*u = -0*b + 3*b. Which is smaller: u or i?
i
Suppose 0 = -5*r + w - 104, 5*r + 9*w - 4*w = -110. Let p be (r/(-15) - 1) + (-12)/80. Let o be (-4)/10 + (-4)/(-10). Which is bigger: o or p?
p
Suppose 0 = 49*u - 44*u - 10. Suppose 3*a = u*a + 86. Is 87 >= a?
True
Let c(l) = 12*l - 9. Let t be c(7). Suppose -7*n + 4*n - s + t = 0, -5*s = 2*n - 37. Is n at least as big as 26?
True
Let a(l) = -2*l**2 - 39*l + 272. Let v be a(7). Is v less than -99?
False
Suppose 3*p - 6 = 0, 0 = -3*b - 5*p + 19 + 9. Suppose 3*l + b = -3. Is -7 less than or equal to l?
True
Let q = 0.2123 - 0.1023. Which is greater: q or -0.111?
q
Suppose 20 = -5*o, -10 = -b - 0*o + o. Let s = 0.13 + -0.166. Let u = s - 1.964. Is b at most u?
False
Let u be 1 + 2 + 6 - 3. Let g be (8/(-74))/(u/(-3)). Suppose 2*h = 2*h + 4*h. Are g and h equal?
False
Let j = -0.287 + 170.187. Let l = 161 - j. Let z = -9 - l. Which is smaller: -4 or z?
-4
Suppose b + 54 = 7*b. Suppose c = -3*l - 12, -c = 5*l + b + 9. Are l and -2 unequal?
True
Let f = 60 - 47. Suppose 0 = -10*s - 7 - f. Suppose 4*r - 1 - 3 = 0. Is r greater than s?
True
Let m = 15.643 + 0.357. Is m equal to -1?
False
Let i = -0.84 + 0.04. Let x = -22.3 - -23. Let c = x + i. Which is bigger: c or -2?
c
Let y = 25 - 26.2. Let k = 1.22 + y. Which is smaller: k or 2?
k
Let x(t) = t + 3. Let v be x(0). Suppose 2*n - v*d + 60 = 0, -2*n + 4*d = -7*n - 127. Let p be (8/18)/(18/n). Is -8 bigger than p?
False
Let a = -6.1 - -6. Let m be 4/(-18) - 532/36. Let j be (-6)/m + (-18)/70. Is j at least as big as a?
True
Let k be ((-12)/9)/((-8)/24) - 557. Which is smaller: k or -552?
k
Let a(j) = j**3 + 6*j**2 - 5*j + 2. Let g be a(-6). Let f be 114/(-176) + 12/g. Which is smaller: f or -1?
-1
Let o = 19 + -15. Let x be o/(-10)*(-48)/(-32). Which is bigger: x or -2?
x
Let l be (2/4)/(337071/294). Is l > 1?
False
Let r(w) = w**2 + 33*w**3 - 32*w**3 - 18 - 13*w**2 - 12*w + 0*w**2. Let j be r(13). Which is smaller: -3 or j?
j
Let j(m) = m**3 - 12*m**2 - 21*m + 31. Let k be j(13). Let c = -47 - k. Which is smaller: c or 25?
25
Suppose 5 = q - 28. Suppose 0 = 5*y + 23 - q. Suppose -5*j - 24 = -b - 0*b, 2*j + 32 = y*b. Which is greater: b or 13?
b
Let u = -33.96 + 35. Let m = -0.94 + u. Is m != 4?
True
Let q(o) = o - 5. Let x be q(-4). Suppose -2*z = s + 2*z + 20, -1 = 2*s - 5*z. Is s at most x?
False
Let j = 58/575 + -1246199/1725. Let v = -707 - j. Which is greater: 14 or v?
v
Let v = -1.946 + 0.946. Is 324 > v?
True
Let c(w) = w**3 + 45*w**2 - 5*w - 236. Let z be c(-45). Is z at least as big as -14?
True
Suppose 75 = k - 4*k. Let m be (1 + 0)*(3 + -29). Is k at least as big as m?
True
Suppose 4*f - 1 = 6*f + 3*b, 0 = 5*f - 3*b - 29. Suppose 0 = 4*z - f - 4. Let r = -21 + 23. Is r smaller than z?
False
Let o be (12/5)/(-7 - -5). Let x = o - -83/65. Let a(q) = -q**3 + q**2 + q - 1. Let g be a(1). Which is greater: x or g?
x
Let b = 160 - 56. Suppose -b = -3*c - 89. Is -1 bigger than c?
False
Let v = -105 - -105. Let m be (-309)/(-3 - (-6)/3). Let z = m + -7109/23. Is v bigger than z?
True
Let k be (-56)/10 + (18/(-15))/3. Suppose -2*w + 37 = -4*u + 3, 5*u = 2*w - 40. Are k and u non-equal?
False
Let a = 1.43 + 5.57. Let o = -13 - -9. Is o < a?
True
Let q = 1870.982 - 1809. Let s = 0.018 + q. Is s < -1?
False
Let s = 10 + -9. Let a be 33/(-76) - 8/((-320)/30). Which is smaller: s or a?
a
Let r(h) = h**2 + 11*h - 3. Let q(a) = 7*a**2 + 21*a - 15*a - 9*a + 10 - a**3. Let g be q(7). Let f be r(g). Is -3 equal to f?
True
Suppose 7*g = 33*g - 26. Which is smaller: -1/318 or g?
-1/318
Let a be (-10)/35 - 20/(-70). Let y = 0.045 - 21.045. Are y and a equal?
False
Let h(l) = 24*l**2 + 9 - l - 12*l**2 - 11*l**2. Let g be h(0). Suppose -3 - g = -2*b. Is b > 7?
False
Let f = -11.073 + 1.073. Which is greater: f or -4/5?
-4/5
Let b(x) = 5*x + 0*x + 13 + 1 - 9. Let a be b(-2). Are -6 and a non-equal?
True
Let k = 25.58 + -1.58. Does 2 = k?
False
Let l = 96 - 57. Let w be 18*(-9)/l - -4. Which is smaller: 0 or w?
w
Let f = -611789/38 - -1496540/1197. Let j = f + 14849. Let x = -5/14 - j. Is 1 at least x?
True
Suppose b + 40 = -l, -5*b = -b - 4. Is l equal to -40?
False
Suppose -702 = 13*x - 26*x. Is x not equal to 51?
True
Let p be (-1)/((-1)/(-2 - -3)). Let c = 5348 + -181829/34. Is c less than or equal to p?
True
Let l = 2281 - 189331/83. Which is greater: 0 or l?
0
Let i be 1*(-4)/(-1 - -3). Let o = -1132/3 + 376. Is o at most i?
False
Let h(u) be the third derivative of -u**5/60 + u**3/6 + 7*u**2. Let b be h(1). Let q(z) = -z**2 - 8*z - 8. Let g be q(-7). Which is smaller: b or g?
g
Let i(o) = 2*o**2 + 26*o - 59. Let w be i(-15). Which is greater: -1/569 or w?
w
Let s be ((-1)/66)/(-7*6/(-1701)). Let f = 3/22 - s. Do f and 0 have the same value?
False
Suppose 0 = 3*u - 5*g + 93, 6*g + 63 = -2*u + 9*g. Which is smaller: -42 or u?
-42
Let z be -41 - (-1 - 3*(-4)/(-12)). Is z >= -36?
False
Let i = -664922633/395 + 1683352. Let g = -3/79 - i. Is g smaller than -3?
True
Let b be (4/(-6))/(2/3).