Which is bigger: -6 or o?
o
Suppose -v = -r - 0*r + 1, -v - r + 9 = 0. Suppose 4*a = -8, v*t + a = -3*a + 12. Is t bigger than 0?
True
Suppose 4*j - 8 + 0 = 0. Let x be j/(-6) + (-183)/(-9). Let h be 4/2*(-2)/x. Is h greater than or equal to 1?
False
Let r = 78327/364 + -2822/13. Let d = r + 15/7. Which is smaller: -1 or d?
-1
Let l = -4 - -12. Let n = l - 8. Which is smaller: n or -2/9?
-2/9
Let k = -6.6 - -6.5. Which is smaller: 16 or k?
k
Let n = -3 + 6. Suppose n*q = -2*q - 10. Which is smaller: q or -0.1?
q
Suppose a - s = -14, -2*a = 2*a - 5*s + 58. Let u be (-3)/a - 10/(-24). Let w = -1 - -2. Is u <= w?
True
Let n be (0 - -2)*(-3)/2. Let g = 8 + n. Suppose -g*s = -5*y + y, -3*s - 3*y = 0. Is s less than -1?
False
Let l = -1.67 + 0.74. Let b = -0.07 + l. Which is smaller: b or 1?
b
Let w be -3 + -4 + (-3508)/(-456). Let h = w + -10/19. Which is bigger: -1 or h?
h
Let h = 1 - 1. Suppose 6 = -2*b, c - 84 = b - 3*b. Let a be 2/8 - c/168. Which is bigger: a or h?
h
Let o(p) = 5*p**3 - 3*p**2 - p + 2. Let t be o(2). Does 28 = t?
True
Let r = 0.014 + 0.186. Let u = 1 + -2. Is u not equal to r?
True
Let p = -10.4 + 10.5. Is p at most as big as 5?
True
Let h be (14/6)/((-6)/(-54)). Let z be 0*(h/6 + -3). Let b(k) = k**3 + 5*k**2 - 2. Let c be b(-5). Which is greater: z or c?
z
Let x = -0.082 + -0.918. Let a(u) = -u + 2. Let m be a(0). Do m and x have the same value?
False
Let l = 127 - 114. Suppose 5*h - 64 = -u - u, 5*h = -3*u + 66. Is h <= l?
True
Let a be (3/(-6))/(14/(-240)). Let u = -1/49 + -1271/147. Let p = u + a. Do p and 1 have different values?
True
Let d be (-4)/(-14) + (-638)/77. Is -9 smaller than d?
True
Let q be (-1 - 0) + (-2)/4. Let k = -19395/41 + 473. Let w = -68/287 + k. Which is bigger: w or q?
w
Let g = 2 - 2. Suppose -5*m + 17 + 3 = g. Let w be ((-5)/(10/m))/(-2). Is w >= 1?
True
Suppose c - 5 = -p, -5*p + 2*c + 3 + 1 = 0. Let z be 1 + (-2)/(p - 0). Suppose -3*s - s - 4 = z. Which is bigger: 1/3 or s?
1/3
Suppose 5*h = 5*j - 5, -5*j = -j - 3*h - 3. Let w = -5/2 + 31/10. Is j > w?
False
Let z(d) = d**2 - 9*d + 5. Let v be z(9). Suppose -k + v*o = 11, 4*k + 0*o = -5*o + 56. Which is smaller: 0 or k?
0
Let h be 2/(-33)*(-14 + 29). Is 0 less than or equal to h?
False
Suppose 4*a - 6 = 7*a. Is 2/9 equal to a?
False
Let d be 3 + (-3 + 6)*-5. Let i = d - -2. Which is smaller: i or -9?
i
Let a be 0 + 2 - -2 - -1. Suppose 3*b = 5*u - 15, -5*u - b = -8*u + a. Suppose -3*p - 3 - 3 = 0. Which is bigger: p or u?
u
Let i be 2 + 2 + 1090/(-8). Let g = 297 - 430. Let r = g - i. Is -0.2 less than r?
False
Let b = 37 + -79/2. Is b bigger than -4?
True
Let k be -8 + (1 - 2)*0. Let h be (-6)/k*1/(-3). Which is smaller: -1 or h?
-1
Let z = 13 + -16. Is z < -3?
False
Let w = -184 + 185. Is 11 greater than or equal to w?
True
Suppose -15 = k - 3*k - 3*y, -6 = -2*y. Suppose 2*i - 1 - 3 = 4*u, 0 = -u + k*i + 9. Let s be 0/(0 - 1) - u. Is s at least 3?
True
Let c be 2/(-4)*(-3 - (-7)/(-1)). Is c <= 5?
True
Let a = 0 - -1. Let i(d) = 3*d**3. Let s be i(a). Suppose -2*w = -w - 3. Are w and s non-equal?
False
Let k = 1 + -7. Let b = 0.6 + -1. Let y = b - -1.4. Is y less than or equal to k?
False
Let g(x) be the second derivative of x**3/6 - x**2/2 + 4*x. Suppose 3*d - 4*z = 19, -z - 9 = -0*d - 5*d. Let y be g(d). Is y equal to 1/3?
False
Let z be (2/(-5))/((-96)/660). Which is smaller: 3 or z?
z
Let o = 18 + -10. Let v = o + -7.9. Which is smaller: v or -0.01?
-0.01
Let w = -3 + 10. Are w and 6 nonequal?
True
Let g = 5 - 3. Suppose 2*w + 0*h = -3*h - 1, 2*h = -2*w. Is g greater than or equal to w?
True
Let q be -2 - (-3 - -2) - -2. Is q > 3/22?
True
Let p be ((1 - 2) + 1)*1. Let u = 133/5 + -27. Is u greater than or equal to p?
False
Let b = 11 - 86. Let u be 2/3 + b/(-9). Let s be (-108)/(-14) + 4/14. Which is greater: s or u?
u
Let p = -3.3 + 0.3. Let k be 8/14*4/(-8). Is k less than p?
False
Let w be -6 - -9 - (-5 - 0). Suppose -4*y - w = -0*y. Let q be (-1*1 - -4)*-1. Which is bigger: y or q?
y
Suppose -4*x + 8*x = 4*r - 4, 0 = -r. Which is greater: -3/2 or x?
x
Let d(h) = h**3 + 3*h**2 + 2*h + 2. Let y be d(-2). Suppose -48 = x + y*x. Let m be x/(-6) - (-3)/9. Is m at most 4?
True
Let w = -0.02 + 1.12. Let z = 0.8 - w. Suppose -3*n + n = -5*c + 4, -6 = 3*n + 4*c. Is z >= n?
True
Suppose 5*a = -5*r + r - 75, 0 = a - 2*r + 15. Is -15 > a?
False
Let v = -1 - -3. Suppose -x + 3*x + v = 0. Do x and -1/5 have the same value?
False
Let o(p) = p**2 + 3*p - 2. Let l be o(1). Suppose -v + 2 = -1. Which is greater: v or l?
v
Let h be ((-1)/2)/((-2)/(-1076)). Let y = h - -2149/8. Let c(r) = -r**3 - 2*r**2 + r + 1. Let s be c(-2). Which is bigger: y or s?
y
Let l be 175/(-40)*8/(-2). Let d = 181/10 - l. Is d less than or equal to 0?
False
Let n = 0.3 + -1.3. Let z(i) = i**3 - i**2 + 2*i + 3. Let j be z(-2). Which is greater: j or n?
n
Let m = -4.92 + 5. Let r = m - -3.92. Does r = 1/5?
False
Let w be 32/14 - (-4)/(-14). Let c be (-10)/(-6)*w/(-5). Which is bigger: c or -2?
c
Let k = 8 + -8.1. Let o = -11 - -10.9. Is o greater than k?
False
Let a = -7.0348 - -0.0548. Let n = -0.02 + a. Is n bigger than 0?
False
Let c = 0.032 + 0.008. Is c bigger than 0.07?
False
Suppose -4*a = -2*t - 12, 0*a = 5*t - 4*a + 24. Let o be 88/(2 - t/(-3)). Let r = 1454/11 - o. Is 0 at least as big as r?
False
Let z be -4*((-10)/8 - 1). Let d(c) = -c**3 + 10*c**2 - 10*c + 4. Let q be d(z). Let r = q - -4. Is r at most as big as 1/7?
True
Let p be -5*(-12)/150 - 222/5. Is p greater than -44?
False
Let q(v) = -2*v + 1. Let k(r) = r. Let f(b) = 3*k(b) + 2*q(b). Let i be f(2). Is i <= 0?
True
Let x be 4/(-24)*(-2 - -6). Is 62 > x?
True
Let m = 3647/44 - 333/4. Which is greater: 3 or m?
3
Let d = 65 + -46. Let b be ((-2)/(-5))/((-1)/(-50)). Which is smaller: d or b?
d
Let m = 43 + -29. Which is smaller: 13 or m?
13
Suppose 0*w = -4*w. Let h(m) = 33*m - 2. Let f be h(2). Let x be ((-8)/f)/(2/4). Are x and w nonequal?
True
Let v = -6 + 4. Let b = 41 - 41. Is v bigger than b?
False
Suppose -4*p - 4*x = 52, -2*p + 20 = -4*p - 4*x. Let i be ((-6)/20)/((-12)/p). Which is bigger: 1 or i?
1
Let w be 1/(4*2/88). Suppose 11*m = 12*m - w. Are m and 10 equal?
False
Let x(s) = -s - 14. Let q be x(-15). Is 3/5 smaller than q?
True
Let i = -479/22 - 11729/110. Let u = 128 + i. Which is greater: u or -0.1?
-0.1
Suppose -3*v + 22 = -47. Which is smaller: 22 or v?
22
Let g = 4 - 2. Let d be 1 + 0 - (g + 5). Let j = d - -6. Which is smaller: 1/3 or j?
j
Let w be 32/(-40)*10/68. Let p(i) = -i**2 + 2*i - 1. Let z be p(1). Is w smaller than z?
True
Let q = 1587/8 - 198. Let l be 2/5 + (-2)/5. Do q and l have the same value?
False
Let i(x) = -x**3 + 6*x**2 + x - 6. Let s be i(6). Do -1/8 and s have the same value?
False
Let l(w) = w + 1. Let z(b) = -7*b - 5. Let c(v) = 4*l(v) + z(v). Let s be c(1). Which is greater: s or -6?
s
Let c = 5/26 - -4/13. Let y = 0.1 + -6.1. Let w = y - -5.9. Is w bigger than c?
False
Let c(q) = 5*q + 15. Let k be c(-10). Let h be k/49 + (-4)/14. Suppose 5*z + 25 = -3*a, 6*a + 13 = z + 3*a. Is z not equal to h?
True
Let h be (-62)/14 + (-9)/((-378)/(-24)). Which is greater: -13 or h?
h
Let k = 0 - 1. Suppose 5*r - 1 = -31. Let x = r - -7. Do k and x have the same value?
False
Let b be ((-2)/50)/(2 + (-38)/18). Which is greater: b or 0?
b
Let y = -21 + 29. Suppose 0 = 5*k + y + 2. Which is smaller: 0 or k?
k
Let b(l) = -l**3 - 4*l**2 + 2*l - 2. Let r be b(-4). Let k = 16 + r. Let q be (-8)/k + (2 - 0). Do q and 0.1 have the same value?
False
Let i be ((-1)/2)/((-15)/(-30)). Is 1/10 at most i?
False
Let w be 552/54 - (-4)/(-18). Suppose -5*d - 11 + 1 = 0, 2*y + 3*d = w. Let q be y/38*(-4)/8. Which is smaller: q or -1?
-1
Let b = 58 - 58. Is -6 less than or equal to b?
True
Let w(d) = d. Let z(l) = -7*l - 4. Let n(m) = -6*w(m) - z(m). Let a be n(-4). Which is greater: a or 1/7?
1/7
Let i(g) = g**3 - 6*g**2 - 18*g + 70. Let m be i(7). Do -7 and m have the same value?
True
Let x be 4/(-6) - (-8)/3. Suppose -5*l + 6 = -2*l. Suppose l*s - 6 = 4*a, -s - 6 = -4*a - 3*s. Which is greater: x or a?
x
Suppose -4 - 6 = -5*q. Let l be q/1 - (-671)/(-306). Let d = l + -1/34. Which is smaller: 0 or d?
d
Let v(w) = -w**2 + 5*w + 5. Let r be v(4). Let k = 31 + -11. Let g be 4/16 - r/k. Which is sm