 t = -15 - -21. Let c be (-51 - (4 - 0)) + t/3. Is c bigger than -53?
False
Let z(k) = k**3 - 6*k**2 + 15*k - 91. Let m be z(6). Is -2/1513 not equal to m?
True
Let w be -12*((-297)/(-12))/(-3). Let o = -691/7 + w. Suppose -5*a + 1 - 6 = 0. Which is greater: a or o?
o
Suppose h = -3*h + 4. Let m be (-10)/4*40/(-80). Which is bigger: h or m?
m
Let z be 5 + -3 + (-13 - 1). Let p(f) = 39*f - 7. Let a be p(1). Suppose 4*o = a - 72. Are z and o equal?
False
Let p = 48 + 4. Is p bigger than 50?
True
Let z be 12/7 - (1 - -1). Let c be (-5 - -6)*(8 - 2). Let i be (c - 10) + (-30)/(-8). Which is bigger: z or i?
i
Let t = 2138/140765 + -4/599. Which is greater: t or 0?
t
Let j(s) = -193*s + 2. Let h be j(-3). Let c = 32962732/31 + -1063895. Let x = c + h. Do x and -1 have the same value?
False
Let z = -2.131 + 0.031. Let h = 2.3 + z. Are -1 and h equal?
False
Suppose -12*d + 119 = 47. Which is smaller: d or 13/2?
d
Suppose -2*x + 56 = -4*o, -3*o - 4*x = -o + 8. Let t be o/4 + 238/78. Which is smaller: t or 1?
t
Let i = 0.88 + -0.18. Let y = 49 + -50.7. Let u = -1.7 - y. Which is greater: u or i?
i
Let f be (-5)/(-30)*(-1 - 0). Let l be ((-158)/553)/((-1)/21*1). Is l at most f?
False
Let n = -46 + 185/4. Let h be ((-6)/(-9))/((-40)/36). Is h < n?
True
Suppose 5*y + 539 - 59 = 0. Let u be (-56)/y - (-1)/(-4). Suppose 4 - 1 = 3*h - 5*i, 3*h = 3*i + 3. Which is smaller: u or h?
u
Let v = -892/107457 - 6/833. Is v not equal to 1?
True
Let h(q) = 55*q - 382. Let x be h(7). Let c(z) = -z**2 + 7*z - 4. Let j be c(6). Suppose x*w = -j*p - 3, -2 = w + 3*p - 2*p. Which is bigger: 1/2 or w?
w
Let l = 291286/4641 - 816/13. Which is greater: 0 or l?
0
Let c = -0.06 - -6.06. Let u = 5 + c. Let j = -10 + u. Which is greater: j or 0.4?
j
Let m be (3/2)/((-4)/192*9). Let c be 2/m + 43/(-4). Is c at least -9?
False
Suppose -3*i + 12 = d, -3*i = -2*d - 7*i + 20. Let s = -8 - -17. Suppose -4*v + 15 + s = 0. Is d != v?
False
Suppose 0 = 7*c - 15 + 1. Suppose 7 + 33 = 4*m. Suppose 0 = 3*x + v + c*v - 21, m = x - 2*v. Is 7 at least x?
False
Let s = 6/307 + -740/6447. Suppose -4*f - 6 + 2 = 0. Are f and s nonequal?
True
Let m = 8 + -21. Suppose 4*n = -4*q + 20 + 20, -70 = -5*q + 5*n. Let u = m + q. Which is smaller: -4 or u?
-4
Let g be 45/(-24) - (-13)/(-104). Are -2 and g equal?
True
Let i = -3.7 + -0.3. Let y = 0.42 - 0.554. Let n = -0.124 - y. Which is smaller: n or i?
i
Suppose 2*f - 8 = o, -5*f = -2*o - 22 + 8. Which is bigger: o or -90?
o
Suppose -4*r = 16 - 0, -i + 2*r = -10. Suppose 0*s - 3*a - 3 = 3*s, -3*s - i*a - 2 = 0. Is 7/6 >= s?
True
Let n = 6 - 4. Suppose -3*o = -t + 8, -t = 2*o - 3*o - 2. Let j be t*(4 + -1 + -4). Which is smaller: n or j?
j
Let q be ((-4)/(-14))/(24/84)*-397. Which is bigger: q or -395?
-395
Let r(u) = 133*u - 3. Let w be r(-1). Let s be -1*(-6)/10 - w/(-210). Which is smaller: s or 0?
s
Let h be 214/920 + 2/(-8). Let a(i) = -8*i**2 - 14*i + 72. Let n be a(-4). Is n <= h?
False
Suppose 0 = -c + 4*k - 4, -29*c + 24*c + k - 20 = 0. Is c equal to 18?
False
Suppose 5*f + 75 = i, 36*f - 31*f = 2*i - 130. Is i >= 375/7?
True
Let j(r) = -r**2 - 12*r + 18. Let y be j(-13). Suppose 0*x + 4*x = 5*u - 5, -5*u = -y*x. Is -3 < x?
True
Let c(v) = -v + 5. Let l be c(5). Suppose l = 2*r + 9 - 1. Is r greater than or equal to -2?
False
Let d(m) = -m**3 + 19*m**2 - 2*m + 43. Let w be d(19). Suppose 5*i + 20 = 0, -6*x + w*i = -2*x - 84. Is x greater than 0.2?
True
Suppose -5 = -0*n - n, 0 = 3*k + 3*n - 2313. Is 766 greater than k?
False
Let r(m) = -m**3 - 4*m**2 - 6*m - 4. Let n be r(-2). Suppose -6*q + q + 3 = -3*t, -3*t - q + 15 = n. Suppose 2*u + 0*u - 6 = 0. Is t >= u?
True
Let p be -18*12/(-32) + 2/8. Is 7 less than or equal to p?
True
Suppose -73*k - 7155 + 26500 = 0. Which is bigger: k or 266?
266
Let c = 0.1 - 0. Let m be (-774)/(-36) + 2/5 + (-9)/10. Which is greater: m or c?
m
Let a(t) = 17*t**3 - 3*t**2 + 8*t - 6. Let o be a(1). Is 22 greater than o?
True
Let h(b) = -3*b**2 + 21*b - 62. Let j be h(4). Which is greater: 0.1 or j?
0.1
Let j = 153 - 1381/9. Let a be -4*(1899/270 - 7). Is j greater than or equal to a?
False
Let s = 7.09 - 93.77. Let h = s + 87. Is h != -1/5?
True
Let o = -16 + 9. Let h(u) = 3*u - 3. Let z be h(o). Let s be z/(-14)*3/(-12). Is -1 != s?
True
Let a be 13 + -9 - 2*(-6)/(-3). Let l = -33 - -197/6. Are a and l unequal?
True
Let b = 1323/5 + -265. Is 7/82 != b?
True
Suppose 0 = -48*s + 48. Let g = -431/10 - -1039/10. Let r = 3334/55 - g. Is r smaller than s?
True
Let k = -716 - -716. Which is smaller: k or 3/112?
k
Let t = 22.4 - 22.283. Let g = -0.017 + t. Is g greater than -5?
True
Let n be 1/5 + (-51)/5. Let z(a) = a + 12. Let y be z(n). Suppose -5*b - 15 = -5*w, -5*b + y*w - 6 = -2*b. Which is smaller: 2/3 or b?
b
Let i be ((-1)/(-10))/(6/(-144)). Let k = 3/32 + -91/288. Is i less than or equal to k?
True
Let f be 79/11 - (-14)/(-77). Suppose 3*m = 4*m + 5*r - f, -m = 4*r - 2. Does -17 = m?
False
Let c(g) = 39 + 4*g + 0*g + 2*g. Let k be c(-5). Let q be 2/4 - (-34)/4. Is q > k?
False
Let z = -35 + -53. Let a be z/(-77)*7/3. Is 4 at most a?
False
Let o = 65.1 - 1.1. Let i = -55 + o. Are 4 and i non-equal?
True
Let w be (3/(-2))/((-33)/88). Suppose -9 = 3*j, -w*p + j = -2*p - 3. Is 3/16 bigger than p?
True
Let m be 56/(-63)*-9 + -12. Suppose -18 = 5*q + 27. Let n be 5*(1 - q/(-5)). Is n at most as big as m?
True
Let t = 129 - 77. Is 54 greater than t?
True
Let l = 90 + -96. Are -6 and l equal?
True
Suppose 9 = 3*t, -t + 9 = -x + 6. Is 1/276 >= x?
True
Suppose w - 4*w = 30. Let i be 25/w - (-3)/6. Which is bigger: i or -1?
-1
Suppose 13*y = 4*y - 63. Let f = 0.1 - 1.1. Let k = f + -1. Do k and y have the same value?
False
Let x = -1359 + 379157/279. Which is smaller: x or -1?
-1
Let m = 0 + -1. Let w = 0.52 - 0.74. Let b = 0.08 + w. Is m != b?
True
Suppose -321 = -5*n + 99. Let o = n + -758/9. Is o at least 10?
False
Let n(f) = 30*f**2 - f - 5. Let b be n(-3). Suppose 0 = 3*o - 172 + b. Are -32 and o equal?
True
Let l(b) = -b**3 + 6*b**2 - 11*b + 7. Let f be l(5). Is -25 at least f?
False
Let d(j) = 48*j - 264. Let n be d(15). Which is bigger: n or 455?
n
Let o = -3747 + 209819/56. Which is bigger: 1 or o?
1
Let a = -0.051 - 3.949. Let g = -7 + 0. Let k = a + g. Which is bigger: -1/3 or k?
-1/3
Let j = -35.6 + 16.5. Let x = j + 19. Is 5/6 at most x?
False
Let a = -14.56 + -0.44. Let z = 17 + a. Which is greater: -3 or z?
z
Let v = -52.1 + 49.1. Let o = 0.03 - -1.27. Is o <= v?
False
Let y = 50 - 48. Suppose 3*w - y = -11. Is w bigger than -5?
True
Suppose 65 + 613 = -6*m. Let w = m - -112. Let v = -1 + 1. Which is smaller: w or v?
w
Let w(n) = -n - 15. Let x be w(-12). Let o(z) = -z**2 + 4*z + 7. Let l be o(x). Is -14 > l?
False
Let i = 2017.04 - 2017. Which is smaller: -211 or i?
-211
Let y = 31 - 115. Which is smaller: -81 or y?
y
Suppose -7*f = -3*j - 9*f - 8, -8 = -4*j + 2*f. Is j > -3/1423?
True
Let q = -33 - -89. Let p = 52 - q. Is -0.3 less than p?
False
Let s = 163.11 - 163. Are s and 1 unequal?
True
Let t be (-242)/(-5) - (-24)/(-60). Let l = t + -30. Does 17 = l?
False
Let g be 2/16 - 282/(-48). Is 21 > g?
True
Suppose -p + 10 = k + 2*k, -2*p - 20 = -2*k. Suppose 3 = -4*l + a, -5*l + 2*a = -2 + k. Which is bigger: -18/17 or l?
l
Let b be 44/11 - (-3)/(-1). Let n = 6 - b. Suppose n*i + 7 = 2*g, 3*i - 5*i - g = 1. Is 1 > i?
True
Let z = -7.15 - -0.15. Let j = 8.2 + z. Let h = j + -1.4. Which is greater: 2 or h?
2
Let l be -49*2*(-3)/(-6). Is -49 smaller than l?
False
Let o be ((-6)/684*3)/(1/(-60)). Which is greater: 1 or o?
o
Let s = 617358547/1514530 - 315682/755. Let u = s + -2/1003. Suppose 9*w + 3*y + 35 = 5*w, -4*w - 53 = -3*y. Which is greater: w or u?
u
Suppose -14*w - 310 = -324. Let r = 0 - 1.1. Which is bigger: r or w?
w
Let m = 1363 - 1362. Which is smaller: m or 2/1757?
2/1757
Let a be (-46)/(11/(165/6)). Is a less than or equal to -115?
True
Let s = -443 - -413. Are -57 and s unequal?
True
Let i(a) = a - 4*a + a**2 + 3*a**3 + 17 + 7*a - 2*a**3. Let r be i(0). Which is smaller: 16 or r?
16
Let a(y) = -34*y - 94. Let f be a(0). Are -95 and f non-equal?
True
Let y be 2*-1 + 13 + 1. Suppose 27 = 9*g - 72. Which is bigger: y or g?
y
Let t = 1.2 + -2.2. Suppose 0*y + 3*y + 18 = 0. Let b be 58/y + (-8)/(-12