l - 31. Let p(f) = 4*f - 16. Let t(s) = m*p(s) - 3*x(s). Let o be t(12). Is 0.2 greater than o?
False
Let q(t) = 5*t**2 - 4*t. Let s be q(3). Let i = s - 35. Let j = -0.05 + 0. Which is smaller: j or i?
i
Let t = 23 + -18. Suppose 4*h - 122 = 2*c, t*h - 6*c + c - 145 = 0. Suppose 4*i + 26 = -2*k + 4, -4*k - 4*i = h. Which is smaller: -9/2 or k?
k
Suppose -2*k + 12 - 32 = 0. Let u = k + 14. Suppose -3 + u = j. Which is smaller: 2 or j?
j
Let n = 4 + 6. Suppose -16 = -4*a + 4*k, 0*k = -2*a + 4*k + n. Suppose -a*u + 7*u = 52. Which is smaller: u or 14?
u
Let j = -60 - -60.1. Which is bigger: j or 129?
129
Let l = 50 - 113. Suppose c - 3*q = -68, 2*c + 233*q + 126 = 234*q. Is l less than or equal to c?
True
Let h(j) = j**3 - j**2 + 1. Let a be h(2). Let w(n) = -a*n + 3 + 7*n + 13*n**2 - 2. Let o be w(-1). Is o bigger than 11?
True
Let v be -2*8*(-3)/(-12) - 19/(-4). Let c = -0.28 + 0.47. Does v = c?
False
Let c = -1158.9 - -1159. Are 178 and c nonequal?
True
Suppose 57 = 3*j - 4*l, 5*j = 165*l - 167*l + 69. Do 47/3 and j have different values?
True
Let b(d) = 2*d - 3. Suppose -2*g + 0*g = -12. Suppose g = 3*v - 0*v. Let u be b(v). Which is smaller: 2/13 or u?
2/13
Let d(m) = -m**2 - 5*m + 15. Let z be d(-10). Let s = z - -29. Is -8 greater than or equal to s?
False
Suppose 6*i - 7 = -1. Which is smaller: 2/329 or i?
2/329
Let s = -1 - -5. Let i be s/((-30)/8 - -2). Suppose 25*x + 12 = 21*x - y, y + 4 = 0. Do i and x have the same value?
False
Let q = -2.2 - -0.2. Let z = 0.5 - -2.5. Let v = z + q. Which is smaller: -2 or v?
-2
Let d be (-2)/15*228/152. Which is bigger: d or 28?
28
Let c(z) = -z - 7. Let o be c(-9). Let s(w) = -2*w**3 + 2*w**2 + w - 2. Let g be s(o). Let n(l) = -l**3 + l - 1. Let k be n(2). Is k at most as big as g?
False
Let k(g) = g - 5. Let m be k(7). Suppose -3*o - 3*p = -21, 1 = m*o + 3*p - 17. Which is greater: o or 2?
o
Suppose 0 = 3*v + 7 - 1. Which is smaller: -10 or v?
-10
Suppose 3*s - 3 = 0, -4*v + s + 2*s + 149 = 0. Let y = -39 + v. Is y equal to 14?
False
Let v be (-10820)/(-2706) + 40/10*-1. Which is smaller: -1 or v?
-1
Let g = 12.79 - 12.89. Which is bigger: 607 or g?
607
Let c = 379 + -249. Suppose -2*h + r = 130, 4*h - 4*r - c = 6*h. Are -66 and h equal?
False
Let p = 284 - 348. Is p <= 1/4?
True
Let g = 6 + -1. Suppose 10*q = g*q + 50. Let y = 11 - q. Is 1/6 equal to y?
False
Suppose 43*c = 46*c. Let d = -2/6327 - -1834844/44289. Let n = d + -41. Are n and c non-equal?
True
Let h = -3.9 + 6.82. Let u = 3 - 2.92. Let d = u + h. Which is smaller: d or 2?
2
Suppose 0 = -3*w + 2*c + 3 + 8, -c - 4 = 0. Suppose -w = 5*u - 11. Suppose 3*o - 2*o = -u. Which is bigger: -1 or o?
-1
Let v = 2479.7 + -2466.817. Let y = v - -0.217. Let a = y + -13. Are a and -4 unequal?
True
Suppose 5 = -5*t - 5*r, 3*t + 5*r + 3 = -6. Suppose 0 = -t*o + 6. Which is smaller: o or 3/2?
3/2
Let m = -10 + 4. Let s(x) = -8*x**2 + 13*x + 16. Let u(d) = -3*d**2 + 4*d + 5. Let a(r) = 4*s(r) - 11*u(r). Let y be a(m). Are y and -3 non-equal?
False
Let b = -2.2 - -2.4. Let t = 1.1 - b. Let w = 1.1 - t. Which is smaller: 6 or w?
w
Let v(g) = 3*g**2 + 2. Let f be v(4). Suppose -5*i + 5 = f. Let n be (-3 - i) + (-6)/(-3). Is 10 at most as big as n?
False
Let w(f) = -f**2 + 10*f + 15. Let g be w(11). Suppose 0 = g*i - 15 - 9. Let s be i/(-4)*(-2)/(-3). Which is bigger: s or -3/8?
-3/8
Suppose 6*p + 2 = 7*p. Suppose -3*v + 15 = 0, -p*f - 25 = -5*v - 10. Suppose -4*d = 3*c - 19, 4*d - f*c + 6 = 17. Is d at most as big as 0.1?
False
Suppose k = -1030 + 1440. Is 411 greater than or equal to k?
True
Let x = -0.06 - 6.94. Let v = x - -4. Let a = v + -5. Is a at most as big as -1?
True
Suppose -39 = -5*r - 14. Suppose -r*y - 21 = 34. Let x = 13 + y. Which is bigger: 3 or x?
3
Let k(y) = -y**2 + 23*y - 67. Let p be k(15). Is p at least as big as 52?
True
Let c = 165 - -495. Are 659 and c non-equal?
True
Let l be 6*(-2)/(-4) + -4*4. Suppose 3 = -j + 2. Let p be ((-234)/(-36))/(j/2). Does p = l?
True
Suppose -8*r + 28*r = 180. Is 104/11 greater than r?
True
Suppose 0 = -115*p + 119*p - 80. Let l be (-140)/p*(-14)/2. Is 51 != l?
True
Suppose 7*u + 22 = 15. Let v be (-6)/12*6 + 1 + u. Which is smaller: -28/11 or v?
v
Let n = -8 + 62/9. Is n > -4?
True
Let r be 6/(-27) - 7864/90. Let u(t) = t**2 + 4*t - 8. Let a be u(8). Let b = r + a. Is b bigger than 0.3?
True
Let m = 303 - 247. Which is greater: -1 or m?
m
Let a be 0 + -1 - 21956/(-76). Let n = a - 288. Are 1 and n equal?
False
Let l be 2/5 + 77/(-5). Let x = -16 - l. Is 2/5 greater than x?
True
Let z be 369/12 + -1 + 10/8. Let u = -30 + z. Let v(g) = g - 1. Let p be v(1). Which is bigger: p or u?
u
Suppose -x + 4*a - 4 - 7 = 0, 5*x = -a + 8. Let k be (-8)/12 + (-2)/6. Let f be k/(-4)*2*2. Is f != x?
False
Let a be 3*((-4)/(-3) - 3) - -5. Is 24/29 smaller than a?
False
Let h(p) = 4*p**3 + p**2 - p + 1. Let i be h(1). Suppose i*m + 96 = 2*m. Let v be (-30)/m*18/(-45). Which is smaller: -1 or v?
-1
Suppose 3*s - 13 = 4*m, -2*s - s + 5*m + 11 = 0. Let v = 56 + -44. Suppose -v = -2*l + 6*k - k, 4*l - k - 6 = 0. Which is bigger: s or l?
s
Let s = 1760 - 8803/5. Which is greater: s or 154?
154
Let k be (-4)/(-7) - (-68)/28. Let n be (-3)/k*1/7. Is -1 bigger than n?
False
Suppose i + g + 116 = 0, 53 = -i + g - 73. Let q = -112 - i. Are q and 15 equal?
False
Suppose 0 = 91*d - 77*d + 84. Is d < -4?
True
Let o(y) = -3*y**3 + 17*y**2 - 3*y - 27. Let j be o(5). Suppose 3*a + 5 = 4*a. Is a less than j?
True
Let t be (1 + -3)/(2/(-3)). Suppose -111 = -t*m - 21. Suppose 3*b = -4*q + m, 3*q - 2*q - 2*b = 2. Is 6 <= q?
True
Suppose 5*d = n + 24, 3*n - 2*n + 5*d + 14 = 0. Let m = n + -2. Is m equal to -87/4?
False
Let p = 7 - 5. Suppose -t = p - 1. Let y be (5 + -2 - t)*1. Which is greater: 0.1 or y?
y
Let m be ((-6)/(-9))/((-1)/(-3)). Let i be ((-11)/44)/(42/(-192)). Is i greater than m?
False
Let y be (5/(25/15))/(0 + 1). Do 1 and y have the same value?
False
Let c = 2193 + -1312. Is 881 > c?
False
Let s(z) = z**3 + 16*z**2 + 17*z + 34. Let k be s(-15). Suppose -m - m - 2*a = 0, k*a = 5*m - 18. Is -5 not equal to m?
True
Let i(q) = -68*q + 137. Let x be i(2). Let t be (-2 - -1)*(-3)/55. Which is bigger: t or x?
x
Let t be (-2)/4 + 7/2. Let s = 16.05 - 16.05. Which is smaller: t or s?
s
Suppose -24 = y - 3*y + 4*z, 33 = 5*y - z. Let t(k) = k**3 - 5*k**2 - 6*k + 2. Let l be t(y). Suppose 2*c = -0*c - l. Does -2/5 = c?
False
Let c be (-272)/(3 - 7) - -2. Suppose 4*l - 210 = -c. Which is bigger: l or 37?
37
Let z be (2 + 22/3)*18/12. Are z and 13 non-equal?
True
Let i = 26 - 26. Let f be 0 - 0 - i*(-5)/(-25). Are -7/15 and f non-equal?
True
Let a = 186.039 - -0.961. Is 0 != a?
True
Let s = 180 - 160. Suppose 5*v = v + 64. Let i = v - s. Which is bigger: -3 or i?
-3
Let x be 11/(-33)*(14/(-4) + 2). Is x != 146?
True
Let x(r) = -r**2 + 8*r - 9. Let a be x(6). Let c(m) = -m**2 - 9*m - 7. Let v be c(-8). Let g be v/a + (-24)/(-9). Which is smaller: g or 5?
g
Let m be (-2 - 2) + (0 - -6). Suppose -p + 1 = 3*g, m*p - 5*g - 13 - 11 = 0. Suppose 0*j - 2*c = 4*j - 34, -5*j - 4*c = -50. Is p at most as big as j?
False
Let k = 37 - 81. Let b be 2/(-11) - (-1092)/k. Let y = b - -15. Is y >= -10?
True
Let r = -41 + 55. Let y = 15 - r. Which is greater: -16 or y?
y
Let r = 0.514 + -836.514. Is -0.1 at least as big as r?
True
Let v be (-1 - 13/(-15))/(7 + -5). Let r(m) = -m**3 + 4*m**2 + 5*m + 4. Let l be r(5). Let k = l - 5. Is k not equal to v?
True
Let r = 91/4 + -23. Let u = 153/110 + 6/55. Which is smaller: u or r?
r
Suppose k - 3*w + 3 = -4*w, -5*k + 5*w = 5. Is -10/19 at most as big as k?
False
Let z(y) = y**2 + 2*y + 11 - 5*y + 0*y**2 + 15*y. Let k be z(-11). Suppose -3*m + 5 - 14 = k. Which is bigger: -1 or m?
-1
Suppose -2*y = y - 3*s - 12, -4*s = y + 6. Let n be ((-3)/15)/(y*3/15). Which is bigger: -31 or n?
n
Let s = 1.054 + -0.044. Let u = 0.01 - s. Let j = -4.04 + 4. Which is smaller: u or j?
u
Let f = -115 - -98. Let a = f + 135/8. Let g be 1*(0 - 2)/2. Is a at most g?
False
Let i be -3 - (6/(-4) + (-37740)/(-40)). Which is greater: i or -944?
-944
Let p = -1 - -3. Suppose 2*o = -2*n, -o - 4*n = p + 1. Which is bigger: -1 or o?
o
Let f = -186 - -102. Let d = -83.9 - f. Is 18 equal to d?
False
Let a = 37.75 + -2.55. Let n = a - 35