 -4. Let u(m) = -8*m**2 + 9*m + 6. Let y be u(-3). Let h = -91 - y. Is h not equal to c?
True
Suppose -h = -l + 3*l, 0 = 3*h - 3*l. Let w be h - 18/57*-7. Let j = -3/76 - w. Are 1/4 and j non-equal?
True
Let l = -26 - -31. Suppose l + 5 = 2*q - 4*m, -4*q = m - 20. Do 5 and q have different values?
False
Suppose -2*f + 4*a + 104 - 32 = 0, a - 33 = -f. Let u = 35 - f. Which is smaller: u or -1/37?
-1/37
Suppose -5*y = 27*y - 608. Let t(f) = 3 - 5*f - 3 + 3. Let q be t(-3). Which is greater: q or y?
y
Let o = -1589 + 1603. Which is greater: o or 9?
o
Let v(b) = -8*b + 441. Let c be v(55). Which is smaller: c or -4?
-4
Let a(c) = -137*c**2 + 3*c - 3. Let q be a(1). Let m = q + 101. Is -34 greater than or equal to m?
True
Let w(s) = s**2 + 5*s + 6 - 2*s**2 + 2*s**2 + 4*s**2 + s**3. Let l be w(-4). Suppose -l*q + 10 = -4. Is q smaller than 2?
False
Let m = 133 - 58. Let w = m - 75. Which is greater: -3/110 or w?
w
Suppose -4*q + 44 = 4*k, 7*q - 4*q = -k + 27. Let w = 21 - 11. Is q greater than w?
False
Suppose 2*f + 10 = 4*f. Suppose 4*c = -0*j + 2*j + 6, f*c - 3*j - 8 = 0. Let b = 6.03 - 6. Is b not equal to c?
True
Let q = -841 - -1163. Which is bigger: -2/9 or q?
q
Suppose 3*b + 16 = -b. Let k = -11 - b. Let r be (-32)/10 - (-10 - k). Which is smaller: 1 or r?
r
Let w = -201 - -200. Which is greater: 2/393 or w?
2/393
Suppose k = 5*z - 1184, 2*z - 6*z + 940 = k. Are z and 233 nonequal?
True
Let t = -2248 + 2248. Which is greater: t or -1/94?
t
Let j(g) = -g**2 + 5*g - 4. Let m be j(4). Let b be ((-20)/25)/(4/(-50)). Let s be (-2)/100*4*b/(-26). Is m >= s?
False
Let d be 23016/588 + (-15 - -2). Is d at least 25?
True
Let l(t) = -7*t + 118. Let h be l(17). Which is smaller: h or 202?
h
Let o be (0 + -4)*3/102. Let n(l) = 32*l - 1. Let m be n(2). Let y be (-4)/18 - (-14)/m. Which is smaller: y or o?
o
Let n(t) = -t**2 + 10. Let k be n(0). Let h = -4 + k. Let p be h*(42/44 - 1). Which is smaller: -1 or p?
-1
Suppose -t - 3*n - 777 = 0, -115*n + 119*n = 4*t + 3188. Which is bigger: -794 or t?
t
Let g(v) = -3*v - 13. Let n be g(-6). Suppose 5*f + n*z - 55 = 0, 5*f - 54 = -0*f - 4*z. Suppose 5*r = 2*o - 1 + 42, 5*o = 3*r - 17. Which is smaller: f or r?
r
Let l be 8/60*-1*(-1)/2. Is -1 less than l?
True
Let d be ((-11 - -13) + 7)/(2/(-10)). Which is smaller: -39 or d?
d
Let d = -0.77 + 0.417. Which is greater: d or 0?
0
Let x(r) = 2*r + 18. Let w be x(-6). Let u be (-168)/(-36)*w/(-4). Which is bigger: u or -8?
u
Suppose -2*v = 16 - 110. Let a = 8 - v. Let t be 1/(a/111) + 3. Is t < -1?
False
Suppose c - 4*c - 444 = 0. Let k be c/(-14) - (-4)/(-7). Let s(v) = v - 9. Let l be s(k). Which is smaller: l or 3?
l
Suppose 3*l - 59 = 5*v, -16 + 66 = 3*l + 4*v. Suppose -y = 189 - l. Let d be y/396 + (-1)/(-4). Is d less than -2/11?
False
Let m = -8 - -13. Let o be (m + -5)/((-4)/2). Let q = -32 - -33. Which is smaller: q or o?
o
Suppose -23 = -5*m - 4*f, -3*f = -5*m - 8*f + 20. Suppose m = -k + 6. Which is bigger: k or -10/11?
-10/11
Suppose -2*h - 3*h + 126 = -4*s, 4*h = -4*s - 108. Let n = s + 19. Are -11 and n equal?
False
Let v = -6 - -2. Suppose -2*z + 15 = -4*t + 5, 0 = 5*z - 5*t - 10. Let i = v - z. Which is bigger: -7 or i?
i
Let s be (19/(-76))/(-2 + 1). Is 1/4 greater than or equal to s?
True
Let y(b) = 3*b - 2. Let q be y(3). Let s(n) = -2*n**2 + 13*n - 1. Let r be s(7). Let i = r + q. Which is greater: -3/7 or i?
-3/7
Let u be 0 + -25 + -18 + 10. Which is greater: -18 or u?
-18
Suppose 32*k - 37*k + 2*n = -886, -5*n = -5*k + 895. Is k > 177?
False
Let y = 40.77 - 41. Let c = -0.13 - y. Let v = -33.07 - -33. Which is smaller: v or c?
v
Suppose -23 = -4*z + 1. Let v = -17 + 21. Suppose u = h + 4, 3*h - 1 + 19 = v*u. Is u less than or equal to z?
True
Suppose -c = -5*q + c + 5, -5*q + 5*c = 10. Suppose 4*p = 6*p - 2. Let o be p/(4/132*q). Which is smaller: o or 12?
o
Let i(a) = a**2 - 9*a + 13. Let u be i(14). Which is greater: 84 or u?
84
Let k = 0.05 - 0.38. Let b = 0.42 + k. Is b greater than -2/3?
True
Suppose 7*x + 4 = 60. Let l(r) = -3*r + 1. Let w be l(-3). Let o = w - x. Is o > 3?
False
Let d be ((-408)/(-42) + -2)*(-13 + 6). Is -54 equal to d?
True
Let g be (6/(-12))/((-1)/(-2)). Let w = -1 - 3. Let b be (w/(-3))/(1 + -4). Which is smaller: g or b?
g
Suppose 2*a + i - 7 = -2*a, -3*a = 2*i + 1. Suppose j - 2*j = 5*k - 9, -5*k + 2*j - a = 0. Which is smaller: -3/14 or k?
-3/14
Let k = 1.081 + -1.181. Which is bigger: -295 or k?
k
Let l = -2348144/411 + 17140/3. Which is bigger: l or 0?
l
Suppose 18 = -4*a + 6. Let t be (5/(-8))/((-30)/(-200)). Is a not equal to t?
True
Let h(x) = -8*x - 3. Let v be h(-2). Suppose s = 3*p - 7*p + v, 4*s + 4*p - 28 = 0. Suppose 0 = 5*y + w - s, -5*w + 23 = -2. Are 2/3 and y nonequal?
True
Suppose 23*u - 22*u - 104 = 4*o, -3*u + 2*o = -302. Is 98 greater than u?
False
Let u = 107 + -105. Suppose r - x + 51 = 0, 3*r - 3*x + 153 = u*x. Is r at least as big as -50?
False
Let h = 12 + -3. Let s(g) = -13 + 2 + 0 + g + 3. Let w be s(h). Is w at most as big as 0.08?
False
Let h = -3/176 + -513/880. Which is smaller: 4 or h?
h
Let m = 0.6 - 0.7. Let k = -7.7 + 8. Let a = m + k. Which is bigger: a or 2?
2
Suppose 90 - 460 = 5*l. Let d = l - -372/5. Let v(i) = 354*i - 708. Let b be v(2). Which is greater: b or d?
d
Let t(j) = j**2 + 11*j - 77. Let v be t(-13). Does -50 = v?
False
Let n be (-3)/((-27)/(-36)) + (-5)/(-3). Is n at least 1/4?
False
Let l be 3*(-3 - (-4)/12). Let u be ((-4)/14)/(4/l). Is 2 <= u?
False
Suppose 10*g = 4*g + 36. Suppose 0 = 11*w - g*w - 90. Which is greater: 19 or w?
19
Let x = 0.35 + -0.05. Let o = 2.3 - x. Which is smaller: o or 1?
1
Let q be (0 - -1 - -4)*1. Suppose 4*n = q - 13. Let s(x) = x**2 + 6*x - 43. Let o be s(4). Which is greater: n or o?
n
Let k(n) = -n**2 - 8*n - 10. Let h be k(-7). Let l be (h/2)/((-57)/6). Which is smaller: 0 or l?
0
Let i = 608 - 608. Let x = -1.5 + 0.2. Which is bigger: x or i?
i
Let x be ((-18)/(-10))/(4*(-1)/(-20)). Let l be -2 - 9/(-3)*(-30)/x. Which is greater: l or -9?
-9
Let k be 3/27*(1 - -1). Let l(n) = -n**2 + n + 4. Let c be l(0). Suppose c*d = 6*d. Is d > k?
False
Let l = -5 - -9. Suppose -49 = -o - l. Which is smaller: -1 or o?
-1
Suppose 5*s = -3*y - 9, 5*s = 5*y + s - 22. Suppose 10*l - 12*l - y = 0. Is 4 at most l?
False
Suppose 2*k + 8 = -3*a, -2*a + 4*k - 7*k - 12 = 0. Suppose d - 5*c + 5 + 14 = a, -d = -c + 15. Let m = 12 + d. Which is smaller: m or 1?
m
Let c = -2425/112 + 152/7. Which is bigger: -1 or c?
c
Let y(b) = 2*b**3 + b. Let u be y(1). Suppose 2*c = u*x - 4*x - 3, c - 2 = -4*x. Suppose 3*p = 5*p - 6. Which is bigger: x or p?
p
Let o = 301 + -170. Which is smaller: 127 or o?
127
Let z be (-2101)/2292*(1 - -1*2). Suppose 22 = -b - 5*h, 4*b - 2*b + 12 = -2*h. Which is smaller: b or z?
z
Let b = -46 + 46. Is -26.9 equal to b?
False
Let r be (1 + 1 + 1)*10/45. Is -10 < r?
True
Let k = -0.92 - -62.92. Let u = -65 + k. Is 5 bigger than u?
True
Let u be (1 + -2)*-9 - 4. Suppose u*r + 66 = -v, -v = -7*r + 3*r - 51. Suppose -5*c + 5*f = 80, 2*c - c - 4*f + 25 = 0. Is r at least c?
True
Let j(z) = -2*z + 1. Let k be j(1). Let l be (-3 - 30)/3*2. Let p = -25 - l. Is p <= k?
True
Suppose -3*q = 2*q - s + 17, -2*q + s = 8. Let d be 2 - 2/10 - (-14)/70. Suppose -5 = d*j - 1. Which is smaller: j or q?
q
Let u(n) = 2*n**3 + 2*n**2 + n - 2. Let o be u(1). Suppose -5*b = -2*r - 0*b, -5*r + o*b = 0. Is 0 > r?
False
Suppose 44 = -9*p + 8*p - 4*m, -3*m = -2*p - 121. Which is bigger: -58 or p?
p
Let j be (0 - -2)/((-3)/1). Suppose 0 = 3*d - c - 9, -4*d + 5*c = c - 12. Suppose 4*i = d*i - 1. Are i and j unequal?
True
Let i = -3.56 + 3.7. Let x = 0.24 - i. Which is greater: x or -4?
x
Let r(u) = u**3 + 19*u**2 - 34*u + 4. Let x be r(-21). Which is smaller: -161 or x?
x
Let i be (-2)/20 - (16 - (-283764)/(-17640)). Suppose -4*v + 6 = -0*p - 2*p, p + v = 3. Is p at most as big as i?
False
Suppose 15*s - 31 = -346. Is -19 less than s?
False
Suppose u + 21 = -0*u + 2*h, -3*h = -3. Let p = u - -19. Are 8/11 and p unequal?
True
Suppose 2*y - 48 = l, 0 = y - 5*l - 26 - 16. Suppose 10*k + 110 = 15*k. Is k greater than or equal to y?
True
Let d = -32/407253 - -10/1419. Are 1 and d non-equal?
True
Let z = 1345/2 - 672. Is z greater than or equal to 1/15?
True
Let k be