4)/25608 + 45/54. Is 1 bigger than g?
True
Suppose -12 = -0*x + 3*x. Let y be (-8)/(-6)*42/x. Let v = 14 + y. Which is smaller: v or -3?
-3
Let r be 2/2 - 6/6. Suppose 15 = -2*i - 3*i. Let y be (i/6)/((-4)/8). Is r >= y?
False
Suppose 46*o + 359 = -147. Which is bigger: -13 or o?
o
Let w(r) = -4*r - 13. Let y be (-1 - -2)*48/(-12). Let x be w(y). Suppose 0 = 4*z + d - 12, -2*d = -2*z + 2*d + 6. Is z equal to x?
True
Let b = 31.15 + -0.15. Let u = -14 + b. Let g = 17 - u. Is g < 4/11?
True
Suppose 0*o + o - 64 = 0. Suppose 2*v - 21 = 5*p, 2*v + v - o = p. Is 22 equal to v?
False
Let s(r) = -2*r**2 - 32*r + 103. Let l be s(-19). Which is smaller: l or -12?
-12
Let x(w) = -w**2 + 5*w + 15. Suppose 2*c = 3*p + 3*c - 26, 24 = 2*p + 2*c. Let z be x(p). Is 1 > z?
False
Let w = 6960 - 201864/29. Is w at least as big as -1?
True
Let t be 15/126 + (-4)/14. Let v = t + 5/12. Which is greater: v or 9?
9
Let x = -31 + 33. Suppose 4*z + x*w = 0, -11 = -5*z + 2*w + w. Which is smaller: -2 or z?
-2
Let a(u) = -7*u**2 + 16*u - 6*u**2 - 5*u + 14*u**2 - 4. Let b be a(-12). Let x = -1.1 + 1. Does x = b?
False
Let t(i) = i**2 + 29*i + 91. Let v be t(-24). Which is smaller: 3 or v?
v
Let o = 13 - 5. Let t(x) = -2*x - 9. Let b be t(-8). Suppose o*n + 1 = b*n. Is n greater than 3/10?
False
Suppose 4*o = 2*l - 116 + 18, l = -3*o - 81. Let g be 10/30 - o/6*2. Is 19/2 at least g?
True
Suppose -3*l = -12*l - 5436. Let f be (-1 - 34970/58)*1. Let x = l - f. Which is smaller: -1 or x?
-1
Let b = 8 - 4. Suppose 0 = -8*u + b*u. Let v be (11/(-462))/(1/(-4)). Are u and v nonequal?
True
Let q be -15 + 19 + (-1)/(-1). Suppose 213 = -q*m - 3*z, 248 = -5*m - z + 37. Let k be (24/(-28))/(8/m). Is 6 not equal to k?
True
Let r(z) = z**3 + 4*z**2 - 4*z - 2. Let h be r(-5). Let x(b) = -b**2 - 8*b - 4. Let p be x(h). Suppose -9*n + p*n = 6. Which is bigger: n or 0?
0
Suppose -10 = -3*p - 10. Suppose -3 = -5*s + 7. Let r be s*-1 + 14/4. Is p less than or equal to r?
True
Let n = -0.711 - 0.289. Is n smaller than -24?
False
Let g(o) = -6*o**2 - 4*o - o**3 + 4*o**2 - 8 - 4*o**2. Let w be g(-5). Is -11 equal to w?
False
Suppose 42*q = -27*q + 28*q + 164. Let m be ((-54)/(-11))/1 + 0. Which is smaller: q or m?
q
Suppose 2*w + 50 = 7*w. Let l = 39 + 6. Suppose 0 = -5*y + 10*y - l. Which is bigger: y or w?
w
Suppose -7*i + 33 = -2. Suppose 0*f - 408 = i*j + 2*f, 4*j = 2*f - 312. Let c be (-12)/(-10)*j/32. Which is greater: 1 or c?
1
Suppose -4*f + 359 = -61. Let c be (462/f)/(2/(-5)). Which is bigger: -13 or c?
c
Let z be (6 - 2) + -7 - -37. Let t = z + -31. Suppose -t*o + 5*o = 44. Which is smaller: 23 or o?
o
Let i(n) = -7*n**2 + n. Let y(z) = -14*z**2 + 3*z. Let m(s) = 5*i(s) - 2*y(s). Let h be m(7). Let p = h - -8401/24. Which is smaller: p or 0?
0
Let g(d) = -d**3 + 7*d**2 - 3*d - 21. Let f be g(5). Which is smaller: 0.07 or f?
0.07
Suppose -12*w - 45 = -13*w. Let r be ((-4)/(-10))/((8/w)/2). Which is smaller: 4 or r?
4
Let o(d) = 11*d + 1. Let s be o(4). Let n be (6 + s/(-12))/(6/(-5)). Which is bigger: -1 or n?
-1
Let b be (-20)/(-25) + (-4)/5. Let r be (-1)/(3/(15 - b)). Let d be (r/(-110))/(2/(-4)). Is -2 > d?
False
Let f(v) = -2*v**3 + 2*v**2 - 3*v + 7. Let a(t) = t**3 - 1. Let r(h) = 3*a(h) + f(h). Let s be r(-3). Is s greater than or equal to 5?
False
Suppose 10 - 13 = g. Let l be ((-69)/46)/(g/(-8)). Which is greater: -16/3 or l?
l
Let l be (4/(-70))/((-2)/(-10)). Suppose 3*g + 23 = -5*o, 5*g + 5*o = -33 + 8. Is g >= l?
False
Let y = 22 - 20. Let d be (y - 3)*(-1 - 0). Is -2/39 greater than d?
False
Let i = -31362 + 220229/7. Let z = -204 + 305. Let d = z - i. Which is smaller: d or 2?
d
Let v be 1/(-4) + 616440/480. Which is greater: v or 1283?
v
Let n be (2 + 1 - 1)*10. Let a be (n/(-120))/(1/8*2). Which is smaller: a or 2/7?
a
Let h = -5/152 - 38421/1064. Let g = -36 - h. Which is bigger: g or 0?
g
Let y = -10 - -16. Suppose -i = -2*a + 2*i + 2, 2*i = -5*a + 24. Suppose -l + y = -a*h, 3*h + 2 + 3 = l. Are 0 and l equal?
False
Suppose 16 = -4*p, -5*r = 2*p + 3*p - 5. Suppose r*q - 342 + 137 = 0. Which is smaller: q or 43?
q
Let a be ((-5)/((-40)/28))/1. Let r = -3 + a. Let q(v) = -v**2 - 2*v + 4. Let o be q(-3). Which is smaller: r or o?
r
Let k be (6/(-9) - (-4)/6)/6. Which is greater: 3/206 or k?
3/206
Let w be -3 - (15/(-3) - 3). Let g be (w/(-15))/((-39)/(-18)). Let f be 1/(-3) - (-1)/3. Which is greater: g or f?
f
Suppose 20*i - 129 = -109. Are i and 18/19 equal?
False
Suppose -4*n - 5*f + 18 = 3, -6 = -n - 2*f. Let g be (-96)/(-15)*(n + (-15)/(-6)). Is 16 equal to g?
True
Let h be 24/(-15) + 8/(-20). Let s be (h/6)/(1 + -2). Is s at most -7?
False
Let m = -143/1602 - -3/89. Let l(c) = c**2 - 9*c - 13. Let k be l(10). Let q = k + 2. Is m smaller than q?
False
Let x = 13.2 + -13. Let s = x - 2.2. Let b = 9/11 + -29/22. Are s and b nonequal?
True
Suppose 5*j = -5*i - 10 + 25, -4*i + j + 2 = 0. Which is greater: i or -4/115?
i
Let o be 3 + (-5)/10*0. Suppose -r + 4*h = 13, -h = 6*r - o*r + 65. Is -20 greater than or equal to r?
True
Suppose 0 = -31*h - 889 - 692. Let k = -86 + 34. Which is bigger: k or h?
h
Let h be (-6)/(-16) + (-481)/(-104). Let s be (-2)/10 + 66/h. Let q(o) = -o**3 + 13*o**2 + o + 3. Let u be q(s). Is u greater than or equal to 0?
True
Let u(p) = -p**2 - p. Let w be u(0). Let a = 1 - w. Suppose -4*q + v + 4 = -4, 4*q = -4*v + 8. Which is greater: q or a?
q
Let i(s) = s**3 - 5*s**2 + 2*s - 9. Let n(m) = -2*m + 2. Let a be n(-1). Let c be i(a). Is c <= 0?
True
Suppose 0 = 5*d + 4*v + 635, 9*d - 4*v = 8*d - 103. Is d >= -129?
True
Let u(k) = 1. Let y(o) be the first derivative of -o**3/3 + 13*o**2/2 - 4*o + 7. Let w(j) = -2*u(j) + y(j). Let a be w(12). Which is bigger: a or 4?
a
Suppose 388 = 2*q + 456. Is -30 < q?
False
Let k = -42.3 - -32.3. Are k and -10 nonequal?
False
Suppose x - 5*v = -19, -7 = -2*x - 3*v + 7. Is 16/33 less than or equal to x?
True
Let f be 1*(-3)/(-2 + 14). Let p be 21/(-6)*4/(-7). Suppose p*k = 7*k + 5. Is f greater than or equal to k?
True
Let f(d) = -21*d**2 + 29*d + 19. Let y be f(-5). Is y smaller than -652?
False
Let d(v) = v**2 - 2*v - 5. Let y be d(4). Suppose -4*c - 4*x = -45 + 121, -71 = y*c - 4*x. Which is smaller: c or -22?
-22
Let b(a) = -a**2 - 15*a - 4. Let m be b(-6). Let r = -148/3 + m. Suppose 0 = y - 2*y + 2. Which is smaller: y or r?
r
Let m = -11/43 + 800/2623. Let t(j) = j + 1. Let c be t(-1). Is m less than c?
False
Let w(m) = -10*m**3 - 4*m + 3. Let l be w(1). Which is smaller: l or -22?
-22
Let a = 231 + -317. Are -171/2 and a non-equal?
True
Let f = -4.9 + 5. Let i be (0 - 8/40)*1. Which is bigger: i or f?
f
Let s(q) = -186*q**2 + 5*q + 2. Let g be s(-1). Are g and -189 unequal?
False
Let g be ((-4)/(-3) + -1)/(6/54). Let h be (15/(-9) + g)*(-27)/69. Which is smaller: h or 0?
h
Let o = 2577 + -2575. Is -28.5 at most as big as o?
True
Let g be 656/(-80) - (-2)/10. Let q = 1 - g. Which is smaller: q or 8?
8
Let l = -12 + -8. Do -20 and l have the same value?
True
Let n be (3 + 2)/(-25)*4/148. Let t = 8 - 8. Is n less than t?
True
Let t be 222/9*42/(-14). Which is smaller: t or -145/2?
t
Let n be (-3)/(9/150) + -2. Let r be (12 + 253/(-22))*(-97 + -3). Is r less than n?
False
Suppose -2*m - m + 185 = 4*k, -5 = 5*k. Is m < 65?
True
Let z(g) = -g**2 + 2*g + 6. Let d be z(-4). Let u = -16 - d. Suppose -u + 1 = r. Which is smaller: -2 or r?
-2
Let t = -1.2835 + 1.4835. Let l = 0 - 0.4. Which is greater: t or l?
t
Let f = 52 - 52.1. Which is bigger: f or -3?
f
Let t = -0.241 - -0.301. Let b be 2/(-6) - (-34)/66. Which is greater: t or b?
b
Let s = 30.7 - 32. Let p = 1 + s. Let a = p + -0.7. Is a < 1/3?
True
Suppose l = -f - 2*l + 14, -3*f = 3*l - 18. Let j be 0/f + (-10)/(-2) + -7. Let k(x) = x - 5. Let c be k(5). Is j at most as big as c?
True
Let p be (-20)/50*(-1 + -9). Suppose -10 + 22 = -p*b. Let v be b - (-4 + 10/12). Is v greater than -1?
True
Let m(i) = -13*i - 79. Let h be m(-6). Which is smaller: 30 or h?
h
Let k = -94207/33 + 2855. Let n = 109/231 + k. Let g(p) = p**2 + 6*p - 7. Let h be g(-7). Which is bigger: n or h?
n
Let a = 1.23 - 1.83. Is 0.29 != a?
True
Let q = 885353/37 + -23927. Which is bigger: q or 2?
2
Let s(n) = n**3 + 3*n**2 - 6*n - 6. Let a be s(-4). Let v be 1/(22/(-139)) + a. Let q = -