146 - 142. Let x be (1 - v)*(-8)/(-24)*1. Suppose 4*a - 3 = -15. Which is greater: a or x?
x
Let q = 207 + -330. Which is smaller: q or -125?
-125
Suppose b + 2 = -1. Let f(g) = -g**3 - 13*g**2 + 15*g + 8. Let v be f(-14). Is v at most b?
True
Suppose 736 = -13*m - 252. Which is smaller: m or -75?
m
Suppose x = 5*s - 3, 5*x = -4*s + 3 - 18. Is s less than 1/398?
True
Let m be (-468)/16*2/(-3). Let j = -19 + m. Which is smaller: 0.27 or j?
0.27
Let b(v) be the first derivative of -3*v**2/2 + 20*v - 35. Let t be b(6). Which is smaller: t or 5/2?
t
Let s = 0.5 - 0.3. Let p = 84 - 72. Is p < s?
False
Let c(k) = -k**3 - 8*k**2 - 12*k - 10. Let f be c(-6). Which is greater: 0 or f?
0
Let u = -18.954 - 0.046. Let s = 20 + u. Is s less than or equal to -50?
False
Suppose 6*t + 84 = 13*t. Suppose 3*c - 2*c = -x, -3*x = -c - t. Is -3 > c?
False
Suppose 5*g + 4*r - 9 + 32 = 0, -2*g = 5*r + 16. Let z(v) = -v**2 + 2*v + 1. Let b be z(2). Let s be (5 - 10) + b + 2. Which is bigger: g or s?
s
Suppose 5*g = p + 8, -5*g + 21 - 3 = 4*p. Suppose u + u + 12 = -j, -p*j - 3*u - 19 = 0. Let b be (-2 - (1 + j))/(-23). Do -1 and b have the same value?
False
Suppose 0 = -10*d + 8*d - 8. Let w be 0/(-10)*(-2)/d. Let g = 969/5 + -193. Which is bigger: w or g?
g
Suppose -3*w = 2*w. Let z(t) = t**3 - 2*t**2 + 4*t - 1. Let g be z(2). Let c be (-52)/(-105) + (-17)/g + 2. Is w > c?
False
Let k(w) = 2*w - 6. Let r be k(3). Suppose 3*d - 10*d - 14 = r. Let h = -156 + 777/5. Which is greater: h or d?
h
Let k = -8.14 - -7.9. Let f = k + 0.24. Which is bigger: -1/13 or f?
f
Let n = -1396 + 1418. Which is smaller: n or 93/4?
n
Let z(h) = h**3 - 6*h**2 + 21*h - 47. Let x be z(4). Which is bigger: x or -93?
x
Let c be (-16)/(-2) - 2205/84. Which is smaller: -18 or c?
c
Let h = 256/351 - 9/13. Let o = h + -46/27. Let w(k) = -k + 1. Let u be w(2). Is o > u?
False
Let d = 2.22 - 4.22. Do -1.7 and d have the same value?
False
Suppose -4*f = -5*w - 148 - 288, 3*f + 267 = -3*w. Which is smaller: -89 or w?
-89
Let d be 9/(-12) - (-2 + 1). Let c = -590.05 + 590. Is c smaller than d?
True
Suppose 77 = -3*f - 2*z - 32, 2*f + 58 = -5*z. Let u = -3 + f. Is -43 greater than u?
False
Let s = -45.1 - -47. Let u = -159 + 157.2. Let h = s + u. Is h at least as big as -11?
True
Suppose 3*z = 5*z - 100. Suppose -z = 2*c - 2. Let o = 24 + c. Is o bigger than 1/18?
False
Let c be 3 - -42 - (-3)/(-3). Let d = 41 - c. Which is greater: d or -6?
d
Suppose 5*h + 12 = 4*r + h, -3*h - 3 = 3*r. Is -15/89 at least r?
False
Let h = 3 + -6. Let w = 11728/15 + -782. Which is greater: h or w?
w
Let l be 10/(-2) + -3 - -2 - -7. Is -1/54 less than or equal to l?
True
Let g(b) = -8*b**3 - 13*b**2 - 23*b - 5. Let f be g(-2). Is f >= 48?
True
Let g(x) = x**2 + 4*x - 32. Let u be g(-8). Suppose -1 = v - u. Which is greater: 5/7 or v?
5/7
Let c = -0.98 - -1.28. Is -0.2 greater than or equal to c?
False
Let f(y) = 2*y + 7. Let w be f(-6). Suppose -3*v + s = 20, -v + 5*s - 5 = 11. Let r = w - v. Is r < -2/43?
False
Suppose 13 = -g + 8. Is g at most -45/7?
False
Let p be ((-6)/(-6))/((-1)/5). Suppose -4*o - 9 = -7*o. Which is greater: p or o?
o
Let c = -0.2 - 0.4. Let f = -0.8 - c. Let k = -1 + -1. Are k and f non-equal?
True
Suppose 2195 = 6*v - 11*v + 5*u, 3*v + 1325 = u. Is v at most as big as -443?
True
Let k be (-1)/3 - (-14)/105*-20. Let v be 17 - 1/(4 + k). Which is greater: v or 15?
v
Suppose -85 = -x + 4*k - 78, -5*k = x + 11. Let c be (-3)/651*(-76)/(-3). Let f = c - -2/93. Are x and f equal?
False
Let n = 0.1019 - -0.0981. Is n greater than 0.093?
True
Let b be (8/3 - 2)*-3. Let l = b + 7. Suppose -5*f - 2*w + 4 = l, f = 3*w + 10. Are f and -3/7 equal?
False
Suppose -2*k = -5 - 3. Let w be 1 + 1 - k/2. Suppose w*g - g = 0. Is g greater than 3?
False
Let l(x) = -2*x - 17. Let z(h) = -1. Let g(s) = -l(s) + 3*z(s). Let f be g(-8). Let o = 183/44 + -65/11. Which is smaller: f or o?
f
Suppose 2*v + 8 - 2 = 0, 2*a - 10 = 4*v. Let q(s) = s + 21. Let z be q(-9). Let b = 86/7 - z. Are b and a unequal?
True
Suppose 3*v + 3*b - b = -75, 3*v = -b - 78. Let j be v/(-12) - (-3)/(-12). Suppose -a + 1 + 1 = -j*t, 5*t + 5*a = 10. Which is greater: t or -2/37?
t
Let i = -154 + 151. Let x be 4/10*(-30)/(-2). Suppose 4 = 2*j - 3*z - z, 0 = 3*z + x. Which is greater: j or i?
j
Suppose -o - 2*x + 24 = 0, 82 = 4*o - 4*x + 5*x. Does o = 143/7?
False
Suppose -30 = -v - 8. Let i be 4/v + (-217)/(-77). Let x be i/(-2*(-1)/4). Are 4 and x unequal?
True
Let i = -450075981/634165 - -3/90595. Let j = i - -711. Let v = 8 - 6. Is v at most j?
False
Let c = -31 + 31. Let f be -3*(-1)/(-6)*c. Is -2/67 <= f?
True
Let o = 218 - 217. Are o and 12/13 unequal?
True
Let s = 4.2 + -2.2. Is -0.103 less than or equal to s?
True
Let g = -0.266 - -0.566. Which is greater: 99 or g?
99
Let v be ((-4)/(-16) + 0)/(-1). Let j = -0.08 - -0.18. Let m = -0.2 + j. Is v at least m?
False
Suppose -3 + 6 = -3*t, -4*a = -4*t - 36. Let u = -22 + 28. Let r be u/(-4)*(-4 + -2). Which is smaller: r or a?
a
Let g = 62.29 - 62. Let o = -0.19 + g. Which is greater: o or 2/15?
2/15
Let l(j) = -j**3 + 3*j**2 - 2*j + 1. Let z be l(2). Let t be 6/((-3)/4*2). Let p be ((-3)/t)/((-45)/(-6)). Is p less than or equal to z?
True
Let u(g) = 2*g**2 - 3*g + 2. Let t be u(3). Let i(h) = -h + 10. Let d be i(t). Let f = -98/403 - 2/31. Which is greater: d or f?
f
Let c = 6 + -6. Let g be c/(-3 - -2) - -1. Suppose 2 = -3*w - g. Is 2/7 < w?
False
Let z be (-1)/(1/4) - (-4884)/1716. Which is smaller: z or -1?
z
Let r = 44 - 114. Let m = r + 70.12. Which is smaller: 3 or m?
m
Let x be -1*(1810/(-5))/(-2). Which is smaller: x or -180?
x
Let l be (-142)/(-150) + (2 - 3). Which is bigger: l or -1?
l
Let l = 335/276 - -11/92. Let g = 1 + 1. Suppose 3*m = -15, a - g*m - 10 = -a. Do a and l have the same value?
False
Suppose 2*d + 16*d = 7*d. Is -9/4 not equal to d?
True
Let y(v) = 6*v**2 - 4*v - 5. Let r(s) = -7*s**2 + 3*s + 4. Let k(x) = -5*r(x) - 4*y(x). Let t be k(-2). Let n = t - 295/7. Which is greater: n or 1?
1
Let g be 1/(-2)*(-6 - 2). Suppose -1 = -a + g. Suppose 0 = -2*l + a*k - 6, -3 = l + 2*k - 0*k. Is l smaller than -4?
False
Let h = -40 + 40. Which is smaller: -1/166 or h?
-1/166
Let x(g) = g**2 - 4*g - 3. Suppose -9*w + 14*w = -10. Let d be x(w). Let o(c) = -10*c - 1. Let y be o(-1). Is y at most d?
True
Let h(k) = -2*k**2 + 31*k - 23. Let v be h(14). Suppose -a + 2*s = -s, 2*a - 3*s - 6 = 0. Suppose t - a = v. Is t >= 25?
True
Suppose u - 3 = -3*o + 5, -3*u - 4*o + 14 = 0. Let c be -2 + 0*u/6. Let k be c/6*6/(-1). Is 2 greater than k?
False
Let w = 390.3 + -375. Let y = w - -1.7. Let z = y - 11. Which is greater: 1/2 or z?
z
Suppose -g - 6*f = -3*f + 65, g = 3*f - 71. Which is smaller: -69 or g?
-69
Let o(a) = 7*a**2 - 12*a - 19. Let z be o(5). Does z = -3?
False
Suppose 5*j = -2*x + 89, -5*j - 32*x + 35*x = -79. Which is smaller: 15 or j?
15
Let j be 10/(-445)*(-7)/28. Let g = j - 185/1246. Which is bigger: g or 6/11?
6/11
Suppose -5*n = 4*g + 1371, -4*n + 2*n = -g - 359. Do g and -348 have different values?
True
Suppose -720*l + 21975 = -705*l. Which is bigger: 1464 or l?
l
Let d = -0.8 + 1. Let l = 48 + -49.95. Let h = -1.9 - l. Which is smaller: d or h?
h
Let b = -0.7 + -10.3. Let t = 2/771 + 1520/8481. Which is bigger: b or t?
t
Let u = -15.79 + 118.79. Which is smaller: u or -1/2?
-1/2
Suppose 0 = -3*j - 9, 2*m + 2*j + 68 - 42 = 0. Is m greater than -130?
True
Let g be (-1)/(1/8*1). Let w(n) = n + 2*n - 2*n + 7 + 7*n. Let z be w(-2). Which is smaller: g or z?
z
Let q(c) = c**3 - 6*c**2 + 6. Let i be q(4). Are i and -21 nonequal?
True
Let i be ((-33124)/(-294))/(4/(-30)). Is -845 at least i?
True
Suppose -4*j - 3 = 5*g, -j - 2*g - g = 6. Let y be ((-21)/j + 2)*-1. Is y > 6?
False
Let q(i) = 2*i + 10. Let h be q(5). Let j = h - 101/5. Is j less than or equal to -3?
False
Let n = 852 - 897. Which is smaller: n or 7?
n
Let z be 31/(-12) + (-39)/52. Let x(u) = -u**2 - 14*u - 28. Let s be x(-12). Do s and z have the same value?
False
Let x(j) = -2*j**3 - 7*j**2 + 5*j + 8. Let z be x(-6). Let p be (-4)/18 + 22904/144. Let u = z - p. Is 0 at most as big as u?
False
Suppose j + 0 = -3*f + 2, 0 = 4*j - 4*f - 8. Let u = j - -1. Suppose -u*n = 9, x - 10 = -4*n - 4. Is x at least 18?
True
