3/6). Is x < 1?
True
Let r = 0.07 - -0.03. Which is smaller: -7 or r?
-7
Let s = -13 - -22. Let y = -10 + s. Let n be (-8)/6 + (0 - -1). Is y greater than n?
False
Let d(r) = 6*r - 41. Let c be d(9). Which is smaller: c or 5?
5
Let h(z) = -z**2 + 2*z - 2. Let x be h(2). Suppose 0 = -g - 3*g - 16. Let v(k) = k + 3. Let b be v(g). Is x less than b?
True
Let j = -5.316 - -2. Let q = -0.286 - j. Let s = 0.03 - q. Is -1 greater than s?
True
Let g = 45 + -57. Which is smaller: g or -6?
g
Suppose 3*h + 12 = 7*h. Which is bigger: h or -6?
h
Let h = -2/123 + 161/2337. Which is smaller: h or 0?
0
Suppose -2*v - 3*v + 115 = 0. Let j = -24 + v. Is -2 smaller than j?
True
Let u = -13/10 + 149/130. Is u at least as big as 0?
False
Suppose -5*o + 15 = -0*o. Let h be o/5 - (3 + -2). Which is bigger: h or -2/7?
-2/7
Let o be ((-2)/(-6))/((-8)/(-432)). Do 18 and o have the same value?
True
Let a be (-2)/24*(-1)/((-12)/(-32)). Which is bigger: a or -3/13?
a
Let a = 191.4 - 175. Let s = a + -3.4. Let f = -10 + s. Is 0.2 bigger than f?
False
Let g(l) = l - 15. Let r be g(14). Is -2/9 greater than or equal to r?
True
Let h be 2 - 1143/(-7) - 2. Let l = h - 163. Which is greater: 3/7 or l?
3/7
Let d be (27/6)/(18/(-15)). Which is greater: -5 or d?
d
Suppose 5*r + 3*p - 68 = -9, -r = -5*p + 5. Suppose 0*n + 5*n = r. Which is bigger: n or 17/5?
17/5
Let r = 2 + -2. Let q = -2 + 2. Suppose -2*b = -q + 2. Which is greater: b or r?
r
Suppose -2*r + 5*w = -0 + 6, w - 9 = 3*r. Is -9/4 equal to r?
False
Let w = 5/8 - 61/72. Let r be (2 - -2) + 4/(-2). Suppose l = r*l - 1. Which is smaller: w or l?
w
Let w = -6 + 6. Let g = w - -2. Which is bigger: 0.2 or g?
g
Let z be (-1 - 2/(-1))*3. Let a be (111/(-21) - -5) + (-30)/(-7). Which is smaller: a or z?
z
Let o = -1.973 - 0.027. Is o less than or equal to -0.17?
True
Let m(u) = u**2 - 11*u - 9. Let v be m(11). Which is greater: -48/5 or v?
v
Let m be (-2)/(2 + (-12)/5). Suppose m*c + 6 + 14 = 0. Let a be ((-2)/(-2))/(3 + 10/(-3)). Is a greater than c?
True
Let w = -3 + 2. Let z = 0.22 + 0.18. Which is greater: w or z?
z
Let c = 4 + -1. Suppose 0*z = -y - 3*z - 9, 3*y = -z - c. Suppose -6*x = -5*x. Are y and x non-equal?
False
Let v = 2 + 0. Let n be 1/(2/10) - v. Let x be 4/n*3/(-12). Which is greater: -1 or x?
x
Let s be 1 - 3 - 240/(-126). Suppose 10 = 4*i + i. Let l = i + -2. Which is smaller: l or s?
s
Let j = 0.12 - 0.13. Which is greater: j or 2?
2
Suppose 14*v - 8 = 22*v. Are v and -1/5 equal?
False
Let y = 4 + -6. Is -2 smaller than y?
False
Let o = 29 - 29. Which is greater: -14 or o?
o
Suppose 0 = 2*j - 5 - 1. Suppose 4*r + 12 = 0, -2*r - 5 = 2*b + r. Which is bigger: b or j?
j
Let q be 4/(-6) - (-12)/(-9). Suppose 2*w - 15 = -n - 0*n, 3 = -w - 4*n. Let r = w - 11. Does q = r?
True
Let y(t) = 2*t**3 + 5*t**2 - 4*t - 2. Let q be y(-3). Is 3/4 < q?
True
Let z = 0.32 - -0.68. Is 2 at most z?
False
Let a = 24 - 24.2. Let g = -301 - -3309/11. Is g at most as big as a?
False
Let g be 3*1*6/(-30). Suppose 2*m = -6 - 6. Let k be (-1)/2 - (-3)/m. Does g = k?
False
Let q(a) = -a**2 + a - 3. Let h be q(0). Let p be 5/12 + h/(-12). Let y(n) = -n**2 + 4*n + 2. Let c be y(4). Do p and c have different values?
True
Suppose 0 = 3*g - 0*g - 6. Suppose -x - 3 = t + 5, -t - g*x - 12 = 0. Is t at most -4?
True
Let f(i) = -i - 4. Let q be f(-5). Let p(z) = 3*z**2 + 1. Let a be p(-1). Suppose 7 - a = n. Which is smaller: n or q?
q
Suppose -9 - 11 = -2*n - 4*a, 0 = 4*a. Let t be (11/n)/(4/(-10)). Which is smaller: -3 or t?
-3
Let y(i) = -i**3 + 5*i**2 + 5*i + 8. Let c be y(6). Let g = c + -4. Which is greater: g or 1?
1
Let j = -19 + 11. Which is greater: -22/3 or j?
-22/3
Let j be -12*((-8)/(-6))/(-4). Suppose 2*w + 0*w + 2 = -y, j*w + 4*y = -4. Which is smaller: w or -2?
-2
Let p be (0/15)/(2/(1 + 1)). Which is bigger: -1/8 or p?
p
Let p = 3 + -5. Let i = p + -2. Let l = 1 + i. Which is smaller: -5 or l?
-5
Suppose -4*y = -r - 6 - 24, 2*r + 4*y + 60 = 0. Let z be 8/r*(-9)/6. Which is smaller: 2 or z?
z
Let l be ((-16)/(-12))/((-1)/(-3)). Let d = 6 - l. Let w be (1/(-2))/((-1)/(-2)). Which is bigger: d or w?
d
Let z = 106 + -1271/12. Which is smaller: 0 or z?
0
Let n = -4 - -4.1. Let a = -0.1 + 0.2. Let j = 0 + a. Does n = j?
True
Suppose 3*h = 5*m - 7, 0*h - 4*m + 6 = -2*h. Let t be (-2)/5 + (-24)/(-10). Suppose d + 6 = t*r, 5*d + 0*d - r + 3 = 0. Is d smaller than h?
True
Let a = -32 - -56. Let d be 2*2*(-2)/a. Let t(m) = -m + 3. Let z be t(4). Is d > z?
True
Let p = -295 - -6197/21. Which is bigger: 0 or p?
p
Suppose -5*l = -l - 16. Suppose 1 = 4*i + 4*m - 3, 0 = l*m - 4. Let x = 2/109 + -264/2507. Is i <= x?
False
Let q(p) = -p**2 - 9*p. Let b be q(-9). Let n be 2 - ((-15)/(-10) - b). Let j(v) = v**3 - 2*v**2 - 5*v + 2. Let w be j(3). Which is smaller: n or w?
w
Suppose 2*d + 44 = 6*d. Suppose d + 1 = 4*s. Let c be -2 - 9/(s/(-1)). Is c greater than -1/3?
True
Let b be (5 + -5)/(-1*2). Suppose -2*v + 4*x = 8, 2*v + 3*v - 5*x + 25 = b. Let i = 7 + v. Are 2 and i nonequal?
True
Let u be ((-2)/(-328))/(105/(-60)). Which is greater: u or 0?
0
Let l = -8 + 23. Let n = -23 + l. Let q = n + 8. Which is bigger: -3 or q?
q
Let u be 9*9/(-10) - (-16)/(-40). Which is smaller: -10 or u?
-10
Suppose -f + 4*x + 18 = 0, 0*f + 19 = 3*f - 5*x. Let r = -1 + 0. Let n = r - 1. Is n less than or equal to f?
True
Let f be 49 + (1 - (5 - 2)). Let n = f - 140/3. Which is smaller: -1 or n?
-1
Let c be 1/6 + 23/6. Is 1 less than c?
True
Let f(y) = y + 7. Let c be f(-6). Let x be (4/6)/(30/45). Is x at least as big as c?
True
Let d be 2 + -1 - 3/3. Let t = 4/379 + -57249/1895. Let r = 30 + t. Is d <= r?
False
Let h = -811/6 + 136. Is h bigger than 0.2?
True
Let b(l) = l**2 + 6*l. Suppose -2*h = -4*h - 12. Let q be b(h). Is q >= 0?
True
Suppose 6*h - 2*h = 2*j + 6, 0 = -2*h - j + 9. Suppose 0 = h*x - x. Is x greater than 0?
False
Suppose -5*a + 5*f + 16 = 41, -3*a + 5*f = 19. Which is bigger: -5 or a?
a
Let n(b) = 4*b - 5. Let i be n(2). Suppose -2 = 5*k - 27. Is k at least as big as i?
True
Suppose 0*q - 2*k = -q - 15, 3*q + 29 = 2*k. Suppose -4*r - 15 = -r. Is q at most r?
True
Let k = 30/19 + -348/437. Let a = k + -321/322. Let u = a - 19/42. Do u and -2 have different values?
True
Let w = -125.1 - -139. Let c = w + -13. Let n = c - -0.1. Which is greater: n or 0.1?
n
Let t be (-2)/(-4) + 1/(-14). Let z(s) = -s**3 - 2*s**2 + 4*s + 2. Suppose 5*x + 5*w + 15 = 0, -5*x - 1 = 3*w + 14. Let m be z(x). Which is smaller: t or m?
m
Let z = 2 + 0. Let t = -5.9 - -2.8. Let w = t - -3. Which is greater: w or z?
z
Let n be 60/27 - (-2)/(-9). Which is smaller: n or 5?
n
Suppose -14 = 5*o + 1. Let y be o/(-12) + (-60)/176. Is -1 less than y?
True
Let y = -1178/11 - -11284/99. Which is greater: y or 8?
8
Suppose 6 + 18 = 4*g. Suppose 0 = -4*s - 2*x + g, s + 0*s + 2*x - 3 = 0. Are 0 and s non-equal?
True
Let o(s) = s**2 - 4. Let l be o(4). Suppose -2*d + 2 = -5*d + t, 4*d - 5*t - l = 0. Let y(j) = -j**3 - 3*j**2 - 3*j. Let v be y(d). Which is smaller: 3 or v?
v
Let f = 134 + -135. Are f and -2/441 nonequal?
True
Let m = 0 + 3. Let h be (-2 + 10/4)*54. Suppose 5*a - 40 = 5*k, 3*a - 4*k + 0*k = h. Which is smaller: a or m?
m
Let r = 697 - 20217/29. Which is smaller: r or 0?
r
Let j(n) = -n**2 - 5*n - 2. Let c be j(-4). Suppose 0 = c*h + z - 0*z + 12, 15 = -5*h + 5*z. Let u be 32/10 - (-1)/h. Which is bigger: 0.1 or u?
u
Let s be 504/(-248) - (0 + -2). Which is greater: s or 0?
0
Let k(u) = -u**2 + u - 2. Suppose -4 = -5*d + 4*x, -3*d + x + 2 = 1. Suppose -3 = -4*n + 3*m, -5*n - 2*m + m - 1 = d. Let i be k(n). Which is bigger: i or 0?
0
Suppose 3*y - 4*y + 3*z = -18, 0 = -z - 5. Suppose 3*r + r = -3*v + y, 0 = 2*r + 5*v - 5. Is r greater than 1?
False
Let z be -3*(-2)/(4 - 2). Suppose v = z*v. Are v and -1 unequal?
True
Let r = 4.3 - 5. Let m = -1.5 - -0.2. Let l = r + m. Is l less than or equal to 0?
True
Let s(k) = -k**3 - 11*k**2 - 10*k + 6. Let j be s(-10). Does 0 = j?
False
Let x(j) = -3*j - 3*j + 2 + 3*j. Let q be x(4). Let w be ((-1)/5)/(4/q). Which is greater: 0.2 or w?
w
Let t be 3 + 2/4*0. Let o be ((-8)/(-192))/(1/t). Is 1 at most as big as o?
False
Let x = 1.4 - 0.4. Let i = -1 + -9. Let d = i + 11. Are d and x equal?
True
Let k = 19787/301 + -460/7. Does k = 0?