 y be (2/(-3))/((-1)/l). Is y bigger than -10?
False
Let u = -92 - -92. Let n = 6 + -7. Which is greater: u or n?
u
Let p = -31975/2 - -15988. Let x = -2/963 + -43331/1926. Let j = x + 23. Is p >= j?
True
Suppose -6*g + 14 = g. Suppose -3*f - 126 = g*i, 0*i - 2*i - 98 = -4*f. Which is smaller: -56 or i?
i
Let u = -197 + 198. Which is smaller: 90 or u?
u
Let k(i) = i**2 + 6*i - 6. Suppose -4*m = -2*r - 30, -11*r + 13*r + 4*m - 2 = 0. Let t be k(r). Which is greater: 5 or t?
5
Let h be (10/12)/((-150)/45). Is h smaller than 24?
True
Suppose -250 - 258 = 4*v. Let f = 110 + v. Is f at least -14?
False
Let s(d) = -2*d**2 - 45*d + 22. Let u be s(-23). Which is greater: 7/283 or u?
7/283
Suppose -5*j + 10 = 5*u, -5*j - 2*u + 4 = u. Let n = 2 + -3. Let v be (-2 - n/1)*3. Is v bigger than j?
False
Let q = -60.7 + 62.7. Which is greater: q or 0.087?
q
Let i = 7.19 - 5.19. Let v be 2/13 + (-12)/(-936). Which is smaller: i or v?
v
Suppose v + 10*v = 22. Suppose -2*a + 5*l + 7 = 0, 4*a - 9 = v*l + 3*l. Which is smaller: 2/13 or a?
2/13
Let d = 1730 - 1733. Is d equal to -17/8?
False
Let f be -30*3*3/198. Let r = -714 - -713. Does f = r?
False
Suppose 6*j - 3 + 3 = 56*j. Let n = 27140/21 + -1292. Is n >= j?
True
Suppose -3*t + 4*n = -4*t - 38, -n - 95 = 5*t. Which is smaller: t or -0.04?
t
Let v = -19 + 6. Let j be (-3)/(-2) - v/(-2). Let i(l) = l + 5. Let a be i(j). Which is bigger: 3/7 or a?
3/7
Let f(k) = -k**2 + 6*k - 20. Let r be f(4). Let b = r + 2. Is b greater than or equal to -21/2?
True
Let f be 0*(-2)/(-4) + 5. Suppose 5*g = -0*g + f. Let z(i) = 324*i + 5198. Let q be z(-16). Is q less than or equal to g?
False
Let z be (117/12)/(3288/1088 + -3). Which is smaller: 443 or z?
z
Let z be -11 + 9 + -1 + (1 - 0). Which is smaller: z or -12/7?
z
Suppose -o - 4 + 1 = -h, 3*o = h - 9. Let c be 2 - (493/1 + 1). Let p = -12297/25 - c. Which is smaller: h or p?
h
Suppose -v + 161 + 101 = 0. Is v greater than or equal to 261?
True
Let c = 241 - 241.3. Is c > -119?
True
Let q be -1*(0 + 1) + 1625/95. Is q < 16?
False
Let f = 1.33 - 1.42. Which is smaller: f or -0.08?
f
Let u be -1 + ((-1)/(-5) - 1). Let d be (-9)/(-6)*(-12)/18. Which is smaller: d or u?
u
Suppose 1350 = 2*q + 16*q. Is q < -1?
False
Let c = -33 + 32. Let x be 42/9 - 4 - (-19)/(-3). Is x equal to c?
False
Suppose 0 = -2*m + 7*m + 10. Suppose u + 1 = 3*x - 8, u = -4*x + 12. Which is smaller: u or m?
m
Let n(z) = z + 6. Let t be n(-6). Suppose t = 5*s + 57 + 28. Which is smaller: s or -15?
s
Let t = 5/692 + -14893/2076. Which is greater: 2 or t?
2
Let o be (25/(-5))/5 + (-58)/(-10). Let n = o + -5. Which is smaller: n or 1?
n
Let j be (1125/(-500))/(-1 + (-266)/(-272)). Is 101 >= j?
False
Let w = 1745 + -1347. Is w at most 399?
True
Suppose n + 4*m + 82 = 0, 2*n - n - 4*m + 114 = 0. Is n > -97?
False
Let m be 1/7 - (-334)/(-231). Let z = m - -5/3. Is 4 bigger than z?
True
Let d = 19 + -24. Let l be 21/1*d/(-15). Suppose 5*n = l + 13. Are -1 and n nonequal?
True
Let k = 42 - 49. Let y be (-1 + 0)*9/(-3). Suppose -1 = -y*n + 2. Which is greater: n or k?
n
Let g = -1090 + 1225. Is 537/4 != g?
True
Let w be 4/(-14) - (-192)/(-14). Let a be (-3)/w + 10/35. Which is smaller: a or -0.1?
-0.1
Let t(k) = 7*k**2 - k + 2. Let o be t(1). Let x = -8 + o. Suppose x = -2*n - 2. Which is smaller: -1/29 or n?
n
Let q = 19.654 - -0.446. Let r = 20 - q. Does 0.3 = r?
False
Suppose -3*q = 0, g + g - 2*q + 292 = 0. Which is smaller: -145 or g?
g
Let s = 439.7 + -440. Which is bigger: -2/61 or s?
-2/61
Suppose 0 = 4*h + 25 - 17. Let o be (27/15 + -1)/(h/(-10)). Which is bigger: 26/9 or o?
o
Let l(j) = -j + 10. Let w be l(5). Suppose -3*b = -4*x - 89, -4*x - 33 = -13. Suppose -w*c - b = -73. Is c less than or equal to 10?
True
Let w be ((-9)/(-4) - 2) + (-261)/(-12). Let c = -2 + -20. Let i = c + w. Which is smaller: -1/9 or i?
-1/9
Let u = -143 + -35. Are u and -178 equal?
True
Suppose -13*l + 16*l = 9. Suppose -3*n + 23 = -5*a + 3*a, -l*a = -n + 24. Is -10 <= a?
True
Let t(k) be the second derivative of 3*k**3/2 + 13*k**2 + 3*k. Let g be t(-8). Which is smaller: -45 or g?
g
Let o(p) = -p - 13. Let x be 11*(0 - 2*(-3)/(-6)). Let l be o(x). Is 1 less than or equal to l?
False
Let a(l) = -l + 18. Let i be a(14). Let z(q) = q**3 - 6*q**2 + 7*q + 4. Let j be z(i). Let d be (3/(-15))/((-8)/15). Is j at least as big as d?
False
Let u be (0 - 1)*(-172 + 173). Which is smaller: 2/259 or u?
u
Let b = 7232527/4734 + -13750/9. Which is bigger: b or 1?
1
Let r be (-27)/(-45) - 5120/(-50). Which is greater: r or 102?
r
Let c = -0.2 + 1.2. Let x = -1.4 - 41.6. Let t = -38 - x. Which is smaller: c or t?
c
Suppose 0 = 4*u - 4 + 16. Let m(n) = -n - 10. Let l be m(u). Which is smaller: l or -5?
l
Suppose -5*t + 3*f + 49 = 5*f, -2*t + 10 = 4*f. Suppose 0 = 12*c - c + t. Let j be (-1)/((-1)/(6/(-8))). Does j = c?
False
Let p be 6/21 - 12/189. Let u = -14.33 + 20.2. Let c = u - -0.13. Are p and c unequal?
True
Let x = 2 + 0. Suppose y + y = 8. Suppose 0 = -2*a + y, 0 = x*s - 2*a - 0*a + 4. Is s equal to 1/4?
False
Let t be (-12)/(16/(-4)) + 9. Suppose -2*r + 30 = 4. Which is bigger: t or r?
r
Let t = -211 - -206. Which is smaller: t or -7?
-7
Let a(l) = 27*l**3 - 2*l**2 + 4*l + 5. Let p be a(-1). Which is smaller: -23 or p?
p
Suppose 0 = 19*h - 15*h + 368. Which is greater: -1 or h?
-1
Suppose 12*l - 2*l = 3*l. Suppose l = 53*a - 60*a - 259. Which is greater: -36 or a?
-36
Let k = -21/26 - -3/52. Let i(y) = y**2 + 8*y + 5. Let v be i(-7). Is k != v?
True
Let p = -1520.31 - -1532. Let c = -0.31 - p. Let l = c - -22. Are 0 and l non-equal?
True
Let s(a) = -a**2 + 50*a + 103. Let b be s(52). Is -1/4269 at least b?
True
Let g be (-4800)/(-6000) + 1/10*(-402)/4. Suppose 4*j + 3*l + 7 = -2*l, -2*j - l - 11 = 0. Is j less than or equal to g?
False
Suppose -11*k = -19*k. Let h be 4 - 4*(k + 1). Is h at least 3/85?
False
Let d be (-749)/(-14) - 3/6. Suppose -65 = 5*i + x + x, 3*i + 4*x + d = 0. Suppose 4*b = -32 - 16. Is i at most as big as b?
False
Let a = -11.59 + 10.99. Is a > -0.026?
False
Let l be ((1 - 89)/(-4))/(-2). Let i = 11 + l. Let b be -10 - (i/(-3) + 1). Which is smaller: -10 or b?
b
Suppose 12*a - 34 - 14 = 0. Suppose o - a*o - o = 0. Is 60 greater than or equal to o?
True
Let d(h) = -h**3 + 8*h**2 + 6*h + 22. Let i be d(9). Let u = -487/116 + -1/580. Is i less than u?
True
Let k = 21.001 + -0.001. Let o = -18 + k. Let l be (0 + 2)/(5 - 0). Is l at most as big as o?
True
Let d = 1/1305 + 10873/2610. Suppose -3*g + g + 8 = 0, -13 = -v - 2*g. Is v greater than d?
True
Let y be -2*(-4 + 5) + 6. Suppose -y*q - 1 = 27. Suppose -8 = 3*h + 13. Does h = q?
True
Let g(t) = 3*t + 5. Let a(v) = 7*v + 60. Let z be a(-9). Let w be g(z). Is -7 greater than or equal to w?
False
Let q = -0.122 - -0.092. Which is smaller: 5 or q?
q
Let m = -25.839 - -0.739. Let q = 54 + -29. Let l = m + q. Does l = 2?
False
Let i(l) = l - 6. Let z(x) = 8*x - 2. Let b be z(1). Let f be i(b). Let v be (0 - 0)/(f - 1). Is 1/4 equal to v?
False
Let o = -17.71 + 18. Let t = 0.14 - o. Let i = t + 1.15. Is i > -8?
True
Let l(g) = -3 - 10*g - 9*g + 1 + 14. Let x be l(9). Let f be x/(-51) + 3 + -6. Which is bigger: f or 0?
f
Let t be 2/(-5) - (-3816)/(-60). Let f be (-12)/(-8)*t/6. Let q = f - 0. Is q < -16?
False
Let v(b) = 2*b + 2. Let t be v(6). Let q = -15 + t. Let z be q + (0 - (-1 - 0)). Which is smaller: z or -6/5?
-6/5
Let k = 12.1 + -13. Let o = 217.2 + -216. Let r = o + k. Are -1/2 and r equal?
False
Suppose -3*r = -d + 15 - 0, -15 = -2*d + 3*r. Suppose 5*n - 10*n + 85 = d. Which is greater: 18 or n?
18
Let t = -20 + 34. Let p = 0.85 + -0.95. Which is greater: t or p?
t
Let d(f) = -f**3 - 7*f**2 + 5*f - 8. Let l be d(-7). Let v be 1 + (182/l - -3). Let n = -11/602 - v. Is n at most as big as 1?
True
Suppose c = 4*p + 16, 0 = 5*p + 15 + 10. Let g be c/18 - 8/18. Which is bigger: g or 5/6?
5/6
Let j(u) = 2*u + 4. Let w be j(-5). Let l = 4 + w. Let t = -773/413 + -16/59. Which is smaller: t or l?
t
Let x = -7 - -9. Suppose -4 = -0*b - x*b. Let n = 1 + b. Are 3 and n unequal?
False
Suppose -6*p + p - 188 = r, 3*p = -12. Let o be 220/46*4/r. Let u = 2/69 - o. Is 0 less than or equal to u?
True
Suppose -2*p = -0*c + 4*c - 4, 3*c + 3*p = 3. Let j be 4 + 1 + 30/88*(-1