 to m?
False
Let r(f) = -5*f**2 - 2*f + 4. Let x be r(-3). Let m = x - -56. Let b = -4 + m. Is b at most 18?
True
Let q be (-61)/7 + (-4)/14. Let j be 22/1*((-39)/(-26) - 2). Does j = q?
False
Let v be 2*(1609/(-24) - 0). Let h = v - -134. Does h = 1?
False
Suppose 14 = h - 18. Suppose -5*f = -4*l + h, 0 = -5*l - 3*f + 4 - 1. Suppose -t + l*t = 0. Which is bigger: t or -12?
t
Suppose -3*z = 3*a - z - 47, 0 = 5*a + 4*z - 75. Suppose a = 6*h + 13. Which is smaller: -3/8 or h?
-3/8
Let v = 27.5 - 26.5. Is v != 621?
True
Let g = 2052 - 2052. Let q = -2 - -3. Let u = q + -2. Is u at most as big as g?
True
Let j = -5/119 + 314/4641. Let a be 1*-5*-4*1/4. Suppose -6 = -4*w - 2, -a = 3*d - 2*w. Is d greater than j?
False
Let p(y) = y**3 - y**2 + 2. Let b be p(0). Let i(r) = -r**3 - 5*r**2 - 3*r - 11. Let l be i(-5). Suppose -b*o - 2 = -l*o. Which is bigger: -3/11 or o?
o
Let a = 8903 + -2733225/307. Which is greater: -1 or a?
a
Let a be (-2)/(-6) - 38184/72. Which is greater: -531 or a?
a
Let r = -1 - -2. Let d = 0.69 + 0.52. Let j = -1.91 + d. Is j smaller than r?
True
Let k be 6/4 + (-161)/(-14). Let j(r) = -r + 15. Let x be j(k). Let z be x/6 + (-63)/27. Is -6/7 equal to z?
False
Let x = 2080 + -1188. Is x > 892?
False
Let h = 22.1 - 23.1. Is h equal to 262?
False
Let c be ((-39)/5)/(159/(-30) - -5). Are 46 and c equal?
False
Suppose 0 = n - 2*x - 21, -n - 4*x + 9*x + 33 = 0. Is n at least as big as 225/17?
False
Suppose -3 - 1 = -2*t. Suppose 2 = l - t*l. Suppose -2 = -4*u - 10. Is l less than or equal to u?
True
Suppose 0 = -b + 4*b + 60. Let t = b + 10. Let d be (4/(-16))/(t/8). Is 2 not equal to d?
True
Let h = -5.8 + -0.7. Let m = h + 5. Let u = m + 1.5. Is u less than or equal to 2?
True
Let y = 18 + -18. Let s(p) = p**3 + 5*p**2 - 5*p - 2. Let t be s(-6). Let u = t - -3. Which is smaller: y or u?
u
Let o = 16.43 + 15.57. Which is smaller: -2/7 or o?
-2/7
Let c(y) = 2*y**2 + 65*y + 121. Let q be c(-2). Let i = 3 + -1. Is q at least i?
False
Let j(i) = i**3 + 3*i**2 + 3*i + 4. Let x be j(-2). Is x != 133?
True
Let y(f) = -f + 6. Let m be y(-10). Let j be (292/m*-2)/(-19) - 2. Is -1 > j?
False
Let q be (-337)/18 + (136/(-36) - -4). Let n = -10 - 8. Let v = n - q. Which is smaller: v or 14?
v
Let s be -3 + (-2 - 0)*-2. Let g be ((-9)/(-18))/((-3)/8)*s. Is 5 greater than or equal to g?
True
Let j be 108/126 - 6/(-42). Let u be (1/(-5))/(2/4). Which is smaller: u or j?
u
Let z = -61/14 - -34/7. Which is greater: -7 or z?
z
Let u be (-25 - -35) + 39/(-4). Which is bigger: 0.808 or u?
0.808
Let w = -85 + 85. Let x be 53 - (w/(-4) + 5). Which is bigger: x or 49?
49
Let w(g) = -5*g + 44. Let t be w(9). Let k be (t + (-2)/4)*(-6)/(-57). Which is smaller: -1 or k?
-1
Suppose -6*n + 7*n = 5. Suppose n = -4*d - 27. Is -9 less than d?
True
Let c = -56 - -19. Let q = c - -74. Let u be 3 + (-1)/10*(-52)/(-2). Are u and q unequal?
True
Let h be (-144)/20 + (-1)/(-5). Let n be -3 - -1*(-24)/h. Is -1 >= n?
False
Let y be (-1 - 129/(-84))/(9/(-6)). Which is smaller: y or -5?
-5
Let w = -7 - -20. Let j = -10.4 + w. Let h = j + -0.6. Is 1/3 greater than or equal to h?
False
Let d be (144/(-18))/(2 + 41/(-20)). Let y = d - 167. Is -9 at most as big as y?
True
Let a = -0.06 + -0.4. Let r = 0.54 - a. Does r = 0.057?
False
Let h(g) = -17*g**2 + 4*g - 5. Let v be h(2). Which is bigger: -1 or v?
-1
Let t = -1013 + 1125. Is t at least as big as 115?
False
Let h be (2*6)/(21/(-28) - -1). Which is greater: 47 or h?
h
Let h be (-225)/(-21) - (-8)/28. Which is bigger: 59/6 or h?
h
Let r = -441 - -271. Let k be (r/(-25))/((-1 - 0)/1). Which is bigger: k or -8?
k
Let m(h) = -2*h**2 + 8*h - 5. Let t be m(2). Let f(z) = -20*z. Let v be f(-1). Suppose v = -2*b - t*s, -3*b - s = -5*s + 13. Which is greater: b or 0?
0
Let z = 859 - 727. Is z bigger than -0.3?
True
Let t be -48 + 12/10*20/8. Let s = t - -45. Let u = -5/7 + 3/7. Is u at least as big as s?
False
Let b = 1928 - 1927.913. Is 2 at least b?
True
Suppose 6 = -g - 4*p + 3, -5*p = g + 4. Suppose 0 = -2*m - 55 + 43. Let n be (-5 - 0 - 1)*3/m. Which is greater: g or n?
n
Let b be -4 - (16/(-2))/4. Are 68 and b equal?
False
Suppose -2*p - 12 = -4. Let b be 40/(-12)*3/(-1). Let f = 6 - b. Is p at least f?
True
Suppose 16*l + 112 - 672 = 0. Which is smaller: 2 or l?
2
Let c = 267 + -27. Let w be (-37)/c + 2*2/24. Is 0 > w?
False
Let f(m) be the first derivative of -m**4/2 - 8*m**3/3 - 7*m**2/2 + 7*m - 18. Let g be f(-4). Is 35 smaller than g?
False
Suppose -3 = 3*l - 6*l. Let m be 170/(l + (-3)/15). Let i = 2103/10 - m. Which is smaller: 2/7 or i?
i
Suppose 0 = -21*s + 140*s. Is s > 7/404?
False
Suppose 4*v - 5 = 11. Suppose v*n + 5*h - 72 = 4, 0 = -5*n - 5*h + 100. Let q = -23 + n. Which is greater: q or -2/35?
q
Let m be 4 - (-217)/(-28) - -4. Is -2/745 > m?
False
Let t be (-15)/3 + (-82)/(-6). Suppose 0 = -2*c - 5*i + 3*i + 26, 25 = 5*c - 3*i. Which is bigger: t or c?
t
Let g be 0 + 10 - (-5 - -1). Suppose -g*d + 11*d = 6. Is 1/5 at least as big as d?
True
Suppose 4*f + 0*f + 20 = 0, 2*k + 6 = -2*f. Suppose k*s - 4 = -0*s. Let y be 0 + (s - (-540)/(-273)). Are -1 and y unequal?
True
Let i = 142 + -141. Let l be 1*(94/(-98) + 1). Which is greater: i or l?
i
Let v = 109/177 - -3/59. Is -0.97 <= v?
True
Let n = -0.03 - 0.11. Let j = -541.86 + 532. Let s = j + n. Which is bigger: -1 or s?
-1
Let l be (8/(-10))/(14/(-5)). Let t = 2 - 4. Let z = t - -1. Which is smaller: z or l?
z
Suppose -5*f + 3 = -7. Let u be 9/f*20/2. Let h be 215/u - (-4)/18. Is 3 bigger than h?
False
Let y(a) = 29*a + 3. Let j be y(4). Let q be 18/(-14) - (-34)/j. Which is smaller: 1/108 or q?
q
Let u be (256/76 - 3)*1. Let k = -344/57 + u. Which is smaller: -5 or k?
k
Let k(i) = -i**2 + 3*i + 9. Let t be k(9). Let x be (-1)/t - 17/(-85). Let v be 6/10 + 4/10. Which is greater: v or x?
v
Let v = 67 - 67.1. Are -2.36 and v unequal?
True
Let p(o) = 5*o**3 + o**2. Let a be p(-1). Let g(m) = 6*m**2 - m - 5. Let d be g(a). Do 95 and d have the same value?
True
Let n = -548.9 + 549. Which is smaller: 674 or n?
n
Let s = 3/139 - 441/1112. Let n be (-2)/(-4) - 2/4. Which is bigger: n or s?
n
Let g be -2*(-1)/(-5) - 10/50. Is 1/40 > g?
True
Let m = 6.01 + -7.03. Is m less than or equal to 0.1?
True
Suppose 4*g = -l + 7, 49*g = l + 44*g + 11. Is l less than or equal to -15/197?
True
Let o be 370/48 - (-260)/(-26). Is o less than or equal to -3?
False
Let o be (-630)/(-12)*(-8)/12. Is o at least -36?
True
Let p(q) = 26*q - 179. Let v be p(7). Which is bigger: 2 or v?
v
Let h = 3.843 - -0.157. Suppose 0 = 4*q + 1 + 19. Is h smaller than q?
False
Let y be (-116)/145 + 49/5. Is y at most 31/4?
False
Suppose 0*g = 5*g + 55. Let q = 13 - 2. Let b = q + g. Which is greater: 3 or b?
3
Let c = 0.02 - 0.82. Let z = 9.7 + -8.5. Let f = c + z. Which is smaller: 0 or f?
0
Let n(s) be the first derivative of s**3/3 + 3*s**2/2 - 13. Let h be n(-3). Which is smaller: 6/19 or h?
h
Suppose -248 = -n - n + 3*i, i = -2. Is 122 smaller than n?
False
Suppose -5*h = -3*t + 4 + 6, 0 = -5*h + 4*t - 15. Is 2/295 less than or equal to h?
True
Let n = -93/148 - 60/37. Which is smaller: n or -2?
n
Let u = -0.1037 + -27.8963. Which is bigger: -0.04 or u?
-0.04
Let c be (4 + 3 + 0)/(-1). Let q be 58/18 + 22/(-99). Suppose -q*o = -2*o. Which is bigger: c or o?
o
Let i(q) = q**3 + 7*q**2 + 5*q + 6. Let n be i(-6). Let r be (-438)/4 + n/(-4). Let d = r + 110. Which is greater: -3 or d?
d
Suppose 0 = -5*m - 142 + 162. Which is bigger: 44/17 or m?
m
Let l be -3 + 484/18 + 3 + -4. Which is smaller: l or 23?
l
Suppose -5*d - 4*r + 59 = 0, -2*d + 2*r = -r - 19. Suppose -5*a - 9 = -3*u, -2*a + a = -5*u + 15. Suppose 2*t = -u*t + 55. Is d at most as big as t?
True
Let d be 34/(-153) + 160/396. Is -0.059 > d?
False
Let s = -398/5 - -79. Which is bigger: s or -29?
s
Let b(j) = j - 5. Let d be b(5). Suppose 0*t + 2*t = -d*t. Which is greater: t or 2/121?
2/121
Let z(w) = -w**2 - 6*w - 9. Let t be z(-3). Is t less than 98?
True
Let w(r) = -r**3 - 10*r**2 + 10*r - 8. Let v be w(-11). Let l = v + 0. Let d be (1/7)/(l/6). Is -2/67 at least as big as d?
False
Let r = -16597/2 - -8538. Let o = r - 28267/118. Is o bigger than -1?
True
Let i(j) = -j**3 + 10*j**2 - 10*j + 11. Let s be i(9). Suppose -2*n + 13 = 3*q, -