is smaller: a or z?
z
Let o = 7 - 13. Let x = o + 6.03. Let m = -1.9 - -2. Which is smaller: m or x?
x
Let o = -172 - -2235/13. Which is bigger: 1 or o?
1
Suppose 2*x + 70 = 6. Which is smaller: x or -31?
x
Let i(l) = 2*l**2 + 4 - 11 + 2*l**3 - 5*l**2 + 3 + 3*l. Let g be i(3). Let j = 94/3 - g. Which is greater: j or -1?
j
Let l(w) be the first derivative of w**3/3 - w**2 - w - 5. Let g be l(5). Is g greater than or equal to 14?
True
Let t = 2 - 1.1. Which is greater: t or -1?
t
Let x be -1*(6/(-7) - -1). Let i be 2/9 - (-5)/(-135)*6. Which is smaller: i or x?
x
Let a(f) = -f**3 + 3*f**2 + 8. Let g be a(3). Is 54/7 greater than or equal to g?
False
Let o be (3/((-6)/(-4)))/(-5). Let x = -0.11 + -1.89. Which is bigger: x or o?
o
Let b = -1959/8 + 323419/1320. Let o = -2/33 - b. Is -1 greater than o?
False
Let f(h) = h**2 + 4*h - 7. Let n be f(-8). Which is bigger: 26 or n?
26
Let i = -4 + 2. Which is greater: i or 1.6?
1.6
Let r = 7 - 11. Let z(c) = -c**2 - 3*c + 5. Let k be z(2). Is r bigger than k?
True
Let o(g) = g**3 - 8*g**2 - 9*g. Let b be o(9). Let p = 3 + -4. Let v be (-1 - p) + 6/15. Is v at least as big as b?
True
Suppose -j + 47 = -0*j. Is 48 not equal to j?
True
Let y = 1835/13 - 141. Which is greater: y or -1?
y
Let v(a) = a**2 + 16*a + 15. Let l(i) = -14*i**2 + i. Let u be l(-1). Let b be v(u). Which is greater: -2/9 or b?
b
Let y = -123 - -123. Is y less than or equal to 2/61?
True
Let w = -0.2 + 1.2. Let g = -57.9 + 57. Let c = w + g. Is c smaller than -2/11?
False
Let a(u) = -u**2 - 5*u + 6. Let t be a(-5). Let i(v) = -v - 1. Let p be i(t). Which is greater: -2/5 or p?
-2/5
Let w be -2 - ((-8)/4 + 7). Which is smaller: w or 4?
w
Let v = -26.9 + 27. Is v less than -0.11?
False
Let y = 125/627 + -1/57. Is 0 >= y?
False
Let z be (-6)/(-8) - 424/480. Which is bigger: -1 or z?
z
Let b = 0.48 + -0.7. Which is smaller: 0 or b?
b
Let p = 16 + -11. Suppose -3*x - 9 = -3*w, p*x = -w - 5 + 2. Is w less than or equal to 3?
True
Suppose 0 = 2*s, -s + 27 = 3*p - 0*s. Let t be ((-4)/6)/(2/p). Which is greater: t or -1?
-1
Suppose 0 = -m - 2*m + 18. Suppose s - 12 = 3*o, 0*s + m = -4*o - 2*s. Is -3 at least as big as o?
True
Suppose -4*b + 2*r + 182 = 0, -3*b + 7*b = 5*r + 191. Is 44 at least b?
True
Let c be 2 - (-3 + (-316)/(-64)). Is c at most as big as -1?
False
Suppose 10 = -5*z, -4*z - 9 - 314 = 3*b. Is b at least -105?
True
Let u = 26.3 + -24. Let m = u + 0.7. Let q = -44/3 + 15. Which is smaller: q or m?
q
Let m(y) be the third derivative of -y**6/120 + y**4/24 - 2*y**2. Let n be m(0). Is n at least as big as -2/53?
True
Let o = 0.29 - 0.19. Which is greater: -48 or o?
o
Let i be (-16)/8 + 12/5. Which is smaller: 6 or i?
i
Suppose a + 14 = -z, -3*a - 4*z = -6*a - 49. Is a > -15?
False
Suppose 3*x + 16 = v, -3 = -2*v + 5*x + 24. Are -51 and v unequal?
True
Let z = -115.34 - -113. Let y = z + -0.06. Let v = 0.4 + y. Is -0.1 at least v?
True
Suppose -5*t = -t + 3*d + 33, -15 = -3*d. Which is smaller: t or 0.2?
t
Suppose 0*h = -4*k + 2*h + 24, 16 = -4*h. Suppose 3*j + 2 = -3*u - 7, k*j - 12 = 4*u. Are j and 0.2 unequal?
True
Let j be (-1)/(-6)*(-18)/12. Which is smaller: j or -1?
-1
Let b = -43/330 + -2/55. Is b > 0.11?
False
Suppose 12 = -0*z + 3*z. Let j(r) = -r + 8. Let y be j(z). Suppose -3*h = y - 1. Which is smaller: h or -4/3?
-4/3
Let t(c) = -c**3 + 7*c**2 - c + 7. Let w be t(7). Let m = 2 - 2. Suppose o + m*o = w. Does 1/6 = o?
False
Suppose -19 = 4*u + 9. Is -3 bigger than u?
True
Suppose 31 = 5*t + 11. Let o be (-1 + 2)/(t/(-12)). Let h(r) = r**3 + 4*r**2 + 4*r + 4. Let s be h(o). Which is smaller: -1/6 or s?
-1/6
Let i be 3634464/(-4846)*(-4)/36. Let z = -2/2423 - i. Let b = -84 - z. Are 0 and b non-equal?
True
Let c be (-55)/10*(-1 + -1 + 0). Is 14 bigger than c?
True
Let v be ((-2)/2 - -1) + 3. Suppose o + 5 = 5*j + 5*o, -j = v*o - 1. Suppose n - 2*n + j = 0. Is n smaller than 2?
True
Let i be (6/(-1791))/(2/(-6)). Which is greater: i or 0?
i
Let t = 36 - 37. Which is smaller: -1/10 or t?
t
Let z(g) = -2*g + 11. Let r be z(5). Which is smaller: r or 1/15?
1/15
Let r(x) = 5*x - 2. Let a be r(1). Which is smaller: 1 or a?
1
Suppose -k + 39 + 0 = 5*m, -m - 13 = -5*k. Let r be m/4 - (-2)/8. Let u = r + -10. Which is bigger: -7 or u?
-7
Let k = 2.15 - 2.4. Let t = 0.4 + k. Is -1/3 smaller than t?
True
Let v be 33 + (-3)/1 + 7. Is v equal to 36?
False
Let d(y) = y - 4. Let n be d(4). Let k(x) = x + 11. Let o be k(-10). Which is bigger: o or n?
o
Suppose 0*o - 3*o = 15. Let w(t) = t**2 + 5*t + 4. Let d be w(o). Which is smaller: d or 3?
3
Let i be -3 + (375/(-41))/(-3). Let t = 4 + -3. Which is bigger: t or i?
t
Suppose -5*b + 106 - 38 = 3*s, -4*s + 56 = -2*b. Let q = -21 + s. Which is smaller: 1 or q?
q
Suppose 2*x = -2*x + 16. Suppose -x = -5*m - 49. Is m less than or equal to -0.1?
True
Let q = -1 + 1.4. Let g = 32 - 31. Suppose -2 = c - g. Is c <= q?
True
Let z be -2 + (5 - -2 - 2). Suppose 2*p + z*f - 2 = -0*f, 3*p - 4 = -5*f. Let x be p*3/(-12)*-2. Is 2/17 < x?
False
Let z be ((-4)/(-1))/(130/5). Let p(f) = -f**2 + 4*f - 1. Let t be p(4). Which is smaller: t or z?
t
Let q(o) = o**3 - 6*o**2 - 8*o + 8. Suppose 2*u + 5*c = 24, -u = -c - 3*c + 1. Let z be q(u). Let x be z*(-3)/(18/(-15)). Which is smaller: x or 3?
x
Suppose 5*c = 3*t + 36, 0 = -5*t - 5*c - 36 - 24. Let n be (-2 - 0) + t/(-4). Which is greater: 0 or n?
n
Let r be 8/(-36) - (-25)/(-9). Is -4 at most r?
True
Let v = 4 + -3. Let x be (8/(-6))/(2/(-3)). Suppose 2*m - n - 8 = 0, -x*m - 4*n + 1 - 3 = 0. Is v != m?
True
Suppose 5*m - 12 = m - 4*n, -4*m + 4*n = 4. Let f = -20 + 14. Is m less than or equal to f?
False
Let r(u) = -u**3 + 8*u**2 + 8*u + 13. Let x be r(9). Which is smaller: x or 3?
3
Suppose -2*o + w = -263, 3*w = -2*o + 1 + 250. Let d be (8/10)/(3/15). Let f be (4 - -1)*d/o. Which is smaller: 1 or f?
f
Let w be (-1 + 2)*(9 - 5). Suppose 4*g - 5*x = g - 11, -4*g = w*x + 36. Is -6 >= g?
True
Let v(b) = -4*b. Let x be v(7). Let p be -2*2/x*3. Which is greater: 1 or p?
1
Let m be 3 + (-1 - (3 - 3)). Suppose 4*l + l + 4*y + 20 = 0, 10 = l - m*y. Suppose 0 = p - l*p - 2. Which is smaller: p or -1?
-1
Let h(f) = -4*f**2 - 1 - 72*f**3 + 58*f**3 + 4*f**2. Let m be h(-1). Is m greater than 12?
True
Let f be 196/(-35) + 4 + -2. Are -5 and f non-equal?
True
Let q = -26 - -28. Is q less than -2?
False
Suppose 0 = 2*v + 3*v - 35. Suppose -3*y = a + 1, -5*a - 27 + v = 0. Let q = 1045/7 - 149. Which is bigger: q or y?
y
Let r(p) = p**3 - 16*p**2 + p + 4. Let x be r(16). Does x = 19?
False
Let t be 25/40*(-4)/(-10). Let w(s) = -s**2 - s + 2. Let c be w(0). Suppose 2*k = -c*k + 4. Which is smaller: t or k?
t
Suppose 55 = -7*z + 2*z. Let b = z - -7. Suppose 5*o + 15 = 4*q, o - 2*q = -3*o - 12. Which is smaller: o or b?
b
Let f = 1402/9 - 156. Suppose 0*d - 2*d = 0. Let c be d/1 + -4 + 5. Do f and c have the same value?
False
Suppose 0 = -2*y, -p - 4*p - y - 90 = 0. Let s be 25/33 + 12/p. Which is smaller: 0 or s?
0
Suppose -4*q - 144 = -5*w - 24, w - 24 = 3*q. Let o be ((-128)/w)/((-28)/(-138)). Let b = o + 26. Is 0 less than or equal to b?
False
Let k = -24 + 14. Let h be -3 - -6 - k/(-4). Which is greater: 2/7 or h?
h
Let k = 13 + -23. Let b = k - -10.1. Is -4 < b?
True
Let a = -14299/50 - -286. Let l = 61/550 - a. Which is smaller: -1 or l?
-1
Suppose 7 = -5*w - 3. Let o be 6/20*(-5)/w. Let f = 5/12 - o. Which is greater: 0 or f?
0
Let n be 4*(-1)/(-10)*-1. Let w be 80/24*(-3)/(-2). Let m be (-2)/w + 6/15. Is n != m?
True
Suppose 3*m - 2 = 5*m. Is -7 at least m?
False
Let w = 0.18 + -0.18. Let d = -0.2 + 1.2. Is w greater than d?
False
Let k = -6503/68 + 765/8. Let s = -551/952 - k. Let j be (-2)/(-5)*(-6 + 1). Which is bigger: s or j?
s
Let m be (-906)/3318 - (-2)/7. Which is smaller: 0 or m?
0
Let j = -90 + 448/5. Which is bigger: j or 1?
1
Let o = -661/154 + 48/11. Let c be (1 - 0)*(1 - 1). Is c less than o?
True
Suppose 4*u + w + 16 = -3*w, 0 = -2*w - 10. Let h = 9 + -5. Let v be (h - 5)/(-1 - 0). Is v at most u?
True
Let l be (2/52)/(35/(-10)). Which is greater: l or 1?
1
Let r(c) = 2*c - 22. Let w be r(11). Which is smaller: w or 4/11?
w
Let c = -1/35 - 13/35. Let k = -66 - -61. Which is smaller: c or k?
k
Suppose -6*q = -7*q + 4. Let b be q/(-6)*6/(-16). Let u b