se 56 = 3*k + k. Let a be 4/k*(-1)/2. Let h(y) = -2*y**2 - 19*y + 549. Let q be h(-22). Are a and q equal?
False
Let q = 11 - 6. Let m = 62 - 62. Suppose -2*j + q*j = m. Are 1/7 and j equal?
False
Let t(o) = o**3 + 10*o**2 + 9*o + 4. Suppose 7*y + 45 = 2*y. Let j be t(y). Let w be (j - 4)/(-2 - -1). Is 3 at least w?
True
Let q(b) = 2*b**2 + 2*b + 2. Suppose -4 - 1 = 5*h - 5*z, -3*h - 3 = 5*z. Let n be q(h). Let w be (4/(-8))/(n/12). Is w greater than or equal to -17/4?
True
Let o = 40.39 - 40.6. Is o > -2/7?
True
Let c = -1027 + 1024. Which is bigger: -105 or c?
c
Let f = -47 + 47. Suppose 5*d = -3*i - 5, 0 = -i - f*i + 5. Is d at most as big as 0?
True
Let q be 0/(-6 + (-2)/2*-4). Let k = 1 - 10. Let y be k/300*(-20)/24. Is y greater than q?
True
Suppose -4*c - 573 = 5*q, -3*q = -2*c - 6*q - 287. Let k = 138 + c. Is k >= -33/10?
False
Let s be -6*1/6*-2. Let c = s + -1. Let n = 37184/9 - 4130. Which is greater: c or n?
n
Let m be 34/40 + (-2)/2. Let n = -31/2 + 77/5. Let o = n + m. Is o at most as big as -8?
False
Let c = -21.574 - -0.374. Which is smaller: -0.1 or c?
c
Suppose -5*w + 816 = 3*w. Suppose w = 8*b - 34. Does b = 16?
False
Let a be ((-50)/15)/(-10) - (-340)/(-3). Which is bigger: 0.1 or a?
0.1
Let h = 308 - 307.9. Is 504 not equal to h?
True
Let a be (-21)/6 + 3 - 9351/(-3534). Let f = -42/19 + a. Is 1 less than f?
False
Suppose 2*b + 808 = 782. Is -9 at least b?
True
Let x be -5 + -4 - -4 - (-6391)/1267. Are 1 and x nonequal?
True
Let x = -172 + 158. Let u = -5.1 - 8.7. Let n = u - x. Which is smaller: n or 7?
n
Let c = 18583/7 + -2655. Is -2665 at most c?
True
Let i(a) = -a**3 - 3*a**2 + 4*a - 10. Let z be i(-6). Let x = 96 - z. Is 23 >= x?
True
Let d(i) = -5*i - 16. Let o be d(-6). Let m be (8/(-12))/(o/(-6)). Let k = 3 - 6. Is k less than or equal to m?
True
Let n be 15/((-5265)/12)*(-3)/(-2). Which is smaller: n or -1?
-1
Let y = -0.18 + 6.18. Which is bigger: 100 or y?
100
Let d = 1906430169/767 - 2485568. Let b = -17/59 + d. Which is smaller: b or -2?
-2
Let f = 127.8 + -82. Let t = -49 + f. Which is smaller: t or 2?
t
Suppose 0 = 4*a - 4*q, 0 = q - 6*q - 10. Let h(w) = -36*w - 11. Let d be h(a). Which is greater: 62 or d?
62
Let s = -224/135 + 26/15. Let h be (-82)/(-54)*1/(-7). Let f = h + s. Does f = 0?
False
Let a = -0.0022 + -16.8978. Which is smaller: -1/3 or a?
a
Let m be ((-276)/(-20) - -4) + 2/10. Which is bigger: 15 or m?
m
Let z be 30/3 + 4 + -2. Suppose 2*v - z = -i - 4*i, -4*i - v + 9 = 0. Which is smaller: 3 or i?
i
Suppose -h - 4*h + 950 = 0. Is h bigger than 191?
False
Let s(u) = 11*u + 3. Let q(x) = -33*x - 9. Let d(m) = -6*q(m) - 17*s(m). Let w be d(1). Let o = -37 + w. Which is bigger: o or -22?
-22
Let z = 24055/4 - 6015. Let c(u) = -u**3 + 7*u**2 - 5*u - 8. Let r be c(6). Which is smaller: z or r?
r
Suppose -3*p - 3243 - 1743 = 0. Which is smaller: p or -1663?
-1663
Let l be (-19)/(-2) + 13/26. Let f = l + -16. Let v be 20/11 - (8 + f). Is 0 >= v?
True
Let q = 263 - 265. Is q greater than -10/19?
False
Suppose 15 = -3*a + 3*s, 2*a = -0*a - 2*s + 2. Let y be ((-26)/(-4))/((-5)/a). Let p = -25 - -28. Is y >= p?
False
Let w = -7101/325 - -227/25. Is w greater than -12?
False
Suppose k = 3*l + 2, -8*k = -4*k + l + 31. Let o be (-2 - k)/(2/(-2)). Let t be (7 + o)/(1 - -1). Which is smaller: t or -0.14?
-0.14
Let c be 7/35 - 18/15. Let j be (-8)/5 - 8/(-40). Which is bigger: c or j?
c
Suppose -3 = y - 4, 0 = -l - 2*y + 4. Suppose -132 = -8*h + 332. Suppose -54*i = -h*i + 12. Which is smaller: l or i?
l
Let s(m) = 5*m - 69. Let f be s(22). Is 41 at most as big as f?
True
Let i = -413/13 - -8081/247. Which is smaller: 0 or i?
0
Let m = 656 - 655.96. Which is smaller: m or -58?
-58
Let j(c) = 36*c**2 - 2*c - 1. Let v be j(-1). Let u = v - 32. Suppose -2*r + 4 = 5*o, -2*r + 3 - u = 2*o. Which is bigger: 2 or r?
2
Suppose -3*r - 160 = 4*b - 35, 2*b = 3*r - 49. Which is smaller: b or -0.07?
b
Let y = -18 + 10. Let r be -7*(-6)/(-18)*3. Are y and r unequal?
True
Let l be -1*(-561)/15 - (-3)/5. Suppose 41*u - 120 = l*u. Is u bigger than 41?
False
Let c be (0/24)/(0 + 1). Is -4/5 greater than or equal to c?
False
Let u = -373 + 372. Which is smaller: -6/35 or u?
u
Let z = 64312/9 + -7159. Which is bigger: z or -14?
z
Suppose 3*c + 3 = -2*o - 3*o, -c - 4*o = -6. Let v = c - -25. Let f = v - 18. Is f smaller than -5/12?
False
Let p be ((-147)/(-6))/7 - 3. Let d = 132 - 130. Which is bigger: p or d?
d
Suppose -4*z = -6*z + 16. Suppose 0 = -5*y - c - 22, 2*c + z = -y - 0*c. Let h be y/6*(-7)/105. Which is greater: 1 or h?
1
Let z(g) = g**3 + 14*g**2 + g - 6. Let k be z(-14). Which is smaller: k or -15?
k
Suppose 4*j + 2*w + 566 = 100, 2*j - 4*w = -218. Is j > -116?
True
Let s = 2 + 1. Let h = 56534/9 - 6280. Which is greater: h or s?
s
Let v(l) = -l**2 + 11*l + 70. Let h be v(19). Which is greater: -487/6 or h?
-487/6
Suppose 2*r + 5 = -5*x, 22*r - 26*r - 4*x - 4 = 0. Let y be 2/(2/(-1))*-2. Are y and r equal?
False
Let z = 66 + -60. Suppose 9*u - z*u + 3 = 0. Which is greater: u or -2/157?
-2/157
Let p(m) = m**2 + 1. Let i(h) = h**3 - 4*h**2 + 17. Let r(f) = i(f) + 3*p(f). Let q be r(0). Which is smaller: q or 19?
19
Suppose -47 + 287 = -16*d. Which is greater: d or -22?
d
Let x(t) = 9*t + 2. Let h(d) = -d - 1. Let l(g) = -4*h(g) - x(g). Let b be l(-3). Suppose -4*o + 1 = b. Which is smaller: -6 or o?
-6
Suppose -3*i = 37 - 52. Let u(s) = -s + 7. Let p be u(-4). Let n = i - p. Is n bigger than -8?
True
Suppose -l + 4 = 17. Let y = l + 13. Let v be 12/(-30)*(-10)/12. Is y equal to v?
False
Let w = -15033/13 + 1157. Let x be (-6)/(-30) + (-2)/10. Is x greater than or equal to w?
False
Suppose 0 = 4*h + 8 - 16. Let f(q) = -q**2 + q. Let l be f(-5). Let m be l/(-42)*4/(-5). Are h and m nonequal?
True
Suppose -25 = 2*q - 5*a, -3*q + 5*a - 35 = -0*q. Let b be ((-24)/180)/((-3)/q). Is 1 less than b?
False
Let l = -0.18 - -34.18. Let i = l - 32.2. Which is smaller: 1 or i?
1
Let x = -51 + 24. Let k = -8 + x. Let t be (-2)/(-1)*k/(-14). Which is greater: t or 4?
t
Let h = -1292 - -1301. Are h and -27 non-equal?
True
Suppose -15*m = 1041 - 366. Which is smaller: m or -89/2?
m
Let d = -2877 + 2877. Let p = -1 + 3. Which is smaller: p or d?
d
Let c be 1/8 + (-156)/(-32). Suppose 4*m + c + 3 = 0. Which is greater: m or 7?
7
Let p(g) = 12*g**2 + 53*g - 635. Let j be p(10). Is 0 > j?
False
Let g = -177 - -244.8. Let d = g + -68. Which is greater: -23 or d?
d
Let y = -262 - -5504/21. Which is smaller: y or 2/7?
y
Let o = 28172/45 + -626. Is 0 greater than or equal to o?
False
Let m = 180.9316 - -0.0684. Which is bigger: m or 1?
m
Let w = 195 - 226. Which is smaller: w or -33?
-33
Let c(y) = -3*y - 12. Let b be ((-6)/(-1))/(3/(-2)). Let j be c(b). Let f = 0.3 - 1.3. Is j at least f?
True
Suppose 0 = 4*d + 4*n - 24, 5*d - 30 = -5*n + n. Let q be ((-4)/(-138))/(d/(-18)*4). Which is smaller: 0 or q?
q
Let g be 104/28 - 2/(-7). Suppose -21 - 3 = -g*m. Let v be (-2)/(-4) + 3/m. Is v equal to 1/4?
False
Let f(a) = a**3 - 33*a**2 - 79*a - 117. Let g be f(35). Is g >= -2?
False
Let r be 12/(-2) + 2 + 5. Let w be (6 - -7) + 4 + r/1. Is w less than 17?
False
Suppose -27*i = -40*i - 13. Is i <= 220?
True
Let r(z) be the second derivative of -z**4/12 + 3*z**3/2 + z**2/2 + 27*z. Let d = -15 - -24. Let w be r(d). Are 2/47 and w nonequal?
True
Let h = 6672 + -6676. Suppose -7 = -2*q + 7. Which is smaller: h or q?
h
Let k = 23 - 1. Suppose 0 = 4*u - 5*y - k, 0 = -5*u + 2*y + 45 - 9. Suppose -u*c + 13*c + 10 = 0. Is c greater than or equal to -2?
True
Suppose -56 = -5*k + 4*r, -2*r + 11 = 4*k - 13. Let w = -6 + 17. Which is greater: k or w?
w
Suppose r + 8 = -d + 3*d, -2*d + 18 = 4*r. Let h = 14 - 13. Is d less than or equal to h?
False
Suppose s + j = 243, -4*j + 26 = 30. Is 244 bigger than s?
False
Let n = -3.3 - -1.1. Let g = -0.2 - n. Are -1/4 and g equal?
False
Let s be -21*2/(-12)*2. Suppose -6 = b + s. Let r = b - -25/2. Is r equal to 2/19?
False
Let h = 10 - 25/3. Let l(j) = -j - 12. Let v be l(-4). Let i be v/(-4) - 1 - 0. Which is bigger: i or h?
h
Let g(h) = -12*h**3 + 2*h + 1. Let s be g(-1). Let o = 8 - s. Let r = 12.2 - 12. Does r = o?
False
Suppose d - 9 = 4*k - 2*d, 4*d - 12 = 3*k. Which is smaller: k or -9/7?
-9/7
Let b(h) = h**2 +