o -2?
False
Suppose 4*l = -5*l + 756. Let j = -576/7 + l. Is j greater than 1?
True
Let b = -1312/77 - -62/7. Are b and 0.1 equal?
False
Let n be (11/((-33)/18))/((-324)/(-34664)). Suppose d = 3*t - 5*t - 652, -4*t = 20. Let s = n - d. Which is greater: s or 1?
1
Let b = 1438 + -1436.5. Let w be 21/15 - (-6)/(-15). Which is smaller: w or b?
w
Suppose -21462 = h - 74*h. Is 293 at most h?
True
Let w = 485137/37 + -13111. Which is bigger: 2 or w?
2
Suppose -3*i + i - 111 = 3*n, -5*i + n - 286 = 0. Let k be (i/(-38))/(1/22). Is k greater than 33?
False
Let g = -80696603/201 + 401474. Let i = g + -2/67. Is -3 greater than or equal to i?
False
Let d(j) = -2 - 2 + j + 2 + 1. Let m be d(-9). Is -10 < m?
False
Let v be 158/45 + -1 - 6/(-10). Is 3 not equal to v?
True
Let u = 24 - 18. Let v = 135 + -128. Is u at most as big as v?
True
Let t = 3.4 + -0.5. Let d = t - 2.7. Is -2 greater than d?
False
Let c be ((-7 - -10) + 2*-2)/1. Suppose 0*z + 5*z = -15. Let b = z + 3. Which is smaller: c or b?
c
Let o = 263 + -259. Which is greater: 35 or o?
35
Let l = -34 - -38. Let n be 0 - 22/(-8) - (-1 + l). Which is greater: n or -2/15?
-2/15
Let r(u) = -u**2 + 18. Let j be r(5). Let o = 0 + j. Is o equal to -6?
False
Let c(g) = -11*g + 2*g + 5*g + 20. Let s be c(11). Which is greater: s or -23?
-23
Let a = 553 - 4405/8. Which is smaller: 1 or a?
1
Let u(y) = 2*y**3 + y**2 - y + 1. Let j be u(1). Suppose 0 = -3*s - j*t + 4 - 16, 4 = -3*s - t. Let b = -1 + s. Which is smaller: 0 or b?
b
Let h = -2476 + 2475.6. Which is smaller: h or -10?
-10
Suppose 4*p - m = 34, 0 = 3*p - 5*m - 20 + 3. Suppose -i - 3 + p = 0. Suppose -i = 6*o - 3*o. Which is smaller: -3/2 or o?
o
Suppose 1561 - 157 = -6*q. Is q greater than -234?
False
Let d be 2/(-19) + 4832/22800. Which is greater: 0 or d?
d
Let p(m) = m**3 + 7*m**2 + 5*m - 22. Let n be p(-6). Which is bigger: -163/10 or n?
n
Let t = -108 - -100. Let q be t/(-4) + 1*(-28 + 3). Which is smaller: q or -22?
q
Let u(z) = 9*z + 64. Let o be u(-7). Suppose -2*n = -o - 41. Is 0 equal to n?
False
Let z(n) = n**3 + 14*n**2 + 6*n + 25. Let a be z(-15). Which is smaller: -289 or a?
a
Suppose 5*z + 462 = 137. Let r = z - -92. Which is greater: r or 29?
29
Suppose 0 = 2*s + 3*s. Let h be (-2 + 99/48)/(4/(-24)). Which is bigger: h or s?
s
Let u = -273 + 315. Is 41 bigger than u?
False
Let k(d) = d**3 + 6*d**2 - 7*d + 9. Let w be k(-7). Let a(p) = p - 5 + 0*p + 0. Let t be a(w). Which is greater: t or 0?
t
Let s = -2 + 8. Let o be (-4)/s*(-12)/(-2). Let q be o/(-4) + (-9)/5. Which is greater: q or -1?
q
Let h = 235 - 166. Suppose -3*r = -3*c + h, -2*c + r = c - 61. Is c < 19?
False
Suppose 4*v - 7*j = -3*j - 292, 5*v + 389 = -j. Is 0.1 at most as big as v?
False
Let c(s) = 3*s + 12. Let p be c(-5). Let i be p/(-74)*12 + 0. Let t = 59/259 + i. Which is bigger: t or 0?
t
Let s be (-6)/(-4) + 150/(-100). Is -1/618 > s?
False
Suppose r - b - 6 = -2*b, -14 = r - 4*b. Let g(i) = i - 4. Let h be g(8). Do r and h have the same value?
False
Let v be (42/(-12) + 3)/((-98)/(-36)). Let h = -345/1078 - v. Is h <= 1?
True
Let l(o) = -o**2 - 8*o + 2. Suppose 2*r + 2 = -14. Let n be l(r). Suppose n*x = 6*x - 28. Is x at least as big as 7?
True
Suppose 3*w + 2*w + 2*n - 1 = 0, 5*w - 15 = 5*n. Let u = -2114 - -67651/32. Is w at most as big as u?
False
Suppose 35*j = 29*j + 12. Suppose 4*c - 15 = 5*i, j*c - 2 = 8. Which is greater: i or 4/39?
i
Let x be (-1)/(-2 - (4 + 0)). Which is bigger: 0.71 or x?
0.71
Suppose 150 = -16*h + 6. Is h < -11?
False
Let l = -601 - -602. Which is greater: l or -234?
l
Suppose -20*w = -87 - 73. Let t = -1746/7 + 256. Which is smaller: t or w?
t
Let d(h) = 11*h + 27. Let s be d(28). Is 334 != s?
True
Let j(k) = 8*k**2 + k + 67. Let d be j(-13). Which is smaller: d or 1407?
d
Suppose 0 = 9*h + 13*h - 132. Which is smaller: -7 or h?
-7
Let f = -237 - -3795/16. Which is smaller: -7 or f?
-7
Let j(i) = -4*i + 21. Let z be j(5). Let m = 15 - 6. Let l be 15*(0 + 3/m). Is z greater than l?
False
Let i be (15/8)/(-5) - (-615)/40. Suppose -3*r = -39 - 3. Is i bigger than r?
True
Suppose 17*o - 2*o + 270 = 0. Which is bigger: o or -8?
-8
Suppose -5*c + 13 = 8, -3*h - 3*c + 36 = 0. Suppose -15*r + h + 454 = 0. Is 0.1 smaller than r?
True
Suppose a - 2*p = -p - 1, -1 = 3*a - 2*p. Let b be -1 + 0 + (-372)/(-354). Which is bigger: b or a?
a
Let i be (12/30)/((-2)/(-5)). Let x be (-6)/(-8) + ((-1)/(-4))/i. Let q be (-1 - -1) + 2/(-7). Which is bigger: x or q?
x
Let k(m) = -m - 5. Let q be k(2). Suppose -3*o - 46 = -19. Which is smaller: q or o?
o
Let u = 20 - 31. Let i = 44 + u. Let w = i + -32. Is w equal to 2?
False
Let t = -13.03 - -0.03. Let v = 14 + t. Which is bigger: v or 2/13?
v
Let u(o) = o**2 - 8*o - 3. Let b be u(8). Let d = b - -13/4. Let f = 3.3 + -3.19. Is d less than f?
False
Let f = 620 - 560. Let j = 33 + 27. Is j greater than or equal to f?
True
Let r be 2/(-4) - (-4 - (-30)/12). Which is smaller: r or -3/16?
-3/16
Suppose 5*y = 1 - 26. Let s be 2/(y/((-45)/(-6))). Which is bigger: -4 or s?
s
Let h = 0.712 + -0.102. Is h bigger than -2?
True
Let d = -34.79 + 37.804. Let a = d - 0.014. Which is greater: a or 2?
a
Suppose r = 4*v - 10, 3*r + r - 17 = -3*v. Let x be (-8)/(-6)*v/2. Suppose 0*c - x*i + 14 = 4*c, -10 = -2*i. Which is bigger: c or -5?
c
Let a(j) = -j**2 + 5*j - 1. Let o be a(5). Let r be (-4 - -7) + (o - 0). Suppose f + 4 = -3*f, r*i - 9 = -3*f. Which is greater: 7 or i?
7
Let h be 40/5 - (-3 - -2). Suppose 4*g + 25 = h. Which is bigger: -8 or g?
g
Let w be ((-1)/(-16)*4)/(2/(-748)). Is w greater than -95?
True
Let z(l) = 4*l + 4. Let d be z(-5). Let t be (d/(-10))/(4/(-20)). Suppose -5*n - 44 = -q, -4*n + 4*q - q - 33 = 0. Are t and n unequal?
True
Let z(n) = 2*n**3 + 3*n**2 - 4*n - 5. Let w be z(-2). Let m(a) = a**2 - a. Let q be m(4). Let j be (2/(-4))/((-6)/q). Is w at least as big as j?
False
Suppose 3*l - 38 = 43. Let a = 24 - l. Which is smaller: -17/5 or a?
-17/5
Let j be (-90)/(2*(-1)/58*2). Let f be (-6)/9 + j/1836. Are 1 and f non-equal?
True
Suppose 4858 = 5*d - 2*i, -13*d + 958 = -12*d + 3*i. Does 970 = d?
True
Let m(k) = -k**3 + 7*k**2 - k + 9. Let d be m(7). Suppose 7*i - 40 = d*i. Which is smaller: 7 or i?
7
Let s be ((2 - 1) + -5)*-2. Suppose 3*f - 2*f - s = 0. Suppose f*j = 2*j. Is j < 2/9?
True
Let k(g) = g - 4. Let a be k(3). Let m = 35.087 - 0.087. Which is smaller: a or m?
a
Let n be (10439/650 - 16)/(12/(-10)). Let b be (-1*2)/(-2) - 2. Is b less than or equal to n?
True
Let o = -2/119 - -365/476. Let m = 54 - 30. Let g = -23 + m. Which is smaller: o or g?
o
Let j = 10 - 2. Let r be ((2 - 3) + j)/(-3). Which is smaller: r or -2?
r
Suppose -40*q = -38*q - 20. Suppose q*f = 58 + 12. Is f greater than 8?
False
Let u be (-7 + (-36)/(-12))*(-1)/(-4). Which is smaller: 6/23 or u?
u
Let u be (-3 + 5)*(-15)/(-6). Suppose 4*k = -u*o - 6, -o = k + 3*o + 7. Suppose 6 = 3*m - 4*v + 1, -6 = -3*m + 3*v. Which is smaller: k or m?
k
Let r be 12/(-21)*(-28)/40. Do -0.17 and r have the same value?
False
Let w = -21 + 27. Suppose 0 = 2*j - w*j - 24. Which is greater: -5 or j?
-5
Suppose -4*h + 8*h = -60. Let o be (-2436)/232 + 7/(-2). Which is smaller: h or o?
h
Let v(d) = -d**2 - d + 1. Let m(h) = 5*h**2 - 8*h - 5. Let a(x) = m(x) + 6*v(x). Let l be a(-14). Which is bigger: -2/29 or l?
l
Let g be 0*((-2)/(-8) + (-9)/12). Is 6 at least as big as g?
True
Let b = -53.8 - -61. Let k = b + -6. Let s = 1.5 - k. Is 1/4 less than s?
True
Suppose 22 - 64 = -3*d. Let u be 56/42 - d/9. Suppose 5*c = -0*c. Which is bigger: c or u?
c
Let k be 62/8 - (-2)/8. Let z = -300 + 304. Is k != z?
True
Let r = 37.0103 - 0.0103. Which is greater: 0.02 or r?
r
Let d = 788 - 742. Which is greater: d or 49?
49
Let u = 0.66 - 0.76. Is u < 11/2?
True
Suppose 3*s + 16 = -4*y - y, -5 = y. Let a be s + ((-1206)/3)/2. Let m be 1/(-4) + a/(-24). Are m and 9 non-equal?
True
Let r = -1521 - -879. Let n be (-7 - r/90)*(0 + 66). Is 8 equal to n?
False
Let f = 7/7972 - -11997783/87692. Let g = f + -137. Let c be (-1)/(-2) - (-4)/8. Which is smaller: g or c?
g
Let g = -1 + 1.3. Let h = -22 - -19.8. Let f = h - -1.2. Is g <= f?
False
Let u = -0.77 - -55.77. Let z = 54 - u. Let t = -0.2 + 0.5. Which is smaller: z or t?
z
Let v = -1028.84 + 18.84. Whic